Antoine Meyer

Identifiants chercheurs

IdHAL :

antoine-meyer

ORCID :

0000-0003-4513-4347

IdRef :

094974802

arXiv :

meyer_a_1

Publications

Article dans une revue (10)

Proof assistants for undergraduate mathematics education: elements of an a priori analysis Evmorfia-Iro Bartzia,Emmanuel Beffara,Antoine Meyer,Julien Narboux International Journal of Mathematical Education in Science and Technology, 2026, pp.1-44. ⟨10.1080/0020739X.2026.2632264⟩ Article dans une revue hal-04087080v1
Booléens en programmation : une analyse à destination des enseignants Sylvie Alayrangues,Olivier Baudon,Emmanuel Beffara,Ronan Charpentier,Sébastien Danielet al. Recherches et recherches-actions en didactique de l'informatique, 2024, 1, pp.1-33 Article dans une revue hal-03812698v2
Rôle d’un logiciel dans la transposition didactique du concept d’algorithme : le cas du logiciel AlgoBox en France et des programmes du lycée entre 2009 et 2019 Antoine Meyer,Simon Modeste Cahiers d'histoire du Cnam, 2022, L’informatique entre à l’école : vers une histoire de l’enseignement des sciences et techniques informatiques , vol.15 (1), pp. 101-135 Article dans une revue halshs-04130761v2
Une analyse des exercices d’algorithmique et de programmation du brevet 2017 Sylvie Alayrangues,Emmanuel Beffara,Sébastien Daniel,Christophe Declercq,Anne Héamet al. Repères IREM, 2019, 116, pp.47-81 Article dans une revue hal-02077738v2
Counting CTL François Laroussinie,Antoine Meyer,Eudes Petonnet Logical Methods in Computer Science, 2013, 9 (1), pp.3.1-3.34. ⟨10.2168/LMCS-9(1:3)2013⟩ Article dans une revue hal-00790010v1
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata Nutan Limaye,Meena Mahajan,Antoine Meyer Journal of Automata Languages and Combinatorics, 2009, 14 (3/4), p. 211-235 Article dans une revue hal-00681253v1
Traces of Term-Automatic Graphs Antoine Meyer RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42, p. 615-630. ⟨10.1051/ita:2008018⟩ Article dans une revue hal-00325729v1
A Logic of Reachable Patterns in Linked Data-Structures Greta Yorsh,Alexander Rabinovich,Mooly Sagiv,Antoine Meyer,Ahmed Bouajjani Journal of Logic and Algebraic Programming, 2007, 73 (1-2), p. 111-142. ⟨10.1016/j.jlap.2006.12.001⟩ Article dans une revue hal-00681203v1
Linearly bounded infinite graphs Arnaud Carayol,Antoine Meyer Acta Informatica, 2006, 43 (4), p. 265-292. ⟨10.1007/s00236-006-0022-z⟩ Article dans une revue hal-00149109v1
Context-Sensitive Languages, Rational Graphs and Determinism Arnaud Carayol,Antoine Meyer Logical Methods in Computer Science, 2006, 2 (2), pp.6. ⟨10.2168/LMCS-2(2:6)2006⟩ Article dans une revue hal-00149086v1

Communication dans un congrès (18)

La TSD pour des situations d’apprentissage en informatique et à l’interface mathématiques-informatique Simon Modeste,Evmorfia-Iro Bartzia,Pierre Esclafit,Antoine Meyer Colloque international en hommage à l’œuvre de Guy Brousseau, Jul 2025, Bordeaux, France. pp.144-150 Communication dans un congrès hal-05193038v1
Modèles de mémoire pour l'enseignement de la programmation Léo Exibard,Nadime Francis,Antoine Meyer,Marie van den Bogaard Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.33-43 Communication dans un congrès hal-04482121v2
Underlying theories of proof assistants and potential impact on the teaching and learning of proof Evmorfia-Iro Bartzia,Emmanuel Beffara,Antoine Meyer,Julien Narboux 12th International Workshop on Theorem proving components for Educational software, Julien Narboux; Walther Neuper; Pedro Quaresma, Jul 2023, Rome, Italy Communication dans un congrès hal-04227823v1
Situation didactique autour d'un jeu de recherche : expérimentation en classes de NSI Antoine Meyer,Simon Modeste L'informatique, objets d'enseignement et d'apprentissage. Quelles nouvelles perspectives pour la recherche ? Actes du colloque DIDAPRO 9, May 2022, Le Mans, France. pp.100-112 Communication dans un congrès hal-03697943v2
Proof assistants for undergraduate mathematics and computer science education: elements of a priori analysis Evmorfia Bartzia,Antoine Meyer,Julien Narboux INDRUM 2022: Fourth conference of the International Network for Didactic Research in University Mathematics, Reinhard Hochmuth, Oct 2022, Hanovre, Germany. pp.253-262 Communication dans un congrès hal-03648357v2
Collaborative action research: introducing IT in primary schools Michèle Couderette,Antoine Meyer 21e école d'été de didactique des mathématiques, Irem de Paris, Oct 2021, La Rochelle - Ile d'Oléron, France. pp.235-241 Communication dans un congrès hal-05502314v1
Analyse didactique d’un jeu de recherche : vers une situation fondamentale pour la complexité d’algorithmes et de problèmes Antoine Meyer,Simon Modeste Didapro 8 – DidaSTIC, L’informatique, objets d’enseignements – enjeux épistémologiques, didactiques et de formation, Feb 2020, Lille, France Communication dans un congrès hal-03014372v1
Proof, reasoning and logic at the interface between Mathematics and Computer Science : toward a framework for analyzing problem solving Simon Modeste,Sylvain Beauvoir,Jonathan Chappelon,Viviane Durand-Guerrier,Nicolás Leónet al. Eleventh Congress of the European Society for Research in Mathematics Education (CERME11), Utrecht University, Feb 2019, Utrecht, Netherlands. pp.284-291 Communication dans un congrès hal-02398483v1
Discrete mathematics at university level. Interfacing mathematics, computer science and arithmetic Cécile Ouvrier-Buffet,Antoine Meyer,Simon Modeste INDRUM 2018, INDRUM Network, University of Agder, Apr 2018, Kristiansand, Norway. pp.255-264 Communication dans un congrès hal-01849537v1
Counting CTL François Laroussinie,Antoine Meyer,Eudes Pétonnet FoSSaCS 2010, Mar 2010, Paphos, Cyprus. pp.206-220, ⟨10.1007/978-3-642-12032-9_15⟩ Communication dans un congrès hal-00681263v1
Counting LTL François Laroussinie,Antoine Meyer,Eudes Petonnet TIME 2010, Sep 2010, Paris, France. p. 51-58, ⟨10.1109/TIME.2010.20⟩ Communication dans un congrès hal-00681267v1
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata Nutan Limaye,Meena Mahajan,Antoine Meyer CSR 2008, Jun 2008, Moscow, Russia. p. 240-251, ⟨10.1007/978-3-540-79709-8_25⟩ Communication dans un congrès hal-00681215v1
Winning regions of higher-order pushdown games Arnaud Carayol,Matthew Hague,Antoine Meyer,Luke Ong,Olivier Serre Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, United States. pp.193-204 Communication dans un congrès hal-00345939v1
Traces of Term-Automatic Graphs Antoine Meyer Mathematical Foundations of Computer Science (MFCS), Aug 2007, Cesky Krumlov, Poland. p. 489-500, ⟨10.1007/978-3-540-74456-6_44⟩ Communication dans un congrès hal-00681214v1
A Logic of Reachable Patterns in Linked Data-Structures Greta Yorsh,Alexander Rabinovich,Mooly Sagiv,Antoine Meyer,Ahmed Bouajjani FOSSACS 2006, Mar 2006, Vienne, Austria. p. 94-110, ⟨10.1007/11690634_7⟩ Communication dans un congrès hal-00149120v1
Linearly Bounded Infinite Graphs Arnaud Carayol,Antoine Meyer MFCS 2005, Sep 2005, Gdansk, Poland. pp.180-191, ⟨10.1007/11549345_17⟩ Communication dans un congrès hal-00149334v1
On Term Rewriting Systems Having a Rational Derivation Antoine Meyer FoSSaCS 2004, Mar 2004, Barcelona, Spain. pp.378-392, ⟨10.1007/b95995⟩ Communication dans un congrès hal-00149816v1
Symbolic Reachability Analysis of Higher-Order Context-Free Processes Ahmed Bouajjani,Antoine Meyer Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Nov 2004, Chennai, India. pp.135-147, ⟨10.1007/b104325⟩ Communication dans un congrès hal-00149812v1

Chapitre d'ouvrage (2)

Discrete mathematics, computer science, logic, proof, and their relationships Faïza Chellougui,Viviane Durand-Guerrier,Antoine Meyer Viviane Durand-Guerrier, Reinhard Hochmuth, Elena Nardi, Carl Winslow. Research and Development in University Mathematics Education, 1, Routledge, pp.125-146, 2021, 9780367365387. ⟨10.4324/9780429346859-10⟩ Chapitre d'ouvrage hal-03680295v1
Didactical issues at the interface of mathematics and computer science Viviane Durand-Guerrier,Antoine Meyer,Simon Modeste Proof Technology in Mathematics Research and Teaching, 14, Springer International Publishing, pp.115-138, 2019, Mathematics Education in the Digital Era, ⟨10.1007/978-3-030-28483-1_6⟩ Chapitre d'ouvrage hal-01912885v1

Rapport (1)

Une analyse des exercices d'algorithmique et de programmation des DNB Sylvie Alayrangues,Olivier Baudon,Sylvain Beauvoir,Emmanuel Beffara,Sébastien Danielet al. Commission inter-IREM informatique. 2023 Rapport hal-03996891v2

Thèse (1)

Graphes infinis de présentation finie Antoine Meyer Informatique [cs]. Université Rennes 1, 2005. Français. ⟨NNT : ⟩ Thèse tel-00325707v1