PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Speck, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Business Process Verification.

, , und . GI Jahrestagung, Volume P-154 von LNI, Seite 4037-4051. GI, (2009)

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.

Univ. -Prof. Dr. rer. nat. Thomas Speck University of Stuttgart

Hon. -Prof. Dr. Peter Speck University of Stuttgart

Friedrich-Wilhelm Speckmann University of Stuttgart

Prof. Dr. Andreas Hotho

Ontology-based Text Document Clustering., , und . KI, 16 (4): 48-54 (2002)
Ontology-based Text Document Clustering., , und . KI, 16 (4): 48-54 (2002)Clustern mit Hintergrundwissen.. Karlsruhe Institute of Technology, (2004)

Junior-Prof. Dr.-Ing. Andreas Pott

 

Weitere Publikationen von Autoren mit dem selben Namen

Developer-friendly verification of process-based systems., , und . Knowl.-Based Syst., 23 (7): 667-676 (2010)An unadjusted size measurement of embedded software system families and its validation., , und . Software Process: Improvement and Practice, 11 (4): 435-446 (2006)Reusable industrial control systems.. IEEE Trans. Industrial Electronics, 50 (3): 412-418 (2003)Modellierung von Regeln für die Prüfung von Prozessmodellen., , , , und . Wissenschaft und Kunst der Modellierung, Volume 64 von Philosophical Analysis, De Gruyter, (2015)Aspect Composition Applying the Design by Contract Principle., , , und . GCSE, Volume 2177 von Lecture Notes in Computer Science, Seite 57-69. Springer, (2000)Tool-based checking of business process models., , , und . S-BPM ONE, Seite 8:1-8:8. ACM, (2015)Business Process Verification., , und . GI Jahrestagung, Volume P-154 von LNI, Seite 4037-4051. GI, (2009)Integrating Validation Techniques for Process-based Models., , , , und . ENASE, Seite 246-253. SciTePress, (2013)Process Model Validation - Transforming Process Models to Extended Checking Models., , , und . ENASE, Seite 214-220. SciTePress, (2010)Applying Pattern-Based Graphical Validation Rules to Business Process Models., , und . ICST Workshops, Seite 274-283. IEEE Computer Society, (2014)