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
-
-
- 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 |
---|---|
CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings | |
Explicit Substitutions | |
Exponential distribution for the occurrence of rare patterns in Gibbsian random fields | |
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 | |
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 |