PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Juniwal, Garvit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Syntax-Guided Synthesis.

, , , , , , , , , und 6 andere Autor(en). Dependable Software Systems Engineering, Volume 40 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)

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

Weitere Publikationen von Autoren mit dem selben Namen

ddNF: An Efficient Data Structure for Header Spaces., , , , und . Haifa Verification Conference, Volume 10028 von Lecture Notes in Computer Science, Seite 49-64. (2016)Robust Online Monitoring of Signal Temporal Logic., , , , , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 55-70. Springer, (2015)Syntax-Guided Synthesis., , , , , , , , , und 6 andere Autor(en). Dependable Software Systems Engineering, Volume 40 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)Syntax-guided synthesis., , , , , , , , , und . FMCAD, Seite 1-8. IEEE, (2013)Finding Instability in Biological Models., , , , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 358-372. Springer, (2014)CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory., , , und . EMSOFT, Seite 24:1-24:10. ACM, (2014)Clustering-Based Active Learning for CPSGrader., , , und . L@S, Seite 399-403. ACM, (2015)