Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych

2014/13/B/ST6/03595

Słowa kluczowe:

automat automaty na drzewach

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST1_15: Matematyczne aspekty informatyki

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne, m.in.:

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Damian Niwiński 

Liczba wykonawców projektu: 10

Konkurs: OPUS 7 - ogłoszony 2014-03-17

Przyznana kwota: 499 500 PLN

Rozpoczęcie projektu: 2015-02-04

Zakończenie projektu: 2018-12-03

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputery stacjonarne wraz z monitorami i wyposażeniem. Za kwotę 21 000 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (4)
  • Teksty w publikacjach pokonferencyjnych (12)
  1. Measure Properties of Regular Sets of Trees IF: ,83
    Autorzy:
    Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michał Skrzypczak
    Czasopismo:
    Information and Computation (rok: 2017, tom: 256, strony: 108-130), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.ic.2017.04.012 - link do publikacji
  2. Monadic Second Order Logic with Measure and Category Quantifiers IF: ,661
    Autorzy:
    Matteo Mio, Michał Skrzypczak, Henryk Michalewski
    Czasopismo:
    Logical Methods in Computer Science (rok: 2018, tom: 14(2), strony: 44225), Wydawca: CoRR
    Status:
    Opublikowane
    Doi:
    10.23638/LMCS-14(2:2)2018 - link do publikacji
  3. On the Strength of Unambiguous Tree Automata IF: ,353
    Autorzy:
    Henryk Michalewski, Michal Skrzypczak
    Czasopismo:
    International Journal of Foundations of Computer Science (rok: 2018, tom: 29(5), strony: 911–933), Wydawca: World Scientific Publishing Company
    Status:
    Opublikowane
    Doi:
    10.1142/S012905411842011X - link do publikacji
  4. The logical strength of Buchi's decidability theorem IF: ,661
    Autorzy:
    Leszek Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15 (2), strony: 16:1-16:31), Wydawca: Logical Methods in Computer Science
    Status:
    Opublikowane
    Doi:
    10.23638/LMCS-15(2:16)2019 - link do publikacji
  1. Recognisable Languages over Monads
    Autorzy:
    Mikołaj Bojańczyk
    Konferencja:
    Developments in Language Theory - 19th International Conference, DLT 2015 (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 27.30.2015
    Status:
    Opublikowane
  2. The Logical Strength of Büchi's Decidability Theorem
    Autorzy:
    Leszek Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak
    Konferencja:
    Computer Science Logic (rok: 2016, ), Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
    Data:
    konferencja 29,09
    Status:
    Opublikowane
  3. How unprovable is Rabin's decidability theorem?
    Autorzy:
    Leszek Kołodziejczyk, Henryk Michalewski
    Konferencja:
    Symposium on Logic in Computer Science (LICS) (rok: 2016, ), Wydawca: ACM
    Data:
    konferencja 05.07.2016
    Status:
    Opublikowane
  4. Star Height via Games
    Autorzy:
    Mikołaj Bojańczyk
    Konferencja:
    30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015 (rok: 2015, ), Wydawca: IEEE Computer Society
    Data:
    konferencja 06.07.2015
    Status:
    Opublikowane
  5. Unambiguous Buchi is weak
    Autorzy:
    Henryk Michalewski, Michał Skrzypczak
    Konferencja:
    Developments in Language Theory (rok: 2016, ), Wydawca: Springer-Verlag LNCS
    Data:
    konferencja 25.07.2016
    Status:
    Opublikowane
  6. A Characterisation of Pi^0_2 Regular Tree Languages
    Autorzy:
    Filippo Cavallari, Henryk Michalewski, Michal Skrzypczak
    Konferencja:
    MFCS 2017 (rok: 2017, ), Wydawca: LIPIcs
    Data:
    konferencja 23 sierpnia 2017
    Status:
    Opublikowane
  7. On Determinisation of Good-for-Games Automata
    Autorzy:
    Denis Kuperberg, Michal Skrzypczak
    Konferencja:
    Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015 (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 06-10.07.2015
    Status:
    Opublikowane
  8. On the Complexity of Branching Games with Regular Conditions
    Autorzy:
    Marcin Przybyłko, Michał Skrzypczak
    Konferencja:
    41st International Symposium on Mathematical Foundations of Computer Science (MFCS) (rok: 2016, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 22.08.2016
    Status:
    Opublikowane
  9. On the Problem of Computing the Probability of Regular Sets of Trees
    Autorzy:
    Henryk Michalewski, Matteo Mio
    Konferencja:
    35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015 (rok: 2015, ), Wydawca: Dagstuhl Research Online Publication Server
    Data:
    konferencja 16-18.12.2015
    Status:
    Opublikowane
  10. A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
    Autorzy:
    Pierre Pradic, Colin Riba
    Konferencja:
    Foundations of Software Science and Computation Structures (rok: 2019, ), Wydawca: ARCoSS
    Data:
    konferencja 6-11 kwietnia 2019
    Status:
    Opublikowane
  11. Measure Quantifier in Monadic Second Order Logic
    Autorzy:
    Henryk Michalewski, Matteo Mio
    Konferencja:
    Logical Foundations of Computer Science - International Symposium, LFCS 2016 (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 4-7.01.2016
    Status:
    Opublikowane
  12. On Unambiguous Regular Tree Languages of Index (0, 2)
    Autorzy:
    Jacques Duparc, Kevin Fournier, Szczepan Hummel
    Konferencja:
    24th EACSL Annual Conference on Computer Science Logic, CSL 2015 (rok: 2015, ), Wydawca: Dagstuhl research online publication server
    Data:
    konferencja 7-10.09.2015
    Status:
    Opublikowane