BibSonomy :: author  ::

bookmarks

publications

(37)

• A Tactic Language for Hiproofs.
  David Aspinall and Ewen Denney and Christoph Lüth AISC/MKM/Calculemus 339-354 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• On Validity of Program Transformations in the Java Memory Model.
  Jaroslav Sevcík and David Aspinall ECOOP 27-51 (2008)
  to dblp by dblp on 2008-07-14 00:00:00
  | URL | BibTeX  
• Monitoring External Resources in Java MIDP.
  David Aspinall and Patrick Maier and Ian Stark Electr. Notes Theor. Comput. Sci. 197 17-30 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• On the application of Hidden Markov Model and Bayesian Belief Network to seismic noise at Las Ca\~nadas Caldera, Tenerife, Spain
  Anggi Quintero Oliveros and Roberto Carniel and Marta T{\'a}rraga and Willy Aspinall Chaos, Solitons \& Fractals 37 849--857 (2008)
  to imported by smicha on 2008-04-22 12:52:29
  | URL | BibTeX  
• Proof general in Eclipse: system and architecture overview.
  David Aspinall and Daniel Winterstein and Christoph Lüth and Ahsan Fayyaz ETX 45-49 (2006)
  to dblp by dblp on 2008-04-02 00:00:00
  | URL | BibTeX  
• A program logic for resources.
  David Aspinall and Lennart Beringer and Martin Hofmann and Hans-Wolfgang Loidl and Alberto Momigliano Theor. Comput. Sci. 389 411-445 (2007)
  to dblp by dblp on 2007-12-13 00:00:00
  | URL | BibTeX  
• Mobile Resource Guarantees (project evaluation paper).
  Donald Sannella and Martin Hofmann and David Aspinall and Stephen Gilmore and Ian Stark and Lennart Beringer and Hans-Wolfgang Loidl and Kenneth MacKenzie and Alberto Momigliano and Olha Shkaravska Trends in Functional Programming 211-226 (2005)
  to dblp by dblp on 2007-10-25 00:00:00
  | URL | BibTeX  
• Optimisation Validation.
  David Aspinall and Lennart Beringer and Alberto Momigliano Electr. Notes Theor. Comput. Sci. 176 37-59 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX  
• Special Issue on User Interfaces in Theorem Proving: Preface.
  David Aspinall and Christoph Lüth J. Autom. Reasoning 39 107-108 (2007)
  to dblp by dblp on 2007-09-18 00:00:00
  | URL | BibTeX  
• A Framework for Interactive Proof.
  David Aspinall and Christoph Lüth and Daniel Winterstein Calculemus/MKM 161-175 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX