Search

A verifier for interactive, data-driven web applications

Specification and verification of data-driven web services

Verification of communicating, data-driven web services

Designing annotation mechanisms with users in mind: A paper prototyping case study from the scientific environment for ecological knowledge (SEEK)

Group usability testing: Evolution in usability techniques

Bridging the gap between technology and science with examples from ecology and biodiversity

A scientific workflow approach to distributed geospatial data processing using web services

Sustaining biodiversity in ancient tropical countryside

NSF 2009

Herbivore metabolism and stoichiometry each constrain herbivory at different organizational scales across ecosystems

Producer nutritional quality controls ecosystem trophic structure