![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Christophe Morvan
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [j5]Éric Badouel, Loïc Hélouët, Christophe Morvan:
Petri Nets with Structured Data. Fundam. Informaticae 146(1): 35-82 (2016) - 2015
- [j4]Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand:
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Discret. Event Dyn. Syst. 25(1-2): 271-294 (2015) - [c12]Éric Badouel, Loïc Hélouët, Christophe Morvan:
Petri Nets with Structured Data. Petri Nets 2015: 212-233 - [c11]Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan:
A grammatical approach to data-centric case management in a distributed collaborative environment. SAC 2015: 1834-1839 - 2014
- [b1]Christophe Morvan:
Familles de graphes de présentation finie, propriétés et applications. University of Paris-Est, France, 2014 - [j3]Sébastien Chédor, Thierry Jéron
, Christophe Morvan:
Test generation from recursive tile systems. Softw. Test. Verification Reliab. 24(7): 532-557 (2014) - [i1]Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan:
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. CoRR abs/1405.3223 (2014) - 2012
- [j2]Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan:
Petri Net Reachability Graphs: Decidability Status of First Order Properties. Log. Methods Comput. Sci. 8(4) (2012) - [c10]Sébastien Chédor, Thierry Jéron
, Christophe Morvan:
Test Generation from Recursive Tiles Systems. TAP@TOOLS 2012: 99-114 - [c9]Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand:
Analysis of partially observed recursive tile systems. WODES 2012: 265-271 - 2011
- [c8]Philippe Darondeau, Stéphane Demri, Roland Meyer, Christophe Morvan:
Petri Net Reachability Graphs: Decidability Status of FO Properties. FSTTCS 2011: 140-151 - 2010
- [c7]Christophe Morvan:
Contextual Graph Grammars Characterising Rational Graphs. NCMA 2010: 141-153 - [c6]Nathalie Bertrand, Christophe Morvan:
Probabilistic regular graphs. INFINITY 2010: 77-90
2000 – 2009
- 2009
- [c5]Christophe Morvan, Sophie Pinchinat:
Diagnosability of Pushdown Systems. Haifa Verification Conference 2009: 21-33 - [c4]Christophe Morvan:
On external presentations of infinite graphs. INFINITY 2009: 23-35 - 2006
- [c3]Arnaud Carayol, Christophe Morvan:
On Rational Trees. CSL 2006: 225-239 - 2005
- [j1]Christophe Morvan, Chloe Rispal:
Families of automata characterizing context-sensitive languages. Acta Informatica 41(4-5): 293-314 (2005) - 2001
- [c2]Christophe Morvan, Colin Stirling:
Rational Graphs Trace Context-Sensitive Languages. MFCS 2001: 548-559 - 2000
- [c1]Christophe Morvan:
On Rational Graphs. FoSSaCS 2000: 252-266
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint