Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Martín Abadi - Home Page
[go: Go Back, main page]

Martín Abadi - Home Page

Contact information

Papers by subject

Patents

A book: A Theory of Objects

Some future conferences:

  • Sixteenth International Conference on Concurrency Theory (CONCUR 2005)

    Some journals:

  • Logical Methods in Computer Science
  • International Journal of Information Security
  • Information and Computation
  • Journal of the ACM
  • ACM Transactions on Programming Languages and Systems

    A magazine:

  • IEEE Security & Privacy

    Miscellaneous records:

  • Some courses
  • A workshop: Workshop on security and languages (October 1997)

    Information for prospective students. (Please see this before sending me e-mail on admissions.)

    Martín Abadi