Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrea Bracciali
Formal Reasoning on Qualitative Models of Coinfection of HIV and Tuberculosis and HAART Therapy
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
An Integrated Modelling Approach for R5–X4 Mutation and HAART Therapy Assessment
Swarm Intelligence
Artificial Intelligence
Data-Intensive Modelling and Simulation in Life Sciences and Socio-Economical and Physical Sciences
Data Science and Engineering
Computational Mechanics
Computer Science Applications
On Symbolic Verification of Bitcoin’s Script Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modelling Non-Linear Crowd Dynamics in Bio-Pepa
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Citizens Vote to Act: Smart Contracts for the Management of Water Resources in Smart Cities
On Deducing Causality in Metabolic Networks
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Formal Specification of Discrete Systems by Active Predicates and Dynamic Constraints
