Projekty finansowane przez NCN
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
2012/05/N/ST6/03254
Słowa kluczowe:
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_1: Logika i podstawy matematyki
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
Konkurs: PRELUDIUM 3 - ogłoszony 2012-03-15
Przyznana kwota: 58 600 PLN
Rozpoczęcie projektu: 2013-03-26
Zakończenie projektu: 2015-09-25
Planowany czas trwania projektu: 30 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Zakupiona aparatura
- Komputer stacjonarny. Za kwotę 4 000 PLN
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (3)
- Teksty w publikacjach pokonferencyjnych (1)
- On the Topological Complexity of w-Languages of Non-Deterministic Petri NetsAutorzy:Olivier Finkel, Michał SkrzypczakCzasopismo:Information Processing Letters (rok: 2014, tom: 114/5, strony: 229-233), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.ipl.2013.12.007 - link do publikacji
- Topological extension of parity automataAutorzy:Michał SkrzypczakCzasopismo:Information and Computation (rok: 2013, tom: 228, strony: 16-27), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.ic.2013.06.004 - link do publikacji
- Index problems for game automataAutorzy:Alessandro Facchini, Filip Murlak, Michał SkrzypczakCzasopismo:Transactions on Computational Logic (rok: 2016, tom: 17(4), strony: 24:1-24:38), Wydawca: Association for Computing MachineryStatus:OpublikowanaDoi:10.1145/2946800 - link do publikacji
- Rabin-Mostowski index problem: a step beyond deterministic automataAutorzy:Alessandro Facchini, Filip Murlak, Michał SkrzypczakKonferencja:Logic In Computer Science (rok: 2013, ), Wydawca: IEEE Computer SocietyData:konferencja 25-28 czerwcaStatus:Opublikowana