André Platzer - Publications, H-index & Citations

Back

André Platzer

helmholtz association

37H-index

244Paper Count

5.6KCitation Count

Published Papers 10

Publication Date

INTEGRATED FORMAL METHODS, IFM 2025

IF0

2026-01-01

PREAI

Hellwig, Jonathan; Schaefer, Lukas; Qian, Long; Platzerl, Andre; Althoff, Matthias

Save

INTEGRATED FORMAL METHODS, IFM 2025

IF0

2026-01-01

PREAI

Isasa, Carlos; El Wafa, Noah Abou; Gomes, Claudio; Larsen, Peter Gorm; Platzer, Andre

Save

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025

IF0

2026-01-01

OAAI

Butte, Julia; Platzer, Andre

Save

RIGOROUS STATE-BASED METHODS, ABZ 2025

IF0

2026-01-01

PREAI

Prebet, Enguerrand; Teuber, Samuel; Platzer, Andre

Save

Journal of the ACM

IF2.5

2025-12-01

PREAI

Platzer, Andre; Qian, Long

Save

INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH

IF5

2017-10-10

OAAI

Mitsch, Stefan; Ghorbal, Khalil; Vogelbacher, David; Platzer, Andre

Save

IEEE CONTROL SYSTEMS MAGAZINE

IF6.3

2017-04-01

PREAI

Franchetti, Franz; Low, Tze Meng; Mitsch, Stefan; Mendoza, Juan Pablo; Gui, Liangyan; Phaosawasdi, Amarin; Padua, David; Kar, Soummya; Moura, Jose M. F.; Franusich, Michael; Johnson, Jeremy; Platzer, Andre; Veloso, Manuela M.

Save

ACM COMPUTING SURVEYS

IF28

2015-08-10

PREAI

Mitsch, Stefan; Platzer, Andre; Retschitzegger, Werner; Schwinger, Wieland

Save

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2014-12-01

PREAI

Rajhans, Akshay; Bhave, Ajinkya; Ruchkin, Ivan; Krogh, Bruce H.; Garlan, David; Platzer, Andre; Schmerl, Bradley

Save

IEEE INTELLIGENT SYSTEMS

IF6.1

2009-07-01

PREAI

Platzer, Andre

Save

Research Directions