Alan R. Williams

Orcid: 0000-0003-3156-2105

According to our database1, Alan R. Williams authored at least 20 papers between 1995 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Ten simple rules for making a software tool workflow-ready.
PLoS Comput. Biol., 2022

2021
Workflows Community Summit: Advancing the State-of-the-art of Scientific Workflows Management Systems Research and Development.
CoRR, 2021

2018
PartsGenie: an integrated tool for optimizing and sharing synthetic biology parts.
Bioinform., 2018

2017
FAIRDOMHub: a repository and collaboration environment for sharing systems biology research.
Nucleic Acids Res., 2017

2014
Distilling structure in Taverna scientific workflows: a refactoring approach.
BMC Bioinform., 2014

DistillFlow: removing redundancy in scientific workflows.
Proceedings of the Conference on Scientific and Statistical Database Management, 2014

2013
The Taverna workflow suite: designing and executing workflows of Web Services on the desktop, web or in the cloud.
Nucleic Acids Res., 2013

2012
Opening new gateways to workflows for life scientists.
Proceedings of the HealthGrid Applications and Technologies Meet Science Gateways for Life Sciences, 2012

2011
An experimental workflow development platform for historical document digitisation and analysis.
Proceedings of the 2011 Workshop on Historical Document Imaging and Processing, 2011

2010
Community-driven computational biology with Debian Linux.
BMC Bioinform., 2010

Taverna, Reloaded.
Proceedings of the Scientific and Statistical Database Management, 2010

2008
Metadata Management in the Taverna Workflow System.
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007

2006
Web Services for the DDSM and Digital Mammography Research.
Proceedings of the Digital Mammography, 2006

2002
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design.
Comput. J., 2002

2001
A generic framework for transforming EXPRESS information models.
Comput. Aided Des., 2001

2000
Transforming Information Models to Support the Generation of Efficient Implementations.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

1997
Efficient CTL* model checking for analysis of rainbow designs.
Proceedings of the Advances in Hardware Design and Verification, 1997

1996
A Process Algebra Foundation for Reasoning about Core ELLA.
Comput. J., 1996

1995
Formal support for the ELLA hardwar description language.
Proceedings of the Correct Hardware Design and Verification Methods, 1995


  Loading...