( en | de | ru )

 

Disambiguierung von "Cîrstea, Corina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Actual Trust in Multiagent Systems.

, , , , , und . AAMAS, Seite 2114-2116. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ion Cristian Cirstea

Corina Rehwagen

Corina Schmidt

Corina Noack

Corina Stock

 

Weitere Publikationen von Autoren mit dem selben Namen

Trace semantics and refinement patterns for real-time properties in event-B models., , und . Sci. Comput. Program., (2020)Canonical Coalgebraic Linear Time Logics.. CALCO, Volume 35 von LIPIcs, Seite 66-85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Actual Trust in Multiagent Systems., , , , , und . AAMAS, Seite 2114-2116. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2024)Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.. WADT, Volume 1376 von Lecture Notes in Computer Science, Seite 174-189. Springer, (1997)Semantics of Real-Time Trigger-Response Properties in Event-B., , und . TASE, Seite 150-155. IEEE Computer Society, (2018)On Expressivity and Compositionality in Logics for Coalgebras.. CMCS, Volume 82 von Electronic Notes in Theoretical Computer Science, Seite 110-127. Elsevier, (2003)Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.. CMCS@ETAPS, Volume 264 von Electronic Notes in Theoretical Computer Science, Seite 83-103. Elsevier, (2010)Refinement of Timing Constraints for Concurrent Tasks with Scheduling., , und . ABZ, Volume 10817 von Lecture Notes in Computer Science, Seite 219-233. Springer, (2018)Modular Construction of Modal Logics., und . CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 258-275. Springer, (2004)Model Checking Human-Agent Collectives for Responsible AI., , und . RO-MAN, Seite 1-8. IEEE, (2019)