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