Coauthors

• 
  Nael Abu-Ghazaleh
  State University of New York — Computer Science
  Binghamton, NY, USA
  Email:
  
  
• 
  Serge Autexier
  German Research Center for Artificial Intelligence (DFKI)
  Saarbrücken, Germany
  Email:
  
  
• 
  Michael Backes
  Saarland University — Computer Science Department
  Saarbrücken, Germany
  Email:
  
  
• 
  Stefano Bistarelli
  C.N.R. — Istituto di Informatica e Telematica
  Pisa, Italy
  Email:
  
  
• 
  Frederic Butler
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email:
  
  
• 
  Luca Chittaro
  Università di Udine — Dipartimento di Matematica e di Matematica
  Udine, Italy
  Email:
  
  
• 
  Yonina Cooper
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email:
  
  
• 
  Yuxin Deng
  Jiao Tong University — Department of Computer Science
  Shanghai, China
  Email:
  
  
• 
  Valeria de Paiva
  Xerox PARC
  Palo Alto, CA, USA
  Email:
  
  
• 
  Nancy Durgin
  Stanford University — Computer Science Department
  Stanford, CA, USA
  Email:
  
  
• 
  Christoph F. Eick
  University of Houston — Department of Computer Science
  Houston, TX, USA
  Email:
  
  
• 
  Massimo Franceschet
  Università di Udine — Dipartimento di Matematica e Informatica
  Udine, Italy
  Email:
  
  
• 
  Khaled Harras
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email:
  
  
• 
  Jonathan Herzog
  The MITRE Corporation
  Bedford, MA, USA
  Email:
  
  
• 
  Joshua S. Hodas
  Harvey Mudd College — Computer Science Department
  Claremont, CA, USA
  Email:
  
  
• 
  Aaron D. Jaggard
  Tulane University — Department of Mathematics
  New Orleans, LA, USA
  Email:
  
  
• 
  Max I. Kanovich
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email:
  
  
• 
  Andreas Karatsolis
  Carnegie Mellon University — English
  Doha, Qatar
  Email:
  
  
• 
  Gabriele Lenzini
  Istituto di Elaborazione dell'Informazione — C.N.R.
  Pisa, Italy
  Email:
  
  
• 
  Patrick D. Lincoln
  SRI International — Computer Science Laboratory
  Menlo Park, CA, USA
  Email:
  
  
• 
  Heiko Mantel
  ETH Zürich — Information Security
  Zürich, Switzerland
  Email:
  
  
• 
  Roberto Marangoni
  Istituto di Biofisica — C.N.R.
  Pisa, Italy
  Email:
  
  
• 
  Fabio Martinelli
  Istituto di Informatica e Telematica — C.N.R.
  Pisa, Italy
  Email:
  
  
• 
  Catherine Meadows
  Naval Research Laboratory — Center for High Assurance Computer Systems
  Washington, DC, USA
  Email:
  
  
• 
  John C. Mitchell
  Stanford University — Computer Science Department
  Stanford, CA, USA
  Email:
  
  
• 
  Angelo Montanari
  Università di Udine — Dipartimento di Matematica e Informatica
  Udine, Italy
  Email:
  
  
• 
  Kemal Oflazer
  Carnegie Mellon University — Computer Science
  Doha, Qatar
  Email:
  
  
• 
  Dusko Pavlovic
  Kestrel Institute
  Palo Alto, CA, USA
  Email:
  
  
• 
  Frank Pfenning
  Carnegie Mellon University — Department of Computer Science
  Pittsburgh, PA, USA
  Email:
  
  
• 
  Alessandro Provetti
  University of Texas at El Paso — Department of Computer Science
  El Paso, TX, USA
  Email:
  
  
• 
  Eike Ritter
  University of Birmingham — School of Computer Science
  Birmingham, UK
  Email:
  
  
• 
  Gianfranco Rossi
  Università di Parma — Dipartimento di Matematica
  Parma, Italy
  Email:
  
  
• 
  Thierry Sans
  Carnegie Mellon University — Institute for Software Research
  Doha, Qatar
  Email:
  
  
• 
  Andre Scedrov
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email:
  
  
• 
  Robert J. Simmons
  Carnegie Mellon University — Department of Computer Science
  Pittsburgh, PA
  Email:
  
  
• 
  Mark-Oliver Stehr
  University of Illinois at Urbana-Champaign — Computer Science Department
  Urbana, IL, USA
  Email:
  
  
• 
  Paul F. Syverson
  Naval Research Laboratory — Center for High Assurance Computer Systems
  Washington, DC, USA
  Email:
  
  
• 
  Joe-Kai Tsay
  University of Pennsylvania — Department of Mathematics
  Philadelphia, PA, USA
  Email:
  
  
• 
  Helmut Veith
  Technical University of Darmstadt
  Darmstadt, Germany
  Email:
  
  
• 
  Andrei Voronkov
  University of Manchester
  Manchester, UK
  Email:
  
  
• 
  David Walker
  Princeton University — Department of Computer Science
  Princeton, NJ, USA
  Email:
  
  
• 
  Christopher Walstad
  University of Pennsylvania
  Philadelphia, PA, USA
  Email:
  
  
• 
  Kevin Watkins
  Carnegie Mellon University — Department of Computer Science
  Pittsburgh, PA, USA
  Email: