Fundamente Teoretici de Informatică
Prof. Dr. Rüdiger Valk
 |
- Birou:
- C-219
- Telefon:
- 040 / 42883-2408
- Telefax:
- 040 / 42883-2246
- E-Mail:
- valk@informatik.uni-hamburg.de
- Consultaţii:
- see
- Funcţie:
- Proiecte actuale:
- Proiecte
- Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
- Geschäftsprozessmodellierung und -management
- Petrinetze zur Modellierung in sozialen Kontexten
- Projekt SISOL
- DFG-Projekt Sozionik (DISPO)
- Modellieren und Verifizieren von nebenläufigen Systemen mit höheren Petrinetzen
- Selbstverständnis der Informatik
- Links.:
-
My slides of the Tutorial: Nets, Physics and Coordination, A tribute to the work of Carl Adam Petri and Anatol W. Holt, Milano 2013
- Tutorial: Nets, Physics and Coordination, A tribute to the work of Carl Adam Petri and Anatol W. Holt, Milano 2013
- On the Physical Basics of Information Flow. Eingeladener Vortrag auf der Konferenz PETRI NETS 2008 in Xi'an, China, 2008
- WIKIPEDIA: Netze_in_Netzen
- Vortrag vom 9.6.2015 (pdf-Datei): Entwurf und Analyse verteilter Algorithmen durch Methoden der kombinatorischen Topologie
- Vortrag vom 9.6.2015 (Audio-Version als m4v-Datei): Entwurf und Analyse verteilter Algorithmen durch Methoden der kombinatorischen Topologie
- Bibliografie
- Tutorial: Nets, Physics and Coordination, A tribute to the work of Carl Adam Petri and Anatol W. Holt, Milano 2013
Ultima actualizare: 10:57 23-06-2015
