Publications HAL de Nathan, Grosshans

2020

Conference papers

titre
The Power of Programs over Monoids in J
auteur
Nathan Grosshans
article
LATA 2020 - 14th International Conference on Language and Automata Theory and Applications, Mar 2020, Milan, Italy. ⟨10.1007/978-3-030-40608-0_22⟩
DOI
DOI : 10.1007/978-3-030-40608-0_22
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02414771/file/Power_programs_over_J-Author_version.pdf BibTex

2018

Theses

titre
The limits of Nečiporuk's method and the power of programs over monoids taken from small varieties of finite monoids
auteur
Nathan Grosshans
article
Other [cs.OH]. Université Paris-Saclay; Université de Montréal, 2018. English. ⟨NNT : 2018SACLN028⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01935719/file/74421_GROSSHANS_2018_archivage.pdf BibTex

2017

Conference papers

titre
The Power of Programs over Monoids in DA
auteur
Nathan Grosshans, Pierre Mckenzie, Luc Segoufin
article
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aug 2017, Aalborg, Denmark. ⟨10.4230/LIPIcs.MFCS.2017.2⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2017.2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02303526/file/Grosshans_N.-McKenzie_P.-Segoufin_L.-The_Power_of_Programs_over_Monoids_in_DA.pdf BibTex

2016

Journal articles

titre
Nondeterminism and An Abstract Formulation of Nečiporuk’s Lower Bound Method
auteur
Paul Beame, Nathan Grosshans, Pierre Mckenzie, Luc Segoufin
article
ACM Transactions on Computation Theory, ACM, 2016, 9 (1), pp.1 - 34. ⟨10.1145/3013516⟩
DOI
DOI : 10.1145/3013516
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01426213/file/main.pdf BibTex