Index file section F for tcs2005.bib
Last update: Thu Jun 29 04:16:31 MDT 2023
Return to index directory
F
-
Fabriková, J., 410(33)3128--3148, see Barnat, J.
-
face, 410(11)1061--1072
-
facility, 361(2)275--313, 363(3)289--300, 384(1)126--135
-
factor, 331(1)3--21, 337(1)169--182, 340(2)334--348, 349(3)429--442,
352(1)329--331, 380(3)266--275, 380(3)286--303, 381(1)134--147,
383(1)23--33, 389(1)12--25, 400(1)70--83, 410(27)2779--2783,
410(38)3589--3596
-
factorial, 410(30)2947--2956
-
factoring, 370(1)186--200, 395(1)3--23
-
factorisation, 409(1)94--109
-
factorization, 346(2)265--280, 356(1)186--189, 385(1)179--192,
410(8)736--744
-
factorizing, 340(2)240--256
-
Faella, Marco, 345(1)139--170
-
Faella, Marco, see Alfaro, Luca de
-
Fages, François, 403(1)52--70, 408(1)55--65
-
Fages:2008:AIT, 403(1)52--70
-
Fages:2008:TLC, 408(1)55--65
-
Faggian, Claudia, 350(2)213--233
-
Faggian:2006:IOL, 350(2)213--233
-
Fagin, 353(1)53--62
-
Fagin, Ronald, 336(1)89--124
-
Fagin:2005:DES, 336(1)89--124
-
Fahle, W., 410(36)3372--3390
-
Fahle, W., see Chitturi, B.
-
fail-stop, 410(8)736--744
-
failing, 383(1)23--33
-
failures, 333(3)433--454, 370(1)279--292
-
failures-based, 330(3)407--438
-
Fainekos, Georgios E., 410(42)4262--4291
-
Fainekos:2009:RTL, 410(42)4262--4291
-
fairness, 356(3)291--324, 385(1)88--100
-
Faisant, Alain, 362(1)255--272
-
Faisant, Alain, see Bretto, Alain
-
faithfully, 336(2)235--284
-
Fajstrup, Lisbeth, 357(1)241--278, 365(3)199--205
-
Fajstrup:2006:ATC, 357(1)241--278
-
Fajstrup:2006:CLP, 365(3)199--205
-
Fakih, Khaled, El-, 362(1)17--32
-
Falaschi, Moreno, 410(46)4601--4602
-
Falaschi:2009:F, 410(46)4601--4602
-
Falcidieno, B., 392(1)5--22
-
Falcidieno, B., see Biasotti, S.
-
Faliszewski, Piotr, 410(1)101--107
-
Faliszewski:2009:CPI, 410(1)101--107
-
family, 332(1)487--496, 363(1)76--84, 387(1)4--17, 397(1)194--232,
400(1)46--61, 404(1)76--87, 410(21)1961--1969, 410(47)4856--4863
-
Fan, Wenfei, 336(1)3--31
-
Fan, Wenfei, see Benedikt, Michael
-
Fang, Binxing, 332(1)391--404
-
Fang, Binxing, see He, Longtao
-
Fang, Jywe-Fei, 385(1)286--300
-
Fang:2007:BPF, 385(1)286--300
-
Fano, 349(1)112--120
-
far, 351(1)101--110
-
Farach-Colton, Martin, 382(2)85--85, 409(3)486--496
-
Farach-Colton, Martin, see Bille, Philip,
see Cryan, Mary
-
Farago, Andras, 396(1)180--190
-
Farago, Andras, see Wang, Chen
-
Faria, L., 381(1)57--67, 409(3)497--510
-
Faria, L., see Abouelaoualim, A.,
see Figueiredo, C. M. H. de
-
Faria, Luerbio, 410(21)2072--2083
-
Faria, Luerbio, see Alcón, Liliana
-
Farré, Jacques, 363(2)107--107
-
Farre:2006:E, 363(2)107--107
-
farthest, 393(1)294--300
-
fast, 354(3)354--366, 359(1)329--343, 362(1)171--195, 374(1)1--24,
387(3)249--257, 393(1)14--22, 395(2)137--157, 399(1)83--100,
401(1)236--242, 409(2)211--228, 409(3)486--496, 410(4)406--416,
410(8)886--899, 410(21)1993--2000, 410(38)3942--3948,
410(43)4303--4314
-
faster, 331(1)53--72, 368(3)196--204, 377(1)181--204, 380(1)37--46,
380(1)87--99, 387(3)258--272, 410(51)5354--5364
-
fat, 410(6)481--499
-
Fatès, Nazim, 362(1)1--16
-
Fates:2006:FAB, 362(1)1--16
-
fault, 337(1)370--378, 341(1)150--161, 384(2)232--249, 399(1)101--117,
407(1)318--329, 409(3)450--460, 410(8)766--775, 410(44)4457--4470
-
fault-free, 337(1)370--378, 407(1)318--329, 410(8)766--775
-
fault-tolerant, 407(1)110--116, 410(1)62--77, 410(8)812--817,
412(45)6451--6454
-
fault-tolerant, Edge-, 409(3)450--460
-
faulty, 377(1)170--180, 390(1)70--80, 402(2)190--198, 410(14)1377--1387,
410(19)1903--1912
-
Favrholdt, Lene M., 362(1)127--139
-
Favrholdt, Lene M., see Boyar, Joan
-
Feasibility, 370(1)279--292
-
FeatherTrait, 398(1)243--260
-
feature, 343(3)482--508
-
featured, 404(3)235--255
-
Feder, Tomás, 349(1)52--66
-
Feder:2005:LMP, 349(1)52--66
-
Federico, Maria, 410(43)4391--4401
-
Federico:2009:STC, 410(43)4391--4401
-
feedback, 351(3)446--458, 364(1)3--9, 383(1)86--101
-
feedforward, 348(1)95--127
-
Feige, Uriel, 341(1)22--38
-
Feige, Uriel, see Chlamtac, Eden
-
Feigenbaum, Joan, 343(1)114--132, 348(2)207--216, 378(2)175--189,
389(1)26--43
-
Feigenbaum, Joan, see Aspnes, James
-
Feigenbaum:2005:CDI, 343(1)114--132
-
Feigenbaum:2005:GPS, 348(2)207--216
-
Feigenbaum:2007:SCP, 378(2)175--189
-
Fekete, Sándor P., 361(2)342--355,
see Demaine, Erik D.
-
Feldman, Vitaly, 410(19)1903--1912
-
Feldman:2009:SML, 410(19)1903--1912
-
Felice, Clelia, De, 410(47)4937--4960
-
Felice, Clelia De, 334(1)71--98, 340(2)240--256
-
Felice, Clelia De, see Bonizzoni, Paola
-
Felice:2005:EPF, 340(2)240--256
-
Felloni, Sara, 372(2)218--241
-
Felloni, Sara, see Leporati, Alberto
-
Fellows, Michael R., 351(3)351--359, 410(1)53--61, 410(45)4554--4570
-
Fellows, Michael R., see Betzler, Nadja
-
Fellows:2006:FSR, 351(3)351--359
-
Fellows:2009:PCM, 410(1)53--61
-
Feng, Feng, 347(1)423--431
-
Feng, Haodi, 410(27)2746--2753
-
Feng, Haodi, see Liu, Hong
-
Feng, Wangsen, 410(11)1022--1029
-
Feng, Yuan, 386(1)151--166
-
Feng, Ze, 401(1)52--61, 410(11)1013--1021
-
Feng, Ze, see Chen, Zhi-Zhong,
see Li, Minming
-
Feng:2005:SS, 347(1)423--431
-
Feng:2007:PRC, 386(1)151--166
-
Feng:2009:AAM, 410(11)1022--1029
-
Fenner, Trevor, 396(1)88--96
-
Fenner:2008:MNP, 396(1)88--96
-
Fenwick, Peter, 387(3)200--219
-
Fenwick:2007:BWC, 387(3)200--219
-
Ferbus-Zanda, Marie, 352(1)159--180
-
Ferbus-Zanda:2006:KCC, 352(1)159--180
-
Ferguson, D. R., 365(3)184--198
-
Ferguson, D. R., see Abe, K.
-
Fernández, Antonio, 333(3)433--454, 343(1)4--26,
see López, Luis
-
Fernandez, José M., 345(2)206--234,
see Beaudry, Martin
-
Fernández, Maribel, 403(2)285--306,
see Calvès, Christophe
-
Fernández-Camacho, María-Inés, 355(3)327--353,
see Sánchez-Couso, José-Ramón
-
Fernandez:2005:DAP, 333(3)433--454
-
Fernau, Henning, 369(1)67--81
-
Fernau, Henning, see Bordihn, Henning
-
Fernique, Thomas, 380(3)251--265, 380(3)317--329
-
Fernique, Thomas, see Arnoux, Pierre
-
Fernique:2007:LRS, 380(3)317--329
-
Ferragina, Paolo, 372(1)115--121, 387(3)197--199, 410(51)5299--5299
-
Ferragina:2007:F, 387(3)197--199
-
Ferragina:2007:SSS, 372(1)115--121
-
Ferragina:2009:F, 410(51)5299--5299
-
Ferrante, Alessandro, 393(1)37--53, 393(1)220--230, 410(8)886--899
-
Ferrante:2008:HOP, 393(1)220--230
-
Ferrante:2008:MNE, 393(1)37--53
-
Ferrante:2009:FPS, 410(8)886--899
-
Ferrara, Anna Lisa, 407(1)213--230
-
Ferrara, Anna Lisa, see De Santis, Alfredo
-
Ferrari, Gianluigi, 331(2)325--365
-
Ferrari:2005:CMH, 331(2)325--365
-
Ferraro, Pascal, 410(8)837--846
-
Ferraro, Pascal, see Ouangraoua, Aïda
-
Ferrucci, Filomena, 337(1)51--104
-
Ferrucci, Filomena, see Costagliola, Gennaro
-
Fersman, Elena, 354(2)301--317
-
Fersman:2006:SAF, 354(2)301--317
-
Fertin, Guillaume, 385(1)241--263
-
Fertin, Guillaume, see Blin, Guillaume
-
Festschrift, 410(41)4001--4005
-
FET, EU-, 389(3)337--340
-
few, 330(1)145--169, 337(1)347--359, 375(1)335--345, 410(6)481--499,
410(21)2045--2053, 410(47)4975--4988
-
fewer, 389(1)143--151
-
FFT, 410(27)2649--2658
-
Fiadeiro, José, 366(1)1--2
-
Fiadeiro:2006:P, 366(1)1--2
-
Fiala, Ji{\v{r}}{\'\i}, 349(1)67--81
-
Fiala:2005:CCC, 349(1)67--81
-
Fiat, Amos, 361(2)172--187, 363(1)18--27
-
Fiat, Amos, see Azar, Yossi,
see Demaine, Erik D.
-
Fibonacci, 349(3)429--442, 363(2)211--223
-
Fibonacci-like, 337(1)379--389
-
fibrational, 375(1)3--19
-
Fibrations, 388(1)109--129
-
Fici, Gabriele, 359(1)214--230, 410(47)4937--4960
-
Fici, Gabriele, see De Felice, Clelia
-
Fici:2006:WAT, 359(1)214--230
-
Fidge, Colin J., 346(1)3--27
-
Fidge, Colin J., see Lermer, Karl
-
field, 331(1)3--21, 352(1)293--305, 410(21)2285--2290,
410(50)5244--5251
-
Field, John, 410(2)168--201
-
Field:2009:RDO, 410(2)168--201
-
FIFO, 377(1)55--64
-
Figueira, Santiago, 377(1)126--138
-
Figueira, Santiago, see Becher, Verónica
-
Figueiredo, C. M. H. de, 381(1)57--67
-
Figueiredo, Celina M. H. de, 337(1)240--248, 410(21)2072--2083
-
Figueiredo, Celina M. H. de, see Alcón, Liliana,
see Dias, Vânia M. F.
-
figure, 381(1)33--43
-
Filinski, Andrzej, 375(1)41--75
-
Filinski:2007:RBM, 375(1)41--75
-
Filipe, Juliana, Küster-, 351(2)203--220
-
Filipe, L., Cruz-, 379(1)142--165
-
fill-in, 349(2)123--139
-
filter, 359(1)306--328, 398(1)129--149
-
final, 338(1)184--199, 349(2)168--183, 360(1)1--22, 360(1)415--439,
410(47)5010--5021
-
find, 359(1)69--76, 410(47)4989--4999
-
finding, 335(1)15--27, 347(1)214--238, 350(1)140--162, 351(1)101--110,
351(3)351--359, 368(3)217--230, 370(1)299--308, 380(1)37--46,
386(1)114--131, 396(1)271--276, 400(1)84--99, 406(1)72--79,
407(1)302--309, 407(1)349--358, 410(15)1461--1472,
410(21)2295--2300, 410(30)2834--2839, 410(38)3942--3948,
410(50)5215--5226, 410(50)5285--5297
-
finding, truth-, 383(2)270--289
-
fine, 339(1)49--60, 391(1)51--60, 405(1)116--163, 410(30)3027--3034
-
Fine, Shai, 404(3)219--234
-
Fine, Shai, see Copty, Shady
-
fine-grained, 331(2)429--455
-
Finger, Marcelo, 355(2)153--166
-
Finger:2006:UPA, 355(2)153--166
-
finitary, 338(1)184--199, 405(1)11--23
-
finite, 330(1)59--79, 330(2)267--285, 331(1)3--21, 332(1)199--232,
339(1)103--128, 340(2)432--442, 345(2)331--344, 345(2)406--424,
352(1)293--305, 355(3)274--290, 356(1)118--125, 356(1)136--152,
356(1)190--199, 362(1)207--221, 363(2)135--148, 364(1)77--97,
376(1)127--136, 379(1)266--285, 381(1)33--43, 382(2)109--119,
386(1)3--37, 387(1)18--31, 387(2)155--166, 391(1)51--60,
395(1)132--133, 397(1)70--76, 403(1)42--51, 404(3)202--218,
405(1)24--34, 407(1)330--341, 409(3)411--416, 410(1)16--34,
410(1)94--100, 410(20)1932--1941, 410(20)1952--1959,
410(21)2285--2290, 410(24)2345--2351, 410(27)2685--2700,
410(30)3006--3017, 410(35)3209--3222, 410(37)3504--3512,
410(38)3711--3724
-
finite-equational, 330(3)377--405
-
finite-state, 346(1)113--134, 349(3)392--406, 358(2)315--333,
370(1)110--120, 373(1)92--114
-
finitely, 366(1)60--81
-
finiteness, 366(3)297--315
-
Finkel, A., 356(3)374--386
-
Finkel, Olivier, 364(2)196--211
-
Finkel:2006:DPL, 364(2)196--211
-
Finkel:2006:LEP, 356(3)374--386
-
Finocchi, Irene, 382(2)97--108, 410(44)4457--4470
-
Finocchi, Irene, see Caminiti, Saverio
-
Finocchi:2009:ORS, 410(44)4457--4470
-
Fiore, Marcelo, 410(18)1704--1729
-
Fiore:2009:CFA, 410(18)1704--1729
-
Fiorenzi, Francesca, 345(2)190--205
-
Fiorenzi, Francesca, see Béal, Marie-Pierre
-
Fiorino, Guido, 409(1)41--58
-
Fiorino, Guido, see Avellone, Alessandro
-
first, 343(1)158--176, 360(1)42--76, 387(3)236--248
-
first, depth-, 374(1)170--180
-
first, most-request-, 396(1)200--211
-
first-order, 330(3)577--607
-
Fischer, Johannes, 410(51)5354--5364
-
Fischer, Simon, 344(2)208--225, 378(2)165--174, 410(36)3357--3371
-
Fischer:2005:ODI, 344(2)208--225
-
Fischer:2007:SCW, 378(2)165--174
-
Fischer:2009:ARS, 410(36)3357--3371
-
Fischer:2009:FEB, 410(51)5354--5364
-
Fisher, 378(2)143--152
-
Fisher, Edgar, 409(3)333--340
-
Fisher:2008:RPS, 409(3)333--340
-
Fishkin, A. V., 361(2)257--274
-
Fishkin, A. V., see Ageev, A. A.
-
Fishkin, Aleksei V., 384(2)152--160
-
Fishkin, Aleksei V., see Caragiannis, Ioannis
-
Fisman, Dana, 404(3)202--218
-
Fisman, Dana, see Ben-David, Shoham
-
Fitness, 378(1)54--77
-
five, 410(47)5122--5127
-
fixed, 330(2)325--338, 339(1)103--128, 340(2)273--279, 350(2)174--187,
350(2)292--324, 350(2)325--344, 361(2)210--225, 369(1)197--210,
376(1)70--88, 389(3)528--549, 401(1)228--235, 406(1)43--54,
407(1)448--457, 410(21)2084--2098, 410(44)4448--4456
-
Fixed-parameter, 410(45)4554--4570
-
fixed-priority, 354(2)301--317
-
fixpoint, 351(2)258--275, 364(3)273--291
-
FKP, 379(3)306--316
-
flag, 341(1)398--410
-
Flajolet, Philippe, 355(3)371--381
-
Flajolet:2006:SWR, 355(3)371--381
-
Flammini, M., 369(1)269--284
-
Flammini, M., see Bilò, V.
-
Flammini, Michele, 333(3)401--413
-
Flammini:2005:RWA, 333(3)401--413
-
Flanagan, Cormac, 338(1)153--183
-
Flanagan, M. F., 396(1)35--49
-
Flanagan, M. F., see Dukes, W. M. B.
-
Flanagan:2005:MVM, 338(1)153--183
-
flat, 406(1)8--14
-
flat-tree, 370(1)186--200
-
Fleiner, Tamás, 381(1)162--176
-
Fleiner:2007:EAG, 381(1)162--176
-
Fleischer, Lisa, 348(2)217--225
-
Fleischer, Rudolf, 363(1)99--105, 410(45)4533--4533
-
Fleischer, Rudolf, see Zhang, Yong
-
Fleischer:2005:LTS, 348(2)217--225
-
Fleischer:2009:F, 410(45)4533--4533
-
Fleischner, Herbert, 410(21)2045--2053
-
Fleischner:2009:CGF, 410(21)2045--2053
-
flexible, 368(1)1--29, 410(4)332--346
-
flips, 380(3)251--265
-
floating-point, 409(2)255--268
-
Flocchini, Paola, 337(1)147--168, 385(1)34--48, 399(1)1--2,
402(1)67--80, 407(1)412--447
-
Flocchini, Paola, see Das, Shantanu
-
Flocchini:2005:GAR, 337(1)147--168
-
Flocchini:2008:APF, 407(1)412--447
-
Flocchini:2008:P, 399(1)1--2
-
Flocchini:2008:SDM, 402(1)67--80
-
Floréen, Patrik, 344(1)30--46
-
Floreen:2005:EAB, 344(1)30--46
-
Florido, Mário, 342(1)79--103, see Alves, Sandra
-
flow, 342(1)56--78, 343(3)443--481, 346(2)300--306, 348(2)226--239,
352(1)318--321, 369(1)338--347, 369(1)456--462, 375(1)120--136,
379(3)387--404, 388(1)53--82, 400(1)137--143, 402(2)82--101,
410(33)3110--3127
-
flow, data-, 364(3)292--310
-
flow, max-, 352(1)318--321
-
Floyd, 347(1)214--238
-
Flum, Jörg, 339(2)167--199, 351(3)314--336,
see Chen, Yijia
-
fly, 368(1)1--29
-
fly, On-the-, 410(42)4241--4261
-
fly, on-the-, 345(1)60--82
-
Foata, Dominique, 410(38)3743--3750
-
Foata:2009:NPC, 410(38)3743--3750
-
focus, 343(3)482--508
-
Focusing, 410(46)4747--4768
-
Fokkink, Wan, 330(3)377--405, 335(2)127--129, 354(3)421--440,
366(1)60--81
-
Fokkink, Wan, see Aceto, Luca
-
Fokkink:2006:CHM, 354(3)421--440
-
folded, 341(1)196--215, 385(1)286--300
-
following, 392(1)113--127
-
follows, 401(1)243--248
-
Fomin, Fedor V., 349(1)22--30, 399(3)157--157, 399(3)236--245
-
Fomin, Fedor V., see Bodlaender, Hans L.
-
Fomin:2008:ABG, 399(3)236--245
-
Fomin:2008:FSI, 399(3)157--157
-
Fontana, Federico, 372(2)165--182
-
Fontana:2007:DSD, 372(2)165--182
-
forbidden, 359(1)214--230, 410(52)5403--5414
-
forecasting, 351(1)82--100, 410(19)1781--1795
-
forecasts, 371(1)62--71
-
forest, 374(1)91--110, 401(1)131--143, 410(11)1093--1098
-
Foret, Annie, 355(2)139--152
-
Foret, Annie, see Béchet, Denis
-
foreword, 335(1)1--2, 335(2)127--129, 349(2)121--122, 350(1)1--2,
350(1)v--ix, 364(1)1--2, 365(3)169--170, 376(3)137--138,
382(3)167--169, 387(1)1--3, 387(3)197--199, 395(2)135--136,
397(1)1--3, 397(1)v--ix, 399(3)157--157, 404(1)3--4, 405(1)1--2,
405(1)v--ix, 410(4)283--284, 410(41)4001--4005, 410(43)4293--4294,
410(45)4533--4533, 410(46)4601--4602, 410(50)5201--5201,
410(51)5299--5299
-
form, 354(1)118--130, 360(1)228--246, 361(1)38--56, 363(2)124--134,
372(2)196--217, 393(1)280--286, 409(2)229--240, 409(3)565--577,
410(4)426--442, 410(47)4892--4904
-
formal, 336(2)285--309, 343(3)482--508, 346(2)418--438, 349(2)184--201,
351(2)167--183, 356(1)14--25, 360(1)440--458, 364(1)98--114,
364(3)318--337, 366(3)199--227, 367(1)57--87, 367(1)257--270,
368(1)149--160, 389(3)484--511, 401(1)243--248, 405(1)11--23,
405(1)101--115, 405(1)198--205, 410(2)254--280
-
formal, Semi-, 404(3)293--307
-
Formalising, 389(3)341--410
-
Formalization, 382(1)71--83
-
formalized, hypermap-, 403(2)133--159
-
formally, 343(3)482--508
-
format, 373(3)238--272
-
formation, 396(1)97--112, 407(1)412--447, 410(4)417--425
-
formed, well-, 403(2)382--405
-
Formenti, E., 349(3)318--336, 410(47)4823--4833
-
Formenti, E., see Blanchard, F.,
see Dennunzio, A.
-
Formenti, Enrico, 345(2)235--247, 381(1)1--28, 410(38)3685--3693
-
Formenti, Enrico, see Acerbi, Luigi,
see Bernardi, Vincent,
see Cervelle, Julien
-
former, 340(2)186--187
-
formula, 363(2)182--195, 403(2)133--159, 407(1)359--369, 407(1)448--457,
409(2)255--268, 410(30)2920--2934
-
formulae, 332(1)265--291
-
formulæ, 393(1)260--279
-
Forster, Jürgen, 350(1)40--48
-
Forster:2006:SPD, 350(1)40--48
-
forth, back-and-, 366(1)163--179
-
Fortnow, Lance, 343(1)114--132, 354(3)391--404
-
Fortnow, Lance, see Antunes, Luis,
see Feigenbaum, Joan
-
forward, 336(2)403--435, 378(2)198--207, 410(37)3539--3552
-
Fory{\'s}, Wit, 369(1)314--322
-
Forys:2006:AAP, 369(1)314--322
-
FOSSACS, 390(2)127--128
-
FOSSACS 2003, Andrew D., Gordon, Programme Chair, 333(1)1--1
-
Fotakis, Dimitris, 348(2)226--239, 361(2)275--313, 410(36)3305--3326
-
Fotakis:2005:SUF, 348(2)226--239
-
Fotakis:2006:IAF, 361(2)275--313
-
Fotakis:2009:SCN, 410(36)3305--3326
-
Fouché, Willem, 403(1)121--129
-
Fouché, Willem L., 394(3)175--186
-
Fouche:2008:DGB, 394(3)175--186
-
Fouche:2008:UPQ, 403(1)121--129
-
foundations, 340(1)1--2, 360(1)23--41, 360(1)386--414, 389(3)337--340,
390(2)127--128
-
four, 391(1)14--19
-
four-stage, 410(43)4350--4359
-
Fourier, 401(1)1--16
-
Fournet, Cédric, 340(1)102--153,
see Bhargavan, Karthikeyan
-
Fournier, Hervé, 407(1)97--109
-
Fournier:2008:URP, 407(1)97--109
-
fourth, 372(2)123--124, 410(1)44--52
-
FPT, 351(3)296--302
-
FPTAS, 410(27)2663--2674
-
fraction, 380(3)220--237, 392(1)158--173, 409(2)292--310,
409(3)521--529, 410(38)3655--3669
-
fractional, 399(1)101--117
-
Fraczak, Wojciech, 363(2)124--134, 376(1)42--51
-
Fraczak, Wojciech, see Bastien, Cédric
-
Fraenkel--Mostowksi, 410(12)1159--1189
-
fragment, 336(1)3--31, 354(2)173--186, 357(1)215--229, 376(1)89--100
-
Fraigniaud, Pierre, 345(2)331--344, 355(1)65--79, 399(1)12--37,
399(3)157--157, 410(21)1970--1981
-
Fraigniaud, Pierre, see Blin, Lélia,
see Fomin, Fedor V.
-
Fraigniaud:2005:GEF, 345(2)331--344
-
Fraigniaud:2006:DBB, 355(1)65--79
-
Fraigniaud:2009:UAS, 410(21)1970--1981
-
frame, 375(1)137--168, 410(42)4216--4233
-
framework, 332(1)109--121, 346(1)58--95, 355(2)228--242, 367(1)203--227,
373(3)163--181, 374(1)277--290, 375(1)3--19, 389(3)446--483,
389(3)512--527, 406(1)15--23, 407(1)370--388, 410(33)3065--3084
-
Franciosa, Paolo G., 410(36)3406--3413
-
Franciosa, Paolo G., see Ausiello, Giorgio
-
Franco, Giuditta, 404(1)88--96
-
Franco:2008:DCI, 404(1)88--96
-
Frandsen, Gudmund Skovbjerg, 410(41)4085--4093
-
Frandsen, Peter Frands, 410(41)4085--4093
-
Frandsen, Peter Frands, see Frandsen, Gudmund Skovbjerg
-
Frandsen:2009:DMR, 410(41)4085--4093
-
Frederickson, Greg N., 352(1)250--265
-
Frederickson:2006:EAR, 352(1)250--265
-
Fredriksson, Kimmo, 347(1)239--275
-
Fredriksson:2005:SIT, 347(1)239--275
-
free, 330(1)117--121, 330(1)171--191, 332(1)573--581, 352(1)57--70,
362(1)282--300, 373(1)1--18, 388(1)26--52, 400(1)144--158,
407(1)545--553, 409(3)461--470, 410(18)1704--1729,
410(45)4588--4600
-
free, ,gem-, 349(1)2--21
-
free, bond-, 334(1)131--159
-
free, -, 407(1)545--553
-
free, claw-, 396(1)151--157
-
free, comma-, 401(1)17--26
-
free, conflict-, 347(3)465--497
-
free, Context-, 330(2)339--348
-
free, context-, 330(3)553--575, 337(1)119--133, 337(1)183--216,
339(2)344--371, 347(1)167--190, 347(1)191--213, 354(1)82--97,
354(1)118--130, 356(1)104--117, 381(1)274--279, 388(1)173--180,
395(2)235--254, 400(1)62--69, 403(2)406--408, 409(3)565--577,
410(35)3198--3208, 410(37)3530--3538, 410(47)5158--5181
-
free, deadlock-, 374(1)203--213
-
free, error-, 332(1)487--496
-
free, Fault-, 407(1)318--329, 410(8)766--775
-
free, fault-, 337(1)370--378
-
free, Overlap-, 410(38)3670--3684
-
free, power-, 410(30)2823--2833
-
free, Prefix-, 389(1)307--317
-
free, Quantifier-, 355(2)215--227
-
free, range-, 344(1)86--99
-
free, repetition-, 340(2)280--290, 380(3)388--392
-
free, Scale-, 344(1)15--29
-
free, square-, 396(1)254--257, 410(38)3893--3900
-
free, suffix-, 410(27)2537--2548
-
Free-algebra, 390(2)248--270
-
freedom, 378(2)134--142
-
freeness, 389(1)265--277, 410(8)793--800, 410(46)4704--4723
-
freeness, Overlap-, 410(8)943--948
-
freeness, prefix-, 385(1)193--201
-
Frege, 357(1)35--52
-
Freibothe, Martin, 404(3)293--307
-
Freibothe, Martin, see Schönherr, Jens
-
Freiling, Felix C., 410(6)614--628
-
Freiling, Felix C., see Mittal, Neeraj
-
Freivalds, R., 397(1)70--76
-
Freivalds, R{\=u}si{\c{n}}{\v{s}}, 410(20)1923--1931
-
Freivalds:2008:QII, 397(1)70--76
-
Freivalds:2009:ICM, 410(20)1923--1931
-
frequency, 330(1)15--21, 374(1)25--40, 380(3)388--392, 394(1)84--111,
410(27)2779--2783
-
frequent, 362(1)63--85
-
freshness, 342(1)28--55
-
Frettlöh, D., 391(1)39--50
-
Frettloh:2008:SDT, 391(1)39--50
-
Freund, Rudolf, 330(1)101--116, 330(2)251--266, 372(2)136--151
-
Freund, Rudolf, see Cavaliere, Matteo
-
Freund, Stephen N., 338(1)153--183
-
Freund, Stephen N., see Flanagan, Cormac
-
Freund:2005:CUP, 330(2)251--266
-
Freund:2005:TPS, 330(1)101--116
-
Freyd, Peter, 375(1)193--200
-
Freyd:2007:CAR, 375(1)193--200
-
frictional, 363(3)248--256
-
Frid, A. E., 339(1)68--87, 380(3)304--316, 410(30)2947--2956
-
Frid, A. E., see Cassaigne, J.
-
Frid:2005:SLA, 339(1)68--87
-
Frid:2009:SEB, 410(30)2947--2956
-
Friedetzky, T., 369(1)239--249
-
Friedetzky, T., see Bebek, G.
-
Friedetzky, Tom, 409(3)511--520
-
Friedetzky, Tom, see Berenbrink, Petra
-
Friedrich, Tobias, 410(26)2455--2462
-
Friedrich:2009:CSD, 410(26)2455--2462
-
friendly, cache-, 410(27)2649--2658
-
Frieze, Alan, 407(1)242--249
-
Frieze, Alan, see Beveridge, Andrew
-
Friggens, David, 360(1)1--22
-
Friggens:2006:MPT, 360(1)1--22
-
Fritz, Carsten, 338(1)275--314
-
Fritz:2005:SRA, 338(1)275--314
-
Fronhöfer, Bertram, 350(1)140--162
-
Fronhofer:2006:HFP, 350(1)140--162
-
Fröschle, Sibylle, 386(3)169--187
-
Froschle:2007:CVT, 386(3)169--187
-
Frosini, A., 347(1)336--352, 406(1)43--54, 410(27)2701--2713
-
Frosini, A., see Brocchi, S.,
see Castiglione, G., \see{De Carli, F.
-
Frosini, Andrea, 347(1)370--392, 370(1)201--217, 406(1)90--96
-
Frosini:2005:IPD, 347(1)370--392
-
Frosini:2007:BMU, 370(1)201--217
-
Frosini:2008:SIM, 406(1)90--96
-
Frougny, Christiane, 380(3)238--250
-
Frougny, Christiane, see Ambroz, Petr
-
Fruja, Nicu G., 336(2)235--284
-
Fruja, Nicu G., see Börger, Egon
-
Fu, Bin, 410(27)2663--2674
-
Fu, Jung-Sheng, 396(1)191--199, 407(1)318--329, 409(3)450--460,
410(8)766--775
-
Fu, Jung-Sheng, see Chen, Ying-You,
see Tsai, Ping-Ying
-
Fu, Ruyan, 374(1)49--57, 374(1)196--202, 393(1)287--293,
410(21)2291--2294
-
Fu, Ruyan, see Tian, Ji
-
Fu, Yuxi, 338(1)96--126
-
Fu:2005:QOB, 338(1)96--126
-
Fu:2007:OSP, 374(1)196--202
-
Fu:2008:FFH, 407(1)318--329
-
Fu:2009:EIF, 410(27)2663--2674
-
Fuchs, Bernhard, 332(1)251--264
-
Fuchs:2005:OML, 332(1)251--264
-
Fujita, Hitoshi, 372(1)81--93
-
Fujita, Hitoshi, see Ishii, Toshimasa
-
Fukunaga, Takuro, 385(1)202--213
-
Fukunaga, Takuro, see Berger, André
-
Fulkerson, 349(1)112--120
-
full, 373(1)19--40, 377(1)126--138, 390(2)171--196
-
fully, 338(1)17--63, 343(3)482--508, 362(1)1--16, 369(1)230--238,
406(1)119--135, 410(2)221--253
-
Fülöp, Zoltán, 347(1)276--287
-
Fulop:2005:LDM, 347(1)276--287
-
function, 337(1)360--369, 338(1)315--349, 341(1)247--262, 343(1)97--113,
343(1)237--281, 348(2)130--147, 348(2)148--186, 349(2)202--229,
349(2)230--244, 349(2)245--267, 350(1)3--12, 350(1)13--23,
351(1)101--110, 356(1)104--117, 359(1)282--298, 362(1)54--62,
363(3)289--300, 371(1)4--19, 376(1)42--51, 378(1)101--116,
381(1)266--273, 382(3)198--208, 384(1)66--76, 384(1)87--91,
386(1)73--93, 390(1)92--101, 391(1)65--74, 392(1)141--157,
396(1)71--87, 396(1)223--246, 397(1)4--56, 397(1)57--69,
401(1)27--35, 407(1)117--133, 407(1)330--341, 409(2)241--254,
410(8)745--755, 410(8)988--993, 410(26)2455--2462,
410(38)3589--3596, 410(38)3839--3855, 410(47)5158--5181
-
functional, 338(1)200--246, 342(1)149--172, 355(2)167--196,
359(1)28--42, 360(1)459--459, 364(2)212--240, 367(3)273--285,
368(1)64--87, 375(1)120--136, 380(3)251--265
-
functionalities, 406(3)240--247
-
functionally, 407(1)591--595
-
functor, 338(1)184--199, 360(1)415--439, 410(12)1129--1142
-
fundamental, 335(2)147--186
-
Furia, Carlo A., 376(3)164--184
-
Furia:2007:ACP, 376(3)164--184
-
Fürstenberg, 403(2)160--175
-
further, 368(1)1--29
-
furthermore, 377(1)126--138
-
Fúster-Sabater, A., 409(3)530--536
-
Fuster-Sabater:2008:SAS, 409(3)530--536
-
future, 364(3)338--356, 404(1)19--25
-
fuzzy, 347(1)167--190, 347(1)191--213, 368(1)149--160