ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (973)

Abramsky, Samson
University of OxfordUnited Kingdom
Accattoli, Beniamino
Inria & Ecole Polytechnique
Ahmed, Amal
Northeastern University, USAUnited States
Amin, Nada
University of CambridgeUnited Kingdom
Ariola, Zena M.
University of Oregon, USA
Balliu, Musard
KTH Royal Institute of TechnologySweden
Barbon, Gianluca
Universit� Grenoble Alpes, Inria, LIG
Bauer, Lujo
Carnegie Mellon UniversityUnited States
Bisping, Benjamin
Technische Universität BerlinGermany
Blanchette, Jasmin
Vrije Universiteit AmsterdamNetherlands
Bloem, Roderick
Institute of Software Technology, Graz University of Technology
Bogomolov, Sergiy
Australian National UniversityAustralia
Bouajjani, Ahmed
IRIF, Université Paris DiderotFrance
Brady, Edwin
University of St. Andrews, UKUnited Kingdom
Bures, Tomas
Charles University, Czech RepublicCzechia
Buro, Samuele
Università degli Studi di Verona
Caravagna, Giulio
Institute of Cancer ResearchUnited Kingdom
Caruana, Caroline
University of Malta
Castro, Pablo
Dept. of Computer Science FCEFQyN, University of Rio CuartoArgentina
Cherry, Elizabeth
Rochester Institute of TechnologyUnited States
Ciobanu, Gabriel
Alexandru Ioan Cuza University of Iasi
Cleophas, Loek
Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)Netherlands
Cogumbreiro, Tiago
University of Massachusetts BostonUnited States
Das, Ankush
Carnegie Mellon UniversityUnited States
De Jong, Hidde
INRIA Grenoble - Rhone-AlpesFrance
de Muijnck-Hughes, Jan
University of GlasgowUnited Kingdom
De, Abhishek
IRIF, CNRS, France
Denney, Ewen
NASA Ames Research CenterUnited States
Dietsch, Daniel
University of Freiburg
Donze, Alexandre
University of California, Berkeley
Downen, Paul
University of Oregon, USA
Dreossi, Tommaso
University of California at BerkeleyUnited States
Dyrkolbotn, Sjur Kristoffer
Western Norway University of Applied Sciences
E
Eberhart, Clovis
National Institute of Informatics, Japan
Eilers, Marco
ETH ZurichSwitzerland
Emre, Mehmet
University of California, Santa Barbara
Fages, François
Inria Saclay - Ile de FranceFrance
Flanagan, Cormac
University of California, Santa CruzIreland
Fowler, Simon
The University of EdinburghUnited Kingdom
Furia, Carlo A.
Università della Svizzera italiana (USI)Switzerland
Férée, Hugo
University of Kent, UKUnited Kingdom
Gay, Simon J.
University of Glasgow, UKUnited Kingdom
Giallorenzo, Saverio
Alma Mater Studiorum - Università di BolognaItaly
Giese, Holger
Hasso Plattner Institute, University of PotsdamGermany
Gimenez Manuel, Jose Gines
Middlesex UniversityUnited Kingdom
Giunti, Marco
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
Gligoric, Milos
University of Texas at AustinUnited States
Gollmann, Dieter
Hamburg University of TechnologyGermany
Gordon, Colin
Drexel UniversityUnited States
Grosu, Radu
Vienna University of TechnologyAustria
Grumberg, Orna
Technion – Israel Institute of TechnologyIsrael
Guerrieri, Giulio
University of BathUnited Kingdom
Gurov, Dilian
KTH Royal Institute of TechnologySweden
Guttman, Joshua
Worcester Polytechnic InstituteUnited States
Hague, Matthew
Royal Holloway, University of LondonUnited Kingdom
Hartmanns, Arnd
University of TwenteNetherlands
Hennicker, Rolf
Ludwig Maximilians University Munich, Germany
Heule, Marijn
The University of Texas at AustinUnited States
Heunen, Chris
University of EdinburghUnited Kingdom
Hirschowitz, Tom
Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 ChambéryFrance
Hoenicke, Jochen
Universität FreiburgGermany
Hofmann, Martin
LMU Munich                    (1965-2018)Germany
Hsu, Justin
University of Wisconsin-Madison, USAUnited States
Huth, Michael
Imperial College LondonUnited Kingdom
Hüttel, Hans
Department of Computer Science, Aalborg UniversityDenmark
Immerman, Neil
University of Massachusetts, Amherst
Jacobs, Bart
Radboud University Nijmegen
Jacobs, Bart
imec-DistriNet, Dept. CS, KU LeuvenBelgium
Jacobs, Swen
CISPA Helmholtz Center for Information SecurityGermany
Jaffar, Joxan
National University of SingaporeSingapore
Jansen, Nils
RWTH Aachen University
Johann, Patricia
Appalachian State UniversityUnited States
Jourdan, Jacques-Henri
CNRS, LRI, Université Paris-SudFrance
Julius, Agung
Rensselaer Polytechnic InstituteUnited States
Junges, Sebastian
RWTH Aachen University, Germany
K
Kafle, Bishoksan
The university of MelbourneAustralia
Kappel, Gerti
Technical University of ViennaAustria
Khurshid, Sarfraz
University of Texas at AustinUnited States
Kiesl, Benjamin
CISPA Helmholtz Center for Information SecurityGermany
Kindler, Ekkart
Technical University of DenmarkDenmark
Kirsten, Michael
Karlsruhe Institute of Technology (KIT)Germany
Klauck, Michaela
Saarland Informatics Campus, Saarland UniversityGermany
Kokke, Wen
University of EdinburghUnited Kingdom
Komondoor, Raghavan
Indian Institute of Science, BangaloreIndia
Krebbers, Robbert
Delft University of TechnologyNetherlands
Kupke, Clemens
University of StrathclydeUnited Kingdom
Kuru, Ismail
Drexel UniversityUnited States
Křikava, Filip
Czech Technical UniversityCzechia
L
La Torre, Salvatore
Università degli Studi di SalernoItaly
Lampropoulos, Leonidas
University of PennsylvaniaGreece
Laouar, Alexis
Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
Laurenti, Luca
University of OxfordUnited Kingdom
Lenglet, Sergueï
University of Lorraine, France
Lerch, Lucie
Czech Technical University in PragueCzechia
Leroy, Vincent
University of Grenoble - CNRS
Lin, Yu-Yang
Queen Mary University of London
Manjunath, Niveditha
Austrian Institute of Technology
Martinelli, Fabio
Istituto di Informatica e TelematicaItaly
Mauro, Jacopo
University of Southern Denmark
Moedersheim, Sebastian A.
Technical University of DenmarkDenmark
Morris, J. Garrett
University of Kansas, USAUnited States
Moulin, Cecile
Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623
Muscholl, Anca
Université de Bordeaux / LaBRIFrance
Møgelberg, Rasmus Ejlers
IT University of CopenhagenDenmark
N
Narasimhamurthy, Monal
University of Colorado, BoulderUnited States
Neves, Renato
University of Minho & INESC TEC
Nickovic, Dejan
Austrian Institute of Technology
Nutz, Alexander
University of Freiburg, Germany
O
Ochremiak, Joanna
University of CambridgeUnited Kingdom
Orejas, Fernando
Universitat Politècnica de Catalunya, Spain
Owens, Scott
University of Kent, UKUnited Kingdom
Park, Junkil
University of PennsylvaniaUnited States
Patrignani, Marco
Stanford University & CISPA Helmholtz Center for Information SecurityUnited States
Pattinson, Dirk
Australian National UniversityAustralia
Pelenitsyn, Artem
Northeastern UniversityUnited States
Peres, Sabine
Laboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623.
Petrisan, Daniela
IRIF, Université Paris DiderotFrance
Peyton Jones, Simon
Microsoft, UK
Podelski, Andreas
University of Freiburg, GermanyGermany
Polikarpova, Nadia
University of California, San DiegoUnited States
Probst, Christian
Unitec Institute of TechnologyNew Zealand
Protzenko, Jonathan
Microsoft Research, RedmondUnited States
Păsăreanu, Corina S.
NASA Ames Research CenterUnited States
Q
Quatmann, Tim
RWTH Aachen UniversityGermany
rajkhowa, pritom
Ramananandro, Tahina
Microsoft Research, n.n.United States
Rensink, Arend
University of Twente, The NetherlandsNetherlands
Riesco, Adrian
Universidad Complutense de MadridSpain
Rot, Jurriaan
Radboud University Nijmegen
Régis-Gianas, Yann
IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France
Sabelfeld, Andrei
Chalmers University of TechnologySweden
Salaün, Gwen
University of Grenoble Alpes
Sankaranarayanan, Sriram
University of Colorado, BoulderUnited States
Santos-Buitrago, Beatriz
Seoul National University
Santos-Garcia, Gustavo
Universidad de Salamanca
Schalk, Andrea
University of Manchester, UKUnited Kingdom
Schindler, Tanja
University of Freiburg
Schürmann, Carsten
IT University of CopenhagenDenmark
Sekiyama, Taro
National Institute of InformaticsJapan
Seshia, Sanjit
University of California, BerkeleyUnited States
Silva, Alexandra
University College LondonUnited Kingdom
Spoletini, Paola
Kennesaw State UniversityUnited States
Sridhar Duggirala, Parasara
University of ConnecticutUnited States
Staňková, Kateřina
Maastricht UniversityNetherlands
Stevens, Perdita
University of EdinburghUnited Kingdom
Sun, Jun
Singapore University of Technology and DesignSingapore
ter Beek, Maurice
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" Italy
Thórisson, Kristinn R.
Reykjavik University & Icelandic Institute for Intelligent MachinesIceland
Tiu, Alwen
Australian National UniversityAustralia
Tonetta, Stefano
Fondazione Bruno Kessler, Italy
Torres Gonzalez, Daniel Alberto
LIPN, Université Paris 13Mexico
Tsukada, Takeshi
University of Tokyo, Japan
Turrini, Andrea
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
van Dijk, Tom
University of TwenteNetherlands
Vasconcelos, Pedro
LIACC, Universidade do Porto, Porto, PortugalPortugal
Ventresque, Anthony
Lero and University College DublinIreland
Vesely, Ferdinand
Swansea UniversityUnited Kingdom
Villanueva, Alicia
Universitat Politècnica de ValènciaSpain
Vörös, András
Budapest University of Technology and EconomicsHungary
Wang, Meng
University of Bristol, UKUnited Kingdom
Wang, Wenxi
The University of Texas at Austin, Texas, USAUnited States
Waugh Ambridge, Todd
University of BirminghamUnited Kingdom
Wirsing, Martin
Ludwig Maximilian University of MunichGermany
X
Xia, Li-yao
University of Pennsylvania
Ying, Mingsheng
University of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University.Australia
Zanasi, Fabio
University College London
Zetzsche, Georg
Max Planck Institute for Software Systems (MPI-SWS)Germany
Zorzi, Margherita
Università degli Studi di VeronaItaly
Zuck, Lenore
University of Illinois at ChicagoUnited Kingdom
Zuliani, Paolo
Newcastle UniversityUnited Kingdom
Č
Červený, Jan
Global Change Research Institute CAS