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

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)

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

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)

N

Nadathur, Gopalan, University of Minnesota, USA
Narkawicz, Anthony, NASA Langley (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 (Italy)
Sacerdoti Coen, Claudio, University of Bologna
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)
Stewart, Gordon, Ohio University (United States)
Sutcliffe, Geoff, University of Miami (United States)

T

Tabareau, Nicolas, Inria (France)
Tassi, Enrico, University of Bologna (Italy)

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