BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vogler:Walter

Contributed to:

FOSSACS 20112011
ICALP 20072007
FoSSaCS 20062006
FoSSaCS 20052005
FoSSaCS 20042004
SFM-RT 20042004
CAV 20022002
ICALP 19971997
ICALP 19961996
TACAS 19961996
ICALP 19951995
ICALP 19931993
ICALP 19921992
ICALP 19911991
GG 19901990
TAPSOFT, Vol.1: CAAP 19891989

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.