Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

Secondary use of data in EHR systems

Secure Prolog-Based Mobile Code

Secure the Clones

Security Policies as Membranes in Systems for Global Computing

Selective Memoization

Self-Adjusting Stack Machines

Semantic Solutions to Program Analysis Problems

Semantics and Algorithms for Parametric Monitoring

Semantics of Programming Languages: A Tool-Oriented Approach

Semi-continuous Sized Types and Termination

Separation Logic for Small-step Cminor

Session Type Inference in Haskell

Session Types = Intersection Types + Union Types

Session Types at the Mirror

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

Shape Calculus: Timed Operational Semantics and Well-formedness

SICStus Prolog -- the first 25 years

Simple, Decidable Type Inference with Subtyping