Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LoLA as Abstract Planning Engine of PlanICS.

A. Niewiadomski, und K. Wolf. PNSE @ Petri Nets, Volume 1160 von CEUR Workshop Proceedings, Seite 349-350. CEUR-WS.org, (2014)

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.

Dr. -Ing. Karsten Keller University of Stuttgart

Thomas Wolfram University of Stuttgart

Martin Wolf University of Stuttgart

Karsten Schatz University of Stuttgart

Univ. -Prof. Dr. -Ing. Karsten Meier University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Verifying Deadlock- and Livelock Freedom in an SOA Scenario.K. Wolf, C. Stahl, J. Ott, und R. Danitz. ACSD, Seite 168-177. IEEE Computer Society, (2009)Applying CEGAR to the Petri Net State Equation.H. Wimmel, und K. Wolf. TACAS, Volume 6605 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2011)Presentation of the 9th Edition of the Model Checking Contest.E. Amparore, B. Berthomieu, G. Ciardo, S. Dal-Zilio, F. Gallà, L. Hillah, F. Hulin-Hubard, P. Jensen, L. Jezequel, F. Kordon und 9 andere Autor(en). TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 50-68. Springer, (2019)Behavioral Constraints for Services.N. Lohmann, P. Massuthe, und K. Wolf. BPM, Volume 4714 von Lecture Notes in Computer Science, Seite 271-287. Springer, (2007)Instantaneous Soundness Checking of Industrial Business Process Models.D. Fahland, C. Favre, B. Jobstmann, J. Koehler, N. Lohmann, H. Völzer, und K. Wolf. BPM, Volume 5701 von Lecture Notes in Computer Science, Seite 278-293. Springer, (2009)Service Interaction: Patterns, Formalization, and Analysis.W. van der Aalst, A. Mooij, C. Stahl, und K. Wolf. SFM, Volume 5569 von Lecture Notes in Computer Science, Seite 42-88. Springer, (2009)Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.W. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, und K. Wolf. Comput. J., 53 (1): 90-106 (2010)Finding a Witness Path for Non-liveness in Free-Choice Nets.H. Wimmel, und K. Wolf. Petri Nets, Volume 6709 von Lecture Notes in Computer Science, Seite 189-207. Springer, (2011)Deciding service composition and substitutability using extended operating guidelines.C. Stahl, und K. Wolf. Data Knowl. Eng., 68 (9): 819-833 (2009)Reducing Adapter Synthesis to Controller Synthesis.C. Gierds, A. Mooij, und K. Wolf. IEEE Trans. Services Computing, 5 (1): 72-85 (2012)