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)

1 - 14 of 14 Items