Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Modele obliczeń rozszerzone o dane

2019/35/B/ST6/02322

Słowa kluczowe:

zbiory z atomami zbiory nominalne zbiory skończenie orbitowe systemy nieskończenie stanowe problemy decyzyjne weryfikacja formalna automaty rejestrowe automaty czasowe sieci Petriego z danymi

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe

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.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Sławomir Grzegorz Lasota 

Liczba wykonawców projektu: 8

Konkurs: OPUS 18 - ogłoszony 2019-09-16

Przyznana kwota: 979 500 PLN

Rozpoczęcie projektu: 2020-07-01

Zakończenie projektu: 2024-12-21

Planowany czas trwania projektu: 53 miesięcy (z wniosku)

Status projektu: Projekt zakończony

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/rocznego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (16)
  1. Determinisability of register and timed automata
    Autorzy:
    Lorenzo Clemente ; Sławomir Lasota ; Radosław Piórkowski
    Czasopismo:
    Logical Methods in Computer Science (rok: 2022, tom: 18(2), strony: 9:1-9:37), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.46298/LMCS-18(2:9)2022 - link do publikacji
  2. Determinisability of register and timed automata
    Autorzy:
    Lorenzo Clemente ; Sławomir Lasota ; Radosław Piórkowski
    Czasopismo:
    Logical Methods in Computer Science (rok: 2022, tom: 18(2), strony: 9:1-9:37), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowana
    Doi:
    10.46298/LMCS-18(2:9)2022 - link do publikacji
  1. Solvability of orbit-finite systems of linear equations
    Autorzy:
    Arka Ghosh, Piotr Hofman, Slawomir Lasota
    Konferencja:
    Proc. LICS 2022 (rok: 2022, tom: LICS 2022, strony: 45670), Wydawca: ACM
    Data:
    konferencja 2-5.08.2022
    Status:
    Opublikowana
    Doi:
    10.1145/3531130.3533333 - link do publikacji
  2. Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
    Autorzy:
    B. Klin, S. Lasota, Sz. Toruńczyk
    Konferencja:
    Proc. FOSSACS 2021 (rok: 2021, tom: FOSSACS 2021, strony: 365-384), Wydawca: Springer-Verlag
    Data:
    konferencja 2021.03.27-31
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-71995-1_19 - link do publikacji
  3. Parikh's theorem for infinite alphabets
    Autorzy:
    P. Hofman, M. Juzepczuk, S. Lasota, M. Pattathurajan
    Konferencja:
    Proc. LICS 2021 (rok: 2021, tom: LICS 2021, strony: 45670), Wydawca: IEEE
    Data:
    konferencja 2021.06.29-2021.07-02
    Status:
    Opublikowana
    Doi:
    10.1109/LICS52264.2021.9470626 - link do publikacji
  4. Parikh Images of Register Automata
    Autorzy:
    Slawomir Lasota, Mohnish Pattathurajan
    Konferencja:
    Proc. FSTTCS 2021 (rok: 2021, tom: FSTTCS 2021, strony: 50:1-50:14), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 2021.12.15-17
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.FSTTCS.2021.50 - link do publikacji
  5. Parikh Images of Register Automata
    Autorzy:
    Slawomir Lasota, Mohnish Pattathurajan
    Konferencja:
    Proc. FSTTCS 2021 (rok: 2021, tom: FSTTCS 2021, strony: 50:1-50:14), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 2021.12.15-17
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.FSTTCS.2021.50 - link do publikacji
  6. Determinizability of one-clock timed automata
    Autorzy:
    L. Clemente, S. Lasota, R. Piórkowski
    Konferencja:
    Proc. CONCUR 2020 (rok: 2020, tom: CONCUR 2020, strony: 42:1-42:17), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
    Data:
    konferencja 2020.09.01-04
    Status:
    Opublikowana
    Doi:
    0.4230/LIPIcs.CONCUR.2020.42 - link do publikacji
  7. Orbit-finite linear programming
    Autorzy:
    Arka Ghosh, Piotr Hofman, Sławomir Lasota
    Konferencja:
    Proc. LICS 2023 (rok: 2023, tom: LICS 2023, strony: 45671), Wydawca: ACM/IEEE
    Data:
    konferencja 26-29.06.2023
    Status:
    Opublikowana
    Doi:
    10.1109/LICS56636.2023.10175799 - link do publikacji
  8. Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
    Autorzy:
    B. Klin, S. Lasota, Sz. Toruńczyk
    Konferencja:
    Proc. FOSSACS 2021 (rok: 2021, tom: FOSSACS 2021, strony: 365-384), Wydawca: Springer-Verlag
    Data:
    konferencja 2021.03.27-31
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-71995-1_19 - link do publikacji
  9. Parikh's theorem for infinite alphabets
    Autorzy:
    P. Hofman, M. Juzepczuk, S. Lasota, M. Pattathurajan
    Konferencja:
    Proc. LICS 2021 (rok: 2021, tom: LICS 2021, strony: 45670), Wydawca: IEEE
    Data:
    konferencja 2021.06.29-2021.07-02
    Status:
    Opublikowana
    Doi:
    10.1109/LICS52264.2021.9470626 - link do publikacji
  10. Determinizability of one-clock timed automata
    Autorzy:
    L. Clemente, S. Lasota, R. Piórkowski
    Konferencja:
    Proc. CONCUR 2020 (rok: 2020, tom: CONCUR 2020, strony: 42:1-42:17), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
    Data:
    konferencja 2020.09.01-04
    Status:
    Opublikowana
    Doi:
    0.4230/LIPIcs.CONCUR.2020.42 - link do publikacji
  11. Parikh's theorem for infinite alphabets
    Autorzy:
    P. Hofman, M. Juzepczuk, S. Lasota, M. Pattathurajan
    Konferencja:
    Proc. LICS 2021 (rok: 2021, tom: LICS 2021, strony: 45670), Wydawca: IEEE
    Data:
    konferencja 2021.06.29-2021.07-02
    Status:
    Opublikowana
    Doi:
    10.1109/LICS52264.2021.9470626 - link do publikacji
  12. Solvability of orbit-finite systems of linear equations
    Autorzy:
    Arka Ghosh, Piotr Hofman, Slawomir Lasota
    Konferencja:
    Proc. LICS 2022 (rok: 2022, tom: LICS 2022, strony: )
    Status:
    Opublikowana
    Doi:
    10.1145/3531130.3533333 - link do publikacji
  13. Determinizability of one-clock timed automata
    Autorzy:
    L. Clemente, S. Lasota, R. Piórkowski
    Konferencja:
    Proc. CONCUR 2020 (rok: 2020, tom: CONCUR 2020, strony: 42:1-42:17), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
    Data:
    konferencja 2020.09.01-04
    Status:
    Opublikowana
    Doi:
    0.4230/LIPIcs.CONCUR.2020.42 - link do publikacji
  14. Parikh Images of Register Automata
    Autorzy:
    Slawomir Lasota, Mohnish Pattathurajan
    Konferencja:
    Proc. FSTTCS 2021 (rok: 2021, tom: FSTTCS 2021, strony: 50:1-50:14), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 2021.12.15-17
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.FSTTCS.2021.50 - link do publikacji
  15. Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
    Autorzy:
    B. Klin, S. Lasota, Sz. Toruńczyk
    Konferencja:
    Proc. FOSSACS 2021 (rok: 2021, tom: FOSSACS 2021, strony: 365-384), Wydawca: Springer-Verlag
    Data:
    konferencja 2021.03.27-31
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-030-71995-1_19 - link do publikacji
  16. Solvability of orbit-finite systems of linear equations
    Autorzy:
    Arka Ghosh, Piotr Hofman, Slawomir Lasota
    Konferencja:
    Proc. LICS 2022 (rok: 2022, tom: LICS 2022, strony: 45670), Wydawca: ACM
    Data:
    konferencja 2-5.08.2022
    Status:
    Opublikowana
    Doi:
    10.1145/3531130.3533333 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy