Spremljaj
Christophe Morvan
Christophe Morvan
Associate Professor Université Gustave Eiffel
Preverjeni e-poštni naslov na u-pem.fr - Domača stran
Naslov
Navedeno
Navedeno
Leto
On rational graphs
C Morvan
Foundations of Software Science and Computation Structures, 252-266, 2000
892000
Rational graphs trace context-sensitive languages
C Morvan, C Stirling
Mathematical Foundations of Computer Science 2001, 548-559, 2001
452001
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
292015
Petri nets with structured data
E Badouel, L Hélouët, C Morvan
Fundamenta Informaticae 146 (1), 35-82, 2016
262016
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
262015
Diagnosability of pushdown systems
C Morvan, S Pinchinat
Haifa Verification Conference, 21-33, 2009
252009
Families of automata characterizing context-sensitive languages
C Morvan, C Rispal
Acta Informatica 41, 293-314, 2005
182005
On rational trees
A Carayol, C Morvan
International Workshop on Computer Science Logic, 225-239, 2006
172006
Les graphes rationnels
C Morvan
Université de Rennes 1, 2001
172001
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
152012
Test generation from recursive tile systems
S Chédor, T Jéron, C Morvan
Software Testing, Verification and Reliability 24 (7), 532-557, 2014
82014
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
82011
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
52014
Analysis of partially observed recursive tile systems
S Chédor, C Morvan, S Pinchinat, H Marchand
IFAC Proceedings Volumes 45 (29), 265-271, 2012
52012
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
42015
Classes of rational graphs
C Morvan
Journées Montoises 6, 2006
42006
Probabilistic regular graphs
N Bertrand, C Morvan
arXiv preprint arXiv:1011.0222, 2010
32010
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
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20