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

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: 2023-04-19

Planowany czas trwania projektu: 60 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. Za kwotę 8 000 PLN
  2. Laptop. Za kwotę 8 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (9)
  1. Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems
    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:
    Opublikowana
    Doi:
    10.1145/3326161 - link do publikacji
  2. Determinisability of register and timed automata
    Autorzy:
    Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
    Czasopismo:
    Log. Methods Comput. Sci. (rok: 2022, tom: 18, strony: 37), Wydawca: N/A
    Status:
    Opublikowana
    Doi:
    10.46298/lmcs-18(2:9)2022 - link do publikacji
  1. Deterministic and Game Separability for Regular Languages of Infinite Trees
    Autorzy:
    Lorenzo Clemente, Michał Skrzypczak
    Konferencja:
    Proceedings of 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (rok: 2021, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik
    Data:
    konferencja 12 -- 16/07/2021
    Status:
    Opublikowana
  2. 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:
    Opublikowana
  3. Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata
    Autorzy:
    Corentin Barloy, Lorenzo Clement
    Konferencja:
    38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021) (rok: 2021, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik
    Data:
    konferencja 16 -- 18/03/2021
    Status:
    Opublikowana
  4. 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:
    Opublikowana
  5. 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:
    Opublikowana
  6. 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:
    Opublikowana
  7. Multiplicity Problems on Algebraic Series and Context-Free Grammars
    Autorzy:
    Nikhil Balaji, Lorenzo Clemente, Klara Nosan, Mahsa Shirmohammadi, James Worrell
    Konferencja:
    Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (rok: 2023, ), Wydawca: IEEE
    Data:
    konferencja 26-29 June 2023
    Status:
    Opublikowana
  8. On Rational Recursive Sequences
    Autorzy:
    Lorenzo Clemente, Maria Donten-Bury, Filip Mazowiecki, Michal Pilipczuk
    Konferencja:
    40th International Symposium on Theoretical Aspects of Computer Science (rok: 2023, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
    Data:
    konferencja 07-03-2023 -- 09-03-2023
    Status:
    Opublikowana
  9. 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:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy