H-Index & Metrics Best Publications
Christel Baier

Christel Baier

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 42 Citations 16,199 178 World Ranking 4069 National Ranking 189

Research.com Recognitions

Awards & Achievements

2011 - Member of Academia Europaea

Overview

What is she best known for?

The fields of study she is best known for:

  • Programming language
  • Algorithm
  • Artificial intelligence

Her primary areas of study are Probabilistic logic, Model checking, Theoretical computer science, Algorithm and Markov chain. Her studies in Probabilistic logic integrate themes in fields like Discrete mathematics, Nondeterministic algorithm, Time complexity and Markov decision process. Much of her study explores Theoretical computer science relationship to Programming language.

Within one scientific family, she focuses on topics pertaining to Temporal logic under Algorithm, and may sometimes address concerns connected to Bisimulation. Her Markov chain research is multidisciplinary, incorporating elements of Computation tree logic, Formal verification, Binary decision diagram and System of linear equations. Her Software system study integrates concerns from other disciplines, such as Deadlock, Field, Debugging and Rotation formalisms in three dimensions.

Her most cited work include:

  • Principles of Model Checking (3080 citations)
  • Principles of Model Checking (Representation and Mind Series) (965 citations)
  • Model-checking algorithms for continuous-time Markov chains (684 citations)

What are the main themes of her work throughout her whole career to date?

Christel Baier mainly investigates Theoretical computer science, Probabilistic logic, Model checking, Markov chain and Markov decision process. Her studies deal with areas such as Programming language, Computation and Semantics as well as Theoretical computer science. Her Probabilistic logic research includes themes of Time complexity, Algorithm, Decidability and Nondeterministic algorithm.

Christel Baier works mostly in the field of Model checking, limiting it down to topics relating to Temporal logic and, in certain cases, Liveness. Her Markov chain study integrates concerns from other disciplines, such as Discrete mathematics, Bisimulation and Set. Her Markov decision process research focuses on subjects like Reachability, which are linked to Bounded function.

She most often published in these fields:

  • Theoretical computer science (36.71%)
  • Probabilistic logic (34.97%)
  • Model checking (26.92%)

What were the highlights of her more recent work (between 2018-2021)?

  • Probabilistic logic (34.97%)
  • Theoretical computer science (36.71%)
  • Markov decision process (22.38%)

In recent papers she was focusing on the following fields of study:

Christel Baier mostly deals with Probabilistic logic, Theoretical computer science, Markov decision process, Markov chain and Reachability. The study incorporates disciplines such as Reactive system and Relevance in addition to Probabilistic logic. Her Theoretical computer science research incorporates themes from Computation and Focus.

Her research on Markov decision process also deals with topics like

  • Mathematical optimization which is related to area like Fault tree analysis and Reliability block diagram,
  • Optimization problem which is related to area like Decidability. Her biological study spans a wide range of topics, including Redundancy and Set. Her work deals with themes such as Model checking, Polynomial and Heuristics, which intersect with Discrete mathematics.

Between 2018 and 2021, her most popular works were:

  • The 10,000 Facets of MDP Model Checking (11 citations)
  • Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing (9 citations)
  • Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (6 citations)

In her most recent research, the most cited papers focused on:

  • Programming language
  • Algorithm
  • Artificial intelligence

Her primary scientific interests are in Markov decision process, Discrete mathematics, Probabilistic logic, Markov chain and Parametric statistics. The various areas that Christel Baier examines in her Markov decision process study include Field, Reduction, Focus and Shortest path problem. Christel Baier has researched Discrete mathematics in several fields, including Polynomial and Reachability.

Her research investigates the connection between Probabilistic logic and topics such as Automaton that intersect with issues in Component, Usability and Nondeterministic algorithm. Her studies deal with areas such as Systems modeling, Set, Fault tolerance, Systems analysis and Redundancy as well as Markov chain. Her Time complexity study incorporates themes from Model checking, Exponential function and True quantified Boolean formula.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Principles of Model Checking

Christel Baier;Joost-Pieter Katoen.
(2008)

6269 Citations

Principles of Model Checking (Representation and Mind Series)

Christel Baier;Joost-Pieter Katoen.
(2008)

1525 Citations

Model-checking algorithms for continuous-time Markov chains

C. Baier;B. Haverkort;H. Hermanns;J.-P. Katoen.
IEEE Transactions on Software Engineering (2003)

962 Citations

Validation of Stochastic Systems : A Guide to Current Research

Christel Baier;Boudewijn R. Haverkort;Joost-Pieter Katoen;Holger Hermanns.
(2004)

500 Citations

Modeling component connectors in Reo by constraint automata

Christel Baier;Marjan Sirjani;Farhad Arbab;Jan Rutten.
Science of Computer Programming (2006)

359 Citations

Approximative Symbolic Model Checking of Continuous-Time Markov Chains

Christel Baier;Joost-Pieter Katoen;Joost-Pieter Katoen;Holger Hermanns.
international conference on concurrency theory (1999)

356 Citations

PROBMELA: a modeling language for communicating probabilistic processes

C. Baier;F. Ciesinski;M. Grosser.
international conference on formal methods and models for co design (2004)

297 Citations

Approximate symbolic model checking of continuous-time Markov chains

C. Baier;J.-P. Katoen;H. Hermanns.
Lecture Notes in Computer Science (1999)

293 Citations

Model checking for a probabilistic branching time logic with fairness

Christel Baier;Marta Kwiatkowska.
Distributed Computing (1998)

292 Citations

Model Checking Continuous-Time Markov Chains by Transient Analysis

Christel Baier;Boudewijn R. Haverkort;Holger Hermanns;Joost-Pieter Katoen.
computer aided verification (2000)

223 Citations

Editorial Boards

Acta Informatica
(Impact Factor: 0.871)

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Christel Baier

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 192

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 131

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 118

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 115

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 114

Calin Belta

Calin Belta

Boston University

Publications: 106

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 103

Ufuk Topcu

Ufuk Topcu

The University of Texas at Austin

Publications: 98

Alessandro Abate

Alessandro Abate

University of Oxford

Publications: 86

Gethin Norman

Gethin Norman

University of Glasgow

Publications: 74

David Parker

David Parker

University of Birmingham

Publications: 72

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 63

Dimos V. Dimarogonas

Dimos V. Dimarogonas

Royal Institute of Technology

Publications: 58

Boudewijn R. Haverkort

Boudewijn R. Haverkort

Tilburg University

Publications: 41

Bernd Becker

Bernd Becker

University of Freiburg

Publications: 40

Richard M. Murray

Richard M. Murray

California Institute of Technology

Publications: 37

Something went wrong. Please try again later.