Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Index by Authors:

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Papers and Short Presentations by Authors: S

Authors on this page:

David Sabel

Jorge Luis Sacchini

Mehrnoosh Sadrzadeh

Shmuel Safra

Yehoshua Sagiv

Shmuel Sagiv

Ildikó Sain

Prakash Saivasan

Pietro Sala

Antonino Salibra

Sylvain Salvati

Anne Salvesen

Ivano Salvo

Sam Sanders

Anders Sandholm

Davide Sangiorgi

Sriram Sankaranarayanan

Donald Sannella

Luigi Santocanale

Ahmed Saoudi

Vijay A. Saraswat

Jeffrey Sarnat

Mathieu Sassolas

Vladimiro Sassone

Alexis Saurin

Luigi Sauro

Bassem Sayrafi

Andre Scedrov

Andrea Schalk

Svenja Schalthofer

Christelle Scharff

Sven Schewe

John S. Schlipf

Jeanette P. Schmidt

Manfred Schmidt-Schauß

Alan Schmitt

Sylvain Schmitz

Robert R. Schneck

Fred B. Schneider

Michael A. Schneider

Philippe Schnoebelen

Ulrich Schöpp

Lutz Schröder

Peter Schroeder-Heister

Lutz Schröder

Paul E. Schupp

Carsten Schürmann

Peter Schuster

Grigori Schwarz

Nicole Schweikardt

Pascal Schweitzer

Thomas Schwentick

Helmut Schwichtenberg

Jan Schwinghammer

Guido Sciavicco

Philip J. Scott

Dana S. Scott

Elizabeth Scott

Robert A. G. Seely

Luc Segoufin

Helmut Seidl

Fatemeh Seifan

Thomas Seiller

R. C. Sekar

Jerry Seligman

Peter Selinger

Bart Selman

Géraud Sénizergues

Amilcar Sernadas

Olivier Serre

Frédéric Servais

Rocco A. Servedio

Sanjit A. Seshia

Anil Seth

Anton Setzer

Peter Sewell

Natarajan Shankar

Zhong Shao

Ehud Y. Shapiro

Saharon Shelah

Rivi Sherman

Nikolay Shilov

Vitaly Shmatikov

Yoav Shoham

Sharon Shoham

Richard A. Shore

Michael Shulman

Jon Shultis

Sebastian Siebertz

Joseph Sifakis

Vincent Siles

Alexandra Silva

Mantas Simkus

Robert J. Simmons

Alex K. Simpson

Alex Simpson

A. Prasad Sistla

Michal Skrzypczak

Giora Slutzki

Scott F. Smith

Jan M. Smith

Geoffrey Smith

Scott A. Smolka

Wayne Snyder

Pawel Sobocinski

Kristina Sojakova

Oleg Sokolsky

Sylvain Soliman

Sergei Soloviev

Michael Soltys

Lei Song

Matthieu Sozeau

Frances Spalding

Arnaud Spiwack

Christoph Sprenger

A. V. Sreejith

Jai Srinivasan

B. Srivathsan

Eugene W. Stark

Ian D. B. Stark

Richard Statman

Sam Staton

Hugh Steele

Andrei Stefanescu

Kjartan Stefánsson

Bernhard Steffen

Florian Steinberg

Jari Stenman

Frank Stephan

Colin Stirling

Mariëlle Stoelinga

Alexei P. Stolboushkin

Scott D. Stoller

Viggo Stoltenberg-Hansen

Allen Stoughton

Lutz Straßburger

Howard Straubing

Thomas Streicher

Pierre-Yves Strub

Peter J. Stuckey

Aaron Stump

Thomas Sturm

Robert F. Stärk

Kristian Støvring

Ramesh Subrahmanyam

Dan Suciu

Kohei Suenaga

Eijiro Sumii

Mikko Suonio

Grégoire Sutre

Stefan Szeider

Wieslaw Szwast


Last modified: 2017-04-0512:37
Andrzej Murawski