( en | de | ru )

 

Disambiguierung von "Tini, Simone"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Analysis of the NRL Pump.

, , , , und . MEFISTO, Volume 99 von Electronic Notes in Theoretical Computer Science, Seite 245-266. Elsevier, (2003)

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.

Vivian Tini

Tini Hardjono

Leonard Tiniakos

Werner Tinius

Heide-Gisela Tinius

 

Weitere Publikationen von Autoren mit dem selben Namen

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes., , und . CoRR, (2017)A Causal Semantics for Timed Default Concurrent Constraint Programming., und . AMAST, Volume 1816 von Lecture Notes in Computer Science, Seite 228-242. Springer, (2000)Probabilistic Congruence for Semistochastic Generative Processes., und . FoSSaCS, Volume 3441 von Lecture Notes in Computer Science, Seite 63-78. Springer, (2005)Probabilistic divide & congruence: Branching bisimilarity., und . Theor. Comput. Sci., (2020)A Function Elimination Method for Checking Satisfiability of Arithmetical Logics., , und . Fundam. Informaticae, 143 (1-2): 51-71 (2016)A P Systems Flat Form Preserving Step-by-step Behaviour., , , und . Fundam. Informaticae, 87 (1): 1-34 (2008)Applying Techniques of Asynchronous Concurrency to Synchronous Languages., und . Fundam. Informaticae, 40 (2-3): 221-250 (1999)Foundational aspects of multiscale modeling of biological systems with process algebras., , , , und . Theor. Comput. Sci., (2012)Non-expansive epsilon-bisimulations for probabilistic processes.. Theor. Comput. Sci., 411 (22-24): 2202-2222 (2010)Concurrency in timed automata., , und . Theor. Comput. Sci., 309 (1-3): 503-527 (2003)