2023

Preprints, Working Papers, ...

titre
The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
auteur
Stefan Göller, Nathan Grosshans
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04005294/file/longversion.pdf BibTex

2022

Journal articles

titre
Tameness and the power of programs over monoids in DA
auteur
Nathan Grosshans, Pierre Mckenzie, Luc Segoufin
article
Logical Methods in Computer Science, 2022, 18 (3), pp.14:1-14:34. ⟨10.46298/lmcs-18(3:14)2022⟩
DOI
DOI : 10.46298/lmcs-18(3:14)2022
Accès au texte intégral et bibtex
https://hal.science/hal-03114304/file/Tameness_and_power_programs_over_DA-Published_version.pdf BibTex

2021

Conference papers

titre
A Note on the Join of Varieties of Monoids with LI
auteur
Nathan Grosshans
article
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Aug 2021, Tallinn, Estonia. pp.51:1-51:16, ⟨10.4230/LIPIcs.MFCS.2021.51⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2021.51
Accès au texte intégral et bibtex
https://hal.science/hal-03183838/file/Note_on_join_with_LI-Published_version.pdf BibTex

Preprints, Working Papers, ...

titre
The Power of Programs over Monoids in J and Threshold Dot-depth One Languages
auteur
Nathan Grosshans
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03157113/file/Power_programs_over_J_and_TDDO_languages-Published_version.pdf BibTex

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. pp.315-327, ⟨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.science/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 (COmUE); Université de Montréal (1978-..), 2018. English. ⟨NNT : 2018SACLN028⟩
Accès au texte intégral et bibtex
https://theses.hal.science/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. pp.2:1-2:20, ⟨10.4230/LIPIcs.MFCS.2017.2⟩
DOI
DOI : 10.4230/LIPIcs.MFCS.2017.2
Accès au texte intégral et bibtex
https://hal.science/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, 2016, 9 (1), pp.1-34. ⟨10.1145/3013516⟩
DOI
DOI : 10.1145/3013516
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01426213/file/main.pdf BibTex