Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by C. Barry Jay
Compositional Characterization of Observable Program Properties
DAIMI Report Series
Related publications
Synthesis of Circular Compositional Program Proofs via Abduction
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Predicting Molecular Properties With Covariant Compositional Networks
Journal of Chemical Physics
Medicine
Theoretical Chemistry
Astronomy
Physics
Physical
Scaling of Alloy Interfacial Properties Under Compositional Strain
Physical review. E
Nonlinear Physics
Probability
Statistics
Condensed Matter Physics
Statistical
Nanoscale Compositional Characterization of Silicon Oxide-Nitride-Oxide Stacks
Microscopy and Microanalysis
Instrumentation
Compositional Abstractions for Long-Run Properties of Stochastic Systems
On the Compositional Characterization of Complete Fuzzy Pre-Orders
Fuzzy Sets and Systems
Artificial Intelligence
Logic
Compositional and Structural Properties of Pulsed Laser-Deposited ZnS:Cr Films
Applied Physics A: Materials Science and Processing
Materials Science
Chemistry
Checking Subsystem Safety Properties in Compositional Reachability Analysis
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
