Christophe Morvan
According to our database1,
Christophe Morvan
authored at least 17 papers
between 2000 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
4
1
1
1
1
1
1
2
1
2
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
2015
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems.
Discret. Event Dyn. Syst., 2015
A grammatical approach to data-centric case management in a distributed collaborative environment.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
2014
2012
Log. Methods Comput. Sci., 2012
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Proceedings of the Tests and Proofs - 6th International Conference, 2012
2011
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
2010
Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010
Contextual Graph Grammars Characterising Rational Graphs.
Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010
2009
Proceedings of the Proceedings International Workshop on Verification of Infinite-State Systems, 2009
Proceedings of the Hardware and Software: Verification and Testing, 2009
2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
Acta Informatica, 2005
2001
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
2000
Proceedings of the Foundations of Software Science and Computation Structures, 2000