Travelled to:1 × Denmark
1 × Hungary
1 × Poland
1 × Sweden
1 × United Kingdom
2 × Austria
2 × Italy
2 × Spain
4 × Germany
Collaborated with:∅ G.Lüttgen C.Stahl M.Schäfer E.Bihler L.Jenner V.Khomenko M.Koutny J.Esparza S.Römer A.Habel H.Kreowski
Talks about:time (5) asynchron (4) system (4) petri (4) net (4) languag (2) concurr (2) bisimul (2) unfold (2) replac (2)
Person: Walter Vogler
DBLP: Vogler:Walter
Contributed to:
2011
2007200620052004
2004
200219971996
19961995199319921991
1990
1989Wrote 17 papers:
- FoSSaCS-2011-StahlV #guidelines
- A Trace-Based View on Operating Guidelines (CS, WV), pp. 411–425.
- ICALP-2007-LuttgenV #concurrent #exclamation #logic #simulation
- Ready Simulation for Concurrency: It’s Logical! (GL, WV), pp. 752–763.
- FoSSaCS-2006-LuttgenV #process #semantics
- Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics (GL, WV), pp. 261–276.
- FoSSaCS-2005-LuttgenV #approach #bisimulation
- Bisimulation on Speed: A Unified Approach (GL, WV), pp. 79–94.
- FoSSaCS-2005-SchaeferV #component #composition #refinement
- Component Refinement and CSC Solving for STG Decomposition (MS, WV), pp. 348–363.
- FoSSaCS-2004-LuttgenV #bisimulation #bound
- Bisimulation on Speed: Lower Time Bounds (GL, WV), pp. 333–347.
- SFM-2004-BihlerV #performance #petri net
- Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.
- CAV-2002-KhomenkoKV #canonical #petri net
- Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.
- ICALP-1997-Vogler #performance #petri net
- Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.
- ICALP-1996-JennerV #performance
- Fast Asynchronous Systems in Dense Time (LJ, WV), pp. 75–86.
- TACAS-1996-EsparzaRV #algorithm
- An Improvement of McMillan’s Unfolding Algorithm (JE, SR, WV), pp. 87–106.
- ICALP-1995-Vogler #equivalence
- The Limit of Split_n-Language Equivalence (WV), pp. 636–647.
- ICALP-1993-Vogler #concurrent #testing
- Timed Testing of Concurrent Systems (WV), pp. 532–543.
- ICALP-1992-Vogler #communication #petri net #refinement
- Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
- ICALP-1991-Vogler #similarity
- Deciding History Preserving Bisimilarity (WV), pp. 495–505.
- GG-1990-Vogler #graph #polynomial
- Recognizing Edge Replacement Graph Languages in Cubic Time (WV), pp. 676–687.
- CAAP-1989-HabelKV #bound #decidability #graph grammar #problem
- Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar (AH, HJK, WV), pp. 275–289.