Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Alkis Gotovos
Observed names:
Gotovos, A.,
Gotovos, Alkis,
Gotovos, Alkis S.
Institution:
Max Planck Institute for Software Systems
Observed institutions:
National Technical University of Athens,
ETH Zurich,
Max Planck Institute for Software Systems,
MIT Computer Science and Artificial Intelligence Laboratory,
Massachusetts Institute of Technology
ORCID:
0000-0002-3902-8890
Observed ORCID:
0000-0002-3902-8890
OpenAlex ID:
A5005116939
Safe Exploration for Optimization with Gaussian Processes
2015
·
Sui, Yanan
, Gotovos, Alkis
, et al.
·
CaltechAUTHORS (California Institute of Technology)
·
302
PDF
Efficient visual exploration and coverage with a micro aerial vehicle in unknown environments
2015
·
Lionel Heng
, Alkis Gotovos
, et al.
·
Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
·
122
Active Learning for Level Set Estimation
2013
·
Gotovos, Alkis
·
Repository for Publications and Research Data (ETH Zurich)
·
109
Fully autonomous focused exploration for robotic environmental monitoring
2014
·
Gregory Hitz
, Alkis Gotovos
, et al.
·
Proceedings - IEEE International Conference on Robotics and Automation/Proceedings
·
70
PDF
Systematic Testing for Detecting Concurrency Errors in Erlang Programs
2013
·
Maria Christakis
, Alkis Gotovos
, et al.
·
IEEE International Conference on Software Testing, Verification and Validation (ICST)
·
57
Test-driven development of concurrent programs using concuerror
2011
·
Alkis Gotovos
, Maria Christakis
, et al.
·
ACM SIGPLAN Workshop on Erlang (Erlang)
·
30
PDF
Prompt Programming: A Platform for Dialogue-based Computational Problem Solving with Generative AI Models
2025
·
Victor-Alexandru Pădurean
, Paul Denny
, et al.
·
ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)
·
25
Sampling from Probabilistic Submodular Models
2019
·
Gotovos, Alkis
·
Repository for Publications and Research Data (ETH Zurich)
·
24
PDF
Fast Gaussian Process Based Gradient Matching for Parameter Identification in Systems of Nonlinear ODEs
2018
·
Wenk, Philippe
, Gotovos, Alkis
, et al.
·
arXiv (Cornell University)
·
23
PDF
On the Existence of Universal Lottery Tickets
2021
·
Burkholz, Rebekka
, Laha, Nilanjana
, et al.
·
arXiv (Cornell University)
·
15
PDF
Hints-In-Browser: Benchmarking Language Models for Programming Feedback Generation
2024
·
Nachiket Kotalwar
, Alkis Gotovos
, et al.
·
neural information processing systems
·
11
PDF
Scaling up Continuous-Time Markov Chains Helps Resolve Underspecification
2021
·
Gotovos, Alkis
, Burkholz, Rebekka
, et al.
·
arXiv (Cornell University)
·
10
PDF
Synthesizing High-Quality Programming Tasks with LLM-Based Expert and Student Agents
2025
·
Manh Hung Nguyen
, Victor-Alexandru Pădurean
, et al.
·
Lecture notes in computer science
·
7
Interleaving Natural Language Prompting with Code Editing for Solving Programming Tasks with Generative AI Models
2026
·
Victor-Alexandru Pădurean
, Alkis Gotovos
, et al.
·
ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)
·
6
Exploring the Impact of Quizzes Interleaved with Write-Code Tasks in Elementary-Level Visual Programming
2025
·
Ahana Ghosh
, Liina Malva
, et al.
·
ACM Technical Symposium on Computer Science Education (SIGCSE)
·
5
Inference-Time Personalized Alignment with a Few User Preference Queries
2025
·
Victor-Alexandru Pădurean
, Parameswaran Kamalaruban
, et al.
·
neural information processing systems
·
4
PDF
When AI Is Wrong on Purpose: How Students Respond to Buggy GenAI Code
2026
·
Victor-Alexandru Pădurean
, Kaitlin Riegel
, et al.
·
ACM Conference on International Computing Education Research (ICER)
·
3
Strong Log-Concavity Does Not Imply Log-Submodularity
2019
·
Gotovos, Alkis
·
arXiv (Cornell University)
·
2
PDF
Understanding Student Perceptions, Mistakes, and Debugging Approaches when Solving Natural Language Programming Tasks
2026
·
Victor-Alexandru Pădurean
, Kaitlin Riegel
, et al.
·
ACM Conference on International Computing Education Research (ICER)
·
1
Discrete Sampling using Semigradient-based Product Mixtures
2018
·
Gotovos, Alkis
, Hassani, Hamed
, et al.
·
arXiv (Cornell University)
·
1
PDF
The Right Kind of Help: Evaluating the Effectiveness of Feedback Methods in Elementary-Level Visual Programming
2026
·
Ahana Ghosh
, Liina Malva
, et al.
·
Lecture notes in computer science
PDF
Interleaving Natural Language Prompting with Code Editing for Solving Programming Tasks with Generative AI Models
2026
·
Padurean, Victor Alexandru
, Gotovos, Alkis
, et al.
·
Aaltodoc (Aalto University)
Show more works
View as search
Works count:
28
Citation count:
828
H-index:
11
I10-index:
12
Year
Topic
Type
