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

A

Adams, Mark Miles, Proof Technologies Ltd (United Kingdom)
Affeldt, Reynald, AIST - National Institute of Advanced Industrial Science and Technology (Japan)
Aguado, Felicidad (Spain)
Ahrens, Benedikt
Allais, Guillaume, University of Strathclyde
Allamigeon, Xavier, INRIA and CMAP, Ecole Polytechnique, CNRS, Palaiseau (France)
Almeida, José Carlos Bacelar, HASLab - INESC TEC, Universidade do Minho (Portugal)
Altenkirch, Thorsten, University of Nottingham
Armentano, Cristian, University of Bologna (Italy)
Arthan, Rob, Lemma1, UK (United Kingdom)
Arthan, Robin Denis, Lemma 1 Ltd. & Department of Computer Science, Oxford University
Asperti, Andrea, University of Bologna (Italy)
Avron, Arnon
Ayala-Rincón, Mauricio, Universidade de Brasilia (Brazil)

B

Baelde, David, LSV, CNRS & ENS de Cachan (France)
Barras, Bruno, INRIA Saclay - France (France)
Beeson, Michael, San Jose State University
Benzmueller, Christoph, Articulate Software (United States)
Bertot, Yves, INRIA
Bingham, Jesse, Intel corporation (United States)
Blanchette, Jasmin C., Technische Universitat Munchen (Germany)
Buchberger, Bruno, Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz (JKU) (Austria)
Buckley, Mitchell, Macquarie University (Australia)
Butler, Ricky Wayne, NASA Langley Research Center (United States)

C

Caminati, Marco Bright, Sapienza - Università di Roma (Italy)
Carneiro, Mario M, Department of Mathematics, Ohio State University, Columbus OH 43210, USA (United States)
Chan, Hing Lun, Australian National University (Australia)
Chapman, James
Chapman, James, Institute of Cybernetics, Tallinn
Chaudhuri, Kaustuv, INRIA, France.
Chiarabini, Luca, Universita' degli studi di Parma (Italy)
Chlipala, Adam, Harvard University (United States)
Cohen, Liron, Tel Aviv University (Israel)
Coquand, Thierry, Göteborg University (Sweden)

D

Danvy, Olivier, Aarhus University (Denmark)
de Queiroz, Ruy José Guerra Barretto, Centro de Informática, Universidade Federal de Pernambuco (UFPE) (Brazil)
Doncel, José Luis

G

Gacek, Andrew, Rockwell Collins, USA
Galdino, Andre Luiz, Universidade de Brasilia, Universidade Federal de Goias (Brazil)
Gaubert, Stéphane, INRIA and CMAP, Ecole Polytechnique, CNRS, Palaiseau (France)
Gonthier, Georges, Microsoft Research Cambridge - INRIA Microsoft Research Joint Centre (United Kingdom)
Grabowski, Adam, Institute of Mathematics, University of Bialystok (Poland)
Grimm, José, INRIA, Apics Team (France)
Grimm, José, INRIA, Marelle Team (France)
Grov, Gudmund, Heriot-Watt University, UK (United Kingdom)
Guidi, Ferruccio, University of Bologna (Italy)

H

Harrison, John
Harrison, John, Intel Corporation (United States)
Hölzl, Johannes, Technische Universität München (Germany)

J

Jebelean, Tudor, Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz (JKU) (Austria)

1 - 50 of 105 Items    1 2 3 > >>