Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Algebraiczne niezmienniki dla Sieci Petriego z danymi.

2016/21/D/ST6/01368

Słowa kluczowe:

Sieci Petriego równania liniowe równanie stanów Sieci z danymi niezmienniki

Deskryptory:

  • ST1_15: Matematyczne aspekty informatyki
  • 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 Piotr Hofman 

Liczba wykonawców projektu: 6

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

Przyznana kwota: 319 330 PLN

Rozpoczęcie projektu: 2017-01-27

Zakończenie projektu: 2022-01-26

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. Komputer przenośny. (2 szt.). Za kwotę 15 000 PLN
  2. oprogramowanie pakiet office 2016.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (5)
  1. Linear equations for unordered data vectors
    Autorzy:
    Jakub Różycki i Piotr Hofman
    Czasopismo:
    Logical Methods in Computer Science (tom: Brak, strony: ), Wydawca: Logical Methods in Comput
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  1. Parikh's theorem for infinite alphabets
    Autorzy:
    Piotr Hofman, Marta Juzepczuk, Sławomir Lasota i Mohnish Pattathurajan
    Konferencja:
    LICS 2021 (rok: 2021, ), Wydawca: IEEE
    Data:
    konferencja 29.06.2021-03.07.2021
    Status:
    Opublikowana
  2. Continuous Reachability for Unordered Data Petri nets is in PTime
    Autorzy:
    Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
    Konferencja:
    FoSSaCs (rok: 2019, ), Wydawca: Springer's Lecture Notes in Computer Science series.
    Data:
    konferencja 06.04-11.04 2019
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Timed Basic Parallel Processes.
    Autorzy:
    Lorenzo Clemente, Piotr Hofman, Patrick Totzke
    Konferencja:
    CONCUR 2019 (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja Sierpień 27-30, 2019,
    Status:
    Opublikowana
  4. Solvability of orbit-finite systems of linear equations.
    Autorzy:
    Arka Ghosh, Piotr Hofman, Slawomir Lasota:
    Konferencja:
    LICS 2022 (rok: 2022, ), Wydawca: ACM/IEEE
    Data:
    konferencja 2022.08.2-5
    Status:
    Złożona
  5. Linear Equations with Ordered Data
    Autorzy:
    Hofman, Piotr, Lasota, Slawomir
    Konferencja:
    CONCUR 2018 (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja Wrzesień 4-7, 2018
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy