| Observable properties of higher order functions that dynamically create local names, or: What's new? AM Pitts, IDB Stark International Symposium on Mathematical Foundations of Computer Science, 122-141, 1993 | 259 | 1993 |
| Operational reasoning for A Pitts, I Stark Higher order operational techniques in semantics, 227, 1998 | 252 | 1998 |
| Names and higher-order functions IDB Stark University of Cambridge, 1994 | 159 | 1994 |
| A fully abstract domain model for the/spl pi/-calculus I Stark Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 36-42, 1996 | 150 | 1996 |
| Nominal games and full abstraction for the nu-calculus S Abramsky, DR Ghica, AS Murawski, CHL Ong, IDB Stark Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004 | 97 | 2004 |
| Categorical models for local names I Stark Lisp and Symbolic Computation 9 (1), 77-107, 1996 | 90 | 1996 |
| Automatic verification of design patterns in Java A Blewitt, A Bundy, I Stark Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005 | 87 | 2005 |
| Mobile resource guarantees for smart devices D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark International Workshop on Construction and Analysis of Safe, Secure, and …, 2004 | 87 | 2004 |
| ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS A Armstrong, T Bauereiss, B Campbell, A Reid, KE Gray, R Norton-Wright, ... Association for Computing Machinery (ACM), 2019 | 80 | 2019 |
| Presheaf models for the π-calculus GL Cattani, I Stark, G Winskel International Conference on Category Theory and Computer Science, 106-126, 1997 | 80 | 1997 |
| Domains and denotational semantics: History, accomplishments and open problems A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996 | 70 | 1996 |
| Reducibility and⊤⊤-lifting for computation types S Lindley, I Stark International Conference on Typed Lambda Calculi and Applications, 262-277, 2005 | 68 | 2005 |
| The Continuous π-Calculus: A Process Algebra for Biochemical Modelling M Kwiatkowski, I Stark International Conference on Computational Methods in Systems Biology, 103-122, 2008 | 51 | 2008 |
| A dependent type theory with names and binding U Schöpp, I Stark International Workshop on Computer Science Logic, 235-249, 2004 | 50 | 2004 |
| Mobius: Mobility, ubiquity, security G Barthe, L Beringer, P Crégut, B Grégoire, M Hofmann, P Müller, E Poll, ... International Symposium on Trustworthy Global Computing, 10-29, 2006 | 43 | 2006 |
| Grail: a functional form for imperative mobile code L Beringer, K MacKenzie, I Stark Electronic Notes in Theoretical Computer Science 85 (1), 3-23, 2003 | 42 | 2003 |
| Automatic verification of Java design patterns A Blewitt, A Bundy, I Stark Proceedings 16th Annual International Conference on Automated Software …, 2001 | 41 | 2001 |
| Certified complexity (cerco) RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ... International Workshop on Foundational and Practical Aspects of Resource …, 2013 | 39 | 2013 |
| Randomised testing of a microprocessor model using SMT-solver state generation B Campbell, I Stark Science of Computer Programming 118, 60-76, 2016 | 32 | 2016 |
| Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process K Nienhuis, A Joannou, T Bauereiss, A Fox, M Roe, B Campbell, M Naylor, ... 2020 IEEE Symposium on Security and Privacy (SP), 1003-1020, 2020 | 26 | 2020 |
