Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hugo Pacheco
Relations as Executable Specifications: Taming Partiality and Non-Determinism Using Invariants
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bidirectional Spreadsheet Formulas
Related publications
Executable Interface Specifications for Testing Asynchronous Creol Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Determinism Versus Non-Determinism and Related Problems
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules
Journal of Applied Logic
Applied Mathematics
Logic
A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications
ACM Transactions on Parallel Computing
Mathematics
Simulation
Hardware
Computer Science Applications
Architecture
Modeling
Computational Theory
Software
Operational Semantics Using the Partiality Monad
ACM SIGPLAN Notices
Computer Science
Modeling and Control of Discrete-Event Systems With Partial Non-Determinism Using Petri Nets
Acta Polytechnica Hungarica
Engineering
Multidisciplinary
Taming Foreign Exchange Derivatives Markets? Speculative Finance and Class Relations in Brazil
Development and Change
Development
Relations Between the Cohomology Groups of Dolbeault and Topological Invariants
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
