| Algorithms for omega-regular games with imperfect information K Chatterjee, L Doyen, TA Henzinger, JF Raskin International Workshop on Computer Science Logic, 287-302, 2006 | 193 | 2006 |
| Antichains: A new algorithm for checking universality of finite automata M De Wulf, L Doyen, TA Henzinger, JF Raskin International Conference on Computer Aided Verification, 17-30, 2006 | 184 | 2006 |
| Generalized mean-payoff and energy games K Chatterjee, L Doyen, TA Henzinger, JF Raskin arXiv preprint arXiv:1007.1669, 2010 | 134 | 2010 |
| Quantitative languages K Chatterjee, L Doyen, TA Henzinger ACM Transactions on Computational Logic (TOCL) 11 (4), 23, 2010 | 131 | 2010 |
| Quantitative languages K Chatterjee, L Doyen, TA Henzinger International Workshop on Computer Science Logic, 385-400, 2008 | 118 | 2008 |
| Faster algorithms for mean-payoff games L Brim, J Chaloupka, L Doyen, R Gentilini, JF Raskin Formal methods in system design 38 (2), 97-118, 2011 | 117 | 2011 |
| Interface theories with component reuse L Doyen, TA Henzinger, B Jobstmann, T Petrov Proceedings of the 8th ACM international conference on Embedded software, 79-88, 2008 | 92 | 2008 |
| Energy parity games K Chatterjee, L Doyen Theoretical Computer Science 458, 49-60, 2012 | 91 | 2012 |
| Almost ASAP semantics: From timed models to timed implementations M De Wulf, L Doyen, JF Raskin International Workshop on Hybrid Systems: Computation and Control, 296-310, 2004 | 88 | 2004 |
| Antichain algorithms for finite automata L Doyen, JF Raskin International Conference on Tools and Algorithms for the Construction and …, 2010 | 81 | 2010 |
| Expressiveness and closure properties for quantitative languages K Chatterjee, L Doyen, TA Henzinger 2009 24th Annual IEEE Symposium on Logic In Computer Science, 199-208, 2009 | 81 | 2009 |
| Energy parity games K Chatterjee, L Doyen International Colloquium on Automata, Languages, and Programming, 599-610, 2010 | 77 | 2010 |
| The complexity of multi-mean-payoff and multi-energy games Y Velner, K Chatterjee, L Doyen, TA Henzinger, A Rabinovich, JF Raskin Information and Computation 241, 177-196, 2015 | 76 | 2015 |
| The complexity of multi-mean-payoff and multi-energy games Y Velner, K Chatterjee, L Doyen, TA Henzinger, A Rabinovich, JF Raskin arXiv preprint arXiv:1209.3234, 2012 | 76 | 2012 |
| Robustness and implementability of timed automata M De Wulf, L Doyen, N Markey, JF Raskin Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004 | 76 | 2004 |
| Robust safety of timed automata M De Wulf, L Doyen, N Markey, JF Raskin Formal Methods in System Design 33 (1-3), 45-84, 2008 | 75 | 2008 |
| Energy and mean-payoff games with imperfect information A Degorre, L Doyen, R Gentilini, JF Raskin, S Toruńczyk International Workshop on Computer Science Logic, 260-274, 2010 | 73 | 2010 |
| Almost ASAP semantics: from timed models to timed implementations M De Wulf, L Doyen, JF Raskin Formal Aspects of Computing 17 (3), 319-341, 2005 | 72 | 2005 |
| A lattice theory for solving games of imperfect information M De Wulf, L Doyen, JF Raskin International Workshop on Hybrid Systems: Computation and Control, 153-168, 2006 | 71 | 2006 |
| Antichains: Alternative algorithms for LTL satisfiability and model-checking M De Wulf, L Doyen, N Maquet, JF Raskin International Conference on Tools and Algorithms for the Construction and …, 2008 | 68 | 2008 |
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
