Walter Vogler

2.7k total citations
75 papers, 811 citations indexed

About

Walter Vogler is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Walter Vogler has authored 75 papers receiving a total of 811 indexed citations (citations by other indexed papers that have themselves been cited), including 67 papers in Computational Theory and Mathematics, 24 papers in Artificial Intelligence and 21 papers in Computer Networks and Communications. Recurrent topics in Walter Vogler's work include Formal Methods in Verification (47 papers), Petri Nets in System Modeling (30 papers) and Distributed systems and fault tolerance (18 papers). Walter Vogler is often cited by papers focused on Formal Methods in Verification (47 papers), Petri Nets in System Modeling (30 papers) and Distributed systems and fault tolerance (18 papers). Walter Vogler collaborates with scholars based in Germany, United States and United Kingdom. Walter Vogler's co-authors include Javier Esparza, Stefan Römer, Gerald Lüttgen, Arend Rensink, Mark Schaefer, Flavio Corradini, Victor Khomenko, Annegret Habel, Maciej Koutny and A. Kondratyev and has published in prestigious journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Lecture notes in computer science.

In The Last Decade

Walter Vogler

72 papers receiving 754 citations

Peers

Countries citing papers authored by Walter Vogler

Since Specialization

Citations

This map shows the geographic impact of Walter Vogler's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Walter Vogler with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Walter Vogler more than expected).

Fields of papers citing papers by Walter Vogler

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Walter Vogler. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Walter Vogler. The network helps show where Walter Vogler may publish in the future.

Co-authorship network of co-authors of Walter Vogler

This figure shows the co-authorship network connecting the top 25 collaborators of Walter Vogler. A scholar is included among the top collaborators of Walter Vogler based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Walter Vogler. Walter Vogler is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Error-pruning in interface automata 2015 ·Theoretical Computer Science ·(unknown), Walter Vogler	3
2	Modal Interface Automata 2013 ·Logical Methods in Computer Science ·Gerald Lüttgen, Walter Vogler	16
3	STG-Based Resynthesis for Balsa Circuits 2013 ·(unknown), Walter Vogler, (unknown)	1
4	Safe reasoning with Logic LTS 2011 ·Theoretical Computer Science ·Gerald Lüttgen, Walter Vogler	8
5	Ready simulation for concurrency: It’s logical! 2010 ·Information and Computation ·Gerald Lüttgen, Walter Vogler	11
6	Fairness of components in system computations 2006 ·Theoretical Computer Science ·Flavio Corradini, (unknown), Walter Vogler	6
7	Conjunction on processes: Full abstraction via ready-tree semantics 2006 ·Theoretical Computer Science ·Gerald Lüttgen, Walter Vogler	11
8	Merged Processes - a New Condensed Representation of Petri Net Behaviour 2005 ·School of Computing Science Technical Report Series ·(unknown), A. Kondratyev, Maciej Koutny, Walter Vogler	1
9	Measuring the performance of asynchronous systems with PAFAS 2005 ·Theoretical Computer Science ·Flavio Corradini, Walter Vogler	2
10	Bisimulation on speed: worst-case efficiency 2004 ·Information and Computation ·Gerald Lüttgen, Walter Vogler	9
11	Faster asynchronous systems 2003 ·Information and Computation ·Walter Vogler	4
12	Efficiency of asynchronous systems, read arcs, and the MUTEX-problem 2002 ·Theoretical Computer Science ·Walter Vogler	14
13	Canonical Prefixes of Petri-Net Unfoldings 2001 ·(unknown), Maciej Koutny, Walter Vogler	2
14	Fast asynchronous systems in dense time 2001 ·Theoretical Computer Science ·(unknown), Walter Vogler	8
15	Timed Testing of Concurrent Systems 1995 ·Information and Computation ·Walter Vogler	20
16	Bisimulation and action refinement 1993 ·Theoretical Computer Science ·Walter Vogler	33
17	On hyperedge replacement and BNLC graph grammars 1993 ·Discrete Applied Mathematics ·Walter Vogler	3
18	Decidable boundedness problems for sets of graphs generated by hyperedge-replacement 1991 ·Theoretical Computer Science ·Annegret Habel, Hans‐Jörg Kreowski, Walter Vogler	14
19	Executions: a new partial-order semantics of Petri nets 1991 ·Theoretical Computer Science ·Walter Vogler	16
20	Behaviour Preserving Refinement of Petri Nets 1986 ·Walter Vogler	3

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact