A'ali AAA AAB AAC AAD AAE AAK AAL AAN AAR ABD ABP ABR AC 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 ALB ALEXSYS ALISA ALR ALT AMB AMC AMF AMI AMK AMM AMN AMR AMU ANA ANE ANF ANP ANSAware AO AOA AOB AOD AOH AOR APA APC APF API APK APL APM APP APS AR 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 Abbott Abdelguerfi Abdulla Abdulrab Abel Abelian Abhiram Abiteboul Ablameyko Ablayev Abrahamson AbstrAct Aceto Acevedo Achaibou Achauer Achim Ackermann Acknowledgement ActorStudio Aczkowski Adaption Adcock Addis Adelantado Adelson Adi Adiba Aditi Adorni Adrian Ae Aero Aerotriangulation Afek Affine Afsarmanesh Agarwal Agesen Aggarwal Agha Agnew 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 Alfonso Alfred Alfredo AlgBench Alhajj Ali Aligue Alimonti Alla Allender Allinson Alllemang Allyn 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 Ana Anaesthesia Anagnostou Analogic Analysing Anant Anatoli Anatoly Anavai Ancona Andersson Andonoff Andrade Andranick Andrea Andreas Andreev Andrei Andres Andrzej Angelica Angi Angiograms Angiography Anik Annalina Anneliese Annexstein Anogianakis Anoop Ansgar Antimirov Anton Antonellis Antonio Antoniol Antoniou Antoon Antoy Antreich Antsaklis Aoki Aoshima Aparicio Apertos Appel Appelbe Apperley Approximability Apr 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 Aug Auld Auriol Autoassociative Autoepistemic Automatical Automation Auzimour Avellana Avi Awano Awerbuch Axiomatizations 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 Banach Banahan Bancilhon Bandinelli Bandler Banerjee Bannert Barahona Barak Barbanera Barbaroux Barendsen Barengo Baresi Barfield Barghouti Bargmeyer Baritaud Barja Barklund Barnwell Baroglio Barone Barret Barrington Barro Bart Barwise Barzdins Basili Bastide Bateman Batey Battista Baum Baumgartner Bayer Bazin Beame Beaudot Beaudry Beauquier Beauville Becker 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 Benton Benveniste Benzekri Berardi Berarducci Berben Bergadano Bergamaschi Bergmann Bergstein Bergstra Berke Berkman Berlage Berlandier Berman Bernardi Bernays Bernd Bernhard Bernholtz Bernot Berson Berstel Berthod Berthold Berthome Bertilsson Bertin Bertino Bertolazzi Bertram 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 Birgit Birrer Bisimulation Biskup Bitan Bittencourt Bjerre Bjones Blakley Blanco Blanke Blasio Blazy Bleisinger Blom Blomer Blum Blundo Boas Boccignone Bochmann Bockle Bockmayr Bodart Bodil Bodker Bodlaender Boeve Bofill Bogdan Bohm Bois Boissier Boissonnat Boiten Bojkovic Boksenbaum Boley Bollini Bonacina Bonamico Boniol Bonissone Bonsangue Bookstein Borger Borgne Boriello Boris Borland Borocco Borodin Borst Borup Bos Bosc Bosse Bosselaers Bossut Bost Botsford Botti Bottoni Bouaud Bouckaert Boudjlida Boudol Boufares Boulecane Bourdoncle Boving Boye Boyle Br Bracho Bradly Bragato Braggiotti Brahma Brandstadt Brandt 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 Browsers Bruckhaus Bruckner 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 Buxton Byeon Byeong C CAC CADI CAG CAI CAK CAQ CAS CAV CBA CBC CBI CBK CBP CBR CBS 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 CIT CKD CLA CLB CLC CLD CLE CLF CLL CLO CLP CLS CLU CLa CLb CM 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 CT 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 Caldwell Callaghan Calmet Cambell Cammarata Campana Campbell Campidoglio Campos Canalda Canas Candela Canfield Cano Canos Cantone Cantoni Canu Cao Capaccioli Capon Caprotti Carballo Carbonneill Cardona Carenini Carine Carlet Carlo Carlos Carlsson Carmo Carnduff Carnicer Carole Carrabina Carrasco Carreira Carrico Carriero Carroll Carsten Cartwright Carvalho Casacuberta Casanova Casasnovas Caseau Caselli Cassaigne Cassinis Castagna Castan Castano Castelfranchi Castellani Castellanos Castillo Castings Caterini Causse Cauvet Cavalieri Cayley Cayrol Cazanescu Cecelia Cecile Cederling Cellary Cerecedo Cerezo Ceri Cerin Cerioli Cerro Cervoni Cesarini Cesta Ch Cha Chadha Chaiken Chameleon Chan Chandra Chandy Changeling Chao Chaochen Chaosheng Characterizations 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 Chi ChiKwongHui Chiaberge Chiao Chiba Chien Chikayama Chlebus Choffrut Choi Chopra Chor Choras Chou Choy Chr Christensen Christodoulou Christoph Christophides Christos Chrobak Chromosomes Chrzastowski Chu Chul Chun Chung Ciancaglini Ciancarini Ciardo Cid Cimatti Cin Cinquin Cioni Ciphertext Ciravegna Circumscription Cixiang Claaben Clarencon Clarkson Clausal Clemens Clerin Clifton Clochon Cloete Cnudde Co CoBase Cobham Coburn Cocomparability Codenie Codenotti Codish Coen Coggins Cognard Cogolludo CohenGraem Cointe Colagrossi Colbourn Colchester Cole Colin Collages Collenberg Collette Colour Coloured Combatting Combelles Comined Comon Compositionality Compton Computatrix Conati Condie Confluence Congruences Conjugacy Connectionism Connectionist Conradi Constantopoulos Conte Contejean Contextsensitive Contextualizing Conti Conway Coorg Cootes Coq Corazza Corbacho Corby Corciulo Cordelle Coreference Corpora Corrado Corrales Correlativity Corsini Corso Cosi Cosmo Cosnard Costa Cottrell Coulon Coulson Coupey Courcelle Courcoubetis Cournier Courseware Courtiat Cousot Coutaz Couvreur Coverability Cowen Cravo Creasy Creignou Crespo Crestani Cridlig Crippa Crochemore Croshere Crouzil Cruz Crypto Cryptosystem Cryptosystems Cs Csillag Cubero Cubric Cucker Cuellar Culik Cun Cuno Curien Cushing Cussens Customisable Cusumano Cutello Cutsem Cutset 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 DES DFA DFB DFC DFE DFN DFO DFP DFR DFS DGD DGP DHA DHD DHL DHM DHT DIB DIC DIS 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 Daley Damas Damasio Damg Damgaard Damgard Daniela Daniele Dannenberg Danos Darlington Darren Das Dasarathy Dataflow Datalog Dathan Datta Davide Davison 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 Dendritic Denert Deng Denker Denneheuvel Densow Denti Depaoli Der Derder Derek 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 Dietz Dietzfelbinger Diffie Digraph Digraphs Dikovsky Diks Dilger Dilip Dillencourt Dilley Dimas Dimitri Dimitris Dinitz Dipayan Discriminator Disenrollment Disentailment Diskin Distillations Disunification Divertibility Divertible Dix Dixon Dj Djemaa Djeraba Djerassi Doaitse Doany Dobbie Dobrindt Dobrusin Dogru Dokumentation Dolev Domenico Domingue Dominik Dominique Domosi Donawa Doohyun Dorffner Doria Dorizzi Dostalova Dourte Dovier Dowek Drabent Dragoni Dreiseitl Drexler Droste Druschel Du 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 ELL ELN ELR EMA EMC EMD EME EML EMS EMV EN 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 EST 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 Edmonds 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 Engel Engelfriet Engelson Enjalbert Ennaji Enno Epistemic Eppstein Equational Ergonomics Erica Erland Ernesto Erol Errington Ershov Ertel Erwig Esch Esparza Espiau Esposito Estrella Estrin Etalle Etienne Eug Evan Eveline Evertse Evolutive Ewald Exertier Exner Ezpeleta F FAA 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 FMC FMP FMR FMS FMT FNI FNL FNN FNS FO FOI FPC FPF FPGA FPGAs FPI FPK FPL FPM FPP FPS FRA FRG FRM FRR FSD FSE FSI FSL FSN FSR FST FSV FSW FTA FTC FTD FTO FTT FTU FUM 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 Fe Federico Feeley Feferman Fegaras Fehling Fehrer Fei Feichtinger Feige Feigenbaum Feistel Feldbrugge Felder Feldmann Felperin Felsner Femus Feng Fenner Fenton Ferguson Fermuller Fernandes Fernandez Ferney Ferrand Ferrari Ferreira 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 Fontaine Foo Foresti Formalising Formann Formella Fortnow Fotouhi Fouquere Fournier Fr Fractal Fraguas Fraichard Fraisse Fraiture Francesca Franchitti Francisca Franckson Frandsen Frankel Franova Franzke Frasconi Fraus Frederickson Frederik Fredman Freeston Freisleben Freivalds Fri Friedenbach Frieder Friedhelm Friedrich 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 Gaines 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 Gil Gilberto Gilio Gilleron Gilles Gilmore Gimel'farb Gimelfarb Gindi Gino 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 Godfrey Godsey Goff Gogolla Goh Goldburg Goldreich Goldwasser Golfkrieg Golic Golin Golumbic Gomez Gomm Gondow Gonzalez Goodong Goransson Goresky Gori Gorrieri Goser Gospodarowicz Goss Gottlob Gotz Gotze Goubault Gouet Govaerts Goyal Gr Gradel Graem Graf Gramlich Grammatikakis Grana Grandjean Grau Greco Greef Gregoire Gregor Gregoretti Gregori Gretter Greve Griebel Griefahn Griffault Grigori Grigoris Grimstad Grinshpun Griswold Grivas Grobner Groger Groot Groote Grosky Grosz Gruhn Grumberg Grunbacher Grundy Grunfelder Grygier Grzegorz Guan Guazzelli Guckenheimer Guday Gudmundsson Guedon Guenther 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 HOI 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 Haas Haber Habib Habrias Haddad Hadzilacos Haeberer Haemmerle Hagauer Hagelstein Hagerup Haghighat Hagiya Hahnle Hai Haider Haishan Haj Hajek Haken Halldorsson Hallett Halloy Halperin Halpern Halpin Halstead Haluzikova Hamada Hamaguchi Hamakawa Hamamoto Hambrusch Hameurlain Hamon Han 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 Hausdorff Hausi Havelund Havinga Hawkes Hayakawa Hazan Hearn Heaton Heeb Heep Heffernan Heffter Hegedus Hehmann HeiMAT Heide Heidelberger Heijst Heike Heikkonen Heiman Heinecke Heinrich Heite Hellerstein Hellman Hellwagner Hemachandra Hemaspaandra Hemerly Hemus Hendren Hendrik Henery Heng Hennebert Hennessey Hennessy Hennicker Hennis Henri Henrik Hentenryck Henzinger Heping Heras Herault Herbrand Hermann Herment Herpel Herrmann Herrtwich Herstellung Hertzberger Hervas Herve Herzberg Herzig Herzog Hesketh Hessenauer Hetzroni Heuser Heydari Heyst Hibti Hideaki Hidehiko Hidekazu Hideki Hideo Hideyuki Higham Hikaru Hildebrand Hilfinger Hiltgen Hines Hinke Hinkelmann Hinrichs Hirata Hiroaki Hiroki Hiroshi Hiroyuki Hirsch 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 Holm 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 Hubbard Huber Hubsch Huckenbeck Hudak Huete Huggins Hui Huimin Hulley Hulthage Hungar Huning Hursch Hwan Hwang Hwu Hyland HyperDEBU HyperLecture HyperPATH Hyperedge Hypergraph Hypergraphs Hypermedia Hyperplanes Hyperset Hypersimple Hypertexts IAC IAH IAN IAP IAR IAT IBA IBC IBD IBE IBP IBS IC ICA ICG ICM ICO ICR ICS ICSP ICT ICU IDA 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 IR IRA IRC IRD IRI IRL IRM IRP IRS ISA ISALOG ISAR ISBES ISBN ISC ISD ISF ISI ISL ISM ISN ISO 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 Ian 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 Interchangeability Interframe Intermedia Internet Interoperability Interoperable Interoperating Interplace Interworking Intra Inverardi Ioannidis Ip Irani Irradiance Ishakbeyoglu Ishigami Ishiguro Ishikawa Ishimaru Ishizaka Isoaho Isothetic Istrail Italiano Ito 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 Jensen 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 Judd 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 KS KSC KSE KSI KSM KSO KSP KST KTL KTS KTU Ka Kabos Kaci Kacprzyk Kaeli Kagedal Kahrs Kai Kaisa Kajler Kakihara Kale 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 Kaplan Kappe Kappel Kappner Kapron Kaptelinin Kapur Karabatis Karagiannis Karakos Karamcheti Karatsuba Karbach Karel Karger Kari Karin Karine Karlsson Karny Karp 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 Kemp Kempa Kemper Kenichi Kenji Kenjiro Kerberos Kernig Keronen Kerry Kerschberg Kersten Kertesz Kesim Kesner Kesselman Kessler 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 Kobayashi 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 Kruse Kruszelnicki Krypto Krzysztof Kubak Kubiatowicz Kubica Kubler Kucera Kuchcinski Kuchen Kucherov Kuhn 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 LAC LAE LAMBDALG LAN LAO 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 LIN LIS LKM LL LLB LLC LLE LLH LLM LLO LLS LM LMC LMF LMM LMO LNAI LNCS LNCSD LNP LNV LO LOA LOGIDATA LOK LOKI 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 Lam Lambert Lambertian Lambrix Lamma Lampe Lamport Landrock Lang Langetepe Langhammer Langlois Laorakpong Lapalut Lardon Larmore Larranaga Larus Lassila Latombe Laublet Lauesen Laugier Laure Laurent Lautemann Lavallee Lavazza Lavery Lavrac Lazanas Lazowska Lazzari Le LeCharlier LeMetayer Learnability Learner's Lebegue Lebiere Leblond Lecourtier Leedham Lefmann Legat Legeard Lego Leheureux Lehman Lehner Lei Leibovic Lein Leiserson Leiss Leitner Leitsch Leivant Lemarie Lemmon Lemos Lempel Lengauer Lenhof Lenisa Lennart Lennox Lenstra Lentfert Lenting Lenzini Lenzitti Leonardi Leonardis Leong Lepinay Lepisto Les Leschi Lesmo Leszek Letichevsky Letizia Letremy Leung Levenez Leventhal Leverich Leverrier Levin Levinson Lewerentz Lewi Li Liang Liau Liaw Libourel Lidl Lidong Lieb Lieberherr Liedtke Liegeois Liestman Lietard Liew Liftable Ligomenides Ligozat Lillian Lim Limberghen Limongelli Lin Linde Lindemann Lindh Lindland Lindqvist Linearisation Linearizations Ling Lingas Lingenfelder Lingras Linster Lionheart Liotta Lipa Lipeck Liskiewicz Liskov Litovsky Littlewood Litwin Liu Lixia Ljung Lo Lober Lobo Lodaya Loew Logicism Loidl Lok Lombardi Lombardo Lomet Longo Longsen Loogen Lopera Lopes Lopresti Lorge Loria Lou Loucopoulos Lougher Loui Lounis Lourens Lowry Lu Lubachevsky Lubiw Luby Luca Lucantoni Luccio Luciano Lucio Lucka Luczak Ludascher Ludewig Ludik Lugiez Lugli Luigi Luis Luiz Lukkien Lukose Luling Luong Luque Lurwer Lutfiyya Luth Lutton Lutz Lux 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 MM MMA MMC MMD MME MMI MMP MMR MMS MMV MMY MNR MOODsup MOSIX MOT 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 MT 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 Maier Majchrzak Makanin Makedon Makinouchi Makki Maksimenko Malama Maler Malerba Malhotra Malki Malsch Malu Maluszynski Malyan Mamede Mamitsuka Mammography Mandrioli Mangat Mani Maniezzo Mann Mannes Mannino Manny Manolopoulos Mansour Mantha Manthey Mantsivoda Manuel Manzano Manzini Manzo Maouche MapA Maraninchi Marathe Marc Marcelli Marchal Marchetti Marciniak Marco 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 Matroid Matsuda Matsui Matsumoto Matsuoka Matsushita Matthias Mattox Mattsson Maurer Mauricio Maurizio Maver Mavronicolas Maydan Mayo Mayordomo Mayr Mayrhauser Mazaud Mazer McCAT McCormack McCulloch McCurley McGarry McKenney McKinna McLeish McMillin Mcbrien Meddahi Medial Medina Mega Megascope Mehl Mehlhorn Mehrotra Meier Meijers Meinel Meinke Meki Mekras Melamed Melen Melham Melis Melliar Mello Mellor Memmi Mena Menezes Meng Mengel Mengshoel Menon Merelo Merrall Merrett Merritt Mervin Meseguer Meshveliani Meta MetaFlex Metaclass Metadata Metafor Metalevel Metalogic Metayer MethoDex Metivier Metrication Meyne Mfoumoune Micali Miceli Micha Michaelis Michailidis Michalski Michaux Michel Michele Michelis Mick Middeldorp Miethsam Mignosi Mihaljevic Mihir Mikael Mikolajczyk Milanese Milanovic Milgram Milne Milner Miltersen Min Mineau Ming Miniscoped Minker Minna Minohara Minot 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 Moduli Moeller Moerkotte Mogens Mohamed Mohammad Mohan Mohr Mohring Moignard Moinard Moir Moisy Molenaar Molina Moliner Moller Mon Monagan Monfroglio Monfroy Monge Monger Moni Monien Monique Moniz Monney Mono Monoid Monoids Monserrat Monsuez Montalbano Montanari Montanvert Monteiro Montello Montesi Monti Montoy Moolenaar Mora Moran Moreira Moreno Moreschini Morin Morita Moriyama Morokhovets Morphisms Morten Morvan Mosbah Moser 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 Multimedia 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 Nadia 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 Neal Nebel Nederhof Neighbourhood Neil Neimat Neira Nelma Nepomniaschy Nepomnyashchii Neraud Nerode Nesi Ness 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 Nordstrom 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 Oct 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 Optoelectronic 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 PL 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 PPM PPS PPT PPV PQA PQP PQS PR 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 Palazzi 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 Paterson Pathwidth Patinel Paton Paugam Paulin Paulisch Paulus 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 Petit Petkov Petr Petrou Petrovic Petrucci Pettorossi Peyre Pfalzgraf Pfeiffer Pfister Pfitzmann Phan Philbin Philipp Philippa Philippe Phillip Piatko Pichler Pidcock Pieprzyk Pietracaprina Pietrowcew Pignistic Pigozzi Pimenta Pimentel Pingali Pinlo Pino Pintado Pinter 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 Polytope Polytransactions Polytrees Pommert Poncelet Pontelli Popperian Pordes Porenta Porisini Portinale Porto 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 Prosthesis 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 REP 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 RNA 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 Rabin 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 Raman Ramanathan Ramanujam Ramarathnam Ramesh Ramirez Ramis Ramkilde Ramkumar Ramos Rana Ranade Randomised Randomizers Rangan Rangarajan Ranjan Rankinen Rao Raphel Rappaport Rappoport Rasiowa Rauber Rauch Raul Rauszer Rauterberg Rauzy Ravalontsalama Ravi Ravn Raynal Realised Reality's Recce Recko Reda Reddi Reddy Reengineering Regazzoni Reggio Regimantas Regis Regueiro Regularization Rei Reichardt Reichwein Reif Reihaneh Reinefeld Reiner Reingold Reinhard Reinig Reischuk Reisig Reiss Reiterer Reither Rekimoto Relativizing Relators RelieF Ren Renate Rene Rennison Replanning Replicas 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 Rosenberg Rosendahl Rosenkrantz Rosenzweig Roska Rossello Rossi Rossmanith Rosson Rote Roth Rothermel Rotterdam Rounce Roure Roussel Rousso Routier Rowe Royer Royet Rozenberg Roziere Rubine Ruckert Ruddock Rudi Rudolf Rueher Rueppel Ruff Ruffier Ruge Ruiz Rullo Ruping Ruppel Rusinkiewicz Rusins Ruskey Russling Rusti Ruston Ruurd Ruzicka Ruzicky Rymarczyk Ryozo Ryuichi S SAA SAB SAC SACLIB SAE SAI SAK SAL SAR SAS SBA SBC SBD SBE SBF SBH SBP SBS SBU SCB SCC SCCS SCF SCG SCI SCK SCL SCM SCO SCP SCR SCS SCT SCU SCV SDA SDC SDD SDI SDL SDP SDR SDS SDT SEB SEC 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 SPA 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 SRI SRL SRM SRO SRQ SRS SRT SSA SSC SSD SSE SSH SSI SSL SSM SSP SSR SSS SST SSX STA STACS STB STC STD STI STK STP STS STT SV SVA SVD SVE SWC SWD SWN Sa Saake Sabelfeld Sabina 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 San 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 Schweitzer 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 Sequent Sequentialization Serazzi Sergei Sergey Sergio Sergot Serna Sernadas Serra Sert Servieres Servoing Seshadri Sestero Sestoft Setsuko Setsuo Setzer Sevila Sf Sfantsikopoulos Sferrazza Sg Sgarro Sh Shafer Shafi Shahabi Shaham Shahmehri Shahram Shai Shamir Shan Shanbhogue Shang Shannon ShareME Shareable Sharif Sharir Sharma Shay 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 Shoji Shu 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 Stefan 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 Stu Stuber Stuckey Studenten Studeny Stumptner Sturmian Stutt Su Subband Subbotin Subdeductions Subedge Subnets Subpixel Subrahmanyam Subramanian Subrata Substransactions Substructural Subsumption Subtheories Subtyping Sudarshan Sudborough Sudhakar Sudholt Sueiro Suesse Suetens Sugih Suk Sulimov Sumner Sumpter Sundaram Sunderraman Suonio Superstrings Suresh Surjective 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 TAT 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 TID 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 Tableaux 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 Tanaka Tanca Tanguiane Tani Tano Tarui Tascini Tatemura Tatsiopoulos Tatsuaki Tatsuo Tatzelwurm Taubenfeld Taura Tavares Taveniku TeX Teasley Tegenfeldt Tegolo Teillaud Tekalp Tel Telepresence Telle Temperini Teng Tenhunen Teo Tepfenhart Ter Terceros Terence Terje Termal Terna Terpou Terranova Tes TestIt Testbed Tetsuzo Tewari Th Thalamic Thayer Thea 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 Traveler's 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 UT 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 Uri 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 VT 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 Vaughan 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 Voss 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 Watanabe Wavelet Wayner Wechsler Weddell Wegner Wei Weidenbach Weigel Weightless Weigl Weihe Weikum Weinrib Weise Weller Welzer Welzl Wen Wenchang Wentzel Werchner Wermelinger Wernick Wernsdorf Weruaga Wess Westbrook Westman Weydert Weyl Whigham Whitaker 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 Wolfe Wolfers Wolper Wolpers Wong Wooldridge Woollven Wormhole Worring Wu 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 Ye 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 Yuh 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 ami annote antimonotonic ary atomicity auf autoepistemic beebe behaviour behavioural behaviours bibdate bibmods bibnames bibsort bibsource bisimulation bisimulations blinde bner 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 du e edu elitist email en 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 ne nhfb nonconvex nonmonotonic nov ny o oder ois ontolingua org p pdf plaintext poly polyadic polymorphism polytope polytopes powerdomain precomputation preimages preorders pseudorandom pushout qsort quel rd rens rg rgen ron s sa sehbehinderte ser shi shortcutting showtags skel sok sortedness st sublogarithmic synchronised systolic t ta tableaux tastbaren taxonomies tepe ter tex th thunkification tilings tocs toposes twocolumn typability u uber ukasiewicz und undecidability unsrt utah v vanBakel vanHeijst vanHeyst von vonBraunmuhl vonDerBeeck vonHanxleden vonMayrhauser vs wa wavelet wc www wxyz xiii xiv xsup xxnote xxvolume ya z za zef