A unified theory of finite-state recognisability

Stable graphs of bounded twin-width

Autoren: Jakub Gajarský, Michał Pilipczuk, Szymon Toruńczyk
Veröffentlicht in: arxiv, 2021
Herausgeber: arxiv

Monadic Monadic Second Order Logic

Autoren: Mikołaj Bojańczyk, Bartek Klin, Julian Salamanca
Veröffentlicht in: arxiv, 2021
Herausgeber: arxiv

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

Autoren: Mikołaj Bojańczyk, Bartek Klin
Veröffentlicht in: Logical Methods in Computer Science, 2018
Herausgeber: arxiv
DOI: 10.23638/lmcs-15(4:11)2019

Polyregular Functions

Autoren: Mikołaj Bojańczyk
Veröffentlicht in: arxiv, 2018
Herausgeber: arxiv

Two monads for graphs

Autoren: Mikołaj Bojańczyk
Veröffentlicht in: arxiv, 2018
Herausgeber: arxiv

Some connections between universal algebra and logics for trees

Autoren: Mikołaj Bojańczyk, Henryk Michalewski
Veröffentlicht in: arxiv, 2017
Herausgeber: 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

Autoren: Mikołaj Bojańczyk
Veröffentlicht in: arxiv, 2020
Herausgeber: arxiv

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Autoren: Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman
Veröffentlicht in: LICS, 2021
Herausgeber: ACM
DOI: 10.1109/lics52264.2021.9470634

Timed Games and Deterministic Separability

Autoren: Lorenzo Clemente, Sławomir Lasota, Radosław Piórkowski
Veröffentlicht in: ICALP, 2020
Herausgeber: LIPIcs

Extensions of ω-Regular Languages

Autoren: Mikołaj Bojańczyk, Edon Kelmendi, Rafał Stefański, Georg Zetzsche
Veröffentlicht in: LICS, 2020
Herausgeber: ACM
DOI: 10.1145/3373718.3394779

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

Autoren: Mikołaj Bojańczyk, Janusz Schmude
Veröffentlicht in: MFCS, 2020
Herausgeber: LIPIcs
DOI: 10.4230/lipics.mfcs.2020.19

Uniformisation Gives the Full Strength of Regular Languages

Autoren: Nathan Lhote, Vincent Michielini, Michal Skrzypczak
Veröffentlicht in: MFCS, 2019
Herausgeber: LIPIcs
DOI: 10.4230/lipics.mfcs.2019.61

New Techniques for Universality in Unambiguous Register Automata

Autoren: Wojciech Czerwiński, Antoine Mottet, Karin Quaas
Veröffentlicht in: ICALP, 2021
Herausgeber: LIPIcs
DOI: 10.4230/lipics.icalp.2021.129

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

Autoren: Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude
Veröffentlicht in: FSTTCS, 2018
Herausgeber: LIPIcs
DOI: 10.4230/lipics.fsttcs.2018.48

An Approach to Regular Separability in Vector Addition Systems

Autoren: Wojciech Czerwiński, Georg Zetzsche
Veröffentlicht in: LICS, 2020
Herausgeber: ACM
DOI: 10.1145/3373718.3394776

Codensity Games for Bisimilarity

Autoren: Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Veröffentlicht in: LICS, 2019
Herausgeber: ACM
DOI: 10.1109/lics.2019.8785691

Universality Problem for Unambiguous VASS

Autoren: Wojciech Czerwiński, Diego Figueira, Piotr Hofman
Veröffentlicht in: Concur, 2020
Herausgeber: LIPIcs
DOI: 10.4230/lipics.concur.2020.36

Improved Lower Bounds for Reachability in Vector Addition Systems

Autoren: Wojciech Czerwiński, Sławomir Lasota, Łukasz Orlikowski
Veröffentlicht in: ICALP, 2021
Herausgeber: LIPIcs
DOI: 10.4230/lipics.icalp.2021.128

Determinisability of One-Clock Timed Automata

Autoren: Lorenzo Clemente, Sławomir Lasota, Radosław Piórkowski
Veröffentlicht in: Concur, 2020
Herausgeber: LIPIcs
DOI: 10.4230/lipics.concur.2020.42

MSO+∇ is undecidable

Autoren: Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak
Veröffentlicht in: LICS, 2019
Herausgeber: ACM
DOI: 10.1109/lics.2019.8785892

Uniformisations of regular relations over bi-infinite words

Autoren: Grzegorz Fabiański, Michał Skrzypczak, Szymon Toruńczyk
Veröffentlicht in: LICS, 2020
Herausgeber: ACM
DOI: 10.1145/3373718.3394782

Optimizing Tree Decompositions in MSO

Autoren: Bojanczyk, Mikolaj ; Pilipczuk, Michal
Veröffentlicht in: STACS, 2017
Herausgeber: 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

Autoren: Laure Daviaud, Guillon, Pierre ; Merlet, Glenn
Veröffentlicht in: MFCS, 2017
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.19

Which Classes of Origin Graphs Are Generated by Transducers

Autoren: Mikołaj Bojańczyk, Laure Daviaud, Bruno Guillon, Vincent Penelle
Veröffentlicht in: ICALP, 2017
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.114

Emptiness of Zero Automata Is Decidable

Autoren: Bojanczyk, Mikolaj ; Gimbert, Hugo ; Kelmendi, Edon
Veröffentlicht in: ICALP, 2017
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.106

Orbit-Finite Sets and Their Algorithms (Invited Talk)

Autoren: Mikolaj Bojanczyk
Veröffentlicht in: ICALP, 2017, Seite(n) 1-14, ISBN 978-3-95977-041-5
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.1

Degree of Sequentiality of Weighted Automata

Autoren: Laure Daviaud, Ismaël Jecker, Pierre-Alain Reynier, Didier Villevalois
Veröffentlicht in: FoSSaCS, 2017, Seite(n) 215-230
Herausgeber: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54458-7_13

The Shortest Identities for Max-Plus Automata with Two States

Autoren: Laure Daviaud, Marianne Johnson
Veröffentlicht in: MFCS, 2017
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.48

Timed pushdown automata and branching vector addition systems

Autoren: Lorenzo Clemente, Slawomir Lasota, Ranko Lazic, Filip Mazowiecki
Veröffentlicht in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Seite(n) 1-12, ISBN 978-1-5090-3018-7
Herausgeber: IEEE
DOI: 10.1109/LICS.2017.8005083

Regular and First-Order List Functions

Autoren: Mikołaj Bojańczyk, Laure Daviaud, Shankara Narayanan Krishna
Veröffentlicht in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Seite(n) 125-134, ISBN 9781-450355834
Herausgeber: ACM Press
DOI: 10.1145/3209108.3209163

Definability equals recognizability for graphs of bounded treewidth

Autoren: Mikołaj Bojańczyk, Michał Pilipczuk
Veröffentlicht in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Seite(n) 407-416, ISBN 9781-450343916
Herausgeber: ACM Press
DOI: 10.1145/2933575.2934508

WQO Dichotomy for 3-Graphs

Autoren: Sławomir Lasota, Radosław Piórkowski
Veröffentlicht in: Foundations of Software Science and Computation Structures, Ausgabe 10803, 2018, Seite(n) 548-564, ISBN 978-3-319-89365-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-89366-2_30

Definable decompositions for graphs of bounded linear cliquewidth

Autoren: Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk
Veröffentlicht in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Seite(n) 135-144, ISBN 9781-450355834
Herausgeber: ACM Press
DOI: 10.1145/3209108.3209135

Thin MSO with a Probabilistic Path Quantifier

Autoren: Mikołaj Bojańczyk
Veröffentlicht in: ICALP, 2016
Herausgeber: Lipics
DOI: 10.4230/LIPIcs.ICALP.2016.96

Regular Choice Functions and Uniformisations For countable Domains

Autoren: Vincent Michielini, Michal Skrzypczak
Veröffentlicht in: MFCS, 2020
Herausgeber: LIPIcs
DOI: 10.4230/lipics.mfcs.2020.69

String-to-String Interpretations With Polynomial-Size Output

Autoren: Mikolaj Bojanczyk, Sandra Kiefer, Nathan Lhote
Veröffentlicht in: ICALP, 2019
Herausgeber: LIPIcs
DOI: 10.4230/lipics.icalp.2019.106

Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages

Autoren: Bartek Klin, Sławomir Lasota, Szymon Toruńczyk
Veröffentlicht in: FoSSaCS, 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-71995-1_19

Single-Use Automata and Transducers for Infinite Alphabets

Autoren: Mikołaj Bojańczyk, Rafał Stefański
Veröffentlicht in: ICALP, 2020
Herausgeber: LIPIcs
DOI: 10.4230/lipics.icalp.2020.113

Iterated Covariant Powerset is not a Monad

Autoren: Bartek Klin; Julian Salamanca
Veröffentlicht in: MFPS, 2018
Herausgeber: Elsevier
DOI: 10.1016/j.entcs.2018.11.013

First-order tree-to-tree functions

Autoren: Mikolaj Bojanczyk, Amina Doumane
Veröffentlicht in: LICS, 2020
Herausgeber: ACM
DOI: 10.1145/3373718.3394785

The Reachability Problem for Petri Nets is Not Elementary

Autoren: Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jerome Leroux, Filip Mazowiecki
Veröffentlicht in: JACM, 2021, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3422822

Reachability relations of timed pushdown automata

Autoren: Lorenzo Clemente; Sławomir Lasota
Veröffentlicht in: JCSS, 2020, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2020.11.003

Identities in upper triangular tropical matrix semigroups and the bicyclic monoid

Autoren: Laure Daviaud; Marianne Johnson; Mark Kambites
Veröffentlicht in: Journal of Algebra, 2017, ISSN 0021-8693
Herausgeber: 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

Autoren: Mikołaj Bojańczyk
Veröffentlicht in: Fundamenta Informaticae, Ausgabe 154/1-4, 2017, Seite(n) 37-46, ISSN 0169-2968
Herausgeber: IOS Press
DOI: 10.3233/FI-2017-1551

Veröffentlichungen

Diese Seite teilen

Herunterladen