Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michaël Armand
Extending Coq With Imperative Features and Its Application to SAT Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Generalized Quantum Turing Machine and Its Application to the Sat Chaos Algorithm
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalization and Verification of PLC Timers in Coq
Extending DIVINE With Symbolic Verification Using SMT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Construction and SAT-Based Verification of Contextual Unfoldings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
SAT-Based Compositional Verification Using Lazy Learning
Automatic Speechreading With Application to Speaker Verification
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Learning Additive Kernel for Feature Transformation and Its Application to CNN Features