| On rational graphs C Morvan Foundations of Software Science and Computation Structures, 252-266, 2000 | 90 | 2000 |
| Rational graphs trace context-sensitive languages C Morvan, C Stirling Mathematical Foundations of Computer Science 2001, 548-559, 2001 | 46 | 2001 |
| Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems S Chédor, C Morvan, S Pinchinat, H Marchand Discrete Event Dynamic Systems 25, 271-294, 2015 | 29 | 2015 |
| Petri nets with structured data E Badouel, L Hélouët, C Morvan Fundamenta Informaticae 146 (1), 35-82, 2016 | 27 | 2016 |
| Active workspaces: distributed collaborative systems based on guarded attribute grammars E Badouel, L Hélouët, GE Kouamou, C Morvan, NR Fondze Jr ACM SIGAPP Applied Computing Review 15 (3), 6-34, 2015 | 26 | 2015 |
| Diagnosability of pushdown systems C Morvan, S Pinchinat Haifa Verification Conference, 21-33, 2009 | 25 | 2009 |
| On rational trees A Carayol, C Morvan International Workshop on Computer Science Logic, 225-239, 2006 | 16 | 2006 |
| Families of automata characterizing context-sensitive languages C Morvan, C Rispal Acta Informatica 41, 293-314, 2005 | 16 | 2005 |
| Les graphes rationnels C Morvan Université de Rennes 1, 2001 | 16 | 2001 |
| Petri net reachability graphs: Decidability status of first order properties P Darondeau, S Demri, R Meyer, C Morvan Logical Methods in Computer Science 8, 2012 | 14 | 2012 |
| Test generation from recursive tile systems S Chédor, T Jéron, C Morvan Software Testing, Verification and Reliability 24 (7), 532-557, 2014 | 8 | 2014 |
| Petri net reachability graphs: Decidability status of FO properties P Darondeau, S Demri, R Meyer, C Morvan IARCS Annual Conference on Foundations of Software Technology and …, 2011 | 8 | 2011 |
| A grammatical approach to data-centric case management in a distributed collaborative environment E Badouel, L Hélouët, GE Kouamou, C Morvan arXiv preprint arXiv:1405.3223, 2014 | 5 | 2014 |
| Analysis of partially observed recursive tile systems S Chédor, C Morvan, S Pinchinat, H Marchand IFAC Proceedings Volumes 45 (29), 265-271, 2012 | 5 | 2012 |
| A grammatical approach to data-centric case management in a distributed collaborative environment E Badouel, L Hélouët, GE Kouamou, C Morvan Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1834-1839, 2015 | 4 | 2015 |
| Classes of rational graphs C Morvan Journées Montoises 6, 2006 | 4 | 2006 |
| Probabilistic regular graphs N Bertrand, C Morvan arXiv preprint arXiv:1011.0222, 2010 | 3 | 2010 |
| Contextual graph grammars characterising Rational Graphs C Morvan Workshop on Non-Classical Models for Automata and Applications 2010, 141-153, 2010 | 2* | 2010 |
| Management in a Distributed Collaborative Environment E Badouel, L Hélouët, C Morvan | | 2015 |
| Familles de graphes de présentation finie, propriétés et applications C Morvan Université Paris-Est, 2014 | | 2014 |
Loic HelouetINRIA Rennes在 inria.fr 的电子邮件经过验证
