Christel Baier - Publications, H-index & Citations

Christel Baier

Technische Universitat Dresden

43H指数

353论文数

1.3W被引数

收录论文 11

发表时间

nonlinear analysis: hybrid systems

IF0

2026-01-25

OAAI

Rajab Aghamov; Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer

SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025

IF0

2026-01-01

PREAI

Baier, Christel; Chau, Calvin; Drobitko, Volodymyr; Jantsch, Simon; Klueppelholz, Sascha

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025

IF0

2026-01-01

PREAI

Baier, Christel; Klatt, Rio; Klueppelholz, Sascha; Lehmann, Johannes

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2024-03-01

OAAI

Dubslaff, Clemens; Weis, Kallistos; Baier, Christel; Apel, Sven

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2023-02-01

PREAI

Chrszon, Philipp; Baier, Christel; Dubslaff, Clemens; Klueppelholz, Sascha

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-08-01

OAAI

Bagheri, Maryam; Sirjani, Marjan; Khamespanah, Ehsan; Baier, Christel; Movaghar, Ali

IEEE ACCESS

IF3.6

2020-01-01

OAAI

Raitza, Michael; Maercker, Steffen; Trommer, Jens; Heinzig, Andre; Klueppelholz, Sascha; Baier, Christel; Kumar, Akash

PROCEEDINGS OF THE IEEE

IF25.9

2019-01-01

OAAI

Fettweis, Gerhard P.; Doerpinghaus, Meik; Castrillon, Jeronimo; Kumar, Akash; Baier, Christel; Bock, Karlheinz; Ellinger, Frank; Fery, Andreas; Fitzek, Frank H. P.; Haertig, Hermann; Jamshidi, Kambiz; Kissinger, Thomas; Lehner, Wolfgang; Mertig, Michael; Nagel, Wolfgang E.; Nguyen, Giang T.; Plettemeier, Dirk; Schroeter, Michael; Strufe, Thorsten

COMMUNICATIONS OF THE ACM

IF12.2

2010-09-01

OAAI

Baier, Christel; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2007-04-01

PREAI

Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Kuntz, Matthias; Siegle, Markus

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2003-06-01

502

OAAI

Baier, C; Haverkort, B; Hermanns, H; Katoen, JP

研究方向