Stephen Knox

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 3

Top Topics

Distributed Object Oriented

Intelligent Environments

Publish Subscribe

Top Venues

Environ. Model. Softw.

Formal Aspects Comput.

Publications

Adel M. Abdallah, David E. Rheinheimer, David E. Rosenberg, Stephen Knox, Julien J. Harou
An interoperable software ecosystem to store, visualize, and publish water resources systems modelling data. Environ. Model. Softw. 151 (2022)
Stephen Knox, James E. Tomlinson, Julien J. Harou, Philipp Meier, David E. Rosenberg, Jay R. Lund, David E. Rheinheimer
An open-source data manager for network models. Environ. Model. Softw. 122 (2019)
Stephen Knox, Philipp Meier, Jim Yoon, Julien J. Harou
A python framework for multi-agent simulation of networked resource systems. Environ. Model. Softw. 103 (2018)
Savas Konur, Michael Fisher, Simon Dobson, Stephen Knox
Formal verification of a pervasive messaging system. Formal Aspects Comput. 26 (4) (2014)
Stephen Knox, Lorcan Coyle, Simon Dobson
Using Ontologies in Case-Based Activity Recognition. FLAIRS Conference (2010)
Graeme Stevenson, Stephen Knox, Simon Dobson, Paddy Nixon
Ontonym: a collection of upper ontologies for developing pervasive systems. CIAO@ESWC (2009)
Stephen Knox, Ross Shannon, Lorcan Coyle, Adrian K. Clear, Simon Dobson, Aaron J. Quigley, Paddy Nixon
Scatterbox: Context-Aware Message Management. Rev. d'Intelligence Artif. 22 (5) (2008)
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley
A first approach to the closed-form specification and analysis of an autonomic control system. ICECCS (2007)
Adrian K. Clear, Stephen Knox, Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
Integrating Multiple Contexts and Ontologies in a Pervasive Computing Framework. C&O@ECAI (2006)
Stephen Knox
Modeling the Cost of Software Quality. Digit. Tech. J. 5 (4) (1993)
Dennis R. Wixon, Karen Holtzblatt, Stephen Knox
Contextual design: an emergent view of system design. CHI (1990)