( en | de | ru )

 

Disambiguierung von "Ruah, Sitvanit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing the behavior of event processing applications.

, , , und . DEBS, Seite 223-234. ACM, (2010)

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 Ruah, Sitvanit
Eine Person hinzufügen mit dem Namen Ruah, Sitvanit
 

Weitere Publikationen von Autoren mit dem selben Namen

Improving Representative Computation in ExpliSAT., , und . Haifa Verification Conference, Volume 8244 von Lecture Notes in Computer Science, Seite 359-364. Springer, (2013)Analyzing the behavior of event processing applications., , , und . DEBS, Seite 223-234. ACM, (2010)Herbrand Automata for Hardware Verification., , und . CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 67-83. Springer, (1998)Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions.. FDL, Seite 263-264. ECSI, (2006)Parameterized Verification with Automatically Computed Inductive Assertions., , , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 221-234. Springer, (2001)Verification of software changes with ExpliSAT., und . HotSWUp, Seite 31-35. IEEE Computer Society, (2012)On the Decisional Complexity of Problems Over the Reals., und . ISTCS, Seite 176-187. IEEE Computer Society, (1996)Automatic Deductive Verification with Invisible Invariants., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 82-97. Springer, (2001)