Skip to contents

LeMétayer, Daniel [Editor]; Le Métayer, Daniel [Editor] ; ESOP 11 2002 Grenoble, ETAPS 5 2002 Grenoble

Programming languages and systems : proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2305
Banâtre, Jean-Pierre [Editor]; LeMétayer, Daniel [Other] ; Workshop on Research Directions in High Level Parallel Programming Languages 1991 Mont-Saint-Michel

Research directions in high level parallel programming languages : Mont Saint-Michel, France, June 17 - 19, 1991 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 574
Banâtre, Jean-Pierre [Author]; Jones, Simon B. [Author]; Le Métayer, Daniel [Author]

Prospects for functional programming in software engineering

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1991

Published in: Research reports ESPRIT / 302 ; 1
Gutwirth, Serge [Editor] ; Conference on Privacy and Data Protection 2 2009 Brüssel

Data protection in a profiled world : [presented at the Second Conference on Privacy and Data Protection (CPDP 2009) held in Brussels in January 2009]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht, Heidelberg [u.a.]: Springer, 2010
Garlan, David [Author] ; Le Métayer, Daniel [Other]

Coordination Languages and Models : Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

Published in: Lecture notes in computer science ; 1282
Banatre, Jean Pierre [Author] ; Le Métayer, Daniel [Other]

Research Directions in High-Level Parallel Programming Languages : Mont Saint-Michel, France, June 17-19, 1991 Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

Published in: Lecture notes in computer science ; 574
Antignac, Thibaud [Author] ; Lyon, INSA [Contributor]; Le Métayer, Daniel [Contributor]

Méthodes formelles pour le respect de la vie privée par construction ; Formal methods for privacy by design

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2015-02-25
Joyee De, Sourya [Author]; Métayer, Daniel Le [Author]

Privacy Risk Analysis - [1st ed. 2016.]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2016. ; Cham: Imprint: Springer, 2016.

Published in: Synthesis Lectures on Information Security, Privacy, and Trust
Henin, Clément [Author] ; Lyon [Contributor]; Castelluccia, Claude [Contributor]; Le Métayer, Daniel [Contributor]

Expliquer et justifier les systèmes de décisions algorithmiques ; Explain and justify algorithmic decision systems

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2021-10-13
Celosia, Guillaume [Author] ; Lyon [Contributor]; Le Métayer, Daniel [Contributor]; Cunche, Mathieu [Contributor]

Privacy challenges in wireless communications of the Internet of Things ; Défis en matière de confidentialité dans les communications sans fil de l'Internet des objets

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2020-09-22
Berendt, Bettina [Editor]; Engel, Thomas [Editor]; Ikonomou, Demosthenes [Editor]; Le Métayer, Daniel [Editor]; Schiffner, Stefan [Editor]

Privacy Technologies and Policy : Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers - [1st ed. 2016]

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9484
Domingo-Ferrer, Josep [Contributor]; Hansen, Marit [Contributor]; Hoepman, Jaap-Henk [Contributor]; Le Métayer, Daniel [Contributor]; Tirtea, Rodica [Contributor]; Schiffner, Stefan [Contributor]; Danezis, George [Contributor] ; European Network and Information Security Agency

Privacy and data protection by design : from policy to engineering

View online
Schließen

Access

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heraklion: ENISA, [2014]
Le Métayer, Daniel

Accountability by Design : Invited Presentation at the Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software : Invited Presentation at the Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2012

Published in: Electronic Proceedings in Theoretical Computer Science, 94 (2012)
Le Métayer, Daniel

Software Engineering and Formal Methods: Formal Methods as a Link between Software Code and Legal Rules

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Software Engineering and Formal Methods (2011), Seite 3-18
Le Métayer, Daniel

Formal Aspects in Security and Trust: A Formal Privacy Management Framework

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Formal Aspects in Security and Trust (2009), Seite 162-176
Le Métayer, Daniel

Foundations of Security Analysis and Design IV: IT Security Analysis Best Practices and Formal Approaches

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2007

Published in: Foundations of Security Analysis and Design IV (2007), Seite 75-91
Métayer, Daniel Le

Foreword

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2000

Published in: Theoretical Computer Science, 240 (2000) 1, Seite 1-2
Le Métayer, Daniel

Program analysis for software engineering : new applications, new requirements, new tools : new applications, new requirements, new tools

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1997

Published in: ACM SIGPLAN Notices, 32 (1997) 1, Seite 86-88
Le Métayer, Daniel

Program analysis for software engineering : new applications, new requirements, new tools : new applications, new requirements, new tools

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1996

Published in: ACM Computing Surveys, 28 (1996) 4es, Seite 167
Le Métayer, Daniel

Software architecture styles as graph grammars

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1996

Published in: ACM SIGSOFT Software Engineering Notes, 21 (1996) 6, Seite 15-23

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication