SMT-based Induction Methods for Timed Systems

SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability

Soft lambda-calculus: a language for polynomial time computation

Soft Session Types

Soft Session Types (Long Version)

Solution of a Problem of Barendregt on Sensible lambda-Theories

Solving Composed First-Order Constraints from Discrete-Time Robust Control

Solving equations in the relational algebra

Solving Linux Upgradeability Problems Using Boolean Optimization

Solving Modular Model Expansion Tasks

Some applications of logic to feasibility in higher types

Some Mathematicians Are Not Turing Machines

Some Models and Tools for Open Systems

Some Remarks on the Model Theory of Epistemic Plausibility Models

Sound and complete axiomatizations of coalgebraic language equivalence

Sound and Complete Typing for lambda-mu

Sound Bisimulations for Higher-Order Distributed Process Calculus

Sound search in a denotational semantics for first order logic

Soundness and completeness of the cirquent calculus system CL6 for computability logic

Space-Efficient Bounded Model Checking