Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(43)
Ahmed Bouajjani
23
Tomas Vojnar (Tomás Vojnar)
18
Radu Iosif
8
Adam Rogalewicz
6
Markus Knuf
5
Conferences
(16)
CAV
4
ICALP
3
CONCUR
3
FCT
2
FoSSaCS
2
Journals
(5)
ACTA
2
FMSD
2
TCS
2
ENTCS
2
Immunologie Und Impfen
2
Keywords
(80)
Embed
Subscribe
Academic
Authors
Peter Habermehl
Edit
Peter Habermehl
UMR7089 Laboratoire d'Informatique Algorithmique: Fondements et Applications
Publications: 44
|
Citations: 617
|
G-Index: 24
|
H-Index: 14
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Software Engineering
,
Artificial Intelligence
View FAQ about top research area and research interests
Collaborated with
43 co-authors
from 1995 to 2011
; Cited by
449 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(44)
BibTeX
|
RIS
|
RefWorks
Download
Programs with lists are counter automata
Ahmed Bouajjani
,
Marius Bozga
,
Peter Habermehl
,
Radu Iosif
,
Pierre Moro
,
Tomás Vojnar
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 2, pp. 158-192, 2011
Automata-based verification of programs with tree updates
(
Citations: 2
)
Peter Habermehl
,
Radu Iosif
,
Tomáš Vojnar
Journal:
Acta Informatica - ACTA
, vol. 47, no. 1, pp. 1-31, 2010
On the Use of Non-deterministic Automata for Presburger Arithmetic
Antoine Durand-Gasselin
,
Peter Habermehl
Conference:
International Conference on Concurrency Theory - CONCUR
, pp. 373-387, 2010
The Downward-Closure of Petri Net Languages
Peter Habermehl
,
Roland Meyer
,
Harro Wimmel
Conference:
International Colloquium on Automata, Languages and Programming - ICALP
, pp. 466-477, 2010
Angluin-Style Learning of NFA
(
Citations: 10
)
Benedikt Bollig
,
Peter Habermehl
,
Carsten Kern
,
Martin Leucker
Conference:
International Joint Conference on Artificial Intelligence - IJCAI
, pp. 1004-1009, 2009
Order by:
Citations
(617 times by 422 publications)
Streaming transducers for algorithmic verification of single-pass list-processing programs
(
Citations: 2
)
Rajeev Alur
,
Pavol Černý
Published in 2011.
The tree width of auxiliary storage
(
Citations: 2
)
P. Madhusudan
,
Gennaro Parlato
Published in 2011.
Forward Analysis and Model Checking for Trace Bounded WSTS
(
Citations: 2
)
Pierre Chambart
,
Alain Finkel
,
Sylvain Schmitz
Conference:
Application and Theory of Petri Nets - APN
, 2011
Forward Analysis and Model Checking for Trace Bounded WSTS
(
Citations: 2
)
Pierre Chambart
,
Alain Finkel
,
Sylvain Schmitz
Conference:
Application and Theory of Petri Nets - APN
, vol. 6709, 2011
Model-Checking Coverability Graphs of Vector Addition Systems
(
Citations: 1
)
Michel Blockelet
,
Sylvain Schmitz
Conference:
Mathematical Foundations of Computer Science - MFCS
, vol. 6907, 2011
Comments