Concepedia

Adam Rogalewicz

AR

4

Publications

122

Citations

4

H-Index

2006

Active since

Affiliations

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

Brno University of Technology

Centre National de la Recherche Scientifique

Université Paris Cité

Adam Rogalewicz is an author at Laboratoire d'Informatique Algorithmique: Fondements et Applications specializing in automated reasoning, formal verification, and verification.

ORCID

Top concepts

Publications per year

2006–2012

4

Publications

4

Abstract regular (tree) model checking

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

, , +7

Abstract Regular Tree Model Checking

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz et al. · Electronic Notes in Theoretical Computer Science · 2006 · 32 citations · Full text

Forest automata for verification of heap manipulation

Peter Habermehl, Lukáš Holík, Adam Rogalewicz et al. · Formal Methods in System Design · 2012 · 18 citations

, , +8

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz et al. · 2006 · 11 citations · Full text

Rows per page

1–4 of 4