Concepedia

Author

Mikaël Mayer

École Polytechnique Fédérale de LausanneORCID

Also Known As

Mayer, Mikael, Mayer, Mikaël, Mikael Mayer, Mikaël Mayer, Mikaël Mayer

26

Publications

462

Citations

10

H-Index

53

Concepts

All Affiliations

École Polytechnique Fédérale de LausanneMicrosoft (United States)
MM

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

401

2

Computer Science

8

8

372

3

Computer Engineering

5

5

249

4

Language Studies

3

3

148

5

Business

1

1

10

Mikaël Mayer

×

10

Publications

424

Citations

10

H-Index

YearCitations

Complete functional synthesis

Viktor Kunčak, Mikaël Mayer, Ružica Piskač,

2010

144

User Interaction Models for Disambiguation in Programming by Example

Mikaël Mayer, Gustavo Soares, Maxim Grechkin,

2015

94

Software synthesis procedures

Viktor Kunčak, Mikaël Mayer, Ružica Piskač,

Communications of the ACM

2012

37

Bidirectional evaluation with direct manipulation

Mikaël Mayer, Viktor Kunčak, Ravi Chugh

Proceedings of the ACM on Programming Languages

2018

35

Roombots—Towards decentralized reconfiguration with self-reconfiguring modular robotic metamodules

Alexander Sproewitz, Philippe Laprade, Stéphane Bonardi,

2010

29

Functional synthesis for linear arithmetic and sets

Viktor Kunčak, Mikaël Mayer, Ružica Piskač,

International Journal on Software Tools for Technology Transfer

2011

23

Complete functional synthesis

Viktor Kunčak, Mikaël Mayer, Ružica Piskač,

ACM SIGPLAN Notices

2010

23

Automating grammar comparison

Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani,

2015

19

Game programming by demonstration

Mikaël Mayer, Viktor Kunčak

2013

10

StriSynth: synthesis for live programming

Sumit Gulwani, Mikaël Mayer, Filip Niksic,

International Conference on Software Engineering

2015

10

Page 1