Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Problem separacji w teorii automatów

2016/21/D/ST6/01376

Słowa kluczowe:

problem separacji problem charakteryzacji języki regularne języki drzew logika

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 Wojciech Czerwiński 

Liczba wykonawców projektu: 4

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

Przyznana kwota: 196 500 PLN

Rozpoczęcie projektu: 2017-02-08

Zakończenie projektu: 2019-08-07

Planowany czas trwania projektu: 24 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. Laptop dla kierownika projektu. Za kwotę 8 537 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (6)
  1. Regular Separability of One Counter Automata IF: 0,661
    Autorzy:
    Wojciech Czerwiński, Slawomir Lasota
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15, strony: 0,0972222222222222), Wydawca: Logical Methods in Computer Science
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(2:20)2019 - link do publikacji
  1. New Pumping Technique for 2-Dimensional VASS
    Autorzy:
    Wojciech Czerwiński, Slawomir Lasota, Christof Löding, Radoslaw Piórkowski
    Konferencja:
    MFCS 2019 (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja 26-30.08.2019
    Status:
    Opublikowana
  2. The Reachability Problem for Petri Nets is Not Elementary
    Autorzy:
    Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Filip Mazowiecki
    Konferencja:
    Symposium on Theory of Computing (STOC) 2019 (rok: 2019, ), Wydawca: ACM
    Data:
    konferencja 23-26.06.2019
    Status:
    Opublikowana
  3. Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
    Autorzy:
    Wojciech Czerwinski, Laure Daviaud, Nathanaël Fijalkow, Marcin Jurdzinski, Ranko Lazic, Pawel Parys
    Konferencja:
    Symposium on Discrete Algorithms (SODA) 2019 (rok: 2019, ), Wydawca: SIAM
    Data:
    konferencja 6-9.01.2019
    Status:
    Opublikowana
  4. Regular Separability of Parikh Automata
    Autorzy:
    Lorenzo Clemente, Wojciech Czerwiński, Sławomir Lasota, Charles Paperman
    Konferencja:
    International Colloquium on Automata, Languages, and Programming (ICALP) 2017 (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 10.07 - 14.07
    Status:
    Opublikowana
  5. Regular Separability of Well-Structured Transition Systems
    Autorzy:
    Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
    Konferencja:
    Conference on Concurrency Theory (CONCUR) 2018 (rok: 2018, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 4-7.09.2018
    Status:
    Opublikowana
  6. Unboundedness problems for languages of vector addition systems
    Autorzy:
    Wojciech Czerwiński, Piotr Hofman, Georg Zetzsche
    Konferencja:
    International Colloquium on Automata, Languages, and Programming (ICALP) 2018 (rok: 2018, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 9-13.07.2018
    Status:
    Opublikowana