Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
Loïc Correnson
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
foaf:Person
, within Data Space :
data.idref.fr
associated with source
document(s)
Type:
Person
New Facet based on Instances of this Class
Attributes
Values
type
Person
sameAs
Correnson, Loïc
preferred label
Correnson, Loïc
name
Loïc Correnson
Given name
Loïc
familyName
Correnson
has biographical i...tion (Deprecated)
Examinateur d'une thèse de physique soutenue à l'université Paris Sud, Orsay en 2013
gender
male
Scopus ID
35106711100
is
sameAs
of
Correnson, Loïc
Correnson, Loïc
is
Author
of
Implementation of interdependent critical infrastructures for electricity supply
Time to Clean Your Test Objectives
Generic Programming by Program Composition (position paper)
Symbolic Composition
Composition Symbolique
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites
Proving Properties of Reactive Programs From C to Lustre
How to Deforest in Accumulative Parameters?
Equational Semantics
Schéma générique de développement par composition
Declarative Program Transformation: A Deforestation Case-Study
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software
is
primary topic
of
http://www.idref.fr/172259355
is
Opponent
of
http://www.sudoc.fr/172439590/id
http://www.sudoc.fr/201588730/id
http://www.sudoc.fr/201718456/id
Vérification formelle de programmes de génération de données structurées
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-2024 OpenLink Software