Search the dblp DataBase

Publications of Author

1. Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter
   Distributed Algorithms for Networks of Agents. [Citation Graph (0, 0)][DBLP]
   Petri Nets (2), 1996, pp:331-385 [Conf]
   
2. Hagen Völzer
   Verifying Fault Tolerance of Distributed Algorithms Formally - An Example. [Citation Graph (0, 0)][DBLP]
   ACSD, 1998, pp:187-0 [Conf]
   
3. Thomas Baar, Ekkart Kindler, Hagen Völzer
   Verifying Intuition - ILF Checks DAWN Proofs. [Citation Graph (0, 0)][DBLP]
   ICATPN, 1999, pp:404-424 [Conf]
   
4. Ekkart Kindler, Hagen Völzer
   Flexibility in Algebraic Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 1998, pp:345-364 [Conf]
   
5. Hagen Völzer, Daniele Varacca, Ekkart Kindler
   Defining Fairness. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:458-472 [Conf]
   
6. Daniele Varacca, Hagen Völzer, Glynn Winskel
   Probabilistic Event Structures and Domains. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:481-496 [Conf]
   
7. Hagen Völzer
   Randomized Non-sequential Processes. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2001, pp:184-201 [Conf]
   
8. Hagen Völzer
   Refinement-Robust Fairness. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2002, pp:547-561 [Conf]
   
9. Hagen Völzer
   On Randomization Versus Synchronization in Distributed Systems. [Citation Graph (0, 0)][DBLP]
   ICALP, 2004, pp:1214-1226 [Conf]
   
10. Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald
    A Tool for Subsystem Configuration Management. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:492-500 [Conf]
    
11. Daniele Varacca, Hagen Völzer
    Temporal Logics and Model Checking for Fairly Correct Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:389-398 [Conf]
    
12. Hagen Völzer
    On Conspiracies and Hyperfairness in Distributed Computing. [Citation Graph (0, 0)][DBLP]
    DISC, 2005, pp:33-47 [Conf]
    
13. Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter
    Petri Net Based Verification of Distributed Algorithms: An Example. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:4, pp:409-424 [Journal]
    
14. Hagen Völzer
    A constructive proof for FLP. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:92, n:2, pp:83-87 [Journal]
    
15. Felix C. Freiling, Hagen Völzer
    Illustrating the impossibility of crash-tolerant consensus in asynchronous systems. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 2006, v:40, n:2, pp:105-109 [Journal]
    
16. Ekkart Kindler, Hagen Völzer
    Algebraic nets with flexible arcs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:262, n:1, pp:285-310 [Journal]
    
17. Daniele Varacca, Hagen Völzer, Glynn Winskel
    Probabilistic event structures and domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:2-3, pp:173-199 [Journal]
    
18. Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper
    SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:10, pp:675-693 [Journal]
    
19. Jussi Vanhatalo, Hagen Völzer, Frank Leymann
    Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2007, pp:43-55 [Conf]
    
20. 
    Combining Quality Assurance and Model Transformations in Business-Driven Development. [Citation Graph (, )][DBLP]
    
    
21. 
    The Refined Process Structure Tree. [Citation Graph (, )][DBLP]
    
    
22. 
    Instantaneous Soundness Checking of Industrial Business Process Models. [Citation Graph (, )][DBLP]
    
    
23. 
    Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. [Citation Graph (, )][DBLP]
    
    
24. 
    A New Semantics for the Inclusive Converging Gateway in Safe Processes. [Citation Graph (, )][DBLP]
    
    
25. 
    Symbolic Execution of Acyclic Workflow Graphs. [Citation Graph (, )][DBLP]
    
    
26. 
    Counterexamples in Probabilistic LTL Model Checking for Markov Chains. [Citation Graph (, )][DBLP]
    
    
27. 
    Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. [Citation Graph (, )][DBLP]
    
    
28. 
    Automatic Workflow Graph Refactoring and Completion. [Citation Graph (, )][DBLP]
    
    
29. 
    The refined process structure tree. [Citation Graph (, )][DBLP]