| Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only? | 0 | 0.34 | 2021 |
| A formal, scalable approach to semantic interoperability | 0 | 0.34 | 2020 |
| Formal model-driven engineering of critical information systems. | 1 | 0.36 | 2015 |
| Domain specific modelling for clinical research. | 0 | 0.34 | 2015 |
| The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. | 0 | 0.34 | 2014 |
| Model-driven engineering of information systems: 10 years and 1000 versions. | 2 | 0.36 | 2014 |
| Introduction to E-Government Education Minitrack | 3 | 0.40 | 2014 |
| Introduction to Electronic Government Education, Training and Professionalization Minitrack | 3 | 0.40 | 2013 |
| A metadata-aware application for remote scoring and exchange of tissue microarray images. | 6 | 0.38 | 2013 |
| Visual compression of workflow visualizations with automated detection of macro motifs. | 13 | 0.61 | 2013 |
| Government Information Networks - Mapping Electronic Governance cases through Public Administration concepts | 23 | 1.86 | 2012 |
| Formal Model-Driven Engineering: Generating Data And Behavioural Components | 1 | 0.35 | 2012 |
| Erratum to “Government Information Networks — Mapping Electronic Governance cases through Public Administration concepts” [Government Information Quarterly 29S1 (2012) 1–10] | 1 | 0.36 | 2012 |
| Compositionality and refinement in model-driven engineering | 3 | 0.38 | 2012 |
| Taxonomy-Based Glyph Design—with a Case Study on Visualizing Workflows of Biological Experiments | 29 | 0.91 | 2012 |
| Models for forms | 4 | 0.47 | 2011 |
| Economies and diseconomies of scale in software development | 3 | 0.41 | 2011 |
| Specification and verification of model-driven data migration | 2 | 0.41 | 2011 |
| Formal and Model-Based Testing of Concurrent Workflows | 0 | 0.34 | 2011 |
| Form follows function: model-driven engineering for clinical trials | 2 | 0.42 | 2011 |
| A Formal Modeling Approach to Information Systems Evolution and Data Migration. | 3 | 0.41 | 2011 |
| Model-Driven Data Migration | 2 | 0.39 | 2010 |
| A Guarded Workflow Language and Its Formal Semantics | 3 | 0.93 | 2010 |
| Semantic frameworks—meanings in the architecture | 0 | 0.34 | 2010 |
| Semantic Interoperability in Practice | 2 | 0.45 | 2010 |
| A Metamodel-Based Approach to Information Systems Evolution and Data Migration | 6 | 0.58 | 2010 |
| Towards a Framework for Security in eScience | 2 | 0.47 | 2010 |
| Towards A Model-Driven Approach To Information System Evolution | 3 | 0.44 | 2009 |
| Metadata-driven software for clinical trials | 7 | 0.68 | 2009 |
| Formal methods for future interoperability | 0 | 0.34 | 2009 |
| ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Columbia, November 10-13, 2009 | 71 | 17.18 | 2009 |
| Metadata standards for semantic interoperability in electronic government | 11 | 1.29 | 2008 |
| Automatic maintenance of association invariants | 10 | 0.70 | 2008 |
| Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research | 0 | 0.34 | 2008 |
| Semantic technologies in electronic government | 2 | 0.45 | 2008 |
| Domain-specific Semantics and Data Refinement of Object Models | 5 | 0.47 | 2008 |
| WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research | 3 | 0.42 | 2008 |
| Technological foundations of electronic governance | 7 | 0.54 | 2007 |
| Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings | 29 | 1.96 | 2007 |
| Model-driven architecture for cancer research | 6 | 0.77 | 2007 |
| From Predicates to Programs: The Semantics of a Method Language | 6 | 0.54 | 2007 |
| Semantic frameworks for e-government | 10 | 0.88 | 2007 |
| A singleton failures semantics for Communicating Sequential Processes | 29 | 1.23 | 2006 |
| Replication Strategies for Reliable Decentralised Storage | 3 | 0.40 | 2006 |
| A Comparison of Replication Strategies for Reliable Decentralised Storage | 13 | 0.77 | 2006 |
| On the Generation of Object Databases using Booster | 9 | 0.55 | 2006 |
| Formality, Evolution, and Model-driven Software Engineering | 14 | 0.75 | 2005 |
| Using CSP | 0 | 0.34 | 2004 |
| Teaching Formal Methods in Context | 4 | 0.41 | 2004 |
| A method for the automatic generation of test suites from object models | 13 | 0.86 | 2003 |
