|
П |
Dynamic Typing in a Statically Typed Language |
1989 |
Abadi M., Cardelli L., Pierce B. C., Plotkin G. D. |
|
|
Digital |
|
02.04.2013 |
|
СТ |
A Logical Account of NGSCB |
2004 |
Abadi M., Wobber T. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.01.2005 |
|
СТ |
Computer-Assisted Verification of a Protocol for Certified Email |
2003 |
Abadi M., Blanchet B. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Authentication Primitives and Their Compilation |
2000 |
Abadi M., Fournet C., Gonthier G. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
М |
A Theory of Objects |
1998 |
Abadi M., Cardelli L. |
Monographs in Computer Science |
|
|
|
09.12.1999 |
|
СТ |
Sicurity Protocols and Specifications |
1999 |
Abadi M. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
П |
A Logic of Object-Oriented Programs |
1998 |
Abadi M., Leino K.R. M. |
|
|
Digital |
|
17.02.1999 |
|
П |
A Type System for Java Bytecode Subroutines |
1998 |
Stata R., Abadi M. |
|
|
Digital |
|
13.08.1998 |
|
СТ |
A Bisimulation Method for Cryptographic Protocols |
1998 |
Abadi M., Gordon A. D. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
П |
A Calculus for Cryptographic Protocols: The Spi Calculus |
1998 |
Abadi M., Gordon A. D. |
|
|
Digital |
Acta Informatica |
18.03.1998 |
|
СТ |
Analysis and Caching of Dependencies |
1996 |
Abadi M., Lampson B., Levy J. -J. |
|
|
|
SIGPLAN Notices |
11.09.1996 |
|
СТ |
An Abstract Account of Composition |
1995 |
Abadi M., Merz S. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
24.10.1995 |
|
СТ |
On Subtyping and Matching |
1995 |
Abadi M., Cardelli L. |
Lecture Notes in Computer Science |
|
|
ECOOP 95 - Object-Oriented Programming |
26.09.1995 |
|
СТ |
An Imperative Object Calculus |
1995 |
Abadi M., Cardelli L. |
|
|
|
Lecture Notes in Computer Science |
20.06.1995 |
|
СТ |
Methods as Assertions |
1995 |
Lamping J., Abadi M. |
|
|
|
Theory and Practice of Object Systems |
14.06.1995 |
|
СТ |
A Model for Formal Parametric Polymorphism: A PER Interpretation for System R |
1995 |
Bellucci R., Abadi M., Curien P. -L. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
|
П |
Dynamic Typing in Polymorphic Languages |
1994 |
Abadi M., Cardelli L., Pierce B., Remy D. |
|
|
Digital |
|
20.09.1994 |
|
П |
Extensible Syntax with Lexical Scoping |
1994 |
Cardelli L., Matthes F., Abadi M. |
|
|
Digital |
|
20.09.1994 |
|
П |
Prudent Engineering Practice for Cryptographic Protocols |
1994 |
Abadi M., Needham R. |
|
|
Digital |
|
20.09.1994 |
|
П |
Conjoining Specifications |
1993 |
Abadi M., Lamport L. |
|
|
Digital |
|
21.05.1994 |
|
П |
Authentication in the Taos Operating System |
1993 |
Wobber E., Abadi M., Burrows M., Lampson B. |
|
|
Digital |
|
14.05.1994 |
|
СТ |
A Theory of Primitive Objects: Second-Order Systems |
1994 |
Abadi M., Cardelli L. |
|
|
|
Lecture Notes in Computer Science |
06.05.1994 |
|
П |
Baby Modula-3 and a Theory of Objects |
1993 |
Abadi M. |
|
|
Digital |
|
24.02.1994 |
|
СТ |
A Calculus for Access Control in Distributed Systems |
1993 |
Abadi M., Burrows M., Lampson B., Plotkin G. |
|
|
|
ACM Trans. Programming Languages and Systems |
25.11.1993 |
|
П |
Formal Parametric Polymorphism |
1993 |
Abadi M., Cardelli L., Curien P. -L. |
|
|
Digital |
|
30.10.1993 |
|
П |
Autentication in Distributed Systems: Theory and Practice |
1992 |
Lampson B., Abadi M., Burrows M., Wobber E. |
|
|
Digital |
|
28.10.1992 |
|
СТ |
An Old-Fashioned Recipe for Real Time |
1992 |
Abadi M., Lamport L. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
|
П |
Authentication and Delegation with Smart-cards |
1991 |
Abadi M., Burrows M., Kaufman C., Lampson B. |
|
|
|
|
07.02.1992 |
|
СТ |
Authentication in Distributed Systems: Theory and Practice |
1991 |
Lampson B., Abadi M., Burrows M., Wobber E. |
|
|
|
Operating Systems Review |
19.12.1991 |
|
П |
An Axiomatization of Lamport s Temporal Logic of Actions |
1991 |
Abadi M. |
|
|
Digital |
|
16.08.1991 |
|
П |
Composing Specifications |
1991 |
Abadi M., Lamport L. |
|
|
Digital |
|
16.08.1991 |
|
П |
Explicit Substitutions |
1990 |
Abadi M., Cardelli L., Curien P., Levy J. |
|
|
Digital |
|
02.03.1991 |
