Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Polynomial finite state computation

2022/46/A/ST6/00072

Keywords:

automata theory logic models of computation

Descriptors:

  • ST6_004:

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

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Mikołaj Bojańczyk 

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 (Y-m-d): 2023-09-01

Project end date (Y-m-d): 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)
  • Articles in post-conference publications (6)
  1. Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
    Authors:
    Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman
    Academic press:
    TheoretiCS (rok: 2024, tom: 3, strony: nd), Wydawca: EpiSciences
    Status:
    Published
    DOI:
    10.46298/theoretics.24.13 - link to the publication
  1. Rank-decreasing transductions.
    Authors:
    Mikołaj Bojańczyk, Pierre Ohlmann
    Conference:
    Logic in Computer Science (rok: 2024, tom: Logic in Computer Science, strony: 1–13), Wydawca: ACM
    Data:
    konferencja 2024
    Status:
    Published
    DOI:
    10.1145/3661814.3662083 - link to the publication
  2. Polyregular Functions on Unordered Trees of Bounded Height
    Authors:
    Mikolaj Bojanczyk, Bartek Klin
    Conference:
    Principles of Programming Languages (rok: 2024, tom: Principles of Programming Languages, strony: 1326–1351), Wydawca: ACM
    Data:
    konferencja 2024
    Status:
    Published
    DOI:
    10.1145/3632887 - link to the publication
  3. Mathematical Foundations of Computer Science
    Authors:
    Antonio Casares, Corto Mascle
    Conference:
    The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition (rok: 2024, tom: Mathematical Foundations of Computer Science, strony: 1–17), Wydawca: LIPICS
    Data:
    konferencja 2024
    Status:
    Published
    DOI:
    10.4230/LIPIcs.MFCS.2024.35 - link to the publication
  4. 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 (rok: 2024, tom: International Colloquium on Automata, Languages, and Programming, strony: nd), Wydawca: LIPICS
    Data:
    konferencja 2024
    Status:
    Published
    DOI:
    10.4230/LIPIcs.ICALP.2024.130 - link to the publication
  5. 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 (rok: 2025, tom: Computer Science Logic, strony: 1–22), Wydawca: LIPICS
    Data:
    konferencja 2025
    Status:
    Published
    DOI:
    10.4230/LIPIcs.CSL.2025.22 - link to the publication
  6. Positional ω-regular languages
    Authors:
    Antonio Casares, Pierre Ohlmann
    Conference:
    Logic in Computer Science (rok: 2024, tom: Logic in Computer Science, strony: 1–14), Wydawca: ACM
    Data:
    konferencja 2024
    Status:
    Published
    DOI:
    10.1145/3661814.3662087 - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy