PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Deutsch, Alin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
XML-QL.

, , , , und . QL, W3C, (1998)

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

Weitere Publikationen von Autoren mit dem selben Namen

Minimization and Group-By Detection for Nested XQueries., , und . ICDE, Seite 839. IEEE Computer Society, (2004)Automatic verification of database-centric systems., , , und . SIGLOG News, 5 (2): 37-56 (2018)VERIFAS: A Practical Verifier for Artifact Systems., , und . PVLDB, 11 (3): 283-296 (2017)A Spin-based Verifier for Artifact Systems., , und . CoRR, (2017)Abstractions for genomics., , , , , und . Commun. ACM, 56 (1): 83-93 (2013)Exporting and interactively querying Web service-accessed sources: The CLIDE System., , , und . ACM Trans. Database Syst., 32 (4): 22 (2007)Querying XML data sources that export very large sets of views., , , und . ACM Trans. Database Syst., 36 (1): 5:1-5:42 (2011)The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae., , , und . ICWE, Volume 3579 von Lecture Notes in Computer Science, Seite 557-568. Springer, (2005)Verification of Human Driven Data-Centric Dynamic Systems., , , , und . AAAI Spring Symposia, AAAI Press, (2014)Datalography: Scaling datalog graph analytics on graph processing systems., , , und . BigData, Seite 56-65. IEEE Computer Society, (2016)