Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Zrozumieć rekursję

2017/26/D/ST6/00201

Słowa kluczowe:

czasowe automaty ze stosem schematy rekursji wyższego rzędu regularna separowalność sieci Petriego

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier

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):

dr Lorenzo Clemente 

Liczba wykonawców projektu: 4

Konkurs: SONATA 13 - ogłoszony 2017-06-14

Przyznana kwota: 325 540 PLN

Rozpoczęcie projektu: 2018-04-20

Zakończenie projektu: 2022-04-19

Planowany czas trwania projektu: 36 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

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (5)
  1. Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems IF: ,961
    Autorzy:
    Lorenzo Clemente, Sławomir Lasota, Ranko Lazić, Filip Mazowiecki
    Czasopismo:
    ACM Transactions on Computational Logic (TOCL) (rok: 2019, tom: 20, strony: 31), Wydawca: Association for Computing Machinery
    Status:
    Opublikowane
    Doi:
    10.1145/3326161 - link do publikacji
  1. Determinisability of One-Clock Timed Automata
    Autorzy:
    Lorenzo Clemente, Sławomir Lasota, Radosław Piórkowski
    Konferencja:
    31st International Conference on Concurrency Theory (CONCUR 2020) (rok: 2020, ), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja 43839
    Status:
    Opublikowane
  2. Timed Basic Parallel Processes
    Autorzy:
    Lorenzo Clemente, Piotr Hofman, Patrick Totzke
    Konferencja:
    30th International Conference on Concurrency Theory (CONCUR 2019) (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 26-31 August 2019
    Status:
    Opublikowane
  3. On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars
    Autorzy:
    Lorenzo Clemente
    Konferencja:
    Proceedings of VPT/HCVS 2020 (rok: 2020, ), Wydawca: EPTCS
    Data:
    konferencja 25-04-2020
    Status:
    Opublikowane
  4. Timed Games and Deterministic Separability
    Autorzy:
    Clemente, Lorenzo ; Lasota, Sławomir ; Piórkowski, Radosław
    Konferencja:
    47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik
    Data:
    konferencja 44050
    Status:
    Opublikowane
  5. Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms
    Autorzy:
    Lorenzo Clemente and Sławomir Lasota
    Konferencja:
    ICALP 2018 (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja From 09-07-2018 to 13-07-2018
    Status:
    Opublikowane