Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Modularna semantyka operacyjna: podejście bialgebraiczne

2012/07/E/ST6/03026

Słowa kluczowe:

semantyka operacyjna algebra koalgebra

Deskryptory:

  • 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, m.in.:

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Bartosz Klin 

Liczba wykonawców projektu: 4

Konkurs: SONATA BIS 2 - ogłoszony 2012-09-15

Przyznana kwota: 630 000 PLN

Rozpoczęcie projektu: 2013-07-11

Zakończenie projektu: 2018-05-10

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

Status projektu: Projekt rozliczony

Dane z raportu końcowego

  • Publikacje w czasopismach (4)
  • Teksty w publikacjach pokonferencyjnych (7)
  1. Coalgebraic trace semantics via forgetful logic IF: ,508
    Autorzy:
    Bartek Klin, Jurriaan Rot
    Czasopismo:
    Logical Methods in Computer Science (rok: 2016, tom: 12(4), strony: 0,173611111111111), Wydawca: Logical Methods in Computer Science e.V
    Status:
    Opublikowane
    Doi:
    10.2168/LMCS-12(4:10)2016 - link do publikacji
  2. Scalar and vectorial μ-calculus with atoms IF: ,508
    Autorzy:
    Bartek Klin, Mateusz Łełyk
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15(4), strony: 5:1-5:47), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Opublikowane
    Doi:
    10.23638/LMCS-15(4:5)2019 - link do publikacji
  3. Expressiveness of probabilistic modal logics: a gradual approach IF: 1,077
    Autorzy:
    Florence Clerc, Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Czasopismo:
    Information and Computation (rok: 2019, tom: 267, strony: 145-163), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.ic.2019.04.002 - link do publikacji
  4. Some undecidable properties of SOS specifications IF: ,634
    Autorzy:
    Bartek Klin, Beata Nachyła
    Czasopismo:
    Journal of Logical and Algebraic Methods in Programming (rok: 2017, tom: 87, strony: 94-109), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.jlamp.2016.08.005 - link do publikacji
  1. Presenting morphisms of distributive laws
    Autorzy:
    Bartek Klin, Beata Nachyła
    Konferencja:
    6th Conference on Algebra and Coalgebra in Computer Science (CALCO'15) (rok: 2015, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 24-26 czerwca 2015
    Status:
    Opublikowane
  2. Product Rules and Distributive Laws
    Autorzy:
    Joost Winter
    Konferencja:
    13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 2-3 kwietnia 2016 r.
    Status:
    Opublikowane
  3. Expressiveness of Probabilistic Modal Logic, Revisited
    Autorzy:
    Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Konferencja:
    44th International Colloquium on Automata, Languages, and Programming (ICALP) (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 10-14 lipca
    Status:
    Opublikowane
  4. Learning Nominal Automata
    Autorzy:
    Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
    Konferencja:
    44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-21 stycznia
    Status:
    Opublikowane
  5. A completeness result for finite λ-bisimulations
    Autorzy:
    Joost Winter
    Konferencja:
    FOSSACS'15: 18th International Conference on Foundations of Software Science and Computation Structures (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 11-18 kwietnia 2015 r.
    Status:
    Opublikowane
  6. Coalgebraic trace semantics via forgetful logic
    Autorzy:
    Bartek Klin, Jurriaan Rot
    Konferencja:
    FOSSACS'15: 18th International Conference on Foundations of Software Science and Computation Structures (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 11-18 kwietnia 2015 r.
    Status:
    Opublikowane
  7. Distributive laws and decidable properties of SOS specifications
    Autorzy:
    Bartek Klin, Beata Nachyła
    Konferencja:
    EXPRESS/SOS'14 (Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics) (rok: 2014, ), Wydawca: Electronic Proceedings in Theoretical Computer Science
    Data:
    konferencja 1 września 2014
    Status:
    Opublikowane