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