Skip to contents Abadi, Martín [Editor] ; CONCUR 16 2005 San Francisco, Calif CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23 - 26, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3653 Abadi, Martín [Other]; Itō, Takayasu [Other] ; TACS 3 1997 Sendai Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23 - 26, 1997 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1281 Abadi, Martín [Author]; Cardelli, Luca [Author] A theory of objects Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Berlin; Heidelberg: Springer, 1996 Published in: Monographs in computer science Abadi, Martín [Author] ; Martín Abadi [Contributor] The Prophecy of Timely Rollback (Invited Talk) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015 Abadi, Martín [Author] ; Kremer, Steve [Editor] 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 Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2014 Published in: Lecture notes in computer science ; 8414 Abadi, Martín [Author] ; Lluch Lafuente, Alberto [Editor] Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2014 Published in: Lecture notes in computer science ; 8358 Martin Abadi [Author] La sécurité informatique Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/59092 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Collège de France, 2011 Abadi, Martín [Author] ; Itō, Takayasū [Other] Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997 Published in: Lecture notes in computer science ; 1281 Abadi, Martín [Other]; De Alfaro, Luca [Other] CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3653 Abadi, Martín TensorFlow: learning functions at scale Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2016 Published in: ACM SIGPLAN Notices Abadi, Martín Fundamental Approaches to Software Engineering: The Prophecy of Undo Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2015 Published in: Fundamental Approaches to Software Engineering Abadi, Martín Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics : A Timely Dataflow Model and the Naiad System : A Timely Dataflow Model and the Naiad System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2013 Published in: Electronic Proceedings in Theoretical Computer Science Abadi, Martín FM 2012: Formal Methods: Software Security: A Formal Perspective : (Notes for a Talk) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: FM 2012: Formal Methods Abadi, Martin Informatique et sciences numériques Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. OpenEdition, 2012 Published in: L’annuaire du Collège de France Abadi, Martin La sécurité informatique Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. OpenEdition, 2011 Published in: Les Leçons inaugurales du Collège de France Abadi, Martin La sécurité informatique : Extraits de la leçon inaugurale prononcée le 10 mars 2011 : Extraits de la leçon inaugurale prononcée le 10 mars 2011 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. OpenEdition, 2011 Published in: La lettre du Collège de France Abadi, Martín Foundations of Security Analysis and Design V: Logic in Access Control (Tutorial Notes) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Foundations of Security Analysis and Design V Abadi, Martín Concurrency, Graphs and Models: Automatic Mutual Exclusion and Atomicity Checks Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Concurrency, Graphs and Models Abadi, Martín Lecture Notes in Computer Science: Variations in Access Control Logic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Lecture Notes in Computer Science Abadi, Martín Access Control in a Core Calculus of Dependency Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2007 Published in: Electronic Notes in Theoretical Computer Science
Abadi, Martín [Editor] ; CONCUR 16 2005 San Francisco, Calif CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23 - 26, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3653
Abadi, Martín [Other]; Itō, Takayasu [Other] ; TACS 3 1997 Sendai Theoretical aspects of computer software : third International Symposium, TACS '97, Sendai, Japan, September 23 - 26, 1997 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1281
Abadi, Martín [Author]; Cardelli, Luca [Author] A theory of objects Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Berlin; Heidelberg: Springer, 1996 Published in: Monographs in computer science
Abadi, Martín [Author] ; Martín Abadi [Contributor] The Prophecy of Timely Rollback (Invited Talk) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Abadi, Martín [Author] ; Kremer, Steve [Editor] 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 Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2014 Published in: Lecture notes in computer science ; 8414
Abadi, Martín [Author] ; Lluch Lafuente, Alberto [Editor] Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2014 Published in: Lecture notes in computer science ; 8358
Martin Abadi [Author] La sécurité informatique Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/59092 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Collège de France, 2011
Abadi, Martín [Author] ; Itō, Takayasū [Other] Theoretical Aspects of Computer Software : Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997 Published in: Lecture notes in computer science ; 1281
Abadi, Martín [Other]; De Alfaro, Luca [Other] CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005 Published in: Lecture notes in computer science ; 3653
Abadi, Martín TensorFlow: learning functions at scale Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2016 Published in: ACM SIGPLAN Notices
Abadi, Martín Fundamental Approaches to Software Engineering: The Prophecy of Undo Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2015 Published in: Fundamental Approaches to Software Engineering
Abadi, Martín Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics : A Timely Dataflow Model and the Naiad System : A Timely Dataflow Model and the Naiad System Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2013 Published in: Electronic Proceedings in Theoretical Computer Science
Abadi, Martín FM 2012: Formal Methods: Software Security: A Formal Perspective : (Notes for a Talk) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: FM 2012: Formal Methods
Abadi, Martin Informatique et sciences numériques Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. OpenEdition, 2012 Published in: L’annuaire du Collège de France
Abadi, Martin La sécurité informatique Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. OpenEdition, 2011 Published in: Les Leçons inaugurales du Collège de France
Abadi, Martin La sécurité informatique : Extraits de la leçon inaugurale prononcée le 10 mars 2011 : Extraits de la leçon inaugurale prononcée le 10 mars 2011 Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. OpenEdition, 2011 Published in: La lettre du Collège de France
Abadi, Martín Foundations of Security Analysis and Design V: Logic in Access Control (Tutorial Notes) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Foundations of Security Analysis and Design V
Abadi, Martín Concurrency, Graphs and Models: Automatic Mutual Exclusion and Atomicity Checks Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Concurrency, Graphs and Models
Abadi, Martín Lecture Notes in Computer Science: Variations in Access Control Logic Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Lecture Notes in Computer Science
Abadi, Martín Access Control in a Core Calculus of Dependency Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2007 Published in: Electronic Notes in Theoretical Computer Science
> Media type Skip to next facet Articles (182) Wert ausschließen Books (8) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (57) Wert ausschließen Without Specification (130) Wert ausschließen Show more show less
> Language Skip to next facet English (109) Wert ausschließen Not determined (78) Wert ausschließen French (2) Wert ausschließen German (1) Wert ausschließen Portuguese (1) Wert ausschließen Spanish (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (63) Wert ausschließen Medicine (25) Wert ausschließen Mathmatics (14) Wert ausschließen Technology (13) Wert ausschließen General (8) Wert ausschließen Chemistry and pharmacology (7) Wert ausschließen Psychology (6) Wert ausschließen Physics (4) Wert ausschließen Biology (2) Wert ausschließen Geography (2) Wert ausschließen Show more show less
> Creator Skip to next facet Abadi, Martín (126) Wert ausschließen Abadi, Martin (18) Wert ausschließen Fournet, Cédric (12) Wert ausschließen Blanchet, Bruno (11) Wert ausschließen Abadi, Uri (9) Wert ausschließen Lamport, Leslie (9) Wert ausschließen Cardelli, Luca (8) Wert ausschließen Harris, Tim (8) Wert ausschließen Burrows, Michael (7) Wert ausschließen Isard, Michael (7) Wert ausschließen Lampson, Butler (6) Wert ausschließen Plotkin, Gordon D. (6) Wert ausschließen Birrell, Andrew (5) Wert ausschließen Ellis, Martin H. (5) Wert ausschließen Plotkin, Gordon (5) Wert ausschließen Wobber, Edward (5) Wert ausschließen Abdelalim, Ahmed (4) Wert ausschließen Abdoli, Amir (4) Wert ausschließen Abdollahpour, Ibrahim (4) Wert ausschließen Ahmad, Tauseef (4) Wert ausschließen Ahmed, Muktar Beshir (4) Wert ausschließen Alipour, Vahid (4) Wert ausschließen Aljunid, Syed Mohamed (4) Wert ausschließen Almasi-Hashiani, Amir (4) Wert ausschließen Amini, Saeed (4) Wert ausschließen Ansari-Moghaddam, Alireza (4) Wert ausschließen Arab-Zozani, Morteza (4) Wert ausschließen Arabloo, Jalal (4) Wert ausschließen Aremu, Olatunde (4) Wert ausschließen Ayanore, Martin Amogre (4) Wert ausschließen Badawi, Alaa (4) Wert ausschließen Banik, Palash Chandra (4) Wert ausschließen Bayati, Mohsen (4) Wert ausschließen Bedi, Neeraj (4) Wert ausschließen Berhe, Kidanemaryam (4) Wert ausschließen Bhattacharyya, Krittika (4) Wert ausschließen Bijani, Ali (4) Wert ausschließen Burrows, Mike (4) Wert ausschließen Car, Josip (4) Wert ausschließen Chattu, Vijay Kumar (4) Wert ausschließen Cárdenas, Rosario (4) Wert ausschließen Deribe, Kebede (4) Wert ausschließen Ellis, Martin (4) Wert ausschließen Endalew, Daniel Adane (4) Wert ausschließen Eskandarieh, Sharareh (4) Wert ausschließen Farzadfar, Farshad (4) Wert ausschließen Feigenbaum, Joan (4) Wert ausschließen Fereshtehnejad, Seyed-Mohammad (4) Wert ausschließen Fernandes, Eduarda (4) Wert ausschließen Flanagan, Cormac (4) Wert ausschließen Foroutan, Masoud (4) Wert ausschließen Francis, Joel Msafiri (4) Wert ausschließen Fukumoto, Takeshi (4) Wert ausschließen Geberemariyam, Biniyam Sahiledengle (4) Wert ausschließen Gebremeskel, Gebreamlak Gebremedhn (4) Wert ausschließen Ghafourifard, Mansour (4) Wert ausschließen Ghashghaee, Ahmad (4) Wert ausschließen Gonthier, Georges (4) Wert ausschließen Gordon, Andrew D. (4) Wert ausschließen Grada, Ayman (4) Wert ausschließen Guo, Yuming (4) Wert ausschließen Gurion, Ronit (4) Wert ausschließen Hassanipour, Soheil (4) Wert ausschließen Hayat, Khezar (4) Wert ausschließen Heydarpour, Fatemeh (4) Wert ausschließen Hoang, Chi Linh (4) Wert ausschließen Holla, Ramesh (4) Wert ausschließen Hosseinzadeh, Mehdi (4) Wert ausschließen Hostiuc, Sorin (4) Wert ausschließen Ilesanmi, Olayinka Stephen (4) Wert ausschließen Inbaraj, Leeberk Raja (4) Wert ausschließen Jahani, Mohammad Ali (4) Wert ausschließen Jakovljevic, Mihajlo (4) Wert ausschließen Jalilian, Farzad (4) Wert ausschließen Jha, Ravi Prakash (4) Wert ausschließen Joseph, Nitin (4) Wert ausschließen Joukar, Farahnaz (4) Wert ausschließen Jozwiak, Jacek Jerzy (4) Wert ausschließen Kabir, Ali (4) Wert ausschließen Kalhor, Rohollah (4) Wert ausschließen Kanchan, Tanuj (4) Wert ausschließen Kapoor, Neeti (4) Wert ausschließen Khalid, Nauman (4) Wert ausschließen Kim, Yun Jin (4) Wert ausschließen Kisa, Adnan (4) Wert ausschließen Kisa, Sezer (4) Wert ausschließen Koyanagi, Ai (4) Wert ausschließen Krishan, Kewal (4) Wert ausschließen Kugbey, Nuworza (4) Wert ausschließen Kumar, Manasi (4) Wert ausschließen Lami, Faris Hasan (4) Wert ausschließen Lasrado, Savita (4) Wert ausschließen Li, Shanshan (4) Wert ausschließen Maled, Venkatesh (4) Wert ausschließen Malta, Deborah Carvalho (4) Wert ausschließen Manna, Zohar (4) Wert ausschließen Mansour-Ghanaei, Fariborz (4) Wert ausschließen Mansouri, Borhan (4) Wert ausschließen Mansournia, Mohammad Ali (4) Wert ausschließen Meles, Gebrekiros Gebremichael (4) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (63) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (37) Wert ausschließen Elsevier BV (CrossRef) (22) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (10) Wert ausschließen Verbunddaten SWB (8) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (5) Wert ausschließen SAGE Publications (CrossRef) (4) Wert ausschließen Springer International Publishing (CrossRef) (4) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen IOS Press (CrossRef) (3) Wert ausschließen OpenEdition (CrossRef) (3) Wert ausschließen Oxford University Press (OUP) (CrossRef) (3) Wert ausschließen American Society of Hematology (CrossRef) (2) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen MDPI AG (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (1) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen BMJ (CrossRef) (1) Wert ausschließen Bioscientifica (CrossRef) (1) Wert ausschließen Briefland (CrossRef) (1) Wert ausschließen Corporacion Universitaria Iberoamericana (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Facultad de Ingenieria del la Universidad de Buenos Aires (CrossRef) (1) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (1) Wert ausschließen S. Karger AG (CrossRef) (1) Wert ausschließen Springer New York (CrossRef) (1) Wert ausschließen Show more show less