Michael J. A. Smith

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

State Transitions

Density Based Clustering Algorithm

Arbitrary Shape

Top Venues

SIAM J. Appl. Math.

Publications

Michael J. A. Smith, Michael H. Meylan, Ross C. McPhedran
Density of States for Platonic Crystals and Clusters. SIAM J. Appl. Math. 74 (5) (2014)
Michael J. A. Smith
Compositional Abstractions for Long-Run Properties of Stochastic Systems. QEST (2011)
Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson
Controlling Modelling Artifacts. QEST (2011)
Michael J. A. Smith, Stephen Gilmore
Visualisation for Stochastic Process Algebras: The Graphic Truth. EPEW (2011)
Michael J. A. Smith
Abstraction and Model Checking in the PEPA Plug-In for Eclipse. QEST (2010)
Michael J. A. Smith
Compositional Abstraction of PEPA Models for Transient Analysis. EPEW (2010)
Michael J. A. Smith
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Michael J. A. Smith
Stochastic Modelling of Communication Protocols from Source Code. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)