About: Christine Choppy

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Christine Choppy Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Choppy, Christine (19..-.... ; professeur en informatique) Choppy, Christine (19..-.... ; professeur en informatique) Choppy, Christine (19..-.... ; professeur en informatique)
Life Event	http://www.idref.fr/089054059/birth
preferred label	Choppy, Christine (19..-.... ; professeur en informatique)
name	Christine Choppy
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra
isni:identifierValid	0000000117596232
Given name	Christine
familyName	Choppy
has biographical i...tion (Deprecated)	Directeur de thèse à l'Université de Paris 7, 2004 Professeur des Universités à l'Institut Galilée de l'université Paris 13 et membre du LIPN (Laboratoire d'Informatique de Paris Nord).
Scopus ID	6602915716
is Thesis advisor of	http://www.sudoc.fr/180611259/id Rigorous and formal approaches for modelling and designing service systems http://www.sudoc.fr/147719038/id http://www.sudoc.fr/180611011/id http://www.sudoc.fr/180611127/id http://www.sudoc.fr/177126345/id http://www.sudoc.fr/186323921/id Reconnaissance de comportements complexes par traitement en ligne de flux d'événements http://www.sudoc.fr/089054008/id http://www.sudoc.fr/190932090/id http://www.sudoc.fr/186323220/id Méthodologie de conception des modèles exprimés en réseaux Petri, Raffinement des réseaux de Petri colorés http://www.sudoc.fr/049584448/id http://www.sudoc.fr/248047086/id http://www.sudoc.fr/24794081X/id Détection d'activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA http://www.sudoc.fr/259587478/id http://www.sudoc.fr/248056719/id Topos, un modèle pour l'informatique http://www.sudoc.fr/06678218X/id http://www.sudoc.fr/235852449/id http://www.sudoc.fr/246820942/id
is Author of	http://www.sudoc.fr/015667537/id Complexity analysis of term rewriting systems http://www.sudoc.fr/015676978/id http://www.sudoc.fr/021416184/id http://www.sudoc.fr/015667669/id http://www.sudoc.fr/015671615/id http://www.sudoc.fr/021404909/id http://www.sudoc.fr/015676862/id http://www.sudoc.fr/027167062/id From informal requirements to COOP: a concurrent automata approach Integration and composition of static and dynamic "views": Unifying approach to complex system specification A global semantics for views Concurrency and Data Types: a Specification Method. An Example with LOTOS Formal specification of mixed components with Korrigan The Korrigan Environment https://zbmath.org/4092743#id https://zbmath.org/6274301#id
is primary topic of	http://www.idref.fr/089054059
is Publishing director of	http://www.sudoc.fr/015994929/id http://www.sudoc.fr/155219847/id http://www.sudoc.fr/146477405/id Recent trends in data type specification, 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991
is Opponent of	http://www.sudoc.fr/043579744/id http://www.sudoc.fr/043590411/id http://www.sudoc.fr/171902246/id ASSPEGIQUE, un environnement d'exceptions, une sémantique opérationnelle des E, R-algèbres, formalisme prenant en compte les exceptions, un environnement integré de spécification algébrique, ASSPEGIQUE http://www.sudoc.fr/245659250/id http://www.sudoc.fr/245651837/id Analyse algorithmique des réseaux de Petri, vérification d'espace d'accueil, systèmes de réécriture
is Contributor of	http://www.sudoc.fr/015663884/id http://www.sudoc.fr/015663779/id http://www.sudoc.fr/015664147/id http://www.sudoc.fr/020868553/id
is Thesis referee of	http://www.sudoc.fr/240112288/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software