A Formal Model of Dictionary Structure and Content
A formal proof of the four color theorem
A formal proof of the optimal frame setting for Dynamic-Frame Aloha with known population size
A Formal Specification of Dynamic Protocols for Open Agent Systems
A Formal Verification Approach to the Design of Synthetic Gene Networks
A Formal Verification Methodology for Checking Data Integrity
A Formalism and an Algorithm for Computing Pragmatic Inferences and Detecting Infelicities
A formalism for causal explanations with an Answer Set Programming translation
A Formalization of Polytime Functions
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
A Formalization of the Turing Test
A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables
A formally verified compiler back-end
A formally verified proof of the prime number theorem
A former asteroidal planet as the origin of comets
A forming dwarf galaxy in a tidal tail of the merging galaxy NGC 2782
A formula for calculating higher-order perturbations in planetary problems
A formulation of linearized gravity.