Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jason Baumgartner
Exploiting Constraints in Transformation-Based Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Property Checking via Structural Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Exploiting Visual Constraints in Robot Motion Planning
Probabilistic Feature-Based Transformation for Speaker Verification Over Telephone Networks
Neurocomputing
Computer Science Applications
Artificial Intelligence
Cognitive Neuroscience
Temporal Dependency-Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Scientific Workflow Systems
ACM Transactions on Software Engineering and Methodology
Software
Local Verification of Global Integrity Constraints in Distributed Databases
SIGMOD Record
Information Systems
Software
Tensor Decomposition Exploiting Structural Constraints for Brain Source Imaging
The Constraints, Construction, and Verification of a Strain-Specific Physiologically Based Pharmacokinetic Rat Model
Journal of Pharmaceutical Sciences
Pharmaceutical Science
A Bayesian Model for Exploiting Application Constraints to Enable Unsupervised Training of a P300-Based BCI
PLoS ONE
Multidisciplinary
Local Verification of Global Integrity Constraints in Distributed Databases
Specification and Verification of Media Constraints Using UPPAAL
Design, Specification and Verification of Interactive Systems ’98
