Publications
Auteurs:
Thomas Colcombet, Daniela Petrisan
Publié dans:
Log. Methods Comput. Sci., Numéro 16(1), 2020, Page(s) 1:1-1:32, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.23638/lmcs-16(1:32)2020
Auteurs:
Wesley Fussner, Gavin St. John
Publié dans:
Electronic Proceedings in Theoretical Computer Science, Numéro 343, 2021, Page(s) 37-49, ISSN 2075-2180
Éditeur:
Open Publishing Association
DOI:
10.4204/eptcs.343.3
Auteurs:
Brett McLean
Publié dans:
Journal of Logical and Algebraic Methods in Programming, Numéro 117, 2020, Page(s) 100606, ISSN 2352-2208
Éditeur:
Elsevier
DOI:
10.1016/j.jlamp.2020.100606
Auteurs:
Brett McLean
Publié dans:
Journal of Pure and Applied Algebra, Numéro 225, no. 11, 2021, Page(s) 106755, ISSN 0022-4049
Éditeur:
Elsevier BV
DOI:
10.1016/j.jpaa.2021.106755
Auteurs:
Botero, W. J. Zuluaga
Publié dans:
Algebra Universalis, Numéro 82, 2021, Page(s) 50, ISSN 0002-5240
Éditeur:
Birkhauser Verlag
DOI:
10.1007/s00012-021-00745-2
Auteurs:
Mai Gehrke, Daniela Petrişan, Luca Reggio
Publié dans:
Mathematical Structures in Computer Science, Numéro 30/10, 2020, Page(s) 1054-1088, ISSN 0960-1295
Éditeur:
Cambridge University Press
DOI:
10.1017/s0960129521000074
Auteurs:
Wesley Fussner, Mai Gehrke, Samuel J. van Gool, Vincenzo Marra
Publié dans:
Forum Mathematicum, Numéro 33/4, 2021, Page(s) 899-921, ISSN 0933-7741
Éditeur:
Walter de Gruyter GmbH & Co. KG
DOI:
10.1515/forum-2020-0115
Auteurs:
Wesley Fussner
Publié dans:
Studia Logica, 2021, ISSN 0039-3215
Éditeur:
Kluwer Academic Publishers
DOI:
10.1007/s11225-021-09956-z
Auteurs:
Leonardo M. Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
Publié dans:
ACM Transactions on Computational Logic, Numéro 20/1, 2019, Page(s) 1-19, ISSN 1529-3785
Éditeur:
Association for Computing Machinary, Inc.
DOI:
10.1145/3275115
Auteurs:
Luca Reggio
Publié dans:
Journal of Pure and Applied Algebra, Numéro 224/1, 2020, Page(s) 181-205, ISSN 0022-4049
Éditeur:
Elsevier BV
DOI:
10.1016/j.jpaa.2019.05.002
Auteurs:
Wesley Fussner, Alessandra Palmigiano
Publié dans:
Algebra universalis, Numéro 80/4, 2019, ISSN 0002-5240
Éditeur:
Birkhauser Verlag
DOI:
10.1007/s00012-019-0613-5
Auteurs:
Vincenzo Marra, Luca Reggio
Publié dans:
Theory and Applications of Categories, Numéro vol. 35, no. 51, 2020, Page(s) 1871-1906, ISSN 1201-561X
Éditeur:
R. Rosebrugh
Auteurs:
Kurusch Ebrahimi-Fard, Loïc Foissy, Joachim Kock, Frédéric Patras
Publié dans:
Advances in Mathematics, Numéro 369, 2020, Page(s) 107170, ISSN 0001-8708
Éditeur:
Academic Press
DOI:
10.1016/j.aim.2020.107170
Auteurs:
Célia Borlido
Publié dans:
Communications in Algebra, Numéro 46/4, 2017, Page(s) 1813-1830, ISSN 0092-7872
Éditeur:
Marcel Dekker Inc.
DOI:
10.1080/00927872.2017.1360328
Auteurs:
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
Publié dans:
ACM Transactions of Computer Systems, Numéro 1, 2018, ISSN 0734-2071
Éditeur:
Association for Computing Machinary, Inc.
Auteurs:
Samuel J. v. Gool, Luca Reggio
Publié dans:
Topology and its Applications, Numéro 240, 2018, Page(s) 69-77, ISSN 0166-8641
Éditeur:
Elsevier BV
DOI:
10.1016/j.topol.2018.03.006
Auteurs:
HENNING BASOLD, HELLE HVID HANSEN, JEAN-ÉRIC PIN, JAN RUTTEN
Publié dans:
Mathematical Structures in Computer Science, 2017, Page(s) 1-29, ISSN 0960-1295
Éditeur:
Cambridge University Press
DOI:
10.1017/s0960129517000159
Auteurs:
Carton, Olivier; Perrin, Dominique; Pin, Jean-Éric
Publié dans:
Logical Methods in Computer Science, Numéro 1, 2018, Page(s) vol 14, ISSN 1860-5974
Éditeur:
Technischen Universitat Braunschweig
DOI:
10.23638/LMCS-14(1:24)2018
Auteurs:
Célia Borlido
Publié dans:
Theoretical Computer Science, Numéro 702, 2017, Page(s) 1-22, ISSN 0304-3975
Éditeur:
Elsevier BV
DOI:
10.1016/j.tcs.2017.08.008
Auteurs:
Mai Gehrke
Publié dans:
Algebra universalis, Numéro 79/3, 2018, ISSN 0002-5240
Éditeur:
Birkhauser Verlag
DOI:
10.1007/s00012-018-0544-6
Auteurs:
PAUL-ANDRÉ MELLIÈS, NOAM ZEILBERGER
Publié dans:
Mathematical Structures in Computer Science, Numéro 28/06, 2018, Page(s) 736-774, ISSN 0960-1295
Éditeur:
Cambridge University Press
DOI:
10.1017/s0960129517000068
Auteurs:
Mai Gehrke, Michael Pinsker
Publié dans:
Journal of Pure and Applied Algebra, Numéro 222/5, 2018, Page(s) 1242-1250, ISSN 0022-4049
Éditeur:
Elsevier BV
DOI:
10.1016/j.jpaa.2017.06.016
Auteurs:
Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot
Publié dans:
Acta Informatica, Numéro 54/2, 2017, Page(s) 127-190, ISSN 0001-5903
Éditeur:
Springer Verlag
DOI:
10.1007/s00236-016-0271-4
Auteurs:
Mai Gehrke
Publié dans:
Journal of Pure and Applied Algebra, Numéro 220/7, 2016, Page(s) 2711-2747, ISSN 0022-4049
Éditeur:
Elsevier BV
DOI:
10.1016/j.jpaa.2015.12.007
Auteurs:
Jean-Éric Pin, Pedro V. Silva
Publié dans:
Theoretical Computer Science, Numéro 658, 2017, Page(s) 246-262, ISSN 0304-3975
Éditeur:
Elsevier BV
DOI:
10.1016/j.tcs.2016.06.013
Auteurs:
Jorge Almeida, Zoltan Ésik, Jean-Éric Pin
Publié dans:
Acta Cybernetica, Numéro 23, 2017, ISSN 0324-721X
Éditeur:
Szegedi Tudomanyegyetern/University of Szeged
DOI:
10.14232/actacyb.23.1.2017.7
Auteurs:
Mai Gehrke, Andreas Krebs, Jean-Éric Pin
Publié dans:
Theoretical Computer Science, Numéro 610, 2016, Page(s) 37-58, ISSN 0304-3975
Éditeur:
Elsevier BV
DOI:
10.1016/j.tcs.2015.08.007
Auteurs:
Samer Allouch, Carlos Simpson
Publié dans:
Communications in Algebra, Numéro 46/7, 2018, Page(s) 3079-3091, ISSN 0092-7872
Éditeur:
Marcel Dekker Inc.
DOI:
10.1080/00927872.2017.1404081
Auteurs:
Jorge Almeida, Célia Borlido
Publié dans:
International Journal of Algebra and Computation, Numéro 27/02, 2017, Page(s) 189-235, ISSN 0218-1967
Éditeur:
World Scientific Publishing Co
DOI:
10.1142/S0218196717500096
Auteurs:
Vincenzo Marra, Luca Reggio
Publié dans:
Advances in Mathematics, Numéro 307, 2017, Page(s) 253-287, ISSN 0001-8708
Éditeur:
Academic Press
DOI:
10.1016/j.aim.2016.11.012
Auteurs:
Jean-Éric Pin, Xaro Soler-Escrivà
Publié dans:
Theoretical Computer Science, Numéro 800, 2019, Page(s) 155-172, ISSN 0304-3975
Éditeur:
Elsevier BV
DOI:
10.1016/j.tcs.2019.10.023
Auteurs:
Paul-André Mellies
Publié dans:
Proceedings of the ACM on Programming Languages, Numéro 3/POPL, 2019, Page(s) 1-30, ISSN 2475-1421
Éditeur:
ACM
DOI:
10.1145/3290336
Auteurs:
Paul-André Melliès
Publié dans:
Publications of the Research Institute for Mathematical Sciences, Numéro 52/4, 2016, Page(s) 359-412, ISSN 0034-5318
Éditeur:
Kyoto Daigaku
DOI:
10.4171/prims/185
Auteurs:
Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing
Publié dans:
Topology and its Applications, Numéro 273, 2020, Page(s) 106975, ISSN 0166-8641
Éditeur:
Elsevier BV
DOI:
10.1016/j.topol.2019.106975
Auteurs:
Mai Gehrke, Samuel J. v. Gool
Publié dans:
Journal of Pure and Applied Algebra, Numéro 222/8, 2018, Page(s) 2164-2180, ISSN 0022-4049
Éditeur:
Elsevier BV
DOI:
10.1016/j.jpaa.2017.09.004
Auteurs:
Leonardo Manuel Cabrer, Daniele Mundici
Publié dans:
Annals of Pure and Applied Logic, Numéro 168/5, 2017, Page(s) 1132-1151, ISSN 0168-0072
Éditeur:
Elsevier BV
DOI:
10.1016/j.apal.2016.11.009
Auteurs:
Tomáš Jakl
Publié dans:
Topology and its Applications, Numéro 273, 2020, Page(s) 106976, ISSN 0166-8641
Éditeur:
Elsevier BV
DOI:
10.1016/j.topol.2019.106976
Auteurs:
Thomas Colcombet, and Sylvain Lombardy
Publié dans:
Christophe Paul and Markus Bläser, editors, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, Numéro March 10-13, 2020, Montpellier, France, volume 154 of LIPIcs, 2020, Page(s) 32:1–32:13
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.stacs.2020.32
Auteurs:
Fussner, Wesley; Ghannoum, Najwa; Jakl, Tomás; Simpson, Carlos
Publié dans:
https://hal.archives-ouvertes.fr/hal-02972963, Numéro 1, 2020
Éditeur:
Conference on Artificial Intelligence and Theorem Proving
Auteurs:
Fussner, Wesley; Shminke, Boris
Publié dans:
6th Conference on Artificial Intelligence and Theorem Proving, Sep 2021, Aussois, France, Numéro 1, 2021
Éditeur:
6th Conference on Artificial Intelligence and Theorem Proving
Auteurs:
Thomas Colcombet, Daniela Petrisan, and Riccardo Stabile
Publié dans:
Christel Baier and Jean Goubault-Larrecq, editors, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Numéro January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference), volume 183 of LIPIcs, 2021, Page(s) 15:1–15:17
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.csl.2021.15
Auteurs:
Paul-André Melliès; Nicolas Rolland
Publié dans:
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Numéro 167, 2020, Page(s) 6:1--6:18, ISBN 978-3-95977-155-9
Éditeur:
Schloss Dagstuhl, Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.fscd.2020.6
Auteurs:
David Barozzini, Lorenzo Clemente, Thomas Colcombet, and Pawel Parys
Publié dans:
Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Numéro July 8-11, 2020, Saarbrücken, Germany (Virtual Conference), volume 168 of LIPIcs, 2020, Page(s) 109:1–109:18
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2020.109
Auteurs:
Branco , Mário; Pin , Jean-Eric
Publié dans:
International Conference on Developments in Language Theory (DLT), Numéro LNCS, volume 11088, 2018, Page(s) 156-168
Éditeur:
Springer
DOI:
10.1007/978-3-319-98654-8_13
Auteurs:
Bonchi, Filippo; König, Barbara; Petrisan, Daniela
Publié dans:
29th International Conference on Concurrency Theory (CONCUR 2018), Numéro 1, 2018
Éditeur:
Dagstuhl
Auteurs:
Colcombet, Thomas; Petrişan, Daniela
Publié dans:
42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Numéro 1, 2017, Page(s) 52:1-14
Éditeur:
Dagstuhl
Auteurs:
Colcombet, Thomas; Petrişan, Daniela
Publié dans:
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Numéro 1, 2017
Éditeur:
Dagstuhl
Auteurs:
Mai Gehrke, Daniela Petrisan, Luca Reggio
Publié dans:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-12, ISBN 978-1-5090-3018-7
Éditeur:
IEEE
DOI:
10.1109/LICS.2017.8005140
Auteurs:
Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs
Publié dans:
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
Éditeur:
Dagstuhl
DOI:
10.4230/LIPIcs.CSL.2017.13
Auteurs:
Thomas Colcombet
Publié dans:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-4, ISBN 978-1-5090-3018-7
Éditeur:
IEEE
DOI:
10.1109/LICS.2017.8005061
Auteurs:
Mai Gehrke, Daniela Petrisan, Luca Reggio
Publié dans:
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Numéro 55, 2016, Page(s) 112:1--112:14, ISBN 978-3-95977-013-2
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.ICALP.2016.112
Auteurs:
Paul-André Melliès, Noam Zeilberger
Publié dans:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 555-564, ISBN 9781-450343916
Éditeur:
ACM Press
DOI:
10.1145/2933575.2934525
Auteurs:
Mai Gehrke
Publié dans:
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 12-26, ISBN 9781-450343916
Éditeur:
ACM Press
DOI:
10.1145/2933575.2934575
Auteurs:
Mai Gehrke, Daniela Petrisan, and Luca Reggio
Publié dans:
Proceedings of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017
Éditeur:
ACM
Auteurs:
Paul-Andre Mellies
Publié dans:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-12, ISBN 978-1-5090-3018-7
Éditeur:
IEEE
DOI:
10.1109/lics.2017.8005077
Auteurs:
Jean-Éric Pin
Publié dans:
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, Numéro 10226, 2017, ISBN 978-3-319-57417-2
Éditeur:
Springer
DOI:
10.1007/978-3-319-57418-92
Auteurs:
Colcombet, Thomas; Worrell, James; Ouaknine, Joel; Semukhin, Pavel
Publié dans:
"46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.44⟩", Numéro 23, 2019
Éditeur:
LIPICS
DOI:
10.4230/LIPIcs.ICALP.2019.44
Auteurs:
Antonio Casares, Thomas Colcombet, and Nathanaël Fijalkow
Publié dans:
Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Numéro July 12- 16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, 2021, Page(s) 123:1–123:14
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021
Auteurs:
Thomas Colcombet, Arthur Jaquard
Publié dans:
Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Numéro July 12-16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, 2021, Page(s) 127:1–127:13
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.icalp.2021.127
Auteurs:
Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Publié dans:
arxiv, Numéro 1, 2020
Éditeur:
arxiv
Auteurs:
Simpson, Carlos
Publié dans:
https://hal.archives-ouvertes.fr/hal-03251094, Numéro 1, 2021
Éditeur:
HAL archives
Auteurs:
Thomas Colcombet, Daniela Petrisan
Publié dans:
ACM SIGLOG News, Numéro 4(2), April 2017, 2017, Page(s) 3-27
Éditeur:
ACM
Auteurs:
Mai Gehrke, Andreas Krebs
Publié dans:
ACM SIGLOG News, Numéro 4(2), April 2017, 2017, Page(s) 28-53
Éditeur:
ACM
Auteurs:
Borlido, Célia; McLean, Brett
Publié dans:
arxiv, Numéro 1, 2020
Éditeur:
arxiv
Auteurs:
Jean-Éric Pin
Publié dans:
The Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski, 2017, Page(s) 153-175, ISBN 978-981-3148-19-2
Éditeur:
WORLD SCIENTIFIC
DOI:
10.1142/9789813148208_0007
Auteurs:
Jean-Éric Pin
Publié dans:
The Role of Theory in Computer Science, 2017, Page(s) 177-201
Éditeur:
WORLD SCIENTIFIC
DOI:
10.1142/9789813148208_0008
Auteurs:
Thomas Colcombet, Nathanaël Fijalkow
Publié dans:
Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Numéro 11425, 2019, Page(s) 1-26, ISBN 978-3-030-17126-1
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-17127-8_1
Auteurs:
Mai Gehrke, Tomáš Jakl, Luca Reggio
Publié dans:
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Numéro 12077, 2020, Page(s) 299-318, ISBN 978-3-030-45230-8
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-45231-5_16
Auteurs:
Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann
Publié dans:
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Numéro 12077, 2020, Page(s) 119-135, ISBN 978-3-030-45230-8
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-45231-5_7
Auteurs:
Reggio, Luca
Publié dans:
https://tel.archives-ouvertes.fr/tel-02459132, Numéro 2, 2018
Éditeur:
Université Paris Diderot
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible