Peter Habermehl

Statistics

Publications

Citations

697

H-Index

Active since

1995

Affiliations

Laboratoire d'Informatique Algorithmique: Fondements et Applications(Current)

Université Paris Cité

Brno University of Technology

Centre National de la Recherche Scientifique

Verimag

Peter Habermehl is an author at Laboratoire d'Informatique Algorithmique: Fondements et Applications specializing in computer science, computing, and formal methods.

ORCID

Publications per year

1995–2014

Publications

Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations

Ahmed Bouajjani, Peter Habermehl · Theoretical Computer Science · 1999 · 100 citations

Computing, Computer Engineering, Computer Science +5

Angluin-Style Learning of NFA

Benedikt Bollig, Peter Habermehl, Carsten Kern et al. · RWTH Publications (RWTH Aachen) · 2008 · 97 citations · Full text

Computing, Computer Science, Algorithms +11

Programs with Lists Are Counter Automata

Ahmed Bouajjani, Marius Bozga, Peter Habermehl et al. · Lecture notes in computer science · 2006 · 96 citations · Full text

Computing, Computer Science, Algorithms +10

Abstract regular (tree) model checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz et al. · International Journal on Software Tools for Technology Transfer · 2011 · 62 citations

Computing, Computer Science, Formal Methods +7

Regular Model Checking Using Inference of Regular Languages

Peter Habermehl, Tomáš Vojnar · Electronic Notes in Theoretical Computer Science · 2005 · 58 citations · Full text

Computing, Computer Science, Computer Systems +17

1–5 of 16