Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Modular operational semantics: a bialgebraic approach

2012/07/E/ST6/03026

Keywords:

operational semantics algebra coalgebra

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Bartosz Klin 

Number of co-investigators in the project: 4

Call: SONATA BIS 2 - announced on 2012-09-15

Amount awarded: 630 000 PLN

Project start date (Y-m-d): 2013-07-11

Project end date (Y-m-d): 2018-05-10

Project duration:: 58 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Komputer przenośny (6 000 PLN)

Information in the final report

  • Publication in academic press/journals (4)
  • Articles in post-conference publications (7)
  1. Coalgebraic trace semantics via forgetful logic
    Authors:
    Bartek Klin, Jurriaan Rot
    Academic press:
    Logical Methods in Computer Science (rok: 2016, tom: 12(4), strony: 0,173611111111111), Wydawca: Logical Methods in Computer Science e.V
    Status:
    Published
    DOI:
    10.2168/LMCS-12(4:10)2016 - link to the publication
  2. Expressiveness of probabilistic modal logics: a gradual approach
    Authors:
    Florence Clerc, Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Academic press:
    Information and Computation (rok: 2019, tom: 267, strony: 145-163), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ic.2019.04.002 - link to the publication
  3. Scalar and vectorial μ-calculus with atoms
    Authors:
    Bartek Klin, Mateusz Łełyk
    Academic press:
    Logical Methods in Computer Science (rok: 2019, tom: 15(4), strony: 5:1-5:47), Wydawca: Logical Methods in Computer Science e.V.
    Status:
    Published
    DOI:
    10.23638/LMCS-15(4:5)2019 - link to the publication
  4. Some undecidable properties of SOS specifications
    Authors:
    Bartek Klin, Beata Nachyła
    Academic press:
    Journal of Logical and Algebraic Methods in Programming (rok: 2017, tom: 87, strony: 94-109), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.jlamp.2016.08.005 - link to the publication
  1. Coalgebraic trace semantics via forgetful logic
    Authors:
    Bartek Klin, Jurriaan Rot
    Conference:
    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:
    Published
  2. Expressiveness of Probabilistic Modal Logic, Revisited
    Authors:
    Nathanael Fijalkow, Bartek Klin, Prakash Panangaden
    Conference:
    44th International Colloquium on Automata, Languages, and Programming (ICALP) (rok: 2017, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 10-14 lipca
    Status:
    Published
  3. Distributive laws and decidable properties of SOS specifications
    Authors:
    Bartek Klin, Beata Nachyła
    Conference:
    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:
    Published
    DOI:
    link to the publication
  4. A completeness result for finite λ-bisimulations
    Authors:
    Joost Winter
    Conference:
    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:
    Published
  5. Learning Nominal Automata
    Authors:
    Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michał Szynwelski
    Conference:
    44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) (rok: 2017, ), Wydawca: ACM
    Data:
    konferencja 15-21 stycznia
    Status:
    Published
    DOI:
    link to the publication
  6. Presenting morphisms of distributive laws
    Authors:
    Bartek Klin, Beata Nachyła
    Conference:
    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:
    Published
    DOI:
    link to the publication
  7. Product Rules and Distributive Laws
    Authors:
    Joost Winter
    Conference:
    13th International Workshop on Coalgebraic Methods in Computer Science (CMCS'16) (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 2-3 kwietnia 2016 r.
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy