Combination Methods in AR: People
This (very imcomplete) list contains email addresses or homepage links of
people who have studied or applied combination methods.
If you work in the field and would like to be listed,
just send us
your name and email/URL.
[
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
]
A
-
Armando, Alessandro
B
-
Baader, Franz
-
van Baalen, Jeffrey
-
Barrett, Clark
-
Baumgartner, Peter
-
Beckert, Bernhard
-
Bjørner, Nikolaj
-
Boudet, Alexandre
-
Bürckert, Hans-Jürgen
D
-
Dershowitz, Nachum
-
Dixon, Clare
-
Domenjoud, Eric
F
-
Fisher, Michael
-
Frisch, Alan
-
Furbach, Ulrich
G
-
Gabbay, Dov
-
Ganzinger, Harald
-
Giunchiglia, Fausto
-
Gramlich, Bernhard
H
-
Hähnle, Reiner
-
Hustadt, Ullrich
J
-
Jouannaud, Jean-Pierre
-
Janicic, Predrag
K
-
Kapur, Deepak
-
Kepser, Stephan
-
Kirchner, Claude
-
Kirchner, Hélène
-
Kohlhase, Michael
M
-
Melis, Erica
-
Middeldorp, Aart
N
-
Nipkow, Tobias
-
Nelson, Greg
O
-
Ohlebusch, Enno
P
-
Petermann, Uwe
-
Policriti, Alberto
R
-
Ranise, Silvio
-
Ringeissen, Christophe
-
Roach, Steve
-
Ruess, Harald
S
-
Schmidt, Renate
-
Schmidt-Schauß, Manfred
-
Schulz, Klaus
-
Shankar, Natarajan
-
Snyder, Wayne
-
Stickel, Mark
-
Stump, Aaron
T
-
Talcott, Carolyn
-
Tinelli, Cesare
-
Tiwari, Ashish
-
Toyama, Yoshihito
W
-
Wolter, Frank
Y
-
Yelick, Katherine
Z
-
Zarba, Calogero
Last updated: Jun 2002