Polynomial finite state computation
2022/46/A/ST6/00072
Keywords
Descriptors
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
Panel
ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 6
Call
MAESTRO 14 – announced on 2022-05-15
- Amount awarded
- 4 205 400 PLN
- Project start date
- 2023-09-01
- Project end date
- 2028-08-31
- Project duration
- 60 months (the same as in the proposal)
- Project status
- Pending project
Project description
Download the project description in a pdf file
Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Information in the final report
Publication in academic press/journals (1)
-
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
- Authors:
- Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman
- Academic press:
- TheoretiCS (year: 2024, volume: 3, pages: nd), Publisher: EpiSciences
- Status:
- Published
- DOI:
- 10.46298/theoretics.24.13 – link to the publication
Articles in post-conference publications (6)
-
Polyregular Functions on Unordered Trees of Bounded Height
- Authors:
- Mikolaj Bojanczyk, Bartek Klin
- Conference:
- Principles of Programming Languages (year: 2024, volume: Principles of Programming Languages, pages: 1326–1351), Publisher: ACM
- Date:
- conference 2024
- Status:
- Published
- DOI:
- 10.1145/3632887 – link to the publication
-
Positional ω-regular languages
- Authors:
- Antonio Casares, Pierre Ohlmann
- Conference:
- Logic in Computer Science (year: 2024, volume: Logic in Computer Science, pages: 1–14), Publisher: ACM
- Date:
- conference 2024
- Status:
- Published
- DOI:
- 10.1145/3661814.3662087 – link to the publication
-
Mathematical Foundations of Computer Science
- Authors:
- Antonio Casares, Corto Mascle
- Conference:
- The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition (year: 2024, volume: Mathematical Foundations of Computer Science, pages: 1–17), Publisher: LIPICS
- Date:
- conference 2024
- Status:
- Published
- DOI:
- 10.4230/LIPIcs.MFCS.2024.35 – link to the publication
-
Rank-decreasing transductions.
- Authors:
- Mikołaj Bojańczyk, Pierre Ohlmann
- Conference:
- Logic in Computer Science (year: 2024, volume: Logic in Computer Science, pages: 1–13), Publisher: ACM
- Date:
- conference 2024
- Status:
- Published
- DOI:
- 10.1145/3661814.3662083 – link to the publication
-
Function Spaces for Orbit-Finite Sets
- Authors:
- Mikołaj Bojańczyk, Lê Thành Dũng (Tito) Nguyễn, and Rafał Stefański
- Conference:
- International Colloquium on Automata, Languages, and Programming (year: 2024, volume: International Colloquium on Automata, Languages, and Programming, pages: nd), Publisher: LIPICS
- Date:
- conference 2024
- Status:
- Published
- DOI:
- 10.4230/LIPIcs.ICALP.2024.130 – link to the publication
-
On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.
- Authors:
- Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
- Conference:
- Computer Science Logic (year: 2025, volume: Computer Science Logic, pages: 1–22), Publisher: LIPICS
- Date:
- conference 2025
- Status:
- Published
- DOI:
- 10.4230/LIPIcs.CSL.2025.22 – link to the publication