|
Search the dblp DataBase
Adam Rogalewicz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. [Citation Graph (0, 0)][DBLP] SAS, 2006, pp:52-70 [Conf]
- Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar
Abstract Regular Tree Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:37-48 [Journal]
- Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar
Proving Termination of Tree Manipulating Programs. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:145-161 [Conf]
Automata-Based Termination Proofs. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs
|