AAA AAB AAC AAD AAF AAH AAK AAL AAM AAN AAP AAR AAS ABB ABE ABK ABP ABPs ABS ABSVALUE ABV ABW AC ACA ACB ACC ACD ACF ACH ACI ACL ACM ACN ACP ACR ACS ADAa ADAb ADC ADF ADG ADI ADJ ADM ADNB ADP ADR AE AEA AEC AED AEI AEL AEM AER AES AFA AFAs AFC AFE AFF AFI AFJ AFL AFM AG AGA AGC AGD AGM AGN AGP AGR AGS AHC AHI AHL AHT AI AIA AIB AIC AIE AIG AII AIMD AIS AIT AKS AL ALA ALC ALGOL ALK ALM ALN ALPHARD ALT AMA AMB AMC AMD AMI AML AMS AMT AMV ANC ANL ANM ANN ANS AOA AOD AOE AOL AOP AOR APA APB APC APF API APL APO APP APPL APR APS APSP APX AQA AQE AQP AQT ARA ARN ARP ARR ARS ASA ASC ASCII ASE ASF ASG ASI ASL ASM ASR AST ATA ATB ATC ATG ATH ATL ATM ATP ATPSDT ATSP ATT ATU AU AUC AUH AVD AVDs AVS AYDAR AZ Aa Aanderaa Aaron Aaronson Abadi Abbas Abboud Abd Abdel Abdelmalek Abdulla Abel Abelson Aberth Abiteboul Abraham Abrahamsen Abrahamson Abramowitz Abramson Acad Aceto Achlioptas Achour Achugbue Ackerman Ackermann Acliques Acyclicity AdWords Adachi Adam Adamaszek Adamec Adams Addad Addressless Adi Adiri Adkins Adler Adnan Adrian Adversarial Adversarially Adya Afek Afrati Afshani Agarwal Aggarwal Agostino Agrawal Aguilera Aharonov Aho Ahuja Ai Aiken Ailon Aitken Ajmone Ajoy Ajtai Akeo Akima Akra Akshay Akshayaram Alain Alan Alantha Alasdair Alban Albany Alber Albers Albert Alberta Alberto Albuquerque Alekhnovich Aleks Aleksander Aleksandr Aleksandrov Aleksandrs Aleliunas Alessandro Alex Alexander Alexandre Alexandros Alexandru Alexey Alfred Alg Algol Ali Alice Alistair Alistarh Alkida Alla Allan Allard Allen Allender Almagor Alok Alon Alonso Alston Alstrup Alt Altenkamp Altman Alur Alvy Amano Amar Amaury Ambainis Ambiquity Ambuj Ameloot American Ames Amherst Amin Amir Amiram Amirbehshad Amit Amitabh Amnon Amos Amotz Amphisbaenic Amram Amsterdam Analysing Anand Anari Anastasios Anat Anca Anders Andersen Anderson Andersson Ando Andr Andrea Andreas Andreev Andrei Andrew Andrews Andrey Andries Andris Andrzej Angela Angeles Angelika Angelo Angelopoulos Angluin Anil Anindya Anish Anke Ankit Ankur Ann Anna Annam Anne Ansell Anselm Anshul Anthony Antiferromagnetic Antoine Anton Antonella Antoni Antonin Antonio Antonymy Antoy Antsaklis Anuj Anupam Appie Appl Applebaum Apr April Aram Aranyak Aravind Arbib Arden Argonne Argus Ari Arie Ariel Arik Arikan Arings Aris Arithmetics Ariyoshi Arjomandi Arkadev Arkadiusz Arkin Armand Armando Armen Armin Armoni Armstrong Arnab Arnaldo Arnaud Arnborg Arne Arnold Arnon Aronis Aronson Arora Arpita Arratia Arthur Artinian Arto Artur Arvestad Arvillias Arya Asaf Asano Asarin Ascher Asharov Ashcroft Ashenhurst Ashish Ashkan Ashley Ashok Ashtiani Ashwin Ashwinkumar Aspnes Assaf Asser Assoc Asymptotics Atallah Athanasios Atilla Atish Atlanta Atri Atserias Atta Attiya Auerbach Auf Aug Augustson Aurel Ausiello Auslander Aust Austin Austrin Autoepistemic Automata Automatique Avi Aviad Aviezri Avigdor Avikam Avin Avinatan Avishay Aviv Avni Avrim Avron Awasthi Awerbuch Awodey Axiomatics Axiomatization Axiomatizations Aydin Azad Azar Aziz Azriel B BA BAC BAE BBB BBM BC BCA BCB BCL BCMP BCN BCP BCS BCT BDQ BDS BEC BEI BEM BEP BFB BFD BFE BFL BFP BGP BHM BHS BI BIC BIE BIS BJ BK BLA BLH BLS BME BMI BMM BMS BNA BNP BOD BOM BPA BPC BPE BPG BPI BPLD BPP BPS BQP BR BRP BRa BRb BRc BRd BSA BSC BSD BSE BSF BSI BSIBC BSL BSO BSS BTA BTC BTD BTF BTM BTP BTR BTS BVT BWO BWT Baader Babad Babai Babaioff Baber Babichenko Baccelli Bachmair Backoff Backus Badanidiyuru Bader Baer Baeten Baeza Bagchi Baier Bal Bala Balagopal Balakrishna Balas Balasubramanian Balazinska Balc Balcan Balcazar Baldan Balder Balkanski Balke Balkovich Ballantyne Balliu Balodis Baltag Balter Baltsan Bambos Banerjee Bangalore Bansal Barak Barany Barbay Barcel Barcelo Bareiss Barenboim Barendregt Barna Barnaby Barrington Bartal Bartholdi Barto Baruah Baruch Barvinok Bas Bashe Bashkow Baskervill Baskett Basu Batcher Bateman Bateni Batni Batu Baudet Baumann Baumert Baur Bauwens Bavel Baxendale Bayes Bazilevsk Bazilevskii Bazzi Beal Beale Beals Beame Beatty Beaudry Becchetti Bede Beek Beeri Behnezhad Beimel Belg Bellare Bellmore Belovs Benedikt Benford Bengt Benschop Benster Benzaken Bera Beranek Bereg Bergadano Berge Berger Bergstra Berkholz Berkovits Berlekamp Berman Bernd Bernhart Bernholtz Bernick Bernouilli Berthold Bertsch Bertsimas Berztiss Betti Betweenness Betwenness Beus Beyer Beyersdorff Bezalel Bezhanishvili Bezier Bharat Bhargava Bhargavan Bhaskaram Bhat Bhatt Bhattacharyya Bhavana Bi Bianchi Biao Bibel Bickart Bickford Biclique Biconnectivity Bielefeld Bienvenu Bierstone Bigelow Biharmonic Bilardi Billionnet Bimatrix Binbin Bingkai Birkhoff Birman Bisimulation Bisimulations Bistarelli Biswal Biswas Bitansky Bitmap Bitmaps Bj Bjarki Blacksburg Blais Blaise Blanchet Blanyer Blasiok Blass Bledsoe Blei Blelloch Blevins Blikle Blondin Bloniarz Blumenthal Blumer Blumofe Blutto Bo Boaz Bodirsky Bodlaender Bodo Bodrato Bodwin Boehm Boesch Bofinger Bogdan Boja Bojana Bojanczyk Boker Bol Boldt Boleslaw Bollob Bollobas Bolour Bonacina Bonakdarpour Bonamy Boncelet Bonchi Boneh Bonifaci Bonzon Bookstein Boole Boppana Bor Borel Borko Borodin Borodini Boroujeni Borradaile Borzoo Bosek Bottenbruch Bourgain Bournez Bousquet Bovet Boxma Boyell Boyer Boyland Bozeman Br Bracha Brafman Brakerski Brandl Brandwajn Brans Brassard Bratman Braunm Braunstein Braverman Braz Brazdil Breitbart Breuer Brien Brigitte Brin Bringmann Brinkman Britton Bro Broder Broeder Brooker Brookes Broome Brotherston Brouwer Broy Bruman Bruni Brunsch Brzozowski Brzuska Bs Bshouty Btrees Bubeck Buchbinder Buchholz Buchin Buchsbaum Budde Buehler Buhrman Bui Bul Bulatov Bulgren Bundit Buntine Burge Burgisser Burkhardt Burks Bursky Burstall Bushkov Bussche Busse Bustoz BwK Bxx Byrka Byrne C CAA CAC CACM CACMA CAF CAG CAO CAS CAU CBA CBF CBM CBP CBR CC CCA CCB CCC CCD CCE CCG CCH CCK CCL CCM CCN CCNS CCO CCP CCQ CCR CCS CCV CDCL CDE CDF CDH CDL CDP CDR CDT CE CEA CEB CED CEE CEF CEH CEI CEP CER CES CET CEU CF CFA CFC CFE CFF CFH CFID CFL CFM CFO CFP CFQ CFR CFS CFT CFTOKEN CFV CGA CGB CGD CGE CGH CGI CGNFO CGNFP CGO CGS CHA CHB CHC CHD CHF CHG CHM CHR CHS CID CIF CIL CIOQ CIP CIR CIV CIW CJA CJM CJQ CKC CL CLB CLC CLE CLG CLK CLL CLO CLP CLR CLS CLiCS CMA CMB CMC CME CMG CMI CMO CMP CMS CMV CN CNC CNF CNFs CNM CNO CNR CNS COC CODEN COF COM COMP COMPUT COR COS CPC CPD CPE CPF CPG CPL CPM CPN CPO CPP CPQ CPR CPS CPT CPV CPW CPY CQ CQB CQC CQM CQR CQS CQT CQs CR CRA CRAI CRC CRCW CRE CRF CRI CRL CRM CRN CRO CRP CRR CRS CRYPTO CS CSA CSC CSD CSE CSG CSI CSL CSM CSMA CSN CSO CSP CSPs CSR CSS CST CTA CTB CTC CTD CTE CTG CTI CTL CTM CTN CTO CTP CTQ CTS CTT CUA CUL CUS CVA CVC CVV CWM CWS CWT CXQ CZK Cabay Caching Cadek Cahill Cai Calcagno Calderbank Calingaert Camil Cand Candes Canetti Cantelli Cao Capacitated Caplain Carbone Carboni Carmit Carmon Carnap Carola Carole Carsten Caspi Cassaigne Casta Castagna Castaneda Castellani Cate Catriel Causey Caviness Cayley Cds Celli Centext Cerone Certaine Cesa Cesare Ch Chadha Chaitanya Chaitin Chakraborty Chalermsook Champeaux Chan Chand Chandra Chandran Chandresekaran Chandru Chandy Chaoping Chaput Characterizations Charalampopoulos Charatonik Charbit Charikar Chatterjee Chattopadhyay Chau Chaudhuri Chazal Chazan Chazelle Chazelve Chebolu Chebycheff Chebyshev Chee Cheeger Chekuri Chelsea Cheng Chenzi Cher Cheraghchi Cherniavsky Chernoff Chervonenkis Chesnay Cheung Chia Chien Chierichetti Chiesa Chih Chihao Ching Chinya Chiu Chlamtac Cho Choiceless Cholesky Chomut Chonev Chong Chor Choudhury Choueka Christel Christiano Christino Christodoulou Christof Christofide Christofides Christoph Christophides Christos Chryssis Chu Chua Chuanqi Chudnovsky Chueh Chul Chung Chunhao Chuzhoy Chv Chvatal Chy Ciaccia Cicalese Cidon Cieslak Cl Clarkson Clauset Claybrook Clemens Clementi Clenshaw Cleve Clight ClightTSO Cline Co Cocke Cockett Codd Codebreaker Coffman Cohn Coja Colbourn Colijn Colin Coll Collings Colmerauer Colourings Colton Comba Combinational Combinations Combinatorics Commun Comp CompCert CompCertTSO Compendex Complementation Complementedness Composable Comput Condon Condorcet Conforti Congruential Conitzer Connectionism Connor Conrado Constr Conte Copi Coppersmith Coq Corbat Corbato Cordray CoreXPath Corentin Corless Cormode Corneil Cornu Cornuejols Coroutines Corradini Correctors Cosmadakis Cosnard Costa Costas Cotten Cotumaccio Coue CountMin Courant Courcelle Courcoubetis Courtois Cousot Coveyou Cowles Coxeteroid Coxeteroids Crafa Cramer Crandall Creemer Crescenzi Crespi Cristian Cristiano Cristina Cristopher Crochemore Croquevielle Crout Cruz Cryer Csaba Csirik Cucker Cudia Cuenca Culik Cunto Curien Currie Cuthill Cutlip Cutset Cutsets Cyclotomic Cygan Cyranski Czerwi Czerwinski Czumaj D D'Agostino D'Angelo D'Antoni D'Atri D'antoni DAC DAE DAEs DAGs DAH DAI DAQ DAS DAV DB DBE DBI DCA DCC DCFL DCI DCNa DCNb DCNc DCNd DCR DCS DCT DCU DCV DD DDB DDE DDL DDN DDS DDV DEA DEB DEDS DEI DEXPTIME DF DFA DFAs DFD DFLO DFO DFR DFS DFT DFVS DG DGA DGP DHG DHS DII DIO DIOGENES DL DLC DLI DLL DLP DLR DLS DLs DM DMC DMF DML DMM DMP DMR DMS DNF DNN DOH DOI DPC DPD DPDA DPDAS DPE DPG DPI DPLL DPM DPOR DPP DPR DPS DPT DQC DQF DQN DRA DRD DRE DRF DRG DRI DRU DRW DS DSC DSF DSG DSI DSL DSM DSN DSP DSR DSS DT DTA DTC DTD DTDs DTIME DTP DTR DTS DTT DTs DUF DUH DUQ DVI DVN DWD DWP DWT DYSEAC Daduna Dag Dagan Dah Dahlgaard Dai Dallery Dalphin Dalvi Danaraj Daniela Daniele Danilewski Danna Danos Dantzig Danupon Daoudi Dariusz Darlington Darwiche Das Dasgupta Daskalakis Dass Dataflow Datalog Datta Davide Davidon Davor Dawar Dayanand De DeMillo DeNicola DeVerdiere Debarati Debasis Debray Debreu Decell Dechter Deepak Definability Degano Deineko Dejan Delaunay Delbrouck Delgrande Delling Delobel Delporte Demaine Demers Demetrescu Demetrovics Demmel Demolombe Denelcor Deng Denis Denman Denning Deo Dep Dequantizing Der Derandomization Derick Derivability Derr Dershowitz Despr Despre Detlef Detlefs Deutsch Devadas Devanur Devroye Dewdney Di DiDonato DiGri DiPaola DiVincenzo Diaconis Diagonalization Diakonikolas Dias Dichterman Diclique Didier Diehard Diekert Dietzfelbinger Diffie Digricoli Dijk Dillencourt Dimitrios Dimitris Dinitz Dino Dinur Diptarka Dirk Disaggregations Diseconomies Disequations Dispersers Disser Distefano Div Dmitriy Dmitry Dmytro Dobell Dobkin Dobzhansky Dobzinski Dodgson Doerr Doig Dolev Dolinar DomSet Domagoj Domenico Domzy Donatiello Doner Dong Donnell Dooly Dorit Doron Dory Dottling Doty Dov Dowd Downey Doyen Dresher Dressler Drinea Driscoll Drmota Drosophilia Druffel Druinsky Drusinsky Du Duan Dubey Dubiner Dubner Dubois Ducas Duchi Duditek Dueholm Duffield Dughmi Dujmovi Dujmovic Dulmage Dumir Dunham Duque Dutta Duval Dvir Dvor Dvorak Dwork Dwyer Dymond DynFO Dziembowski Dziuma E EA EAA EAAa EAAb EAC EAD EAE EAF EAG EAH EAI EAM EAO EAP EAS EASIAC EASy EB EBA EBC EBN EBP EBR EBS EBZ EC ECA ECC ECE ECF ECI ECM ECP ECR ECS ECW EDA EDC EDF EDG EDI EDM EDO EDPwC EDR EDS EDV EEA EEN EER EES EESa EESb EFB EFC EFF EFG EFM EFP EFQ EFS EGL EGM EGP EGS EGT EHC EHL EHM EHS EIA EIC EIE EIG EIGHTED EII EJR EJS ELB ELL ELR ELS ELT ELU ELV EMC EMR EMT ENT EOR EOS EP EPC EPD EPE EPG EPH EPI EPM EPN EPP EPR EPS EPT EPTAS EPTASs EPV EQI EREW ERF ERI ERK ERMETH ERN ERO ERS ERT ES ESA ESB ESC ESCRP ESCRPs ESD ESF ESI ESM ESO ESP ESR ESS ESV ETH ETI ETOL ETS ETT EUE EUI EWC EWO EXP EXPTIME Eades Easton Eberhard Eberl Echahed Echols Eckstein Edalat Edelsbrunner Edenbrandt Eder Edmonds Edmundo Edmundson Edo Eduardo Eelko Efim Efremenko Egd Egli Egon Egor Egri Ehrenfeucht Ehrhard Ehrich Ehsani Ehud Eigenvectors Eijiro Eisenberg Eisenstat Eitan Eiter Ekanadham El ElDin Elad Elaye Elazar Elchanan Eldan Eldred Electricals Elgot Elham Elias Eliezer Elitza Eljas Elkin Elovici Elwyn Emanuele Embeddability Embeddings Emden Emek Emilie Emiris Emo Encodings Endre Engelfriet Engl Englert Env Epistemic Epley Eppstein Equational Equidistributed Equilibria Equiprobable Eran Ercoli Erd Erdelyi Erez Erlang Erlangian Erol Esch Eshrat Esko Esparza Esperet Estein Estrin Eswaran Etessami Ethernet Eugen Euiwoong Eulerian Eun Evaluable Evangelos Evfimievski Evolvability Ewan Ewin ExpTime Exponentiating Extendible Extremal Eyal Eylon F FAC FAM FAO FAP FAS FAU FAX FB FBA FBV FBn FC FC's FCA FCF FCFL FCFS FCH FCI FCL FCS FCT FD FDD FDL FDO FDP FDS FDs FEG FERUT FES FEU FF FFA FFD FFS FFT FFU FFX FGD FHC FHDs FHL FHT FI FIA FIC FINAC FINDs FJA FJP FJQ FJQN FJS FLA FLR FMA FMC FMD FMF FMG FML FMM FMP FMR FMS FMT FO FOC FOCS FOD FOM FOS FP FPA FPD FPF FPGA FPL FPM FPMs FPP FPQ FPRAS FPT FPTAS FPTAS's FPU FQF FQM FQS FRA FRD FRP FRS FS FSA FSC FSD FSI FSL FSM FSN FSQ FSS FSVa FSVb FTA FTD FTGA FTM FTP FTS FTW FUL FVC FVS FWC FZA Fabio Fabrizio Facello Fachbereich Faenza Fagin Fahad Fahrbach Faigle Fairbairn Fairthorne Falkoff Fangzhen Fanout Farach Farber Fard Fargier Farhad Farias Farkas Farr Farshid Fatourou Fauconnier Fawzi Fayolle Fd Fearnley Feder Federico Fedor Fedorr Feige Feigenbaum Feinstein Feit Fekete Feldman Feldmann Feldstein Felipe Felzenszwalb Feng Fenner Ferdinando Fereidoon Fernandes Ferr Ferragina Ferrere Fich Fiduccia Figueira Fike Fil Filip Filippo Filmus Filon Filotti Fineman Fingerhut Finkel Finkelstein Fiora Fiorini Firschein Fishman Fishspear Fixpoint Flajolet Flasterstein Flatto Flavio Fleischer Fleisig Flesca Flexer Fliess Flinn Florentin Flores Florian Florina Floris Flowgraphs Flowshop Flum Fomin Fong Fonlupt Foong Fordham Formulae Forsythe Fortnow Fortran Fotis Foto Fouad Fouren Fournet Fournier Fr Fraenkel Fraigniaud Franaszek Francesca Franceschini Francesco Frandsen Franek Frans Frazer Frederickson Frederik Fredholm Fredman FreeBSD Frege Freiberger Freiburg Freie Freiman Freitag Freivalds Freudenstein Freuder Freund Fri Frick Friedhelm Friedli Friedrichs Frisch Friso Frits Frobenius Froese Frumkin Fugger Fujishige Fulek Fulkerson Fundulaki Furfaro Furio Furst Fushima Fushimi Fussenegger G GAC GAF GAJ GAV GB GBA GBF GBR GBT GCD GCO GCP GCT GCU GD GDC GDF GEA GEC GED GER GF GFL GFS GFSR GHD GHDs GHF GHS GHW GI GIC GKS GME GMM GMP GMR GN GND GNFO GNFP GOC GOL GOLOG GPA GPAC GPF GPM GPR GPS GPU GQD GS GSB GSE GSF GSH GSI GSO GSOS GSP GSR GSS GST GTA GTC GTP GTS GVF Gabbay Gabor Gabow Gabriele Gabrielian Gaches Gadducci Gadi Gaetano Gafni Gagan Gagie Gaifman Gaina Gaitonde Galanis Galesi Galil Galileo Gallager Gallai Galler Gallet Gallier Gallo Gamal Gambino Gamlath Ganardi Gandhi Ganor Ganty Ganzinger Gao GapSVP Garay Garey Garfinkel Garg Gasarch Gasieniec Gaspers Gaston Gati Gatti Gaujal Gaussians Gautier Gautschi Gaver Gavish Gavoille Gawrychowski Gcd Ge Gebauer Geck Geerts Geffert Geffner Geist Gelder Gelenbe Gelernter Gelfond Gelles Genaim Genest Gennaro Genomes Geoffrion Georg Georganas Georghios Georgiou Geppino Ger Gerberich Gernot Gerome Gerschgorin Gershinsky Gertner Gertrud Geuder Gharan Ghezzi Ghodsi Ghosh Ghoshal Giacobazzi Giakkoupis Giammo Giancarlo Gianfranco Gianlorenzo Gianluigi Gianni Giannopoulos Gianpaolo Giansalvatore Giessen Gilad Gilberto Gillat Gilles Gilpin Gily Gim Gimbert Gimpel Ginzburg Giorgio Giovanna Girard Gishboliner Giusee Givan Glabbeek Glantz Glasserman Glauz Glencora Glicksman Glivenko Gluss Gnesi Goaoc Godefroid Godoy Goel Goemans Goetz Goffman Goguen Goldenberg Goldreich Goldschlager Goldstein Goldstine Goldwasser Gollapudi Golomb Golovnev Goltz Golumbic Gomory Gonczarowski Gonnet GonzalezSmith Gonzalo Google Goos Gopal Gopalan Gopi Gorbunov Gori Gorman Gorn Gotlieb Gotsman Gottlieb Gottlob Goubault Gouda Gowers Goyal Gr Gra Grabmayer Graefe Graeffe Gragg Grandoni Graney Grau Greco Greenberg Greenberger Greenhill Greenstadt Greenwald Gregor Gregorio Greibach Griffiths Grigni Grigorescu Grigori Grigoriadis Grigoris Grigoryev Grimson Griswold Grochow Grohe Gronlund Groote Grossi Grossman Groth Grumberg Gruttke Grzegorz Grzymala Gu Gucht Gudmund Guerraoui Guha Guibas Guida Guido Guilieri Guillem Gunn Gunter Guo Guozhu Gupta Gur Gurari Gurevich Gurk Guruganesh Gururaj Guruswami Gusfield Gustavson Gutenmakher Gwena Gyssens Gzip H HAF HAH HAV HBS HBT HCD HCO HCQ HCR HCT HDC HDP HDnumber HDs HFF HFP HIA HLF HLU HMC HMQ HMS HOH HOL HOM HOS HPD HPI HPP HPS HPT HRB HRC HRL HSA HSC HSE HSG HSM HSP HSR HST HTML HWS Haar Haase Haastad Haber Habermann Hackfeld Hadamard Hadoop Hadzilacos Haeupler Haghtalab Hagit Haifeng Haiko Haim Haipeng Haitao Haitner Hajek Hajiaghayi Haken Hakimi Haldar Halevi Halevy Halfspaces Halin Hallgren Halperin Halpern Halstead Halton Hamer Hamiltonicity Hammersley Hamouma Hanan Haneman Hanjo Hankel Hannemann Hannenhalli Hannes Hanscomb Hantler Hanus Hao Haohan Haotian Har Harald Haralick Harary Harchol Harel Harju Harlow Harsha Harting Hartline Hartmanis Hartt Haselgrove Hashimoto Haslum Hass Hassan Hasse Hassidim Hauert Haussler Havel Havender Hazan Hazay Heacox Hecht Hedetniemi Heering Hegerich Hehner Heide Heidi Heidy Heiko Heindel Heiner Heizer Hella Hellerstein Hellman Helman Helmbold Helmert Helmi Hemachandra Hemaspaandra Hembree Hemmerle Hempstead Hendler Hendrik Heng Hengjie Henk Henkin Hennessy Hennie Henning Henrici Henschen Hensel Henzinger Herbrand Hereshoff Herlihy Hermitian Hern Hernich Herrera Herrmann Hershberger Hibbard Higham Hilary Hildebrandt Hillar Himmelblau Hirahara Hiroshi Hirsch Hirschberg Hirschfelder Hirschhorn Hirst Hirvonen Hisao Hisashi Hoare Hochbaum Hochstein Hockney Hodes Hoepman Hoeteck Hoeven Hoffmann Hofri Hogger Hohwald Holdiman Holdt Holger Hollender Holmdel Holtz Hom Homomorphic Hon Honeyman Hongliang Hongseok Honsell Hoogeveen Hooke Hopcroft Hopfield Hordijk Horrocks Horvath Horwitz Howson Hrubes Hrushovski Hsiang Hsin Hsu Hsuan Hu Hua Huang Hubie Hueckel Huet Hugues Hui Huijia Hulme Humblet Hume Hurkens Hurwitz Huson Hussein Huu Hwang Hyafil Hypercubic Hypergeometric Hypergraphs Hypertree Hyung IAA IAC IAD IAF IAFa IAFb IAFc IAFd IAFe IAFf IAFg IAFh IAM IAP IAS IAU IBA IBE IBH IBN IBP IBW IC ICA ICALP ICF ICM ICO ICP ICR ICS ICT IDB IDC IDR IDS IDs IEEE IEL IET IFL IGA IGE IGF IHC IHO IIA IIB IIP IIR IJI IKS ILR IMD IME IMMD IMR IMS IMT INF INRIA INs IOB IOF IOG IP IPA IPC IPF IPG IPH IPM IPN IPO IPP IPR IPS IPSs IPV IQL IRB IRD IRF IRL IRP IRT ISA ISBN ISBNs ISC ISE ISP ISR ISS ISSN ITA ITC ITD ITL ITR ITTING IU IVE IVL IVT Ianov Iasnogorodski Ibaraki Ibarra Ibragimov Ichi Ichida Iddo Idit Ido Iftach Igal Iglehart Ignacio Igor Ikehara Ikenmeyer Ilan Ilaria Ilario Ilia Ilias Iliopoulos Ilya Im Imai Imbedding Imieli Imielinski Immerman Immorlica Impagliazzo Implicational Inapproximability Incrementality Indep Inderpal Indexability Indistinguishability Indyk Informatik Informatique Ingargiola Ingo Inselberg Inst Int Integro Interarrival Interdeparture Internet Interoperability Interpolant Interprocess Ioannidis Ioannis Irani Iri Irina Irini Irit Irredundant Irvan Isbitz Ishai Ishii Ising Isoperimetry Isr Istrail Istvan Ita Itai Italiano Itay Itemsets Ittai Itzhak Itzhaky Ivanov Iwata Iyer Izidor J JA JACM JACOAH JCAMDI JD JEC JMR JOR Ja Ja'Ja JaJa Jaap Jaccard Jaco Jacobo Jae Jaffar Jaffe Jagadeesan Jagannathan Jahja Jaikumar Jain Jair Jakob Jakub Janardhan Jancar Janeiro Janos Jansson Janusz Jared Jaros Jaroslav Jaroslaw Javier Jayanti Jayaram Jayasimha Jazayeri Jeanette Jeavons Jeeves Jelani Jens Jeroen Jeroslow Jerrum Jerzy Jesper Jez Jha Ji Jia Jiajia Jian Jianer Jiang Jiangzhuo Jiapeng Jie Jieh Jik Jin Jinbo Jingcheng Jinyu Jir Jitendra Jiv Joachim Joaqu Jobstmann Jochen Johan Johansen Jolla Jonsson Joost Joret Joris Jos Jouannaud Joung Joxan Joyner Jpn Ju Juba Judea Juha Juhani Juho Jukka Jul Julien Jun Juncosa Jung Junichi Juntas Junxing Juris Justin Justus Jyrki Jzer K KB KBM KCK KCT KD KDT KKT KLT KMC KMP KMW KPA KTO Ka Kaashoek Kacewicz Kafura Kagiwada Kahale Kai Kainen Kakade Kalaba Kalai Kalantari Kaltofen Kalyanasundaram Kam Kamal Kamath Kameda Kamesh Kamin Kaminski Kanade Kaneko Kanellakis Kang Kanji Kannan Kanner Kanovich Kanta Kantor Kanukurthi Kao Kaplan Kapoor Kapron Kapur Karbyshev Karel Karger Karhum Karhumaki Karim Karkkainen Karlin Karloff Karlsruhe Karnin Karp Karpinski Karr Karstadt Karsten Karteek Karthik Karthikeyan Kartik Karush Karvounarakis Kasahara Kasai Kasami Kashdan Kashefi Kaspars Kasturi Katajainen Katcoff Katoen Katoh Katrina Kattamuri Katz Kaufmann Kautz Kawarabayashi Kayal Kazuhisa Ke Kearns Kedem Kedma Keidar Keitel Kelner Kempe Kemper Kenny Ker Keren Kernelization Kernighan Keshav Kessler Ketan Ketsman Kewen Kfoury Khandekar Khanna Khardon Khlaaf Khot Khuller Kiam Kiefer Kifer Kijima Kikot Kilian Kimbrel Kime Kimelfeld Kinariwala Kinber Kindler Kinodynamic Kirsch Kishan Kishor Kissin Kissinger Kister Klaedtke Klasson Klauck Klawe Klazar Klee Kleene Kleinberg Kleinfeld Kleinrock Klem Klim Klimm Klingman Klint Klivans Klop Klopfenstein Klug Knauer Knessl Knott Knut Ko Kobayashi Kobi Kochen Kock Koehler Kogbetliantz Kohei Kohfeld Kohler Koiran Kojiro Kol Kolaitis Kolda Kolla Kolman Kolmogorov Koltun Komarath Komargodski Koml Koncal Konheim Konolige Konstantin Konstantinos Kontchakov Kopparty Korach Korf Korilis Korman Korolev Korsh Kortelainen Korth Kortsarz Kosaraju Koscielski Kostant Kostreva Kostylev Kou Koubarakis Kouck Kousha Koutris Koutsoupias Kov Kowalik Kowalski Kowaltowski Kozen Kozik Kozo Kr Krantz Kratsch Krause Krauthgamer Krc Kret Kreutzer Kreveld Krevner Krider Krinninger Kripke Krishnamoorthi Krishnan Krishnaswamy Krishnendu Kristian Kristina Kritzinger Kroc Krogh Krokhin Kronmal Kronrod Kruskal Krylov Krzysztof Kuan Kubert Kubie Kucera Kuck Kufleitner Kuhns Kuijpers Kulikov Kulkarni Kumar Kunal Kung Kuo Kupferman Kupke Kuratowski Kurokawa Kurtz Kurtzberg Kushilevitz Kuszmaul Kutta Kutten Kuty Kutylowski Kuznetsov Kwok Kyung L LAI LALR LAN LAPa LAPb LAQ LAR LAS LAT LBA LBB LBC LBD LBF LBI LBL LBM LBOa LBOb LBP LBPS LBR LBS LBT LC LCA LCB LCC LCCN LCCs LCF LCG LCL LD LDA LDBA LDE LDN LDRC LDRCs LDS LE LEI LEM LER LF LFC LFCS LFF LFO LFP LFR LHF LHU LICS LKG LL LLA LLE LLL LLS LLW LMF LMG LMM LMT LMU LOGCFL LOGDCFL LOGICS LOGSPACE LP LPC LPD LPE LPF LPL LPN LPS LPs LQ LQC LR LRA LRE LRGa LRGb LRO LRT LRU LRV LSA LSAs LSH LSHable LSHs LSR LSS LST LSU LT LTA LTC LTCs LTF LTL LTP LTRB LTS LU LUA LUB LVC LVO LWE LWS LZ LaBudde LaPaugh Laasonen Laasya Labelling Laber Labetoulle Labrada Ladkin Ladner Laekhanukit Lagarias Lagergren Lagrangean Laguerre Lai Lairez Lakhina Lamport Lampson Landen Landin Landweber Lange Langston Lanzinger Lapinskas Laplacian Larmore Larose Larrecq Larrowe Las Lasota Lassagne Lasserre Laszlo Latombe Latouche Lattanzi Lau Laumann Lauri Lauria Lausen Lavenberg Lavi Lawler Layland Lazar Lazi Le Learnability Lebedev Lecerf Ledgard Leen Leendeert Leeuwen Lehmann Lehmer Lehn Lehot Lei Leichner Leiner Leininger Leiserson Leitsch Leivant Lek Leman Leme Lemke Lemme Lempel Lenfant Lengauer Lenguer Lenie Leniowski Lenore Lenwood Lenzen Leonardi Leondes Leong Leonidas Leroux Leser Lesh Lesk Leszek Leung Lev Levanzov Levent Lewenstein Lewin Ley Leyton Li Liadan Liam Lian Liaw Liberatore Libkin Libor Lichtenberg Lichtenstein Lichter Lieberherr Lieberman Liebig Lieblein Liefvoort Lieh Liew Lifschitz Ligett Lihua Lijie Lim Limin Limsoon Lindeberg Lindell Lindenstrauss Lindner Linearizability Ling Linial Liniger Linnainmaa Lins Linux Linz Lionello Lior Lipschitz Lipski Lipsky Liron Littlestone Liu Livni Loberman Locher Logemann Logics Logrippo Logspace Lohrey Loizou Lokshtanov Lombardi Lomet Lookup Loomis Loopless Lorenzo Lory Los Losch Lossless Lossy Lotker Lotkin Lotz Louxin Lov Lovass Lovasz Loveland Loveman Lovett Lowrance Lu Lubachevsky Luby Luc Luca Luccio Lucien Lucier Lueker Lui Luigi Luk Lukasiewicz Luks Lund Luo Lusena Lusheng Luttenberger Lutz Lyapunov Lykouris Lyndon Lyness Lysikov Lysyanskaya Lyubashevsky M MAB MAH MAI MAQ MARGIE MAS MAXSNP MBF MBG MC MCA MCC MCD MCF MCH MCI MCM MCMC MCN MCP MCR MCS MCT MCV MCW MDC MDE MDL MDM MDO MDP MDPs MDS MDT MEI MEMB MEP MEPa MEPb MEU MFA MFF MFM MFR MFT MG MGC MGCS MGE MGM MGR MGS MH MHE MHV MIB MIDAC MIE MIF MIM MIMD MINs MIP MIS MISs MITL MIU MJN MK MKNF ML MLF MLP MLT MMA MMF MMI MML MMM MMS MMT MMU MNB MNL MNM MNP MOC MOL MOS MP MPA MPB MPC MPE MPEG MPF MPL MPLS MPN MPO MPP MPR MPS MPSs MPU MQ MQE MRB MRC MRE MRF MRG MRM MRR MRV MRclass MRnumber MRreviewer MSA MSB MSC MSD MSE MSL MSM MSN MSO MSP MSR MSS MST MSU MSV MTA MTC MTD MTE MTF MTM MTP MTR MTS MUP MVA MVAC MVP MVS MWM MWT MXQ Maass MacEwen MacKenzie MacLaren MacLarenM MacPherson Mackenzie Maddison Maddux Madhav Madhu Madhusudan Madry Madsen Maehly Maekawa Magdalena Magen Maggs Magnus Mahadev Mahaney Mahanti Mahdi Mahdian Mahesh Maheshwari Mai Maier Mairson Majumdar Makanin Makarychev Makespan Makino Maksymilian Malajovich Malamatos Maler Malik Malkhi Malliaris Mallmann Malte Mamelak Mamoru Manacher Manasse Manber Mancino Mande Mandelbaum Mandell Mandow Mandrioli Maneth Maneva Mani Manindra Manivannan Manolis Mansour Manthey Manurangsi Manzini MapReduce Marathe Marcello Marcelo Marchesi Marchetti Marcin Marcos Marcotty Marek Margus Mari Marianne Marimont Marinella Marios Maritsas Marius Markakis Markku Markovian Markowsky Markus Maron Marsaglia Marsan Martel Martelli Marthe Martinenghi Maryam Maryanthe Masafumi Masahiro Masanori Masciari Massar Massimo Mastrolilli Mateti MathSciNet Matheja Mathieu Matias Matou Matousek Matsumoto Matthias Matthieu Mattson Mattsson Matula Matvey Mauborgne Maurer Mavronicolas MaxArray MaxCut Maxima Maxime Maximin Mayers Mayr Mazowiecki McAfee McAllester McCreight McCune McDermott McEliece McGeoch McGill McKellar McKenna McKie McLure McReynolds Mckenzie Mcquillan Mcsherry Mechthild Medford Meena Meghini Meghyn Megiddo Mehdi Mehl Mehlhorn Mehnert Mehrabian Mehta Mei Meineche Meir Meister Meka Melahn Melamed Melkebeek Mellia Melliar Mellin Melson Melsted Memoriam Mendelsohn Mendelson Mendelzon Mendez Menlo Menon Merav Merlins Merrick Merro Mersenne Mesmay Meta Metadata Metalgorithm Metatheory Metze MeyerAufDerHeide MeyeraufderHeide Micah Micali Micchelli Micek Micha Michail Michal Michele Michie Michio Mickunas MicroVax Microcellular Microprogramming Mie Miehle Mignosi Mihai Mihajlin Mihalis Mihir Mika Mikael Mikhail Mikkel Mikl Miklau Miklos Miko Mikoaj Mileto Milieux Milman Milner Milnes Milo Miltersen Miltzow Mimimax Ming Mingda Minima Minimax Minker Minkowski Minnick Minnihan Minoura Mir Miranker Miros Miroslav Miroslaw Mirrokni Misc Mishra Mitra Mitrani Mitzenmacher MixBarrington Mizuyo Modfied Modula Modularly Moffitt Mohab Mohamed Mohammad Mohammadhossein Mohammadtaghi Mohammed Mohapatra Mohit Mohring Moitra Mokhov Moler Molina Molloy Momke Mon Monaldo Monge Moni Monier Monika Monniaux Monogenic Monoids Montanari Montanaro Mooly Mor Mordechai Morgenstern Morin Morishita Moritz Morphic Morphisms Morteza Morven Mosca Moscato Moscibroda Moser Moshe Moshkovitz Moshman Moshos Mossel Mostafa Mostefaoui Mosteiro Moti Motik Mottet Motwani Moufang Moulin Moumen Moura Moursund Mowle Moyles Mozes Mrinal Muchnick Muggles Muhin Mukherjee Mukhopadhyay Mukund Mullikin Mulmuley Multi Multicast Multicategory Multichain Multiclass Multicommodity Multicounter Multifunctional Multihead Multimodule Multiobjective Multioperand Multiparameter Multipoint Multiprogrammed Multiprotocol Multiread Multiresource Multisalesmen Multiserver Multisets Multistep Multitape Multiterminal Multivalued Multivariable Multiwrite Mulvey Mulzer Mumick Munagala Mundhenk Munro Munson Muntz Mur Murawski Murdoch Murlak Murnaghan Murota Muscholl Musser Muthu Muthukrishnan Mycroft Myhill Mylopoulos Myrna N NA NAA NAC NAD NAE NAF NAI NAL NAM NAMOA NAND NAS NBA NBG NCA NCF NCH NCI NCN NCO NCR NCS NCT NDD NDF NDM NDS NEB NEC NEH NES NEXP NEXPTIME NFA NFAs NFC NFD NFF NFQ NGD NHB NHR NHT NIM NIR NIZK NJC NKT NL NLB NLC NLE NLI NLN NLQ NLS NLT NMA NMC NME NMI NMM NMP NMR NMS NMT NNF NNM NNP NNS NNa NNb NNc NNd NOA NOL NOM NOO NOP NPA NPC NPD NPF NPL NPM NPR NPT NPV NQI NQL NQM NR NRL NRQ NRT NSA NSC NSD NSM NSN NSO NSP NSQ NSS NT NTB NTC NTD NTF NTIME NTL NTN NTP NTT NYA Nabih Nabil Nachef Nachmanson Nachum Nadathur Naddef Nader Nagler Nai Nain Nakkiran Nalbandian Nance Nanongkai Naoki Naor Napier Naqvi Narayan Nardelli Narendran Naresh Narsingh Nassimi Natan Natapoff Nathalie Nathanael Natl Nau Naughton Naumann Navarro Naveen Navin Nayak Neall Nebel Nederhof Nederlof Neeraj Negron Neiger Neighbours Neri Nerode Nesetril Netanyahu Neth Netherwood Netrapalli Netsem Neumann Neunzert Neven Nevins Nevo Neyman Ng Ngo Ni Niazadeh Nickovi Nico Nicol Nicola Nicolas Nicole Niedermeier Niel Nielson Nierstrasz Nieuwenhuis Nievergelt Niewerth Nika Nikhil Niklaus Nikolaj Nikos Nilesh Nilsen Nilsson Nima Nimrod Ninad Ning Ninghui Nipkow Nir Nira Nisan Nishanth Nisheeth Nishizeki Nissenzweig Nissim Nitin Niv Nivasch Noam Nobuko Nodine Noetherian Noetzel Noga Nonarithmetic Nonclairvoyant Nonclausal Noncounting Nondeterminism Nondeterministic Nondistinct Nonequilibrium Nonhomogeneous Nonidentical Noninteractive Nonmalleable Nonmonotonic Nonnested Nonnormality Nonoblivious Nonpolynomial Nonpreemptive Nonpriority Nonsecret Nonsymmetric Nonuniqueness Nordsieck Nordstr Norihisa Norouzi Norrish Notz Nourani Nowak Nowotka Noy Nr NuSMV Nudelman Nullstellensatz Nuprl Nurmonen Nutt O O'Callaghan O'Hearn O'Neil O'Sullivan OAA OAD OAI OAL OAM OAN OAP OBC OBD OBM OBS OCA OCC OCE OCG OCI OCM OCS OCU OConnor ODC ODF ODL ODP ODS ODU ODonnell OEB OEO OER OES OFC OFP OG OGR OHN OHearn OI OIQ OIU OLA OLB OLO OLS OLT OMC OMH OMQ OMQs OMS OMV OMW ONR ONeil OOO OPA OPC OPD OPF OPI OPL OPM OPP OPR OPS OQ OQL ORA ORAM ORC ORD ORDVAC ORF ORL ORP ORS OSA OSB OSC OSD OSE OSL OSM OSN OSP OSS OT OTC OTM OTP OUS OVC OVM OVR OWC OWP OWS Obfuscators Obradovic Obreni Occam Ochremiak Oded Odell Odile Odlyzko Oehmke Oekonometrie Oesterdiekhoff Oettinger Oghlan Oglesby Ohno Oki Ola Oldfield Oliveira Oliveras Olivier Olmedo Olver Omahen Omar Omer Omlin Omri Oney Online Ont Ooos Oppen Oprsal OptORAMa Optimale Optimisation Orca Orda Orden Ordnung Oren Ori Oriolo Orli Orlin Ormsby Orna Orponen Orthologic Orthonormalizing Os Osamu Ossona Ostrovsky Ott Ouaknine Oudot Outerplanar Oveis Overbeek Overheu Overmars Oyamaguchi Ozaki Ozveren P P'all PAA PAB PAC PAE PARSESTCUT PBC PBG PCA PCB PCC PCD PCE PCF PCI PCK PCL PCM PCP PCPs PCR PCS PCSP PCT PD PDA PDBs PDC PDD PDE PDEs PDI PDL PDM PDN PDP PDR PDS PE PEC PEF PES PF PFC PFD PFL PFR PFS PFT PG PGB PGC PGD PGG PGP PGR PGT PH PHC PHE PHO PIF PII PIR PIS PJ PJC PL PLA PLB PLC PLD PLE PLM PLP PLS PLU PLV PMA PMB PMD PMF PMH PMI PML PMM PMO PMP PMR PMT PN PNA PNC PNL PNM PODC PP PPA PPAD PPB PPC PPD PPF PPL PPMC PPP PPR PPS PPSa PPSb PPU PQ PQF PQR PR PRAMs PRC PRF PRFs PRG PRGs PRI PRK PRM PRMT PROLOG PRR PRS PRZ PS PSA PSC PSD PSE PSL PSM PSP PSPACE PSQ PSR PST PSU PSV PT PT's PTAS PTASs PTC PTD PTE PTG PTH PTI PTIME PTN PTQ PTS PTT PTU PUC PUH PUI PUW PV PVA PVH PVN PWE PYN Pach Pacheco Pachl Pachocki Pacholski Packetized Packings Paderborn Paes Pagani Pagano PageRank Pagenumber Palacios Paliath Palo Palstar Panagiota Panagiotis Panangaden Panconesi Pandu Pandurangan Panigrahy Pankaj Pankratov Panolan Panos Panwar Paola Paolo Papachristou Papadimitriou Papaefthymiou Paparas Papert Papetti Parallelizable Parametricity Paraschos Parchmann Paredaens Parikh Parisi Parlett Parosh Parter Parthasarathy Parvaresh Parys Pasin Patel Patnaik Patra Patrascu Patrik Patt Pattipati Pattnaik Paturi Paulo Pavel Pavley Pavlidis Pavlos Pawe Pawel Pawlikowski Paz Pe Peano Pease Peikert Pekka Pekny Peled Peleg Pell Pellegrini Pello Peng Penney Penninkx Pentti Peppas Peralta Perceptrons Pereira Peres Performability Periodification Perl Perley Perlis Perm Perny Perrin Perron Persymmetric Peserico Peterka Petr Petrank Petri Pettie Pevzner Peyman Pfaltz Pfenning Pflug Pfpbib Ph Philipp Philippatos Philippe Philips Phillip Phokion Phuong Pich Pichler Pickard Pieris Pierpaolo Pieter Pietracaprina Pietrzak Pietrzykowski Pillaipakkamnatt Pinar Pinchasi Pingali Pingan Pinkham Pino Pinsker Pinsky Pinter Pinyan Piotr Pippenger Pirillo Pirri Pisa Pitassi Piterman Pitro Pitts Plaisted Plandowski Plass Platzer Platzman Plaxton Plemmons Plotkin Plumstead Pnueli PoA Podolskii Poggi Pohl Poincar Pokutta Policriti Politecnica Pollack Pollara Polonsky Poly Polyadic Polyhedra Polylog Polylogarithmic Polytopes Ponomarenko Ponse Porat Posets Posteriori Postnikov Potechin Potier Potzolu Pouly Pourtallier Pr Pra Prabhakar Prabhaker Prabhala Prade Prahladh Prakash Pranab Praneeth Pranjal Prasad Prasang Prasanna Prasoon Pratap Prather Prauhs Prawitz Pre Preetum Prefetcher Preflow Preparata Presburger Pressburger Presuburger Prezza Primality Primoz Princ Priori Pritish ProVerif ProbAlgs Probert Problemy Proc Procaccia Programme Prolog Proskurowski Pruhs Pseudorandom Pucci PucciDeFarias Pucella Pudl Puech Pulleyblank Pulvari Punyashloka Purdom Puschel Pushdown Putman Putzolu Puzis Pyster Q QA QAI QAS QBD QBDs QBF QBFs QCA QCF QCSP QDD QDT QET QGD QIC QIKSYS QIP QJM QL QLB QLD QLL QMA QMC QMD QMF QMM QNM QP QPT QR QRG QTS Qiao Qihua Qin Qiqi Qizhao Quadtrees Quan Quantile Quantumness Quasicyclic Quasilinear Que Queensland Queueing Quinlan R RAA RAC RAF RAK RAL RAMs RAR RAS RBC RBG RBL RBM RBS RBT RC RCC RCD RCE RCG RCN RCP RCPs RCS RCU RD RDF RDH RDL RDO REA RECAL REI REL REM REN RES RFC RFD RFE RFF RFFD RFID RFL RGK RGP RH RHPi RIC RIS RLB RLC RLG RLNC RLT RM RMA RMB RMC RMD RMDP RMDPs RMI RMLF RMP RMSD RMSDs RNC RNE RNG RNL RNR RNS ROL RP RPA RPC RPI RPN RPP RPS RPT RQI RQN RQT RR RRM RRP RS RSA RSB RSC RSD RSE RSI RSP RSR RSS RSSG RSSGs RST RTA RTD RTL RTP RTR RTS RUD RVG RWF RWW Raatz Rabani Rabie Rabinowitz Racah Rachid Rackoff Rad Radhakrishnan Radhia Rado Radoslav Rafail Raffaele Raghav Raghavachari Raghavan Raghavendra Raghu Raghvendra Rahimi Rahli Rahme Rahul Raichel Rainer Raita Rajagopalan Rajan Rajaraman Rajeev Rajesh Rajgopal Rajiv Rajmohan Rajsbaum Rakesh Ralston Ramachandran Ramachendra Ramakrishna Ramakrishnan Ramamohan Ramamoorthy Raman Ramanujan Ramaswami Ramesh Rami Ramprasad Ramshaw Randal Randell Raney Rangan Ranko Ranzato Rao Raoult Rardin Rasch Rasterization Rasterizing Rathmann Ratz Rauhe Ravi Ravinderpal Ravindra Ravindran Ravishankar Rawling Raynal Raz Razborov Razgon Reckhow Recompression Reddy Reducibilities Refutational Refutations Regev Reghizzi Rehovot Reif Reinert Reingold Reinhard Reinhardt Reinsch Reinwald Reischuk Reiser Reishuk Reisig Reiss Reiter Relativizations Relativized Relativizing Rem Remy Ren Renamable Renamings Renato Rende Renfrey Rensselaer Renzo Resampling Resequencing ResolveSat Reto Reutter Reuven Reyzin Rezende Rhee Riaz Riccardo Richa Richardo Richerby Richman Rida Rieck Rieger Riemannian Riesbeck Riesenfeld Rigal Riko Rina Rinberg Rinetzky Rinon Rish Ritchie Riveros Rivest Rizzi Robere Robson Rockmore Rocquencourt Rodeh Roditty Rodrigue Roei Rohit Rohlicek Roi Rolf Rolim Rom Romashchenko Romberg Romero Rompel Rona Ronen Rong Roni Ronitt Ros Rosalind Rosati Rosberg Roscoe Rosen Rosenblueth Rosenbrock Rosenfeld Rosenkrantz Rosenthal Rosser Rossi Rossman Rotem Rotenberg Rotenburg Rothblum Rothe Rothvoss Roughgarden Roundoff Roura Rowan Royer Rozenberg Rozenburg Ru Rubik Rubin Rubinfeld Rubinoff Rubinstein Rubio Rudelson Rudich Rudra Ruediger Rui Runge Runzhou Ruohonen Rupak Ruppert Ruschitzka Rusinowitch Russki Rutishauser Rutschmann Ruzsa Ruzzo Rybicki Rydval Rytter Ryu Rzazewski S SA SAA SAB SAH SAI SAO SAR SAS SAU SBA SBC SBD SBE SBP SBR SBS SBT SBV SCA SCB SCC SCD SCG SCI SCL SCM SCN SCP SCR SCS SCT SCU SCWRL SDA SDB SDC SDD SDE SDF SDM SDP SDPa SDPb SDPs SDR SDS SDT SEB SED SEF SEFFI SEI SEL SEN SEP SES SETI SEU SF SFA SFD SFI SFM SFQ SFS SFT SGC SGD SGF SGO SGP SGR SGS SGT SHA SHF SHP SI SICOMP SIF SIGACT SIGART SIGMOD SIH SII SIL SIM SIMD SINR SIVP SJL SJS SKG SL SLA SLD SLDNF SLE SLG SLM SLO SLP SLR SLS SLTF SMA SMC SMD SMM SMP SMR SMS SMT SMTP SMV SNA SNB SNC SNH SNOBOL SNP SNR SNS SNT SODa SODb SODc SODd SOI SOM SP SPARKs SPARQL SPARSESTCUT SPB SPC SPD SPE SPH SPI SPL SPM SPN SPP SPR SPS SPT SQC SQGM SQL SR SRA SRC SRD SRL SRM SRP SRR SRS SRT SRU SRW SSA SSB SSC SSD SSDT SSDTs SSF SSI SSM SSN SSP SSR SSS SSSP SSSa SSSb STA STB STC STD STDF STE STEI STG STH STM STMS STN STOC STP STRUCT STS STT STV SUA SVA SVC SVDD SVM SVN SVT SWAC SWE SWI SWP SWS SZK Saarbruecken Saarlandes Saberi Sabharwal Sacc Sacca Sackman Sadri Saeed Safey Safra Sagiv Sagonas Saha Sahai Saharon Sahasrabudhe Sahni Saia Saito Saket Saks Salil Salkin Salomaa Salomon Salvatori Salzman Saman Samar Sameh Samelson Samet Sami Samir Samoladas Samorodnitsky Sampath Samplesort Sandeep Sandewall Sandholm Sandhu Sangiorgi Sangren Sanit Sanjam Sanjeev Sanjiv Sanjoy Sankararaman Sankoff Sankowski Santha Santhanam Santos Santosh Sany Saptharishi Saraf Sarangan Saranurak Sariel Sarma Sarnak Sartaj Sarvagya Sarwate Sasaki Sasson Satisfiability Satish Satoru Satta Sattath Satya Satyen Sauer Sauerwald Saugata Saulpic Saumya Saurabh Savani Savitch Saxe Saxena Scarcello Sch Schach Schaefer Schaeffer Schank Schapira Schapire Scharbrodt Schassberger Scheideler Scheinerman Schemas Schickinger Schie Schieber Schinzel Schkolnick Schlessing Schlipf Schmeidler Schmid Schnei Schnorr Schonhage Schorr Schost Schreiber Schulman Schur Schutzenberger Schwabe Schwartzman Schwarz Schweikardt Schwentick Schwetman Schwiebert Sciore Sciortino Scotl Scozzari Scquizzato Searchonyms Seb Sebastiani Sebo Seddighin Sedgwick Seese Seffi Segalov Seger Segoufin Seidel Seiden Seidl Seiferas Sekar Sekiguchi Selesnick Selkow Sellie Sellke Selman Semal Semialgebraic Semidegenerate Semigroup Semigroups Semilinear Semiring Semirings Sen Senellart Senko Sennblad Sep Seppo Serdyukov Sergeraert Sergey Sergio Serializability Servedio Seshadhri Sethi Sevc Sevcik Sewell Shachar Shaddin Shafi Shafrir Shahar Shahrasbi Shahrokhi Shai Shakhar Shalev Shalhav Shalla Shallit Shaltiel Shamim Shamir Shampine Shang Shankar Shanthikumar Shaodi Shapira Shapley Sharakhmetov Sharath Sharir Sharma Shasha Shaull Shavit Shawpawn Shayan Shedler Shelah Shellability Shellsort Shemer Shen Shende Sheng Shenitzer Shepherdson Sherali Sherif Sherstov Shetty Shi Shibuya Shigeki Shigere Shigeru Shiloach Shimizu Shimon Shinichi Shipra Shirakawa Shivendra Shiyu Shlomi Shlomit Shlomo Shma Shmoys Shmuel Shmueli Shoham Shor Shostak Shpilka Shraer Shrager Shriver Shu Shub Shubhangi Shubik Shui Shuichi Shuji Shun'ichi Shvarts Sibert Sibsankar Sickert Siddhartha Sidi Sidnie Siebertz Siegel Siekmann Sigillito Sigmon Sikora Silberschatz Silva Silverman Silvestri Silvia Silvio Sim Sima SimoesPereira Simons Simplifiers Simula Singh Singletary Sinhababu Sint Sippu Sipser Sirangelo Sistla Siu Sivakanth Sivan Skeel Sklansky Skolem Skolemizing Skovbjerg Skraba Skupien Skutella Skyum Slagle Sleator Slepian Slivkins Sloate Smale Smiley Smolensky Smolka Smorodinsky Smotrovs Smyth Snepscheut Snir Snoeyink Sobel Sobocinski Socala Soffa Soheil Soininen Soisalon Sojakova Soland Soloveichik Soloviev Solvability Soma Somenath Somesh Songjian Sonja Sorin Sotnikov Souza Sozeau Sp Spaccamela Spacefilling Spanier Sparsification Specker Spector Speedcoding Sperner Spielberg Spielman Spinelli Spinrad Spira Spirkl Spitzbart Spitzen Spliddit Spm Sponsler Spooner Sprachtheorie Sprugnoli Spyros Srba Sreenivas Sreenivasaiah Sridhar Srikanth Srinathan Srinivas Srinivasan Stabilising Stabilizability Stachowiak Stamoulis Stanfel Stanislav Statman Stauffer Stavros Stearns Stefania Stefankovic Stefano Stefanov Steffanelli Steffen Steger Steiglitz Steinhardt Steinke Stemmer Stenning Stephan Ster Stetter Steurer Stichtenoth Stickel Stieltjes Stigler Stijn Stillman Stimson Stineman Stochasticity Stockmal Stockmeyer Stoelinga Stoer Storer Stott Stougie Straccia Strachey Strassen Strategyproofness Streett Strojohann Strother Struc Sturgis Sturm Sturtevant Su Subexponential Subexpression Subexpressions Subgradients Subgraph Subgraphs Subhash Subinterval Sublinear Subnetworks Subpolynomial Subquadratic Subrahmanian Subrecursive Subresultants Substate Subtyping Suciu Sudakov Sudborough Sudipto Suhail Suitably Suman Sumanta Sumii Sundaram Sundararajan Sungjin Sunil Suomela Superdeterministic Supersequences Superstrings Supowit Suprovat Suresh Suri Susanna Sutter Sven Svensson Sviridenko Svoboda Swamy Swartz Swastik Swenker Swinnerton Sycara Symbolwise Symp Synchronisation Syrgkanis Syst SystemT Systolic Szab Szabo Szegedy Szemer Szpankowski Szyku Szymanski T T'ien TAH TAS TBA TBB TBC TBI TBM TBN TBR TBS TBU TC TCA TCD TCF TCI TCL TCM TCO TCP TCR TCS TCT TDC TDD TDF TDL TDMA TDP TDS TDV TEG TEU TEV TFD TFG TFL TFNP TFO TFS TFT TGC TGO TGS THB THESYS THP TIA TIR TLA TLB TLE TLG TLL TM TMA TMC TMF TMI TMN TMP TMS TNC TNF TNO TNS TOA TODS TOF TOPLAS TOS TPA TPC TPL TPM TPP TPQa TPQb TPR TPS TPT TPTL TPU TQL TQP TR TRA TRB TRD TRE TRG TRL TRM TRO TRP TRT TRW TS TSA TSD TSF TSG TSI TSL TSN TSO TSP TSQ TSR TSS TSSs TST TTC TTE TTM TTS TUH TVL TVN TVS TW TWB TWC TWI TWS TWT TWo Ta Tabareau Tadeusz Tagliavini Tai Taichi Taihei Tak Takamatsu Takamizawa Takao Takhanov Takumi Tal Talagrand Talwar Tamaki Tamal Tamara Tamio Tamir Tamminen Tamon Tancer Tanimoto Tannenbaum Tantawi Tanter Tardos Tarjan Tarnawski Tarsi Tarski Tarui Tassa Tasson Taubenfeld Tauberian Tauman Tausworthe Tautogies Tavenas Tay Tchebysheff Te Technion Technische Teele Tejs Tel Tempero TenCate Teng Tennenholtz Tennent Tentes Teofilo Terence Tero Tetali Tetsuo Teunis Tezuka Th Thakur Thaler Thankachan Thapper Thatchaphol Thayer Theocharis Theodosios Theoremhood Therien Thiagarajan Thickenability Thilikos Thodoris Thomasian Thomason Thomass Thomassen Thorup Threesomes Thresholded Thu Thue Thurston Tibor Tiebreaking Tien Tiko Tillitt Tillmann Timestamp Timo Tinelli Tiomkin Tirza Titre Tiuryn Tiwari Tiwary Tobagi Tobias Toeplitz Toggell Toky Tollefson Tomasz Tompa Tongyang Toniann Tootill Tor Toran Torii Torlone Tornheim Toro Torsten Toshihide Toshimi Toth Totschek Totzke Toueg Tourlakis Touzeau Tova Tovey Townsley Towsley Toyama Toyoda Toyohisa Tradeoff Tradeoffs Trainiter Trans Transcendentals Transcode Transducing Transfinite Traub Trauboth Trauth Travelling Travers TreePack TreeProjection Treewidth Trehan Trenn Trevisan Trexler Triangularization Tridandapani Tridiagonal Tridiagonalization Trie Trifonov Trinomial Tripathi Trivedi Tromp Truszczy Truszczynski Tsai Tsakalidis Tsang Tsao Tse Tseitin Tshebysheff Tsichritzis Tsitsiklis Tsu Tsuda Tsukiyama Tsz Tubingen Tue Tugkan Tuller Tulsiani Tunstall Tuomas Tuple Tushar Tuttle Tuval Tweety Twomey Txx Typability Tzameret Tzay Tzelnic Tzevelekos U UAA UAM UAO UAP UAS UAT UBD UBN UBS UBT UCC UCL UCO UCQ UCS UCSC UCT UDA UDG UDP UDS UDT UED UEG UEP UER UEZ UFD UFP UFR UFT UGC UHO UIC UIF UIP UIS ULB ULD ULP ULR UMG UMM UNIONs UNIQUEGAMES UNKNOTTING UOP UPA UPF UPI UR URAL URH URL URMSDs URV USD USJ USM USQ USR USS UST USa UTH UTL UTN UTP UTS UTV UVS Udaiprakash Udi Ueckerdt Uehara Uetz Ugo Ukkonen Ulam Uli Ullian Ullman Ullmann Ulrich Ultracomputer Ultraconcurrent Umans Umberto Umesh Un UnCut Unambiguity Unary Uncoupled Undecidability Unger Unimodal UnionSizeCP Uniswitch Univ Univalence Univariate Unnormalized Unruh Unsolvability Unsynchronised Untrusted Upadhyay Upadhyaya Upfal Urbana Uresin Uretsky Uri Uriel Urmila Urquhart Urzyczyn Usmani Uwe Uzi V VAL VBI VC VCG VCS VCSP VCSPs VCT VD VDD VDP VEF VLSI VNP VP VPI VPN VPP VSC VSS VTT Va Vaandrager Vacca Vadhan Vadim Vafeiadis Vahab Vaikuntanathan Vainish Vairavan Valbonne Valentin Vall Valter VanEmden VanGelder VandenBussche Vandermonde Vandin Vandiver Vansummeren Vantilborgh Vapnik Varacca Varadarajan Vardi Vardy Varga Varghese Varol Varricchio Varun Vasilis Vassilevska Vassilis Vassilvitskii Vassos Vavasis Vazirani Veanes Veblen Vee Veith Velner Vempala Venez Venkataraman Venkatesan Ventsislav Verbeek Vergis Verma Vershynin Vertices Vesel Vetta Vianu Vidick Vidyasankar Viglas Vigny Vigoda Vijay Vijaya Viktor Viliam Vinay Vince Vincenzo Vinod Vis Vishkin Vishnoi Vishwanathan Vishwas Viswanathan Vit Vitaly Viterbi Vitter Vladlen Vleduts Vocking Vogelaere Voghera Vokr Volker Volkovich Volterra Volzer Von Vondr Vorbehalt Voronoi Voss Vrgoc Vries Vuillemin Vygen W WB WBG WBV WCA WCM WCO WDP WEF WFA WFD WFR WFS WGP WHM WHT WK WL WLD WLT WM WMS WND WNI WPE WPR WPS WRAM WRAMs WRP WSC WSEPT WSS WTD WVA WWW Waarts Wadel Wadey Wagener Wah Wahab Wahlstr Waingarten Waksman Waldinger Walecka Walrand Waltham Walther Wanka Wanke Wansbrough Wansoo Warinschi Warmuth Warshall Wasel Wasilkowski Wasserman Wasserstrom Watanabe Watrigant Watrous Wattenhofer Wedderburn Wedel Weeg Wegbreit Wegener Wegman Wegner Weide Weidong Weihe Weihl Weihrauch Weijland Weikum Weil Weimann Weiming Weinberger Weinblatt Weiner Weining Weintraub Weisfeiler Weissman Weixiong Weizmann Welch Welti Welzl Wenfei Werneck Wersan Werschulz Wesolowski Westervelt Westlake Westrhenen Westwater Wetherald Wettstein Wexler Whitt Wichs Widgerson Wiederhold Wiedermann Wien Wiese Wigderson Wijngaart Wiktor Wilf Wilke Wilkens Willoughby Willsky Wim Wimmers WinXP Winograd Winsborough Winslett Wirth Wiseman Witold Witte Witten Wn Wo Woeginger Woelfel Wojciech Wojcik Wolman Wolper Wolsey Woltran Woodroofe Woodside Worrell Worsley Wortman Wos Wrathall Wray Wrightson Wrochna Wulff Wunderlich X XBW XDE XEL XIC XII XL XML XMLdata XOR XOS XPath XQuery XSM XSP Xia Xiangyao Xiao Xiaodong Xiaojing Xiaotie Xiaowei Xie Xin Xing Xpath XrML Xu Xue Y Ya Ya'akov Yaacov Yacobi Yacov Yadin Yael Yair Yakimovsky Yakov Yamada Yamashita Yamauchi Yan Yanakakis Yangguang Yangun Yaniv Yanjun Yann Yannai Yannakakis Yannis Yao Yaonan Yaowei Yaoyun Yarmush Yaron Yasuhara Yech Yechezkel Yechiali Yee Yefim Yeh Yehoshua Yehuda Yehudai Yehudayoff Yekhanin Yelowitz Yersh Yershov Yesha Yevgeny Yi Yih Yihan Yijia Yijie Ying Yishay Yitayew Yitong Yitzhak Yixin Yo Yo'av Yoav Yoeli Yogev Yogish Yohay Yokouchi Yong Yookun Yoram Yoshida Yoshihito Yoshikazu Yoshiro Yossef Yossi Youden Yu Yuan Yuanlin Yuda Yudell Yue Yuh Yuhao Yukiko Yun Yung Yunhong Yuri Yuster Yuval Z ZEP ZMnumber ZNF ZPP ZPTIME Zadeh Zadimoghaddam Zafarullah Zafiropulo Zaiddan Zakharyaschev Zalcstein Zalinescu Zamir Zanasi Zane Zappa Zarechnak Zaroodny Zdenek Zecchina Zeev Zeigler Zeitliche Zeitoun Zeleznik Zelikovsky Zemlin Zeng Zenklusen Zerling Zeron Zeume Zewi Zhandry Zhang Zhao Zhen Zheng Zhengfeng Zhengzhong Zhi Zhihao Zhiyi Zhiyong Zhong Zhou Zhu Zhuk Zick Zielke Zierler Zimand Zinkevich Zinn Zipf Zippel Ziv Zivn Ziye Zobrist Zohar Zolt Zoltners Zuck Zuckerman Zuiddam Zuylen Zuzana Zvegintzov Zvi Zvika Zwick Zyablov Zych aSMV abbr abc abductive abelian abiteboul absint ack acknowledgement acks acm acyclicity addad adic adjacencies adr adversarial adversarially adwords ae aesthetic affiliationaddress agarwal agendas agnostically agrep aj ajournal aka akov al alan albers alg algo ali alife allRootsNI alon altman ambients amiltonian analysed analyses analytics andreev andrews annote antiferromagnetic antoy approximability approximants apr ar arborescence arboricity argus arithmetics arities arity armoni arora articleno ary arya asiok aspnes assigments asymptotics async asynchrony auctions auf aug autoepistemic automata automatable automation auxilliary av avalon aw awomir axiomatics axiomatizability axiomatizable axiomatization axiomatizations axiomatized b bachmair backchaining backoff backus bartal bastien basu bazzi beebe beek behaviour behavioural behaviours beimel ben benedikt ber beresford berger betweenness bevan bianchi bibdate bibdb bibmods bibnames bibnet bibsource bichromatic biclique biconditionals biconnected biconnectivity bicriteria bidimensional bidimensionality bidirected bijective bintrees biodiversity biol bipartiteness bipartition bisimilar bisimilarity bisimulation bitmaps bius bivariate blackbox blelloch blumofe bner boolean bor borodin borodini bottomup boundedly brafman brandeis broadcasted broder broy bshouty buhrman bursty c ca caching cacm camelot catenated ccs cdr celle cesa cfm chan characterisation characterise characterises chaudhuri chazelle chazelve checksum cheng chloroplast chong chor chordality cielski ciphertext circ circularities circumscriptive ck cking clausal clusterability clusterable clusterings co coNP coextensiveness cofinite cohen coinflips collaboratively colliders collusions colour colouring colourings colours colton com combinational combinations combinator combinatorially combinatorics combinators comm commonsense complementation componentwise composable compositionality computerhistory conc concatenable conformality congruential connectionless conondeterministic conservativity constr contig contiguent contractibility contractible copycat coroutines cosets coverability criterium crypting cryptosystem cryptosystems cs csp csr ctor cu cucker cutset cyclicity cyclotomic czyk d da dag dags dai datacompression dataflow datagrams datalog datapath datapaths datascript dataset davies dbase dcpos dd de deBruijn deChampeaux deMesmay deSouzaeSilva deVogelaere deVries deWitte dec decisional declustering decodability decodable decommitment decommitments decomposability decompressor deferral definability definedness del denBroeder dependences depolarizing deques der derandomization derandomize derandomized derlind des descendent descriptional destructors determinantal di diagonalization diclique dicliques didn diff diger discretization discretize discretized discriminants diseconomy disequalities disequality disequations disjointness disordering displaymath dist distmem distrusting disunification dk dl dli doc doesn doi dolph dominances dooly dori douard dric ds dt duploss dwn dwork dx dy dymond dynamization e ecroule ed eda edu ee egds eig eigenvector eigenvectors eiter ek elefunt embeddability embeddable encodable encoders encodings endloop eng enqueued entropic entropies eppstein equational equidistribution equilibria equipartition equiprobable er erard ergodicity erlihy es etale ette eval evaluable evy executability expanders explicite exponentials expressibility extendible extremal ez ezier f facto fanin fanout faoui farach faux favour feb feige fekete fernandes ferragina feucht fi fich findmin finitary fixpoint fixpoints fjournal flowgraph flowgraphs flwo fo focussed formalised formulae fortran fparith fpbibl fpbiblio fractal framebuffer fredman freq ft ftid ftp fuer functionalities functionals g galil garbo gcd generalisation generalised generalising generalterms genericity genome genomic george gger gh giacobazzi glin goire goldberg goldreich goldwasser goto gree greedoids groundedness gt gvl gz gzip h halfspace halfspaces halpern hannenhalli hashtables hass hearn hel hemaspaandra henzinger herlihy hgt hickeyJuvE hilbert historyless hl hoc hohring homomorphic homorphisms homotopic homotopy housemates hr hring hrm hstars htm html http https humanfactors hyperdeterminant hyperedge hyperedges hyperexponential hypergraph hypergraphs hyperlinked hyperresolution hypertree i iPSC ia ichi iclique id idealised idx ie ien iff ij im imada imager imbedded imbedding imbeddings implementors implicants inapproximability inapproximation ind indexability indices indistinguishability inducive induciveness inen inequations inequivalence infeasibility inferability infimum infinitary infinitum informatik informationally initialisation injective injectivity intensional interarrival interdeparture interdependencies interpoint interpretatIons interprocedural interprocess interprocessor intertask intertransfer intuitionistic intuitionistically ir ira irreducibles irredundant isjointnessCP isoperimetric isosceles itemset itemsets iter ith j jacm jain jalg jan java jayanti jeavons jiang jinbo joan john jols journalabr jth jul jun k ka kalyanasundaram kan karger karhumaki karp kd ke kearns kel kernelization kernelized khardon ki kifer kis kleinberg kov krantz ku kupferman kutylowski l labelled labelling lang lcu learnability learnable leighton lex linearizability linearizable linearize lis liu livelock liveness lization lle ller ln logconcave logics logiki lognormal logspace loi lookahead lookup lossless lossy lsm lsq lt lud lzer m mSM mackenzie macrosimplification mais makespan manzini marsaglia martinez matchings matem mathison matroid matroids maxcost maxima maximin mayers meetingaddress meetingdate megastars memoing memoryless ment mergesort meta metadata metafunnels metalgorithm metamathematical metaprogramming metatheory mimimize minima minimax minimizers miniprogramming minmax minterm minwise misbehaviors misc misrouting mitochondrial mj mke mn modelled modelling modularly mohring monoid monoidal monoids morphism morphisms mr muggle multi multiaccess multiaccessed multiarmed multiattribute multicast multichain multiclass multicommodity multicounter multicut multicuts multidirectional multidrop multientrance multigraph multigraphs multihead multikey multilinear multilinearity multilinearization multimedia multimodularity multimodule multimorphisms multiobjective multioperand multiparameter multipart multiparty multipass multipath multiplayer multiplicatively multipoint multipole multipriority multiprocess multiprogrammed multiqueue multireader multirecord multiresource multisalesmen multiserver multiset multisets multispin multistation multistep multiswitch multitape multitasked multiterminal multithreaded multitype multiunit multiuser multivalued multiway multiword multiwriter mundhenk myers n nCRP nD na namespace nd ndez ndor ne neighbour neighbourhoods neil nek nen netflow neumann neuroidal neuromata neuromation neuromaton neyt nez nhage nhfb niakowski nicholas niel ning nj nla nlop nlund nm noetherian nonabelian nonadaptive nonapproximability nonassociative nonatomic nonbinary nonblocking nonboundary nonclairvoyant nonclairvoyantly nonclausal noncommunicating noncommutative noncomputable nonconstant nonconstructively nonconvex noncounting noncryptographic nondecreasing nondegenerate nondeterminism nondeterministic nondeterministically nondeterminstic nonduplicated nonequilibrium nonerasing nonexponential nonflat noninteractive noninterleaving nonleading nonlocal nonlogical nonmagic nonmalleability nonmalleable nonmodular nonmono nonmonotone nonmonotonic nonmonotonicity nonmutant nonnecessarily nonnegativity nonnested nonoblivious nonoptimal nonorientable nonormal nonorphan nonoverflowing nonoverlapping nonplanar nonplanarity nonpolynomial nonpreemptive nonprime nonprocedural nonproduct nonproper nonquantum nonrandomized nonrational nonrecursive nonredundant nonrelevant nonrenewal nonrepresentable nonresponsive nonrigorous nonseparable nonsimple nonsingular nonsquare nonstationary nonstiff nonstochastic nonterminating nontermination nontotal nontree nonuniformly nonuniqueness nonvanishing nonvoid nos nov nown np nsk nski nter ntyft ntyxt ny nyi o obfuscator obfuscators observability observables oct offline oids ois oise oldlabel online ontologies optimisation orck ordinals org orientable orithm orthologs orthology outerplanar outlier outre overconstrained ovr owski p pN pOC packettypes packings pagenumber parallelepipeds parallelizability parallelization paralogs parameteric parameterised parameterization parameterized parameterless parametricity paramodulation parlante parlett partitionings pb pc pcalc pd pda pdf pellegrini perevod performability periodification pern perturbable pfa phan pieter pii pipelined pipelining pirri plaintexts plannar po pointisable pointwise poisson poly polyadic polygreedoid polygreedoids polyhedra polylog polylogarithmic polylogarithmically polymatrix polymatroid polymatroidal polymatroids polynomiality polynomially polytopal polytope polytopes pomset poset posets posteriori postnormalization powerdomain powerset pp pre precomposition precomputation preconditioner preemptions prefetcher prefetching preflow premating preorder preorders preprocess preprocessing prespecified primality priori prioritization prioritize priors prll prng prob probab probabilites prog prolog prominences protion prouv provisos ps pseudoentropy pseudonetworks pseudopolynomial pseudorandom pseudorandomness pspace pthread pushdown pushouts pw q qr qrd qsat quadrees quadrilaterals quadtree qual quantifications quantiles quasiconvexity quasipolynomial quasipolynomials qubit qubits queueing quicksort r ra randomised rard rasterized rasters rawdata rawling rckert rd rdquo reachability readorned rebust recognizability recompression reconciliations recoverability recurrencies reducibilities redux referentiality refinable reformulations refs refutational refutationally relativisation relativization relativizations ren reoptimized representability rer resample resampling resequenced resequencing reshuffled reshuffling resizable resizes reste retested rewritings reynolds rez rg rgen rgisser ria ric rien rithms rkk rner rng roadmap roadmaps rodeh ron ronique rosenfeld rotamers roundoff roura runtime runtimes rvinen s s'ecroule saks sasson satisfiability sb scalability scaronima scc sch schedulability schel schemas sciencedirect sdu se searchonyms seba sekar selfrepro semialgebraic semicomputable semidecision semidefinite semiduality semigroup semigroups semilattices semilinear seminaive semiring semirings semisimple sep serialisation serializability serializable sf shellable showtags si siekmann siggraph sigmoidal sik simplexwise simplices simplicial simplifiers simulan skutella slund softeng solvability spacefilling spam sparsification sparsified specifiability specularities speeded spencer splaying spm sqrt sser st stabilisation stabilise stabilising stabilizability stad statecharts stateful stimul stochasticity stoer stringology subadditive subalgebras subalphabet subarray subcell subcells subchain subchains subcomputations subconstant subcubic subdeterminant subdeterminants subdiagonal subdigraph subdirect subdistribution subdomain subexponential subexpression subexpressions subfamilies subformula subformulas subgoal subgoals subgraph subgraphs subhypergraph subinterval subintervals sublanguages sublattice sublinear sublogarithmic submatrices submatrix submetrics submicron submodel submodular subnetwork subnetworks subpaths subpixel subpolynomial subproblems subquadratic subrows subschema subsentences substate substep substring substrings subtasks subterms subtheory subtour subtransactions subtree subtrees subtyping subword subwords suitable suitably sumcost sumsets superfinite superfiniteness superlinear superlinearly supermodular supermodularity superoptimal superpolynomial superpositions superset superstars superstrategy superstring superstrings switchable symbolwise syncausality synchronisation synchronised sys systolic sytems sz szl t ta tal te tefankovi tem tenCate terabyte tetrahedon tetrahedra tex tgds th thickenability thorup throughputs throughs tiebreaking tim timestamp timestamped timestamping timestamps toc toplas totalness tra traceback traceroute tradeoff tradeoffs transdichotomous transductions transfinite transversals trascu treewidth triangularization triangularize triconnected triconnectivity tridiagonal trie trinomial trinomials truthhood tschel tteler ttic ttling tuple tuples turing txt typability tzenberger u ubig uchicago uka ultracomputer unary unate unbordered uncapacitated uncapacited uncomputable und underpinned undominated unentangled unforced unforgeable uni unicyclic unidimensional unifiers unimodular uninterpolated uniprocessor uniprogramming uniswitch univariate unix unknotted unlabelled unmeasurable unnest unnesting unobfuscatable unquantified unranked unsatisfiability unsolvability unsuitable unsupervised unsymmetric unsystematized untrusted untyped utah uti utilizations uv uvic uwasa v va valide vanBeek vanGelder vanGlabbeek vanKreveld vanWestrhenen vandeLiefvoort vandeSnepscheut vanemden varghese versa versioned vertices vo von vonHoldt vonNeumann vs vy w wa wakeup wasserman weakenings website websites wenheim wheter wildcard workflows workloads wp www x xa xb xbc xce xe xix xml xxmonth xxnote xxnumber xxvi xxx y z zar zard zdil zhou zis zniakowski zout zsef zu zveren