A'ali AAB AAC AAD AAE AAK AAL AAN AAR ABD ABP ABR ACA ACC ACG ACN ACO ACP ACR ACSP ACSR ACU ADI ADP ADV AED AEH AEM AERIE AFA AFJ AFM AFP AFS AG AGC AGK AGP AHS AI AIC AIF AII AIS AIU AIV AIa AIb AIc AKA AKB AKI AKL AKS AKT ALADIN ALEXSYS ALISA ALR ALT AMB AMC AMF AMK AMM AMN AMR AMU ANE ANF ANP ANSAware AO AOA AOB AOD AOH AOR APA APC APF API APK APL APM APP ARA ARD ARQ ARR ARS ARU ASC ASD ASI ASIC ASICs ASL ASN ASO ASR AST ATC ATF ATG ATH ATK ATL ATM ATMS ATR ATT ATW AUI AVO AVT AWB AWO AXYTRANS Aanderaa Aarsvold Aart Abadi Abbattista Abdelguerfi Abdulla Abdulrab Abhiram Abiteboul Ablameyko Ablayev Abrahamson AbstrAct Aceto Acevedo Achaibou Achauer Achim Ackermann Acknowledgement ActorStudio Aczkowski Adaption Adcock Adelantado Adelson Adi Adiba Aditi Adorni Ae Aero Aerotriangulation Afek Afsarmanesh Agarwal Agesen Aggarwal Agha Agora Agrawal Agre Agresti Aguierre Aguilar Agusti Aguzzi Ahn Ahuactzin Ahuja Ahvo Aimeur Ait Aizenberg Akaho Akama Akiba Akihiko Akihiro Akinori Akira Akkermans Akutsu Alagar Alain Alaman Alayon Albers Albizuri Aldana Aleksander Alekseev Alessandro Alferes Alfons AlgBench Alhajj Aligue Alimonti Alla Allender Allinson Alllemang Almaraz Alois Alonso Alpuente Alquezar Alshatti Alt Altay Altenkirch Alur Alvaro Amadio Amagai Amalgame Amann Amarit Amarsinghe Amato Ambrosius Ambroszkiewicz Amghar Amir Ammarguellat Amnon Amtoft Anaesthesia Anagnostou Analogic Analysing Anant Anatoli Anatoly Anavai Ancona Andersson Andonoff Andrade Andranick Andreas Andreev Andres Andrzej Angi Angiograms Angiography Anik Annalina Anneliese Annexstein Anogianakis Anoop Ansgar Antimirov Antonellis Antoniol Antoniou Antoon Antoy Antreich Antsaklis Aoki Aoshima Aparicio Apertos Appel Appelbe Apperley Approximability Apsitis Arango Arbeitsplatz Arbib Arcot Ardeleanu Ardissono Ardizzone Arge Arias Arie Arigoni Arikawa Arima Arimura Arjen Arkhangelsky Arkin Arkun Armando Armon Arne Arni Arno Arnould Aronsson Arora Arredondo Arridge Artale Artalejo Artemov Artmap Arto Arun Arvind Asano Asberg Ashford Askary Asselin Assenmacher Assenova Ast Astesiano Asymptotics Atallah Atherosclerotic Atsuhiro Atsuko Atsushi Attiogbe Attiya Atzeni Aue Auer Auf AufDerHeide Auld Auriol Autoassociative Autoepistemic Automatical Automation Auzimour Avellana Avi Awano Awerbuch Ayache Ayani Ayub Ayumi Azar Aziza B BA BAB BAI BBH BBM BCA BCI BCM BCR BDB BDD BDG BDH BDK BDR BEI BEP BES BFM BGB BGG BGQ BIA BIP BLP BLR BMA BMAP BMC BNC BOL BOS BPA BPC BQE BR BRD BRE BRL BRV BS BSC BSF BSG BSI BSN BSP BSR BSS BST BTB BTM BTT Baader Baaz Babai Babak Babb Babkin Bachmair Bachmann Backhouse Backprojection Badaloni Bae Baelen Baeten Bagai Bahrami Bahsoun Baja Bajla Bakel Bakker Bakonyi Bal Balakrishnan Balasubramanian Balcazar Baldamus Baliga Ballerini Balmosan Balsamo Balsters Bamber Banahan Bancilhon Bandinelli Bandler Banerjee Bannert Barahona Barak Barbanera Barbaroux Barendsen Barengo Baresi Barfield Barghouti Bargmeyer Baritaud Barja Barklund Barnwell Baroglio Barone Barret Barro Barwise Barzdins Basili Bastide Batey Battista Baum Baumgartner Bayer Bazin Beame Beaudot Beaudry Beauquier Beauville Beckert Beckmann Beckstein Beeck Begriffsverzeichnis Behaviours Behrendt Beimel Beitz Bejan Belady Belikova Bellahsene Bellare Bellec Beller Bellettini Bello Beltiukov Beltratti Benali Benes Beneventano Benevides Benferhat Beng Benjumea Benke Bennaceur Benoit Benveniste Benzekri Berardi Berarducci Berben Bergadano Bergamaschi Bergmann Bergstein Bergstra Berke Berkman Berlage Berlandier Bernardi Bernays Bernd Bernholtz Bernot Berson Berstel Berthod Berthold Berthome Bertilsson Bertin Bertino Bertolazzi Besnard Bessiere Betaille Bettaz Bettini Bev Bevemyr Bever Beylin Bharali Bharat Bhargava Bhatia Bhatt Bhattacharya Bhattacharyya Biancardi BibNet BibTeX Bichromatic Biebow Biehl Bierman Biham Bikash Bilardi Bildvorlagen Bimbo Binks Bioreactor Birrer Bisimulation Biskup Bitan Bittencourt Bjerre Bjones Blakley Blanco Blanke Blasio Blazy Bleisinger Blom Blomer Blundo Boccignone Bochmann Bockle Bockmayr Bodart Bodil Bodker Bodlaender Boeve Bofill Bogdan Bohm Boissier Boissonnat Boiten Bojkovic Boksenbaum Boley Bollini Bonacina Bonamico Boniol Bonissone Bonsangue Bookstein Borger Borgne Boriello Borland Borocco Borodin Borst Borup Bos Bosc Bosse Bosselaers Bossut Bost Botsford Botti Bottoni Bouaud Bouckaert Boudjlida Boudol Boufares Boulecane Bourdoncle Boving Boye Br Bracho Bradly Bragato Braggiotti Brahma Brandstadt Branskat Branstad Braspenning Bratley Braunmuhl Brayshaw Breanndan Breazeal Brechbuhler Breitbach Breiteneder Bremond Brereton Bres Breslauer Breu Breugel Breuker Brewka Briand Brickell Brigitte Bringmann Brinkkemper Brito Britton Brockers Broda Brogi Broglia Bronisz Brons Bronsard Brownhill Bruckhaus Bruggeman Bruggemann Bruggemeier Bruijn Bruin Brunet Brunie Bruning Brunnstrom Bruns Brunvand Brusilovsky Bruun Bruynooghe Bry Bshouty Bubenko Buchberger Buchi Buchmann Bufferless Bugliesi Bugmann Buhler Buhrman Bukhres Bulas Bulsari Bulterman Bumiller Bundschuh Bunke Burdorf Burkhard Burkitt Burmester Burmistrov Burstall Busac Bussche Busse Bussmann Buvat Byeon Byeong C CAC CADI CAG CAI CAK CAQ CAS CAV CBA CBC CBI CBK CBP CBR CC CCA CCB CCC CCF CCG CCI CCL CCM CCN CCO CCP CCQ CCR CCS CCT CCV CDA CDI CDL CDP CDR CDS CDU CEA CEC CED CEF CEI CEK CEL CEM CES CFC CFF CFG CFH CFI CFO CFP CFR CFS CG CGA CGD CGE CGG CGMA CGP CGR CGS CGT CHC CHF CHG CHN CHO CHP CIC CIE CIF CIH CIM CIN CIQ CIS CKD CLA CLB CLC CLD CLE CLF CLL CLO CLP CLS CLU CLa CLb CMA CMB CMC CMD CMG CML CMM CMN CMP CMR CMS CMT CN CNC CNF CNH CNL CNN CNO CNS COA COB COC CODEN COF COM COMP COOperating COOrdination COR COV CPC CPD CPI CPL CPM CPO CPP CPS CPT CPWM CR CRA CRC CRD CRE CRF CRG CRL CRM CRN CRO CRR CRS CRW CRYPTO CS CSA CSC CSE CSF CSG CSH CSI CSK CSL CSM CSO CSP CSS CST CSU CSW CTA CTD CTL CTM CTR CTS CUS CVC CVF CVM CVN CVO CVR CVS CWD CWP Cabello Cabestany Cabibbo Cacace Cachin Caferra Cai Caires Calbet Calmet Cambell Cammarata Campana Campidoglio Campos Canalda Canas Cano Canos Cantone Cantoni Canu Cao Capaccioli Capon Caprotti Carballo Carbonneill Cardona Carenini Carine Carlet Carlsson Carmo Carnduff Carnicer Carole Carrabina Carrasco Carreira Carrico Carriero Carsten Cartwright Carvalho Casacuberta Casasnovas Caseau Caselli Cassaigne Cassinis Castagna Castan Castano Castelfranchi Castellani Castellanos Caterini Causse Cauvet Cavalieri Cayrol Cazanescu Cecelia Cecile Cederling Cellary Cerecedo Cerezo Ceri Cerin Cerioli Cerro Cervoni Cesarini Cesta Ch Cha Chadha Chaiken Chan Chandra Chandy Changeling Chaochen Chaosheng Charatonik Charlier Charlton Charnes Chassery Chatila Chaty Chau Chauche Chaudhuri Chaum Chaumette Chauvaud Chbane Che Chebaro Chebotarev Chehaibar Chein Chella Chelnokov Chemello Cheng Cherkasova Chernin Chervonenkis Cheung Cheylan ChiKwongHui Chiaberge Chiao Chiba Chien Chikayama Chlebus Choffrut Choi Chopra Chor Choras Choy Chr Christodoulou Christophides Christos Chrobak Chromosomes Chrzastowski Chu Chul Chun Chung Ciancaglini Ciancarini Ciardo Cid Cimatti Cin Cinquin Cioni Ciphertext Ciravegna Cixiang Claaben Clarencon Clarkson Clausal Clemens Clerin Clochon Cloete Cnudde Co CoBase Cobham Coburn Cocomparability Codenie Codenotti Codish Coen Coggins Cognard Cogolludo CohenGraem Cointe Colagrossi Colbourn Colchester Colin Collages Collenberg Collette Colour Coloured Combatting Combelles Comined Comon Compositionality Computatrix Conati Condie Confluence Congruences Connectionism Connectionist Conradi Constantopoulos Conte Contejean Contextsensitive Contextualizing Conti Coorg Cootes Coq Corazza Corbacho Corby Corciulo Cordelle Coreference Corrado Corrales Correlativity Corsini Corso Cosi Cosmo Cosnard Coulon Coulson Coupey Courcelle Courcoubetis Cournier Courseware Courtiat Cousot Coutaz Couvreur Coverability Cowen Cravo Creasy Creignou Crespo Crestani Cridlig Crippa Crochemore Croshere Crouzil Crypto Cryptosystem Cryptosystems Cs Csillag Cubero Cubric Cucker Cuellar Culik Cun Cuno Curien Cussens Customisable Cusumano Cutello Cutsem Cypher Cyre Czumaj D D'Anjou D'Souza D'hondt DAA DAC DAE DAH DAS DAT DBF DBI DBM DBMS DBP DBS DCA DCC DCD DCE DCF DCG DCGs DCK DCL DCM DCO DCP DCS DCU DCV DDA DDC DDD DDH DDP DDR DDS DDT DEA DEB DED DEG DEI DEK DEM DEO DFA DFB DFC DFE DFN DFO DFP DFR DFS DGD DGP DHA DHD DHL DHM DHT DIB DIC DJA DJS DLA DLB DLD DLI DLL DLO DLP DLT DMB DMC DMF DMI DMS DMT DNC DND DNR DOA DOL DOO DOR DPA DPD DPE DPG DPK DPL DPM DPN DPO DPP DPR DPS DQE DQF DQL DQR DRA DRC DRK DRR DRS DS DSA DSC DSD DSE DSF DSH DSM DSN DSO DSP DSPNexpress DSR DSS DTC DTE DTH DTO DTP DTR DTS DUI DUR DVD DVR Da DaCosta Daemen Dagless Dahlhaus Dai Dal DalCin Damas Damasio Damg Damgaard Damgard Daniela Daniele Dannenberg Danos Darlington Darren Das Dasarathy Dataflow Datalog Dathan Datta Davide Davoli De'liguoro DeAntonellis DeBerg DeDecker DeMichelis DeNivelle DePrisco DeRaedt DeSchutter DeSoete DeWaleffe Debart Debenham Dederichs Deen Defeasible Defence Definability Definiens Defude Degeneracies Degimbe Degtyarev Dehornoy DelBimbo DelCorso Delaunay Delgado Delgrossi Delsart Delugach Demandedness Demartines Demoen Demolombe Dempster Demytko Dendorfer Denert Deng Denker Denneheuvel Densow Denti Depaoli Der Derder Dermler Dershowitz Desachy Descotes Desel Desmedt Despland Dessmark Detlef Detombe Devienne Devillers Devine Devnet Dewan Dezani Di DiBattista DiCosmo DiGesu DiGianantonio DiManzo Dialectica Diaz Dibella Diday Didier Diekert Dieng Dietel Diethmann Dietmar Dietzfelbinger Diffie Digraph Digraphs Dikovsky Diks Dilger Dilip Dillencourt Dilley Dimas Dimitri Dimitris Dinitz Dipayan Discriminator Disenrollment Disentailment Diskin Disunification Divertibility Divertible Dix Dj Djemaa Djeraba Djerassi Doaitse Doany Dobbie Dobrindt Dobrusin Dogru Dokumentation Dolev Domingue Dominik Domosi Donawa Doohyun Dorffner Dorizzi Dostalova Dourte Dovier Dowek Drabent Dragoni Dreiseitl Drexler Droste Druschel Dube Dubhashi Dubois Ducasse Duesterwald Dunne Duo Duong Dupont Dupre Durand Durieux Duskova Dwork Dybvig Dynamization Dzung E EA EAC EAD EAG EAS EBA EBQ EBT EBW ECC ECF ECI ECL ECP ECS ECW EDA EDB EDC EDI EDL EDO EDR EDS EDV EEA EEC EEG EEI EEM EFD EFE EFG EFH EFR EFS EFU EGF EHC EHE EHI EID EIH EII EIN EIS EIT EKB EKU ELB ELD ELN ELR EMA EMC EMD EME EML EMS EMV ENL EOF EP EPE EPF EPG EPO EPOS EPP EPR EQS ERC EREW ERH ERI ERT ES ESAT ESB ESC ESD ESE ESL ESM ESP ESR ESS ESW ETB ETL ETM ETOL ETP ETR ETS ETV ETW EUB EUM EVS EVT EVW EWF EWI EZK EZP EZS Eaglestone Ebeling Eberbach Eberle Ebert Ebinger Echahed Edan Eder Edlich Efim Efrat Egenhofer Eggenschwiler Eggers Egly Egon Ehrenfeucht Ehrich Ehrig Eichelberg Eiichiro Eijnde Eine Eirund Eiter Eklundh Elgindy Elicitating Elicitation Elmar Elmasri Eloff Elvang Emam Emami Embeddings Emde Emmerich Emond Emptoz Endomorphic Endres Engberg Engelfriet Engelson Enjalbert Ennaji Enno Epistemic Eppstein Equational Ergonomics Erica Erland Ernesto Erol Errington Ershov Ertel Erwig Esch Esparza Espiau Estrella Estrin Etalle Etienne Eug Evan Eveline Evertse Evolutive Ewald Exertier Exner Ezpeleta F FAC FAF FAI FAL FAO FAS FAX FBL FBS FC FCE FCF FCG FCH FCL FCM FCS FDC FDD FDE FDM FDO FDP FDS FEAL FEMUS FEP FFA FFD FFE FFH FFM FFN FFP FFT FGA FGCS FH FHC FHF FHI FHS FI FID FIE FII FIS FLA FLC FLE FLINS FMP FMR FMS FMT FNI FNL FNN FNS FO FOI FPF FPGA FPGAs FPI FPK FPL FPM FPP FPS FRA FRG FRM FRR FSD FSE FSI FSL FSN FSR FST FSV FSW FTA FTD FTO FTT FTU FVP FX Fabre Fabri Fabrizio Fach Facilitatory Facon Fages Fageth Faglia Fahldiek Fahlman Fahri Fai Falaschi Falk Faloutsos Falquet Fanelli Fantechi Fargier Farinas FarinasdelCerro Faron Farshad Fassbender Faustle Fawcett Federico Feeley Feferman Fegaras Fehling Fehrer Fei Feichtinger Feige Feigenbaum Feistel Feldbrugge Felder Feldmann Felperin Felsner Femus Feng Fenner Fermuller Fernandes Fernandez Ferney Ferrand Ferrari Feruglio Fessler Feuerstein Fiadeiro Fich Fichera Fiddian Figueiras Filgueiras Filho Filippi Filippo Fillere Finetely Finkel Finkelstein Fiol Fioravanti Fischl Fiutem Fixpoint Flajolet Flammini Flang Flater Fleischer Flemming Fliedner Flogel Flor Florack Floreano Floriani Flsim Flusser Foessmeier Fokkinga Fokkink Fongching Foo Foresti Formalising Formann Formella Fortnow Fotouhi Fouquere Fournier Fr Fractal Fraguas Fraichard Fraisse Fraiture Francesca Franchitti Francisca Franckson Francois Frandsen Franova Franzke Frasconi Fraus Frederickson Frederik Fredman Freeston Freisleben Freivalds Fri Friedenbach Frieder Friedhelm Fritzson Frobenius Frolund Fromherz Frouin Fruchtl Fsub Fu Fuentes Fuggetta Fujioka Fujisaki Fujita Fujito Fukushima Fumio Fumy Furer Furio Furlanello Furtado Furukawa Futschek G GAA GAC GAE GAI GANNet GAU GBS GCA GCB GCF GCI GCLA GCN GCO GCP GCR GCT GCV GDB GDC GDD GDI GDS GES GFB GFP GGA GGD GGF GGG GIS GLB GLEFATINF GLI GMP GMS GNA GOC GOU GPC GPD GPP GPT GQM GRI GRP GRR GRS GSC GSD GSE GSH GSI GSM GSS GTC GTK GTS GUB GUI GUIs GVD GVP GWC Gaasterland Gabbay Gabor Gabrhel Gachet Gadia Gaetano Gaglio Gaitan Galindo Gallardo Galmiche Gambosi Gan Ganascia Gangopadhyay Gannod Ganzinger Gao Gappa Garassino Garbay Gardarin Gardiner Gardneri Garg Gargano Gargouri Garigliano Garlan Garrido Garrigue Garzon Gaspari Gasquet Gasteren Gavalda Gavilanes Gebhardt Gedeon Gehani Geihs Geist Gelder Gelernter Gellersen GemCode Gemis Genau Generalisations Generalised Generalising Gengler Genome Genomic Genon Gentric Gentzen Geocoded Geoff Geoffroy Georg Georgis Geppino Geraldo Gerardi Gerd Gergov Gerig Gerlhof Gernot Gerstel Gerth Gertjan Gesu Getino Getis Gevers Gh Ghafoor Ghaleb Ghandeharizadeh Gharieb Ghazali Ghelli Ghezzi Ghiselli Gi Gianantonio Giancarlo Giannotti Giansalvatore Giesl Gilberto Gilio Gilleron Gilles Gimel'farb Gimelfarb Gindi Gintell Giorda Giordana Giordano Giorgio Girault Giretti Girgensohn Girkar Giunchiglia Giusto Glabbeek Glaser Glavan Glesner Glorennec Glorianna Glowinski Gluck Gluons Glynn Gnesi Goble Godart Godefroid Godel Godsey Gogolla Goh Goldburg Goldreich Goldwasser Golfkrieg Golic Golin Golumbic Gomez Gomm Gondow Goodong Goransson Goresky Gori Gorrieri Goser Gospodarowicz Goss Gottlob Gotz Gotze Goubault Gouet Govaerts Goyal Gradel Graem Graf Gramlich Grammatikakis Grana Grandjean Grau Greco Greef Gregoire Gregor Gregoretti Gregori Gretter Greve Griebel Griefahn Griffault Grigori Grigoris Grimstad Grinshpun Grivas Grobner Groger Groot Groote Grosky Grosz Gruhn Grumberg Grunbacher Grundy Grunfelder Grygier Grzegorz Guan Guazzelli Guckenheimer Guday Gudmundsson Guedon Guernic Guerra Guha Gui Guiasu Guibas Guido Guillo Gul Gulla Gunawardena Gunetti Gunter Guntis Guntzer Guo Gupta Gurevich Gurr Gusella Guttenberg Guttman Guus Guvenir Gy Gyllenhaal Gyorffy H HAA HAC HAVAL HBS HC HCF HCH HCI HCK HCL HCM HCP HCS HDD HDG HDS HDT HEH HFB HFS HGD HIA HIC HIG HII HIN HJR HLI HLP HLS HMD HME HMF HMH HMT HNB HNN HNO HOD HOH HOL HON HOS HPC HPE HPF HPO HPP HR HRF HRS HS HSC HSI HSL HSM HSN HSO HSS HST HSU HTA HTD HTE HTTP HUA Haar Haber Habrias Hadzilacos Haeberer Haemmerle Hagauer Hagelstein Hagerup Haghighat Hagiya Hahnle Hai Haider Haishan Haj Hajek Haken Halldorsson Hallett Halloy Halperin Halpin Haluzikova Hamada Hamaguchi Hamakawa Hamamoto Hambrusch Hameurlain Hamon Hanafi Hanajik Handprinted Hankin Hanko Hanne Hannu Hanschke Hantao Hanus Hanxleden Harada Haraguchi Harald Haralick Harbird Hardavellas Hardjono Hardt Harel Haring Harmelen Harn Harning Harray Harrick Hartenstein Hartleb Hartmanis Hartmann Hartmut Hartson Hary Hasegawa Haselbock Haslam Hassan Hasselbring Hattori Hauck Haunold Hausi Havelund Havinga Hawkes Hayakawa Hazan Hearn Heaton Heeb Heep Heffernan Heffter Hegedus Hehmann HeiMAT Heide Heidelberger Heijst Heike Heikkonen Heiman Heinecke Heite Hellerstein Hellman Hellwagner Hemachandra Hemaspaandra Hemerly Hemus Hendren Hendrik Henery Heng Hennebert Hennessey Hennessy Hennicker Hennis Henrik Hentenryck Henzinger Heping Heras Herault Herbrand Herment Herpel Herrmann Herrtwich Herstellung Hertzberger Hervas Herve Herzberg Herzig Herzog Hesketh Hessenauer Hetzroni Heydari Heyst Hibti Hideaki Hidehiko Hidekazu Hideki Hideo Hideyuki Higham Hikaru Hilfinger Hiltgen Hinke Hinkelmann Hinrichs Hirata Hiroaki Hiroki Hiroyuki Hirschfeld Hirshfeld Hirtle Hirunkitti Hitz Hiu Hlavac Hoang Hochstrasser Hoek Hoekstra Hoene Hoepman Hofbauer Hoffgen Hoffmann Hofkirchner Hofmann Hofstadter Hofstee Hofting Hogen Hogger Hogh Hogsbro Hohenstein Hohl Hohne Holger Holmer Holzer Holzle Homann Hondt Honig Honisch Honsell Hoog Hoogendijk Hoogers Hooman Hopfield Horst Horstmann Hortala Horvath Horwitz Houde Houkari Houssain Hromkovic Hsiang Hsing Hssain Hsu Hu Huang Hubsch Huckenbeck Hudak Huete Hui Huimin Hulley Hulthage Hungar Huning Hursch Hwan Hwang Hwu Hyland HyperDEBU HyperLecture HyperPATH Hyperedge Hypergraph Hypergraphs Hypermedia Hyperplanes Hyperset Hypersimple Hypertexts IAC IAH IAP IAR IAT IBA IBC IBD IBE IBP IBS IC ICA ICG ICM ICO ICR ICS ICSP ICT ICU IDAGs IDC IDI IDL IDS IDT IEV IFF IFIP IFM IFS IGA IGC IGL IHC IHH IHM IHP IHT IIA IIB IIC IID IIG IIM IIO IIS IIU IKB IKH ILA ILC ILR IMD IME IMF IML IMO IMT INB INI INM INTELTEXT IOA IOF IOR IOS IP IPC IPD IPL IPM IPN IPR IPS IRC IRD IRI IRL IRM IRP ISA ISALOG ISAR ISBES ISBN ISC ISD ISF ISI ISL ISM ISN ISP ISS ISSN ITA ITB ITC ITD ITEX ITG ITI ITL ITM ITN ITP ITR ITW IUH IUI IUP IUU IVC IVD IVH IVM IW IWL IZIC Iain Ibaraki Ibarra Ibrahim Ichiro Ihler Ikeda Ikuo Il Ilkka Ilsoo Imager Imai Imaizumi Imam Imielinski Immel Immerman Impagliazzo Impedovo Implementational Inagaki Inchoative Independences Indexical Indurkhya Informatics Ingeborg Ingemar Ingemarsson Ingo Ingold Ingrid Inlining Insana Instone Insup Integrator Interactice Interframe Intermedia Interoperability Interoperable Interoperating Interplace Interworking Intra Inverardi Ioannidis Ip Irani Irradiance Ishakbeyoglu Ishigami Ishiguro Ishikawa Ishimaru Ishizaka Isoaho Isothetic Istrail Italiano Itoh Itzhak Ivanov Ivkovic Iwama Iwamura Iwano Iwanski Iwatani Iwayama J JAPROC JBM JMC JPEG JPS JSAI Jadir Jaffe Jagadish Jagannathan Jager Jahne Jain Jajodia Jaklic Jakob Jamin Jamison Janardan Jancar Janetzko Janhunen Janicki Janin Janis Jankovic Jansen Jantke Jantzen Jaramillo Jarke Jarl Jaromczyk Jategaonkar Jaud Javey Jawahar Jeanne Jeannette Jebelean Jeffay Jeffery Jen Jeng Jens Jeppesen Jeremiassen Jervell Jerzy Jessen Jeusfeld Jezequel Jha Jian Jianer Jiang Jifeng Jilei Jin Jing Jingde Jinn Jiri Joachim Joao Joaquim Jochen Johan Johannesson Johannsen Johnsson Joinet Jonsson Joos Joost Jorgen Jorrand Jos Josephs Joubert Jouni Jourdan Jourlin Jouvelot Joux Jovan Joya Jue Juedes Juha Jukeboxes Jun Jung Jungclaus Jungert Junnosuke Junping Juptner Jurgen Jurgensen Juris Jurjen Justiani Justus Jutten K KAA KAD KAF KAG KAT KAV KBA KBMS KBP KBR KBS KDH KEP KEW KF KHE KIV KKI KL KLA KM KME KOC KONTERM KPA KPM KPP KPS KRA KRT KSC KSE KSI KSM KSO KSP KST KTL KTS KTU Ka Kabos Kaci Kacprzyk Kaeli Kagedal Kahrs Kai Kaisa Kajler Kakihara Kalinski Kalman Kalogeropulos Kaltofen Kalviainen Kalyanasundaram Kambayashi Kameas Kamimura Kamkar Kamruzzaman Kan Kanchi Kandlur Kaneda Kaneko Kanellakis Kanevsky Kang Kania Kann Kannan Kanneganti Kao Kaoru Kappe Kappel Kappner Kapron Kaptelinin Kapur Karabatis Karagiannis Karakos Karamcheti Karatsuba Karbach Karel Karger Kari Karin Karine Karlsson Karny Karpati Karpinski Karshmer Karssemeijer Karsten Karuno Kaser Kasperovich Kasprzak Kassel Kastens Kaszonyi Katayama Kato Katoh Katsuhiko Katsura Kaufl Kaufmann Kavvadias Kawamura Kawato Kayles Kazuhisa Kazuhito Kazuo Kazushi Kebler Keiichi Keim Kemerer Kemmerer Kempa Kemper Kenichi Kenji Kenjiro Kerberos Kernig Keronen Kerschberg Kersten Kertesz Kesim Kesner Kesselman Kesten Khaled Khalil Khanna Khonaizi Khoo Khoong Khuller Ki Kia Kiczales KieBling Kiehn Kiernan Kikkawa Kikkert Kilger Kilian Kin'ichi Kinber Kinodynamic Kinson Kip Kirousis Kirpich Kishino Kitagawa Kitchenham Kittler Kiyohara Klapper Klappholz Klasing Klauck Klauer Kleene Kleijn Kleinoder Klette Klimov Klinz Kloks Klosch Klut Knapik Knocke Knut Knuutila Kobler Koblitz Kocura Kodratoff Koegel Koelbel Koen Koepf Koga Koh Kohei Kohlas Kohn Kohonen Kohout Koiran Koivunnen Kojima Kok Kolany Kolb Kolencheril Kolesnik Koller Kolli Kolln Kolmogorov Kompella Konagaya Konig Konolige Konomi Konstantas Konstantinidis KorSo Korel Kornatzky Korneenko Korzhik Koschan Kostler Kotropoulos Kouichi Kounalis Kouramajian Koutny Kouvatsos Kovalev Koyama Kozen Kraiem Krambeck Kranz Kranzdorf Kratsch Krauss Kraw Krawczyk Krell Kreowski Kress Kreveld Krieg Kriegel Kripke Krischer Krishnamurthy Kristensen Kristoffer Kriz Krizanc Krob Krogstie Kroha Kropatsch Krotopoulou Kruizinga Krumke Kruszelnicki Krypto Krzysztof Kubak Kubiatowicz Kubica Kubler Kucera Kuchcinski Kuchen Kucherov Kuiper Kukimoto Kulkarni Kumagai Kumar Kumiko Kummer Kummert Kunde Kunkel Kuntzmann Kunzmann Kurita Kurki Kuroki Kurosawa Kurutach Kuske Kutten Kutty Kutylowski Kwakkel Kwan Kwang Kwangjo Kwei Kwon Kwong L LAA LAE LAMBDALG LAN LBO LBR LBS LCB LCC LCCN LCM LCP LCR LDC LDI LDL LDN LDS LEC LECT LEDA LEF LEGO LEL LEM LES LFM LFR LFS LGO LGP LGQ LH LHI LHO LIS LKM LL LLB LLC LLE LLH LLM LLO LLS LM LMC LMF LMM LMO LNAI LNCS LNCSD LNP LNV LOA LOGIDATA LOK LPA LPE LPF LPM LPP LPR LPS LPT LQP LR LRA LRB LRC LRM LRP LRQ LRS LRU LSA LSC LSH LSL LSP LSR LSS LSU LTA LTB LTM LTN LTS LTT LUB LVC LVN LVQ LWC LWP LaTeX Laag Labelled Laboure Ladkin Laenens Laftit Lagnier Lagunas Lai Laifer Laih Laird Lakemeyer Lakhal Lakshmanan Lalioti Lalonde Lambertian Lambrix Lamma Lampe Lamport Landrock Langetepe Langhammer Langlois Laorakpong Lapalut Lardon Larmore Larranaga Larus Lassila Latombe Laublet Lauesen Laugier Laure Lautemann Lavallee Lavazza Lavery Lavrac Lazanas Lazowska Lazzari Le LeCharlier LeMetayer Learnability Learner's Lebegue Lebiere Leblond Lecourtier Leedham Lefmann Legat Legeard Lego Leheureux Lehner Lei Leibovic Lein Leiserson Leiss Leitner Leitsch Leivant Lemarie Lemmon Lemos Lempel Lengauer Lenhof Lenisa Lennart Lenstra Lentfert Lenting Lenzini Lenzitti Leonardi Leonardis Leong Lepinay Lepisto Les Leschi Lesmo Leszek Letichevsky Letizia Letremy Leung Levenez Leventhal Leverich Leverrier Levinson Lewerentz Lewi Li Liang Liau Liaw Libourel Lidl Lidong Lieb Lieberherr Liedtke Liegeois Liestman Lietard Liew Liftable Ligomenides Ligozat Limberghen Limongelli Linde Lindemann Lindh Lindland Lindqvist Linearisation Linearizations Ling Lingas Lingenfelder Lingras Linster Lionheart Liotta Lipa Lipeck Liskiewicz Liskov Litovsky Littlewood Litwin Liu Lixia Ljung Lober Lodaya Loew Logicism Loidl Lok Lombardi Lombardo Lomet Longo Longsen Loogen Lopera Lopes Lopresti Lorge Loria Loucopoulos Lougher Loui Lounis Lourens Lu Lubachevsky Lubiw Luby Luca Lucantoni Luccio Luciano Lucio Lucka Luczak Ludascher Ludewig Ludik Lugiez Lugli Luigi Luiz Lukkien Lukose Luling Luong Luque Lurwer Lutfiyya Luth Lutton Lyn Lyndon M MAH MAI MAL MANs MAS MBC MBD MBI MBM MBR MBS MBY MCC MCD MCF MCG MCI MCM MCP MCQ MCS MCT MCV MDA MDAP MDC MDD MDL MDM MDN MDO MDP MDQ MDS MDT MEA MEC MEE MEF MEGAPHONE MEK MEMSY MER MES MEU MFA MFD MFE MFF MFI MFM MFS MGP MHC MHL MHS MIB MIE MII MIM MIMD MIP MIQ MIR MIS MK MKB MKS ML MLC MLL MLM MLO MLP MLR MLT MMA MMC MMD MME MMI MMP MMR MMS MMV MMY MNR MOODsup MOSIX MPA MPC MPE MPI MPL MPM MPN MPP MPR MPS MPZ MQP MQS MRA MRC MRF MRI MRL MRP MRT MSA MSD MSE MSF MSI MSM MSO MSP MSS MST MTC MTO MTV MUC MULTIS MUO MUU MVA MVN MVS MWE Maa Maab Maarten Maas MacDraw Maciel Mackenzie Mackinger Madani Madey Madhavan Madhavji Mads Maeder Maffeis Maffione Maggs Magillo Magnetospheric Magnusson Maheshwari Mahlke Maibaum Majchrzak Makanin Makedon Makinouchi Makki Maksimenko Malama Maler Malerba Malhotra Malki Malsch Malu Maluszynski Malyan Mamede Mamitsuka Mammography Mandrioli Mangat Mani Maniezzo Mannes Mannino Manny Manolopoulos Mansour Mantha Manthey Mantsivoda Manzano Manzini Manzo Maouche MapA Maraninchi Marathe Marcelli Marchal Marchetti Marciniak Marek Marengoni Margara Margarida Margarita Margenstern Margit Mariam Marija Marita Marja Markku Markowitz Markus Marletta Marrella Marta Martel Martelli Martien Martinka Martins Maruoka Marusiak Marzano Marzetta Masaharu Masahiro Masami Mascarilla Masdupuy Massimo Massip Massonne Massotte Masuda Mateescu Materialization Mathematica Matias Matos Matrim Matsuda Matsui Matsuoka Matsushita Matthias Mattox Mattsson Maurer Maurizio Maver Mavronicolas Maydan Mayordomo Mayr Mayrhauser Mazaud McCAT McCormack McCulloch McCurley McGarry McKenney McKinna McLeish McMillin Mcbrien Meddahi Medina Mega Megascope Mehl Mehlhorn Mehrotra Meijers Meinel Meinke Meki Mekras Melamed Melen Melham Melis Melliar Mello Mellor Memmi Mena Menezes Meng Mengel Mengshoel Menon Merelo Merrall Merrett Meseguer Meshveliani Meta MetaFlex Metaclass Metadata Metafor Metalevel Metalogic Metayer MethoDex Metivier Metrication Meyne Mfoumoune Micali Miceli Micha Michaelis Michailidis Michalski Michaux Michelis Mick Middeldorp Miethsam Mignosi Mihaljevic Mihir Mikael Mikolajczyk Milanese Milanovic Milgram Milne Milner Miltersen Mineau Miniscoped Minker Minna Minohara Miodrag Miola Miprac Mirabella Mireille Miro Miroslaw Mirzaian Misprints Missier Missikoff Missura Mitra Mitsuhiro Mitsui Mitsuru Mittasch Mitter Mixin Miyaguchi Miyaji Miyano Miyasato Miyauchi Mizoguchi Mizunashi Mizusawa Mjolsnes MoHA Mobius Mochizuki Moded Modelling Modigliani Modulewise Moeller Moerkotte Mogens Mohamed Mohammad Mohan Mohring Moignard Moinard Moir Moisy Molenaar Molina Moliner Moller Mon Monagan Monfroglio Monfroy Monge Monger Moni Monien Monique Moniz Monney Mono Monoids Monserrat Monsuez Montalbano Montanari Montanvert Monteiro Montello Montesi Monti Montoy Moolenaar Mora Moreira Moreno Moreschini Morin Morita Moriyama Morokhovets Morten Morvan Mosbah Mosquera Moti Motoda Motoshi Motschnig Motta Motwani Moulin Mourrain Moutarlier Moysset Mraghni Mraz Mrsic Mueck Muggleton Mugnier Muhlhauser Mukouchi Mukund MulTVision Muldimedia Mulet Mulholland Muli Mulkers Mullin Mulmuley MultiSpectral MultiView Multicast Multicommodity Multicounter Multicut Multidatabase Multilayer Multilinear Multilingual Multilisp Multimodal Multimodality Multimodel Multiprecision Multiresolution Multiscale Multisignature Multithreaded Multiversion Multiwindow Multlog Mumick Mundhenk Munoz Munro Muraoka Murat Murciano Murino Muru Murugappan Muscholl Musil Musin Musumbu Muzard Myaeng Mysak Mysliwitz Mytzik N NAA NAC NAD NAF NAM NAO NAR NAS NAV NBM NCA NCB NCD NCE NCF NCL NCM NCT NDA NDB NDC NDL NDP NDR NDS NDT NEH NEI NES NFA NFR NGA NGL NGS NHD NHP NHR NIC NIG NIS NIST NLD NLI NLP NLS NMA NMFS NMK NMM NMO NMP NN NNC NND NNL NNM NNR NNS NOC NOI NOO NOP NP NPB NPD NPE NPI NPL NPS NPU NQC NRI NRM NRP NRS NRT NSA NSC NSE NSL NSM NSO NSR NSS NTD NTF NTP NTS NTT NTW NaDSet Naccache Nachum Nadathur Nagamochi Nagano Nagaraja Nagib Naher Nahid Naini Najar Nakada Nakagawa Nakamura Nakano Nam Nanard Nanni Naohisa Naoki Naor Naqvi Narasimhan Narbel Nardiello Narkiewicz Nastar Natali Natowicz Navarro Naylor Nazarenko Nazim Nebel Nederhof Neighbourhood Neimat Neira Nelma Nepomniaschy Nepomnyashchii Neraud Nerode Nesi Neto Nettleton Netzer Neubacher Neubert Neuendorffer Neuhaus Neuhold Neuro NeuroGraph Neurocomputer Neurocomputers Newbery Ng Ngair Nickelsen Nickl Nicola Nicolau Nicollin Niedermeier Niederreiter Nieh Niemann Niemela Nien Nienhuys Niepel Nierer Nies Nieto Nigay Nigel Nigri Niijima Nikhil Niki Nikolaidis Nilsson Nini Nipkow Nishimoto Nishizeki Nissen Nitzberg Nivelle Nobuo Noid Noirhomme Nolfi Nonasymptotic Nonmonotonic Nonmonotonicity Nonparametric Nonperfect Nonsupersingular Noormohammadian Norbert Nori Norihisa Northcutt Norvell Notkin Nowinski Nuallain Nukuzuma Nummela Nunes Nuseibeh Nussbaum Nyberg O O'Keefe O'Reilly O'leary OAA OAM OAN OAP OAS OBC OBD OBE OBS OCA OCD OCL OCLC OCP OCR OCS OConnor ODA ODC ODL ODM ODP ODS ODT OEC OEN OFC OFG OFO OFS OGG OHO OHR OI OIG OIO OIS OKM OKeefe OLB OLC OLE OLI OLL OMA OMC OMD OMM OMO OMP ONA ONC OO OOA OOAD OOC OOD OODB OOF OOI OOK OOM OOO OOP OOQ OOS OOT OOV OPA OPE OPM OPR OPU OQE OQM ORA ORCA ORF ORM ORS OReilly OSA OSC OSF OSG OSI OSL OSP OSS OSV OTC OTG OTM OTP OTS OUP OVS OWC ObjChart ObjectMath Obrenic Observability Occam Ochmanski Odberg Oddi Odlyzko Oege Oehring Oesterdiekhoff Offsetprinting Ogata Ogiwara Ohbo Ohlbach Ohlebusch Ohsuga Ohta Ohtsu Oivo Okada Okamoto Okamura Okubo Okun Olariu Ole Oleary Oliveira Oliveras Olivero Olivier Oller Omicini Omodeo Onaindia Ong Online Ontologies Onvural Ooi Oosterom Opdahl Opdyke Oppel Optimisations Optimised Opto Ora Orca Orejas Organisation Organisational Organising Orji Orlowska Orman Orna Orponen Ortwein Osten Ostrovsky Ostvold Osub Otero Othmar Otsuki Ottenberg Otth Overmars Ovrutcki Owczarczyk Oz Ozanian Ozsoyoglu P PAA PAB PAC PACLIB PAGODE PAI PAO PAQ PAczkowski PB PBC PBE PBF PBI PBM PBN PBV PCA PCB PCC PCD PCF PCK PCL PCO PCP PCQ PCS PCT PCTE PCV PD PDA PDB PDC PDD PDEs PDM PDR PDS PDT PEB PEC PEIRCE PES PEV PFB PFI PFL PFS PFT PG PGD PGG PGI PGSa PGSb PHD PIA PID PIH PIK PIS PKC PLC PLDs PLF PLL PLN PLP PLS PMA PMD PML PMP PMR PMS PMU PNC PNH PNT PNV POM PP PPA PPC PPD PPE PPI PPL PPS PPT PPV PQA PQP PQS PRAMs PRC PRL PROSPECTRA PRP PRR PRT PRW PS PSA PSC PSD PSE PSF PSG PSH PSK PSL PSM PSN PSO PSP PSPACE PSS PST PSV PTB PTC PTD PTF PTI PTIME PTL PTM PTN PTP PTR PTS PTW PUA PUM PVL PVM PVT PWT PZK Paakki Pacheco Pachl Pacholski Padawitz Padget Padgham Padua Paetau Pagello Pagels Pagli Pagnucco PaiLisp Pailhes Pailles Paiva Pajdla Palagi Palaniappan Palanque Palenichka Palopoli Palsberg Panangaden Pandu Pandya Panitz Pantaleon Panzieri Paola Paolo Papadias Papadimitriou Papini Parallelisation Parameterisation Paramodulation Pardo Paredaens Parigot Parisi Parnas Parnassas Parodi Participatory Partsch Pasquale Pataricza Patarin Patel Pathwidth Patinel Paton Paugam Paulin Paulisch Pauwels Pavel Pavlides Pawlowski Pazienza Pecchiari Pedersen Pederson Pedrajas Pedreschi Peiper Peirce Peladeau Pelaez Pelayo Pelc Peleg Pelillo Pellegrini Pemberton Penczek Penedo Peng Penz Peppard Peralta Perceptrons Percie Pereira Performability Peric Perkowski Perner Pernici Perrin Perron Personen Perticaroli Pesin Petermann Petieau Petkov Petr Petrou Petrovic Petrucci Pettorossi Peyre Pfalzgraf Pfeiffer Pfister Pfitzmann Phan Philbin Philipp Philippa Philippe Piatko Pichler Pidcock Pieprzyk Pietracaprina Pietrowcew Pignistic Pigozzi Pimenta Pimentel Pingali Pinlo Pino Pintado Piperno Piprani Pirri Pirrone Pissinou Pitas Pitrik Pitts Pivert Pizer Pizzuti Plaintext Plaisted Planlite Platek Plevyak Plihon Pliuskevicius Plo Plotkin Plyzos Pnueli Podelski Poechmueller Poeck PoeckUte Poel Poetzsch Poggi Pohl Pokorny Policriti Pollack Polle Polovina Polychromatic Polychronopoulos Polynomially Polytransactions Polytrees Pommert Poncelet Pontelli Popperian Pordes Porenta Porisini Portinale Portz Posegga Poset Posets Possibilistic Potthoff Pottier Poulin Poutre Pozo Prabhakar Prade Prakash Pramanik Prasad Prasun Pravin Pre Preilowski Preis Prem Preneel Preparata Presburger Presicce Presynaptic Prevelakis Preventative Priami Prieto Primality Primitivity Prioritization Prisco Privara ProSet Probabilistics Programme Proietti Projectivity Prolog Prologs Proskurowski Proth Provan Provaznik Provence Pruhs Prumper Pryds Przytycka Pseudorandom Psychobiological Psychologies Pucci Pudlak Puget Puhlmann Puigjaner Pujari Puliti Puntonet Puppo Purgathofer Pyatkin Q QA QAB QAS QC QEL QEM QFT QLA QMB QMM QMP QNF QOD QOO QOP QOS QPG QSD QSH QTS QTT Qiming Quadtree Quadtrees Queinnec Quer Querrying Queueing Quevedo Quiescence Quilliot Quirchmayr Quisquater Qutaishat R RA RAA RAC RAD RAH RAI RAL RAR RAS RBA RBD RBF RBI RBL RBM RBP RBS RC RCB RCC RCG RCH RCI RCL RCN RCR RCS RCU RDA RDBMS RDC RDL RDO RDV REE REI REL RELFUN REM RES RFD RFE RFI RFR RGD RHL RHP RHS RHT RHU RIA RIC RIE RIF RIL RIR RISC RKA RKR RKU RLA RLC RLI RLN RM RMA RMC RMF RMN RMP RMTP RNC RND RNI RNL RNP ROI RPB RPC RPL RPO RPQ RPS RPT RRA RRB RRD RRE RRM RRR RRS RSA RSC RSD RSF RSL RSM RSP RSS RST RSU RTA RTC RTD RTF RTI RTIP RTK RTL RTM RTP RTR RTS RTV RUI RVD RVL Rabatel Rabenseifner Rabinovich Rabitti Rackoff Raczunas Radeva Radhakrishnan Radisavljevic Radvanyi Raedt Rafail Rafi Ragde Raghavachari Raghavan Raghu Rahman Rainer Rajaraman Rajasekar Rajasekaran Rajshekhar Rakesh Rakoto Ralescu Ralf Ramachandran Ramakrishna Ramakrishnan Ramamohanarao Ramanathan Ramanujam Ramarathnam Ramesh Ramirez Ramis Ramkilde Ramkumar Ramos Rana Ranade Randomised Randomizers Rangan Rangarajan Ranjan Rankinen Rao Raphel Rappaport Rappoport Rasiowa Rauber Rauch Rauszer Rauterberg Rauzy Ravalontsalama Ravi Ravn Raynal Realised Reality's Recce Recko Reda Reddi Reddy Reengineering Regazzoni Reggio Regimantas Regueiro Regularization Rei Reichardt Reichwein Reif Reihaneh Reinefeld Reiner Reingold Reinhard Reinig Reischuk Reisig Reiss Reiterer Reither Rekimoto Relativizing Relators RelieF Ren Renate Rennison Replanning Reppy Resequencer Resolvents Resta Rettelbach Reus Revell Revilla Reviriego Reyneri Rezny Rhee Ricart Riccardo Rickard Ridley Riedling Riek Rieman Riemer Ries Riet Rigaux Riichiro Riihiaho Riihinen Riis Riitta Ringwood Rios Ripoll Ripphausen Rischel Rishiyur Ritson Rives Rivest Robic Robson Roca Rocha Rodehorst Rodrigues Roelants Rohall Rohlman Rojas Roka Rolf Rolland Romanow Rombach Romeny Romero Roncin Ronnquist Ropero Roque Ros Rosado Rosendahl Rosenkrantz Roska Rossello Rossi Rossmanith Rosson Rothermel Rotterdam Rounce Roure Roussel Rousso Routier Royer Royet Rozenberg Roziere Rubine Ruckert Ruddock Rudi Rueher Rueppel Ruffier Ruge Ruiz Rullo Ruping Ruppel Rusinkiewicz Rusins Ruskey Russling Rusti Ruston Ruurd Ruzicka Ruzicky Rymarczyk Ryozo Ryuichi S SAA SAB SACLIB SAE SAI SAK SAR SAS SBA SBC SBD SBE SBF SBH SBP SBS SBU SCB SCC SCCS SCF SCG SCK SCL SCO SCP SCR SCS SCT SCU SCV SDA SDC SDD SDI SDL SDP SDR SDS SDT SEB SEL SEM SEO SER SES SEU SFA SFE SFH SFL SFM SFS SGI SGML SGS SGT SHC SHT SIA SIF SIG SII SIJ SIK SIL SIM SIMD SIO SJE SJV SKC SKE SKIL SKM SKR SKS SLA SLC SLD SLDNF SLE SLI SLL SLM SLO SLT SLWV SM SMA SMB SMC SMD SMIsC SML SMM SMP SMR SMS SMT SMV SNL SNM SNN SNS SOA SOE SOF SOG SOI SOK SOM SOQ SOR SOT SP SPB SPC SPD SPE SPECT SPG SPK SPL SPMD SPN SPP SPR SPSa SPSb SPSc SPSd SPSe SPV SQD SQL SQM SQO SRA SRAM SRB SRC SRF SRH SRL SRM SRO SRQ SRS SRT SSA SSC SSD SSH SSI SSL SSM SSP SSR SSS SSX STA STACS STB STC STD STI STK STP STS STT SV SVA SVD SVE SWC SWD SWN Saake Sabelfeld Sacca Sacre Sadayappan Sadeghiyan Sadri Saeed Saeki Saenz Safavi Saffiotti Safra Sahlin Sahner Sai Sairam Sait Saito Saitta Sakabe Sakagami Sakai Sako Sakti Sakurai Salber Salden Saletore Salibra Salichs Salomaa Salomone Salov Saltz Salza Salzburg Salzer Samal Samarati Sambin Samcovic Sameer Sandewall Sandoval Sandri Sanfeliu Sangiorgi Sangiovanni Sankar Sannes Sanniti Santanu Santas Santini Santis Santoro Santos Saqui Sargeant Sarkans Sarkar Sartori Sassone Sato Satoh Satoru Satoshi Satwant Sauerbrey Saurel Sawadogo Sawamura Saxen Sazonov Sb Sc Scacchi Scedrov Schaerf Schaub Scheffler Schellhorn Schellinx Schenk Schepers Scherbakov Schernes Scheuermann Schiemann Schiermeyer Schild Schill Schimpf Schindelhauer Schlechta Schleich Schluns Schneidewind Schnier Schnorr Scholefield Scholl Schonfinkel Schonhage Schorter Schott Schouwen Schreck Schreiber Schrein Schreiner Schrijver Schroder Schrufer Schuch Schuierer Schuman Schutter Schwabe Schwagereit Schwartzbach Schwarz Schwarzenecker Schwarzler Schweiger Schweighofer Schwider Scintigraphic Scollo Sconing Sd Se Seberry Sebire Seebold Segala Segev Seguin Seiler Seino Seki Selby SelfLog Sellen Sellis Selman Selmaoui Seltveit Semeraro Semigroup Semigroups Semmak Semmel Senizergues Sensori Sep Sequentialization Serazzi Sergey Sergio Sergot Serna Sernadas Serra Sert Servieres Servoing Seshadri Sestero Sestoft Setsuko Setsuo Setzer Sevila Sf Sfantsikopoulos Sferrazza Sg Sgarro Sh Shafi Shahabi Shaham Shahmehri Shahram Shai Shamir Shan Shanbhogue Shang ShareME Shareable Sharif Sharir Sharma Shchepin Sheard Sheeran Shen Shengzong Shenker Shenoy Sherriff Sheth Sheu Shi Shie Shigeo Shigeru Shih Shilov Shimada Shimbo Shimon Shimony Shinoda Shinohara Shintaro Shintel Shiota Shirazi Shizuya Shmueli Shue Shvartsman Shyy Sibertin Sibeyn Sideri Sieber Siebes Siegelmann Sienknecht Sifakis Silc Silva Silvestri Silvio Simberova Simeon Sindre Singh Sinha Sintzoff Sipser Sirin Siromoney Sirpa Situatedness Siu Sivabalan Sjoberg Sjoland Skarbek Skiena Sklansky Skowron Skylab Skyum Slade Slagle Slobodan Slowinski Slutzki Smets Smetsers Smeulders Smid Smieja Smit Smutny Snir Snoeyink Sobalvarro Sobolewski Socher Sochor Soete Sohoni Sokol Sola Solina Solnon Solovay's Soloviev Solvability Solvberg Solworth Sonia Sonja Sonnentag Sopena Soren Soria Soroko Sossai Soto Sotoca Souissi Sourced Souvaine Sowa SpaSQL Spaccamela Spaccapietra Spalt Spanoudakis Sparcle Spatio Spatiotemporal Sperschneider Spilski Spirakis Spirality Springett Springintveld Springsteel Spruth Spyratos Squarers Sramek Sridhar Sridharan Srinivas Srinivasan Srinivasaraghavan Sriram Srivastav Srivastava Staehli Staffan Staffelbach Staib Staiger Stal Stallmann Stangier Staniford Stanischewski Starovoitov Statecharts Stategies Staudt Steegmans Stefanescu Stefani Stefanie Stefano Steffen Steffer Steinbach Steinhage Steinmetz Stenzel Stephan Stephane Stereograms Stereolithography Stereoscopic Steyaert Stiefeling Stieg Stifter Stig Stinson Stiver Stocchiero Stohr Stokkermans Stolfo Stonham Stormann Stortkuhl Stoughton StrIng Straben Streibl Streicher Strintzis Strohmer Struss Stuber Stuckey Studenten Studeny Stumptner Sturmian Stutt Su Subband Subbotin Subdeductions Subedge Subpixel Subrahmanyam Subramanian Subrata Substransactions Substructural Subsumption Subtheories Subtyping Sudarshan Sudborough Sudhakar Sudholt Sueiro Suesse Suetens Sugih Suk Sulimov Sumpter Sundaram Sunderraman Suonio Superstrings Suresh Surjectivity Surmann Sutcliffe Suttner Suwa Suzuka Sven Svend Svobodova Swanberg Swarup Swennen Swensson Swiatek Swierstra Sybase Sylvie Syrotiuk Systolic Szegedy Szekely Szeliski Sziranyi Szpilrajn Szulman T TAA TAE TAF TAH TAL TBC TBD TBF TBN TBP TBU TC TCA TCB TCC TCD TCF TCG TCI TCL TCM TCO TCP TCR TD TDB TDD TDI TDM TDN TDO TDR TDT TDV TEF TEI TEIa TEIb TES TFA TFD TFM TFO TFT TGO THN THP TIS TIU TIW TLC TLI TLR TLT TLU TMB TME TMG TMI TMP TMR TMT TNC TNF TNI TNL TNR TNS TOK TOOA TOS TPA TPC TPI TPM TPN TPO TPP TPR TPT TPU TPW TPZ TQA TQL TQM TRC TRF TRI TRL TRN TRO TRP TRQ TRS TRT TRU TS TSB TSC TSD TSI TSL TSP TSR TST TT TTC TTD TTF TTO TTP TTR TTS TUF TUL TUV TVK TVL TWD TWS Tabossi Tactus Tagare Tagg Taiichi Taitslin Tajine Takada Takagi Takahashi Takahiro Takakura Takamura Takano Takashi Takasu Takayasu Takeshi Takeuchi Takimoto Takizawa Takuya Talbi Talcott Talley Talpin Tamassia Tambouratzis Tamburrini Tamil Tammet Tanca Tanguiane Tani Tano Tarui Tascini Tatemura Tatsiopoulos Tatsuaki Tatsuo Tatzelwurm Taubenfeld Taura Tavares Taveniku TeX Teasley Tegenfeldt Tegolo Teillaud Tekalp Telepresence Telle Temperini Teng Tenhunen Teo Tepfenhart Ter Terceros Terence Terje Termal Terna Terpou Terranova Tes TestIt Tetsuzo Tewari Th Thalamic Thebaut Thekkath Theo Therien Thery Thesauri Thiagarajan Thiel Thiemann Thieme Thierauf Thierry Thilo Thirunarayan Thissen Thomopoulos Thone Thorup Thu Thue Thurner Tichy Tiede Tiffou Tijerino Tikku Tilburg Tilman Timos Tisato Tiscornia Tison Tiuryn Tjandra Tjoa Tobermann Tokoro Tokuda Tokuyama Tolsby Tomas Tomasz Tombak Tomi Tommasi Tomograms Tomographic Tomohiro Topor Toran Torben Torenvliet Torlone Tormo Torras Torre Torrealdea Torrens Toshihisa Toshinobu Toshiya Toth Toupie Toure Toussaint Touzet Towsley Toyama Trainito Tran Transversals Trapp Traunmuller Trbovich Treewidth Treinen Treleaven Tresch Treur Trevisan Triangulations Triconnected Trie Trillas Trimarchi Trivedi Trofimov Trombettoni Tromp Troya Trucco Trudel Truszczynski Tsakalidis Tsichritzis Tsitsiklis Tsoukalas Tsujii Tsumoto Tsung Tsuruoka Tsutomu Tsutsui Tu Tue Tuijnman Tupling Turek Turiel Turini Turowski Tuxen Tuya Tversky Tweety Tyko Tyszkiewicz U UAB UAD UAH UAM UAN UAS UCA UCD UCN UCS UCV UDA UEI UER UEV UFD UFG UFI UFM UFO UFP UFS UGA UHE UHP UIK UIM UIMS UIP UIS ULE ULF ULM ULN ULP UMA UMD UME UMS UMU UNA UNC UOA UOC UOL UOO UOS UPI UPL UQQ URA URANO URL URM URP USI USK USL USP UST UTL UTM UTT UUC UUN UUO UVA UVC UVR UWS Uday Udink Ueda Uehara Ueli Ugo Ulrich Ulrike Ultrasonography Ultrix Umberto Umilta Undecidability Unforgeable Ungering Uno Unskolemization Unsupervised Upfal Upperbound Urs Urzyczyn Uselton Ushakov Ute Utilisation Uwe Uzi Uzilevsky V VAB VBU VC VCD VCI VCM VDC VDD VDF VDM VDS VDU VFE VGS VHD VHDL VHI VHS VIP VKE VLF VLIW VLV VMC VME VO VOD VPM VPR VPS VQP VRG VSA VSD VSI VSL VST VUT VV Vaananen Vaccaro Vachaspathi Vacillatory Vadaparty Vagvolgyi Vaishnavi Valderrama Valente Valentin Valentini Valeri Valeria Valev Valiente Valmari VanBaelen VanDenBerg VanGlabbeek VanHeijst VanHentenryck VanKreveld VanRoy VanTilburg VandenBussche Vanderdonckt Vandermeulen Vandewalle Vandoni Vanstone Vantaggiato Vapnik Varaiya Vargas Vargiu Varricchio Varzi Vasco Vasconcelos Vassilakopoulos Vasu Vaudenay Vauzeilles Vazirani Vazqez Vedder Veglioni Veijalainen Velbitskiy Veldhorst Vellasco Veltman Vemuri Veneris Veni Venkat Venkatesan Verbeeck Verbeek Vergauwen Verhoef Verleysen Verschuren Versioning Vianu Vicario Vicat Vicente Vico Vidal Viegas Viergever Vieu Vigano Viklund Viksna Vila Vilas Villemaire Villmann Vin Vincentelli Vinter Virbitskaite Vishkin Visualisation Vitter Vlachantonis Vladimiro Vliet Vlissides Vo Vob Vogler Voisard Volker Voltolina Vorobyov Voronkov Voronoi Vos Vossen Vossos Voxel Vuillemin W WAA WAM WBI WCA WCP WDM WDO WEW WFA WFO WIB WID WIL WIP WIS WIU WNR WOS WSA WSB WTB WTD WUA WUH WUT WWW WYSIWYG Waack Waarts Wachtel Wacrenier Waczulik Wadler Wagener Waidner Waisanen Wakaha Wakayama Wakita Waldemar Waldmann Waldschmidt Waldvogel Waleffe Walkthrough Wallbruch Wallgren Walmsley Wanka Wanke Wann Wansing Wareham Warnow Warter Washio Wayner Wechsler Weddell Wegner Weidenbach Weigel Weightless Weigl Weihe Weikum Weinrib Weise Welzer Welzl Wen Wenchang Wentzel Werchner Wermelinger Wernick Wernsdorf Weruaga Wess Westbrook Westman Weydert Weyl Whigham Widenings Wie Wieczerzycki Wiedijk Wiehagen Wielinga Wiffen Wiktor Wildgruber Wileden Wilfong Wilke Willaeys Willem Willems Willersinn Willi Willumsen Wim Winiwarter Winkler Winsborough Winskel Winstanley Wirsing Wirth Withagen Witold Witteveen Wlaschitz Wlodzimierz Wodon Woeginger Wojciech Wolfers Wolper Wolpers Wooldridge Woollven Wormhole Worring Wuthrich Wuwongse X XII XP XTK XWT Xiao Xiaorong Xie Xsub Xu Xuejia Y YAA YAL YNQ YPREL Yabo Yacobi Yacov Yager Yahiaoui Yahiko Yair Yajima Yakovlev Yamada Yamagishi Yamaguchi Yamamoto Yamana Yamanishi Yamashita Yamazaki Yan Yanez Yankelevich Yannakakis Yannis Yao Yasue Yasuhiko Yasunori Ycart Yechiali Yee Yeol Yesha Yetim Yetongnon Yexuan Yi Yih Yishay Yo Yoichi Yokomori Yokote Yolanda Yonezawa Yongdon Yoo Yoon Yoram Yoshiaki Yoshida Yoshiharu Yoshiji Youssef Yovine Yu Yuan Yuasa Yue Yuen Yuji Yukio Yuliang Yung Yuri Yurramendi Yutaka Yvinec Yvo Z ZKIP ZM Zabback Zabel Zach Zackland Zagler Zahalka Zahzah Zaks Zalesny Zamani Zamora Zamov Zamulin Zanardi Zanichelli Zaniolo Zantema Zapata Zarader Zarrella Zdrahal Zedan Zeleznikow Zelikovsky Zelkowitz Zellweger Zembowicz Zeng Zenger Zephyrova Zeugmann Zezula Zhan Zhang Zhao Zhaohui Zheng Zhong Zhou Zhu Zicari Zie Zielonka Zima Zimmermann Zingaretti Zingoni Ziou Zippel Ziv Zivkovic Zlatuska Zobaidie Zong Zoppis Zubal Zucca Zuk Zurita Zurl Zuse Zweben Zweigenbaum Zwiers Zyr Zyryanov Zytkow abbrev abductive ack acknowledgement acm adic adr annote antimonotonic ary atomicity auf autoepistemic beebe behaviour behavioural behaviours bibdate bibmods bibnames bibsort bibsource bisimulation bisimulations blinde bsch byvolume c ccc chocs co codetable com computergestutzte congruences cryptographically cryptosystem cryptosystems czyk dataflow datatypes de deBakker deBeauville deBerg deCampos deFloriani deGreef deGroote deHaas deHoop deMiguel definability del der di diBaja diBlasio diGesu diGianantonio diManzo digraphs dijk divertibility docstring dridge e edu elitist email equational er ev f fidl findall fixpoint fractal ftp ggemann glio golla holey holographic holonomic htm http hypergraphs i ichi ieee ind interleavings intuitionistic ispell isub j k ka kov ku l le ller lncs lncswxyz lon ltx lund lzle m metacomputation metatheory microdomain microworlds modelling monoidal monoids morphic multimediale multiplicities multiset multisignature n nard nhfb nonconvex nonmonotonic nov ny o oder ois ontolingua org p pdf plaintext poly polyadic polymorphism polytopes powerdomain precomputation preimages preorders pseudorandom qsort quel rd rens rg rgen ron s sehbehinderte ser shi shortcutting showtags skel sok sortedness st sublogarithmic synchronised systolic t ta tastbaren taxonomies tepe ter tex th thunkification tilings tocs toposes twocolumn typability u uber ukasiewicz und undecidability unsrt utah v vanBakel vanHeijst vanHeyst vonBraunmuhl vonDerBeeck vonHanxleden vonMayrhauser vs wa wc www wxyz xiii xiv xsup xxnote xxvolume ya z za zef