König, Barbara
König, Barbara (Professor of Information Engineering)
König, Barbara (Professeur d'ingénierie de l'information)
König, Barbara (informatyka).
Barbara König
König, Barbara, 19..-...., informaticienne
VIAF ID: 281666375 ( Personal )
Permalink: http://viaf.org/viaf/281666375
Preferred Forms
- 100 0 _ ‡a Barbara König
-
- 100 1 _ ‡a König, Barbara
-
- 100 1 _ ‡a König, Barbara ‡c (Professor of Information Engineering)
- 100 1 _ ‡a König, Barbara, ‡d 19..-...., ‡c informaticienne
-
- 100 1 _ ‡a König, Barbara
-
4xx's: Alternate Name Forms (12)
5xx's: Related Names (2)
- 510 2 _ ‡a Universität Duisburg-Essen ‡b Abteilung für Informatik und Angewandte Kognitionswissenschaft ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Stuttgart ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Analysis and verification of systems with dynamically evolving structure | |
A case study verifying a mutual exclusion protocol with process creation using graph transformation systems | |
Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory | |
Composition and Decomposition of DPO Transformations with Borrowed Context | |
CONCUR 2011 - Concurrency theory: 22nd International Conference, CONCUR 2011 Aachen, Germany, September 6-9, 2011 Proceedings | |
Counterexample-guided abstraction refinement for the analysis of graph transformation systems | |
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions | |
Description and verification of mobile processes with graph rewriting techniques | |
Fixpoint Checks and Computations for Behavioural Metrics and Games | |
Graph transformation for verification and concurrency (GT-VC 2005) : satellite workshop of Concur 2005, San Francisco, 22 August 2005 | |
Malá spoločnosť | |
On the recognizability of Arrow and Graph Languages | |
System Verification Via Generic Games Behavioural Equivalence and Model Checking Games | |
Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012 : proceedings | |
Unfolding-based Diagnosis of Systems with an Evolving Topology | |
Well-Structured Graph Transformation Systems with Negative Application Conditions |