Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

Improving Web Database Access Using Decision Diagrams

In the beginning was game semantics

Incompleteness of States w.r.t. Traces in Model Checking

Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity

Independence and concurrent separation logic

Induction and Co-induction in Sequent Calculus

Inductive and Coinductive Components of Corecursive Functions in Coq

Inductive Definition and Domain Theoretic Properties of Fully Abstract

Inductive Logic Programming in Databases: from Datalog to DL+log

Inductive types in the Calculus of Algebraic Constructions

Inductive types in the Calculus of Algebraic Constructions

Inductive-data-type Systems

Industrial-Strength Formally Certified SAT Solving

Infinitary Combinatory Reduction Systems: Confluence

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

Infinitary Term Graph Rewriting

Infinite Oracle Queries in Type-2 Machines (Extended Abstract)

Initial Algebra Semantics for Cyclic Sharing Tree Structures

Initial Semantics for higher-order typed syntax in Coq