Dynamic Data Structures for Timed Automata Acceptance
Grez, Alejandro, Mazowiecki, Filip, Pilipczuk, Michał, Puppis, Gabriele, Riveros, Cristian
Published in Algorithmica (2022)
Published in Algorithmica (2022)
Get full text
Journal Article
Affine Extensions of Integer Vector Addition Systems with States
Blondin, Michael, Haase, Christoph, Mazowiecki, Filip, Raskin, Mikhail
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
Pumping lemmas for weighted automata
Chattopadhyay, Agnishom, Mazowiecki, Filip, Muscholl, Anca, Riveros, Cristian
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
Copyless cost-register automata: Structure, expressiveness, and closure properties
Mazowiecki, Filip, Riveros, Cristian
Published in Journal of computer and system sciences (01.03.2019)
Published in Journal of computer and system sciences (01.03.2019)
Get full text
Journal Article
A robust class of linear recurrence sequences
Barloy, Corentin, Fijalkow, Nathanaël, Lhote, Nathan, Mazowiecki, Filip
Published in Information and computation (01.11.2022)
Published in Information and computation (01.11.2022)
Get full text
Journal Article
On Polynomial Recursive Sequences
Cadilhac, Michaël, Mazowiecki, Filip, Paperman, Charles, Pilipczuk, Michał, Sénizergues, Géraud
Published in Theory of computing systems (01.08.2024)
Published in Theory of computing systems (01.08.2024)
Get full text
Journal Article
Continuous One-Counter Automata
Blondin, Michael, Leys, Tim, Mazowiecki, Filip, Offtermatt, Philip, Perez, Guillermo A.
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding
Timed pushdown automata and branching vector addition systems
Clemente, Lorenzo, Lasota, Slawomir, Lazic, Ranko, Mazowiecki, Filip
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2017)
Get full text
Conference Proceeding
Weak Cost Register Automata Are Still Powerful
Almagor, Shaull, Cadilhac, Michaël, Mazowiecki, Filip, Pérez, Guillermo A.
Published in Developments in Language Theory (2018)
Published in Developments in Language Theory (2018)
Get full text
Book Chapter
Monus semantics in vector addition systems with states
Baumann, Pascal, Madnani, Khushraj, Mazowiecki, Filip, Zetzsche, Georg
Year of Publication 28.08.2023
Year of Publication 28.08.2023
Get full text
Journal Article
On Rational Recursive Sequences
Clemente, Lorenzo, Donten-Bury, Maria, Mazowiecki, Filip, Pilipczuk, Michał
Year of Publication 04.10.2022
Year of Publication 04.10.2022
Get full text
Journal Article
Acyclic Petri and Workflow Nets with Resets
Chistikov, Dmitry, Czerwiński, Wojciech, Hofman, Piotr, Mazowiecki, Filip, Sinclair-Banks, Henry
Year of Publication 03.10.2023
Year of Publication 03.10.2023
Get full text
Journal Article