States and exceptions considered as dual effects

Static Analysis Techniques for Equational Logic Programming

Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems

Statistical Model Checking : An Overview

Straight-line instruction sequence completeness for total calculation on cancellation meadows

Strategies as sheaves and interactive equivalences for CCS

Strategies of Loop Recombination in Ciliates

Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic

Stream Productivity by Outermost Termination

Strong Completeness of Coalgebraic Modal Logics

Strong Equivalence Made Easy: Nested Expressions and Weight Constraints

Strong Equivalence of Qualitative Optimization Problems

Strong polynomial bound for light linear logic by levels

Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach

Structural abstract interpretation, A formal study using Coq

Structural Analysis of Boolean Equation Systems

Structural Decomposition of Reactions of Graph-Like Objects

Structural focalization

Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words

Structured general corecursion and coinductive graphs [extended abstract]