Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wydajne algorytmy dla słabych form niedeterminizmu

2016/21/D/ST6/00491

Słowa kluczowe:

niedeterminizm automaty rozstrzygalność

Deskryptory:

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

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Michał Skrzypczak 

Liczba wykonawców projektu: 3

Konkurs: SONATA 11 - ogłoszony 2016-03-15

Przyznana kwota: 273 850 PLN

Rozpoczęcie projektu: 2017-02-20

Zakończenie projektu: 2020-08-19

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

Status projektu: Projekt rozliczony

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.

Zakupiona aparatura

  1. Tablet.
  2. Komputer stacjonarny. Za kwotę 7 000 PLN
  3. Komputer przenośny. Za kwotę 7 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (8)
  1. Regular tree languages in low levels of Wadge Hierarchy
    Autorzy:
    Mikołaj Bojańczyk, Filippo Cavallari, Michał Skrzypczak
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15(3), strony: 27:1-27:61), Wydawca: Logical Methods in Computer Science
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(3:27)2019 - link do publikacji
  2. The Uniform Measure of Simple Regular Sets of Infinite Trees
    Autorzy:
    Marcin Przybyłko, Michał Skrzypczak
    Czasopismo:
    Information and Computation (rok: 2021, tom: 278, strony: 45315), Wydawca: Elsevier
    Status:
    Przyjęta do publikacji
    Doi:
    10.1016/j.ic.2020.104595 - link do publikacji
  1. Unambiguous Languages Exhaust the Index Hierarchy
    Autorzy:
    Michał Skrzypczak
    Konferencja:
    International Colloquium on Automata, Languages, and Programming (ICALP) (rok: 2018, ), Wydawca: Schloss Dagstuhl, LIPIcs
    Data:
    konferencja 9-13 lipca 2018
    Status:
    Opublikowana
  2. On the Succinctness of Alternating Parity Good-for-Games Automata
    Autorzy:
    Udi Boker, Denis Kuperberg, Karoliina Lehtinen, Michał Skrzypczak
    Konferencja:
    Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (rok: 2020, ), Wydawca: Schloss Dagstuhl, LIPIcs
    Data:
    konferencja 14-18 grudnia 2020
    Status:
    Przyjęta do publikacji
  3. On Computing the Measures of First-Order Definable Sets of Trees
    Autorzy:
    Marcin Przybyłko
    Konferencja:
    International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) (rok: 2018, ), Wydawca: Electronic Proceedings in Theoretical Computer Science
    Data:
    konferencja 26-28 września 2018
    Status:
    Opublikowana
  4. Uniformisations of Regular Relations Over Bi-Infinite Words
    Autorzy:
    Grzegorz Fabiański, Michał Skrzypczak, Szymon Toruńczyk
    Konferencja:
    Logic in Computer Science (LICS) (rok: 2020, ), Wydawca: IEEE Computer Society
    Data:
    konferencja 8-11 lipca 2020
    Status:
    Opublikowana
  5. Büchi VASS Recognise ∑11-complete ω-languages
    Autorzy:
    Michał Skrzypczak
    Konferencja:
    Reachability Problems (RP) (rok: 2018, ), Wydawca: Springer-Verlag, LNCS
    Data:
    konferencja 24 - 26 września 2018
    Status:
    Opublikowana
  6. Uniformisation Gives the Full Strength of Regular Languages
    Autorzy:
    Nathan Lhote, Vincent Michielini, Michał Skrzypczak
    Konferencja:
    Mathematical Foundations of Computer Science (MFCS) (rok: 2019, ), Wydawca: Schloss Dagstuhl, LIPIcs
    Data:
    konferencja 26-30 sierpnia 2019
    Status:
    Opublikowana
  7. How Deterministic are Good-For-Games Automata?
    Autorzy:
    Udi Boker, Orna Kupferman, Michał Skrzypczak
    Konferencja:
    Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (rok: 2017, ), Wydawca: Schloss Dagstuhl, LIPIcs
    Data:
    konferencja 11-15 grudnia 2017
    Status:
    Opublikowana
  8. Regular Choice Functions and Uniformisations For countable Domains
    Autorzy:
    Vincent Michielini, Michał Skrzypczak
    Konferencja:
    Mathematical Foundations of Computer Science (MFCS) (rok: 2020, ), Wydawca: Schloss Dagstuhl, LIPIcs
    Data:
    konferencja 24-28 sierpnia 2020
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy