Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Wolfgang Reisig

Address Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
10099 Berlin

Projects

As Applicant
- Completed projects
  - Kompositionale Verifikation von Netzwerkalgorithmen und reaktiven Systemen (Research Grants)
  - Konsens-Algorithmen für verteilte Systeme (Research Grants)
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie (Research Units)
  - DNA-computing (Research Grants)
  - Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen (Research Grants)
  - Austauschbarkeit von Services (Research Grants)
  - Die Ausdruckskraft von Abstract State Machines (Research Grants)
  - Automatische Synthese von Verhaltensadaptern zwischen Services (Research Grants)
  - Certifying Algorithms for Interactive Components and Distributed Systems (Research Grants)
As Participating Researcher
- Completed projects
  - GRK 1324: Model-based Development of Technologies for Self-organising Information Systems in Application for Disasters Management (Research Training Groups)
  - GRK 1651: Service-oriented Architectures for the Integration of Software-based Processes, Exemplified by Health Care Systems and Medical Technology (SOAMED) (Research Training Groups)
As Participating Person
- Completed projects
  - Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrinetz-Technologie (Research Units)

© 2024 DFG Disclaimer / Copyright / Privacy Policy