Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Wissensnetz

Person
Person

Person

Walter Vogler

Informatiker

Name

Walter Vogler

Zeit

ca. 20./21. Jh. (Lebensdaten)

Ort

Augsburg (Wirkungsort)
Deutschland

Geschlecht

männlich

Akademischer Grad bzw. Titel

Prof. Dr.

Beruf

Informatiker (charakteristischer Beruf)

Beziehung

Universität Augsburg. Institut für Informatik

Themen­gebiet

Personen zu Informatik, Datenverarbeitung

Weitere Angaben

Professur für Theorie verteilter Systeme

Quelle

https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtti/team/walter-vogler/ (Stand: 29.07.2021)

Datensatztyp

Person

GND-Nummer

1237862507

Datensatz-ID

1237862507

Beteiligt an

alle anzeigen

A linear-time branching-time perspective on interface automata

Interface automata for shared memory

Interface Automata for Shared Memory

Interface Automata for Shared Memory

Correction to: A linear-time branching-time perspective on interface automata

A linear-time branching-time perspective on interface automata

A linear-time branching-time perspective on interface automata

Modal Interface Automata

Nondeterministic Modal Interfaces

Variants of the language based synthesis problem for Petri nets

Safe Reasoning with Logic LTS

Ready Simulation for Concurrency: It's Logical!

Bisimulation on Speed: A Unified Approach

Bisimulation on Speed: Lower Time Bounds
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal