( en | de | ru )

 

Disambiguierung von "Rusu, Vlad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A language-independent proof system for full program equivalence.

, , , und . Formal Asp. Comput., 28 (3): 469-497 (2016)

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.

Vlad Manilici

Flow-based routing in community networks. TU Berlin, (2009)

Julia Vlad

Vlad Rojanschi

Laura Rusu

Mihaela Rusu

 

Weitere Publikationen von Autoren mit dem selben Namen

Embedding domain-specific modelling languages in maude specifications.. ACM SIGSOFT Softw. Eng. Notes, 36 (1): 1-8 (2011)Uniformity for the Decidability of Hybrid Automata., und . SAS, Volume 1145 von Lecture Notes in Computer Science, Seite 301-316. Springer, (1996)Verifying Periodic Task-Control Systems.. HART, Volume 1201 von Lecture Notes in Computer Science, Seite 63-68. Springer, (1997)Proving partial-correctness and invariance properties of transition-system models., , und . Sci. Comput. Program., (2020)Symbolic Determinisation of Extended Automata., , und . IFIP TCS, Volume 209 von IFIP, Seite 197-212. Springer, (2006)Ensuring the conformance of reactive discrete-event systems using supervisory control., , , und . CDC, Seite 2692-2697. IEEE, (2003)Symbolic execution based on language transformation., , und . Comput. Lang. Syst. Struct., (2015)Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant., , , und . FLOPS, Volume 3945 von Lecture Notes in Computer Science, Seite 114-129. Springer, (2006)Task-System Analysis Using Slope-Parametric Hybrid Automata., und . Euro-Par, Volume 1300 von Lecture Notes in Computer Science, Seite 1262-1273. Springer, (1997)On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction., und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 178-192. Springer, (1999)