Antoine Meyer

30
Documents
Affiliations actuelles
  • Laboratoire d'Informatique Gaspard-Monge (LIGM)
  • IREM de Paris

Publications

10
6
5
2
2
1
1
1
1
1

Publications

Image document

Booléens en programmation : une analyse à destination des enseignants

Sylvie Alayrangues , Olivier Baudon , Emmanuel Beffara , Ronan Charpentier , Sébastien Daniel et al.
Recherches et recherches-actions en didactique de l'informatique, 2024, 1, pp.1-33
Article dans une revue hal-03812698 v2
Image document

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-04130761 v2
Image document

Une analyse des exercices d’algorithmique et de programmation du brevet 2017

Sylvie Alayrangues , Emmanuel Beffara , Sébastien Daniel , Christophe Declercq , Anne Héam et al.
Repères IREM, 2019, 116, pp.47-81
Article dans une revue hal-02077738 v2

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-00790010 v1
Image document

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-00681253 v1
Image document

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-00325729 v1
Image document

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-00681203 v1
Image document

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-00149109 v1

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-00149086 v1
Image document

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-04482121 v2

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-04227823 v1
Image document

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 ?, May 2022, Le Mans, France. pp.100-112
Communication dans un congrès hal-03697943 v2
Image document

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-03648357 v2
Image document

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-03014372 v1
Image document

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ón et 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-02398483 v1
Image document

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-01849537 v1
Image document

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-00681263 v1
Image document

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-00681267 v1
Image document

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-00681215 v1
Image document

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-00345939 v1
Image document

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-00681214 v1
Image document

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-00149120 v1
Image document

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-00149334 v1
Image document

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-00149816 v1
Image document

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-00149812 v1

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-03680295 v1
Image document

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-01912885 v1
Image document

Graphes infinis de présentation finie

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