Ian Stark

MaRDI QIDQ2453208zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Certified complexity (CerCo) Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
A logic of behaviour in context Information and Computation	2014-06-06	Paper
Grail: a functional form for imperative mobile code	2013-08-27	Paper
A distributed \(\pi\)-calculus with local areas of communication Electronic Notes in Theoretical Computer Science	2013-05-10	Paper
Encoding distributed areas and local communication into the \(\pi \)-calculus Electronic Notes in Theoretical Computer Science	2013-04-26	Paper
Safety Guarantees from Explicit Resource Management Formal Methods for Components and Objects	2009-02-12	Paper
Free-algebra models for the \(\pi \)-calculus Theoretical Computer Science	2008-03-05	Paper
Typed Lambda Calculi and Applications Lecture Notes in Computer Science	2005-11-11	Paper
Foundations of Software Science and Computational Structures Lecture Notes in Computer Science	2005-11-10	Paper
Computer Science Logic Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 2185724 (Why is no real title available?)	2005-07-04	Paper
Operational reasoning for functions with local state	2001-03-19	Paper
scientific article; zbMATH DE number 1183238 (Why is no real title available?)	1998-12-10	Paper
scientific article; zbMATH DE number 1086714 (Why is no real title available?)	1997-11-13	Paper

Research outcomes over time

This page was built for person: Ian Stark