Concepedia

Mikaël Mayer

MM

10

Publications

424

Citations

10

H-Index

2010

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Microsoft (United States)

Mikaël Mayer is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringFormal MethodsSoftware DesignComputer EngineeringDesign

Publications per year

2010–2018

10

Publications

10

Complete functional synthesis

Viktor Kunčak, Mikaël Mayer, Ružica Piskač et al. · 2010 · 144 citations · Full text

Engineering, Compiler Technology, Verification +22

User Interaction Models for Disambiguation in Programming by Example

Mikaël Mayer, Gustavo Soares, Maxim Grechkin et al. · 2015 · 94 citations · Full text

Artificial Intelligence, Engineering, User Confidence +21

Software synthesis procedures

Viktor Kunčak, Mikaël Mayer, Ružica Piskač et al. · Communications of the ACM · 2012 · 37 citations · Full text

Engineering, Compiler Technology, Verification +23

Bidirectional evaluation with direct manipulation

Mikaël Mayer, Viktor Kunčak, Ravi Chugh · Proceedings of the ACM on Programming Languages · 2018 · 35 citations · Full text

Engineering, Visual Programming Language, Software Engineering +25

Roombots&#x2014;Towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules

Alexander Sproewitz, Philippe Laprade, Stéphane Bonardi et al. · 2010 · 29 citations · Full text

Robotic Systems, Engineering, Field Robotics +16

Rows per page

1–5 of 10