Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nada Habli
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs
Related publications
An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications
Science of Computer Programming
Software
1997 Hybrid Electric Vehicle Specifications
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures
IFIP International Federation for Information Processing
Libraries of French Higher Education
Bibliothek Forschung und Praxis
Higher-Order Finite Elements for Hybrid Meshes Using New Nodal Pyramidal Elements
Journal of Scientific Computing
Numerical Analysis
Applied Mathematics
Computational Theory
Engineering
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Hybrid Damping in Higher Order Line Side Filter in Active Front-End Operation
International Journal of Computer and Electrical Engineering
Higher-Order Containers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Uncertainty
Higher Order Operations
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
