Concepedia
Statistics
Publications
3
Citations
86
H-Index
Active since
2006
Affiliations
Uppsala University(Current)
Université Paris Cité
Informa (Sweden)
Julien d’Orso is an author at Uppsala University specializing in formal methods, model checking, and computer science.
Publications per year
2006–2011
Monotonic and Downward Closed Games
Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso · Journal of Logic and Computation · 2007 · 31 citations
Social Sciences, Mathematics, Algorithms +7
Regular model checking for LTL(MSO)
Parosh Aziz Abdulla, Bengt Jönsson, Marcus Nilsson et al. · International Journal on Software Tools for Technology Transfer · 2011 · 30 citations
Computing, Computer Science, Formal Methods +7
Tree regular model checking: A simulation-based approach
Parosh Aziz Abdulla, Axel Legay, Julien d’Orso et al. · The Journal of Logic and Algebraic Programming · 2006 · 25 citations
Computing, Computer Science, Computer Systems +9
1–3 of 3