Rüdiger Valk

Q: What Schools Are Affiliated With Rüdiger Valk

Rüdiger Valk is affiliated with the following schools: University of Göttingen, University of Hamburg, Technical University of Munich, University of Bonn

Rüdiger Valk's AcademicInfluence.com Rankings

Rüdiger Valk

Mathematics

#7653

World Rank

#10384

Historical Rank

Differential Geometry

#127

World Rank

#149

Historical Rank

Geometry

#238

World Rank

#329

Historical Rank

Group Theory

#359

World Rank

#414

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Why Is Rüdiger Valk Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Rüdiger Valk is a German mathematician. From 1976 to 2010 he was Professor for Theoretical Computer Science at the Institut für Informatik of the University of Hamburg, Germany. Valk studied mathematics at the University of Bonn . Supervised by Wilfried Brauer, he continued studying for a postgraduate degree at Bonn and received his PhD in Mathematics in 1974. In 1976 he became Professor for Theoretical Computer Science . From 1985 until 2010 he was head of the research group on theoretical foundations of computer science at the University of Hamburg.

(See a Problem?)

Rüdiger Valk's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Petri nets for systems engineering - a guide to modeling, verification, and applications (2010) (595)
Petri Nets as Token Objects: An Introduction to Elementary Object Nets (1998) (357)
Self-Modifying Nets, a Natural Extension of Petri Nets (1978) (204)
Petri Nets for Systems Engineering (2003) (199)
Object Petri Nets: Using the Nets-within-Nets Paradigm (2003) (147)
An Extensible Editor and Simulation Engine for Petri Nets: Renew (2004) (136)
Petri Nets and Regular Languages (1981) (124)
Formal Properties of Place/Transition Nets (1979) (98)
The residue of vector sets with applications to decidability problems in Petri nets (1985) (93)
Foundations of computer science : potential--theory--cognition (1997) (74)
Concurrency in Communicating Object Petri Nets (2001) (67)
Generalizations of Petri Nets (1981) (52)
Infinite Behaviour of Petri Nets (1983) (43)
On the Computational Power of Extended Petri Nets (1978) (33)
On Processes of Object Petri Nets (1996) (32)
Reductions of Nets and Parallel Prgrams (1979) (31)
Infinite behaviour and fairness in Petri nets (1985) (30)
Object Oriented Petri Nets in Business Process Modeling (2000) (24)
A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems (2006) (21)
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday (1997) (15)
Nets in Computer Organisation (1987) (15)
Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation (2007) (14)
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets (2005) (11)
On the rationality of Petri net languages (1977) (10)
Safe states in banker like resource allocation problems (1985) (9)
Infinite Behaviour and Fairness (1986) (9)
Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings (2008) (7)
On the Structure of Cycloids Introduced by Carl Adam Petri (2018) (7)
On Reductions of Parallel Programs (1979) (5)
On the Two Worlds of Carl Adam Petri's Nets (2019) (5)
Minimal Machines with Several Initial States are Not Unique (1976) (5)
Formal Properties of Petri's Cycloid Systems (2019) (5)
Infinite Behaiour and Fairness (1986) (4)
Extension and intension of actions (1987) (4)
Introduction: Purpose of the Book (2003) (3)
Test on Zero in Petri Nets (1980) (3)
Safe States in Banker-like Resource Allocations Problems (1987) (3)
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling (1993) (3)
Circular Traffic Queues and Petri’s Cycloids (2020) (3)
The use of metric and uniform spaces for the formalization of behavioral proximity of states (1973) (3)
Relating Different Semantics for Object Petri Nets Formal Proofs and Examples FBI-HH-B-226/00 (2000) (2)
Discrete and Continuous Realizations of General Time Systems (1974) (2)
On Some Elementary Properties of Uniform Automata (1975) (1)
Mobile and Distributed Objects versus Central Referencing (2000) (1)
Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets (2021) (1)
Foundations of Computer Science (1997) (1)
Obituary: Carl Adam Petri (1926-2010) (2013) (1)
Proceedings of the 29th international conference on Applications and Theory of Petri Nets (2008) (0)
Zur endlichen Approximierbarkeit sequentieller Systeme (1975) (0)
Overview of the Book (2003) (0)
Overview on Topic 5: Mathematical Analysis and Net Languages (1981) (0)
On the Synthesis of Automata with Several Initial States (1975) (0)
On Reduction of Cycloids (2022) (0)
Secret room in the train (2017) (0)

This paper list is powered by the following services:

Other Resources About Rüdiger Valk

en.wikipedia.org

What Schools Are Affiliated With Rüdiger Valk?

Rüdiger Valk is affiliated with the following schools:

Rüdiger Valk's Academic­Influence.com Rankings

Why Is Rüdiger Valk Influential?

Rüdiger Valk's Published Works

Published Works

Other Resources About Rüdiger Valk

What Schools Are Affiliated With Rüdiger Valk?

Rüdiger Valk's AcademicInfluence.com Rankings