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

The abstract domain of Trapezoid Step Functions., , und . Comput. Lang. Syst. Struct., (2015)BANANA - A Tool for Boundary Ambients Nesting ANAlysis., , , , , und . TACAS, Volume 2619 von Lecture Notes in Computer Science, Seite 437-441. Springer, (2003)A uniform representation of multi-variant data in intensive-query databases., , und . Innov. Syst. Softw. Eng., 12 (3): 163-176 (2016)Operational and Abstract Semantics of a Query Language for Semi-Structured Information., , , und . DDLP, Volume 22 von GMD Report, Seite 127-140. (1998)Twinning automata and regular expressions for string static analysis., , , und . CoRR, (2020)Driving the Technology Value Stream by Analyzing App Reviews., , , und . IEEE Trans. Software Eng., 49 (7): 3753-3770 (Juli 2023)Context-aware OLAP for textual data warehouses., , und . Int. J. Inf. Manag. Data Insights, 2 (2): 100129 (2022)Property Driven Program Slicing Refinement., und . ICSOFT (2), Seite 149-155. SciTePress, (2011)Automated Verification of Behavioural Properties of Prolog Programs., , , und . ASIAN, Volume 1345 von Lecture Notes in Computer Science, Seite 225-238. Springer, (1997)Casanova: A Simple, High-Performance Language for Game Development., , , , , und . JCSG, Volume 9090 von Lecture Notes in Computer Science, Seite 123-134. Springer, (2015)