Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Terry Halpin
Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
International Journal of Information System Modeling and Design
Management of Technology
Information Systems
Innovation
Related publications
English Phrasal Verbs: Derivation and Semantics
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Semantics and Verification for Feature Modeling
Some Formal Semantics for Epistemic Modesty
Logic and Logical Philosophy
Philosophy
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
DAIMI Report Series
Formal Semantics: Origins, Issues, Early Impact
Baltic International Yearbook of Cognition, Logic and Communication
Formal C Semantics: CompCert and the C Standard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hybrid Rules With Well-Founded Semantics
Knowledge and Information Systems
Information Systems
Human-Computer Interaction
Hardware
Architecture
Artificial Intelligence
Software
