- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c19 |      | Jay Young, Fran Smith, Christopher Atkinson, Ken Poyner, Tom Chothia: SCAIL: An integrated Starcraft AI system. CIG 2012: 438-445 |
| c18 | | Tom Chothia, Marco Cova, Chris Novakovic, Camilo González Toro: The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent. SecureComm 2012: 185-202 |
| 2011 | ||
| c17 | | Tom Chothia, Apratim Guha: A Statistical Test for Information Leaks Using Continuous Mutual Information. CSF 2011: 177-190 |
| 2010 | ||
| c16 | | Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan: Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF 2010: 107-121 |
| c15 | | Tom Chothia, Vitaliy Smirnov: A Traceability Attack against e-Passports. Financial Cryptography 2010: 20-34 |
| c14 | | Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha: Statistical Measurement of Information Leakage. TACAS 2010: 390-404 |
| c13 | | Mohammad Mahdi Jaghoori, Tom Chothia: Timed Automata Semantics for Analyzing Creol. FOCLASA 2010: 108-122 |
| 2009 | ||
| j10 | | Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009) |
| c12 | | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef: From Coordination to Stochastic Models of QoS. COORDINATION 2009: 268-287 |
| c11 | | Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori: Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN 2009: 212-227 |
| c10 | | Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan: Untraceability in the applied pi-calculus. ICITST 2009: 1-6 |
| c9 | | Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan: A Trusted Infrastructure for P2P-based Marketplaces. Peer-to-Peer Computing 2009: 151-154 |
| 2008 | ||
| c8 | | Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia: Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS 2008: 70-79 |
| 2007 | ||
| j9 | | Tom Chothia, Dominic Duggan, Ye Wu: An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 171(4): 3-21 (2007) |
| j8 | | Tom Chothia, Jetty Kleijn: Q-Automata: Modelling the Resource Usage of Concurrent Components. Electr. Notes Theor. Comput. Sci. 175(2): 153-167 (2007) |
| j7 | | Tom Chothia, Jun Pang, Muhammad Torabi Dashti: Keeping Secrets in Resource Aware Components. Electr. Notes Theor. Comput. Sci. 190(3): 79-94 (2007) |
| j6 | | Tom Chothia, Dominic Duggan: Capability passing processes. Sci. Comput. Program. 66(3): 184-204 (2007) |
| c7 | | Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon: Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304 |
| c6 | | Tom Chothia: Securing pseudo identities in an anonymous peer-to-peer file-sharing network. SecureComm 2007: 279-282 |
| 2006 | ||
| j5 | | Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang: Metrics for Action-labelled Quantitative Transition Systems. Electr. Notes Theor. Comput. Sci. 153(2): 79-96 (2006) |
| j4 | | Tom Chothia, Dominic Duggan: Capability-Passing Processes. Electr. Notes Theor. Comput. Sci. 154(1): 3-23 (2006) |
| c5 | | Tom Chothia: Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. FORTE 2006: 115-130 |
| c4 | | Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318 |
| 2005 | ||
| c3 | | Tom Chothia, Konstantinos Chatzikokolakis: A Survey of Anonymous Peer-to-Peer File-Sharing. EUC Workshops 2005: 744-755 |
| c2 | | Tom Chothia, Dominic Duggan: Type-Based Distributed Access Control vs. Untyped Attackers. Formal Aspects in Security and Trust 2005: 203-216 |
| 2004 | ||
| j3 | | Tom Chothia, Dominic Duggan: Abstractions for fault-tolerant global computing. Theor. Comput. Sci. 322(3): 567-613 (2004) |
| 2003 | ||
| c1 | | |
| 2001 | ||
| j2 | | Tom Chothia, Ian Stark: Encoding Distributed Areas and Local Communication into the pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): 101-119 (2001) |
| 2000 | ||
| j1 | | Tom Chothia, Ian Stark: A Distributed Pi-Calculus with Local Areas of Communication. Electr. Notes Theor. Comput. Sci. 41(2): 1-16 (2000) |
Colors in the list of coauthors
Last update Sun May 26 02:29:17 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page