Injecting Abstract Interpretations into Linear Cost Models

Innocent strategies as presheaves and interactive equivalences for CCS

Instance Based Methods --- A Brief Overview

Instantiation of SMT problems modulo Integers

Instruction sequence processing operators

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms

Integrated Structure and Semantics for Reo Connectors and Petri Nets

Integrating design synthesis and assembly of structured objects in a visual design language

Intensional properties of polygraphs

Intensionality and Two-steps Interpretations

Interaction Grammars

Interaction Systems and Linear Logic, a different games semantics

Interactive Learning Based Realizability and 1-Backtracking Games

Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

Interactive Realizers and Monads

Interactive Small-Step Algorithms I: Axiomatization

Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem

Interface Building for Software by Modular Three-Valued Abstraction Refinement

Internalized realizability in pure type systems

Interpolant-Based Transition Relation Approximation