AAA AAB AAF AAG AAI AAN AAS AAT ABA ABC ABD ABEL ABM ABO ABP ABV AC ACA ACB ACC ACD ACG ACI ACLP ACP ACR ACS ACTL ADC ADE ADH ADK ADM ADT AEA AEC AEE AEI AEL AEM AES AF AFAN AFC AFL AFP AFS AG AGA AGB AGC AGD AGS AGT AHP AI AIA AIC AIF AIG AIH AIO AIS AIa AIb AIc AJG AKB AKC AKN ALD ALI ALS ALT ALU ALWAN AMC AMD AMI AML AMN AMR AMS AMU ANE ANL ANP AOP AP APC APD APEmille API APL APM APN APO APR APS APU ARA ARD ARL ARO ARV ASA ASB ASC ASE ASF ASI ASICs ASM ASR AST ASU ASV ASsisted ATA ATC ATF ATL ATM ATP ATR ATR's ATS AU AVB AVP AVS AWI AZW Aarts Abadi Abali Abbadi Abbasi Abdallah Abdeddaim Abdel Abdelrahman Abdennadher Abductive Abel Abella Abellanas Abiteboul Ablameyko Ablayev Abrahamson Abramsky Abrego Abreu Abul Acevedo Acharya Achasova Achatz Acheroy Achtmann Acknowledgement Adamidis Adele Adi Aditya Adrian Adriana Ae Afanassiev Affine Afrati Agapie Agarwal Agerholm Aggarwal Agibalov Aglets Aglietti Aha Ahamad Aharon Aherne Ahonen Ahuja Aiken Ajami Ajtai Akama Akimova Akishin Akker Akkermans Aksak Albada Alda Aleksander Aleksandrovsky Alessi Alexandru Alexin Alfano Alfaro Alferes Algorithmics Aliaga Aliev Aligue Alimonti Allender Allmaier Allometry Almeida Almendros Almquist Alogtime Aloisio Alonso Alpbaz Alpkocak Alpuente Alstrup Alt Altay Altilar Altmeyer Alur Alusi Alves Alzohairi Amadio Amaniss Amant Amari Ambainis Amgoud Amin Amiour Amir Amirkhanov Ammann Amodio Amor Amore Amoura Amtoft Analogue Analyses Analysing Anand Anastasio Ancona Andreadis Andreas Andreasson Andreev Andres Andreu Andrianasy Andrzej Aneurysms Ang Angelova Angiograms Angiography Annexstein Annuli Anrig Antenatal Anticlique Anton Antonellis Antoniazzi Antoon Antoy Anurag Anytime Anzai Aoki Aoto Appfications Appriou Approximators Apr Apsitis Apte Apweiler Arachne Araki Arauzo Aravindan Arbab Arbib Arbter Arcos Arehart Arevalo Argenio Argenton Argueello Ari Arieli Ariola Arity Arkin Armande Armengol Arnspang Arpinar Arridge Arsenis Artalejo Artemov Arto Artstein Arvestad Arvind Asada Asanovic Asarin Asklund Asperti Assmann Astalos Asteroidal Astesiano Astley Astrid Asveld Aswegen Asymetrical Atencia Athwal Atlases Attanasio Atteson Attolico Auctions Auer Aug Auletta Autofocus Automata Autrey Avenhaus Avermiddig Avila Avron Axiomatizations Ay Ayache Ayel Ayguade Aylward Ayrian Azar Azarmi Azencott Aziz Azvine Azzam B BAC BAM BBA BBC BBI BC BCC BCF BCL BCP BCS BDA BDC BDDs BDR BDS BDT BDV BEF BFE BFM BFP BFQ BFT BHS BHT BIC BLR BMA BMDs BMM BMS BNB BNO BONITA BPI BPP BPT BRC BRP BRT BSB BSG BSH BSM BSN BSP BSR BTA BTC BTN BTS BUB BVF BVM BVP Baader Baaz Babai Babin Bachmair Backhouse Backpropagation Badal Badique Badler Badouel Baechler Baehr Baek Baerentzen Baeten Baets Baeumker Baez Baeza Baffetti Bahamonde Bai Baier Bajcsy Bakhtiari Bal Balandin Balanescu Baldamus Baldan Baldi Baldini Baldonedo Baldoni Balovnev Balownew Balsamo Balsiger Bampis Bandman Banerjee Bangham Bao Barabash Baraglia Barahona BarahonaDaFonseca Barak Barakova Barbagli Barbanera Barbe Barbuceanu Barcia Barea Barequet Barg Bargale Bariani Baric Barillot Barnes Barnett Baroglio Barrera BarreraRosillo Barrett Barro Barros Bart Bartal Barthe Bartolini Barua Barzdins Basili Bassino Battista Bauderon Baumann Bause Bautista Bayer Bayes Bayro Bazhlekov Bazzan Beal Beame Beaudry Beauquier Becker Beckets Beckman Beeck Beeher Behaviour Behavioural Beigel Beimel Beiu Beklemishev Belegradek Bellare Bellazzi Bellemare Bellissard Belussi Bemmerl Benali Bendiab Benedetto Benedikt Benerecetti Benferhat Benford Benmakrouha Benn Benoy Bento Benzaken Benzmueller BeoLink Berard Berardi Berdi Berdinas Berdones Bergadano Bergamaschi Berger Bergman Bergmann Bergstra Berka Berkner Berlage Berlinda Berman Bernardin Bernardinello Bernardo Bernasconi Bernat Berndtsson Bernhard Bernier Bernsen Berretty Berson Bertelli Berthod Berthold Berti Bertino Bertolazzi Bertram Bertran Besacier Besli Besnard Bessler Bessonov Betanzos Bett Beumier Bevemyr Beyer Bezrukov Bhalerao Bhandarkar Bharat Bhat Bhatta Bhattacharyya Bian Bianchi BibNet BibTeX Bic Bicarregui Bicategory Bichler Biconjugate Bidan Bidoit Biedermann Biedl Biehl Bien Biere Biermann Biesecker Bigeard Biguen Bigun Biham Bijnens Bik Bilardi Bilgic Bimbot Binarization Binh Binyamini Bio Bioch Bioinformatics Biplanar Birgit Birkedal Birkendorf Bischof Bisimulation Bisimulations Bisseling Bissig Bitwise Bivariate Bj Bjerre Bjerring Bjoerner Bjornson Bjorvand Blaise Blanchette Blanco Blatter Bleakley Bleichenbacher Bloch Blockeel Bloemer Blom Blumberg Blume Bochman Bodlaender Boehm Boer Boerger Boerio Boerner Boggis Bogler Boguraev Bohanec Boigelot Boiten Bolignano Bolla Bolle Bollig Bolu Boluda Boman Bombardiet Bonacina Bonastre Bonatti Bondar Bondiau Boneh Boniol Bonner Bonney Bonnier Bono Bonsangue Bontcheva Bonzano Bookstein Boquete Boquist Boraelv Borchert Bordihn Bordini Boreale Borel Borgelt Borgulya Bornat Bornberg Bornot Bors Borshchev Borst Bos Bosch Bosselaers Bossi Bossley Bosson Bossut Botelho Botella Bottoni Bouajjani Boubour Bouchard Boucher Bouchon Boudaillier Bouhoula Boulton Bournaud Bournez Bouthemy Boutin Bouvry Boyd Boyvalenkov Bozec Bozga Br Braianov Braine Brainware Braithwaite Bramer Branca Branchwidth Brandes Brandstaedt Brandt Branicky Branting Brassard Brataas Bratbergsengen Bratko Bratsberg Brattka Brauener Brayman Brayton Breakout Brecht Breebaart Breen Breitinger Breitler Brelot Bremner Bremont Breslow Bretier Brett Bretzner Breu Breuel Breunig Breutzmann Brezany Brezmes Briand Brianza Bricault Bridgeman Briedis Briggs Briquer Bro Broadband Broadwater Brodal Brodnik Broersma Brogi Bronne Broucke Broy Bruckmann Bruda Bruecher Brueninghaus Brugnano Bruijn Brune Brunekreef Bruske Bruyere Brys Bshouty Bubak Bubel Bucalo Buccafurri Bucci Bucciarelli Buchberger Buchholz Buchmann Bucholz Buchs Budiarto Buechi Buecker Buffenbarger Buffo Bugliesi Buhmann Buhrman Bukatin Bullitt Bulot Bultan Bumpless Bundy Buneman Bunke Buntschuh Burgue Burkart Burkhard Burkhardt Burkhart Burmester Busi Bustos Butkiewicz Buvat Buzug Bzostek C CAA CAC CAE CAF CAG CAI CANM CAO CAS CAU CBA CBB CBC CBE CBF CBI CBL CBN CBQ CBR CBS CBT CC CCA CCB CCC CCD CCE CCF CCH CCL CCM CCN CCP CCR CCS CCT CD CDA CDD CDR CDT CDU CEA CEB CEC CED CEE CEO CEP CES CEU CFA CFC CFD CFI CFM CFO CFP CFS CG CGC CGD CGF CGL CGLS CGLex CGM CGP CGT CHT CI CIC CIE CII CIP CIS CIU CJS CKS CL CLA CLB CLC CLF CLG CLP CLR CLS CLT CM CMA CMC CMD CME CMI CMIP CML CMN CMP CMR CMS CMT CMV CNAPS CND CNF CNG CNI CNK CNL CNM CNN CNNs CNO CNR COA CODEN COE COMP COPAC COR CORALI CORBA COS CPB CPC CPD CPE CPF CPI CPL CPM CPN CPO CPP CPR CPS CPT CPV CQA CQC CQP CRA CRC CRE CRF CRH CRI CRL CRM CRN CROQUE CRP CRS CRU CRYPTO CSA CSB CSC CSD CSE CSF CSG CSH CSI CSM CSP CSR CSS CST CSV CSZ CT CTB CTC CTG CTH CTL CTM CTP CTR CTS CTT CTU CVC CVF CVL CZF Cabaleiro Cabasino Cabestany Caboara Caceres Cachin Cadeddu Caelli Cafaro Cai Caires Calabrese Calafiura Calamoneri Calegari Callaghan Calonge Camenisch Cameron Camilleri Campbell Campos Candan Canetti Cannavacciuolo Cano Canonicity Canonization Canyellas Cao Capaldo Caporaso Cappello Carabin Caragea Carazo Carbonara Carcinogenesis Cardelli Cardie Carducci Carlet Carlo Carlsson Carmo Carmona Carnielli Caro Carolis Caron Carra CarraFerro Carrat Carre Carreno Carrico Carriero Carroll Carrozza Carvajal Carvalho Casanova Casasus Casavant Caselles Caspi Cassaigne Castano Castelfranchi Castellanos Casti Catalogues Catania Cathala Cattaneo Cattani Cau Cavallo Cavedon Caviness Cayrol Cazanescu Cazorla Cebri Cebrian Cece Celier Centre Centred Cercone Ceri Cerone Cervera Cesa Cesar Cetertick CetertickBazzan Chae Chaib Chakravarthy Chambarel Chameleon Champleboux Chan Chandra Chao Characterisation Characterisations Characterizations Charalampos Charikar Charissis Charlet Charlier Charlton Charney Chassery Chatagny Chaturvedi Chaudhuri Chavanon Chaves Chavez Chazelle Chebira Cheetham Cheikhrouhou Chein Chekuri Chellapilla Chellappa Chemello Cheminformatics Cheng Chepoi Chernov Chernyshev Cheron Chervonenkis Chetali Chetverikov Cheung Cheyer Chi Chia Chicheva Chidanand Chihara Chinea Chinen Chiola Chitu Cho Chochia Choffrut Choi Cholvy Chomicki Chopard Choudhary Chrisochoides Christensen Christianson Christodoulakis Christodoulou Christof Christoph Christy Chrobak Chromosome Chua Chuan Chuang Chudy Chung Chunyi Chutatape Ci Ciabattoni Ciancaglini Ciancarini Ciardo Cicerone Cichosz Ciebiera Ciesla Cimatti Cinquin Ciotti Circal Circelli Cirkel Cistelecan Ciuca Clack Clapp Claridge Clarkson Classen Clausal Clavero ClearCase Cleaveland Clementi Clerbout Clote Cluet Co CoMoMAS CoQ Coalgebraic Coatrieux Cocco Cocycles Codenotti Codish Coelho Coevolving Cofer Coianiz Coinductive Colchester Cole Coll Collado Collage Collin Collins Collobert Colnet Colodro Coloured Colouring Coltuc Combinations Combinators Comini Comp Compagnoni Componentwise Composable Computerised Concepticons Concordia Confluence Confocal Connectionist Conradi Contejean Conti Contiero Contri Conveyer Conway Coolen Coppersmith Coppo Coq Corbacho Cordsen Corliss Cornel Corno Cornuejols Corpora Corporaal Corradi Corradini Correa Correia Corrochano Corte Cortes Cortesi Cosic Cosmo Costa Costas Cottrell Coughlan Coulon Courant Courcelle Cousineau Covaci Coverability Coviella Covino Cowie Cox Cr Crabtree Cramer Cranefield Creasy Cremers Cremilleux Crepeau Crescenzi Crescenzo Creusillet Cridlig Crispo Cristiana Cristina Crnkovic Crnogorac Crochemore Croll Cruz Cryan Cryptologic Cryptosystem Cryptosystems Csernansky Csirik Csuhaj Csurka Cucchiara Cucker Cuevas Cugola Cunado Cunsheng Cusick Cussens Cyr Cyre Cyrluk Czarnecki Czumaj Czuni D D'Almeida D'Amore D'Argenio D'Attanasio D'Hollander D'Inverno D'Souza D'yakonov DAC DAF DAGs DAL DAO DAP DAQ DAR DAS DAT DAU DAV DAVIC DAmore DArgenio DBA DBD DBH DBL DBR DC DCC DCG DCH DCL DCM DCN DCO DCP DCR DCT DCU DD DDA DDL DDM DDN DDO DDP DDS DDT DEM DER DES DFA DFI DFO DFP DFR DGA DGC DGH DGO DGP DHC DHM DHR DHS DI DIC DIF DIR DIS DInverno DKC DKD DLM DLO DLU DMA DMC DMI DMP DMR DMS DMT DNF DNP DOA DOF DOLMEN DOSFOP DPA DPC DPD DPG DPI DPP DPS DPT DPV DRA DRD DRM DRO DRR DRT DSA DSC DSD DSG DSH DSN DSP DSS DSV DTB DTC DTD DTF DTH DTP DTR DTS DTT DUI DUM DVL DVR DVT DWB DWM DYS Da Daelemans Daemen Daengdej Daescu Dag Daguin Dahlbaeck Dahlhaus Dahn Dai Damaschke Damasio Damg Damgaard Dami Damianakis Damiani Damyanova Danev Daniele Daniilidis Dannecker Danos Dantsin Dar Darabi Darlington Darondeau Das Dassargues Dassow Dataflow Datalog Datasets Dataspace Datatypes Datta Davidsson Davoine Davoren Dawant Dayde De DeAlfaro DeBaets DeBerg DeCarolis DeDinechin DeFelipe DeFerreiraRezende DeFlorio DeFrancesco DeGroote DeHert DeJong DeLang DeMeer DeMillo DeMoor DeNicola DeNivelle DeOliveira DeRaedt DeRonde DeRosis DeRoure DeSantis DeSchutter DeSturler DeTremiolles DeVink DeZen Deakin Deavours Debbabi Debbarma Dechering Declerck Declustering Decomnck Dede Definability Deformable Defourneaux Degano Degoulet Degrez Deguchi Dehaspe Dehne Dekeyser Dekhtyar Del Delahaye Delaigle Delaunay DeleGate Delechamp Delgado Delingette Delis Delugach Demarigny Demillo Demiroez Demolombe Dempster Demsar Dendritic Denesting Deng Denney Denti Denzler Der Derandomization Derdiyok Deregulating Deri Derksen Derr Dershowitz Desbat Descombes Desgin Desharnais Deshpande Desmedt Despeyroux Devel Devillers Dezani Dharap Di DiBattista DiBenedetto DiCelie DiCosmo DiCrescenzo DiGianantonio DiGioia DiMarco DiMartino DiNucci Diagraphs Dias DiasDAlmeida Diaz Dichtl Dickerson Dickman Didimo Didrich Dieckmann Diekert Diekmann Dierks Dietz Dietzfelbinger Diffie Dignum Digraphs Dikenelli Dikorsky Dikovsky Diks Dillencourt Dilley Dillmann Dimitrov Dimitrova Dimock Dimov Dinechin Dingel Dinitz Diniz DisLoP Discretization Distante Disteli Dittmann Dix Dj Djeraba Djidjev Dobbing Dobinson Dobkin Dobrucky Dobson Dodgson Doemel Doering Dogac Dogrusoez Doi Doisy Dolev Dolginova Domas Dominguez Donat Dong Dongarra Donnelly Dopazo Dor Dormanns Doroshenko Dorst Dorward Dosch Doshita Dowek Downey Dozier DrScheme Draa Dragan Draghici Dragoni Dralle Draye Drechsler Dreilinger Drewes Dripps Drobnik Drossopoulou Droste Drummond Du DuPlessis Duarte Dubnicki Dubois Duc Dudakov Duggan Dugue Dumitrescu Dupin DupinDeSaint Dupouy Duran Durand Durantez Duris Durnev Duro Durr Dury Dushin Duta Dutertre Dvorak Dwork Dyakonov Dybkjaer Dyck Dzeroski Dziembowski Dzwinel E EAD EAE EAF EAG EAM EAP EAS EBA EBC EBR EC ECB ECC ECG ECH ECI ECL ECM ECN ECO ECP ECS ECT EDB EDC EDE EDL EDO EDR EDS EDV EED EEE EEF EEG EEJ EEP EF EFC EFD EFF EFS EFU EGB EGC EGM EGS EHC EHN EHP EIB EIH EIIa EIIb EIN EIP EKD ELA ELC ELN ELP ELR ELT ELV EM EMA EMC EMF EMG EMM EMN EMPA EMS ENS ENT EOL EPC EPG EPN EPNet EPS EPT EPU EQD EQK ERC ERN ERS ERU ESA ESC ESD ESF ESG ESH ESI ESL ESM ESU ETL ETM ETO ETP ETT EUA EUF EUL EUP EURESCOM EUROCRYPT EZD Eades Easley Eastaughffe Eaton Eberbach Ebert Eckhorn Efe Efrat Egan Egecio Eggenhuisen Egly Egomotion Ehrenfeucht Ehrensberger Ehrig Eick Eigenmann Eigensolver Eigenspace Eigenvectors Eiichiro Eiji Eijkel Eilam Eisenbach Eisenecker Eisinger Eisner Eiter Ekenberg El ElGamal Elbert Eldridge Elomaa Els Elsner Embeddings Enantioseparations Encheva Encodings Endo Endoscopy Engelfriet Engell Engels Englert Englmeier Enssle Entropic Epelman EpoDB Eppler Eppstein Equational Equivariant Erbse Erdos Erguen Erhart Erjavec Erlang Erlebach Ermoliev Ertl Erwig Erythropoiesis Escolano Escrig Esparza Esperanca Espinoza Ester Esterel Esterline Estet Esteva Estublier Etemad Etiemble Ettinger Euzenat Evered Eversheim Evolvable Evolware Exponentials Expressibility Extendible Extensionality F FAA FAP FAX FAs FBA FBC FBT FCD FCE FCI FCL FCM FCP FCS FDM FDS FDT FEA FEAL FEDGE FEM FES FFA FFB FFC FFD FFE FFL FFM FFT FGD FGR FGS FHV FID FIL FIU FJU FKN FLA FLB FLF FLI FLR FM FMA FMB FMC FMP FMR FMT FNC FNI FOK FOM FOT FOU FOV FPC FPF FPG FRC FRE FRS FRT FS FSA FSB FSC FSE FSF FSH FSI FSL FSM FSN FSS FST FSV FTC FTD FTK FTO FTR FTS FTT FUA FUC FUF FVB FVC FVD FVS FZI Fabero Fackle Fackler Factorisation Fadda Fagin Faglia Fahringer Falaschi Falcao FalcaoGoncalves Falco Falcone Falessi Falkowski Faltings Famili Fanin Faour Farid Faron Farrara Fassnacht Faugeras Faulstich Faundez Faure Faxen Fayyad Fedorov Feedbacked Fehrer Feige Feigenbaum Feijs Feiler Feist Feitelson Fekete Feldman Feldmann Feldmar Felipe Fellenz Fellous Felten Felty Felzer Feng Fenner Feraud Fermat Fernandez Fernau Ferragina Ferralasco Ferrandez Ferrante Ferrari Ferreira Ferretti Ferri Ferrini Ferro Fessler Fevrier Fey Feyerabend Fiadeiro Fiddelaers Fidrich Fiech Fiedler Figueiredo Filgueiras Filho Filippidou Filippov Finan Findler Finelli Finitary Finkel Finnie Fiore Fiorio Fischl Fischlin Fisler Fixpoint Flach Flammini Flaremini Flatt Flaus Fleischer Flinck Flocchini Florijn Florio Fluiter Flum Flusser Foessmeier Fogel Fojtik Fokkink Foner Fonseca Forall Forchheimer Formalisation Formalised Formalising Formella Formenti Formulae Fornasari Forst Fortnow Fortran Foss Fourneau Fournet Foy Fractal Fraczak Fradet Fraenkel Francesco Franch Franciosa Frandsen Franke Frankel Franquelo Franzen Fraternali Frech Fredlund Freeborough Freezable Frege Freisleben Freitag Freitas Freivalds Freund Freysinger Fri Fribourg Frick Frid Friedrich Frigioni Frisch Frishman Fritsch Froeba Froehlich Frouin Frutos Fu Fua Fuentes Fugini Fujii Fujinami Fujisaki Fujita Fujito Fujiwara Fukuda Fukumoto Fukuoka Fumy Funika Furnell Furst Furuhashi Furui Furukawa Furusawa Furuya Futatsugi Fyock G GA GAF GBO GBV GCHQ GCL GCM GCR GCS GCT GCU GDC GDT GEI GER GF GFC GFI GFR GGS GIE GIOTTO GIS GJV GLC GLCM GLI GLR GMA GMU GNL GNN GOR GOW GP GPG GPH GPP GPQ GQA GQQ GQT GRF GRR GRS GS GSC GSD GSO GSP GSV GTA GTH GTI GVR GWC GWH GWR Gabbay Gabor Gadducci Gagne Gagnon Gai Gaizauskas Galan Galesi Galis Gallardo Galtier Galyean Gama Gamberger Gamboa Ganascia Ganter Ganzinger Garagnani Garbay Garc GarciaDelValle Garda Gardien Garefalakis Garg Gargano Garis Garlatti Garmhausen Garrigue Garzon Gasarch Gascuel Gasieniec Gasos Gasteratos Gastin Gateau Gathen Gaubert Gautier Gavoilie Gavrilovich Gazzaniga Gbit Gebhardt Gebhart Gede Gedeon Gegg Gehne Gehring Gehrmann Geibel Geidmanis Geisler Geissbuehler Geist Gelernter Gelfond Gelgon Gellerich Gemmell Gen Generalisation Genericity Genest Genet Gennaro Genome Genomic Genomics Genoud Genther Gentzen Geo GeoStore GeoToolKit Georg Georgatos Georgescu Georgevail Georgiev Georgieva Gerbe Gerke Gerlach Germain Geronimo Gers Gert Geser Geuvers Ghaffar Ghani Gheorghe Ghezzi Ghiot Ghuwar Giaccio Giacobazzi Gianantonio Giancarlo Giannini Giavitto Gibaud Gierl Giesl Gil Gilles Gilmore Gimel Gimel'farb Gimelfarb Gimenez Ginesta Giordano Giorgini Gipp Giraud Girault Girod Girona Giubilei Giuclea Giun Giunchiglia Glasbey Glaser Glauert Glazebrook Gloeckner Glossop Gluche Gnaedig Gnesi Godbole Godefroid Godo Goebel Goedbloed Goedel Goeke Goel Goellue Goerdt Goffin Goldgof Goldmann Goldreich Goldsack Goldstine Goldwasser Golic Gollmann Golovanov Gomes Gomez Goncalves Gongxian Gonzalez GonzalezHarbour Gonzalo Goodeve Goos Goossens Goot Gorlatch Gorodia Gorrieri Gostanza Gottlob Goubault Gough Govaerts Gr Grabec Graduality Graedel Graesser Graf Grahlmann Grahne Gramkow Granado Grande Granoe Graphlet Grasso Greaves Grebinski Greco Greenhalgh Greenhill Greenleaf Grefenstette Gregoire Gregor Gregorio Griebl Griewank Griffioen Griffiths Grigat Grigni Grigore Grigoriev Grimson Grishman Gritzner Groevlen Grolmusz Groote Grossi Grossman Grote Groupware Gruart Grudin Gruell Gruska Grust Grzegorz Gsottberger Gu Guaiana Guajardo Guarino Guarneri Gudmundsson Guentzer Guerin Guerra Guerrini Guesgen Guessarian Guevenir Guglielmann Guibas Guidec Guijarro Guil Guimaraes Guinnebault Guirao Gul Gulliver Gumucio Gunawardena Gunkel Gunn Gunopulos Guo Gupta Gurevich Gurvits Gustedt Gutierrez Gutknecht Gutta Guttman Guyard Gyimothy Gyngell Gyuris H HAI HAV HCA HCB HCD HCF HCM HCR HCS HCT HDA HDD HDE HDT HEL HEMATOOL HES HET HEU HFB HFD HFG HFN HFS HFW HHP HIB HIC HIPERCLASS HIPERCOMBATS HKB HKP HLE HLN HLP HMC HNB HNN HOL HOQ HORB HOS HOV HPC HPD HPF HPI HPS HRF HRM HSC HSD HSG HSO HSS HST HTD HTP HTS HTTP HVF HVS HW HWD HYTECH Haar Haas Haase Habermehl Hadad Hadamard Haddad Hadzilacos Haegg Haehnle Haemmerle Haenni Haerder Haese Hager Hagerup Hagiwara Hahn Haigron Hainque Hairong Hajji Halevi Halici Halinka Halloran Hamadeh Hamazaki Hamburg Hamel Hammar Han Handschuh Haneke Hanh Hanke Hannemann Hanney Hansell Hanus Hara Harada Haraguchi Haralick Harbison Harbour Hardison Harel Haring Harland Harmonisation Harmonised Harpes Hartmanis Hartmann Hartonas Hartung Hartvigsen Harumoto Hasegawa Haskell Hassin Hasslinger Hata Hatcliff Hatipoglu Hauser Hauskrecht Havel Hawick Hawkes Hayakawa Hayashi Haynor Healthcare Hebrail Heckel Hedman Heeger Hegi Heide Heijmans Heilbronn Heinemann Heinonen Heirman Heisel Heitmeyer Helke Hellman Helmberg Helmbold Hemaspaandra Hemmi Hempel Henglein Henk Henke Henkel Henneberger Hennessy Hennicker Henri Henrich Henriksen Hensel Henzinger Heras Herault Herbelin Herbrand Heredity Herher Hermann Hermanns Hernalsteen Hernandez HernandezAbrego Herrera Herrmann Hershberger Hert Hertrampf Herzig Herzog Hessenmueller Heuer Heumann Hewitt Heyd Heyer Heymann Hibberd Higuchi Hikage Hilario Hilderman Himsolt Hing Hinkel Hirano Hirata Hiroaki Hiroshi Hirschkoff Hirzinger Histopathology Hiwatashi Hlavac Hluchy Hoeding Hoeholdt Hoek Hoekstra Hoermann Hof Hoffmann Hofman Hofmann Hofmeister Hofseth Hofstede Hohl Hohm Hokimoto Holford Hollander Holm Holzbacher Holzer Holzmueller Homaifar Homomorphic Homotopy Honigmann Honsell Hontani Hoogendijk Hoogs Hoon Hopfield Horadam Horaud Hordijk Hori Hormonal Hornegger Horng Horspool Hosking Hotz Hoyer Hromkovic Hsu Hu Huang Hubbold Huber Huelamo Huerta Huet Humenn Humphreys Hurfin Hurley Hurson Hussmann Hutchison Hutter Huuck Huw Huyn Huyts Hvasshovd Hwang Hwei Hyberts Hyperedge Hypergraphs Hypermedia Hyperset Hypertextual Hyun Hyung IAA IAB IAC IAF IAI IAJ IAL IAM IAN IAR IAS IAU IAW IBE IBL IBR IBT IBW IC ICM ICO ICS ICT IDA IDB IDD IDL IDM IDO IDP IEC IEH IEQ IET IEW IFL IFT IGA IGB IGS IHD IHG IHT IIA IIG IIH IIN IIP IIR IJT ILC ILD ILF ILN ILP ILR IMC IMGS IMPROV IMS IMT IMU INDIE INF INI IOB IOI IOP IP IPC IPD IPM IPO IPP IPS IQM IQR IRA IRC IRG IRI IRM IRS ISA ISB ISBN ISC ISD ISDN ISE ISF ISI ISIS ISM ISN ISP ISR ISS ISSN IST ISU ISV ISW ITA ITC ITL ITM ITP ITR ITT IUD IUP IUR IVS IWF IWW IZA Ian Iba Ibargueengoytia Ibarra Ibathez Ida Idestam Ienne Ievola Iftar Igarashi Igel Iglesias Ignasiak Ii'in Iiin Ilie Imada Imai Imhof Imiya Immerman Inanc Incrementality Indexings Indices Indistinguishability Indyk Infinitary Informations Ingolfsdottir Inline Inoue Insana Integrator Intensional Intercellular Interlando Intermetrics Internet Interoperability Interoperable Interreflections Intracerebral Intravascular Intuitionistic Inuzuka Inverardi Inverno Irigoin Ironi Irwig Irwin Isabelle Isasi Isberner Ischemic Ishihara Ishii Ishikawa Ishizuka Isn Isoefficiency Isosurfaces Isothetic Issarny Issman Itakura Italiano Itemsets Ito Itoh Ivanov Ivezic Iwama Iwano Iwanuma Iwasaki Iwata Iyer Izak J JCA JCC JHS JND JSG JTS Jackknifing Jacq Jacquet Jada Jaffar Jaffe Jagadeesan Jagannathan Jain Jajodia Jakobsen Jakobsson Jambon Jamison Janardan Jancar Janhunen Janjao Jann Janousek Jansen Jansson Jape Jaramaz Jard Jarmulak Jarvis Jaschke Jaulent Jegou Jelasity Jendrysiak Jeng Jensen Jette Jezequel Jha Jia Jiang Jimenez Jin Jitnah Jo Joensson Joergensen Joesang Joh Johan Johansen Johansson Johnsson Jong Jonker Jonsson Joong Joos Joosen Josefsson Joshi Josko Jouannaud Joubert Jourlin Jouvet Jovan Jovanovic Joya Joye Juels Juhan Jukna Jul Julliand Jun Justo K KAC KAD KAF KAP KDC KDD KDE KEM KET KEU KKS KMI KMOV KN KOGGE KRA KRC KSC KSH KSL KSM KSV KTS KUC KYDONIA Kabanets Kacur Kaddoura Kahl Kahler Kai Kaipala Kaiser Kaivola Kajiwara Kakas Kakemoto Kakkad Kaklamanis Kakoulis Kale Kalervo Kaliaev Kalinski Kaliski Kalitzin Kaller Kalocsai Kalyanasundaram Kamareddine Kamath Kambayashi Kambourova Kameda Kamhi Kamiura Kamm Kamp Kaname Kanatani Kandzia Kaneps Kang Kann Kannapan Kannel Kao Kaoru Kaps Kapur Karacapilidis Karageorghis Karaivanova Karakas Karg Kargoth Karhumaeki Karig Karkowski Karlsruhe Karner Karpf Karpinski Karpov Kasahara Kasami Kaschiev Kaschieva Kashem Kashi Kasinski Katajainen Katevenis Kato Katoen Katsura Katsuta Katwijk Katz Kaufmann Kawabe Kawaguchi Kaye Kazantsev Kazimierczak Kazumaro Keane Kedar Kedem Keedy Keeler Keisler Kel Kelb Kelemen Kellett Kelsey Kendall Kenmochi Kenyon Keppens Keravnou Kerbrat Kerckhoffs Kerdiles Keriven Kern Kerschberg Kershenbaum Kervrann Kerwin Keskin Kesten Kettner Kettunen Kev Keymeulen Keystream Khajdukov Khakhanian Khanna Kharin Khasidashvili Khenner Khuller Kiat Kiczales Kielmann Kijko Kikinis Kil Kilpel Kilpelaeinen Kilpelainen Kilpi Kinber Kinoshita Kirchner Kirlinger Kitahashi Kitowski Kitsiou Kittler Klaeren Klar Klarlund Klawonn Klemens Klement Klemettinen Klenk Kleptographic Kleptography Klerk Klette Klimov Klimova Klingspohr Klingspor Klinker Kloesel Kloesgen Kloks Klos Klose Klusik Knauff Knoefel Knoplioch Ko Kobashi Kobayashi Kobsa Kochs Kodukula Koebler Kofuji Kogan Kohlas Kohlhase Kohn Kohonen Koistinen Kok Kokoszko Kolen Kolesnik Koleva Koller Kolmogorov Kolpakov Komp Konaka Kononenko Konovalov Kooman Kopecz Kopke Koppenhagen Korec Korn Korneev Kortsarz Korupolu Kosaka Kosaraju Koschan Koseleff Koshimura Kosmynin Kostin Kotsis Kouichi Koulova Kourjanski Kovacic Kovalev Kovalevsky Kowalchuk Kowalewski Kowalski Koza Kozar Kozera Krab Kraetzschmar Krajicek Krall Kranz Kratsch Krause Krawczyk Krebs Kreiborg Krell Kreowski Kresten Kretzberg Kreveld Kriegel Krishnamurthi Kristen Kristensen Kristina Krithivasan Krizanc Kroeger Kroener Kropf Kroth Krueger Kruse Krysta Krznaric Krzysztof Kubas Kubierschky Kucherov Kudlek Kuehler Kuehnemann Kueluenk Kuich Kuijlman Kumar Kumlien Kummerfeld Kunde Kundt Kunifuji Kunio Kuniyoshi Kuonen Kupferman Kurosawa Kurshan Kushilevitz Kushima Kushnarenko Kwak Kwan Kwek Kwiatkowska Kyriakaki L LAA LAI LAM LAN LANL LAR LAV LBA LBD LBE LBF LBH LBL LBM LBO LBP LBR LCB LCCN LCE LCF LCI LCM LCN LCR LCS LCT LCW LDI LDT LECT LEP LFE LFF LFG LFS LHD LHM LIF LJ LK LLA LLB LLI LLL LLO LLV LMC LMF LMP LMT LNAI LNCS LNCSD LND LNM LNN LNP LOD LOKI LOO LOTOS LP LPE LPG LPK LPL LPQ LPR LPs LR LRA LRB LRC LRD LRI LRR LSF LSG LSH LSM LSP LSR LST LSU LSW LTA LTH LTL LTR LTS LUF LUP LV LVL LVM LWC LWT La'adan LaTeX LaTorre LaValle Laangbacka Labarta Labelled Labelling Lafont Laforenza Lagana Lagerberg Lagerstrom Lagunovsky Lahaut Lahmer Lakh Lakhnech Lam Lamers Laminie Lamping Lan Lancia Lanczos Laneve Lang Lange Lano Lanser Lapoire Lapp Larizza Larmore Larus Las Lasenby Latombe Laulhere Laurendeau Laurent Lauridsen Lauwereins Lavallee Lavie Lavin Lavrac Lawall Le Lea Lefmann Leggett Lehmann Lehr Lehrach Leibfritz Leino Leitao Leitsch Lellahi Lemieux Lemmon Lemos Lencioni Leng Lengauer Lenzkes Leonardi Leonardis Lepre Lercier Leth Leue Leung Leuschel Leuze Levaire Levcopoulos Leventon Levin Levinson Lewenstein LexBFS Li Liang Libert Libkin Lichtenberg Lieth Lieuwen Liftable Likhoded Lilius Lim Lin Linda's Lindeberg Linder Lindgren Ling Lingas Lingnau Lings Linnemann Linney Liotta Lipreading Liquori Lisbona Lisitsa Liskiewicz Lite Liu Liveness Llamosi Llana Llobet Llull Lo Loadable Localising Loddo Logicality Logics Loher Loingtier Lomas Lomazova Lonc Loncaric LooPo Loogen Lookahead Lopes Lorenz Loria Lossless Lossy Lou Loucopoulos Lovergine Lovis Lowden Lowe Lu Lubbe Luby Luchi Lucidi Ludaescher Luense Lueth Luettgen Luettin Luezas Lugiez Lugosi Luigi Lukasiewicz Lukose Lunau Lutz Lutze Lyapunov Lygeros Lyubimov M M'Ra MAA MAF MAI MAK MAM MAS MAU MB MBE MBI MBN MC MCA MCB MCC MCE MCF MCI MCL MCM MCO MCP MCR MCS MCT MCV MCW MDA MDC MDD MDE MDF MDI MDL MDS MDT MEC MEGA MELVYL MEM METAFrame METATEM MFA MFB MFF MFI MFT MGE MGO MGP MGR MHF MHR MIC MIMD MIPS MIS MIV MKI ML MLA MLB MLC MLE MLF MLH MLI MLL MLM MLO MLP MLPs MLR MLS MMA MMB MMC MMD MMH MML MMT MMU MNA MNH MNN MNP MNS MODp MOSEL MOSIX MPA MPB MPC MPD MPE MPEG MPF MPI MPL MPPs MPR MPW MQS MRA MRC MRD MRF MRI MRL MRP MRaihi MRclass MRnumber MSA MSC MSD MSE MSF MSG MSH MSM MSP MSR MSS MST MSU MSW MTA MTC MTD MTF MTG MTH MTM MTP MTS MUC MUL MVB MVC MVO MVP MWM Maabout Maamar Maarten MacKenzie Maciunas Mackenzie Macq Macrame Macromutation Madani Madrenas Maeda Maes Maessen Maffett Magedanz Magee Magnani Magnetohydrodynamics Magnusson Mahr Maibaum Maillot Maitre Majhi Makita Makowsky Makris Mal Malandain Maler Malinowski Malkani Malkoun Mallat Malmros Malsburg Mamdani Mammograms Mandelj Mange Mangin Manifavas Manikis Mannila Manoussakis Mansour Mantaras Manzini Maragoudakis Marakby Maranget Marangozov Marc Marcacci Marchant Marche Marchese Marcinkowski Marco Marcozzi Marenbach Maresca Maretti Margara Margaria Marimont Maritho Markatos Markl Markov's Markova Markus Marquet Martelli Martino Masahiko Mascolo Masini Matchings Mateescu Mateis Mathy Matiyasevich Matos Matroidal Matsui Matsushita Matt Mattei Matthias Matthijs Mattsson Matzinger Maurel Maurer Mauri Mauw Mavronicolas Maxima Maximisation Mayr Mazo Mazoyer Mazurkiewicz Mazzanti Mazzeo Mazzia Mazzocca McCann McColl McCune McDurmont McEliece McGeoch McIssac McLaren McSherry Mechoso Mecklenburg Medial Meer Meijer Meijers Meinel Meira Melichar Mellies Mello Meloni Meltem Melzer Menard Mendelsohn Mendez Mendhekar Mendler Menger Menicocci Meo Mercier Mergesort Merkle Mersenne Meseguer Mesiar Messina Meta Metacomputing Metadatabase Metaspaces MetateM Metaxas Metayer Meunier Meusel Mezini Mic Micciancio Michaelis Michel Microcircuits Microelectrode Middeldorp Mignosi Mihir Mikael Mikula Milgram Mill's Milne Milner Milo Miltersen Min Minas Mindru Minea Ming Mingo Minimax Minimisation Minkowski Minoru Minsky Miquel Misarsky Misono Mistrusting Mitrana Mitsuru Mixin Miyagi Miyano Mizuno Modelization Modelling Moeller Moerk Moggi Mohay Mohr Mohri Mokdad Mokhtarian Molina Mon Monads Monagan Monga Moni Monien Monoids Montanari Montangero Monte Monteiro Montesinos Mor Mora Moraga Moreaux Morel Moreno Moriai Morignot Morozov Morphisms Mortensen Mosaicing Moscinski Moseley Moshe Mosquera Mossakowski Mossin Moti Motwani Moura Mourlas Moustakis Moyle Mraz Mu Mueller Muggleton Mugnier Muhlestein Mulawka Mulmuley Multi Multiagent Multicast Multicomputers Multicriteria Multigrid Multilingual Multimedia Multimodal Multiobjective Multiparty Multiresolution Multiscale Multisensor Multiset Multispectral Multisplitting Multitape Multiterminal Multithreaded Multithreading Multiway Mumick Mundhenk Munkelt MunozH Munro Munson Mura Murakami Murata Murayama Muresan Muscholl Mussio Mustafa Muthukrishnan Mycielski Myka Mysliwietz Myung N NAA NAC NAS NBA NBE NBI NBL NCCA NCE NCM NCN NCP NCR NDA NDC NDL NDP NDS NEA NEP NES NFC NFD NFG NFH NFI NFR NHB NHF NHM NHS NIB NIC NIE NIF NIR NKG NL NLB NLI NLN NLP NLT NMA NMB NMC NMD NMR NMS NMT NNB NNE NNF NNI NNM NNS NOH NOP NOWs NP NPA NPC NPE NPK NPL NPP NPR NQD NRA NRC NRF NRH NRI NRM NRO NSA NSB NSD NSG NSI NSM NSS NTC NTF NTP NTRU NTU NUMA NUR NUS NVM NWC NaDSyl Naccache Naeslund Nagarajan Nagy Naini Najfeld Najm Naka Nakagawa Nakahara Nakajima Nakamura Nakano Nakao Nakashima Nanni Naor Napoli Naraschewski Narasimha Narasimhan Narvaez Nascimento Natali Navarro Navier Nayakkankuppam Nazarian Nebel Nedjah Negi Neighbourhoods Nejdl Nenova Neonates Neri Nerode Nerome NetCard Neumann Neuro Neurodynamics Neuroendocrine Neurofuzzy Neustupny Ng Nguyen Ni Nickelsen Nickolay Nickson Nicola Nicolai Nicolson Niedermeier Nielson Niemann Niemelae Niemi Nienhuys Niessen Nigel Niko Nikou Nilsson Nishio Nishioka Nishizeki Nivelle Noecker Noervaag Noetherian Noguchi Nolte Nondeterminism Nondeterministic Noninvasive Nonmonotonic Nonmonotonicity Nonperiodic Nonregular Nonsingularity Nonsymmetric Noorden Normalisation Notarization Notkin Nouzoe Nov Novo Noy Nunes Nuprl Nuthez Nutov Nygaard O O'Donovan O'Halloran O'Hearn O'Young OAA OAB OAC OAE OAM OAO OAP OAS OBA OBDD OBDDs OCA OCC OCLC OCM ODH ODP OEF OEM OFD OFE OFS OIS OIW OKU OLB OLP OLR OLT OLU OMA OMC OMG OMM OMP OND ONF ONS OO OOA OOL OOM OPA OPB OPC OPR OPS OQP ORA ORC ORD ORG ORO ORP OSA OSAM OSC OSD OSH OSO OSS OST OTC OTM OTP OVS OWF Oates Oberon Obokata Observables Occam Oct Oculo Oded Odenthal Odoni Oebulur Oelcer Oelnes Oestlin Oezbek Oezdemir Oezguener Offline Ogata Ogawa Oheimb Ohhara Ohlebusch Ohlebush Ohnishi Ohori Ohsuga Ohta Oinonen Oiso Okada Okamoto Okano Okol Okol'nishnikova Okolnishnikova Olan Olariu Olfactory Oliveira Olivier Ollagnon Olm Olsson Olufsen Omicini Omnidirectional Online Onodera Onoma Ontologies Onuphre Oostrom Op Oppen Opstal Optimisation Optimising Orava Orda Orellana Organisations Orlowski Orthomodular Orti Ortiz Oshima Osterloh Ostrovsky Otsuyama Ottmann Ottosson Outliers Overmars Overshootings Overton Oyamaguchi Ozaki Ozkarahan Ozkasap Ozols P PAA PAC PAE PAF PAG PAH PAU PAV PBB PBW PC's PCA PCC PCCG PCE PCF PCL PCM PCS PCU PD PDA PDB PDE PDM PDO PDP PEC PEFPT PEH PENELOPE PERicardial PFC PFF PFI PFO PFP PFR PFS PG PGP PGS PHA PHB PHO PIA PIC PIF PIO PIS PKA PKC PKD PLC PLD PLH PLP PLTL PMA PMB PMC PMCa PMCb PMH PMP PMR PMT PMV PNA PNC PNF PNG PNJ PNL PNO PNS POA POI POR POS PPA PPD PPE PPF PPI PPL PPP PPR PPS PQC PQD PQI PQS PR PRG PRH PRM PRN PROT PROforma PRS PRT PSA PSC PSD PSE PSF PSM PSN PSP PSPACE PSS PST PScheD PT PTB PTC PTD PTG PTM PTN PTP PTT PTTP PTU PVD PVM PVN PVP PVS PWR Paakki Paar Pacheco Paciorek Padberg Paech Pagenumber Paker Palagyi Palamidessi Palao Palazzo Palen Palencia Pallets Palliating Pallud Palma Palsberg Pankaj Pankanti Panne Panzer Paola Papadakis Papadias Papadimitriou Papadopoulos Papaefthymiou Papakostas Pape Pappas Parallelisation Parallelization Parallelizer Parameterised Paramodulation Pardo Parente Parise Parisi Parr Partializing Parwatikar Parzen Paschos Pasquali Pastaci Paterson Paton Patti Pattnaik Paulo Paulus Paun Pautet Pauw Pauwels Pavisic Pavlou Pavlovic Pawlowski Pazienza Pazy Pe Pecchiari Pedersen Pedicini Pednault Peirce Pekergin Pelc Pelechano Peled Pelegrini Pellegrini Pellerin Pellikaan Peltier Pelz Peng Penna Pensini Pentium Penzo Perego Pereira Perennes Perera Perin Perlo Permutable Pernus Perone Perpetuality Perrin Pershina Persiano Peteira Petit Petko Petri Petrou Petruschka Pfeifer Pfenning Pfitzmann Pham Phillip Phong Phrasal Phylogenetic PiZA Picard Picaronny Piccardi Picco Pieprzyk Piernas Pieter Pietra Pighizzini Pii Pil Pingali Pinkas Pinna Pinotti Pipelining Pires Piskunov Pitas Pizer Pla Plandowski Plankensteiner Platek Pless Plessis Plisko Pliuskevicius Ploeedereder Plotkin Plougonven Pnueli Poblil Poedts Poesl Pogudin Polacik Polaron Pollefeys Polymorphism Polyploidy Polytopes Polyvariance Pomares Pomello Pompe Poncelet Ponomarenko Poonawala Poppycock Posedness Posets Possibilistic Posteriori Postmodernism Potamias Potharst Poulakidas Poulovassilis Pozo Prade Prados Pre Preconditioner Preconditioners Precorrected Precup Prehofer Preikschat Preining Preneel Preparata Preprocessing Preprocessor Presburger Presheaf Presicce Preuner Preussig Priami Priese Prieto Primiano Prioritised Prioritized Privat ProHos Proactive Probst Proehle Profiler Progification Progol Projectivity Prolog Prospectives ProtectOS Pruhs Prusinkiewicz Przymusinski Pudov Puech Puga Puget Pugh Pugliese Pung Puntigam Purvis Pushdown Puzicha Puzynin Puzynina Pym Q QA QAC QCD QCW QDA QEC QFD QIC QIP QKS QLM QNM QOP QPT QQ QRS QSD QSS QUM QVD QVP Qadeer Qi Qiao Qu Quan Quandt Quantal Quantificational Quantiles Quasiperiodicity Quass Quibeldey Quintana Quisquater R RAA RAC RAD RAE RAK RALL RAO RAR RAS RAU RBC RBF RBFNN RBK RBL RBR RBS RBT RBU RC RCC RCE RCF RCO RCP RCS RCU RDB RDBMS RDD RDE RDL RDM RDP RDQ RDR RDS REC REN REs RFI RFL RFS RG RGC RGP RHC RHM RICAD RIH RIR RIS RISC RIT RIV RKC RL RLB RLC RLE RLI RLM RLP RM RMA RMC RMD RME RMG RMI RMP RMV RNA RND RNI RNZ ROBDDs ROZ RPC RPE RPF RPL RPN RPT RR RRB RRC RRD RRF RRM RRP RRS RSA RSB RSE RSF RSL RSM RSN RSS RT RTA RTB RTC RTE RTG RTK RTM RTN RTO RTP RTS RUS RUTa RUTb RV RVG RVO RZA Ra Raamsdonk Rabehasaina Raber Rabin Rabinovich Radermacher Radig Radoslavov Radouniklis Raedt Rafail Raggl Raghavan Rahmanzadeh Rahms Raik Raisch Rajamani Rajaraman Ralha Ramachandran Ramamohanarao Ramanujan Ramaswami Ramer Ramkilde Ramnath Ramoni Ramsay Randle Randoms Ranganathan Ranzato Rao Raoof Rassart Rasuo Rathke Rau Rauhe Ravi Raynal Rayner Rayzman Razborov Reaburn Reachability Reali Realisation Realtime Rearrangeable Rebaudengo Recognizability Recomputation Reddy Redex Redmill Reeuwijk Reggio Regnier Rego Regueiro Regularization Reichl Reid Reinartz Reinefeld Reinhardt Reischuk Reiser Reiter Remmel Remy Ren Renato Rensink Renvall Renyi Reorda Resch Resend Resistence Rethman Rethmann Retino Retore Reulke Reus Reut Reuter Revesz Revett Rewritings Rey Reymond Reynald Rezende Riccardo Rida Riegel Riguzzi Rijmen Rinard Ringeissen Rios Rissland Riva Rivest Rizo Roadknight Robb Robben RoboCup Robodoc Rockett Rodeh Rodehorst Rodellar Rodr Rodrigues Rogalla Rogaway Roggatz Rohatgi Rolia Rolim Romeny Ronde Ronot Roos Rorschach Rosario Rosen Rosillo Rosis Rosolini Rosser Rossi Rossiter Roth Rothe Rothermel Roubtsov Roubtsova Roudakov Rougemont Roundoff Rousset Rousu Roux Roveri Rovers Rovida Rovigatti Rowstron Rozenberg Rozoy Rubio Rudan Rueda Ruess Ruiz RuleBase Rullo Rumolo Rumpe Runciman Rundensteiner Runtime Ruppertz Rusev Russo Rusu Rutten Ruys Ryl Rytter S SAA SAC SAF SAK SAL SAQ SAR SAS SATO SAV SBA SBB SBC SBD SBI SBL SBM SBP SBS SBT SBV SCA SCB SCC SCE SCF SCG SCH SCI SCL SCM SCN SCP SCQ SCR SCT SCU SCV SDA SDB SDD SDF SDG SDH SDM SDO SDP SDR SDS SDT SEC SEI SEP SER SES SESAM SESP SETHEO SFB SFF SFM SFN SFP SFR SFS SFT SFU SFW SGA SGF SGM SGML SGO SGS SGZ SHA SHS SIA SID SIE SIF SII SIM SIMD SIO SIU SIV SKP SL SLB SLC SLD SLR SMA SMC SME SMF SMI SML SMM SMQ SMR SMS SMU SNARKS SNF SNH SNI SNL SNMP SNN SNT SOE SOM SOR SOT SP SPA SPARTH SPB SPD SPE SPECT SPG SPH SPI SPIF SPL SPM SPN SPNL SPO SPP SPS SQE SQL SRA SRC SRH SRJ SRK SRP SRS SRU SRV SSA SSD SSE SSF SSM SSO SSP SSR SSS SSV STA STB STE STM STO STS STT STV STW STeP SUA SUD SUT SV SVA SVD SVE SVG SVL SVM SVO SVT SW SWC SWE SWW SZB SZK Saake Sablon Sacca Sacchi Sachar Sadek Sadohara Sadowski Saenz Safavi Sahiner Saidi Saitta Sakellariou Sakurai Salas Salgado Salomaa Saltz Saluja Salvaneschi Salvat Salvatori Samet Samofalov Samosky Sanchis Sanchiz Sandkuhl Sandoval Sankoff Sanochkin Santen Santis Santone Santos Sapeluk Sapiro Saraswat Sarukhanyan Sastry Sati Sato Satoh Sattar Sattler Saturations Sauren Savicky Sazonov Scalability Scarcello Sch Schadler Schaedler Schaefer Schaeffer Schaeffter Schamburger Schapeler Schedufing Scheetz Schemas Schematizations Schepers Scherf Scherrer Schieffer Schikuta Schivalocchi Schlabbach Schlechta Schlosser Schluens Schmid Schmitt Schmolitzky Schnattinger Schneier Schnitger Schnoebelen Schnorr Schoening Schoenmakers Schoof Schrader Schreck Schrefl Schreiner Schroff Schuermann Schuetz Schuetze Schuierer Schuler Schulte Schur Schuster Schutter Schwab Schwiegelshohn Schwikowski ScmEngine Scozzari Se Searle Sebag Sebastiani Seedbold Segal Seibert Seiden Seiwald Sekerinski Seki Semigroups Seng Sennett Sensorial Sequent Sere Seredynski Serializability Serneels Serpanos Serrano Sethi Setzer Sevastianov Sevcik Sevcikova Severyanov Shabashev Shafer Shafi Shahrokhi Shai Shallit Shamir Shan Sharir Sharma Sharpe Shen Sheppard Shermer Shi Shiho Shimohara Shimojima Shinjo Shishkin Shklar Shklyaev Shlomi Sho Sho'ji Shoja Shojiro Shostak Shoup Shukla Shurina Shyamasundar Sibeyn Sifakis Signcryption Sikl Siklossy Silbiger Silva Silverstein Simeoni Simoes Simoncelli Simonenko Simons Simos Simplices Singerman Singh Sinitsyn Sipma Sipper Sistla Sivakumar Skarbek Skarmeta Skelly Skiena Skillicorn Skutella Sladoje Slany Slijpen Slind Slissenko Sloot Slotosch Slovene SmallEiffel Smalltalk Smeaton Smeets Smid Smirnov Smolka Smyth Snoeyink Sobejano Sobolev Soendergaard Soerensen Soffa Sogomonyan Soininen Soisalon Sokolov Solinas Solovay's Soloviev Someren Somers Somlo Sommer Sommerlund Sonenberg Sonka Sonza Soria Sossai Sotirovski Sotoca Sotudeh Souichi Souza Sowa Spaanenburg Sparsed Sparud Spatiotemporal Specialising Spengler Spert Spi Spielman Spiliopoulou Sprangers Spyratos Squillante Sramate Sreedevi Srinivasan StAmant Stadler Stalmarck Stammberger Standardisation Stappen Stassinopoulos Statman Staudte Stauffer Staunstrup Steen Stefan Stefanelli Stefani Steffen Steggles Steindel Steinmetz Steklov Stephan Sterbini Stereovision Sternberg Stickel Stiebe Stinson Stoeckert Stojanovic Stolboushkin Stolzenburg Stoutchinin Stoyle Str Strecker Streicher Strelen Striatal Strizh Strooper Strothmann Struth Stumm Sturgess Sturler Sturm Stursberg Stuurman Stylesheets Su Subband Subgraphs Subiteration Subrahmanian Subramanyan Subsol Substract Subsumption Subtree Subtyping Subword Sucar Suciu Suedholt Suehnel Suettenbach Sufrin Sugita Sugiyama Suguri Suitable Suk Sunderam Superhull Superscalar Suraj Surendro Suri Susana Sussmann Sutiwaraphun Svoboda Swaminathan Switchbox Sycara Sykas Sykora Symvonis Synchronised Synergies Systolic Szafron Szekely Szewczyk Sziranyi Szulc T TAC TAF TAH TAI TAK TAM TANGRAM TAPSOFT TAT TBA TBB TBC TBD TBI TBP TBS TCA TCB TCD TCE TCG TCM TCO TCP TCR TCS TCV TDA TDC TDH TDM TDQ TDR TDS TDT TE TEI TEM TES TFA TFD TFL TFP TFS TFU TGI TGM TGP THA THP THS TIB TIH TIL TINA TIR TIS TIV TJB TLA TLB TLC TLE TLF TLM TLS TM TMC TMF TMG TMH TML TMN TNE TOAS TOF TOL TOS TPA TPC TPD TPM TPO TPP TPQ TPT TPU TPW TQ TQF TQI TQL TRANSFAC TRB TRC TRE TREMBL TRM TRP TRR TRRD TRS TSA TSD TSF TSG TSH TSK TSL TSM TSN TSO TSP TSS TST TTA TTD TTM TTP TTR TUL TUV TVQ TWB TWOPRIME TZS Tableaux Taboch Tadepalli Taimina Taitslin Tajima Takagi Takahashi Takashi Takashibu Takeda Takenaga Takeuchi Takeyama Takkella Tal Talamo Talcott Talukdar Tamassia Tamiya Tammet Tamon Tanaka Tangibility Tannen Tannhof Taraglio Tardieu Tarlecki Tatsuaki Tatsunori Tawbi TeX Teckentrup Teich Teissier Tel Telelearning Telemedicine Telescript Temme Teng Ter TerKonda Terada Teraflop Tervits Terwijn Teschner Testbed Tezuka Thacker Theobald Theorema Therien Thermocapillary Thiagarajan Thiel Thiele Thielecke Thielke Thiemann Thilikos Thilo Thomsen Thornber Thornley Thorup Thu Thumfart Thurner Tichy Tidhar Tilborg Tileworld Tilings Tinelli Ting Tiountchik Tisseur Tistarelli Tiuryn Tiwari Todorov Todorova Toeplitz Toh Toi Tokuda Tolksdorf Tollis Tolmie Tomas Tomlin Tomographic Tompits Toolbox Toolset TopVision Torbjoernsen Torralba Torre Torres Torresani Tortora TortoraDeFalco Tosti Toussaint Toutanova Toyama TrPTL Trackies Traeff Trainito Trakhtenbrot Trans Transcopyright Transnational Transputer Transputers Trapp Traverso Travois Treewidth Trefler Tremaine Tremiolles Tretmans Treur Trevisan Triadic Triangulations Trichina Tridiagonal Trigo Tripathi Trobaugh Troccaz Trott Trousse Troya Truffet Truppe Tsai Tsalides Tschichholz Tschoeke Tsien Tsotsos Tsui Tsujimura Tsukamoto Tsutsui Tsuyoshi Tuchschmid Tue Tuerker Tuerksen Tumorous Tuple Turbak Turhan Turi Turini Turski Tuzikov Tygliyan Typelab Tyszkiewicz U UAM UAP UAR UAS UAT UB UBC UBM UBN UBS UBT UCB UCK UCM UCP UCR UCS UCU UDL UDS UEK UES UFI UFO UFR UGB UGC UGE UIL UIS ULD ULG ULP UME UMF UML UMTS UNF UNN UOWHFs UPC UPD UPE UPK UPM UQT URB URL URM URP URR URT USD USF USI USP USR UST USV UT UTS Uchibe Uchikawa Udo Ueli Ueno Uhe Uhl Ullrich Ultrafilter Undecidability Unger Ungureanu Unsupervised Unsymmetric Upfal Urbaniak Urbina Uribe Urquhart V VAC VAI VAP VBG VBP VC VCN VCP VDA VDI VDM VDP VDS VDV VEM VEP VFR VHS VIS VISLAN VLIW VLR VLSI VMN VPF VPM VPP VQ VR VRD VRM VRML VRS VSL VSN VTA VTQ VTS VVD VVR Vadera Vaglini Vagners Valkovskii Valle Vallee Vallverdu Valtchev Valtteri Valverde Van't VanDerGoot VanOostrom VanSomeren VandenEijkel Vanderstraeten Vandewalle Vanheeghe Vanstone Vapnik Varadharajan Varaiya Vardi Varju Varricchio Vasconcelos Vasculature Vasileva Vatsolaki Vaudenay Vaughan Vavoulidis Vazhenin Veach Veanes Veen Veith Vekens Velev Vella Vellasco Veloso Ventre Verbruggen Verdenius Verhaegen Verheul VeriSoft Verin Verkamo Verlag Verma Veronika Verstoep Verus Viallet Viana Vianu Vidal Vide Vides Vieira Viergever Vigano Vigna Vila Vilanova Vingron Vink Vion Virbitskaite Vishnevsky Vitanyi Vitek Vithuela Vitiello Vito Vitro Vleeschouwer Voelkmann Vogel Vogelmann Vogler Volpano Volpe Von VonHenke VonOheimb VonderBeeck VonderLieth VonzurGathen Voorbraak Vorm Vorobyov Voronkov Voronoi Voss Vossen Votintseva Voutchkov Vrain Vrto Vuga Vulkov Vullings Vuorela W WAAC WAI WBF WBS WCC WCH WCL WCM WCS WCW WDB WDD WDM WGS WHC WHS WLF WLS WPF WPL WR WRM WRZ WSB WSG WSIS WT WTB WTR WTT WTU WWH WWI WWL WWS WWW WYD WYS Waack Wada Waddington Wadge Waetjen Wagener Wahl Waibel Waidner Waite Wallnau Wanke Warmuth Warnow Wasiewicz Wassner Watermarking Wavelet Wavelets WebRC Webber Wechsler Wechsung Weck Weese Wegener Wegner Wehrheim Wei Weickert Weidenbach Weihe Weihrauch Weijters Weikum Weinert Weise Weismantel Weissberg Weitzel Weitzman Wellings Wellman Wen Wenger Wenzel Wermelinger Westermann Westfechtel Westin Wettschereck Weydert Wezel Whinnett Whitesides Widmayer Wiehagen Wiemker Wieringa Wietek Wijshoff Wilke Wilks Wille Willhalm Wimmel Wimmers Wingerd Winiwarter Winsen Winskel Wirrer Wirsing Wirth Wisdo Wiskott Witek Wittenburg Witteveen Wittig Wobcke Wodtke Wojciechowski Wolfe Wolkenhauer Wollrath Wolovich Wolsey Wolter Wong Wooldridge Workflow Workflows Workloads Wotschke Wrobel Wu Wuwongse Wyant Wysotzki X XFO XMX Xia Xiao Xiaohui Xu Xue Y YACS YAI YOHO Yager Yahya Yair Yajima Yakhnis Yalamov Yamada Yamaguchi Yamakami Yamamoto Yamane Yamashita Yamazaki Yankelevich Yao Yashin Yasutake Yau Yavorsky Yavuz Ye Yeh Yehuda Yelon Yeung Ygge Yi Yijun Yoshida Yoshikawa Younes Yovine Yu Yuan Yuanhui Yuchang Yugueros Yuille Yuliang Yung Yurij Yuval Z ZSS Zadeh Zahariadis Zahlmann Zahn Zak Zakharov Zaks Zambonelli Zammit Zandron Zantema Zapata Zapletal Zappatore Zauner Zavattaro Zebulum Zedan Zelic Zeller Zeman Zendra Zeng Zeno Zerbino Zeroes Zerubia Zeybek Zhang Zhao Zheleva Zheng Zhong Zhou Zhu Ziebelin Zierl Zieschang Zimmer Zingirian Zinn Zito Zivaljevic Zm Zqn Zucca Zuck Zukowski Zunic Zupan Zura Zurek Zwiggelaar abbrev acetabular ack acknowledgement acm acto ada adan adic adr aitch alver analyses aneurysms angiograms angiography annote aortic approximators archimedean arthroplasty arthroscopic articular ary assertional auf authorisation autoepistemic automata axiomatisation axiomatization b ba beebe bi bibdate bibmods bibnames bibsort bibsource bisimulation bner booktitle bronchoscopy byvolume c cardiopulmonary chi cmea co codesign codetable coli colonoscopy colorable com combinations combinators confluence counterpane cryosection d dabo datalog datapath de deformable degeneracy deques der disbeliefs dler dmin docstring dos draa durative e echography edu el email endoscopy equational er ergonomic ez f farb feasability fixpoint fluoroscopies fluoroscopy formulae ftp g ggemann glia gpo guez gynecologic gz haptic htm html http ieee iliosacral ind indx inen intermodality interventional intranasal intraoperative iso ispell j ji k ka ke lambdacap laparoscopic laparoscopy lcs learnability li ller lncs logics ltx lu lvberg mPA mcd microrobot min minimax mit modelling monoidal monoids mu mucke multi multiagent multiclass multidatabases n nat nau nd neche neurosurgery neurosurgical nhfb nishnikova noncommutative nonlocal nonmonotonic normalisation normalisations nq nter ny nyi o ois omegaMEGA org oz p pH paxaconsistent pdf peau pedicle percutaneous performability pf pomset preorders priori ps pushdown quadrangulations quantizer queueing r radiographies rard rd reachability realtime rebalancing refinable retinography rgensen rgio rn ronique s satisfiability sch semidefinite ser showtags slund softcover sok ssy st stanford statecharts stereotactic stereotaxy subarrays sublinear subsumption subtyping t tcryptol telepresence tex th tocs transcranial treeNets triangulations tt tuple twocolumn u unary undecidability unsrt untangling utah vandenEijkel vertices vs wc www x xii xiii xiv xvii xviii xxeditor xxnote xy y yakonov z zur