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

G

Guidi, Ferruccio, University of Bologna (Italy)

H

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

J

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

K

Kaliszyk, Cezary, University of Innsbruck (Austria)
Kaliszyk, Cezary, Radboud University Nijmegen (Netherlands)
Kohlhase, Michael, Computer Science Jacobs University Bremen (Germany)
Kornilowicz, Artur, Institute of Informatics, University of Bialystok (Poland)
Kutsia, Temur, Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz (JKU) (Georgia)

L

Lescanne, Pierre, ENS de Lyon (France)
Lin, YuHui, Heriot-Watt University, UK (United Kingdom)
Lyaletski, Alexander, Taras Shevchenko National University of Kyiv (Ukraine)

M

Magron, Victor, LAAS-CNRS (France)
Mahboubi, Assia, INRIA Microsoft Research Joint Centre (France)
Maletzky, Alexander, Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz (JKU) (Austria)
Marché, Claude, Inria Saclay-Ile-de-France (France)
Merten, Samuel
Miller, Dale, Inria & LIX/Ecole polytechnique, France
Molinelli, Jose María (Spain)
Monnier, Stefan, Universite de Montreal
Moreira, Nelma, Departamento de Ciência de Computadores, Faculdade de Ciências, Universidade do Porto (Portugal)
Mörtberg, Anders, Göteborg University (Sweden)
Munoz, Cesar, NASA Langley Research Center, Bldg. 1220, Room 115 MS. 130, Hampton, VA 23681-2199, USA (United States)

N

Nadathur, Gopalan, University of Minnesota, USA
Narkawicz, Anthony, NASA Langley (United States)
Narkawicz, Anthony Joseph, NASA Langley Research Center, Bldg. 1220, Room 115 MS. 130, Hampton, VA 23681-2199, USA (United States)
Naumowicz, Adam, Institute of Informatics, University of Bialystok (Poland)
Neron, Pierre, INRIA (France)
Nipkow, Tobias (Germany)
Norrish, Michael, NICTA, also Australian National University (Australia)

O

O'Connor, Russell, Radboud University Nijmegen (Netherlands)

P

Paulson, Lawrence C., University of Cambridge (United Kingdom)
Perez, Gilberto (Spain)
Pientka, Brigitte, School of Computer Science McGill University (Canada)
Popescu, Andrei, Technische Universität München (Germany)

Q

Quirin, Kevin, École des Mines de Nantes (France)

R

Rabe, Florian, Computer Science Jacobs University Bremen (Germany)
Ramos, Marcus V M, Colegiado de Engenharia de Computação, Universidade Federal do Vale do São Francisco (UNIVASF) (Brazil)
Ricciotti, Wilmer, University of Bologna (Italy)
Ricciotti, Wilmer, IRIT, University of Toulouse (France)
Roux, Pierre, ISAE, ONERA

S

Sacerdoti Coen, Claudio, University of Bologna
Sacerdoti Coen, Claudio, University of Bologna (Italy)
Sakaguchi, Kazuhiko, University of Tsukuba (Japan)
Santos Rego, Yuri, Unicamp/Universidade de Brasilia (Brazil)
Savary Belanger, Olivier, School of Computer Science McGill University
Siles, Vincent, Göteborg University (Sweden)
Sozeau, Matthieu, Harvard University (United States)
Sternagel, Christian, University of Innsbruck (Austria)

51 - 100 of 116 Items    << < 1 2 3 > >>