Autor der Publikation

Logic-Based Detection of Conflicts in AppelPolicies.

, , und . FSEN, Volume 4767 von Lecture Notes in Computer Science, Seite 257-271. Springer, (2007)

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

Everything buT Assignment., , und . GULP-PRODE (2), Seite 132-146. (1994)Fairness in Logic Languages based on Shared Dataspace., und . ICLP Workshop on Blackboard-Based Logic Programming, (1993)Achieving Fault Tolerance by a Formally Validated Interaction Policy., , und . RODIN Book, Volume 4157 von Lecture Notes in Computer Science, Seite 133-152. Springer, (2006)Ambiguity defects as variation points in requirements., , und . VaMoS, Seite 13-19. ACM, (2017)A Logical View of Choreography., und . COORDINATION, Volume 4038 von Lecture Notes in Computer Science, Seite 179-193. Springer, (2006)Composing Specifications for Coordination., und . COORDINATION, Volume 1594 von Lecture Notes in Computer Science, Seite 118-133. Springer, (1999)Language and Communication Problems in Formalization: A Natural Language Approach., , und . Logic, Computation and Rigorous Methods, Volume 12750 von Lecture Notes in Computer Science, Seite 121-134. Springer, (2021)Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study., , und . REFSQ Workshops, Volume 3378 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)A comparison of NLP Tools for RE to extract Variation Points., , , und . REFSQ Workshops, Volume 2584 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Managing Adaptivity in Parallel Systems., , , , und . FMCO, Volume 7542 von Lecture Notes in Computer Science, Seite 199-217. Springer, (2011)