( en | de | ru )

 

Disambiguierung von "Métayer, Daniel Le"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Shape Types.

, und . POPL, Seite 27-39. ACM Press, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Le Le Win

Lê Tâm

Le Lan

Rong Le

Le Cao

 

Weitere Publikationen von Autoren mit dem selben Namen

Compile-Time Detection of Information Flow in Sequential Programs., , und . ESORICS, Volume 875 von Lecture Notes in Computer Science, Seite 55-73. Springer, (1994)Lazy Type Inference for the Strictness Analysis of Lists., und . ESOP, Volume 788 von Lecture Notes in Computer Science, Seite 257-271. Springer, (1994)A Calculus of Gamma Programs., , und . LCPC, Volume 757 von Lecture Notes in Computer Science, Seite 342-355. Springer, (1992)Privacy by Design: From Technologies to Architectures - (Position Paper)., und . APF, Volume 8450 von Lecture Notes in Computer Science, Seite 1-17. Springer, (2014)Formal Methods in Practice: The Missing Links. A Perspective from the Security Area., , und . MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 169-182. Springer, (2000)A General Trace-Based Framework of Logical Causality., und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 157-173. Springer, (2013)From the Protection of Data to the Protection of Individuals: Extending the Application of Non-discrimination Principles., und . European Data Protection, Springer, (2012)Position Paper: Analyzing the Impacts of Facial Recognition., und . APF, Volume 12121 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2020)Describing Software Architecture Styles Using Graph Grammars.. IEEE Trans. Software Eng., 24 (7): 521-533 (1998)Formal Methods as a Link between Software Code and Legal Rules.. SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2011)