Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Adapting Integrity Checking Techniques for Concurrent Operation Executions., und . SAM, Volume 11753 von Lecture Notes in Computer Science, Seite 235-248. Springer, (2019)Improving the definition of general constraints in UML., , , , und . Softw. Syst. Model., 7 (4): 469-486 (2008)Ensuring the semantic correctness of a BAUML artifact-centric BPM., , und . Inf. Softw. Technol., (2018)Logic Foundations of the OCL Modelling Language., , , , und . JELIA, Volume 8761 von Lecture Notes in Computer Science, Seite 657-664. Springer, (2014)UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion., , , , und . CIKM, Seite 3152-3156. ACM, (2021)The Constructive Method for Query Containment Checking., , und . DEXA, Volume 1677 von Lecture Notes in Computer Science, Seite 583-593. Springer, (1999)XYZ Monitor: IoT Monitoring of Infrastructures Using Microservices., , und . ICSOC Workshops, Volume 12632 von Lecture Notes in Computer Science, Seite 472-484. Springer, (2020)Entity Types Derived by Symbol-Generating Rules., , und . ER, Volume 2813 von Lecture Notes in Computer Science, Seite 376-389. Springer, (2003)SVT: Schema Validation Tool for Microsoft SQL-Server., , , , und . VLDB, Seite 1349-1352. Morgan Kaufmann, (2004)Verification and Validation of UML Artifact-Centric Business Process Models., , und . CAiSE, Volume 9097 von Lecture Notes in Computer Science, Seite 434-449. Springer, (2015)