38
Publications
1.3K
Citations
20
H-Index
1985
Active since
Walter Vogler is an author at University of Augsburg specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationParallel ComputingComputer EngineeringComputer ArchitectureVerificationSystems Engineering
Publications per year
1985–2016
38
38
An Improvement of McMillan's Unfolding Algorithm
Javier Esparza, Stefan Römer, Walter Vogler · Formal Methods in System Design · 2002 · 303 citations
Arend Rensink, Walter Vogler · Information and Computation · 2006 · 123 citations · Full text
Bisimulation and action refinement
Walter Vogler · Theoretical Computer Science · 1993 · 85 citations
Partial order semantics and read arcs
Walter Vogler · Theoretical Computer Science · 2002 · 74 citations
Rows per page
1–5 of 38