Mikaël Mayer
Amazon (Germany)(DE)
Publications by Year
Research Areas
Software Engineering Research, Logic, programming, and type systems, Formal Methods in Verification, Software Testing and Debugging Techniques, Natural Language Processing Techniques
Most-Cited Works
- → Complete functional synthesis(2010)144 cited
- → User Interaction Models for Disambiguation in Programming by Example(2015)94 cited
- → Software synthesis procedures(2012)37 cited
- → Bidirectional evaluation with direct manipulation(2018)35 cited
- → Roombots—Towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules(2010)29 cited
- → Functional synthesis for linear arithmetic and sets(2011)23 cited
- → Automating grammar comparison(2015)19 cited
- → Comfusy: A Tool for Complete Functional Synthesis(2010)14 cited
- → Game programming by demonstration(2013)10 cited