AA AAB AAC AAE AAF AAI AAL AAO AAP AAQ AAR AAS AAT ABA ABC ABEL ABF ABG ABP ABR AC ACA ACC ACG ACI ACN ACO ACP ACR ACS ADB ADC ADE ADF ADI ADIS ADL ADR ADT ADU ADaptive AE AEA AEB AED AEI AEL AEM AEN AEP AES AFADA AFIT AFM AFP AGA AGC AGF AGG AGL AGN AGP AGS AHC AHL AI AIC AIFresco AIH AIK AIT AIU AIa AIb AKB ALD ALECSI ALF ALG ALI ALN ALS ALT AMB AMC AMH AMO AMT AMTS ANE ANI ANS AOP AP APA APC APD APF APG API APM APO APR APS APV AQJ ARA ARL ARO ARP ARQ ARS ARV ASA ASB ASC ASD ASE ASF ASG ASL ASPARAGOS ASR ASSa ASSb ASSc ASSd ASSe ASSf AST ATA ATC ATG ATINF ATMS ATO ATPG ATR ATS ATV AUS AVA AVI AVL AVS AZK AZR Aart Aarts Aasa Abadi Abbati Abbott Abbruzzese Abdallah Abdol Abductive Abecker Abha Ablay Aboelaze Abougabal Abrahamson Abrial Aceto Acker Ackermannian Acknowledgement Adachi Adaption Adi Adiga Aditya Adleman Adler Adolf Adorni Adreit Adrian Ae Aert Affine Agarwal Agna Agonistic Agrawal Agrawala Aguilar Agusti Aguzzi Ahlsen Ahmed Ahn Aida Aiken Airchinnigh Ait Akama Akinori Akker Akl Alagic Alblas Albrecht Alderson Alencar Alessi Alfaro Alferes Alfredo Algorithmics Ali Alijani Allender Almarode Alonso Alpuente Alur Amadio Amador Amarger Amati Ambuj Amini Amir Ammann Ammar Anand Anandan Anantharaman Anaphora Ancona Andersson Andrea Andreas Andreasen Andrey Andrzej Angele Anil Anjali Annita Antonio Antoon Antoy Antti Aparicio Apers Appel Apr Ardissono Ardizzone Aref Arjen Arkin Armbruster Arnborg Arne Arning Arnol Aronov Aronsson Artale Arthan Arun Arvind Asano Asexual Ashish Ashok Astesiano Astie Ates Atlant Atmanspacher Atsushi Attardi Atzeni Aug Augot Auguston Auray Aurenhammer Autant Autoepistemic Auzins Avrunin Axiomatizations Ayache Aygolu Aylett Azema B BAI BAP BAV BBG BBN BCC BCE BCH BCI BCK BCP BCR BDDs BDH BDN BDP BDS BEA BEC BEP BEU BFH BFL BFS BHU BIC BIP BKL BLR BMA BML BOC BP BPF BPG BPN BRF BS BSG BSR BSS BST BT BTL BTN BTR Baader Babak Babaoglu Bachmair Backend Backofen Badaloni Badaro Baesens Baeten Bagga Bagnasco Bahgat Bahler Baiardi Baier Bakker Bako Bal Bala Balaji Balbiani Balcazar Baldini Baldock Balter Banatre Bandelt Banzhaf Barahona Baraki Baral Barbanera Barbeau Barbedette Barcucci Barghouti Barillot Barnes Barrett Bart Barthelmann Bartrum Baruch Barzdins Basarab Basili Basu Battail Bauderon Baum Baumgarten Baumslag Bauspie Bauspiess Bauzer Beauquier Beaven Becker Bednarczyk Beemster Beenker Behaviour Behavioural Behaviours Beierle Beirendonck Bek Belfiore Belkasmi Belmesk Beneteau Beney Bengt Benkouar Benveniste Benvenuti Benzschawel Berghammer Bergman Bergstein Bergstra Berkovits Bernasconi Bernd Bernhard Bersini Berthelot Berthet Berthold Bertin Bertling Bertram Berzins Besnard Bessette Bettaz Beutelspacher Bevers Bevier Bezier Bhatia Bhattacharya Bi BibNet BibTeX Bicarregui Bicevskis Biconnect Bidoit Bieri Biermann Bifinite Biham Bilbro Binaghi Binay Bini Bintree Bipartitions Birgit Birkhoff Birman Bisimilarity Bisimulation Bister Biswas Bitcommitment Bitton Bizais Bjerre Bjorner Bjornson Blasius Blass Blaue Bleumer Blommers Blum Blume Blute Bo Boals Bobrowicz Boch Bochmann Bodlaender Boer Boerger Bogh Bol Boley Bollinger Bolognesi Bonacina Bonarini Bonatti Bonjour Bonzon Bookstein Borger Boris Borivoj Borkel Borlo Boros Borrell Borzovs Borzyszkowski Bosc Bosch Boseniuk Bosschere Bosselaers Bossert Bost Botta Bottoni Bouajjani Bouali Boucelma Boudol Bouge Bourzoufi Bousdira Boyar Boyd Boye Bozma Bradfield Brajnik Brancadori Brassard Bratbergsengen Brauer Brazma Breazu Breu Breveglieri Brewka Briat Brickell Brigand Bril Brinkhoff Brinksma Broggi Brogi Brohl Bronsard Broscius Broy Bruckner Bruderlin Brummer Brungger Bruschi Bruun Bruyere Bruynooghe Bruzzone Brynielsson Bshouty Bucciarelli Buchberger Buchheit Buchi Buchmann Bucholtz Buciol Budgen Buhr Bulsari Buning Bunke Buntrock Burbello Burchett Burckert Burdonov Burgard Burmester Burnstein Burroni Bussche Busse Bytecode C CAC CAE CAF CAG CAH CAS CAU CBA CBF CBL CBM CBR CBS CBT CC CCA CCC CCD CCF CCG CCH CCI CCL CCM CCN CCO CCP CCR CCS CCT CDB CDE CDF CDG CDL CDO CDP CDS CDT CDU CDV CEA CEC CED CEV CEW CFC CFD CFG CFH CFI CFM CFO CFS CFT CG CGC CGG CGI CGM CGO CGP CGR CGS CGT CHB CHD CHG CHH CHP CI CIB CIC CICS CIF CIG CIM CIR CIS CIV CKB CLA CLI CLM CLOS CLPS CLQ CLS CM CMA CMC CMD CMF CMG CMH CML CMM CMO CMP CMR CMS CMT CMU CNC CNI CNL CNN CNP COC CODEN COL COMP COR CORSAIR COS CP CPC CPE CPG CPI CPK CPL CPN CPO CPP CPPa CPPb CPR CPS CPT CPV CR CRA CRC CRF CRG CRI CRL CRP CRR CRS CRTG CRW CSA CSB CSC CSD CSF CSG CSH CSI CSL CSM CSP CSS CST CSU CSV CTC CTD CTE CTF CTI CTM CTP CTS CTW CUS CVD CWP CWS Cacace Caching Cadiz Cadoli Caferra Cai Caianiello Calcinelli Calderbank Calejo Callari Calliss Calmet Caluwe Cameron Camilleri Camion Campbell Campos Camurati Canas Cano Cantone Capocelli Capon Cappelletti Cardell Cardelli Cardona Cardoso Carel Carino Carlet Carlisle Carlo Carlos Carlsson Carpineto Carrington Carsten Carstensen Casale Casas Caseau Castellani Categorial Cattel Caucal Caulfield Cauvet Cayley Cecylia Cederbaum Cees Cellini Cellwork Cerans Cerbone Cerf Ceri Cerioli Cermignani Cerny Cerrito Cerro Cesarini Ch Chabanne Chakravarty Champeaux Chan Chao Chaochen Chapin Characterisation Characterizations Chardin Chari Charpin Chass Chasse Chassin Chatalic Chateauneuf Chau Chaum Chazelle Chee Chehaibar Cheiney Chella Cheng Chengzheng Cheong Chepyzhov Chereshkin Cherniavsky Chernoff Cherubini Chi Chih Chilukuri Chittaro Chiueh Chlebus Choi Chou Choulet Christer Christoff Christoph Christophe Christos Chu Chuang Chun Chung Chwen Chytil Ciancaglini Ciphertext Circumscription Citrini Clack Clausal Cleaveland Clegg Clerici Cleve Clifton Coburn Cody Coen Coenen Coesmans Coghlan Cohoon Colchester Cole Coletti Colin Collage Collins Colom Colombini Colorni Coloured Comon Comprehensions Conclog Confluence Confluences Connectionist Conni Conradi Consel Conte Conti Convolutional Conway Conybeare Cooperman Coprocessor Coquand Corbett Corcoubetis Corfdir Cori Cornelis Corradini Corrao Correa CorreadaSilva Cosmadopoulos Cosmo Cosnard Costa Costantini Costas Coster Coteries Coudert Courcelle Courcoubetis Coutaz Couvreur Cpo Cr Craigen Cremers Crepeau Crespi Creusot Creutzburg Cristian Cromartie Crypto Cryptographically Cryptosystem Cryptosystems Cucker Culik Cullell Cumulativity Cunto Cuny Curien Curley Curtis Cusack Cusick Cussens Cutello Czejdo Czyzowicz D D'Andrea D'Atri D'Souza DAA DAC DAL DAT DAU DB DBE DBMS DBT DC DCD DCE DCF DCH DCK DCL DCM DCR DCS DDA DDD DDF DDL DDT DDV DEG DEI DEP DET DEVA DFA DFD DFE DFI DFM DFR DGO DGT DHC DHP DIA DIC DII DIO DIPSY DIU DL DLB DLC DLP DM DMD DME DMI DMM DMP DMV DN DNF DNP DOB DOL DPA DPD DPI DPL DPP DPR DPS DPT DPV DQP DRC DRD DRS DRT DSA DSC DSD DSE DSH DSK DSM DSP DSR DSS DSa DSb DSc DSd DSf DSg DSh DT DTC DTM DTN DTR DTV DVD DVF DVK DVS DWC DZK Dactl Dahl Dai Dalenoort Damg Damgaard Damgard Damm Dana Dandanell Danvy Darlington Darmon Das Dassow Dataflow Datalog Datta Dauchy Davida Davidor Davison Dawes DeBosschere DeJong DeNicola DeSantis DeTroyer Decuyper Dee Defeasible Degano Delaunay Delcourt Delft Delgado Delis Delisle Dellepiane Demoen Dempster Dencheva Dendrograms Deneen Deogun Depictions Deprey Dequeue Der Derandomization Derick Derivability Dershowitz Desai Desel Desmedt Detlef Devie Deville Devillers Deylon Dezani Dholakia Di DiNola Diab Diaz Diday Didier Diekert Dietterich Dietz Diks Dimitrovici Dingxing Dinneen Dino Dionisios Dishes Distributable Divari Divertible Dix Dj Djidjev Doaitse Dobes Dobson Dogsa Dohnal Dollin Doma Domenico Domenjoud Domik Dominguez Dominique Doncker Dondossola Dongen Donni Dorigo Dorochevsky Dorothea Dorre Dosch Dov Dowek Drabble Dressler Drewes Dreyfus Driankov Driscoll Drollinger Dror Drost Du Duato Dube Dubois Duchamp Ducharme Dugat Dulay Dullmann Dumortier Duo Dupre Durdanovic Duris Durst Dusse Dutheillet Dutra Dutta Dwork E EAA EAB EAC EAE EAM EAO EAP EAQ EAS EAV EBD EBL EBM ECA ECD ECF ECG ECP ECS ECT ECW EDA EDC EDF EDR EDS EDT EDU EED EEE EEM EER EES EET EFA EFF EFH EFL EFM EFP EFQ EFS EGC EGE EHC EHN EID EIE EIF EIG EILENBERG EIN EIR EIS EKM ELB ELECTRE ELH ELL EMA EMC EMM EMP EN ENA ENP ENT ENvironment EO EOC EOD EOO EOS EPB EPC EPD EPF EPG EPH EPI EPOS EPP EPR EPS EPT EQC ERP ERS ESA ESB ESC ESD ESF ESG ESIGN ESL ESM ESN ESS ESTEREL ETI ETL ETR ETV EUROCRYPT EVD EVT EWW EZ Ebeling Eberbach Eberle EcrinsDesign Edalat Edelsbrunner Eder Eekelen Egenhofer Egidi Egon Ehler Ehr Ehrhard Ehrig Eiben Eick Eicken Eijl Eikmeyer Einar Eirich Eisner Elia Elicitation ElipSys Elise Ellman Elrad Elrod Elsa Elsen Elspeth Elvang Embeddings Embley Embryological Emde Emele Emil Emo Encoders Endre Engberg Engel Engelfriet Engels Entailments Epistemic Eppstein Equational Erbach Ericson Eriksson Ernoult Ertel Ertl Esfahanian Esparza Esposito Esser Esteva Estivill Etienne Etzion Euchner Eug Evan Eveking Evertse Evertsz Evolutionarily Evolutionsstrategie Ewa Ewald Ewerbring Ewert ExSpect Exman Extensionality F FA FAC FAE FAI FAP FAS FAX FBA FBC FBP FBT FC FCA FCB FCD FCE FCF FCG FCR FCS FDC FDD FDI FDP FDS FEAL FEC FEF FES FFL FFM FFP FFTs FGC FGCS FGM FHL FI FIC FIDO FIK FINSIEL FKB FKS FLA FLC FLD FLR FMA FMD FMF FML FMM FMP FMS FMT FMV FNB FNC FND FNL FNM FOD FOLI FOS FOU FP FPA FPB FPD FPG FPL FPR FPS FPT FQC FQN FRATS FRI FSA FSC FSD FSE FSF FSG FSI FSL FSM FSO FSP FSS FSV FTA FTAM FTB FTL FTP FTQ FTS FTV FVB FVD FVR FVS FVV FWI Fa Faber Fachini Fai Falaschi Fanchon Fantechi Farinas Farquhar Farshad Favre Feal Feedforward Feigenbaum Fellner Fensel Ferenczi Ferianc Fermuller Fernandez Fernstrom Ferrari Ferreira Ferrer Ferrucci Fiadeiro Fibrations Fidge Fihel Filgueiras Filho Filipovic Filippo Filkorn Filloque Finelli Finitary Finkel Finkelstein Fioretto Fixpoints Flach Flang Fleischer Flemming Flogel Flokstra Florack Floriani Florijn Flowgraph Flowshop Flsim Fogarty Fohler Fokkinga Forbrig Formalisation Forman Forrest Fotouhi Fouad Fouks Fracchia Fractal Fradet Francesco Francez Franciosa Frandsen Frankel Frasca Frasconi Fraus Frederickson Frege Freivalds Freund Fri Fribourg Fricke Friedrich Friesen Fringuelli Fritsch Frixione Froidevaux Fronhofer Froome Fuchi Fuggetta Fugini Fujio Fujioka Fujita Fujiwara Fulton Fum Fumy Furer Furukawa Furuta Futurebus G GA GAE GAH GAI GAML GANNET GAT GBI GBM GBS GCD GCG GCI GCLA GCN GCR GDG GDL GDP GEC GEI GFA GFK GFT GGB GGD GGH GGL GHD GHM GHW GIB GIF GIP GIR GIS GKP GL GLB GLC GLD GLF GLS GLT GMC GOM GP GPA GPC GPI GPK GPS GQL GR GRG GRS GRT GS GSBL GSL GSQ GSR GSS GSV GT GTA GTL GTM GTR GWC Gabarro Gabbay Gabbrielli Gabidulin Gabriele Gabrielian Gacogne Gaetano Galan Galarce Galbiati Galil Galli Gallo Gammerman Gangler Ganzinger Gao Garbajosa Garbay Gardenfors Gardin Gargano Garis Garlan Garrido Garside Gaspari Gastin GauBeta Gaudiot Gautrin Gebhardt Gebreselassie Gecas Gehlen Geisler Gemignani Genolini Genz Geo GeoBench Geoff Georgakis Ger Gerbino Gerd Gerety Gerig Gernert Gerrit Gerrits Gerstl Gert Geurts Gey Geyer Gh Ghasem Ghassem Ghelli Ghezzi Ghosh Gianni Giannini Giannotti Gibaud Giddings Gien Gil Gilio Gilles Gilli Gillies Gindi Ginn Gioiello Giordana Giordano Giorgio Girault Girodias Girths Gisela Gittins Giulio Giunchigia Giuseppe Giusti Gjessing Glauert Glauser Glavic Glesser Gloess Gnesi Gobel Godefroid Godehard Godfrey Godo Goerdt Goguen Gohner Goker Golaszewski Goldburg Goldschlag Goldwasser Golic Gollmann Goltz Gon Goncalves Gongzhu Gonzalez Gooley Gopal Gopinath Goppa Goransson Gorel Goresky Gori Gorm Gorrieri Gortz Gorz Goser Goswami Gottler Gottlob Goutas Govaerts Govindarajan Gr Graf Grahne Grandjean Grandmaster Graphoids Greenspan Grefen Gregoire Gregor Gri Grier Grigni Grigori Gro GroBe Grobner Groger Groningen Groot Groote Grosch Grosse Gruhn Grumberg Grzegorz Grzymala Gschwind Guarino Guaspari Guazzo Gudenberg Gudmund Gudmundsson Gudrun Guedon Guggino Guibas Guida Guido Guillou Gulla Gullberg Gunawardena Gunter Gunther Guntzer Guo Guowen Gupta Gurevich Gurpur Gustafson Gustavus Guttag Gutzmann Guyard Gyimothy Gyorkos H HBL HBR HBS HCC HCP HDL HDW HEC HFA HFC HFG HFM HFT HGP HGR HHE HIZ HK HL HLC HLL HMS HN HOA HOL HOU HPF HPG HPH HPI HPO HPR HPS HRU HSD HSS HST HSV HT HTD HTS HTTP HUK HUP HUR HWN HYTECH Haar Haas Habart Habel Haber Habutsu Haccoun Haddad Haeckel Hagerup Hagiya Hahnle Haijo Hakata Halbwachs Hamaguchi Hambrusch Hamer Han Hanf Hankin Hannan Hanschke Hanspeter Hanus Haralambides Harald Harari Harbans Hardi Haridi Harrell Hartig Hartmut Hasegawa Hashiguchi Hashimoto Hashmi Haskell Hatzimanikatis Haurat Hauser Hayashi Heapsort Hedin Hee Heffernan Heffter Hehner Heidtmann Heijst Heikkinen Hein Heinrich Heinsohn Heintz Heistermann Hellendoorn Helmar Hemachandra Hendrik Heng Henglein Henhapl Henk Hennessy Hennicker Henri Henriques Henschen Hense Hentenryck Heping Herbrand Herdy Heribert Hermann Hermenegildo Herment Herre Herrtwich Hershberger Hertrampf Hertzberg Hertzberger Herve Herzberg Herzig Herzog Hesse Hesser Hewett Heydemann Heyker Heyst Heytens Hibbard Hidehiko Hideki Higham Hikaru Hilken Hillston Himsolt Hinkelmann Hinrich Hiraishi Hirata Hirokawa Hiroki Hiromi Hiroshi Hitoshi Hodgson Hoel Hoene Hoffgen Hoffmann Hoffmeister Hofmann Hofmeister Hofstede Hogeweg Hohberg Holger Hollunder Holmer Holmquist Holt Holzle Homogenity Homotopy Hon Honiden Honkala Honour Honsell Hoofman Hoogvorst Hooman Hor Horcher Horner Horng Horning Horst Horster Hosking Hossein Hou Houstis Houtsma Hromkovic Hruschka Hsia Hsiang Hsing Hsu Hu HuBmann Hua Huang Huber Huei Huffman Huguet Hui Huizinga Hulin Hulshof Hummert Hungar Huo Huong Hurson Huttel Hutton Huw Huzur Hwa Hwang Hyperedge Hyperelliptic Hyperentailment Hyperfinite Hypergraph Hypergraphs Hypermap Hypermedia Hyperplane Hypersurface IAA IAC IAE IAG IAI IAM IAW IBA IBB IBC IBI IBP IBS IBT ICA ICB ICD ICG ICP ICR ICT ICsup IDC IDD IDI IDP IEC IEF IEI IES IFC IFL IFS IGA IGC IGR IHN IHS IIK IIL IIO IIRa IIRb IIS IJD IKE IKR IKS IL ILB ILD ILI ILN ILS ILT IMA IMB IME IMR IMSE INF INLEN INR IOO IOS IP IPA IPB IPC IPE IPH IPK IPP IPR IPS IPSE IPSEN IQ IQC IRB IRC IRP IRS IRT ISA ISB ISBN ISC ISD ISE ISF ISG ISH ISL ISN ISO ISP ISR ISS ISSN IST ISTSPN ITB ITC ITD ITF ITI ITL ITP ITR IUB IUR IUT IVA IVE IVO IVR IXG IZT Ia Iain Ian Ib Iba Ibaraki Ibarra Ichi Iglio Ihler Ikonomova Ilan Ilene Ilmberger Imai Imamura Imielinski Immobilizing Implementational Implicitization Impredicative Inagaki Ince Incommensurability Inder Indiscernibility Inequivalence Infinitary Informatics Informatization Inga Ingemar Ingemarsson Ingo Ingolfsdottir Ingrid Inline Inoue Interdistance Internet Interoperability Intersymbol Intuitionistic Inverardi Ip Ipke Irwin Isotopy Italiano Ito Itoh Itter Ivannikov Iversen Iwano Iwanski Iwao Iwata Iyer J JAE JFE JMC JTMS Jacas Jacobi Jacquet Jacquot Jaeger Jagannathan Jager Jai Jain Jajodia Janardan Jancar Janicki Janikow Jansen Janson Janssen Janssens Jantke Janwa Jard Jared Jarke Jarominek Jarzabek Jarzembski Jaspars Jaszczak Jeanne Jeannette Jeffery Jeltsch Jen Jenner Jens Jensen Jeron Jesper Jeusfeld Jian Jiang Jiao Jieh Jin Jinhui Jitender Jiyang Joachim Jochen Joelle Johan Johannesson Johnen Johnsson Jokinen Jolesz Jonah Jong Jonkers Jonsson Joos Joost Jorma Josep Josephs Josko Jouannaud Jourdan Joux Jovan Judgements Jukna Jul Jun Junbo Jung Jurg Jurgen Juul K KAA KAP KAS KBC KBM KBS KCH KCS KDE KDP KEC KED KEE KES KET KHF KI KIWIS KKA KKB KKV KL KMC KNM KPA KPK KRB KRL KS KSF KSP KST KTI Kaas Kaci Kacprzyk Kaes Kahn Kai Kaib Kaisa Kaiser Kaivola Kajitani Kakas Kaleh Kalinichenko Kalinski Kaliski Kalkbrener Kalman Kalnins Kaltofen Kamal Kamala Kanban Kaneps Kannan Kanngie KanngieBer Kanngiesser Kanovich Kantardzic Kantor Kantz Kaoru Kaplan Kapoor Kappel Karhumaki Karlsen Karlsson Karny Karp Karpinski Karshmer Karssemeijer Karwowski Kasangian Kast Kastens Katayama Kateman Katoh Katsikas Katsumi Katsuyama Katwijk Kaufman Kaufmann Kaur Kautz Kavadias Kawakami Kawas Kazem Kazuhiko Kazuhiro Kazuo Kebler Kees Kefalas Kehler Keighley Kemmerer Kencheng Kenevan Kenji Kennaway Kennes Kenyon Kergommeaux Kerschberg Kershenbaum Kersten Keryell Kesner Kesten Ketil Keymeulen Keystream Khafre Khalid Khalil Khenkhar Khoo Khuller Kieb Kieback Kiebling Kiehn Kikinis Kilian Kilpatrick Kinber Kinnaes Kinney Kirchner Kireeti Kirkova Kirousis Kirsch Kiyoharu Kjell Klapper Klar Klawonn Kleene Kleine Kloks Kloos Klop Klopotek Klose Klusener Knecht Knijnenburg Knobloch Knoke Koblitz Kock Koenderink Kohei Kohlas Kohling Kohno Koichi Koji Kojima Kok Kolbas Kolinko Kolodziejczyk Kompella Konig Konikowska Kooshesh Kopetz Kopytov Koref Korff Korst Korver Korzhik Kosachev Kositov Koskimies Koster Kouicem Kouichi Kounalis Kountanis Koutny Koyama Koza Krall Kratsch Kratzer Kraus Kredel Kreowski Kreuzer Kri Kriauciukas Krick Krieg Kriegel Krijgsman Kripke Krishnan Krithivasan Krizanc Krob Krogdahl Kroger Krogstie Kromodimoeljo Kropf Kruse Kruskal Krzysztof Kubicka Kubicki Kubler Kuchenhoff Kucherov Kuechlin Kuhnhauser Kuiper Kukimoto Kumar Kundu Kunen Kung Kunwarjit Kuo Kurki Kurosawa Kursawe Kurshan Kutten Kuznetsov Kwangjo Kwok Kwong Kyburg L LAC LAL LAN LAT LAURE LBA LBD LBL LBR LBS LC LCA LCB LCCN LCL LCP LCR LCT LCV LDA LDD LDI LDM LDS LDT LDW LEB LECT LEL LEU LFA LFD LFF LFM LFP LFSR LGG LIC LILOG LIM LISPO LL LLD LLI LLP LLT LMA LMF LML LNAI LNCS LNCSD LOD LOGIDATA LOKI LOL LOO LOQIS LOS LP LPC LPD LPF LPP LPR LQF LRD LRL LRP LRS LS LSB LSC LSN LSV LTA LTM LTN LTO LTP LTS LUCa LUCb LVN LZW LaCoS LaMacchia LaTeX Laarhoven Laasch Labelled Labisch Lachaud Lacourte Laenens Lagarias Lagergren Lai Lam Lamma Lammel Lampson Landes Landrock Laneve Lang Langemyr Langendoen Langevin Lann Lano Lanza Lanzarone Lanzelotte Lapay Lapidot Lapied Largeron Larre Lassen Lassez Laszewski Lata Launchbury Laure Laurini Laurinskas Lautemann Lavalette Lavelli Lavi Lavington Lawlis Lazard Lazic Lazowska Le LeBrigand LeLann LeSaec Leahy Lecouffe Leekwijck Leeuwin Legeard Legros Lehmann Leib Leiden Lellahi Lemoine Lemos Lempel Lengauer Lenhof Lennart Lenstra Lenzerini Leonid Leonidas Lescanne Lesmo Leung Levchenko Levcopoulos Levin Lewi Lewine Lexicology Ley Li Lian Liang Lichtblau Lichtenstein Lieberherr Liedtke Liestman Ligomenides Lih Lillie Lin Lindland Ling Lingas Lingras Lintulampi Liouvillean Lipeck Lippe Lippens Lipps Litovsky Litsyn Litwin Liu Livelocks Llacer Lloret Lobo Lobstein Lockemann Lodaya Loebl Loewenstein Lof Logar Logenthiran Lohmann Lombardo Lomet Longo Longpre Loogen Lorenzi Lorie Lothar Lotos Loubersac Louchard Louri Lowe Loyall Loyola Lsub Lu Lubbe Luby Luc Luca Lucadou Lucasius Ludewig Lugiez Luk Lund Lundberg Luo Lutz Ly Lyness Lyytinen M MAA MAH MAK MAM MAPa MAPb MAS MBB MBC MBD MBM MBP MBR MC MCA MCB MCD MCE MCG MCL MCM MCO MCP MCS MCT MDA MDC MDH MDI MDP MDS MDT MEA MEP MER MFC MFG MFM MFP MFS MFT MGD MGR MI MIA MIMD MIR MIS ML MLI MLK MLM MLU MLZ MMA MMC MMD MMG MMS MMU MNI MNP MOC MOM MON MOR MP MPC MPI MPLomega MPR MPT MPV MRA MRB MRC MRD MRE MRI MRL MRM MRP MRT MRclass MRnumber MSA MSB MSC MSD MSE MSK MSO MSP MST MTC MTG MTI MTMM MTV MUA MUE MUP MUR MUS MVA MVG MVM MVO MVS MWD MZI Maarten Mabogunje MacNish MacQueen MacanAirchinnigh Machado Maciej Madelaine Madhavan Madlener Madre Madsen Magalhaes Magee Mager Maggini Maggiolo Maggiora Magliveras Magnini Magnus Mahajan Maher Maheshwari Maibaum Maienborn Maier Mainguenaud Mairson Maitre Majid Majster Majumdar Makedon Makhaniok Makinson Makky Makoto Makowski Malacaria Malandain Malec Maler Malerba Mallen Malm Maluszynski Mamede Manasse Mancarella Mancarelli Mandel Manderick Maniezzo Manindra Manoussakis Mansour Mantaras Manthey Mantsivoda Manuel Maranget Marbach Marc Marcel Marchetti Marchewka Marcugini Marek Margalit Mari Mariangiola Marnix Marques Marre Martelli Marttiin Mas Masafumi Masahiko Masahiro Masami Mascari Mataric Mateen Materne MathSciNet Matherat Matousek Matsufuji Matsumoto Matsuo Matsuoka Matsuyama Matt Mattern Matthes Matthias Matthijs Mattmann Mattos Matwin Maulsby Mauny Maurer Mauri Mauw Mayhew Maymir Mayoh Mbits McAlpin McBrien McCue McCurley McDowell McEliece McInnes McLeish McParland Mechthild Med Medeiros Medvedis Meena Megiddo Mehidi Mehta Meier Meijer Meikle Meinel Meinke Meisels Meiser Meister Meixner Meki Melichar Mello Memmi Memon Mendelev Mendes Menezes Meng Mengin Merbeth Merceron Meriste Meristems Merkle Merritt Mersereau Mese Meseguer Meta MetaEdit Metaknowledge Metalevel Metamodels Metaproof Metivier Mezzanatto Mi Micali Michalewicz Michalski Michaux Micheal Michel Michele Michiel Middelburg Middeldorp Mignotte Mihalis Mihaljevic Miki Mikl Milanese Milani Milikowski Millman Millot Milne Milner Min Ming Minicozzi Minker Minohara Minsumcut Miodrag Miola Miroslaw Mishra Misra Missikoff Mitra Mittal Miyaguchi Mo Mocas Modelization Modelled Modelling Modigliani Modugno Moduli Moerkotte Moffat Moggi Mohamed Mohammed Mohan Moin Moineau Moitra Mok Mokhtar Molina Molinari Moller Molva Molzberger Mon Moncke Monga Mongenet Monien Moniz Monney Monoid Monoids Montagnac Montanari Monte Monteiro Montero Monti Montpetit Moolenaar Moormann Mora Morain Morasso Morelos Moreno Moret Mori Morii Morita Morphisms Morreau Morrissey Morten Morzenti Moshe Mostowski Moti Motta Mounier Mourrain Mu Mudambi Mugridge Muhlenbein Mukhopadhyay Mukkamala Mullender MultiComputers Multicriteria Multicycles Multigroups Multilanguage Multilective Multimedia Multiparadigm Multiparty Multisets Multithreading Multitype Mund Mundemann Mundici Munin Munoz Munro Munthe Munzert Musa Mussio Mutchler Muthu Mutz Mycroft Myl'nikov Myoupo N NAA NAD NAI NAK NAM NAR NAS NBT NC NCE NCG NCP NDD NDT NERV NFA NFAs NFC NFI NFO NGD NGG NGH NGO NHM NHR NHS NIB NIC NIE NII NIS NIZ NLB NLC NLI NLP NMI NML NMM NMR NMS NNB NND NNE NNP NNR NOP NOS NP NPA NPC NPI NPK NPL NPT NR NRC NRL NRM NRP NRS NSA NSC NSE NSG NSI NSL NTA NTK NTP NTR NU NUB Nachum Naeymi Nagl Naik Naini Naish Nait Nakamura Nakanishi Nakano Nanda Nanni Naor Napoli Naquet Naqui Narasimhan Narayana Narayanan Nardi Narendran Nasir Natasha Natkin Navigational Ndiaye Neal Nebel Nehmer Neighbourhood Neilson Nejdl Nemetz Neraud Nesi Ness Nett Neubert Neufeld Neuhaus Neuman Neurobiological Neusius Nevin Ng Ngern Ngu Nguyen Nicholl Nico Nicola Nicolis Nie Niederreiter Niemeier Niemi Niepel Nieskens Nieuwenhuis Nievergelt Niezette Nijran Nikhil Nikityuk Nikolopoulos Nilsson Ning Nipkow Nirkhe Nishio Nishizaki Nishizeki Nivat Nivela Niwinski Nocker Nokel Nola Nolte Noltemeier Noma Nonclassical Nondegenerate Noninteractive Noninterleaving Nonmonotonic Nonrecursive Nonregular Norrie Northrop Notkin Noui Nov Novak Noye Ntafos Nunez Nutt Nwana Nyberg O O'Hagan O'Hearn O'Neill O'Toole OAA OAC OAD OAG OAI OAM OAN OAP OAS OAW OBA OBR OCA OCLC OCM OCP OCR OConnor ODA ODM ODO ODT OET OGA OGC OHS OHagan OHearn OIC OIN OIP OIS OISEAU OIU OL OLL OLeary OMN OMO ONQ OO OOA OOD OODBMS OODBs OOG OOL OOO OOP OOR OOS OPA OPD OPS OPTRAN ORD ORM ORT OSA OSB OSC OSF OSN OSR OSS OST OTP OTR OUD OVS OWG Obbink Oblow Ochi Ochmanski Odile Odlyzko Odoardi Oelmann Oerlemans Offline Ogata Oghabian Ohbuchi Ohler Ohori Ohta Okada Okamoto Okanovic Ola Olaisen Olariu Olderog Ole Oliveira Olivier Oliviera Ollivier Ong Ongwisesphaiboon Online Ooi Oommen Oorschot Opatrny Opdahl Oppel Optimisation Orejas Orenstein Organisation's Orlowska Orna Orup Oskar Ostaszewski Othmar Otte Otthein Ottmann Ouksel Ovalle Ovchinnikov Overstreet Ozsu P PAB PAC PAE PAF PAG PAPETRI PARSAC PBF PBG PCB PCC PCD PCF PCG PCI PCL PCM PCN PCO PCP PCPL PCR PCS PCT PCTE PDA PDC PDG PDL PDR PDRa PDRb PDS PDT PDU PE PEC PEE PEF PEJ PEM PEU PFD PFF PFN PGA PGD PGI PGP PGR PHD PHO PHS PIC PII PL PLB PLE PLEXUS PLL PLT PMB PMC PMO PMR PMS PMT PNB PNC PNM PNS PNU POM POMSET POOMA POS PP PPA PPB PPC PPE PPO PPP PPR PPS PPT PQC PQE PQI PQO PRA PRAMs PRF PRG PRISMA PRIZ PROLOG PROSPECTRA PROTOS PROgrammed PRP PRS PS PSA PSC PSE PSF PSH PSK PSL PSO PSP PSS PTB PTC PTF PTG PTH PTN PTP PTS PTV PUA PUD PVB PVL PVN PVS PWD PWM PXI Paakki Paass Pachowicz Paderni Padmanabhan Paech Pais Pak Pakzad Palamidessi Palotti Palsberg Panayirci Pandu Pantazis Pantziou Paola Paoli Paolo Papadimitriou Papahristos Papersfirst Papini Parallellism Parameswaran Parameterisation Parametricity Paramodulation Paramonov Paratesi Parberry Paredaens Paredis Parente Parigot Parisi Parkin Parlog Parrow Partsch Paruvachi Paschos Pase Pasqualini Patarin Patel Paterson Pathwidth Patkar Patney Paton Paun Pavel Pavlovic Paz Pazienza Pb Pearman Pedersen Pedreschi Pedrycz Peelman Peizhong Peleg Pelizzari Pellegrini Pena Peng Penjam Pensini Peralta Pereira Perelson Perl Perlis Pernici Perret Perrot Persiano Pesch Petermann Petersson Petit Petra Petrin Petrucci Pettorossi Petukhin Peyton Pfalzgraf Pfeffer Pfeiffer Pfitzmann Philippe Phillip Phoa Piastra Pieprzyk Piera Pierantonio Pierluigi Pietro Pighizzini Pilar Pinci Pinkas Pinkowski Pino Pinzani Piquer Piramuthu Pirlein Pirotte Pirrone Pitcairn Pivert Pixley Pizer Plaice Plaintext Plandowski Plasmeijer Plat Pletat Pliuskevicius Plotkin Plunnecke Pnueli Poblete Pocock Podelski Podnieks Poel Poetzsch Poigne Poitrenaud Pokropek Poli Politano Pollard Polymorphism Polyphase Polytope Polytopes Pomello Pomsets Ponse Pontet Pooley Poon Porisini Porrill Portinale Porto Portz Posegga Possibilistic Pottier Pr Prabhu Prade Pranevitchius Prasad Prasant Prateek Pre Preclassification Preece Prehn Preneel Preorder Preorders Presburger Presicce Pribbenow Priese Primality Prinetto Prioritized Probert Probst Proietti Proix Prolog Pronk Proskurowski Prosthesis Protasov Prunet Prusinkiewicz Pryds Przymusinski Pseudoprimes Pseudorandom Puccetti Pudlak Puente Pujol Puri Purushothaman Puschner Pushouts Q QA QBC QCB QCC QCK QDP QMR QPP QPR QPS QTR Qian Qin Qing Qiu Quadranti Quadriphase Quadtree Quartic Quiescence Quinio Quisquater R RAB RAC RAD RAI RAO RAS RAV RBA RBD RBE RBF RBI RBM RBS RCC RCM RCN RCO RCR RCS RCT RDB RDBMS RDD RDM REDOC REE REF REG REI RER RETE REwriting RFS RGM RGR RHA RHD RHL RIC RIGAL RISC RLC RLP RLT RLucid RM RMD RMI RMK RMT RNC RNS ROI ROL ROO RP RPB RPC RPD RPL RPR RPS RPW RRC RRN RRS RRT RRU RSA RSI RSL RSM RSO RSP RSQ RSR RSS RT RTA RTB RTC RTE RTL RTP RTR RTS RUEGEN RVB RVD RVU RWM Raasch Rabin Rabinovich Rackoff Rad Radermacher Raghavachari Raghavan Raghunathan Ragot Ragsdale Raimondo Rainer Raja Rajala Rajasekar Rajeev Rajopadhye Ralf Ramachandran Ramakrishnan Ramamritham Raman Ramana Ramanujam Ramaswami Ramer Ramesh Ramos Rampini Rana Ranaivoson Rance Randal Randelhoff Randell Randen Randomizers Rangan Rangarajan Ranjan Rannauro Rannou Rao Ras Rasse Ratel Rattray Rauber Rauszer Rauzy Ravi Ravikumar Ravn Ravotto Rawlins Raynal Razborov Recasens Red'ko Reddy Redko Refik Refineable Reggio Reghizzi Regnier Reichel Reichgelt Reification Reihaneh Reinder Reiner Reinfrank Reinhard Reinhardt Reischuk Reisig Reithinger Relabelling Relativised Relewicz Remi Remkes Remy Ren Renardel Renate Rendon Reorda Reorganisation Retriangulating Reusability Rewritings Reza Rhode Ribeiro Riccobene Rickheit Ricolindo Riedewald Riedl Rieger Riekert Rieks Rifa Rinus Risch Rischel Rishiyur Risler Rist Ristori Rivest Rivoira Rivora Rizki Rizvic Roadmaps Robbiano Robson Rocca Rocha Rodella Rodier Rodosek Roel Roelants Roelofsen Rogaway Rogier Rogova Rohatgi Roijakkers Rolf Rolland Rollinger Romeny Ronchi Ronitt Rooij Roos Rosen Rosenbaum Rosenfeld Rosenkrantz Rosenzweig Rossi Rossig Rosskopf Rossmanith Rotger Rotillon Rott Roussel Routo Roux Roverso Rovick Rozenberg Rozman Rubin Rubinfeld Rubinson Rudi Rudich Rudloff Rudolf Rueppel Ruf Rullo Runciman Rushby Rusinowitch Ruspini Rutten Ruzicka Rydeheard Ryshkov Ryszard Rytter Ryu S SA SAA SAB SAC SAE SAF SAL SAS SBD SBE SBI SBN SBR SBS SBT SC SCA SCB SCC SCD SCI SCL SCM SCN SCO SCP SCQ SCR SCS SCT SCV SDA SDC SDD SDE SDG SDL SDM SDS SDT SE SEB SEC SED SEG SEP SES SESADA SETa SETb SFF SFG SFM SFP SFT SGA SGB SGL SGM SGP SIA SIB SIG SIL SIMD SIO SIU SKC SKG SKOLEM SL SLC SLD SLG SLM SLP SLS SLT SMA SMD SME SMG SMI SMK SML SMM SMN SMP SMR SMS SMV SNC SND SNO SNP SNT SNePS SOC SOF SOI SOM SOO SOU SPA SPB SPD SPECT SPI SPK SPL SPM SPN SPO SPP SPR SPS SPU SQB SQL SRB SRC SRD SRI SRL SRM SRO SRS SRT SS SSA SSC SSD SSF SSG SSL SSM SSN SSO SSP SSR SSS SST STA STC STE STG STM STOSS STP STQ STR STS STUF SU SUC SUI SUL SUR SUT SV SVR SVT SW SWR SWW SYA Saab Saad Saaltink Sacca Sachin Sachio Sadeghiyan Sadot Saec Saeed Safavi Saffer Saffiotti Sager Sagiv Saiedian Saitoh Saitta Sajal Sakaniwa Sakata Sakurai Salomaa Salomon Salowe Salski Saltzer Saluja Salvail Salwicki Salzberg Samal Samet Sami San Sandeep Sandoz Sandt Sani Sanjay Sanjeev Sanjiv Sannella Sansoe Santago Santha Santibanez Santis Sanyal Sanzot Sapino Saran Sarawagi Sarma Sarnak Sarrafzadeh Sasase Sassone Satish Sato Satoshi Satyanarayanan Saxen Scedrov Schachtner Schaer Schaerf Schaub Schauser Schefstrom Scheidler Scheingraber Schellinx Schenke Schettini Scheuermann Schewe Schieber Schiffmann Schijf Schimpf Schindhelm Schipper Schiwietz Schlechta Schlenk Schleuter Schlichtiger Schlichting Schmutz Schnabl Schnelle Schnoebelen Schnorr Scholefield Scholl Scholz Schorn Schott Schrefl Schreiber Schrift Schroder Schrodl Schuerman Schuierer Schull Schurr Schutz Schutze Schwald Schwartzbach Schwarz Schwecke Schween Schwefel Schwenderling Schwind Sciore Scozzafava Scramblers Scriptic Scruffy Seacat Sean Sebillotte Seeger Seese Seevers Sefranek Seger Seidel Seidl Seiffert Seiki Selby Selectionist Selforganization Seligman Selke Selman Seltveit Semeraro Semialgebraic Semirings Semle Sen Sendrier Senk Sensitization Sentot Seppanen Sergio Sergot Serna Serrano Sessa Sette Sfez Sgarro Shaer Shafer Shafi Shail Shair Shalev Shamir Shan Shang Shankar Shannon Sharir Sharma Shay Sheard Sheelagh Shekhar Sheng Shenoy Shenton Shepperd Sherk Sherwani Shevchenko Shi Shiaofen Shigeo Shimon Shimshon Shinichi Shinozaki Shinsaku Shintaro Shizuya Shoham Shoji Shoup Shouren Shrivastava Shuichi Shurek Shute Shuzo Shvachko Si Siau Sibylle Sideri Siemens Siemon Sifakis Sijtsma Silva Silvio Simi Simona Simone Simonis Simplical Simplices Sinaki Singh Sistla Sivakumar Sivess Sjaak Skiena Skubiszewska Sloman Sluiman Smalltalk Smeets Smets Smetsers Smid Smolander Smolin Smolka Smyth Snefru Snelting Snoeyink Sobolewski Socias Sociopathicity Solerno Solodovnic Solomampionona Solovay's Sonza Soper Sorbello Soren Sortal Sotteau Sottero Souissi Soupos Southwick Spaccamela Spampinato Spangher SpecBox Speckenmeyer Spector Spee Spek Sperlbaum Sperotto Spirakis Spohn Spoofing Sprugnoli Spruit Spyratos Spyros Sridhar Sridharan Srimani Srinivasan Stachniak Staelin Staes Staffelbach Stansifer Starkweather Stary Statecharts Stefan Stefano Steffen Steffens Steinbauer Steinbruggen Stell Stemple Stephan Stiegler Stifter Stig Stinson Stockl Stojmenovic Stornetta Stotts Strapparava Strasser Straube Strecalov Streicher Strutz Stucky Studer Study's Sturm Sturtivant Subfunctions Subieta Subir Sublinear Subrahmanian Subrahmanyam Subrata Subresultants Subsorts Subsumption Subterm Subtyping Sucar Succi Sudebkumar Suehiro Suh Sumali Sundaram Sundararajan Sundin Suonio Supersingular Supracompact Suresh Suri Surjective Susumu Sven Svendsen Svensson Swafford Swarup Swierstra SyStems Sykora Symplectic Syms Synergetic Systa Systolic Szabo Szeredi Szpakowicz Szpankowski Szymacha T TAA TAC TAF TAI TAM TAS TAT TAXON TBA TBC TBF TBL TBM TBT TC TCA TCD TCG TCH TCL TCM TCN TCO TCP TCR TCS TCSP TCT TCV TD TDA TDC TDP TDS TEC TEG TEH TET TFF TFV TGP TGS TGT THC THM THS TIA TID TII TIL TIS TIV TKB TKR TKS TLA TLB TLF TLK TLL TLM TLN TMA TMD TMI TMP TMS TNM TNR TOA TOD TPC TPL TPP TPR TPS TPT TPV TR TRC TRI TRIMM TRS TRU TSA TSB TSC TSD TSE TSL TSM TSO TSR TSS TTA TTD TTF TTG TTI TTN TTP TTR TTS TTT TU TUC TUS TWS Ta Tadashi Taentzer Taeymans Tahvanainen Tai Tak Takahashi Takamatsu Takao Takeshi Takuo Tal Talcott Tamburino Tammet Tanaka Tanca Tannen Tarantino Tarhio Taricco Tarlecki Tarski Tasso Tatsuaki Tatsuta Tattersall Taubner Taucaite Tavares Tayi Tayrac TeX Tebaa Tecuci Teh Teillaud Tejada Tel Teng Tennent Terada Terenziani Tetsuo Tewari Th Thalheim Tham Thatte Theo Theodoulidis Theseider Theune Thibault Thiele Thiemt Thierens Thierry Thiong Thirunarayan Thomason Thone Thorsten Thu Thurmel Tibor Tiepolo Tijmen Tijus Tilings Timashev Tindale Tjandra Tobias Toetenel Toffin Tofts Toi Tokar Tokio Tokoro Tokuyama Tomas Tomayko Tomek Tomio Toolbox Toolset Toppano Toptsis Toran Torasso Torben Torgersen Torlone Tornielli Torre Torrecillas Toshihide Toshiki Toshiya Touir Toulouse Tounissoux Toursel Toussaint Toweissy Tra Trainable Trakhtenbrot Tramontini Tran Transputer Transversals Trantina Traub Travelling Traverso Traynor Treewidth Treinen Treleaven Trenary Tresch Tretjakov Treur Trevor Triangulations Trilinear Trilling Trinder Trinquet Tripathi Trivalued Troyer Trudel Truszczynski Tsai Tsalenko Tsalidis Tsan Tseitin Tsigas Tsujii Tsukamoto Tsutomu Tu Tucci Tue Turan Turkin Turygin Typability Tyugu Tze Tzeng Tzi Tziallas Tzonelih U UAC UAD UAH UAI UAL UAR UAS UAV UBS UBT UCD UCE UCM UCO UDD UDF UDL UDS UEB UEC UED UEF UFG UFL UGA UGG UHA UHP UID UIL UIN UIP UIS ULB ULG ULO UMC UME UNB UND UOA UOS UOT UPG UPI UPO UPOa UPOb UPP UPV URD URF URL USD USO UST UT UTC UTP UTR UUI UUL UVF UVO UVR UVW UWA UWI Ucan Uchihira Uday Udding Udo Ueli Ueno Uffe Ugo Uhlig Ukkonen Ulder Ulmer Ulrich Ultsch Umkehrer Unboxed Undecidability Ungar Unimodular Unintrusive Updatable Uppaluru Urrutia Urs Ushijima Ute Uwe V VAL VBM VBT VDB VDC VDM VEC VER VES VHL VIM VISICOM VLP VMC VMP VMS VOH VPH VPP VPS VPT VPV VRN VRO VRS VSB VSC VSE VSF VSI VSM VSS VTN VTP VVI VVS Vaccaro Vaccher Vacillatory Vadaparty Vainstein Vajda Valduriez Valenzuela Valery Valette Valiveti Valmari Valtteri VanDongen VanHentenryck VandenBussche Vandenberghe Vandewalle Vanecek Vanroose Vanstone Vardi Varela Varshamov Vasant Vasconcelos Vasell Vassallo Vauzeilles Vazirani Vazzana Vectorized Vedenov Vegter Veklerov Velardi Veltink Vemuri Veni Venkat Venkatesh Ventura Verbrugge Vercauteren Vercelli Vergamini Verhoef Vernadat Vernazza Veron Veronika Verri Versioning Vicente Vidal Viergever Vigna Vigneron Vijay Vijaya Vila Vinay Vincenzi Vink Vipa Vipin Vishkin Vishnubhotla Viterbi Vivona Vlaminck Vlierberghe Vlot Voas Vogler Vogt Voigt Voisard Volker Vollmar Vollmer Volpano Voorbraak Voorhoeve Vorc'h Vorch Vornberger Voronkov Voronoi Voss Voxel Vree Vrijer Vrto Vuketic W WAF WAM WASTL WCW WDB WEI WF WFsup WHC WIA WIE WIMs WIS WLB WLR WMB WMS WNR WNS WOS WOV WPT WRA WSM WSN WSO WSS WTS WUMs WUS WVV WWF WWL WWW Waack Wachsmuth Wacrenier Wadoud Wah Wahlster Waidner Wainer Waite Wakaha Wakeling Waldinger Waldmann Waleffe Wanke Warrington Watanabe Wedde Weddell Wegner Wei Weidong Weil Weise Weitzenfeld Wellman Welz Welzl Wen Wendholt Wendlandt Weng Wermus Werten Werth Wesche Wessels Wetklow Wettstein Wetzel Weydert Weymouth Whitley Wichmann Widjojo Widmayer Wieczorek Wiedemann Wiederhold Wiedermann Wiehagen Wieringa Wijers Wiktor Wilfried Wilke Wilkins Willain Wille Willem Willems Willi Willumsen Wilms Wilschut Winans Winfried Winkelbauer Winkeln Winkler Winkowski Winokur Winskel Winslett Wirsing Witten Witteveen Wohed Wojciech Wolfers Wolff Wolfram Wolinski Wolper Wolz Wong Woolfenden Workspaces WorldCat Wu Wurtz Wuwongse Wuxu Wygralak Wynters X XOR XPE XRA XYZ Xiao Xiaolin Xu Xue Xuejia Y Yaagoub Yacobi Yacov Yager Yair Yajima Yamaguchi Yamasaki Yamashita Yan Yannakakis Yantchev Yao Yaoqing Yasushi Yasuyoshi Yeh Yehoshua Yeow Yi Yike Yim Yishay Yiyun Yodaiken Yoji Yonezawa Yong Yoon Yoshifumi Yoshise Youn Youssef Yu Yuan Yuji Yuliang Yun Yung Yuri Yutaka Yuwono Yvo Z ZCP ZHL ZKU ZLC ZSH ZTH Zabel Zaccaria Zadorozhny Zahalka Zahorjan Zainlinger Zajac Zamulin Zanardo Zaniolo Zaragoza Zaremski Zaroliagis Zave Zedan ZeinElDine Zembowicz Zemor Zeng Zeugmann Zgierski Zhan Zhang Zhe Zheng Zhenyu Zhexue Zhisheng Zhiyi Zhong Zhou Zhugou Ziane Zicari Zielonka Zierau Zighed Zimanyi Zinoviev Zinovjev Zipf Ziv Zlatuska Zmuda Zong Zubal Zubenko Zuck Zupan Zurin Zuzana Zwaenepoel Zwiers Zytkow abbrev ack acknowledgement acm adr amo ary att autoepistemic automorphism bach beebe behaviour betaeta bi bibdate bibmods bibnames bibsort bibsource bisimulation bisimulations bner byvolume c cal calcifications cher chi cker codetable collimator coloured colposcopic com combinatory conceptualizations convolutional copulative couffe crplus cryptosystems d d'Amore dAmore da datalog de deBakker deBoer deCastroDutra deChampeaux deFrancesco deGaris deGroot deJong deLavalette deLemos dePinto deRooij deWaleffe defeasible deformable del delCerro delaTorre della denBoer der des di diGiovanni diNola dis discriminants doc docstring e eau echocardiogram edu electromagnetic email ens eqs equational er ezzo fiberings foldings ftp gaard gat ghiz gni gu guer htm http hyperelliptic i ieee ind inf intuitionistic ispell j k ker ki kow l lam laschi leucocyte ling ller llmann lncs lncswxyz ltx lzle mammograms mann meta min modelling mor multimodality multistrategy n nD nd ne neurosurgery nhfb ni nonmonotonic ntha ny o ois op opdenAkker optimisation org paraconsistent pdf peau polycontextural preorder prioritized priors ps pseudorandom ra radiolabelled ras rd regularization s scopings sel semiflows ser showtags si sk skel sku smedt sok st t ter tex thi ti tocs tomographic twocolumn u uUing unsrt utah v vanDelft vanEekelen vanEijl vanHee vanOorschot vandenBerg vandenElsen vanderLinden vanderLubbe vanderSandt vanderSpek vas ve ventricular ver ves von vonGudenberg vonLaszewski vonLuck vs wc www wxyz xian xii xxnote y ya zef zini