Browse Author Index

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

S

Seidl, Martina, Institute for Formal Models and Verification Johannes Kepler Universität Linz
Seshia, Sanjit A., University of California, Berkeley
Seto, Kenshu, The University of Tokyo
Sheini, Hossein M., University of Michigan, Ann Arbor
Shikanian, Igor, New York University
Sighireanu, Mihaela, University Paris Diderot
Silveira, Luis Miguel, Cadence Research Laboratories
Simon, Laurent, LRI, Universit ́ Paris-Sud
Sinz, Carsten, Johannes Kepler University, Linz
Sinz, Carsten, Karlsruhe Institute of Technology (KIT)
Sloan, Robert H., University of Illinois at Chicago
Somenzi, Fabio, University of Colorado at Boulder
Sorensson, Niklas, Chalmers University of Technology, G ̈teborg
Speckenmeyer, Ewald, Universitaet zu Koeln
Spence, Ivor, Queen’s University Belfast, Northern Ireland
Strichman, Ofer, Technion, Haifa
Stuckey, Peter J., The University of Melbourne
Stuckey, Peter J., NICTA Victoria Laboratory, University of Melbourne
Subramani, K., West Virginia University
Szeider, Stefan, Durham University
Szoerenyi, Balazs, Hungarian Academy of Sciences and University of Szeged

T

Tabary, Sebastien, CRIL (Centre de Recherche en Informatique de Lens)
Tacchella, Armando, DIST, University of Genoa
Tacchella, Armando, DIST - Universita degli Studi di Genova
Tacchella, Armando, DIST, Universit` di Genova

201 - 225 of 259 Items    << < 4 5 6 7 8 9 10 11 > >>