D-Index & Metrics Best Publications
Christel Baier

Christel Baier

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 48 Citations 17,250 258 World Ranking 3930 National Ranking 171

Research.com Recognitions

Awards & Achievements

2011 - Member of Academia Europaea

Overview

What is she best known for?

The fields of study Christel Baier is best known for:

  • Algorithm
  • Model checking
  • Finite-state machine

In her research, Nondeterministic algorithm, Bisimulation and Decidability is intimately related to Discrete mathematics, which falls under the overarching field of Equivalence (formal languages). Her research on Decidability often connects related areas such as Discrete mathematics. She performs multidisciplinary study on Theoretical computer science and Nondeterministic algorithm in her works. Christel Baier combines topics linked to Probabilistic automaton with her work on Probabilistic logic. Probabilistic automaton is closely attributed to Automaton in her research. Christel Baier integrates many fields in her works, including Automaton and Artificial intelligence. Her study deals with a combination of Artificial intelligence and Probabilistic logic. Christel Baier integrates many fields in her works, including Programming language and Software engineering. She conducted interdisciplinary study in her works that combined Software engineering and Programming language.

Her most cited work include:

  • Modeling component connectors in Reo by constraint automata (273 citations)
  • Principles of Model Checking (Representation and Mind Series) (268 citations)
  • Model checking for a probabilistic branching time logic with fairness (191 citations)

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

Many of her studies on Theoretical computer science involve topics that are commonly interrelated, such as Automaton. Christel Baier regularly ties together related areas like Theoretical computer science in her Automaton studies. By researching both Probabilistic logic and Artificial intelligence, Christel Baier produces research that crosses academic boundaries. Her work often combines Artificial intelligence and Probabilistic logic studies. She conducts interdisciplinary study in the fields of Programming language and Semantics (computer science) through her works. She merges many fields, such as Semantics (computer science) and Programming language, in her writings. By researching both Algorithm and Model checking, she produces research that crosses academic boundaries. In her work, she performs multidisciplinary research in Model checking and Algorithm. Her study ties her expertise on Equivalence (formal languages) together with the subject of Discrete mathematics.

Christel Baier most often published in these fields:

  • Theoretical computer science (65.55%)
  • Probabilistic logic (48.74%)
  • Programming language (48.74%)

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

  • Probabilistic logic (50.00%)
  • Artificial intelligence (50.00%)
  • Theoretical computer science (42.86%)

In recent works Christel Baier was focusing on the following fields of study:

Her Mathematical analysis research is intertwined with Variable (mathematics) and Bounded function. Christel Baier performs multidisciplinary study in the fields of Variable (mathematics) and Mathematical analysis via her papers. Her work blends Artificial intelligence and Probabilistic logic studies together. Christel Baier conducts interdisciplinary study in the fields of Theoretical computer science and Nondeterministic algorithm through her research. In her papers, Christel Baier integrates diverse fields, such as Nondeterministic algorithm and Theoretical computer science. Christel Baier brings together Programming language and Programming paradigm to produce work in her papers. Her Combinatorics research extends to the thematically linked field of Reachability. Her Combinatorics study frequently draws connections to adjacent fields such as Reachability. In her papers, she integrates diverse fields, such as Statistics and Parametric statistics.

Between 2017 and 2021, her most popular works were:

  • ProFeat: feature-oriented engineering for family-based probabilistic model checking (54 citations)
  • Model Checking Probabilistic Systems (53 citations)
  • Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata (24 citations)

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

  • Artificial intelligence
  • Algorithm
  • Statistics

Her Artificial intelligence study has been linked to subjects such as Probabilistic logic and Statistical model. She integrates many fields, such as Probabilistic logic and Artificial intelligence, in her works. She links relevant study fields such as Bounded function and Variable (mathematics) in the subject of Mathematical analysis. Her research on Bounded function often connects related topics like Mathematical analysis. Her study in Reachability extends to Theoretical computer science with its themes. Her research combines Theoretical computer science and Reachability. Christel Baier performs multidisciplinary study on Statistics and Parametric statistics in her works. Christel Baier performs multidisciplinary study in Parametric statistics and Statistics in her work. Christel Baier performs multidisciplinary study on Theory of computation and Computation in her works.

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)

6630 Citations

Principles of Model Checking (Representation and Mind Series)

Christel Baier;Joost-Pieter Katoen.
(2008)

1537 Citations

Model-checking algorithms for continuous-time Markov chains

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

991 Citations

Validation of Stochastic Systems : A Guide to Current Research

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

503 Citations

Modeling component connectors in Reo by constraint automata

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

365 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)

364 Citations

Approximate symbolic model checking of continuous-time Markov chains

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

309 Citations

Model checking for a probabilistic branching time logic with fairness

Christel Baier;Marta Kwiatkowska.
Distributed Computing (1998)

301 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)

285 Citations

Model Checking Continuous-Time Markov Chains by Transient Analysis

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

231 Citations

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 Oxford

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

Trending Scientists

Tianfeng Lu

Tianfeng Lu

University of Connecticut

Shuang Li

Shuang Li

Beijing Institute of Technology

Raphael D. Levine

Raphael D. Levine

Hebrew University of Jerusalem

Susan M. Kauzlarich

Susan M. Kauzlarich

University of California, Davis

Allan H. White

Allan H. White

University of Western Australia

Gang Wu

Gang Wu

St. Jude Children's Research Hospital

Arnaud Estoup

Arnaud Estoup

University of Montpellier

Karin Stiasny

Karin Stiasny

Medical University of Vienna

John W. Ward

John W. Ward

Centers for Disease Control and Prevention

Manuel Hernández-Pajares

Manuel Hernández-Pajares

Universitat Politècnica de Catalunya

Philip E. Dennison

Philip E. Dennison

University of Utah

Sarah Guthrie

Sarah Guthrie

University of Sussex

Sebastiaan Rothmann

Sebastiaan Rothmann

North-West University

Paul Moran

Paul Moran

University of Bristol

Gervasio A. Lamas

Gervasio A. Lamas

Columbia University

Gary R. Bond

Gary R. Bond

Westat (United States)

Something went wrong. Please try again later.