Joey W. Coleman

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Topics

Open Environments

Markup Language

Rapid Prototyping

Current Situation

Top Venues

Future Gener. Comput. Syst.

Publications

Chris Piechotta, Martin Grooss Olsen, Adam Enø Jensen, Joey W. Coleman, Peter Gorm Larsen
A secure dynamic collaboration environment in a cloud context. Future Gener. Comput. Syst. 55 (2016)
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, Joey W. Coleman, Kenneth Lausdahl
Migrating to an Extensible Architecture for Abstract Syntax Trees. WICSA (2015)
Chris Piechotta, Adam Enø Jensen, Martin Grooss Olsen, Joey W. Coleman, Peter Gorm Larsen
A Secure Dynamic Collaboration Environment in a Cloud Context. CLOSER (2013)
Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier
COMPASS tool vision for a system of systems Collaborative Development Environment. SoSE (2012)
Joey W. Coleman
Expression Decomposition in a Rely/Guarantee Context. VSTTE (2008)
Joey W. Coleman, Cliff B. Jones
Atomicity: A Unifying Concept in Computer Science. J. Univers. Comput. Sci. 13 (8) (2007)
Joey W. Coleman, Cliff B. Jones
A Structural Proof of the Soundness of Rely/guarantee Rules. J. Log. Comput. 17 (4) (2007)
Joey W. Coleman
Determining the Specification of a Control System: An Illustrative Example. RODIN Book (2006)