( en | de | ru )

 

Disambiguation of "Cîrstea, Corina"

Author of the publication

copydeleteadd this publication to your clipboard
Canonical Coalgebraic Linear Time Logics.

. CALCO, volume 35 of LIPIcs, page 66-85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ion Cristian Cirstea

Corina Schmidt

Corina Noack

Corina Rehwagen

Corina Stock

 

Other publications of authors with the same name

A Coalgebraic Approach to Quantitative Linear Time Logics.. CoRR, (2016)Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements., , , , , , and . IEEE Internet Comput., 25 (6): 15-22 (2021)A coalgebraic equational approach to specifying observational structures.. Theor. Comput. Sci., 280 (1-2): 35-68 (2002)Canonical Coalgebraic Linear Time Logics.. CALCO, volume 35 of LIPIcs, page 66-85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Trace semantics and refinement patterns for real-time properties in event-B models., , and . Sci. Comput. Program., (2020)Model Checking Human-Agent Collectives for Responsible AI., , and . RO-MAN, page 1-8. IEEE, (2019)Modular Construction of Modal Logics., and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 258-275. Springer, (2004)Refinement of Timing Constraints for Concurrent Tasks with Scheduling., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 219-233. Springer, (2018)An institution of modal logics for coalgebras.. J. Log. Algebraic Methods Program., 67 (1-2): 87-113 (2006)A compositional approach to defining logics for coalgebras.. Theor. Comput. Sci., 327 (1-2): 45-69 (2004)