Theoretische Grundlagen der Informatik
Prof. Dr. Rüdiger Valk
 |
- Raum:
- G-207
- Telefon:
- 040 / 42883-2412
- Telefax:
- 040 / 42883-2246
- E-Mail:
- valk@informatik.uni-hamburg.de
- Sprechstunde:
- siehe
Hauptseite (dort unten rechts)
- Stellung:
- Professor im Ruhestand
- Aktuelle Projekte:
- Frühere Projekte:
- Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung
- Dynamische Objekte in Petrinetzen
- Strukturelle Analyse für komponenten- und agentenorientierte Petrinetze
- Concurrency-Theorie
- 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
- DFG-Projekt Sozionik (ASKO)
- 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
- WIKIPEDIA: Rüdiger_Valk
- 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
- Bibliographie
- Tutorial: Nets, Physics and Coordination, A tribute to the work of Carl Adam Petri and Anatol W. Holt, Milano 2013
Letzte Änderung: 10:57 23.06.2015
