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

Supporting Verification-Driven Incremental Distributed Design of Components., , , und . FASE, Volume 10802 von Lecture Notes in Computer Science, Seite 169-188. Springer, (2018)A Fuzzy Extension for the XPath Query Language., , und . FQAS, Volume 4027 von Lecture Notes in Computer Science, Seite 210-221. Springer, (2006)Managing non-functional uncertainty via model-driven adaptivity., , , und . ICSE, Seite 33-42. IEEE Computer Society, (2013)A framework for XML data streams history checking and monitoring., und . WWW, Seite 983-984. ACM, (2006)Verification of temporal logic specifications via model checking.. Polytechnic University of Milan, Italy, (2005)Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation., und . ICSE, Seite 1290-1302. IEEE, (2023)Integrating Goal Model Analysis with Iterative Design., , und . REFSQ, Volume 10153 von Lecture Notes in Computer Science, Seite 112-128. Springer, (2017)A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures., , , und . VLSI-SoC, Seite 24-29. IEEE, (2006)History Checking of XML Data Streams., und . DEXA Workshops, Seite 542-546. IEEE Computer Society, (2006)Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews., , , , , und . ACM Trans. Softw. Eng. Methodol., 33 (4): 87:1-87:36 (Mai 2024)