Prof. Dr. Elisabeth André
Information and Communication Technologies (ICTs)Human–computer interaction
Information and Communication Technologies (ICTs)
Verification
Programme analysis
Concurrency theory
Graph transformation systems
Petri nets
English, French, German, Italian
Bonchi, F., Gadducci, F., König, B.: Synthesising CCS bisimulation using graph rewriting. In: Information and Computation 207, 2009. S. 14-40.
Baldan, P., Corradini, A., König, B.: A framework for the verification of infinite-state graph transformation systems. In: Information and Computation 206, 2008. S. 869-907.
Joshi, S., König, B.: Applying the graph minor theorem to the verification of graph transformation systems. In: Proc. of CAV '08, S. 214-226. Springer, 2008.
Graphs, Recognisability and Verification (GaReV), German Research Foundation (DFG) project, since 2010
Behavioural Simulation and Equivalences of Systems Modelled by Graph Transformation (Behaviour-GT), DFG project, since 2008
Static Analysis of Dynamically Evolving Systems (SANDS), Emmy Noether DFG project, since 2004
You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here
Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.
Information and Communication Technologies (ICTs)Human–computer interaction
Engineering and engineering trades , Information and Communication Technologies (ICTs), Physical sciencesSemiconductor lasers, ultrafast photonics, semiconductor physics.
Information and Communication Technologies (ICTs)Software engineering
Biological and related sciences , Education, Information and Communication Technologies (ICTs), Mathematics and statisticsBioinformatics, computational genomics and modeling molecular evolution
Behavioural biologists from the University of Zurich reveal this correlation between longevity and personality for female house mice. Furthermore, they found a correlation with a genetic element on chromosome 17.