( en | de | ru )

 

Disambiguierung von "Haddad, Serge"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Open protocol design for complex interactions in multi-agent systems.

, , und . AAMAS, Seite 517-526. ACM, (2002)

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.

Elena Sergeyev

Nikolai Sergeev

Tatiana Sergey

Dieter Sergel

Jean-Frédéric Sergejew

 

Weitere Publikationen von Autoren mit dem selben Namen

Diagnosis and Degradation Control for Probabilistic Systems., , und . Discret. Event Dyn. Syst., 30 (4): 695-723 (2020)Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis., , , und . Comput. J., 57 (12): 1870-1892 (2014)Assessment of ESTELLE and EDT Through Real Case Studies., , und . PSTV, Volume C-16 von IFIP Transactions, Seite 223-238. North-Holland, (1993)A Formal Semantics and a Client Synthesis for a BPEL Service., , und . ICEIS (Selected Papers), Volume 3 von Lecture Notes in Business Information Processing, Seite 388-401. Springer, (2006)Interopérabilité des systèmes multi-agents à l'aide des services web., , , und . JFSMA, Seite 91-104. Lavoisier, (2004)On the Computational Power of Timed Differentiable Petri Nets., , und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 230-244. Springer, (2006)Theoretical Aspects of Recursive Petri Nets., und . ICATPN, Volume 1639 von Lecture Notes in Computer Science, Seite 228-247. Springer, (1999)Specification and properties of a cache coherence protocol model., , und . European Workshop on Applications and Theory of Petri Nets, Volume 266 von Lecture Notes in Computer Science, Seite 1-20. Springer, (1986)Coverability and Termination in Recursive Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 429-448. Springer, (2019)Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models., und . LATA, Volume 12038 von Lecture Notes in Computer Science, Seite 170-183. Springer, (2020)