Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rui Henriques
Estimating Attractor Reachability in Asynchronous Logical Models
Frontiers in Physiology
Physiology
Carbon Markets and Investments
Related publications
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Models for Asynchronous Message Handling
IEEE Concurrency
The Effects of Target Existence on Estimating Reachability in the Sitting Position in Healthy Young Adults
Rigakuryoho Kagaku
Physical Therapy
Sports Therapy
Rehabilitation
Accurate Path Integration in Continuous Attractor Network Models of Grid Cells
PLoS Computational Biology
Molecular Neuroscience
Evolution
Ecology
Genetics
Behavior
Molecular Biology
Systematics
Simulation
Cellular
Computational Theory
Mathematics
Modeling
Estimating Spatial Probit Models in R
R Journal
Uncertainty
Numerical Analysis
Statistics
Probability
Archmodels.Jl: Estimating Arch Models in Julia
SSRN Electronic Journal
Strategic Reasoning: Building Cognitive Models From Logical Formulas
Journal of Logic, Language and Information
Linguistics
Philosophy
Computer Science
Language
Reachability Analysis for Some Models of Infinite-State Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Reachability in Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
