PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hojjat, Hossein"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.

, , , , , und . CoRR, (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.

Keine Personen gefunden für den Autorennamen Hojjat, Hossein
Eine Person hinzufügen mit dem Namen Hojjat, Hossein
 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report)., und . CoRR, (2018)Disjunctive Interpolants for Horn-Clause Verification., , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 347-363. Springer, (2013)Life on the Edge: Unraveling Policies into Configurations., , , , , und . ANCS, Seite 178-190. IEEE Computer Society, (2017)On Strings in Software Model Checking., , und . APLAS, Volume 11893 von Lecture Notes in Computer Science, Seite 19-30. Springer, (2019)Automated Analysis of Reo Circuits using Symbolic Execution., , , und . Electron. Notes Theor. Comput. Sci., (2009)Sarir: A Rebeca to mCRL2 Translator., , , und . ACSD, Seite 216-222. IEEE Computer Society, (2007)Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency., , , , , und . CoRR, (2014)Accelerating Interpolants., , , , und . ATVA, Volume 7561 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2012)Classifying and Solving Horn Clauses for Verification., , und . VSTTE, Volume 8164 von Lecture Notes in Computer Science, Seite 1-21. Springer, (2013)Event-driven network programming., , , und . PLDI, Seite 369-385. ACM, (2016)