A unified theory of finite-state recognisability

Informations projet

LIPA

N° de convention de subvention: 683080

DOI

10.3030/683080

Projet clôturé

Date de signature de la CE 26 Avril 2016

Date de début 1 Mai 2016

Date de fin 31 Octobre 2021

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 768 125,00

Contribution de l’UE

€ 1 768 125,00

Coordonné par

UNIWERSYTET WARSZAWSKI
Poland

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (7)

Stable graphs of bounded twin-width

Auteurs: Jakub Gajarský, Michał Pilipczuk, Szymon Toruńczyk
Publié dans: arxiv, 2021
Éditeur: arxiv

Monadic Monadic Second Order Logic

Auteurs: Mikołaj Bojańczyk, Bartek Klin, Julian Salamanca
Publié dans: arxiv, 2021
Éditeur: arxiv

A non-regular language of infinite trees that is recognizable by a finite algebra

Auteurs: Mikołaj Bojańczyk, Bartek Klin
Publié dans: Logical Methods in Computer Science, 2018
Éditeur: arxiv
DOI: 10.23638/lmcs-15(4:11)2019

Polyregular Functions

Auteurs: Mikołaj Bojańczyk
Publié dans: arxiv, 2018
Éditeur: arxiv

Two monads for graphs

Auteurs: Mikołaj Bojańczyk
Publié dans: arxiv, 2018
Éditeur: arxiv

Some connections between universal algebra and logics for trees

Auteurs: Mikołaj Bojańczyk, Henryk Michalewski
Publié dans: arxiv, 2017
Éditeur: arxiv

Languages recognised by finite semigroups, and their generalisations to objects such as trees and graphs, with an emphasis on definability in monadic second-order logic

Auteurs: Mikołaj Bojańczyk
Publié dans: arxiv, 2020
Éditeur: arxiv

Conference proceedings (33)

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Auteurs: Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman
Publié dans: LICS, 2021
Éditeur: ACM
DOI: 10.1109/lics52264.2021.9470634

Timed Games and Deterministic Separability

Auteurs: Lorenzo Clemente, Sławomir Lasota, Radosław Piórkowski
Publié dans: ICALP, 2020
Éditeur: LIPIcs

Extensions of ω-Regular Languages

Auteurs: Mikołaj Bojańczyk, Edon Kelmendi, Rafał Stefański, Georg Zetzsche
Publié dans: LICS, 2020
Éditeur: ACM
DOI: 10.1145/3373718.3394779

Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers

Auteurs: Mikołaj Bojańczyk, Janusz Schmude
Publié dans: MFCS, 2020
Éditeur: LIPIcs
DOI: 10.4230/lipics.mfcs.2020.19

Uniformisation Gives the Full Strength of Regular Languages

Auteurs: Nathan Lhote, Vincent Michielini, Michal Skrzypczak
Publié dans: MFCS, 2019
Éditeur: LIPIcs
DOI: 10.4230/lipics.mfcs.2019.61

New Techniques for Universality in Unambiguous Register Automata

Auteurs: Wojciech Czerwiński, Antoine Mottet, Karin Quaas
Publié dans: ICALP, 2021
Éditeur: LIPIcs
DOI: 10.4230/lipics.icalp.2021.129

"Reducing Transducer Equivalence to Register Automata Problems Solved by ""Hilbert Method"""

Auteurs: Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude
Publié dans: FSTTCS, 2018
Éditeur: LIPIcs
DOI: 10.4230/lipics.fsttcs.2018.48

An Approach to Regular Separability in Vector Addition Systems

Auteurs: Wojciech Czerwiński, Georg Zetzsche
Publié dans: LICS, 2020
Éditeur: ACM
DOI: 10.1145/3373718.3394776

Codensity Games for Bisimilarity

Auteurs: Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Publié dans: LICS, 2019
Éditeur: ACM
DOI: 10.1109/lics.2019.8785691

Universality Problem for Unambiguous VASS

Auteurs: Wojciech Czerwiński, Diego Figueira, Piotr Hofman
Publié dans: Concur, 2020
Éditeur: LIPIcs
DOI: 10.4230/lipics.concur.2020.36

Improved Lower Bounds for Reachability in Vector Addition Systems

Auteurs: Wojciech Czerwiński, Sławomir Lasota, Łukasz Orlikowski
Publié dans: ICALP, 2021
Éditeur: LIPIcs
DOI: 10.4230/lipics.icalp.2021.128

Determinisability of One-Clock Timed Automata

Auteurs: Lorenzo Clemente, Sławomir Lasota, Radosław Piórkowski
Publié dans: Concur, 2020
Éditeur: LIPIcs
DOI: 10.4230/lipics.concur.2020.42

MSO+∇ is undecidable

Auteurs: Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak
Publié dans: LICS, 2019
Éditeur: ACM
DOI: 10.1109/lics.2019.8785892

Uniformisations of regular relations over bi-infinite words

Auteurs: Grzegorz Fabiański, Michał Skrzypczak, Szymon Toruńczyk
Publié dans: LICS, 2020
Éditeur: ACM
DOI: 10.1145/3373718.3394782

Optimizing Tree Decompositions in MSO

Auteurs: Bojanczyk, Mikolaj ; Pilipczuk, Michal
Publié dans: STACS, 2017
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.4230/LIPIcs.STACS.2017.15

Comparison of Max-Plus Automata and Joint Spectral Radius of Tropical Matrices

Auteurs: Laure Daviaud, Guillon, Pierre ; Merlet, Glenn
Publié dans: MFCS, 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.19

Which Classes of Origin Graphs Are Generated by Transducers

Auteurs: Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle
Publié dans: ICALP, 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.114

Emptiness of Zero Automata Is Decidable

Auteurs: Bojanczyk, Mikolaj ; Gimbert, Hugo ; Kelmendi, Edon
Publié dans: ICALP, 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.106

Orbit-Finite Sets and Their Algorithms (Invited Talk)

Auteurs: Mikolaj Bojanczyk
Publié dans: ICALP, 2017, Page(s) 1-14, ISBN 978-3-95977-041-5
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.1

Degree of Sequentiality of Weighted Automata

Auteurs: Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois
Publié dans: FoSSaCS, 2017, Page(s) 215-230
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54458-7_13

The Shortest Identities for Max-Plus Automata with Two States

Auteurs: Laure Daviaud, Marianne Johnson
Publié dans: MFCS, 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.48

Timed pushdown automata and branching vector addition systems

Auteurs: Lorenzo Clemente, Slawomir Lasota, Ranko Lazic, Filip Mazowiecki
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.8005083

Regular and First-Order List Functions

Auteurs: Mikołaj Bojańczyk, Laure Daviaud, Shankara Narayanan Krishna
Publié dans: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 125-134, ISBN 9781450355834
Éditeur: ACM Press
DOI: 10.1145/3209108.3209163

Definability equals recognizability for graphs of bounded treewidth

Auteurs: Mikołaj Bojańczyk, Michał Pilipczuk
Publié dans: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Page(s) 407-416, ISBN 9781-450343916
Éditeur: ACM Press
DOI: 10.1145/2933575.2934508

WQO Dichotomy for 3-Graphs

Auteurs: Sławomir Lasota, Radosław Piórkowski
Publié dans: Foundations of Software Science and Computation Structures, Numéro 10803, 2018, Page(s) 548-564, ISBN 978-3-319-89365-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-89366-2_30

Definable decompositions for graphs of bounded linear cliquewidth

Auteurs: Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk
Publié dans: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 135-144, ISBN 9781450355834
Éditeur: ACM Press
DOI: 10.1145/3209108.3209135

Thin MSO with a Probabilistic Path Quantifier

Auteurs: Mikołaj Bojańczyk
Publié dans: ICALP, 2016
Éditeur: Lipics
DOI: 10.4230/LIPIcs.ICALP.2016.96

Regular Choice Functions and Uniformisations For countable Domains

Auteurs: Vincent Michielini, Michal Skrzypczak
Publié dans: MFCS, 2020
Éditeur: LIPIcs
DOI: 10.4230/lipics.mfcs.2020.69

String-to-String Interpretations With Polynomial-Size Output

Auteurs: Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
Publié dans: ICALP, 2019
Éditeur: LIPIcs
DOI: 10.4230/lipics.icalp.2019.106

Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages

Auteurs: Bartek Klin, Sławomir Lasota, Szymon Toruńczyk
Publié dans: FoSSaCS, 2021
Éditeur: Springer
DOI: 10.1007/978-3-030-71995-1_19

Single-Use Automata and Transducers for Infinite Alphabets

Auteurs: Mikołaj Bojańczyk, Rafał Stefański
Publié dans: ICALP, 2020
Éditeur: LIPIcs
DOI: 10.4230/lipics.icalp.2020.113

Iterated Covariant Powerset is not a Monad

Auteurs: Bartek Klin; Julian Salamanca
Publié dans: MFPS, 2018
Éditeur: Elsevier
DOI: 10.1016/j.entcs.2018.11.013

First-order tree-to-tree functions

Auteurs: Mikolaj Bojanczyk, Amina Doumane
Publié dans: LICS, 2020
Éditeur: ACM
DOI: 10.1145/3373718.3394785

Peer reviewed articles (4)

The Reachability Problem for Petri Nets is Not Elementary

Auteurs: Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jerome Leroux, Filip Mazowiecki
Publié dans: JACM, 2021, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3422822

Reachability relations of timed pushdown automata

Auteurs: Lorenzo Clemente; Sławomir Lasota
Publié dans: JCSS, 2020, ISSN 0022-0000
Éditeur: Academic Press
DOI: 10.1016/j.jcss.2020.11.003

Identities in upper triangular tropical matrix semigroups and the bicyclic monoid

Auteurs: Laure Daviaud; Marianne Johnson; Mark Kambites
Publié dans: Journal of Algebra, 2017, ISSN 0021-8693
Éditeur: Academic Press
DOI: 10.1016/j.jalgebra.2017.12.032

It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton

Auteurs: Mikołaj Bojańczyk
Publié dans: Fundamenta Informaticae, Numéro 154/1-4, 2017, Page(s) 37-46, ISSN 0169-2968
Éditeur: IOS Press
DOI: 10.3233/FI-2017-1551