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