Formal Concept Analysis and Resolution in Algebraic Domains
Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases
Formal Model Engineering for Embedded Systems Using Real-Time Maude
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Formal Proof of a Wave Equation Resolution Scheme: the Method Error
Formal Proof of SCHUR Conjugate Function
Formal study of plane Delaunay triangulation
Formal Theories for Linear Algebra
Formal Theories for Logspace Counting
Formal verification of a deadlock detection algorithm
Formal verification of a time-triggered hardware interface
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback
Formal Verification of Full-Wave Rectifier: A Case Study
Formal Verification of Self-Assembling Systems
Formalising Sylow's theorems in Coq
Formalising the pi-calculus using nominal logic
Formalization of Abstract State Transition Systems for SAT
Formalizing cCSP Synchronous Semantics in PVS
Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model
Formalizing Randomized Matching Algorithms