@inproceedings{AbadiP90,
  title = {A Per Model of Polymorphism and Recursive Types},
  author = {Martín Abadi and Gordon D. Plotkin},
  year = {1990},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/AbadiP90},
  cites = {0},
  citedby = {0},
  pages = {355-365},
  booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{FioreA01,
  title = {Computing Symbolic Models for Verifying Cryptographic Protocols},
  author = {Marcelo P. Fiore and Martín Abadi},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/csfw/2001/1146/00/11460160abs.htm},
  tags = {protocol},
  researchr = {https://researchr.org/publication/FioreA01},
  cites = {0},
  citedby = {0},
  pages = {160-173},
  booktitle = {14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1146-5},
}

@inproceedings{Abadi01,
  title = {Leslie Lamport s properties and actions},
  author = {Martín Abadi},
  year = {2001},
  doi = {10.1145/383962.383973},
  url = {http://doi.acm.org/10.1145/383962.383973},
  researchr = {https://researchr.org/publication/Abadi01},
  cites = {0},
  citedby = {0},
  pages = {15},
  booktitle = {PODC},
}

@article{AbadiCPP91,
  title = {Dynamic Typing in a Statically Typed Language},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1991},
  doi = {10.1145/103135.103138},
  url = {http://doi.acm.org/10.1145/103135.103138},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPP91},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {13},
  number = {2},
  pages = {237-268},
}

@inproceedings{AbadiCCL90,
  title = {Explicit Substitutions},
  author = {Martín Abadi and Luca Cardelli and Pierre-Louis Curien and Jean-Jacques Lévy},
  year = {1990},
  researchr = {https://researchr.org/publication/AbadiCCL90},
  cites = {0},
  citedby = {0},
  pages = {31-46},
  booktitle = {POPL},
}

@article{AbadiBLP93,
  title = {A Calculus for Access Control in Distributed Systems},
  author = {Martín Abadi and Michael Burrows and Butler W. Lampson and Gordon D. Plotkin},
  year = {1993},
  doi = {10.1145/155183.155225},
  url = {http://doi.acm.org/10.1145/155183.155225},
  tags = {control systems, access control},
  researchr = {https://researchr.org/publication/AbadiBLP93},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {15},
  number = {4},
  pages = {706-734},
}

@book{abadi:theoryofobjects,
  title = {A Theory of Objects},
  author = {Martín Abadi and Luca Cardelli},
  year = {1996},
  month = {April},
  tags = {programming languages, object-oriented programming, semantics, rule-based, meta programming, formal semantics, rules, subtyping, programming, subject-oriented programming, type theory, Meta-Environment, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/abadi%3Atheoryofobjects},
  cites = {0},
  citedby = {0},
  series = {Monographs in Computer Science},
  publisher = {Springer},
  isbn = {0387947752},
}

@article{Abadi98:0,
  title = {On SDSI s Linked Local Name Spaces},
  author = {Martín Abadi},
  year = {1998},
  researchr = {https://researchr.org/publication/Abadi98%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Security},
  volume = {6},
  number = {1-2},
  pages = {3-22},
}

@article{AbadiC95:0,
  title = {An Imperative Object Calculus (Invited Paper)},
  author = {Martín Abadi and Luca Cardelli},
  year = {1995},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC95%3A0},
  cites = {0},
  citedby = {0},
  journal = {TAPOS},
  volume = {1},
  number = {3},
  pages = {151-166},
}

@inproceedings{AbadiBKL91,
  title = {Authentication and Delegation with Smart-cards},
  author = {Martín Abadi and Michael Burrows and C. Kaufman and Butler W. Lampson},
  year = {1991},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiBKL91},
  cites = {0},
  citedby = {0},
  pages = {326-345},
  booktitle = {Theoretical Aspects of Computer Software, International Conference TACS  91, Sendai, Japan, September 24-27, 1991, Proceedings},
  editor = {Takayasu Ito and Albert R. Meyer},
  volume = {526},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54415-1},
}

@inproceedings{AbadiG98,
  title = {A Bisimulation Method for Cryptographic Protocols},
  author = {Martín Abadi and Andrew D. Gordon},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1381/13810012.htm},
  tags = {protocol},
  researchr = {https://researchr.org/publication/AbadiG98},
  cites = {0},
  citedby = {0},
  pages = {12-26},
  booktitle = {Programming Languages and Systems - ESOP 98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
  editor = {Chris Hankin},
  volume = {1381},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64302-8},
}

@inproceedings{AbadiCPP89,
  title = {Dynamic Typing in a Statically-Typed Language},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPP89},
  cites = {0},
  citedby = {0},
  pages = {213-227},
  booktitle = {POPL},
}

@article{AbadiPP91,
  title = {Faithful Ideal Models for Recursive Polymorphic Types},
  author = {Martín Abadi and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1991},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiPP91},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Found. Comput. Sci.},
  volume = {2},
  number = {1},
  pages = {1-21},
}

@inproceedings{PlotkinAC94,
  title = {Subtyping and Parametricity},
  author = {Gordon D. Plotkin and Martín Abadi and Luca Cardelli},
  year = {1994},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/PlotkinAC94},
  cites = {0},
  citedby = {0},
  pages = {310-319},
  booktitle = {Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France},
  publisher = {IEEE Computer Society},
}

@inproceedings{GorrieriSAFGLM98,
  title = {Panel Introduction: Varieties of Authentication},
  author = {Roberto Gorrieri and Paul F. Syverson and Martín Abadi and Riccardo Focardi and Dieter Gollmann and Gavin Lowe and Catherine Meadows},
  year = {1998},
  url = {http://dlib.computer.org/conferen/csfw/8488/pdf/84880079.pdf},
  researchr = {https://researchr.org/publication/GorrieriSAFGLM98},
  cites = {0},
  citedby = {0},
  pages = {79-82},
  booktitle = {CSFW},
}

@article{AbadiR02,
  title = {Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)},
  author = {Martín Abadi and Phillip Rogaway},
  year = {2002},
  url = {http://link.springer.de/link/service/journals/00145/contents/01/0014/},
  researchr = {https://researchr.org/publication/AbadiR02},
  cites = {0},
  citedby = {0},
  journal = {J. Cryptology},
  volume = {15},
  number = {2},
  pages = {103-127},
}

@inproceedings{AbadiPP89,
  title = {Faithful Ideal Models for Recursive Polymorphic Types},
  author = {Martín Abadi and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiPP89},
  cites = {0},
  citedby = {0},
  pages = {216-225},
  booktitle = {Proceedings, Fourth Annual Symposium on Logic in Computer Science, 5-8 June, 1989, Asilomar Conference Center, Pacific Grove, California, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{ChaudhuriA05,
  title = {Formal security analysis of basic network-attached storage},
  author = {Avik Chaudhuri and Martín Abadi},
  year = {2005},
  doi = {10.1145/1103576.1103583},
  url = {http://doi.acm.org/10.1145/1103576.1103583},
  tags = {analysis, security},
  researchr = {https://researchr.org/publication/ChaudhuriA05},
  cites = {0},
  citedby = {0},
  pages = {43-52},
  booktitle = {Proceedings of the 2005 ACM workshop on Formal methods in security engineering, FMSE 2005, Fairfax, VA, USA, November 11, 2005},
  editor = {Vijay Atluri and Pierangela Samarati and Ralf Küsters and John C. Mitchell},
  publisher = {ACM},
  isbn = {1-59593-231-3},
}

@inproceedings{AbadiHM08,
  title = {A Model of Dynamic Separation for Transactional Memory},
  author = {Martín Abadi and Tim Harris and Katherine F. Moore},
  year = {2008},
  doi = {10.1007/978-3-540-85361-9_5},
  url = {http://dx.doi.org/10.1007/978-3-540-85361-9_5},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/AbadiHM08},
  cites = {0},
  citedby = {0},
  pages = {6-20},
  booktitle = {CONCUR 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  editor = {Franck van Breugel and Marsha Chechik},
  volume = {5201},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85360-2},
}

@inproceedings{DoornABW96,
  title = {Secure Network Objects},
  author = {Leendert van Doorn and Martín Abadi and Michael Burrows and Edward Wobber},
  year = {1996},
  doi = {10.1109/SECPRI.1996.502683},
  url = {http://dx.doi.org/10.1109/SECPRI.1996.502683},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/DoornABW96},
  cites = {0},
  citedby = {0},
  pages = {211-221},
  booktitle = {1996 IEEE Symposium on Security and Privacy, May 6-8, 1996, Oakland, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-7417-2},
}

@inproceedings{AbadiL03,
  title = {A Logic of Object-Oriented Programs},
  author = {Martín Abadi and K. Rustan M. Leino},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2772&spage=11},
  tags = {object-oriented programming, meta programming, logic programming, subject-oriented programming, logic, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/AbadiL03},
  cites = {0},
  citedby = {0},
  pages = {11-41},
  booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday},
  editor = {Nachum Dershowitz},
  volume = {2772},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21002-4},
}

@article{AbadiF90,
  title = {Secure Circuit Evaluation},
  author = {Martín Abadi and Joan Feigenbaum},
  year = {1990},
  researchr = {https://researchr.org/publication/AbadiF90},
  cites = {0},
  citedby = {0},
  journal = {J. Cryptology},
  volume = {2},
  number = {1},
  pages = {1-12},
}

@inproceedings{AbadiJ01,
  title = {Formal Eavesdropping and Its Computational Interpretation},
  author = {Martín Abadi and Jan Jürjens},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2215/22150082.htm},
  researchr = {https://researchr.org/publication/AbadiJ01},
  cites = {0},
  citedby = {0},
  pages = {82-94},
  booktitle = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
  editor = {Naoki Kobayashi and Benjamin C. Pierce},
  volume = {2215},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42736-8},
}

@inproceedings{GonthierAL92:0,
  title = {The Geometry of Optimal Lambda Reduction},
  author = {Georges Gonthier and Martín Abadi and Jean-Jacques Lévy},
  year = {1992},
  researchr = {https://researchr.org/publication/GonthierAL92%3A0},
  cites = {0},
  citedby = {0},
  pages = {15-26},
  booktitle = {POPL},
}

@inproceedings{AbadiG97:0,
  title = {Reasoning about Cryptographic Protocols in the Spi Calculus},
  author = {Martín Abadi and Andrew D. Gordon},
  year = {1997},
  tags = {protocol},
  researchr = {https://researchr.org/publication/AbadiG97%3A0},
  cites = {0},
  citedby = {0},
  pages = {59-73},
  booktitle = {CONCUR  97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings},
  editor = {Antoni W. Mazurkiewicz and Józef Winkowski},
  volume = {1243},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63141-0},
}

@inproceedings{PlotkinA93,
  title = {A Logic for Parametric Polymorphism},
  author = {Gordon D. Plotkin and Martín Abadi},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/PlotkinA93},
  cites = {0},
  citedby = {0},
  pages = {361-375},
  booktitle = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings},
  editor = {Marc Bezem and Jan Friso Groote},
  volume = {664},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56517-5},
}

@inproceedings{AbadiL94:1,
  title = {Decomposing Specifications of Concurrent Systems},
  author = {Martín Abadi and Leslie Lamport},
  year = {1994},
  researchr = {https://researchr.org/publication/AbadiL94%3A1},
  cites = {0},
  citedby = {0},
  pages = {327-340},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET  94) San Miniato, Italy, 6-10 June, 1994},
  editor = {Ernst-Rüdiger Olderog},
  volume = {A-56},
  series = {IFIP Transactions},
  publisher = {North-Holland},
  isbn = {0-444-82020-5},
}

@article{AbadiCPR95,
  title = {Dynamic Typing in Polymorphic Languages},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Didier Rémy},
  year = {1995},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPR95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {5},
  number = {1},
  pages = {111-130},
}