Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yvan Bédard
An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions With Broad Boundaries
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Universal Geospatial Ontology for the Semantic Interoperability of Data
Universal Ontology of Geographic Space
Related publications
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
A New Approach to the Formal Explicit Specification of Knowledge Acquisition
Mathematical machines and systems
A Formal Specification of dMARS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specification and Verification
Nonlinear Dynamics of DNA With Topological Constraints
Letters on Materials
Materials Science
Subjective Expected Utility With Topological Constraints
SSRN Electronic Journal
Formal Specification and Verification of CRDTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Introducing H, an Institution-Based Formal Specification and Verification Language
Logica Universalis
Applied Mathematics
Logic
A Formal Specification of the CORBA Event Service
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
