Abadi, Mart�n.
Abadi, Mart�n 1963-
Mart�n Abadi Argentinian computer scientist
Abadi, M. (Martín)
VIAF ID: 29701841 (Personal)
Permalink: http://viaf.org/viaf/29701841
Preferred Forms
- 200 _ | ‡a Abadi ‡b Martín
-
- 100 1 _ ‡a Abadi, Martin
- 100 1 0 ‡a Abadi, Martín
-
-
-
- 100 1 _ ‡a Abadi, Martín ‡d 1963-
- 100 1 _ ‡a Abadi, Martín ‡d 1963-
- 100 1 _ ‡a Abadi, Martín, ‡d 1963-....
-
- 100 1 _ ‡a Abadi, Martín
-
-
-
- 100 1 _ ‡a Abadi, Martín ‡d 1963-
-
- 100 0 _ ‡a Martín Abadi ‡c Argentinian computer scientist
4xx's: Alternate Name Forms (12)
5xx's: Related Names (7)
- 510 2 _ ‡a Collège de France
- 510 2 _ ‡a Laboratoire d'informatique signaux et systèmes de Sophia-Antipolis. Université de Nice-Sophia Antipolis
- 510 2 _ ‡a Microsoft Research
- 510 2 _ ‡a Microsoft Research ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Springer-Verlag (Berlin)
- 510 2 _ ‡a Stanford University ‡b Computer Science Department
- 510 2 _ ‡a TACS '97 (1997 : Sendai-han, Japan)
Works
Title | Sources |
---|---|
Adversarial Patch | |
A calculus for access control in distributed systems | |
Certified email with a light on-line trusted third party | |
Composing specifications | |
Computer-assisted verification of a protocol for certified email | |
CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings | |
Control-flow integrity principles, implementations, and applications | |
Deep Learning with Differential Privacy | |
Dynamic typing in a statically typed language | |
Explicit Substitutions | |
Exponential distribution for the occurrence of rare patterns in Gibbsian random fields | |
The geometry of optimal lambda reduction | |
An imperative object calculus | |
Just fast keying in the pi calculus | |
POST 2014 | |
Principles of Security and Trust Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings | |
La s�curit� informatique | |
TACS'97 | |
Temporal-logic theorem proving, 1987 | |
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems | |
TGC 2013 | |
Theoretical aspects of computer software : third international symposium, TACS'97, Sendai, Japan, September 23-26, 1997 : proceedings | |
A theory of objects | |
Trustworthy global computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers | |
A type system for Java bytecode subroutines |