Le Métayer, Daniel 1959-
Le Métayer, D. (Daniel)
Le Métayer, D.
Le Métayer, Daniel
VIAF ID: 8298845 (Personal)
Permalink: http://viaf.org/viaf/8298845
Preferred Forms
-
-
-
-
- 100 1 0 ‡a Le Métayer, D. ‡q (Daniel)
-
- 100 1 _ ‡a Le Métayer, Daniel ‡d 1959-
- 100 1 _ ‡a Le Métayer, Daniel, ‡d 1959-....
-
- 100 1 _ ‡a Le Métayer, D. ‡q (Daniel)
-
-
- 100 1 _ ‡a Le Métayer, Daniel ‡d 1959-
4xx's: Alternate Name Forms (20)
Works
Title | Sources |
---|---|
3d articuled motion analysis and tracking: application to human motion study. | |
Amélioration de la protection de la vie privée dans les systèmes de réseaux sociaux par la décentralisation et la gestion des conflits de politiques. | |
Améliorer la transparence et le consentement dans l'Internet des objets. | |
ANALYSE ET SUIVI DU MOUVEMENT 3D ARTICULE : APPLICATION A L'ETUDE DU MOUVEMENT HUMAIN | |
Analysis and implementation techniques of gamma programs. | |
COMPILATION D'UN LANGAGE SPECIALISE POUR MACHINE MASSIVEMENT PARALLELE | |
Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings | |
Coordination programming : mechanisms, models, and semantics | |
Décider avec les algorithmes : quelle place pour l'homme, quelle place pour le droit? | |
DECRIRE ET COMPARER LES MISES EN OEUVRE DE LANGAGES FONCTIONNELS | |
Défis en matière de confidentialité dans les communications sans fil de l'Internet des objets. | |
DERIVATION D'ANALYSEURS DYNAMIQUES ET STATIQUES A PARTIR DE SPECIFICATIONS OPERATIONNELLES | |
Derivation of static analysers of functional programs from path properties of a natural semantics | |
Dynamic slicing : a generic analysis based on a natural semantics format | |
Enhancing privacy protection in social network systems through decentralization and policy conflict management | |
Enhancing transparency and consent in the internet of things | |
ESOP 2002 | |
ETAPS 2002 | |
Etude et réalisation de schémas d'évaluation parallèle pour langages fonctionnels | |
Expliquer et justifier les systèmes de décisions algorithmiques | |
The flow of personal data in the cloud : a study of substantive law within the European Union context. | |
Formal approaches to information hiding : an analysis of interactive systems statistical disclosure control and refinement of specifications | |
Formal methods for privacy by design. | |
A formal model for accountability | |
Formalization and verification of coherence protocols with the Gamma framework | |
From the Protection of Data to the Protection of Individuals : Extending the Application of Non-discrimination Principles | |
An inference algorithm for the static verification of pointer manipulation | |
L'approche fonctionnelle : de la théorie à la pratique | |
Maîtriser l'IA au service de l'action publique une responsabilité individuelle et collective | |
Mechanical proofs of security properties | |
A METHOD AND A TOOL TO HELP THE SOFTWARE TESTS SUITES GENERATION. | |
UNE METHODE ET UN OUTIL POUR L'AIDE A LA GENERATION DE JEUX DE TESTS DE LOGICIELS | |
Méthodes formelles pour le respect de la vie privée par construction | |
Un modèle formel pour la responsabilisation. | |
A new computational model and its discipline of programming | |
Le phénomène de circulation des données à caractère personnel dans le cloud : étude de droit matériel dans le contexte de l'Union européenne | |
PREUVES DE PROPRIETES DE CLASSES DE PROGRAMMES PAR DERIVATION SYSTEMATIQUE DE JEUX DE TEST | |
Privacy by Design: a Matter of Choice | |
Privacy challenges in wireless communications of the Internet of Things | |
Privacy risk analysis | |
Privacy Technologies and Policy : Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers | |
Programming by multiset transformation | |
Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings | |
Prospects for functional programming in software engineering | |
Le régime juridique applicable aux dysfonctionnements du logiciel | |
Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings | |
Security and dynamic class loading in Java : a formalisation | |
The softwares' liability and warranty. | |
Structured Gamma | |
TECHNIQUES D'ANALYSE ET DE MISE EN ŒUVRE DES PROGRAMMES GAMMA | |
Les technologies de l'information au service des droits : opportunités, défis, limites | |
Vérification de politiques de sécurité par analyse de programmes |