Search the dblp DataBase
Julien d'Orso: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, Julien d'Orso
Regular Tree Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 2002, pp:555-568 [Conf] - Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
Algorithmic Improvements in Regular Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:236-248 [Conf] - Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
Regular Model Checking for LTL(MSO). [Citation Graph (0, 0)][DBLP]
CAV, 2004, pp:348-360 [Conf] - Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
Regular Model Checking Made Simple and Efficient. [Citation Graph (0, 0)][DBLP]
CONCUR, 2002, pp:116-130 [Conf] - Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso
Deciding Monotonic Games. [Citation Graph (0, 0)][DBLP]
CSL, 2003, pp:1-14 [Conf] - Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
Simulation-Based Iteration of Tree Transducers. [Citation Graph (0, 0)][DBLP]
TACAS, 2005, pp:30-44 [Conf] - Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine
Tree regular model checking: A simulation-based approach. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2006, v:69, n:1-2, pp:93-121 [Journal]
Regular Hedge Model Checking. [Citation Graph (, )][DBLP]
Search in 0.016secs, Finished in 0.017secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002