( en | de | ru )

 

Disambiguierung von "Haddad, Serge"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Probabilistic Disclosure: Maximisation vs. Minimisation.

, , und . FSTTCS, Volume 93 von LIPIcs, Seite 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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

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)A reduction theory for coloured nets.. European Workshop on Applications and Theory in Petri Nets, Volume 424 von Lecture Notes in Computer Science, Seite 209-235. Springer, (1988)Generative Families of Positive Invariants in Coloured Nets Sub-Classes., , und . Applications and Theory of Petri Nets, Volume 674 von Lecture Notes in Computer Science, Seite 51-70. Springer, (1991)Assessment of ESTELLE and EDT Through Real Case Studies., , und . PSTV, Volume C-16 von IFIP Transactions, Seite 223-238. North-Holland, (1993)On the Computational Power of Timed Differentiable Petri Nets., , und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 230-244. Springer, (2006)Interopérabilité des systèmes multi-agents à l'aide des services web., , , und . JFSMA, Seite 91-104. Lavoisier, (2004)Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis., , , und . Comput. J., 57 (12): 1870-1892 (2014)Coverability and Termination in Recursive Petri Nets., , und . Petri Nets, Volume 11522 von Lecture Notes in Computer Science, Seite 429-448. Springer, (2019)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)