dblp.uni-trier.dewww.uni-trier.de

Rüdiger Valk

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
39 Kees M. van Hee, Rüdiger Valk: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings Springer 2008
2005
38EEMichael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk: Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. Socionics 2005: 51-67
2004
37EEOlaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk: An Extensible Editor and Simulation Engine for Petri Nets: Renew. ICATPN 2004: 484-493
2003
36EERüdiger Valk: Object Petri Nets: Using the Nets-within-Nets Paradigm. Lectures on Concurrency and Petri Nets 2003: 819-848
2001
35EERüdiger Valk: Concurrency in Communicating Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 164-195
2000
34EEDaniel Moldt, Rüdiger Valk: Object Oriented Petri Nets in Business Process Modeling. Business Process Management 2000: 254-273
33 Rüdiger Valk: Mobile and Distributed Objects versus Central Referencing. FBT 2000: 7-27
1998
32EERüdiger Valk: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. ICATPN 1998: 1-25
1997
31 Christian Freksa, Matthias Jantzen, Rüdiger Valk: Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday Springer 1997
30 Rüdiger Valk: Die Informatik zwischen Formal- und Humanwissenschaften. Informatik Spektrum 20(2): 95-100 (1997)
1993
29 Rüdiger Valk: Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. Application and Theory of Petri Nets 1993: 433-452
1988
28 Rüdiger Valk: GI - 18. Jahrestagung I, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings Springer 1988
27 Rüdiger Valk: GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings Springer 1988
1987
26 Rüdiger Valk: Beherrschbarkeit von Systemen und Verantwortung des Informatikers. FIFF Jahrestagung 1987: 19-26
25 Dirk Hauschildt, Rüdiger Valk: Safe States in Banker-like Resource Allocations Problems Inf. Comput. 75(3): 232-263 (1987)
24 Rüdiger Valk: Der Computer als Herausforderung an die menschliche Rationalität. Informatik Spektrum 10(2): 57-66 (1987)
1986
23 Rüdiger Valk: Nets in Computer Organisation. Advances in Petri Nets 1986: 218-233
22 Rüdiger Valk: Infinite Behaiour and Fairness. Advances in Petri Nets 1986: 377-396
1985
21 Dirk Hauschildt, Rüdiger Valk: Safe states in banker like resource allocation problems. Applications and Theory in Petri Nets 1985: 253-277
20 Rüdiger Valk, Matthias Jantzen: The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Inf. 21: 643-674 (1985)
1984
19 Rüdiger Valk, Matthias Jantzen: The residue of vector sets with applications to decidability problems in Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 234-258
18 Heino Carstensen, Rüdiger Valk: Infinite behaviour and fairness in Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 83-100
17 Otthein Herzog, Wolfgang Reisig, Rüdiger Valk: Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. Informatik Spektrum 7(1): 20-27 (1984)
1983
16 Rüdiger Valk: Infinite Behaviour of Petri Nets. Theor. Comput. Sci. 25: 311-341 (1983)
1981
15 Rüdiger Valk: Generalizations of Petri Nets. MFCS 1981: 140-155
14 Otthein Herzog, Rüdiger Valk: Overview. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 154-160
13 Rüdiger Valk: Test on Zero in Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 193-197
12 Rüdiger Valk, Guy Vidal-Naquet: Petri Nets and Regular Languages. J. Comput. Syst. Sci. 23(3): 299-325 (1981)
1979
11 Wolfgang Kowalk, Rüdiger Valk: On Reductions of Parallel Programs. ICALP 1979: 356-369
1978
10 Rüdiger Valk: Self-Modifying Nets, a Natural Extension of Petri Nets. ICALP 1978: 464-476
9 Rüdiger Valk: On the Computational Power of Extended Petri Nets. MFCS 1978: 526-535
1977
8 Rüdiger Valk, G. Vidal: On the rationality of Petri net languages. Theoretical Computer Science 1977: 319-328
1976
7 Rüdiger Valk: Minimal Machines with Several Initial States are Not Unique Information and Control 31(2): 193-196 (1976)
1975
6 Matthias Jantzen, Rüdiger Valk: Formal Properties of Place/Transition Nets. Advanced Course: Net Theory and Applications 1975: 165-212
5 Gérard Berthelot, Gérard Roucairol, Rüdiger Valk: Reductions of Nets and Parallel Prgrams. Advanced Course: Net Theory and Applications 1975: 277-290
4 Rüdiger Valk: Zur endlichen Approximierbarkeit sequentieller Systeme. Automata Theory and Formal Languages 1975: 64-70
3 Rüdiger Valk: On the Synthesis of Automata with Several Initial States. MFCS 1975: 439-444
2 Rüdiger Valk: On Some Elementary Properties of Uniform Automata. ITA 9(2): 39-54 (1975)
1973
1 Rüdiger Valk: The use of metric and uniform spaces for the formalization of behavioral proximity of states. Automatentheorie und Formale Sprachen 1973: 116-122

Coauthor Index

1Gérard Berthelot [5]
2Heino Carstensen [18]
3Michael Duvigneau [37]
4Christian Freksa [31]
5Dirk Hauschildt [21] [25]
6Kees M. van Hee [39]
7Otthein Herzog [14] [17]
8Matthias Jantzen [6] [19] [20] [31]
9Michael Köhler-Bußmeier (Michael Köhler) [37] [38]
10Wolfgang Kowalk [11]
11Olaf Kummer [37]
12Daniel Moldt [34] [37] [38]
13Wolfgang Reisig [17]
14Heiko Rölke [37] [38]
15Gérard Roucairol [5]
16Jörn Schumacher [37]
17G. Vidal [8]
18Guy Vidal-Naquet [12]
19Frank Wienberg [37]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)