Change language

Wyszukiwarka projektów

Zrozumieć rekursję

2017/26/D/ST6/00201

Słowa kluczowe

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. Laptop. Za kwotę 8 000 PLN
  2. Tablet. Za kwotę 8 000 PLN

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (2)

  1. 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

  2. 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

Teksty w publikacjach pokonferencyjnych (9)

  1. 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, strony: 16), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum f{u}r Informatik
    Data:
    konferencja 44050
    Status:
    Opublikowana

  2. 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, strony: 15), Wydawca: EPTCS
    Data:
    konferencja 25-04-2020
    Status:
    Opublikowana

  3. 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, strony: 17), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs)
    Data:
    konferencja 43839
    Status:
    Opublikowana

  4. 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, strony: 24), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
    Data:
    konferencja 07-03-2023 -- 09-03-2023
    Status:
    Opublikowana

  5. 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, strony: 12), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum f{u}r Informatik
    Data:
    konferencja 16 -- 18/03/2021
    Status:
    Opublikowana

  6. 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, strony: 15), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum f{u}r Informatik
    Data:
    konferencja 12 -- 16/07/2021
    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, strony: 12), Wydawca: IEEE
    Data:
    konferencja 26-29 June 2023
    Status:
    Opublikowana

  8. Timed Basic Parallel Processes

    Autorzy:
    Lorenzo Clemente, Piotr Hofman, Patrick Totzke
    Konferencja:
    30th International Conference on Concurrency Theory (CONCUR 2019) (rok: 2019, strony: 16), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 26-31 August 2019
    Status:
    Opublikowana

  9. 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, strony: 118:1--118:14), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja From 09-07-2018 to 13-07-2018
    Status:
    Opublikowana

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski