Sierpinski Gaskets for Logic Functions Representation

Significant Diagnostic Counterexamples in Probabilistic Model Checking

Similarity-based Reasoning in Qualified Logic Programming

Simple Type Theory as Framework for Combining Logics

Simulating reachability using first-order logic with applications to verification of linked data structures

Simulation-Checking of Real-Time Systems with Fairness Assumptions

Sintesi di algoritmi con SKY

Size-Change Termination, Monotonicity Constraints and Ranking Functions

Smart matching

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