Projekty finansowane przez NCN
Skończenie stanowe obliczenia wielomianowe
2022/46/A/ST6/00072
Słowa kluczowe:
teoria automatów logika modele obliczeń
Deskryptory:
- ST6_004: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Kierownik projektu (z jednostki realizującej):
Liczba wykonawców projektu: 6
Konkurs: MAESTRO 14 - ogłoszony 2022-05-15
Przyznana kwota: 4 205 400 PLN
Rozpoczęcie projektu: 2023-09-01
Zakończenie projektu: 2028-08-31
Planowany czas trwania projektu: 60 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (1)
- Teksty w publikacjach pokonferencyjnych (6)
- Orbit-Finite-Dimensional Vector Spaces and Weighted Register AutomataAutorzy:Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua MoermanCzasopismo:TheoretiCS (rok: 2024, tom: 3, strony: nd), Wydawca: EpiSciencesStatus:OpublikowanaDoi:10.46298/theoretics.24.13 - link do publikacji
- Rank-decreasing transductions.Autorzy:Mikołaj Bojańczyk, Pierre OhlmannKonferencja:Logic in Computer Science (rok: 2024, tom: Logic in Computer Science, strony: 1–13), Wydawca: ACMData:konferencja 2024Status:OpublikowanaDoi:10.1145/3661814.3662083 - link do publikacji
- Polyregular Functions on Unordered Trees of Bounded HeightAutorzy:Mikolaj Bojanczyk, Bartek KlinKonferencja:Principles of Programming Languages (rok: 2024, tom: Principles of Programming Languages, strony: 1326–1351), Wydawca: ACMData:konferencja 2024Status:OpublikowanaDoi:10.1145/3632887 - link do publikacji
- Mathematical Foundations of Computer ScienceAutorzy:Antonio Casares, Corto MascleKonferencja:The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition (rok: 2024, tom: Mathematical Foundations of Computer Science, strony: 1–17), Wydawca: LIPICSData:konferencja 2024Status:OpublikowanaDoi:10.4230/LIPIcs.MFCS.2024.35 - link do publikacji
- Function Spaces for Orbit-Finite SetsAutorzy:Mikołaj Bojańczyk, Lê Thành Dũng (Tito) Nguyễn, and Rafał StefańskiKonferencja:International Colloquium on Automata, Languages, and Programming (rok: 2024, tom: International Colloquium on Automata, Languages, and Programming, strony: nd), Wydawca: LIPICSData:konferencja 2024Status:OpublikowanaDoi:10.4230/LIPIcs.ICALP.2024.130 - link do publikacji
- On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.Autorzy:Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya PrakashKonferencja:Computer Science Logic (rok: 2025, tom: Computer Science Logic, strony: 1–22), Wydawca: LIPICSData:konferencja 2025Status:OpublikowanaDoi:10.4230/LIPIcs.CSL.2025.22 - link do publikacji
- Positional ω-regular languagesAutorzy:Antonio Casares, Pierre OhlmannKonferencja:Logic in Computer Science (rok: 2024, tom: Logic in Computer Science, strony: 1–14), Wydawca: ACMData:konferencja 2024Status:OpublikowanaDoi:10.1145/3661814.3662087 - link do publikacji