Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aurélie Hurault
Mechanized Refinement of Communication Models With TLA $$^+$$ +
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Diversity of Asynchronous Communication
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus With Proverif
Information Technology Journal
The Specification Language TLA+
Monographs in Theoretical Computer Science. An EATCS Series
Simulation Model of the Communication Repair Process in the Mechanized Brigade Repair Unit
Journal of Scientific Papers "Social development and Security"
Model Diagnostics and Refinement for Phylodynamic Models
PLoS Computational Biology
Molecular Neuroscience
Evolution
Ecology
Genetics
Behavior
Molecular Biology
Systematics
Simulation
Cellular
Computational Theory
Mathematics
Modeling
Operational Performance of the Mechanized and Semi-Mechanized Potato Harvest
Engenharia Agricola
Agricultural
Biological Sciences
Development of Mechanized Feeding System With Computational Analysis
International Journal of Research in Engineering and Technology
Mechanized Mathematics
Bulletin of the American Mathematical Society
Mechanized Metatheory Revisited
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Recovery and Refinement of Business Process Models for Web Applications
Uncovering Essential Software Artifacts through Business Process Archeology
