Concepedia

Ian Stark

IS

Statistics

Publications

16

Citations

658

H-Index

13

Active since

1996

Affiliations

University of Edinburgh(Current)

University of Cambridge

Aarhus University

University of Oxford

SRI International

Ian Stark is an author at University of Edinburgh specializing in computing, computer science, and formal methods.

Publications per year

1996–2020

16

Publications

16

ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS

Alasdair Armstrong, B. K. Campbell, Alastair Reid et al. · Proceedings of the ACM on Programming Languages · 2019 · 118 citations · Full text

Computing, Computer Engineering, Computer Science +17

A fully abstract domain model for the π-calculus

Ian Stark · 2002 · 93 citations

Computing, Computer Science, Mathematics +17

Categorical models for local names

Ian Stark · LISP and Symbolic Computation · 1996 · 75 citations

Computing, Geography, Categorical Data Analysis +8

Nominal games and full abstraction for the nu-calculus

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski et al. · 2004 · 62 citations

Computing, Computer Science, Mathematics +11

Automatic verification of design patterns in Java

Alex Blewitt, Alan Bundy, Ian Stark · 2005 · 59 citations

Computing, Computer Science, Design Automation +13

1–5 of 16