Karsten Wolf Home Page Coauthor index DBLP Vis pubzone.org

Karsten Schmidt

Universität Rostock

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bruni, Karsten Wolf: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers Springer 2009
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuliana Franceschinis, Karsten Wolf: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings Springer 2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathrin Kaschner, Karsten Wolf: Set Algebra for Service Behavior: Applications and Constructions. BPM 2009: 193-210
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf: Instantaneous Soundness Checking of Industrial Business Process Models. BPM 2009: 278-293
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf: Another Approach to Service Instance Migration. ICSOC/ServiceWave 2009: 607-621
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Wolf: A theory of service behavior. ZEUS 2009: 1-7
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJarungjit Parnjai, Christian Stahl, Karsten Wolf: A finite representation of all substitutable services and its applications. ZEUS 2009: 29-34
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: Realizability is controllability. ZEUS 2009: 61-67
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivia Oanea, Karsten Wolf: An efficient necessary condition for compatibility. ZEUS 2009: 81-87
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Stahl, Karsten Wolf: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9): 819-833 (2009)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Wolf: Does My Service Have Partners?. T. Petri Nets and Other Models of Concurrency 2: 152-171 (2009)
2008
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Karsten Wolf: 15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings CEUR-WS.org 2008
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Wolf: On Synthesizing Behavior that Is Aware of Semantical Constraints. AWPN 2008: 49-54
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Stahl, Karsten Wolf: An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008: 69-74
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Stahl, Karsten Wolf: Covering Places and Transitions in Open Nets. BPM 2008: 116-131
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf: Extending the compatibility notion for abstract WS-BPEL processes. WWW 2008: 785-794
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf: Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108(6): 374-378 (2008)
2007
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Wolf: Generating Petri Net State Spaces. ICATPN 2007: 29-42
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf: From Public Views to Private Views - Correctness-by-Design for Services. WS-FM 2007: 139-153
2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. Ershov Memorial Conference 2006: 1-18
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Roch, Karsten Schmidt: On the Step Explosion Problem. ICATPN 2006: 342-361
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner: Analysis Techniques for Service Models. ISoLA 2006: 11-17
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMirjam Minor, Karsten Schmidt: Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning. Modellierung 2006: 293-296
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Massuthe, Karsten Wolf: An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Automated generation of a progress measure for the sweep-line method. STTT 8(3): 195-203 (2006)
2005
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Hinz, Karsten Schmidt, Christian Stahl: Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Controllability of Open Workflow Nets. EMISA 2005: 236-249
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Massuthe, Karsten Schmidt: Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. QSIC 2005: 452-457
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd-Holger Schlingloff, Axel Martens, Karsten Schmidt: Modeling and Model Checking Web Services. Electr. Notes Theor. Comput. Sci. 126: 3-26 (2005)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
2004
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Automated Generation of a Progress Measure for the Sweep-Line Method. TACAS 2004: 192-204
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang: BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Trans. Software Eng. 30(6): 403-417 (2004)
2003
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Using Petri Net Invariants in State Space Construction. TACAS 2003: 473-488
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Distributed Verification with LoLA. Fundam. Inform. 54(2-3): 253-262 (2003)
2002
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarn Wang, Karsten Schmidt: Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. FORTE 2002: 50-64
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Distributed verification with LoLA. Promise 2002: 94-103
2001
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Narrowing Petri Net State Spaces Using the State Equation. Fundam. Inform. 47(3-4): 325-335 (2001)
2000
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: LoLA: A Low Level Analyser. ICATPN 2000: 465-474
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Integrating Low Level Symmetries into Reachability Analysis. TACAS 2000: 315-330
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: How to Calculate Symmetries of Petri Nets. Acta Inf. 36(7): 545-590 (2000)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Stubborn Sets for Model Checking the EF/AG Fragment of CTL. Fundam. Inform. 43(1-4): 331-341 (2000)
1999
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: LoLA wird Pfadfinder. AWPN 1999
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Stubborn Sets for Standard Properties. ICATPN 1999: 46-65
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Model-Checking with Coverability Graphs. Formal Methods in System Design 15(3): 239-254 (1999)
1997
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Siphons, Traps and High-Level Nets with Infinite Color Domains. ICATPN 1997: 271-289
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Verification of Siphons and Traps for Algebraic Petri Nets. ICATPN 1997: 427-446
1995
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Schmidt: Parameterized Reachability Trees for Algebraic Petri Nets. Application and Theory of Petri Nets 1995: 392-411

Coauthor Index

1Wil M. P. van der Aalst [29] [45]
2Eike Best [28]
3Roberto Bruni [50]
4Javier Esparza [28]
5Dirk Fahland [26] [47]
6Cédric Favre [47]
7Giuliana Franceschinis [49]
8Sebastian Hinz [22]
9Geng-Dian Huang [16]
10Barbara Jobstmann [47]
11Kathrin Kaschner [26] [48]
12Jana Koehler (Jana Köhler) [47]
13Dieter König [34]
14Nannette Liske [46]
15Niels Lohmann [26] [29] [30] [32] [34] [38] [42] [46] [47]
16Axel Martens [19]
17Peter Massuthe [20] [24] [26] [29] [30] [32] [33]
18Mirjam Minor [25]
19Arjan J. Mooij [45]
20Simon Moser [34]
21Olivia Oanea [41]
22Jarungjit Parnjai [43]
23Wolfgang Reisig [18] [26]
24Stephan Roch [27]
25Bernd-Holger Schlingloff [19]
26Alexander Serebrenik [33]
27Natalia Sidorova [33]
28Christian Stahl [18] [22] [26] [29] [34] [35] [36] [40] [43] [45] [46]
29Hagen Völzer [47]
30Bow-Yaw Wang [16]
31Farn Wang [13] [16]
32Daniela Weinberg [26]
33Harro Wimmel [28]
34Fang Yu [16]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)