Wolf, Karsten, 1967-
Wolf, Karsten
Karsten Wolf (Schmidt) Dr. rer. nat. Humboldt-Universität zu Berlin 1996
VIAF ID: 316740676 ( Personal )
Permalink: http://viaf.org/viaf/316740676
Preferred Forms
4xx's: Alternate Name Forms (4)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
algorithm for matching nondeterministic services with operating guidelines | |
Applications and theory of petri nets : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings | |
Behavioral Constraints for Services | |
Business Process Management 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings | |
Controlability of distributed business processes | |
Einführung in die Matrix-Algebra mit Derive | |
Explicit state space verification | |
Improving explicit model checking for Petri nets | |
Integrating low level symmetries into reachability analysis | |
operating guideline approach to the SOA | |
Operating guidelines an alternative to public view | |
Präzises Denken für Informatiker | |
Proceedings / 12. Workshop "Algorithmen und Werkzeuge für Petrinetze" (APWN 2005) 29. - 30. September 2005, Humboldt-Universität zu Berlin | |
Service Discovery Using Communication Fingerprints | |
Specifying and generating behavioral service adapters based on transformation rules | |
Stubborn sets for model checking the EF-AG fragment of CTL | |
Symbolische Analysemethoden für algebraische Petrinetze | |
Symmetrie of Petri nets | |
T-invariants of algebraic Petri nets | |
Transactions on Petri Nets and Other Models of Concurrency VII | |
Verteilte Geschäftsprozesse modellieren und analysieren | |
Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 : Revised Selected Papers | |
Zur Komplexität der Synthese von Petri-Netzen |