( en | de | ru )

 

Disambiguierung von "Rosu, Grigore"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Theoretical Foundation for Programming Languages Aggregation.

, , , und . WADT, Volume 9463 von Lecture Notes in Computer Science, Seite 30-47. Springer, (2014)

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.

Grigore Burloiu

Grigore Tabacaru

Marius Rosu

Grigore Nicolae

Grigore Tabacaru

 

Weitere Publikationen von Autoren mit dem selben Namen

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain., , , , , , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 593-610. Springer, (2019)Finite-trace linear temporal logic: coinductive completeness.. Formal Methods Syst. Des., 53 (1): 138-163 (2018)On Safety Properties and Their Monitoring.. Sci. Ann. Comput. Sci., 22 (2): 327-365 (2012)Formally Defining and Verifying Master/Slave Speculative Parallelization., , und . FM, Volume 3582 von Lecture Notes in Computer Science, Seite 123-138. Springer, (2005)Parametric Trace Slicing and Monitoring., und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 246-261. Springer, (2009)Generating Optimal Linear Temporal Logic Monitors by Coinduction., , und . ASIAN, Volume 2896 von Lecture Notes in Computer Science, Seite 260-275. Springer, (2003)Maximal Causal Models for Sequentially Consistent Systems., , und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 136-150. Springer, (2012)Specification of the Giskard Consensus Protocol., , , und . CoRR, (2020)Matching mu-Logic: Foundation of K Framework (Invited Paper)., und . CALCO, Volume 139 von LIPIcs, Seite 1:1-1:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Computationally Equivalent Elimination of Conditions., und . RTA, Volume 4098 von Lecture Notes in Computer Science, Seite 19-34. Springer, (2006)