AAH
AAP
AAR
ABQ
ABT
ACC
ACD
ACN
ACP
ACS
ACSR
ADF
AEP
AES
AFP
AG
AIB
AIE
AIK
AIP
AIU
AIV
AIVa
AIVb
AIa
AIb
AIc
AId
ALDEBARAN
ANW
APP
ASD
ASI
ASV
ATA
ATC
ATD
ATH
ATR
AVF
AVO
Aachen
Aalborg
Aalst
Aarhus
Abadi
Abha
Abo
Abramov
Abramsky
Abreu
Abrial
Acad
Achatz
Acknowledgement
Adrian
Agostino
Ahlem
Ai
Aiguier
Aiken
Ait
Ajmal
Akad
Akademi
Akinori
Alain
Alban
Albrechts
Aldrich
Alencar
Alessandra
Alessandro
Ali
Alphatronix
Alt
Ambuj
Ameur
Amir
Ammers
Ana
Analysing
Andr
Andrea
Andreas
Andreoli
Andries
Andrzej
Anindya
Annegret
Antipolis
Antonella
Antonino
Antonio
Antoniol
Arcavacata
Arcelli
Aretz
Arie
Armin
Artificielle
Asl
Astesiano
Attanasio
Attilio
Augsburg
Augustin
Augusto
Aust
Automation
Automatique
Autoprojection
Autorreferat
Axel
Ayed
B
BAS
BC
BDD
BDS
BME
BMS
BPT
BR
BRP
BSP
BTA
BTR
Bachmann
Backhouse
Bagnara
Balbo
Banach
Banatre
Banerjee
Barbuti
Bardohl
Baruch
Baudouin
Baugh
Begay
Behavioural
Belfield
Belg
Bellegarde
BenCherifa
Benaini
Benhamou
Beniamino
Benveniste
Berghamme
Berghammer
Bergstra
Bericht
Bernd
Bernhard
Bernot
Berthold
Berzins
Bharat
BibNet
BibTeX
Bic
Bicarregui
Bidoit
Bielefeld
Bijlsma
Birgit
Bisimulation
Blikle
Bmethod
Boaz
Boiten
Bojan
Boleslaw
Bollman
Bondorf
Bonsangue
Borger
Borghoff
Borgne
Bos
Bossi
Bouajjani
Boullier
Boundedness
Boyer
Boyle
Bozga
Br
Brauburger
Braz
Brent
Brezocnik
Brisbane
Brito
Broek
Brogi
Bron
Brouwerian
Broy
BroyM
Bruckner
Bruijn
Brunekreef
Brunel
Bruns
Brunswick
Buell
Bueno
Bugliesi
Bulterman
Bulterman's
Bundeswehr
Bunkenburg
Burghard
Burnaby
C
CA
CAC
CAE
CBP
CBS
CC
CCB
CCC
CCM
CCS
CDP
CEE
CERT
CFB
CGA
CHAM
CHL
CICS
CIE
CIF
CIGALE
CII
CIM
CIP
CIS
CISE
CLF
CLP
CMP
CMS
CNET
CNRS
CNUCE
CO
CODEN
COM
COMP
COMPUT
CP
CPI
CPL
CPP
CPS
CPT
CQP
CRA
CRC
CRD
CRIN
CRL
CRP
CRU
CSC
CSD
CSE
CSF
CSG
CSLI
CSM
CSN
CSP
CTC
CTI
CTR
CTS
CWI
Caching
Cai
Calabria
Calculational
Calif
Caltech
Campos
Candida
Cao
Caprile
Cardelli
Carlo
Carlos
Carlsson
Carreira
Carroll
Catholique
Catolica
Cavalcanti
Cesar
Chakravarty
Chan
Chandy
Charlier
Chaudhuri
Chaumun
Cheng
Cherifa
Chesnay
Chikofsky
Chishorm
Choo
Christoph
Ciancarini
Ciapessoni
Ciar
Cifuentes
Cigale
Cimatti
Ciobanu
Cjj
Clarkson
Clayton
Cleaveland
Coenraad
Cointe
Colin
Coll
Collette
Comini
Como
Compactification
Compendex
Compositionality
Comput
Conf
Consel
Contrib
Cooke
Coquand
Cordelia
Corradini
Corsetti
Cortellessa
Cortesi
Costa
Cousineau
Cousot
Cracow
Cremers
Cristian
Cristina
Cuellar
Curien
Curteanu
Curtis
Czerny
D
DAC
DAT
DAU
DCL
DCM
DCP
DCS
DCT
DDA
DDC
DDI
DDP
DDS
DERI
DFI
DGM
DII
DLA
DLP
DME
DPA
DPP
DRP
DRS
DS
DSB
DSC
DSE
DSM
DSP
DSU
DTP
DTS
DTT
Damas
Damm
Daniele
Danvy
Dardenne
Darmstadt
Daszkiewicz
Datatypes
Davide
DeFrancesco
Debasish
Deepak
Dejter
Demuth
Denti
Deo
Dep
Depke
Derek
Desharnais
Despland
Detlef
Deursen
Deville
Di
Didier
Diehl
Dielissen
Diepen
Diertens
Dijstra's
Dillencourt
Dilworth
Dilworth's
Dino
Dirichlet
Dix
Doh
Doornbos
Dosch
Duggan
Dybjer
E
EAG
EAS
EBa
EBb
EBc
EBd
EBe
EBf
EBg
ECH
ECS
EDC
EDS
EEP
EES
EFM
EFS
EHD
EIC
EIL
EJL
ENC
ENSMA
EPP
EPS
EPT
ER
ERCIM
ERI
ESA
ESC
ESE
ESOP
ESP
ESTEREL
ESU
ETD
ETG
ETI
ETP
EVV
Ea
Earley
Earley's
Eb
Ebergen
Ecole
Eds
Edsger
Eerke
Eggers
Egidio
Egon
Ehler
Ehrig
Eiiti
Eijck
Eijnde
Eike
Eindhoven
Elena
Elrad
Elseaidy
Emin
Emmerik
Engels
Engl
Enn
Enric
Enschede
Eoin
Equational
Ermel
Ernesto
Esparza
EstSSR
Esterel
Evry
F
FAO
FAS
FAX
FDC
FDE
FDL
FDP
FII
FIU
FLL
FMP
FMTA
FMV
FOL
FP
FPS
FRE
FSD
FSF
FSG
FSI
FSP
FST
FTB
FTE
FVP
Fachbereich
Factorizable
Facult
Facultes
Fahimeh
Fairbairn
Fairouz
Fakult
Fakultaet
Fangmin
Farahani
Fatma
Fausto
Fecht
Fehmina
Fehr
Feijen
Feijs
Feliks
Felleisen
Fernandez
Ferrante
Fiadeiro
Fickas
Fil
Finl
Flavio
Flemming
Florian
Floyd's
FoLLI
Foisy
Fokkinga
Fondamentale
Formato
Fosca
Foundational
Foy
Fr
Fradet
Francel
Francesca
Francesco
Francez
Francois
Frappier
Fraser
Fri
Friedrich
Friso
Frits
Fudgets
Fukuda
Futuroscope
G
GCS
GDA
GDF
GEC
GER
GFV
GHO
GIE
GMA
GMD
GOFFIN
GPB
GRA
GSL
GTA
GTS
GTV
Ga
Gabbrielli
Gabriele
Gadi
Gajewsky
Ganzinger
Garavel
Gardiner
Garlan
Garmhausen
Gasteren
Gaudel
Geist
Gelfond
Generalising
Genova
Ger
Geraint
Gergely
Gerth
Ghezzi
Ghirvu
Giacobazzi
Gianfranco
Gianluigi
Gianna
Giannotti
Giegerich
Giesl
Giessen
Gigliola
Gilberto
Gilles
Gilst
Ginzburg
Giorgio
Girard
Giunchiglia
Gl
Gnatz
Gnesi
Goeman
Gon
Gonthier
Goo
Gori
Gorlatch
Goteborg
Gothenburg
Gouda
Graefe
Gregor
Gribomont
Gries
Grieskamp
Grigori
Gro
Groningen
Groote
Grundlagen
Guernic
Guo
Gupta
Guttag
H
HAVi
HBP
HCM
HCS
HCW
HDG
HDP
HEB
HLP
HMA
HOI
HPC
Habel
Hae
Hagiya
Hailpern
Hains
Halbwachs
Hankin
Hanna
Hanne
Harald
Harel
Hartmut
Hartonas
Haskell
Heckel
Heckmann
Hedin
Hee
Hehner
Heiko
Heilbrunner
Heimdahl
Heine
Heinrich
Heisel
Helmink
Hemerik
Hendrik
Henglein
Henk
Hennessy
Hennicker
Henri
Henryk
Hentenryck
Heriot
Hermanns
Hermenegildo
Hesselink
Hillebrand
Hindley
Hinze
Hiroyuki
Hoare
Hoare's
Hochschule
Hoffmann
Hofstee
Holger
Hoogendijk
Hoogerwoord
Horner
Horner's
Horning
Horst
Huang
Hussmann
Hwan
Hypatia
IAM
ICL
IDM
IDP
IDS
IDV
IEA
IMAG
IML
INRIA
INSCC
IOM
IPP
IRCAM
IRF
IRISA
IRR
IRT
ISBN
ISC
ISF
ISSN
ITP
IWSSD
Ia
Ian
Ib
Ic
Idempotence
Iglewski
Il
ImpUnity
Impredicativity
Ina
Indep
Inductivity
Infinitary
Informatica
Informatik
Informatique
Initiality
Inorder
Inoue
Inria
Inst
Institut
Instituto
Insup
Int
Internet
Interoperability
Interprocedural
Interscience
Intl
Inverardi
Irel
Irsee
Isabelle
Isr
Italo
Iyer
J
JAO
JJF
JM
JSS
Jaap
Jackson's
Jacquemot
Jacquet
Jagadeesan
Jahnke
Jakob
Jalili
Janicki
Janina
Jansson
Jard
JastAdd
Javier
Jayadev
Jayaraman
Jeanine
Jeannette
Jens
Jerding
Jeron
Jeuring
Jiannong
Jiaotong
Jiazhen
Jifeng
Jin
Jo
Jochen
Joep
Johan
Jongejan
Jongeyan
Joost
Joris
Jos
Josephs
Joshi
Josva
Jourdan
Jpn
Jueri
Jul
Justus
Jyrki
K
Kabaili
Kahn
Kaldewaij
Kamareddine
Kang
Kapur
Kapus
Karger
Kari
Karlsruhe
Kas
Kasami
Katajainen
Katholieke
Katoen
Katsuro
Katz
Kaufman
Kendall
Kenichi
Kessels
Kestrel
Ketil
Khasidashvili
Khedri
Khoo
Kiel
Kirchner
Kirsten
Klaudel
Kleist
Klint
Kloster
Kluzniak
Knapp
Kneuper
Ko
Koehler
Kok
Kolbl
Kominklijke
Komorowski
Kompanek
Konstancin
Kontogiannis
Kooken
Koomen
Korver
Koschke
Kosiuczenko
Kostas
Kott
Koubek
Kr
Kreig
Kreinovich
Kreowski
Krieg
Kruseman
KrusemanAretz
Kruskal
Kruskal's
Krzysztof
Kuipers
Kumar
Kurki
Kurtz
Kuske
Kwak
Kwangkeun
Kyung
L
L'Aquila
LAA
LAE
LBR
LCB
LCCN
LCF
LCM
LFP
LFS
LGI
LIA
LISI
LNCS
LNCSD
LO
LON
LOTOS
LPA
LPD
LPN
LPR
LR
LRE
LRU
LSB
LSL
LSP
LT
LTH
LTI
LaBRI
LaTeX
Lackner
LacknerSolbergGasser
Lajos
Lamport
Lamport's
Lampson
Lamsweerde
Lang
Lannion
Larcheveque
Latella
Launchbury
Laung
Laurens
Laurent
Lausanne
Laut
Laval
Le
LeMetayer
Ledru
Leen
Leeuwen
Lei
Leiden
Leino
Lengauer
Lescanne
Leuschner
Li
Lieberherr
Liebig
Lin
Lindemann
Linearisation
Linearization
Ling
Lisboa
Liu
Livelock
Ll
Loe
Lorge
Lothar
Loulergue
Louvain
Lowe
Lowry
Loyens
Lubomir
Luc
Luca
Lucena
Luckmann
Luiz
Luk
Lukkien
Luqi
Lurdes
Lustman
Lyndon
M
MB
MCC
MCP
MCU
MDF
MDT
MEP
MFO
MFS
MHV
MIV
MJP
ML
MLC
MM
MMC
MMF
MNA
MND
MPC
MPCa
MPCb
MPD
MPF
MRK
MRclass
MRnumber
MRreviewer
MSD
MSG
MSS
MST
MTT
MVA
Maarten
Maassen
Madey
Madhukar
Magnus
Magnusson
Maibaum
Malte
Maluszynski
Mancarella
Mandana
Mandayam
Manghirmalani
Mani
Manuel
Maraninchi
Marc
Marcelis
Marcello
Marchand
Marco
Maribor
Maritta
Marius
Marjan
Martelli
Martino
Masalagiu
Mateescu
Mateti
MathSciNet
Mathai
Mathematik
Matteucci
Matthias
Matzner
Mauborgne
Mauboussin
Mauny
Mauricio
Mauw
Mayoh
Mazaud
Mazza
Mazzeo
Mazzocca
McCurley
McIver
McMaster
Mclaren
Mclaren's
Meertens
Mehlich
Meijster
Memoization
Memoizing
Meo
Mernik
Meta
Metatheory
Methodische
Mex
Meylan
Michal
Michel
Mihaela
Mili
Milkowska
Milner
Milner's
Minas
Minea
Minimality
Mirandola
Mirkowska
Miroslawa
Misc
Misra
Modechart
Modelling
Moebius
Mogensen
Mohamed
Moir
Moitra
Moller
Mon
Monash
Monin
Monique
Monniaux
Montanari
Montangero
Montbonnot
Montenyohl
Moonen
Moran
Morcos
Moreau
Morley
Morten
Mota
Mounier
Mu
Muenchen
Multiparty
Multiset
Munehiro
Mxx
N
NAC
NAE
NC
NCP
NDF
NER
NJ
NPT
NSS
NTF
NY
Namur
Narsingh
Natarajan
Natl
Naumann
Neculai
Neelam
Neil
Nerson
Neth
Neubiberg
Neuve
Nevalainen
Nguyen
Nickson
Nicola
Nicolas
Nicoletta
Nijmegen
Nipkow
Nishimura
Nishizaki
Nissim
Nitsche
Nobuo
Nonnumerical
Norbert
Nordlander
Normale
Nuenen
O
O'Haskell
OBS
OCL
OCLC
ONERA
OOT
OPN
OSG
OSS
Oege
Olderog
Oleg
Oliveira
Olivier
Olli
Omicini
Ommering
Online
Ont
Optimisation
Oriol
Orit
Orl
Orsay
Osorio
Oxfordshire
P
PARC
PCC
PCCb
PCF
PCL
PCT
PDC
PDF
PDT
PES
PFE
PFM
PFP
PFS
PG
PIM
PIS
PLUSS
PMD
PME
PMG
PNB
POC
PPA
PPD
PPM
PPR
PPS
PRE
PRF
PRIMA
PROG
PROLOG
PRT
PSC
PSM
PSO
PTP
PTR
PTS
PVP
PVS
PWS
Pacull
Padberg
Padget
Pagani
Paige
Paleri
Palo
Palsberg
Pandu
Pandya
Paola
Paolo
Parametrized
Pareschi
Parigot
Parkville
Parnas
Partsch
Pascale
Passau
Pataricza
Patrik
Patt
Paull
Paulo
Pavan
Pazzaglia
Pedreschi
Pereira
Perrin
Peterson's
Peyton
PeytonJones
Philips
Phoa
Pieter
Pietro
Pimentel
Pioli
Piotr
Pisa
Plaisted
Plath
Pnueli
Pohlmann
Polak
PoliS
Politechnika
Politecnica
Polymorphism
Polytypic
Ponse
Pontificia
Poole
Potrich
Potsdam
Prabhaker
Prasad
Preorder
Prins
Pritchard
Prolog
Prywes
Puebla
Purushothaman
Q
QA
QIP
Qian
Qiang
Qu
Que
Queensland
Quilici
Quinton
R
RAA
RAC
RAI
RAR
RBR
RCC
RCP
RCS
RCT
RER
REVEUR
RJT
RLS
RM
RNA
ROBDD
RPA
RPL
RPS
RRE
RSD
RSF
RTS
RTT
RWTH
Radoux
Radu
Raffaela
Rahma
Rainer
Rajeev
Rakotozafy
Ralf
Rance
Rangan
Ranjan
Ranzato
Ratel
Rathke
Ravi
Rayside
Reade
Reductivity
Rees
Reggio
Rehof
Rehovot
Reichel
Reiko
Reinhard
Reino
Rem
Remo
Ren
Rende
Reniers
Rennes
Rensselaer
Requet
Reshuffling
Reusability
Reuter
Rewritings
Rey
Ridha
Riis
Rijksuniversiteit
Robson
Roever
Rolf
Rondogiannis
Rosenblatt
Rosenzweig
Rossi
Roswitha
Rowstron
Rubik's
Rudolf
Rugaber
Ruggieri
Rus
Russling
Rustan
Rutger
Ruthing
Rutten
Rydhof
Ryszard
S
SA
SAB
SAF
SAH
SAL
SAR
SAS
SCA
SCC
SCI
SCO
SCP
SCPGD
SCR
SDA
SDE
SDG
SDI
SDP
SE
SEB
SEL
SES
SFM
SG
SHT
SI
SIE
SIF
SLF
SLL
SLM
SLP
SMA
SMR
SNP
SNS
SPE
SPEa
SPEb
SPEc
SPEd
SPEe
SPEf
SPG
SPS
SPT
SRC
SRI
SRP
SS
SSA
SSCOP
SSG
SSR
SSRb
SST
STA
STD
STF
STM
STO
SU
SV
SVF
SVV
SW
Saarbruecken
Saarlandes
Samaan
Samelson
Sampaio
San
Sangiorgi
Sankt
Santone
Santos
Saouter
Saraswat
Satish
Sch
Schachte
Schalij
Schieferdecker
Schlichting
Schmitz
Schnoebelen
Schobbens
Schoenmakers
Schoett
Scholefield
Scholten
Scholz
Schulte
Schwartzbach
Sci
Scotl
Segers
Segrate
Seidel
Seidl
Seiferas
Seki
Selic
Sellink
Semini
Semiring
Sendai
SequenceL
Sere
Sergei
Sergio
Sethi
Shamir
Shang
Shankar
Sheeran
Sherbrooke
Shmuel
Shyamasundar
Siau
Siemens
Sighireanu
Similix
Sims
Singh
Sintzoff
Siobh
Sirer
Skillicorn
Slovenia
Smalltalk
Smoothsort
Sneed
Snepscheut
Soko
Sokolowski
Sokolsky
Solberg
Solovay's
Sommen
Soundararajan
Souqui
Souquieres
Spivey
Srikant
Srivas
Stackability
Stanislaw
Staszic
Statecharts
Ste
Steen
Stefan
Stefania
Steffen
Steinbr
Stephan
Stoller
Storey
Stoye
Strahler
Strasse
Streicher
Struik
Subtyping
Sud
Sufrin
Sundar
Suonio
Susumu
Swed
Switz
Systa
Systae
Systolic
Szydlowski
Szymanski
T
TACS
TAS
TBO
TBS
TCB
TCF
TDA
TDC
TDG
TDI
TIR
TLA
TLS
TMN
TOPPS
TPA
TPD
TPE
TPO
TPP
TPW
TQT
TR
TRC
TRL
TRR
TRS
TSA
TSC
TSI
TSL
TSM
TSP
TST
TU
TUC
TX
Tadao
Taejon
Taentzer
Tai
Talence
Tallinn
Tampere
Tania
Taniguchi
Tarlecki
Tata
Tatjana
Taubenfeld
Tbilisi
TeX
Techchnology
Technion
Technische
Teitelbaum
Tel
Telecom
Tennent
Terence
Tex
Thatte
Thierry
Thorsten
Tijmen
Timewise
Tobias
Tolksdorf
Tonella
ToolBus
Toolbox
Toorn
Torben
Torsidal
Toueg
Toulouse
Tourancheau
Tractebel
Transputers
Trevor
Troya
Tue
Turini
Turku
Turski
Twente
Typechecking
Tyugu
Tzilla
U
UAM
UBE
UBT
UFI
UMC
UML
UNIX
URA
URL
URT
UT
UVA
Udding
Udink
Ugo
Ulm
Umberto
Undulant
Une
Univ
Universidad
Universidade
Universit
Universita
Usenko
Utrecht
Uwe
Uxbridge
V
VDM
VERIMAG
VEV
VLISP
VLSI
VP
VPC
VPD
VPU
VQ
VSC
VSW
VTG
VUA
VXC
Vaglini
Val
Valbonne
Vallduv
VanHentenryck
Vandoeuvre
Varr
Varro
Vaziri
Veillon
Venet
Verhoef
Verrijn
Vickers
Viho
Villano
Vink
Visser
Vitek
Vittorio
Vivar
Vivares
Vladik
Vogler
Voisin
Volker
Volpano
Volpe
Vorst
Vries
Vrije
W
WFA
WL
WW
WWW
Wada
Wadler
Wadler's
Wadsack
Wael
Wageningen
Wah
Waldinger
Wamel
Warshall
Warshall's
Warszawa
Warszawska
Wei
Weintraub
Weizmann
Wembley
Wen
Wentong
Wermelinger
Wilkerson
Willem
Wiltink
Wim
Wirsing
Wolfram
Wong
Worboys
Woude
XTP
Xpress
Xue
Y
Yamine
Yanhong
Yankelevich
Yann
Yaroslav
Yi
Yike
Yoneda
Yonezawa
Yong
Yongjun
Yudong
Yuechen
Yun
Z
Zantema
Zavattaro
Zentralblatt
Zentrallblat
Zhang
Zhenyu
Zielinski
Zierer
Zmago
Zohar
Zucca
Zurab
Zwaan
abbrev
ac
ack
acknowledgement
acm
acp
ada
adr
adys
affiliationaddress
ai
algol
allison
alo
alphanumerica
ambients
analysing
annote
ans
apl
appl
apr
asl
att
au
aug
automation
autoprojector
aw
axiomization
b
banker's
batcher's
bec
beebe
behaviour
bibdate
bibmods
bibnames
bibnet
bibsort
bibsource
bisimulation
bius
booktitle
bypages
c
calculational
cas
cbj
cc
ccd
ccp
ccs
centres
cepage
cf
cgi
ck
ckner
cl
clav
codetable
coercions
com
communicationclosed
d
d'Essonne
d'Informatique
d'Intelligence
d'Orl
dataspaces
datatypes
de
deLucena
deMoor
deVink
dec
del
dell'Aquila
della
der
dershowitz
des
di
dialling
digraph
dna
docstring
dps
du
dvi
e
edu
eigenfunctions
elj
elsevier
email
embeddings
en
enews
equational
equationally
equidistance
ese
eureca
eval
evi
f
feb
fer
fixpoint
fp
ftp
fuer
g
ge
gej
ggen
ghc
gz
h
heapsort
hler
hne
html
http
hypergraph
i
ieee
il
inca
independency
interlockings
interprocedural
ira
iso
ispell
issn
j
jagadeesan
jan
journalabr
jul
jun
k
l
labelled
lcp
leavens
lemmata
len
les
livelock
lker
ller
lof's
lotos
lr
ltx
m
mentol
mer
metamodeling
metatheory
ml
monads
mond
mov
mu
n
nand
nchen
ndergaard
ndorf
ne
ng
nhfb
niel
nl
nov
nyai
o
objets
oct
od
ois
oise
optimiser
orester
org
owski
pdf
polykinded
polymorphism
postassertions
powerlists
pp
pre
prolog
ps
r
radha
rard
rd
reengineering
rel
rensen
res
reusability
reve
rg
rgen
rger
ric
rieure
rr
s
scico
scicomputprogram
se
sema
semilattices
semno
sep
sequentialization
ser
sfd
showtags
smoothsort
socs
sok
specificational
ssner
st
statechart
statecharts
ster
sublinear
subsumption
subtyping
supercombinator
systolic
t
ta
tayer
th
toolset
traceability
tranducers
transputer
tre
tripartitioning
twocolumn
typechecking
u
uchle
uk
uka
und
unfoldings
unsrt
untag
upravel
utah
uts
vanAmmers
vanDeursen
vanDiepen
vanEijck
vanGilst
vandeSnepscheut
vandenBrand
vandenEijnde
vanderAalst
vanderNat
vanderSommen
vanderWoude
vers
von
vonKarger
wc
www
xor
xx
xxauthor
xxnote
xxtitle
xxxi
xxyear
ya
yanov