Coauthors

• 
  Nael Abu-Ghazaleh
  State University of New York — Computer Science
  Binghamton, NY, USA
  Email: nael@cs.binghamton.edu
  
  
• 
  Ali Elgazar
  Carnegie Mellon University — Department of Computer Science
  Doha, Qatar
  Email: aee@cmu.edu
  
  
• 
  Sandra Alves
  University of Porto — Department of Computer Science
  DCC-FCUP, Rua do Campo Alegre 1021/1055, 4169-007 Porto, Portugal
  Email: sandra@dcc.fc.up
  
  
• 
  Serge Autexier
  German Research Center for Artificial Intelligence (DFKI)
  Saarbrücken, Germany
  Email: autexier@dfki.de
  
  
• 
  Michael Backes
  Saarland University — Computer Science Department
  Saarbrücken, Germany
  Email: backes@s.uni-sb.de
  
  
• 
  Baljit Singh
  Qatar University — Department of Computer Science and Engineering
  Doha, Qatar
  Email: baljits@qatar.cmu.edu
  
  
• 
  Stefano Bistarelli
  C.N.R. — Istituto di Informatica e Telematica
  Pisa, Italy
  Email: stefano.bistarelli@iit.cnr.it
  
  
• 
  Frederic Butler
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email: fbutler@math.upenn.edu
  
  
• 
  Luca Chittaro
  Università di Udine — Dipartimento di Matematica e di Matematica
  Udine, Italy
  Email: chittaro@dimi.uniud.it
  
  
• 
  Yonina Cooper
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email: yonina@cs.cmu.edu
  
  
• 
  Yuxin Deng
  Jiao Tong University — Department of Computer Science
  Shanghai, China
  Email: yuxindeng@gmail.com
  
  
• 
  Valeria de Paiva
  Xerox PARC
  Palo Alto, CA, USA
  Email: paiva@parc.xerox.com
  
  
• 
  Dmitry Evtyushkin
  State University of New York — Department of Computer Science
  Binghamton, NY, USA
  Email: devtyushkin@cs.binghamton.edu
  
  
• 
  Dmitry Ponomarev
  State University of New York — Computer Science
  Binghamton, NY, USA
  Email: dima@cs.binghamton.edu
  
  
• 
  Dragiša Žunić
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email: dzunic@andrew.cmu.edu
  
  
• 
  Nancy Durgin
  Stanford University — Computer Science Department
  Stanford, CA, USA
  Email: nad@cs.stanford.edu
  
  
• 
  Christoph F. Eick
  University of Houston — Department of Computer Science
  Houston, TX, USA
  Email: ceick@cs.uh.edu
  
  
• 
  Jesse Elwell
  State University of New York — Computer Science
  Binghamton, NY, USA
  Email: jelwell@cs.binghamton.edu
  
  
• 
  Massimo Franceschet
  Università di Udine — Dipartimento di Matematica e Informatica
  Udine, Italy
  Email: francesc@dimi.uniud.it
  
  
• 
  Giselle Reis
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email: giselle@cmu.edu
  
  
• 
  Coty Gonzalez
  Carnegie Mellon University — Department of Social and Decision Sciences
  Pittsburgh, PA
  Email: coty@cmu.edu
  
  
• 
  Khaled Harras
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email: kharras@cs.cmu.edu
  
  
• 
  Jonathan Herzog
  The MITRE Corporation
  Bedford, MA, USA
  Email: jherzog@mitre.org
  
  
• 
  Joshua S. Hodas
  Harvey Mudd College — Computer Science Department
  Claremont, CA, USA
  Email: hodas@cs.hmc.edu
  
  
• 
  Soha Hussein
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email: sohah@qatar.cmu.edu
  
  
• 
  Aaron D. Jaggard
  Tulane University — Department of Mathematics
  New Orleans, LA, USA
  Email: adj@math.tulane.edu
  
  
• 
  Max I. Kanovich
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email: maxkanov@math.upenn.edu
  
  
• 
  Andreas Karatsolis
  Carnegie Mellon University — English
  Doha, Qatar
  Email: karatsolis@cmu.edu
  
  
• 
  Kaustuv Chaudhuri
  Inria — Parsifal
  Palaiseau, France
  Email: kaustuv.chaudhuri@inria.fr
  
  
• 
  Shikar Kumar
  University of Arizona — Department of Psychology
  Tucson, AZ
  Email: shikhark@email.arizona.edu
  
  
• 
  Edmund S.L. Lam
  Carnegie Mellon University — Department of Computer Science
  Doha, Qatar
  Email: sllam@qatar.cmu.edu
  
  
• 
  Gabriele Lenzini
  Istituto di Elaborazione dell'Informazione — C.N.R.
  Pisa, Italy
  Email: lenzini@iei.pi.cnr
  
  
• 
  Patrick D. Lincoln
  SRI International — Computer Science Laboratory
  Menlo Park, CA, USA
  Email: lincoln@csl.sri.com
  
  
• 
  Heiko Mantel
  ETH Zürich — Information Security
  Zürich, Switzerland
  Email: Heiko.Mantel@inf.ethz.ch
  
  
• 
  Roberto Marangoni
  Istituto di Biofisica — C.N.R.
  Pisa, Italy
  Email: roberto.marangoni@ib.pi.cnr
  
  
• 
  Maribel Fernández
  King's College London — Department of Informatics
  London, UK
  Email: maribel.fernandez@kcl.ac.uk
  
  
• 
  Fabio Martinelli
  Istituto di Informatica e Telematica — C.N.R.
  Pisa, Italy
  Email: fabio.martinelli@iit.cnr.it
  
  
• 
  Catherine Meadows
  Naval Research Laboratory — Center for High Assurance Computer Systems
  Washington, DC, USA
  Email: meadows@itd.nrl.navy
  
  
• 
  John C. Mitchell
  Stanford University — Computer Science Department
  Stanford, CA, USA
  Email: jcm@cs.stanford.edu
  
  
• 
  Angelo Montanari
  Università di Udine — Dipartimento di Matematica e Informatica
  Udine, Italy
  Email: montana@dimi.uniud.it
  
  
• 
  Nabeeha Fatima Haque
  Carnegie Mellon University
  Doha, Qatar
  Email: nhaque@qatar.cmu.edu
  
  
• 
  Kemal Oflazer
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email: ko@cs.cmu.edu
  
  
• 
  Dusko Pavlovic
  Kestrel Institute
  Palo Alto, CA, USA
  Email: dusko@kestrel.edu
  
  
• 
  Frank Pfenning
  Carnegie Mellon University — Department of Computer Science
  Pittsburgh, PA, USA
  Email: fp+@cs.cmu.edu
  
  
• 
  Alessandro Provetti
  University of Texas at El Paso — Department of Computer Science
  El Paso, TX, USA
  Email: provetti@cs.ep.utexas
  
  
• 
  Ryan Riley
  Qatar University — Department of Computer Science and Engineering
  Doha, Qatar
  Email: ryan.riley@qu.edu.qa
  
  
• 
  Eike Ritter
  University of Birmingham — School of Computer Science
  Birmingham, UK
  Email: E.Ritter@cs.bham.ac
  
  
• 
  Gianfranco Rossi
  Università di Parma — Dipartimento di Matematica
  Parma, Italy
  Email: gianfr@prmat.math.unipr
  
  
• 
  Jorge Luis Sacchini
  Carnegie Mellon University — Department of Computer Science
  Doha, Qatar
  Email: sacchini@qatar.cmu.edu
  
  
• 
  Thierry Sans
  Carnegie Mellon University — Institute for Software Research
  Doha, Qatar
  Email: tsans@qatar.cmu.edu
  
  
• 
  Andre Scedrov
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email: scedrov@saul.cis.upenn
  
  
• 
  Carsten Schürmann
  IT University of Copenhagen — Department of Computer Science
  Copenhagen, Denmark
  Email: carsten@itu.dk
  
  
• 
  Robert J. Simmons
  Carnegie Mellon University — Department of Computer Science
  Pittsburgh, PA
  Email: rjsimmon@cs.cmu.edu
  
  
• 
  Sharjeel Khan
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email: smkhan@qatar.cmu.edu
  
  
• 
  Mark-Oliver Stehr
  University of Illinois at Urbana-Champaign — Computer Science Department
  Urbana, IL, USA
  Email: stehr@uiuc.edu
  
  
• 
  Paul F. Syverson
  Naval Research Laboratory — Center for High Assurance Computer Systems
  Washington, DC, USA
  Email: syverson@itd.nrl.navy
  
  
• 
  Joe-Kai Tsay
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email: jetsay@math.upenn.edu
  
  
• 
  Helmut Veith
  Technical University of Darmstadt
  Darmstadt, Germany
  Email: veith@cs.tu-darmstadt.de
  
  
• 
  Andrei Voronkov
  University of Manchester
  Manchester, UK
  Email: andrei@voronkov.com
  
  
• 
  David Walker
  Princeton University — Department of Computer Science
  Princeton, NJ, USA
  Email: dpw@cs.princeton.edu
  
  
• 
  Christopher Walstad
  University of Pennsylvania
  Philadelphia, PA, USA
  Email: cwalstad@seas.upenn.edu
  
  
• 
  Kevin Watkins
  Carnegie Mellon University — Department of Computer Science
  Pittsburgh, PA, USA
  Email: kw@cs.cmu.edu