Christel Baier and Algebraic - Free people check

(1 - 8 from 9

)

Christel Baier | The MIT Press

mitpress.ublish.com

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden. Books Principles of Model Checking by Baier, Katoen

Christel Baier – Formal Methods | 5G Lab

5glab.de

Since 2006, Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden. General Objective. Research topics covered by the group of Christel Baier are: modeling, specification and verification of reactive systems

Principles of Model Checking - Christel Baier, …

books.google.ca

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden. Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science.

Algebraic Methodology and Software Technology: 5th International...

books.google.de

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich,...

Christel Baier - ISSTA 2017

conf.researchr.org

Name: Christel Baier Bio: Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden since From the University of Mannheim she received her Diploma in Mathematics in 1990, her Ph.D. in Computer Science in and her Habilitation in

Christel Baier - Chair of Algebraic and Logic Foundations of Computer...

wwwtcs.inf.tu-dresden.de

Prof. Dr. Christel Baier Chair of Algebraic and Logic Foundations of Computer Science

All web results to the name "Christel Baier"

Christel Baier | The MIT Press

mitpress.mit.edu

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University...

PeerJ - Profile - Christel Baier

peerj.com

Christel Baier is an Editor at PeerJ. Bio: Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universität Dresden since From the University of Mannheim she received her Diploma in Mathematics in 1990, her Ph.D. in Computer Science in and her Habilitation in

Related search requests for Christel Baier

Joost-Pieter Katoen
Sascha Klüppelholz
Joachim Klein

Person "Baier" (2)
Forename "Christel" (3517)
Name "Baier" (864)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Christel Baier and Algebraic Free People Check