( en | de | ru )

 

Disambiguation of "Cîrstea, Corina"

Author of the publication

copydeleteadd this publication to your clipboard
Refinement of Timing Constraints for Concurrent Tasks with Scheduling.

, , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 219-233. Springer, (2018)

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 Rehwagen

Corina Schmidt

Corina Noack

Corina Stock

 

Other publications of authors with the same name

A Coalgebraic Approach to Quantitative Linear Time Logics.. CoRR, (2016)Canonical Coalgebraic Linear Time Logics.. CALCO, volume 35 of LIPIcs, page 66-85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)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)Trace semantics and refinement patterns for real-time properties in event-B models., , and . Sci. Comput. Program., (2020)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)Refinement of Timing Constraints for Concurrent Tasks with Scheduling., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 219-233. Springer, (2018)Modular Construction of Modal Logics., and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 258-275. Springer, (2004)Model Checking Human-Agent Collectives for Responsible AI., , and . RO-MAN, page 1-8. IEEE, (2019)