%%% ==================================================================== %%% BibTeX-file{ %%% author = "Ian Stark", %%% date = "5 December 2012", %%% filename = "StarkI.bib", %%% url = "http://homepages.ed.ac.uk/stark/StarkI.bib", %%% www-home = "http://homepages.ed.ac.uk/stark", %%% address = "Laboratory for Foundations of Computer Science %%% School of Informatics %%% The University of Edinburgh %%% Edinburgh EH8 9AB %%% Scotland", %%% telephone = "+44 131 650 5143", %%% FAX = "+44 131 651 1426", %%% email = "Ian.Stark at ed.ac.uk", %%% dates = "1967--", %%% keywords = "", %%% supported = "yes", %%% supported-by = "Ian Stark", %%% abstract = "Bibliography for Ian Stark", %%% } %%% ==================================================================== @InProceedings{abramsky+:nominalgames, author = {Samson Abramsky and Dan Ghica and Andrzej Murawski and Luke Ong and Ian Stark}, title = {Nominal Games and Full Abstraction for the Nu-Calculus}, booktitle = {Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science}, pages = {150--159}, year = 2004, publisher = {IEEE Computer Society Press}, url = {http://homepages.ed.ac.uk/stark/nominalgames.html}, pdf = {http://homepages.ed.ac.uk/stark/nominalgames.pdf}, doi = {10.1109/LICS.2004.1319609} } @Article{amadio+:cerco, author = {Roberto Amadio and Andrea Asperti and Nicolas Ayache and Brian Campbell and Dominic Mulligan and Randy Pollack and Yann R{\'e}gis-Gianas and Claudio Sacerdoti Coen and Ian Stark}, title = {Certified Complexity}, journal = {Procedia Computer Science}, number = 7, pages = {175--177}, year = 2011, doi = {10.1016/j.procs.2011.09.054}, url = {http://homepages.ed.ac.uk/stark/cerco.html}, pdf = {http://homepages.ed.ac.uk/stark/cerco.pdf}, note = {In \emph{Science Beyond Fiction: Proceedings of the 2nd European Future Technologies Conference and Exhibition FET~11, Budapest, Hungary, 4--6 May~2011}} } @Article{aspinall+:monitoring, author = {David Aspinall and Patrick Maier and Ian Stark}, title = {Monitoring External Resources in {Java} {MIDP}}, journal = {Electronic Notes in Theoretical Computer Science}, pages = {17--30}, number = 1, volume = 197, year = 2008, doi = {10.1016/j.entcs.2007.10.011}, url = {http://homepages.ed.ac.uk/stark/monitoring.html}, pdf = {http://homepages.ed.ac.uk/stark/monitoring.pdf}, note = {In \emph{Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems REM~2007, Dresden, Germany, 27~September 2007.}} } @InProceedings{aspinall+:mrg-smart-devices, author = {David Aspinall and Stephen Gilmore and Martin Hofmann and Donald Sannella and Ian Stark}, title = {Mobile Resource Guarantees for Smart Devices}, booktitle = {Construction and Analysis of Safe, Secure and Interoperable Smart Devices: Proceedings of the International Workshop CASSIS~2004}, pages = {1--26}, year = 2005, number = 3362, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, url = {http://homepages.ed.ac.uk/stark/mrg-smart-devices.html}, pdf = {http://homepages.ed.ac.uk/stark/mrg-smart-devices.pdf} } @InProceedings{aspinall+:safger, author = {David Aspinall and Patrick Maier and Ian Stark}, title = {Safety Guarantees from Explicit Resource Management}, booktitle = {Formal Methods for Components and Objects: Proceedings of the 6th International Symposium FMCO~2007}, pages = {52--71}, year = 2008, number = 5382, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, pdf = {http://homepages.ed.ac.uk/stark/safger.pdf}, doi = {10.1007/978-3-540-92188-2_3}, url = {http://homepages.ed.ac.uk/stark/safger.html} } @Article{banks+:kai-pasm-2012, author = {Chris Banks and Allan Clark and Anastasis Georgoulas and Stephen Gilmore and Jane Hillston and Dimitrios Milios and Ian Stark}, title = {Stochastic Modelling of the Kai-based Circadian Clock}, journal = {Electronic Notes in Theoretical Computer Science}, year = {to appear}, publisher = {Elsevier}, url = {http://homepages.ed.ac.uk/stark/kai-pasm-2012.html}, pdf = {http://homepages.ed.ac.uk/stark/kai-pasm-2012.pdf}, note = {In \emph{Proceedings of the Sixth International Workshop on Practical Applications of Stochastic Modelling PASM~'12, Imperial College London, 17~September 2012}} } @InProceedings{beringer/mackenzie/stark:graffi, author = {Beringer and MacKenzie and Stark}, title = {Grail: a Functional Form for Imperative Mobile Code}, booktitle = {Foundations of Global Computing: Proceedings of the 2nd~EATCS Workshop}, year = 2003, series = {Electronic Notes in Theoretical Computer Science}, number = {85.1}, publisher = {Elsevier}, month = jun, url = {http://homepages.ed.ac.uk/stark/graffi.html}, pdf = {http://homepages.ed.ac.uk/stark/graffi.pdf} } @InProceedings{blewitt/bundy/stark:autvdp, author = {Alex Blewitt and Alan Bundy and Ian Stark}, title = {Automatic Verification of Design Patterns in {Java}}, booktitle = {ASE~2005: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering}, pages = {224--232}, year = 2005, month = nov, publisher = {ACM Press}, url = {http://homepages.ed.ac.uk/stark/autvdp.html}, pdf = {http://homepages.ed.ac.uk/stark/autvdp.pdf}, doi = {10.1145/1101908.1101943} } @InProceedings{blewitt/bundy/stark:autvjd, author = {Alex Blewitt and Alan Bundy and Ian Stark}, title = {Automatic Verification of {Java} Design Patterns}, booktitle = {ASE~2001: Proceedings of the 16th IEEE International Conference on Automated Software Engineering}, pages = {324--327}, year = 2001, month = nov, publisher = {IEEE Computer Society Press}, url = {http://homepages.ed.ac.uk/stark/autvjd.html}, pdf = {http://homepages.ed.ac.uk/stark/autvjd.pdf} } @InProceedings{cattani/stark/winskel:prempc, author = {Gian Luca Cattani and Ian Stark and Glynn Winskel}, title = {Presheaf Models for the $\pi$-Calculus}, booktitle = {Category Theory and Computer Science: Proceedings of the 7th International Conference CTCS~'97}, year = 1997, series = {Lecture Notes in Computer Science}, number = 1290, pages = {106--126}, publisher = {Springer-Verlag}, url = {http://homepages.ed.ac.uk/stark/prempc.html}, pdf = {http://homepages.ed.ac.uk/stark/prempc.pdf} } @InProceedings{chothia/stark:discla, author = {Tom Chothia and Ian Stark}, title = {A Distributed $\pi$-Calculus with Local Areas of Communication}, booktitle = {HLCL~'00: Proceedings of the 4th International Workshop on High-Level Concurrent Languages}, year = 2001, series = {Electronic Notes in Theoretical Computer Science}, number = {41.2}, publisher = {Elsevier}, url = {http://homepages.ed.ac.uk/stark/discla.html}, pdf = {http://homepages.ed.ac.uk/stark/discla.pdf} } @InProceedings{chothia/stark:encdal, author = {Tom Chothia and Ian Stark}, title = {Encoding Distributed Areas and Local Communication into the $\pi$-Calculus}, booktitle = {EXPRESS~'01: Proceedings of the 8th International Workshop on Expressiveness in Concurrency}, year = 2001, number = {52.1}, series = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier}, url = {http://homepages.ed.ac.uk/stark/encdal.html}, pdf = {http://homepages.ed.ac.uk/stark/encdal.pdf} } @Article{jung+:domdsh, author = {Marcelo Fiore and Achim Jung and Eugenio Moggi and Peter O'Hearn and Jon Riecke and Guiseppe Rosolini and Ian Stark}, title = {Domains and Denotational Semantics: History, Accomplishments and Open Problems}, journal = {Bulletin of the EATCS}, year = 1996, volume = 59, month = jun, pages = {227--256}, note = {Also published as Technical Report CSR-96-2, University of Birmingham School of Computer Science}, url = {http://homepages.ed.ac.uk/stark/domdsh.html}, pdf = {http://homepages.ed.ac.uk/stark/domdsh.pdf} } @InProceedings{kwiatkowski/stark:continuous-pi, author = {Marek Kwiatkowski and Ian Stark}, title = {The Continuous $\pi$-Calculus: A Process Algebra for Biochemical Modelling}, booktitle = {Computational Methods in Systems Biology: Proceedings of the Sixth International Conference CMSB~2008}, pages = {103--122}, year = 2008, series = {Lecture Notes in Computer Science}, number = 5307, publisher = {Springer-Verlag}, url = {http://homepages.ed.ac.uk/stark/continuous-pi.html}, pdf = {http://homepages.ed.ac.uk/stark/continuous-pi.pdf}, doi = {10.1007/978-3-540-88562-7_11} } @InProceedings{kwiatkowski/stark:evocpi, author = {Marek Kwiatkowski and Ian Stark}, title = {On Executable Models of Molecular Evolution}, booktitle = {Proceedings of the 8th~International Workshop on Computational Systems Biology WCSB~2011}, pages = {105--108}, year = 2011, series = {TICSP Report}, number = 57, publisher = {Tampere International Centre for Signal Processing}, url = {http://homepages.ed.ac.uk/stark/evocpi.html}, pdf = {http://homepages.ed.ac.uk/stark/evocpi.pdf} } @InProceedings{pitts/stark:obspho-mfcs, author = {Andrew M. Pitts and Ian Stark}, title = {Observable Properties of Higher Order Functions that Dynamically Create Local Names, or: What's {\em new}?}, booktitle = {Mathematical Foundations of Computer Science: Proceedings of the 18th International Symposium MFCS~'93}, pages = {122--141}, year = 1993, number = 711, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, url = {http://homepages.ed.ac.uk/stark/obspho-mfcs.html}, pdf = {http://homepages.ed.ac.uk/stark/obspho-mfcs.pdf} } @InProceedings{pitts/stark:obspho-sipl, author = {Andrew M. Pitts and Ian Stark}, title = {On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (Preliminary Report)}, booktitle = {Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages}, pages = {31--45}, series = {Research Report}, number = {YALEU/DCS/RR-968}, publisher = {Yale University Department of Computer Science}, year = 1993, url = {http://homepages.ed.ac.uk/stark/obspho-sipl.html}, pdf = {http://homepages.ed.ac.uk/stark/obspho-sipl.pdf} } @InCollection{pitts/stark:operfl, author = {Andrew Pitts and Ian Stark}, title = {Operational Reasoning for Functions with Local State}, booktitle = {Higher Order Operational Techniques in Semantics}, editor = {Andrew Gordon and Andrew Pitts}, year = 1998, pages = {227--273}, publisher = {Publications of the Newton Institute, Cambridge University Press}, url = {http://homepages.ed.ac.uk/stark/operfl.html}, pdf = {http://homepages.ed.ac.uk/stark/operfl.pdf} } @InProceedings{schoepp/stark:names+binding, author = {Ulrich {Sch\"opp} and Ian Stark}, title = {A Dependent Type Theory with Names and Binding}, booktitle = {Computer Science Logic: Proceedings of the 18th International Workshop CSL~2004}, pages = {235--249}, year = 2004, number = 3210, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, url = {http://homepages.ed.ac.uk/stark/bunches.html}, pdf = {http://homepages.ed.ac.uk/stark/bunches.pdf} } @Article{stark:catmln, author = {Ian Stark}, title = {Categorical Models for Local Names}, journal = {{LISP} and Symbolic Computation}, year = 1996, month = feb, volume = 9, number = 1, pages = {77--107}, url = {http://homepages.ed.ac.uk/stark/catmln.html}, pdf = {http://homepages.ed.ac.uk/stark/catmln.pdf} } @InProceedings{stark:freamp-fossacs, author = {Ian Stark}, title = {Free-Algebra Models for the $\pi$-Calculus}, booktitle = {Foundations of Software Science and Computation Structures: Proceedings of FOSSACS 2005}, pages = {155--169}, year = 2005, number = 3441, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, url = {http://homepages.ed.ac.uk/stark/freamp.html}, pdf = {http://homepages.ed.ac.uk/stark/freamp.pdf} } @Article{stark:freamp-tcs, author = {Ian Stark}, title = {Free-Algebra Models for the $\pi$-Calculus}, pages = {248--270}, journal = {Theoretical Computer Science}, year = 2008, volume = 390, number = {2--3}, month = jan, url = {http://homepages.ed.ac.uk/stark/freamp-full.html}, pdf = {http://homepages.ed.ac.uk/stark/freamp-full.pdf}, doi = {10.1016/j.tcs.2007.09.024} } @InProceedings{stark:fuladm, author = {Ian Stark}, title = {A Fully Abstract Domain Model for the $\pi$-Calculus}, booktitle = {Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science}, pages = {36--42}, publisher = {IEEE Computer Society Press}, year = 1996, url = {http://homepages.ed.ac.uk/stark/fuladm.html}, pdf = {http://homepages.ed.ac.uk/stark/fuladm.pdf} } @Article{stark:namerp-fi, author = {Ian Stark}, title = {Names, Equations, Relations: Practical Ways to Reason about \emph{new}}, journal = {Fundamenta Informaticae}, year = 1998, month = {April}, volume = 33, number = 4, pages = {369--396}, note = {Complete version of \cite{stark:namerp-tlca}}, url = {http://homepages.ed.ac.uk/stark/namerp-fi.html}, pdf = {http://homepages.ed.ac.uk/stark/namerp-fi.pdf}, } @InProceedings{stark:namerp-tlca, author = {Ian Stark}, title = {Names, Equations, Relations: Practical Ways to Reason about {\em new}}, booktitle = {Typed Lambda Calculi and Applications: Proceedings of the Third International Conference TLCA~'97}, series = {Lecture Notes in Computer Science}, number = 1210, pages = {336--353}, publisher = {Springer-Verlag}, year = 1997, note = {A full version appears as \cite{stark:namerp-fi}}, url = {http://homepages.ed.ac.uk/stark/namerp-tlca.html}, pdf = {http://homepages.ed.ac.uk/stark/namerp-tlca.pdf} } @PhdThesis{stark:namhof, author = {Ian Stark}, title = {Names and Higher-Order Functions}, school = {University of Cambridge}, year = 1994, month = dec, note = {Also available as Technical Report~363, University of Cambridge Computer Laboratory}, url = {http://homepages.ed.ac.uk/stark/namhof.html}, pdf = {http://homepages.ed.ac.uk/stark/namhof.pdf} } @Unpublished{stark:outdsp, author = {Ian Stark}, title = {Outline of a Denotational Semantics for the $\pi$-Calculus}, note = {Unpublished manuscript, available electronically}, year = 1995, month = jun, url = {http://homepages.ed.ac.uk/stark/outdsp.pdf} } @InProceedings{stark:thitfm, author = {Ian Stark}, title = {Thimble --- {Threads} for {MLj}}, booktitle = {Proceedings of the First Scottish Functional Programming Workshop}, series = {Department of Computing and Electrical Engineering, Heriot-Watt University, Technical Report}, pages = {337--346}, url = {http://homepages.ed.ac.uk/stark/thitfm.html}, pdf = {http://homepages.ed.ac.uk/stark/thitfm.pdf} } %%% End of BibTeX file StarkI.bib