AAB AAC AAF AAM AAN AAP AAR ABF ABH ABO ABP ABQ ABS ABT ACA ACC ACD ACI ACL ACP ACR ACS ADB ADC ADE ADMs ADR ADT AEA AEC AED AEF AEG AEP AFA AFD AFI AFO AFP AFV AGB AGC AGV AHO AI AIF AIG AIN AIP AISa AISb AISc AISd AISe AISf AISg AISh AISi AISj AISk AISl AISm AISn AIV AIVa AIVb AIVc AIVd AIVe AIVf AIVg AIVh AIVi AIVj AIVk AIVl AIVm AIVn AIVo AIa AIb AIc AId AIe AIf AIg AIh AIi AIj AIk AIl AIm AIn AIo AIp AIq AIr AIs AIt AKA AKR AKW ALC ALD ALS ALT ALZ AME AMF AML AMO AMQ AMT AMV ANB ANF ANM ANS AOC AOD AOP AOS APA APC APM APP APU APX AQA ARF ARG ARL ARO ARR ARS ASC ASD ASE ASI ASM ASN ASR AST ASW ATB ATC ATM ATOMIX ATP ATR ATS ATW AUT AVG AVP AVR Aalst Aart Abadi Abbas Abdelwaheb Abdulla Abel Aberkane Abhijit Abiteboul Ablayev Abramsky Abrusci Abul Aceto Achermann Achim Achlioptas Aciego Acknowledgement Aczel Adachi Adamczewski Adamek Adamowicz Adel Adele Adi Adian Adrian Adriana Adriano Aehlig Afrati Ageev Agostino Aguiar Aguil Aguilera Aguilo Ahmed Ahn Aichholzer Aigner Ajay Akama Akeo Akhavi Akihiro Akihisa Akira Akiyama Akutsu Alain Alban Alber Albrecht Aldaz Aldini Aldo Alejandro Alekhnovich Aleksander Aleksei Alessandra Alessandro Alessi Alexandros Alexei Alexis Alf Alfaro Alfons Alfonso Alfredo Ali Alica Alimonti Alin Allauzen Allis Allouche Almeida Alois Alon Alpuente Alth Althofer Alur Alves Amadio Amb Ambainis Ambos Ambuhl Amel Amenta Amihood Amin Amir Amitabh Amitabha Amitranjan Ammann Ammitzb Amr Ana Anand Ananichev Anantharam Anastasios Anatol Anatoli Anatoly Ando Andr Andrea Andreas Andrei Andrej Andries Andris Andronikos Andrzej Ang Angelika Angiulli Angluin Angulo Aniello Anil Annabelle Annalisa Annexstein Anselmo Anton Antonino Antonio Antoniotti Antos Apel Apolloni Apostolico Appl Aps Apsitis Ara Aracena Arai Araujo Aravind Arbab Arborescence Archimedean Arie Arikati Arikawa Arimura Aristide Arjun Arkoudas Arlette Armin Arnaud Arne Arnolds Arnoux Arqu Arques Artalejo Arteaga Artho Arto Artur Arturo Arulanandham Arun Arvind Arwen Asa Asano Ashish Aspinall Aspvall Astesiano Asveld Ateniese Athanassios Atri Atserias Atsushi Atsuyoshi Attila Augusto Auletta Aumann Aur Aurenhammer Ausiello Austinat Avenhaus Avi Aviezri Avrim Awerbuch Axel Ay Ayala Ayari Ayelet Ayumi Ayuso Azar Aziz B BA BAB BAC BAM BAS BB'IW BBD BBG BBM BBN BBS BC BCA BCN BCS BCU BCW BDDs BDE BDR BEV BFP BFS BGP BHG BHP BI BIL BJC BLB BLL BLT BMM BMP BP BPA BPE BPM BPP BQO BRG BS BSD BSS BTC BTO BTP BTS BUP BVN BWG Ba Baake Baca Bachrach Baeten Baeza Bafna Bagchi Bagnara Baharak Bahncard Bai Baier Baillot Baiou Bajard Bakel Bakhadyr Bakker Bala Balc Balcazar Baldan Baldari Balinski Balogh Bampis Banach Bancomat Banderier Banerjee Barbanchon Barbanera Barbe Barcucci Barel Barneva Barrett Barri Barriere Bart Bartal Bartek Bartels Bartha Barthe Baruch Bas Basten Battista Bauderon Baum Baumgartner Baumslag Bayes Bazgan Bazzi Beal Beata Beauquier Becchetti Becher Becker Beckmann Beenker Behavioural Beigel Bein Belaga Bellantoni Beltiukov Benedikt Bengt Benhamdine Benzinger Berardi Berarducci Bergeron Bergman Bergstra Berke Berline Berman Bermond Bernardinello Bernardo Bernd Bernhard Bernholt Berrizbeitia Berstel Bertet Berthe Berthiaume Bertolazzi Bertoni Bertossi Bertram Bertran Besicovitch Besnard Besozzi Betti Beyer Bezoutian Bezrukov Bhargavan Bhaskar Bhatia BibNet BibTeX Bideterministic Bidoit Biedl Bienven Bienvenue Bigotte Biham Biing Bille Binhai Bini Binxing BioAmbients Birget Birkedal Birkhoff Bischof Bisimulation Bisimulations Bittner Bj Bjarke Bjorklund Bjorner Bjornsson Bl Blanchet Blanck Blanqui Blaser Blondel Blum Blundo Bo Boasson Boccara Bockenhauer Bockmayr Bodei Bodini Bodlaender Bodo Boer Bogdan Bogdanovi Boigelot Boja Boldi Bolette Boliac Bollob Bollobas Bompadre Bonelli Boneva Bongartz Bongiovanni Bonichon Bonis Bonizzoni Bonsangue Bor Borchert Bordihn Boreale Borel Borger Boris Bornat Bornstein Borovansk Borovansky Borzyszkowski Bostan Bouajjani Bouchitt Bouchitte Boudol Bouhoula Boullier Bourgade Bournez Bousquet Bouyer Boyar Boyer Boykett Br Brandst Brandstadt Branlant Brassard Brattka Bravetti Brejov Brenneman Brett Breugel Breuker Brigitte Brimkov Bringsjord Brit Brlek Bro Broda Brodal Bronnimann Brookes Brov Broy Brueggemann Bruijn Bruin Brunella Brunetti Bruni Bruy Bruyere Brzozowski Bshouty Bucalo Bucciarelli Buchsbaum Bueno Buhrman Bujosa Bultan Bunder Bunimovich Burago Burckel Burdick Burgin Burgisser Burgue Buscemi Busi Bussche Butkovic Butman Byskov C CAC CAF CAG CAH CAI CAK CAS CASL CBC CBF CBM CBP CBR CBS CBT CBW CC CCA CCC CCD CCF CCG CCH CCI CCL CCM CCN CCO CCP CCQ CCR CCS CCU CD CDB CDD CDF CDH CDP CDS CDU CEA CEB CEE CEG CEL CEM CEN CEO CET CFC CFD CFE CFF CFI CFL CFN CFP CFR CFS CGA CGB CGC CGD CGM CGO CGP CGS CHB CHC CHM CHP CIC CID CIF CIK CIR CIT CIU CJC CL CLA CLC CLF CLP CLR CMA CMC CMD CME CMF CMH CML CMM CMO CMP CMS CMV CMW CNB CNG CNN CNR CNS CNSa CNSb COA CODEN COK COMP COR CP CPC CPD CPE CPF CPL CPM CPN CPO CPP CPR CPRa CPRb CPS CPT CPW CQA CQC CQE CQI CRA CRB CRC CRH CRI CRM CRP CRS CRW CSA CSB CSC CSD CSE CSF CSH CSK CSL CSM CSN CSP CSS CST CSU CTA CTC CTD CTH CTL CTM CTO CTP CTS CTT CTW CUN CUS CVP CVV CWF CWFa CWFb CWP Cai Caires Calamoneri Calcagno Calculs Calders Caldwell Calegari Calinescu Calude Calvanese Camillo Campagnolo Campbell Campeanu Campos Canfield Cang Cano Cantone Cao Capizzano Capobianco Caporaso Cara Caragiannis Carayol Carbone Cardelli Cardone Carles Carlo Carlos Carlucci Carme Carmen Carmo Caron Carpentieri Carpi Carroll Carsten Casacuberta Cassaigne Castellani Castellanos Catalan Catalin Cattaneo Cattani Cattell Catuscia Caucal Cautis Cavadini Cavaliere Cayley Ceccherini Cederbaum Cedric Cegielski Celina Cenk Cenzer Cerny Cerrito Cervelle Cervesato Cesare Cezar Ch Chabrier Chae Chaitin Chalopin Champarnaud Chan Chandra Chandran Changwook Chantal Characterisations Charanjit Charatonik Charikar Chattaraj Chaudhary Chauve Chebihi Chebyshev Checkpointing Chekhova Chekuri Chemillier Chemins Cheng Cheong Chernov Cherubini Ches Chesneaux Chesnevar Chessa Cheung Chi Chia Chiaki Chiang Chiara Chiaverini Chiu Chiuyuan Chlebus Chockler Choffrut Chomicki Choquet Chothia Chou Choy Chr Chretienne Chriscoe Christel Christiane Christoph Christophe Christos Chrobak Chryssis Chrystopher Chu Chuan Chun Chung Chuzo Chwa Ciancaglini Cicalese Cicerone Cincotti Ciobanu Cirstea Cl Claudson Clavel Cleland Clelia Clemens Clementi Clos Closedness Cluet Coalgebra Coalgebraic Coalgebras Cocco Cockett Codenotti Codevico Codish Codrin Coja Col Colbourn Colin Collage Colton Comon Compagnoni Compendex Comput Condon Conejo Confluence Confluency Congruential Conjugacy Conrado Consel Constantine Constantinescu Constantinos Contractivity Conway Coppo Coq Coquand Cori Corina Cormac Corradini Corrado Corteel Cortesi Cortier Cosimo Costagliola Costas Coulon Courcelle Cousineau Cousot Covarieties Crary Creignou Crescenzi Crescenzo Crespi Crick Cristian Cristiano Cristina Cristopher Crochemore Crolard Croot Crutchfield Crvenkovi Crvenkovic Cryptographically Csaba Csan Csirik Csuhaj Cuartero Cucker Culberson Cuninghame Cunsheng Curi Curien Currie Curti Cyrille Czaja Czeizler Czumaj D D'Agostino D'Alessandro D'Arco D'Argenio DAC DAP DAT DAWG DAlessandro DBL DBR DCA DCB DCC DCE DCF DCH DCL DCO DCP DCR DCS DCT DCU DD DDE DDL DDM DEA DED DEM DEP DFA DFAs DFB DFI DFO DFP DFR DGI DGN DGO DHP DIA DIS DIT DKA DLC DLO DLP DLR DMC DMP DMW DNF DOA DOM DOR DPB DPDA DPH DPI DPL DPM DPO DPS DPW DQC DQE DRE DRF DRL DRP DRPa DRPb DRT DRW DSA DSF DSK DSM DSP DSR DSS DSW DTA DTB DTC DTF DTG DTL DTM DTN DTP DTQ DTR DTS DTT DUS DVP DVR Da Daciuk Dag Dagstuhl Dahlia Dahll Dahllof Dai Daisuke Dal Daley Dalmau Damanik Damas Damaschke Damian Damiand Damiani Damien Dana Dani Danicic Daniele Danner Danos Dantsin Danvy Danyi Daowen Dariusz Darondeau Darriba Dartnell Das DasGupta Dasgupta Dassow Datalog Dauchet Daud Daumas Daurat Davide Dawei Daya Daza DeAgostino Debbabi Degano Degtyarev Dehlinger Dekel Dekhtyar Delaunay Delgado Delia Della Delorme Delphine Delvenne Delzanno Demaine Demange Demetriou Demongeot Demri Deng Denis Denise Denney Dennunzio Denys Deppe Derick Desharnais Despeyroux Desreux Dessmark Destainville Determinization Detlef Devillers Deza Dezani Di Diaconescu Dias Diaz Dichotomies Didier Diekert Dierks Dietmar Dikovsky Diks Diligenti Dima Dimitar Dimitracopoulos Dimitri Dimitrii Dimitrios Dimitris Dinesh Dingzhu Dinitz Dinneen Dino Dinur Diophantine Dirk Divisibility Dix Djelloul Dmitri Dmitrii DoYong Doberkat Doerr Dolev Dolinka Dom Domaratzki Dominique Domosi Donadelli Donatella Dong Donghui Dongming Dongsoo Dorel Dovier Dragan Drago Drewes Drmota Drori Droste Droubay Du Dubacq Dubernard Dubois Duchamp Duchi Duchier Ducourthial Dudley Dufourd Duggan Dulucq Duminda Dumitriu Dunne Duntsch Duong Duparc Dur Durak Duran Durand Durchholz Durr Duval Dy DynTC E EA EAA EAC EAF EAG EAM EAS EATCS EAa EAb EB EBV EBVa EBVb EBVc EBVd EBVe EBVf EBVg EBVh EBVi EBVj EBVk EBVl EBVm EBa EBb EBc EBd EBe EBf EBg EBh EBi EBj EBk EBl EBm EBn EBo EBp EBq EBr ECA ECB ECC ECF ECMA ECO ECP ECQ ECS ECSa ECSb ECV ECW EDC EDL EDM EDS EDT EEE EEM EF EFO EFS EGL EGS EHC EIC EIF EIP EIR EJV ELA ELC ELT EM EMPA EMR EMS EMSO EMSa EMSb ENF ENL ENN ENS EON EPC EPE EPF EPM EPP EPS EPT ER ERB ERI ERL ERM ERN ERNa ERNb ES ESA ESAa ESAb ESC ESD ESE ESF ESJ ESP ESS EST ETG ETL ETM ETR ETS ETT EUM EVI EWS EXB EXPTIME Ea Eades Eb Ec Edalat Edmonds Edson Eduard Eduardo Ee Ef Efim Eg Egecioglu Eggers Egidio Egon Ehrenfeucht Ehrhard Ehud Eiben Eidenbenz Eiji Eiju Eike Eilam Eiron Eisenbrand Eisman Eiter Ekaterina Eker Ekin Ekkart Elena Elias Elisa Elkharrat Elkin Elmasry Eloranta Elsasser Elston Elvira Emeric Emese Emil Emilio Emiris En Encheva Enea Engebretsen Engel Engelfriet Enno Enrica Enrique Epifanio Episturmian Equilogical Eran Erd Erdos Erfang Erika Eriksen Erkki Erlebach Erzs Esbelin Escard Escobar Escoffier Esik Esko Espaces Esteban Esterel Etessami Etiemble Etienne Etsuji Etsuro Ettinger Eug Eugen Eugenio Evan Evangelos Eveillard Evfimievski Evgeny Evripidis Ewen Ewert Extremality Eyal F FA FAC FAM FAO FAS FAU FAX FBD FCA FCM FCN FCS FCSa FCSb FCW FDC FDG FDL FDT FEG FES FFF FFI FFR FFT FGA FGB FGM FGP FHH FHI FIP FIW FLC FLD FLS FLT FM FMB FMH FMR FMS FMV FNA FNS FNT FNW FOD FOO FOSSACS FOT FOW FPA FPD FPL FPM FPP FPS FRN FRP FSA FSB FSC FSD FSE FSF FSG FSL FSM FSO FSS FST FTC FTK FTN FTS FTT FVI FWT Fa Fabio Fabrice Fabrizio Factorizing Fages Fagin Faigle Fakotakis Falaschi Falco Falk Fangmin Farach Faraut Farhad Farid Farn Faron Farr Farre Fatos Favaron Fb Feder Fedor Fedou Feige Feigenbaum Fekete Felipe Felty Feng Fenner Feodor Fer Ferdinando Fereti Ferigato Fernandez Fernau Ferran Ferrari Ferretti Ferrucci Ferruccio Fertin Feuerstein Fiadeiro Fiala Fidge Fiebig Fiech Figueira Figueiredo Filippo Filomena Finbarr Finelli Finitary Finkel Finkelstein Finocchiaro Fiorentini Fiorenzi Fischlin Fishkin Fitzkee Fixpoint Flagg Flajolet Flammini Flavio Fleischer Fleischner Flemming Fleury Flocchini Florent Floris Flouret Flum Focardi Fokkink Fomin Fong Fonseca Formenti Formisano Forster Fortnow Fory Foto Fourey Fournet Fournier Foustoucos Foy Fr Fractal Fraenkel Frameproof Francesca Francesco Francez Francine Franciosa Franck Francon Franek Frankel Frankenstein Franti Frappier Fraser Fredrik Fredriksson Freivalds Freund Freyd Fri Frias Friburger Frid Frieder Friedrich Friedrichs Frigioni Frisco Friso Frits Frosini Frougny Fruja Fu Fujie Fujimura Fujita Fujito Fukuda Fukuyama Fulop Fumei Fumio Fumiyo Fung Furedi Furio Furukawa Fuster Futatsugi G GAI GAM GAR GAT GBG GCB GCE GCL GCM GCP GCR GCT GDF GDP GDS GDT GDU GEC GEF GES GFC GFM GFP GFW GGR GHC GHI GIL GIP GLR GLU GMC GMU GNF GNI GOM GPD GPE GPG GPL GPR GPS GPT GRF GRP GSAa GSAb GSC GSL GSP GSS GST GSU GT GTA GTC GTD GTG GTS GTT GTV GWP GWS GWW GXL Ga Gaal Gabarr Gabbay Gaborit Gabriele Gadducci Gadi Gaibisso Gaillard Gajardo Galesi Galina Galmiche Galpin Galton Gama Gambosi Gammerman Gandoin Ganesh Ganjali Gantait Gao Gaoyan Garay Garc Gardiner Gardy Garefalakis Gargano Gasarch Gascuel Gasieniec Gastin Gathen Gau Gaubert Gaugry Gaur Gavoille Gazdag Gazeau Geerts Geffert Geffroy Gelsema Gembu Gemignani Gemmating Gen Generalised Geniet Gennady Gennaro Genomic Genshiro Gentzen Gentzen's Georg Georgiadis Georgiou Geppino Gerbessiotis Gergatsoulis Gerla Germain Gero Gerth Gertjan Gervasi Gerwin Geser Gethin Geuvers Ghandeharizadeh Gharavi Gheorghe Ghica Ghilardi Ghilezan Giaccio Giacobazzi Giammarresi Gian GianLuigi Gianantonio Gianas Giancarlo Gianluca Gianluigi Gianna Gianni Giannini Gianpiero Giesl Gilad Gilles Gillian Giora Giorgetti Giorgio Giovambattista Giovanna Girard Giroudeau Giulia Giuliano Giulio Giuseppe Giuseppina Gl Glabbeek Glasser Glauert Glazek Gloor Glueing Glushkov Glynn Godfried Goeman Goerdt Goguen Goldblatt Goldwurm Goles Golin Golomb Goltz Golub Golynski Gomez Gonzalez Gonzalo Gopalan Goran Gori Gorrieri Goswami Gottlob Gourv Gowland Gr Grabner Gradel Grahne Gramlich Gramm Grandoni Gravier Gravino Grazia Grazzini Greenhill Gregorio Greibach Gribomont Grieser Griffiths Grigore Grigori Grigorieff Grigoriev Gritzmann Gro Groeflin Grohe Grolleau Gromov Groote Grossi Grothendieck Groult Gruia Gryz Grzegorczyk Grzegorz Gu Guaiana Guangting Gucht Guelev Guerraoui Guerrini Guesnet Guessarian Guidec Guido Guijarro Guilherme Guillaume Guillermo Guingne Gumm Gunawardena Gunter Guo Guochuan Guohong Guohua Guohui Guoli Guoliang Guowu Guozhu Gupta Gurevich Gurvits Gusfield Gustedt Guti Gutierrez Guttman Guttmann Guzm Gwa Gy Gyenizse Gyssens Gyula H HAC HAE HASSE HBM HBS HCM HCR HD HDC HDS HDT HFB HG HLD HLM HMC HNJ HOM HPA HPH HPI HPN HPP HPS HPT HQA HRM HRN HSR HSS HTD HTF HTS HVS Habermehl Habib Hacha Hachaichi Hachimori Hada Hadamard Hadas Haddad Haeseler Hagit Hagiya Hahnle Haim Hains Hajek Hajiaghayi Hajime Halava Halbwachs Halfliar Halld Halldorsson Hallett Halperin Hamel Hana HandiAS Hankin Hanna Hanne Hannes Hanno Hanrot Hao Haraguchi Harald Harary Harayama Harbane Hardie Harju Harkat Harman Harriss Hartmanis Hartmann Harumichi Hasegawa Hashiguchi Hashimoto Hatcliff Hatsuyama Hatzis Hausdorff Hava Havelund Hayashi Hayato Healy Heam Heckel Heckmann Hedman Hee Heejin Heggernes Hegstrom Heiko Heine Heinig Heinis Heinrich Hejiao Heldal Hella Hellis Helmbold Hemaspaandra Hemmerling Hempel Hennessy Hennicker Henny Henri Henrik Henryk Hentenryck Henzinger Heoi Herbrand Herescu Herik Herley Herlihy Hermann Hermanns Hermida Hernando Hernest Heroult Herrmann Hertling Hertrampf Herv Herzog Heskes Hesse Hesselink Heuberger Heuer Heum Heus Hevia Heydemann Heylen Hidde Hideki Hierons Higuchi Higuera Hildebrandt Hildrum Hing Hirao Hirata Hiro Hiroaki Hirofumi Hiroki Hiromasa Hiromichi Hirose Hiroshi Hirotada Hirotaka Hirowatari Hiroyuki Hirsch Hirschkoff Hirshfeld Hirvensalo Hisao Hitzler Hivert Hoang Hoare Hochst Hockett Hodas Hoene Hofbauer Hofmann Hofmeister Hohlweg Holdsworth Holger Holmerin Holton Holub Holzer Homotopy Honghui Hongseok Hongwei Honkala Honsell Hooman Hoon Hoory Hopcroft Hornof Hornung Horodecki Horrocks Horst Hoshino Houle Howroyd Howse Hromkovi Hromkovic Hsieh Hsien Hsing Hsiung Hsu Hu Hua Huai Huang Huaxiong Hubalek Huber Hubie Huet Huey Huffman Hui Humphreys Hunziker Huong Hur Hurtado Hwang Hydra Hyland Hypercomputation Hyun IAC IAP IB IBA IBW ICA ICALP ICF ICH ICI ICS ICT IDC IDF IDL IDP IDT IEC IEM IET IFC IFCa IFCb IFG IFT IGI IGM IGN IGP IIB IIS IIU IIV ILC ILP ILT IMC IML IMLL IMS INL INSCC INSPEC INT INTEX IPD IPP IPS IRA IRR IRT IRW ISC ISK ISO ISP ISR ISSN IST ITB ITC ITD ITF ITG ITI ITP IVA IWA Ia Iacono Iain Ian Ianni Ib Ibaraki Ibarra Ic Ichiro Id Ie Ig Igarashi Ih Iida Ij Ik Ikeda Il Ilan Ilaria Iliano Ilie Iliopoulos Ilkka Im Imai Imre Imreh Imrich Ina Inapproximability Incitti Indermitte Indyk Inenaga Ines Inf Infinitary Ing Ingmar Ingo Ingolfsdottir Inoue Inst Interconvertibility Internet Ioan Ioana Ioannis Iovka Ip Iq Ir Irani Irek Irit Isabella Ishai Ishihara Ising Istrail Itai Ito Iu Ivar Ivo Iwama Iwamoto Iwata Iyad J JAGs JVM Jaap Jaco Jacobo Jacquet Jae Jagadeesan Jagannathan Jaideep Jain Jamie Jancar Janodet Janos Jansen Janson Janssen Jansson Jantke Jarek Jarkko Jaroslav Javier Jayme Jeannette Jeavons Jedrzejowicz Jeffery Jelenkovi Jelenkovic Jen Jenkinson Jenner Jens Jensen Jeong Jerzy Jesper Jevti Jevtic Ji Jia Jian Jianbo Jianer Jiang Jianhua Jianjun Jianliang Jiann Jianping Jianwen Jiao Jie Jihun Jimbo Jin Jinbo Jingchao Jiong Jir Jiraskova Jo Joachim Joachimski Joaqu Jochen Johan Johanne Johnstone Joinet Joly Jong Jonoska Jonsson Joong Joost Jop Jos Josep Joshi Jouannaud Joung Jozef Juana Juban Judit Juedes Juha Juhani Jukka Jul Julien Jun Junfeng Jung Junghanns Juraj Juris Justin Jutla Jyrki Jzer K KCC KCN KCR KCRa KCRb KEC KMP KR KRS KSC KSCa KSCb KTP Kabanets Kai Kaiping Kaisa Kaizhong Kaklamanis Kalnishkan Kalorkoti Kalvis Kalyanasundaram Kambayashi Kamel Kameyama Kaminski Kang Kanj Kann Kannan Kanovich Kao Kaoru Kap Kaplan Kaporin Kappen Kappes Kapur Kar Karakostas Karaman Karel Karell Karhum Karhumaki Kari Karim Karla Karlin Karner Karolyi Karpinski Karthikeyan Karuno Kashem Kashiwabara Katajainen Kataoka Katarzyna Katoen Katoh Katritzke Katsunobu Katsura Katsushi Kaufmann Kautz Kawaguchi Kawahara Kayoko Kazuhisa Kazuo Kazuya Keh Keijo Keimel Kelarev Kelemen Kelemenov Kellerer Kemmerer Kempe Kenichi Kenichiro Kenigsberg Kenji Kenjiro Kensaku Kensei Kepser Keqin Ker Kern Kerth Kesner Kesselman Kesten Keung Keye Kfoury Khalimsky Khardon Khasidashvili Khot Khoussainov Khuller Khurshid Ki Kida Kieran Kieu Kikuo Kimbrel Kimio Kimmo Kinber Kirchner Kirousis Kirrinnis Kirsten Kitagawa Kiwi Kiyoshi Kjell Klaedtke Klasing Klaudel Klazar Kleene Kleinberg Klimann Klin Klinger Knapik Knapp Knessl Knopfmacher Knuutila Ko Kobayashi Kobler Kogan Kohayakawa Kohel Kohlenbach Koichi Koiran Koji Kojima Kojiro Kok Kokichi Kokkinakis Kolaitis Kolano Kolb Koll Kolman Kolmogorov Kolpakov Komei Komiya Kondo Kone Konecny Konikowska Konjevod Kononov Konstantine Konstantinidis Konstantinos Kontorovich Koo Kopperman Korec Korn Kornerup Korteweg Kortsarz Kosaburo Koskas Koskinen Kotagiri Kotov Koubarakis Kouck Koucky Kouichi Kouji Kounalis Kousha Koushik Koutsoupias Kowalski Kowaluk Kr Kral Kralovic Kranakis Krantz Krasser Kratochv Kraus Krawczyk Krejcar Kreslavskiy Kri Krieg Kripke Krishnamurthy Krishnamurti Krishnan Krister Kristiansen Krivine Krizanc Krohn Krokhin Krumke Krupski Krurka Krznaric Krzysztof Kuan Kuba Kubierschky Kucera Kucherov Kudoh Kuei Kugel Kuhara Kuich Kuijpers Kullmann Kumar Kummetz Kun Kunc Kunihiko Kunsoo Kunzi Kuo Kuonen Kuper Kupferman Kupke Kurata Kurosawa Kurose Kurshan Kurtz Kurz Kushilevitz Kuske Kutrib Kutten Kutz Kuusik Kwangkeun Kwek Kwiatkowska Kwon Kyriakos Kyue Kyung L L'Her LANGAGE LAO LAR LBA LBC LBH LBI LBL LBM LBP LBR LBW LCA LCB LCD LCL LCM LCR LCS LD LDA LDP LDS LDT LEF LEP LFC LFF LFL LFO LFP LFR LGC LGF LGS LHS LHer LIS LL LLB LLF LLL LMC LMD LMP LOGCFL LOK LOV LP LPB LPC LPD LPH LPL LPP LPQ LPR LQF LR LRA LRC LRD LRE LRL LRN LRP LRQ LRU LS LSB LSC LSL LSM LSP LSR LSS LST LTA LTC LTL LTP LTT LUP LUW LVC LWC LWP LWS LWT LaForte LaTeX Labella Labelle Laber Labhalla Laderman Ladouceur Lafont Lago Laird Lakshmanan Lali Lam Lamathe Lameiras Lampson Lan Lancia Laneve Langages Langerman Langlois Langston Lanka Lanotte Larmore Laroussinie Lasota Lasse Lata Latapy Latella Latour Latteux Lau Laugerotte Laurent Lauri Lav Lavi Lawvere Laxmi Le Leah Lecroq Leen Leeuwen Lefebvre Lefteris Leftmove Legendre Legenstein Lehman Leivant Lemay Lempel Lemstr Lemstrom Leng Lenhart Lenisa Lenz Lenzerini Lenzi Leonardi Leonid Leonidas Leopoldo Lepper Lermer Leroux Lescow Lesens Leszek Letichevsky Letizia Lett Leung Leupold Lev Levcopoulos Leve Levene Levin Li Lian Liang Liapunov Libkin Liebling Lieutier Lih Likavec Lila Lilius Lim Limor Limsoon Lindstr Linearisability Ling Lingas Linhares Lior Liotta Liouville's Liskiewicz Litow Liu Liying Ljubomir Lo Localic Lodaya Lodi Logicality Lohrey Loiseau Loizou Lokam Lombardi Lombardy Lonardi Lonati Longley Longley's Longo Longtao Lor Lorentz Lorenzo Lorys Lothar Louchard Loulergue Lowe Lowry Loyer Lozes Lozin Lu Lubiw Luc Luca Lucanu Luccio Luciano Lud Ludwik Lugiez Luhmann Luigi Luis Luisa Luiz Lungo Luoshan Luque Lusheng Lusin Luttik Lutz Lyapunov Lyndon Lynette M MAH MAS MBM MBP MBR MBS MCA MCB MCC MCD MCF MCM MCP MCS MDG MDP MDR MDT MEH MELL MES MFA MFP MFPS MFR MFW MFY MGL MHB MHF MHP MI MIO MIS MIV MIa MIb MJ ML MLM MLR MLT MM MMA MMB MMS MNM MPA MPC MPD MPG MPK MPP MQB MRE MSA MSC MSI MSL MSO MSOa MSOb MSP MSR MSS MST MTD MTM MTR MUTEX MVM MWS MXF Maass MacLennan MacMahon Machiavelo Maciej Maciel Mackie Maddalena Maddux Madelaine Madhav Madhavan Madhu Madhusudan Madonia Mads Madsen Maehara Maes Maestrini Maffeis Maffray Maggini Maggiolo Magn Magnien Magnoni Magnus Mahnig Mairesse Maitra Majerech Majster Mak Makanin Makanina Makholm Makino Makoto Makowsky Maksimova Mal Mal'cev Malacaria Malajovich Malcher Malchiodi Maler Maletti Malewicz Malgouyres Malika Malkhi Malvestuto Malyshev Manabe Manca Mandache Mandayam Manilla Manki Manlove Manne Mano Manolis Manoussakis Mansour Mantaci Manthey Manuel Manuela Manzini Marathe Marc Marcel Marcella Marcello Marcelo Marchetti Marcia Marcinkowski Marco Marcos Marek Margara Margaria Margarida Margenstern Margherita Margolis Margus Mari Mariangiola Maribel Marios Mariusz Marko Markus Marlet Marron Marsland Marta Martelli Marti Martijn Martine Martinelli Martyn Maruoka Maruyama Marzullo Masahiko Masahiro Masako Masami Masanao Masao Masashi Masatomo Masayuki Masini Massacci Massimiliano Massimo Massini Mastroeni Matamala Mateos Matera Mateus Mathai Matijassevich Matiyasevich Matsuaki Matsui Matsumoto Matsushita Matsuura Matteo Matthai Matthes Matthias Matthieu Matti Matula Matz Maude Mauduit Mauno Maurel Mauri Mauricio Maurizio Mavronicolas Maxime Mayordomo Mayr Mayumi Mayur Mazoyer Mazurkiewicz McCartin McCloskey McCusker McDowell McFearin McIver McQuillan Md Meakin Meduna Meer Megiddo Mehdi Mehryar Mehta Mei Meidanis Meier Meinecke Mejri Melichar Melkebeek Mellin Mello Melou Melski Mendel Mendelsohn Menger Mentrasti Mera Mereghetti Mergible Merkle Merlini Merro Mertens Merzenich Meseguer Messeguer Messner MetaML Metayer Mhalla Micha Michaelis Michal Michaux Michel Michele Micheli Michio Miculan Middelburg Middeldorp Middendorf Mignosi Mignotte Mihaela Mihai Mihalache Mihalis Mika Mikhail Miki Mikkel Mikl Miko Mikul Mila Mili Milidi Milidiu Milind Milius Milo Min Ming Mingsheng Minh Minming Miodrag Miquel Mircea Mireille Mirolli Miros Miroslav Misao Mishra Mislove Mitjana Mitrana Mitsu Mitsuhiro Mitsunori Mitsuo Mityagin Miyamoto Miyano Miyazaki Miyazawa Miyoshi Mizoguchi Mizuhito Mo Modelization Modelling Mogbil Mohamed Mohammad MohammadTaghi Mohammadtaghi Mohri Molano Moller Molloy Mon Monads Monasson Moncel Monien Monin Monnot Monta Montagna Montanari Montangero Monti Mor Morais Moran Morawietz Mordecai Moreau Moreira Moreno Moret Mori Morillon Morimasa Morin Morishita Morita Moriya Morohashi Morten Morvan Mosbah Mosca Moscarini Moschovakis Moser Moshe Moshier Mossakowski Mosseri Motet Moti Motoda Motwani Mouchard Moura Mourad Mourrain Moutai Mu Mubarakzjanov Muchnik Muhlenbein Mukesh Mukhopadhyay Mukouchi Mukund Mullins Mulry Multiplicities Multirate Multitree Mundhenk Mundici Munoz Munro Muradian Murano Murat Murawski Murdoch Muthukrishnan Mutyam Mycka Myra N NAA NAE NAI NAL NAO NAR NAS NAW NBM NBR NBW NC NCB NCI NCN NCP NCS NCT NDP NDS NE NFA NFAs NFD NFL NFM NFQ NFS NGC NGPa NGPb NHD NHG NHO NHP NHQ NID NIK NIM NL NLB NLE NLM NMO NMP NMR NNC NNL NNT NOS NP NPS NPT NRA NRC NRE NRG NRI NRO NRT NSL NSR NSS NSW NTA NTM NTT NTV NUB NUR NUS Na Nadathur Nadav Nader Nadia Nagamochi Nagayama Nageswara Naini Naka Nakajima Nakamigawa Nakamura Nakazawa Nami Nanchen Nandy Nanni Nanri Naoki Naoto Napoli Narad Narayan Narayana Narayanan Narbel Narciso Nardelli Narendran Nata Nataliya Nathalie Natschl Natschlager Naudts Naughton Naumann Naundorf Nausica Navarra Navarro Ndoundam Ne Nebel Negami Negulescu Neh Nehaniv Nehlig Neil Neophytos Neraud Nerode Nesetril Nessel Nestmann Neven Nevin Ng Ngan Ngo Nguyen Nicart Nichitiu Nickau Nicod Nicodeme Nicola Nicolae Nicolas Nicu Niculae Nie Niederhausen Niedermeier Niemel Nierstrasz Niewiadomski Nigel Niggl Nijholt Niklas Nikola Nikolai Nikolaj Nikoletseas Nikolskaia Nikos Nim Nimrod Ning Nino Nipkow Nir Nisan Nishida Nishimura Nishizeki Nissim Nivat Niwi Niwinski Noam Nobuhiro Nobuko Nock Noga Noguchi Nonprimitive Noord Norbert Noriko Normalisation Normann Nour Nourine Noutsos Novelli Nowakowski Nowotka Noy Nunes Nygaard Nyk Nykanen Nymeyer O O'Hearn OAB OAC OAP OAS OBDD OBDDs OBJ OCC OCD OCF OCLC OCS ODA ODT OEI OEO OGE OID OIF OIS OLA OLAP OLC OLG OLO OMB OMC OML OOA OOH OOR OPD OPF OPO OPP OPR OPW ORS OSA OSB OSC OSO OSP OSS OTD OTL OWP Oanh Oba Oberwolfach Och Odrem Oege Oesterdiekhoff Ofer Ogawa Oger Oghlan Ogihara Ognjanovic Ogonek Ohlebusch Ohori Ohsaki Ohwada Oitavem Oja Ojeda Okabe Okada Okamoto Okawa Okhotin Okubo Oles Oliet Olivier Ollinger Olm Oltea Olveczky Omer Omodeo Onbeta Ondrej Ong Online Ono Oostdijk Oostrom Oostrum Opatrny Ophel Orejas Orevkov Oriat Orlitsky Orna Oron Orponen Ortiz Osamu Osterloh Ostheimer Oswin Otfried Otmane Ott Ouaknine Oussous Oya Ozawa Ozeki P PAA PAC PAE PAF PAFAS PAH PAI PAU PAXOS PBF PCA PCC PCE PCEa PCEb PCF PCG PCL PCN PCO PCP PCR PCS PCU PDC PDI PDL PDS PEC PED PEE PES PEZ PFA PFB PFD PGC PGI PGS PHC PIA PID PIF PII PIL PIS PJB PKR PLC PLE PLL PLM PLN PLP PLR PLV PMA PMC PMD PMH PMM PMO PMP PMS PMT PNL PNP PNR PNT PNW POS PPC PPL PPM PPN PPS PPT PQ PQB PQP PRA PRB PRC PRH PRM PRN PRT PRU PSA PSC PSD PSE PSF PSH PSL PSP PSPACE PSR PSS PST PTAS PTB PTC PTI PTL PTN PTP PTR PTS PU PVI PVS PVT PWC PWR PWT Pabon Pacheco Pachter Pacini Padawitz Padmanabhan Padr Paepe Pagli Paiva Pak Palamidessi Palano Palash Paliath Pallo Palmigiano Palopoli Paluch Panangaden Panholzer Panigrahy Panina Panizza Paola Paolo Papadakis Papadimitriou Papazian Paracategories Parametrisation Parametrization Parametrized Parantho Parc Pardo Paredaens Pareto Parga Parida Parikh Parosh Partha Pasanen Pasareanu Paschos Pasechnik Pasquale Paterson Patrizia Pattinson Paulo Paun Pavan Pavel Pavesi Pavlovi Pavol Pawe Pawel Payton Pazos Peano Pedicini Pedone Pedrotti Peirce Pekka Pelc Peleg Pellegrini Peltier Penaud Peng Peralta Pereira Perennes Pergola Perkovi Perkowski Peron Perrin Persiano Pessoa Peth Petit Petitot Petkov Petkovi Petkovic Petr Petra Petre Petreschi Petrivich Pettie Peyri Peyriere Pfenning Pham Phan Philipose Philipp Philippe Phokion Pichler Picinin Picouleau Pierluigi Piero Pierpaolo Pierro Piet Pieter Pietracaprina Pietro Pighizzini Pijls Pilu Pinar Pinna Pino Pinotti Pinter Pinzani Piotr Pirillo Pistore Pita Piterman Pitts Pixton Plandowski Pless Plotkin Pluh Pluhar Pnueli Pochuev Podelski Podolskiy Poensgen Poibeau Policriti Pollett Poly Polynat Pomello Ponse Ponty Poon Poorten Popa Popov Porrot Porst Poset Posets Positivstellensatz Positselsky Potapov Poulakidas Poulalhon Pr Prabhakar Pradella Prakash Prangenberg Prasad Prasetya Predrag Preis Premonoidal Prencipe Preparata Presburger Presheaf Presorting Priami Prieur Primality Prisco Prisner Priti Probst Prodinger Prodon Programme Proietti Prolog Propp Prosenjit Proskurowski Prouhet Prugel Pruhs Pruim Przymusinski Pu Pucci Pucella Pudl Pudlak Pugliese Puitg Pulleyblank Pultr Pym Pyo Q QAF QAQ QBP QCC QCE QCL QCM QCW QEC QEM QEW QFO QLB QLL QOB QPC QPL QR QRP QUU QVD Qadeer Qi Qian Qiang Qiao Qing Qingmin Qiu Qizhi Quaglia Quantales Quas Quesada QuickHeapsort Quilliot Quintarelli Quintero R RAA RAC RAS RBC RBE RBR RCB RCC RCD RCE RCF RCI RCO RCP RCR RCS RCT RDA RDB RDN RDT RDU REH REI RER RES RFC RFCa RFCb RFI RFP RFSAs RFV RGC RGD RGT RHC RHL RHP RIL RIR RIS RKR RLB RLG RLH RLI RLL RLR RLS RLT RM RMA RMB RMR RNA RNC RNCa RNCb RNI RNL RNT ROL RPA RPC RPD RPI RPL RPS RQM RRA RRB RRC RRE RRG RRM RRQ RRR RRT RS RSC RSD RSE RSI RSL RSM RSR RSS RST RSTP RT RTB RTC RTD RTILE RTN RTP RTR RVD RVM RVN RVP RWA RYG Ra Rabah Rabin Rabinovich Rachid Radha Radhia Radovanovi Radzik Raffaele Raffalli Raffinot Raghavan Rahat Rahonis Rahul Raimonds Rainer Rajaraman Rajeev Rajsbaum Rakesh Ralf Rama Ramakrishnan Ramalingam Ramamohanarao Raman Ramesh Rampersad Randeep Randerath Rao Rapaport Rasala Rasiowa Raskin Rastegari Rastislav Rathke Rauzy Ravelomanana Ravi Ravikumar Ravindran Ravn Raynaud Rayzman Razborov Realtime Recalde Redouane Regev Reggio Reghizzi Regnier Rei Reichel Reid Reiko Reimann Reiner Reinhard Reinhardt Reischuk Reiter Reith Remila Remmel Ren Renaud Reneta Renyi Renzo Rescigno Resende Ressayre Resta Restivo Retor Retore Reus Reutenauer Reza Reznik Rhode Riany Ribadas Ricardo Riccardo Richomme Rida Riedel Riely Rigo Riis Rimli Rina Rinaldi Rindone Ringeissen Riordan Ristoro Rivat Rivier Rizzi Ro Robilliard Robson Rocco Rodeh Rodolphe Rodr Rodrigues Roel Roever Rogardt Roggenbach Rogozhin Rohrmair Roitershtein Rojas Roka Rolf Romashchenko Roncato Rondogiannis Rong Ronkko Ronny Ronse Roques Ros Rosalba Rosario Rosaz Rosenkrantz Rosick Rosolini Rossella Rosser Rossi Rossin Rossmanith Rost Rosta Rosu Rotaru Rothe Rougemont Roura Royer Rozenberg Ru Ruan Rudolf Rudra Ruggero Ruggieri Ruiz Rummelhoff Runciman Ruohonen Rus Rusinowitch Ruskey Rustam Rutten Ruy Ruzicka Rybalov Rydhof Rym Ryohei Ryosuke Rytter Ryu Ryuhei S SA SAA SAB SAC SAF SAI SAR SAS SBD SBP SBR SBT SBV SC SCA SCC SCCS SCF SCH SCI SCL SCM SCN SCP SCR SCS SCT SD SDA SDB SDD SDE SDG SDI SDL SDR SDS SDT SE SEC SEH SEN SEP SER SES SFA SFC SFD SFE SFO SFU SGA SGB SGE SGL SGM SGP SGR SGT SHR SHS SHT SIE SKZ SL SLA SLB SLC SLD SLL SLM SLO SLP SLR SLS SLT SLW SMA SMB SMC SMG SMI SML SMM SMO SMP SMR SMT SMW SNA SNC SNG SNI SNN SNR SNT SNW SONET SOR SP SPA SPB SPC SPD SPF SPG SPI SPL SPM SPP SPR SPT SPV SPX SQL SQT SR SRA SRC SRK SRL SRP SRR SRT SRU SS SSC SSD SSE SSF SSH SSI SSM SSP SSQ SSR SSS SST SSW STA STE STI STL STM STN STO STP STR STS STT STeP SUL SVP SWC SWI SWR SWS SWW SXC Sabater Sabelfeld Sabin Sabrina Sadakane Sadaki Sadowski Sadri Safavi Sagi Sagonas Saharon Sahinalp Sakai Sakakibara Sakama Sakamoto Sakarovitch Saks Sakuma Salbany Salger Salibra Salomaa Salvy Sambin Sami Samir San Sandberg Sandip Sangiorgi Sanjay Sanjit Sanming Sannella Sano Sant Santhanam Santi Santini Santis Santocanale Santoro Santosh Sany Saraswat Sarfraz Sarit Sarkar Sassone Sato Satoru Satoshi Sattar Satyanarayana Sauerhoff Savick Savicky Savio Sawada Scarabotti Scarcello Scedrov Sch Schachte Schaeffer Schalk Schaps Schaub Schellekens Schellhorn Schellinx Schettini Schiper Schlechta Schnitger Schnoebelen Schobbens Schoofs Schost Schott Schr Schroder Schuierer Schurmann Schuurman Schwabe Schwefel Schwentick Schwichtenberg Schwoon Sci Sciortino Scollo Scozzari Scutell Sebastiaan Sebastiano Seda Seebold Segala Seibert Seiden Seinosuke Seishi Seiya Sekar Sekerinski Seki Seldin Selinger Selman Selmer Selmi Semenov Semiperiodic Semiretracts Sen Sendra Senellart Sengupta Senizergues Seop Serafino Serbanuta Sere Serena Serenella Sergei Sergey Sergio Serna Sernadas Serra Serre Serri Seshia Sessa Seth Setsuo Severi Sewell Seynhaeve Sgall Sgarbas Sha Shachnai Shagrir Shahar Shahbazyan Shahram Shahrokhi Shai Shallit Shamir Shan Shane Shanfeng Shang Shankar Shankara Sharma Shasha Shashi Shavit Shawn Shay Shaz Sheard Shekhar Shelah Shelly Shen Sheng Shengyu Shenker Shi Shibata Shifu Shigeki Shii Shikishima Shinohara Shinya Shiro Shlomi Shlomo Shmatikov Shmuel Shou Shoukourian Shparlinski Shragowitz Shuichi Shuji Shum Shunsuke Shuzo Shvartsman Sibeyn Siegel Siegelmann Sieling Sigrid Sikorski Silberstein Silberztein Silva Silvano Silvestri Silvia Silvio Sim Sima Simanovskis Simari Simeone Simeoni Simi Simona Simone Simonot Simplot Singhal Sinha Sini Siniolakis Sipma Sistla Sittampalam Siu Sivakumar Skjernaa Skodinis Skordev Slany Slapal Slissenko Slutzki Smolin Smotrovs Smyth Snatzke Snir Soboci Sohler Sohn Sohoni Sokoban Sokolova Sokratova Solis Solitar Solovay Solovay's Soloviev Sommese Sonia Sontag Sorin Soroosh Sosik Sourd Spaccamela Spaink Spehner Sperner Spielman Spight Spinrad Spirakis Splittable Spor Spreen Springintveld Sproston Sprugnoli Spruit Spyratos Srba Sre Srinivasa Srinivasan Sritharan Srivastava Stadtherr Staiger Stamate Stanislas Statecharts Stavros Stee Stefan Stefania Stefano Steffen Steger Steinh Steinhofel Stengel Stephan Stephane Steyaert Stiebe Stiglic Stinson Stojan Stoltenberg Stolzenburg Storch Stougie Stoye Stra Strahm Strassburger Strassen Streicher Strooper Studer Sturmian Sturt Su Subhamoy Subhas Subhash Subiono Subresultants Subtyping Sudac Sudborough Sugihara Sui Sukyoung Sumitomo Supratik Suraj Suresh Suri Sussman Sussmann Susumu Sutner Svante Sven Svjetlan Swaminathan Swierstra Sylvain Sylvie Systolic Sz Szabolcs Szegedy Szeider Szepietowski Szpankowski Szu Szwarcfiter T TAA TAC TAS TBF TBG TBN TBO TBP TBS TBT TCA TCB TCC TCD TCF TCI TCM TCR TCS TCSCDI TCT TDA TDC TDI TDL TDP TDS TDT TDW TEI TET TFP TFS TGA TGD TGT THC THEOR THV TIG TIL TKD TL TLH TLL TLP TLT TLV TMP TMS TMT TMW TNS TOL TOS TPA TPAL TPE TPH TPI TPO TPP TPR TPRa TPRb TPS TRC TRG TRP TRR TRT TSA TSB TSC TSI TSJ TSL TSM TSN TSP TSS TST TTA TTC TTD TTI TTR TUR TUV TVR TVS TWC TWF TWM TWN TZP Ta Tadao Tadashi Taha Tajima Tajine Tak Takahashi Takakazu Takaki Takao Takaoka Takashi Takeda Takenaga Takeshi Taketomi Takimoto Takki Takuya Tal Talagrand Talbot Talcott Tam Tamaki Tamar Tamari Tami Tamir Tamm Tamura Tanaka Tanca Tandy Tanja Tannen Tannier Tantau Tardif Tarlecki Tarmo Tarrant Tasi Tasic Tat Tatiana Tatjana Tatsuru Tatsuya Taubenfeld Tchuente TeX Telle Tena Tenenbaum Teng Teodor Teodosiu Teofilo Terada Terhal Terlutte Tero Terrance Teruel Terwijn Tetsu Tetsuo Tetsuya Tevfik Teytaud Th Thakur Thanh Thapliyal Thayer Theodoulos Theoret Therese Theyssier Thiagarajan Thiant Thibon Thierauf Thierrin Thierry Thijs Thilikos Thimm Thimonier Thomo Thomsen Thorsten Thu Thue Tich Tichit Tien Tijdeman Tilings Tillich Tillmann Timo Tinelli Ting Tini Tison Tixeuil Tiziana Tjalling Tobias Toda Todinca Toeplitz Toffoli Tofte Tohyama Tokunaga Tokushige Tokuyama Toman Tomasz Tomi Tomita Tommasi Tommaso Tomohiro Tomoki Tomoko Tomomi Tomonobu Tomoyuki Tor Torras Torre Tortora TortoradeFalco Toru Toshihide Toshihiko Toshihiro Toshiyasu Toshiyuki Touitou Toussaint Tova Trahtman Traian Treinen Trevisan Triguero Troestler Trow Troyanov Tsai Tsan Tse Tsinakis Tsitsiklis Tsuchida Tsuchiya Tsuen Tsuiki Tsuji Tsujishita Tsunehiro Tsur Tue Tulley Tullio Tuomas Tuosto Turing Turuani Tutte Tuza Tzouvaras U UAS UAT UBA UBG UBL UBS UCA UCC UCCa UCCb UCD UCF UCP UCT UCW UDG UDI UDN UDS UEA UEC UEP UEW UGC UHL ULI ULN ULP UMC UMH UND UNF UNR UPA UPI UPM UPU UPV UQC URL USL USM USP USS UT UTA UTC UTL UTW Uehara Ugo Uiterwijk Ukkonen Ulam Ulf Ulidowski Ulrich Ulrik Umberto Uncomputability Uncomputably Undecidability Underspecification Une Unger Uni Univ Unsupervised Updatable Uri Uribe Uriel Urso Ushakov Uustalu Uwe V V'yugin VAUCANSON VBL VBV VCP VDP VFU VHB VIC VIL VIP VKA VLL VLR VRF VRS Vaandrager Vaccaro Vacillatory Vagvolgyi Vajnovszki Val Valencia Valent Valentin Valentini Valeria Valerio Valero Valiev Vall Vallee Valverde VanHentenryck Vanack VandenBussche Vandermonde Vandeth Vandeurzen Vanessa Vangelis Vardi Varj Varju Varmo Varricchio Vasco Vashti Vassalos Vassilis Vaszil Vau Vaughan Vazirani Vazquez Veanes Vedova Veith Vel Velebil Vempala Vene Venema Venkatesh Venkateswaran Venneri Ventsov Ver Verbitsky Verbrugge Vereshchagin Verlan Vermeulen Verri Verschelde Verus Vesa Vialette Vianu Vicente Vickers Vidal Vide Viennot Viggo Viglas Vigna Vigneron Vijay Viktor Vilares Vilhelm Viliam Villalba Villemaire Vina Vincenzo Vineet Vink Vinodchandran Violetta Virgile Viry Visser Vit Vitaly Vitanyi Vladan Vladimiro Vlady Voge Vogler Volanschi Volker Volkov Volkova Volodya Vorobyov Voronkov Voronoi Voss Vovk Vries Vrt'o Vuillon Vyugin W WA WAC WBB WBF WBP WBR WCA WCD WCI WCQ WDM WDP WDR WDS WFF WGA WLF WMA WMD WMT WNC WNI WPC WPE WQO WSB WSF WSI WSN WSP WST WTG WUR WWA WWC WWS WWW Wabenhorst Wachenchauzer Wada Wadge Wah Wahlstr Wai Waissbein Wakabayashi Wakatsuki Waldisp Waldispuhl Waldmann Walid Wallen Walrasian Waltham Walukiewicz Wamel Wampler Wareham Warmuth Warnow Watanabe Watjen Watrous Weddell Wegener Weigt Weihrauch Weil Weili Weiming Wen Wenfei Westbrook Whitesides Widmayer Wiedermann Wiehagen Wieringa Wijesekera Wiklicky Wilf Wilke Willem Willmott Wim Wimmers Winands Winfried Winkowski Winskel Winterhof Wirsing Witbooi Witold Wlazinski Wo Woeginger Woess Wojciech Wolfe Wolfram Woll Wolter Wong Wootton Wormald Worrell Wotschke Woude Wu Wujia Wun Wyk X XII XIII XIV XML XOR XPath XQC Xhafa Xi'an Xian Xiang Xiao Xiaodong Xiaohua Xiaomin Xiaoming Xiaotie Xiaoyan Xiaoyu Xie Xin Xinbo Xinmao Xiong Xiufeng Xizhong Xu Xuding Xue Xuemin Xuesong Xun Y YCQ Yahiko Yair Yajima Yamada Yamamoto Yamasaki Yan Yanagisawa Yann Yannakakis Yannick Yannis Yanov Yantra Yao Yaron Yashar Yassine Yasubumi Yasufumi Yasuhiko Yasuhiro Yasuhito Yasuko Yasuo Yat Yazdani Yde Ye Yefim Yegnanarayanan Yeh Yeong Yi Yiannis Yifeng Yih Yijia Yinfeng Ying Yingshu Yishay Yiwei Yngvi Yohji Yoko Yokomori Yokouchi Yonatan Yoneda Yong Yongge Yongsen Yonit Yoo Yoram Yoshiaki Yoshida Yoshifumi Yoshihiro Yoshikawa Yoshimitsu Yoshinaga Yoshino Yoshinori Yoshito Yoshiyuki Yossi Yosuke Yu Yuan Yue Yuechen Yuen Yugami Yuh Yuji Yukiyoshi Yuliang Yung Yuri Yurii Yuriy Yusuke Yuuki Yuval Yuvaraj Yuxi Z ZOL ZPC ZTA ZTP Zacchi Zaffanella Zaks Zamboni Zandron Zarba Zaslavsky Zavattaro Zecchina Zenon Zeugmann Zhang Zhao Zhaohui Zhe Zhen Zheng Zhenrong Zhi Zhiming Zhiyuan Zhong Zhou Zhu Zhuhan Ziadi Zijl Zilio Zilles Zimmermann Zissimopoulos Zito Ziv Zizza Zofia Zohar Zolt Zoran Zsolt Zsuzsanna Zunino Zurab Zusman Zwaag abbrev abc abelian ack acknowledgement acm adic adjunctions adversarial affine affines aj al aleatory amb ambients analogue analyse approximability apr ar arborescent arit ary asymptotics atoires auctions aug automaticity aux avec aw awomir axiomatizability az azek b ba backtranslation bastien beebe behaviour behavioural behaviours bert bi bibdate bibmods bibnames bibsort bibsource bicliques bicolored bicomponent bicriteria bidimensional bidirected bidirectionality binoid binoids bio biographie biomolecular bisimilarity bisimulation bler bner boundedness br brah busing bytecode byvolume c caching cancellative cartesian cas cellulaires centroskew centrosymmetric cgi chan characterizations chessboard chet chi chilean chter cile circulants ckenhauer cker cking ckner classifiability clausal co coNP coalgebra coalgebraic coalgebras coalitions cocycle codetable codicity cographs coinduction coinductive coiteration colorability coloured colouring colourings com combinatorist combinatory comonad complematarity complexit computably concat confluence conformon congruences conjugacy contractile corecursion corpsource coset covarieties criterium cryptosystems cs ctor cutsets cyclicity czyk d d'Alessandro d'arbres dAlessandro da datalog dataspace dataspaces datatypes dcpos de deAlfaro deAngulo deBoer deFalco deFigueiredo deLuca deMoor deWolf dec declustered declustering decodable defeasible definability del delaHiguera delaVega deque der derivated derivational des descriptional determinization developable di dic diger digraph digraphs discret discretization dlich docstring dra drawability dric drzejowicz dt du duction duotaire e ecio eco edu eigenproblem ek elles elsevier email embeddings en enc enz episturmian equational er erb es estoc evar evolutive expressivity f factorials factorizing fanin feb fel fer festoon fibrations finis finitary firewalls fixpoint florilegium fonctions fractals functorial g gari ge gej generalisation generalised genericity genome genomic ger gielski gis groundness guez gv haplotyping hereditarily hl hlenbein hm hnle homological homotopical hrmann html http hybridization hypercoherences hypercomputation hypercomputing hyperdecidability hypergraph hypergraphs hypermaps hyperplanes hyperrobust i ichiro ieee ikusts il implicational inapproximability independencies interprocedural interreduction intervalle intuitionistic ique iri isoperimetric ispell issn itemsets ivoj j jan jek jo jp jul jun k ka kely ki kiewicz ko kora kos kovic kow krantz ku kuc l l'espace labelled laceability ladeau langage langages lapal le learnabilities learnability les lfsd lgyi li lia lin linescu ll lle ller logique loopless lou lovi ltx lu lveczky lvez lzer m makespan manifesto mann matchgates matroid matroids maximin mcs mek mence ment metabelian metrisability metrizability mez mi mie mila min minimality modelled modelling mono monoid monoids morphismes morphisms mpeanu multiagent multicast multicounter multiequations multifunctions multigraphs multimedia multiplicities multipoint multiset multithreaded n nard nderhauf ndez ndor ne nen ner nescu nez ng nguez nh nhfb nia niak niakowski nica nie nien nig ning nio nizergues nkk nl nnich nnimann nombrable nonadaptive noncanonical noncommutative nonexpansive nonmonotonic nonparametric nonregular normalizability nos nov ntean ntsch nu numberings ny nyi nzi o oct odziejczyk odzimierz ois onard online optima org ou overexpressions ovi oz p pancyclic paracategories parall parameterised parsable partitionable partizan pavages pdf pentads perceptron pessimal pez phane phylogenetic po polyatomic polymorphism polynomially polyominoes polytope pomsets posets powerdomain powerlocale powerset pr pre preconditioners precongruence preorder preorders presheaf primality prolog pseudoknotted pseudometric pseudorandom pseudorandomness pubcountry pullback q quasigroups quasiperiodic quaternion quickselect quilibr quorums r ramified rarchies rard rationnellement rationnels raud recursivity redex redi refutably relator rensen replicas representability restatements rewritings rez rg rgen rger rgio rgisser rgy rhombi ric rie rien rk rka rklund rmann rner rnsson roadmap rolyi ronique rotatable roundings rr rrez rsson rstea rta rtner ru rzy s sandpiles sar sarm schedulability scher sciencedirect scientifique semidecision semigroup semigroups semilattices semilinear seminorms semiring semirings semisimple semivaluations sep sepackage sequent sequentiability ser ses shellability sheng shi sho shogi showtags si sieniec sik skel skewsymmetric skov sofic sok sparsification spernerity sser st sta stabilizingl ster sters subdomination sublinear sublogarithmic submodular submonoids subsequential subshifts subsumption subsymbolic subterm subtyping subword subwords supernondeterministic sur syntenic sz szl szyn t tableaux tayer tcs tef tefan tefankovi tel tessalation tetrominoes th tha thermography ti tienne tilings timestamps ting tis tjen tomographical toolbox topologic transductions transmembrane transpositions travelling triangulations trichromatic triques tropological ttir ttler twocolumn typechecking tzenberger u uch udia ukasiewicz ulovi un uncompletable uncomputability undecidability une unsrt uri usepackage utah v vanBakel vanBreugel vanGlabbeek vanMelkebeek vanZijl vandenHerik vanderAalst vanderWalt vanderWoude vant ve vec von vonzurGathen vs wMSO wavebands wavelet wc wci webbed wei wellfounded workflows www x xiii xv xvi xx xxnote y ya yat z zanc zar zef zeilles zsef zur zvan zvanDiaconescu