Last update: Tue Dec 17 02:02:04 MST 2019
Return to index directory
F
-
Faber, Wolfgang, 71(2)183--214, 79(1)25--69, 96(3)271--295
-
Faber, Wolfgang, see Bria, Annamaria,
see Calimeri, Francesco,
see Eiter, Thomas
-
Fabre, Eric, 95(1)219--244
-
Fabre, Eric, see Madalinski, Agnes
-
face, 61(3)303--334, 94(2)179--195
-
facet, Multi-, 85(1)19--33
-
factor, 64(1)463--470
-
Factorization, 97(3)295--309
-
Failure, 52(4)297--321, 57(1)79--99, 85(1)155--172, 97(1)41--91
-
fair, 89(4)393--417
-
Fairness, 43(1)175--193, 60(1)237--250
-
Families, 49(1)191--203, 52(1)81--132, 83(1)159--175, 97(3)295--309
-
family, 56(3)273--284
-
Fan, Tuan-Fang, 52(4)323--344
-
Fan, Yijun, 86(4)481--502
-
Fan, Yijun, see Ha, Minghu
-
Fan:2002:MFD, 52(4)323--344
-
Fanizzi, Nicola, 47(1)15--33, 69(4)389--409
-
Fanizzi, Nicola, see Esposito, Floriana
-
Farahbod, Roozbeh, 77(1)71--103
-
Farahbod:2007:CEA, 77(1)71--103
-
Fargetton, Renan, 91(2)197--230
-
Fargetton, Renan, see Arrighi, Pablo
-
Farina, Fabio, 83(4)337--353
-
Farina:2008:PPC, 83(4)337--353
-
Farwer, Bernard, 51(1)91--101
-
Farwer, Bernd, 47(3)247--258
-
Farwer, Berndt, 43(1)61--79, 54(2)185--193, 55(2)129--147,
60(1)113--129, 60(1)131--142, 67(1)65--75, 72(1)109--122,
72(1)123--137, 79(3)303--317, 85(1)111--121
-
Farwer:2000:MRL, 43(1)61--79
-
Farwer:2001:CCO, 47(3)247--258
-
Farwer:2002:DMO, 51(1)91--101
-
Farwer:2003:MHO, 55(2)129--147
-
Farwer:2003:SCH, 54(2)185--193
-
Farwer:2004:MON, 60(1)113--129
-
Farwer:2004:NSM, 60(1)131--142
-
Farwer:2005:PNP, 67(1)65--75
-
Farwer:2006:MGL, 72(1)109--122
-
Farwer:2006:SCD, 72(1)123--137
-
Farwer:2007:CTM, 79(3)303--317
-
Farwer:2008:PNC, 85(1)111--121
-
Fast, 56(1)23--49, 56(1)105--120, 61(3)335--349, 64(1)119--134,
87(3)447--463, 91(3)563--579, 95(4)491--510
-
Faster, 73(1)107--117, 97(3)311--320
-
Fault, 55(3)285--306, 66(3)299--313, 88(4)497--540, 89(2)161--187
-
FC-Normal, 45(3)237--252
-
Feasibility, 52(1)233--248
-
Feasible, 63(2)107--124
-
feature, 47(1)91--117, 72(4)529--539, 76(4)481--493, 77(3)243--275,
85(1)97--110, 92(1)131--143, 96(1)89--109
-
Fecher, Harald, 68(1)103--130
-
Fecher:2005:ESA, 68(1)103--130
-
Feedback, 62(1)123--137, 70(4)301--316
-
Feedforward, 45(4)295--328, 46(3)219--252
-
Feelders, Ad, 89(1)1--22
-
Feelders, Ad, see De Knijf, Jeroen
-
Felty, Amy P., 77(4)303--330
-
Felty:2007:TES, 77(4)303--330
-
Ferilli, S., 90(1)43--66
-
Ferilli, Stefano, 47(1)15--33, 69(4)389--409, 89(1)23--43
-
Ferilli, Stefano, see Esposito, Floriana
-
Ferilli:2009:GSF, 90(1)43--66
-
Fernandes, Chris, 47(1)137--154
-
Fernandes:2001:DRU, 47(1)137--154
-
Fernández-Camacho, María-Inés, 81(4)409--439
-
Fernandez-Camacho:2007:BST, 81(4)409--439
-
Fernau, Henning, 45(4)329--358, 64(1)159--170, 83(1)51--64
-
Fernau:2001:VLS, 45(4)329--358
-
Fernau:2005:RRE, 64(1)159--170
-
Fernau:2008:BCA, 83(1)51--64
-
Ferrante, Alessandro, 96(3)323--339
-
Ferrante:2009:MCG, 96(3)323--339
-
Ferrari, Mauro, 96(3)253--269
-
Ferrari, Mauro, see Bozzato, Loris
-
Ferraro, Pascal, 97(3)331--346
-
Ferraro, Pascal, see Allali, Julien
-
Ferré, Sébastien, 66(1)1--32
-
Ferre:2005:DSA, 66(1)1--32
-
Ferretti, Claudio, 87(1)79--91
-
Ferretti, Claudio, see Zandron, Claudio
-
Few, 88(3)275--305
-
Fichtner, Matthias, 57(2)371--392
-
Fichtner:2003:IEM, 57(2)371--392
-
fifth, 86(3)z--z
-
Figueiras-Vidal, Aníbal R., 96(4)419--433,
see El Jelali, Soufiane
-
figure, 52(1)81--132
-
file, 61(3)335--349
-
Filter, 47(3)307--323
-
Filtering, 56(1)51--70, 61(3)335--349, 72(1)379--391
-
Findeisen, Pawe{\l}, 85(1)67--87,
see Chrz{\k{a}}stowski-Wachtel, Piotr
-
Finding, 42(3)235--249, 79(1)25--69, 86(1)1--17, 93(4)459--469
-
Finitary, 62(3)333--342, 80(1)111--123
-
Finite, 43(1)21--48, 51(4)339--368, 64(1)191--203, 64(1)463--470,
68(3)221--230, 70(3)203--226, 73(1)99--106, 73(1)237--264,
74(4)549--562, 81(1)183--202, 82(1)79--103, 83(1)65--73,
84(1)51--60, 85(1)111--121, 85(1)267--280, 85(1)497--512,
87(3)447--463, 88(4)437--468, 92(3)193--231, 93(4)411--434,
95(1)219--244, 96(3)227--252
-
Finite, hp-, 93(4)435--457
-
Finite-State, 80(1)111--123, 82(1)141--153
-
Finiteness, 56(4)389--409
-
Fink, Michael, 57(2)345--370
-
Fink, Michael, see Dix, Jürgen
-
Finkbeiner, Bernd, 89(4)369--392
-
Finkbeiner, Bernd, see Brückner, Ingo
-
Finkel, Olivier, 62(3)333--342, 66(3)277--298, 91(2)305--323,
95(2)287--303
-
Finkel:2004:PFL, 62(3)333--342
-
Finkel:2005:WCH, 66(3)277--298
-
Finkel:2009:HUP, 91(2)305--323
-
Finkel:2009:RTL, 95(2)287--303
-
Firing, 43(1)321--330, 52(1)133--141, 74(4)603--623, 91(1)161--178,
94(3)275--303
-
First, 66(3)199--219, 67(4)377--419
-
First-Order, 61(2)139--157, 80(1)1--29, 83(3)253--276
-
First-order, 42(3)303--333, 72(1)263--282, 94(1)49--61
-
Fisher, John, 91(1)79--103
-
Fisher:2009:SM, 91(1)79--103
-
Five-State, 91(1)161--178
-
Fixed, 58(3)355--368, 65(1)135--151, 76(1)129--145
-
Fixed-Point, 65(1)153--172
-
Fixed-point, 48(2)107--128
-
Fixpoint, 55(1)63--100, 79(1)187--208, 79(1)209--227
-
Flasi{\'n}ski, Mariusz, 71(1)1--14, 80(4)379--413
-
Flasinski:2006:AFS, 71(1)1--14
-
Flasinski:2007:IPG, 80(4)379--413
-
Flat, 67(1)93--105, 72(1)235--243, 91(2)275--303
-
Flavours, 91(2)197--230
-
Fleischer, Paul, 94(3)361--386
-
Fleischer, Paul, see Kristensen, Lars M.
-
Flexible, 67(1)131--147, 68(1)47--102, 95(4)465--489
-
Flocchini, Paola, 87(2)165--183
-
Flocchini:2008:RVC, 87(2)165--183
-
Flow, 42(1)75--104, 46(4)287--314, 54(2)195--211, 60(1)81--98,
64(1)369--377, 72(1)123--137, 72(1)167--180, 85(1)173--187,
87(2)247--267, 88(4)581--610, 94(3)331--360
-
Fluet, Matthew, 77(4)397--449
-
Fluet, Matthew, see Ahmed, Amal
-
Fokkinga, Maarten M., 52(4)297--321
-
Fokkinga, Maarten M., see Eshuis, Rik
-
Fokkink, Wan, 87(3)287--311, 88(1)1--21
-
Fokkink, Wan, see Aceto, Luca
-
Fokkink:2008:TBB, 87(3)287--311
-
Folding, 69(1)219--249, 96(3)373--393
-
Fonseca, Nuno A., 89(1)45--67
-
Fonseca:2008:CHS, 89(1)45--67
-
forbidden, 56(1)121--135
-
Forbidding, 49(1)81--102
-
Force, 96(4)465--475
-
Foremniak, Adrianna, 43(1)81--104
-
Foremniak:2000:SAS, 43(1)81--104
-
Foreword, 49(1)z--z, 56(1)z--z, 58(3)z--z, 78(3)z--z
-
Fork-Join, 51(1)91--101
-
form, 49(1)1--15, 50(2)111--133, 61(1)1--17, 64(1)261--273,
77(3)277--291, 92(1)145--168, 96(3)271--295
-
formal, 42(3)335--389, 52(1)183--201, 54(4)369--385, 62(2)243--273,
63(1)17--39, 63(1)41--63, 63(2)125--158, 70(1)1--20, 71(1)49--61,
71(4)453--475, 74(2)301--328, 75(1)195--213, 78(4)467--485,
79(3)415--430, 80(4)435--451, 90(4)353--368, 90(4)443--459,
92(3)279--299, 92(4)373--396, 93(1)1--15
-
Formalisation, 41(4)367--392
-
Formalising, 80(1)49--74
-
Formalism, 43(1)195--214, 47(3)247--258, 55(3)243--254, 67(1)233--247,
97(1)41--91
-
Formalization, 43(1)129--151, 49(1)261--271, 80(4)415--433
-
Formalized, 93(1)111--125
-
Formalizing, 42(2)105--127, 57(2)193--213
-
Formation, 63(2)107--124, 67(1)187--201
-
Formato, Ferrante, 41(4)393--414
-
Formato:2000:SBU, 41(4)393--414
-
Formenti, Enrico, 76(1)91--112
-
Formenti:2007:ASS, 76(1)91--112
-
Formulas, 60(1)159--172, 67(1)77--92, 85(1)139--153
-
Forward, 67(1)287--301, 77(1)29--69
-
Foudalis, Ilias, 92(4)363--372
-
Foudalis, Ilias, see Spatharis, Anthony
-
Foundation, 44(1)25--61, 59(1)39--65, 66(4)z--z, 69(1)z--z,
71(4)419--441, 73(4)z--z, 77(3)229--242, 78(2)271--294,
79(1)85--135, 90(3)z--z, 90(4)z--z
-
Foundational, 77(4)303--330, 89(4)451--478
-
founded, well-, 62(3)343--368
-
Four, 84(1)135--149, 91(1)123--144
-
Fourier, 97(4)369--379
-
Fourth, 78(1)z--z
-
Foustoucos, Eugénie, 92(3)193--231
-
Foustoucos:2009:MSO, 92(3)193--231
-
Fr{\k{a}}ckowiak, Grzegorz, 96(4)395--418,
see Rhee, Sang Keun
-
Fractal, 50(3)305--314, 58(2)189--202, 87(3)417--433
-
Fragile, 90(1)17--26
-
Fragment, 46(3)187--197, 51(1)135--156, 79(1)229--256, 80(1)1--29
-
Frames, 48(2)227--236, 87(2)227--245
-
framework, 57(2)147--165, 59(4)373--396, 60(1)291--305, 62(1)29--67,
65(1)113--134, 66(1)53--82, 67(1)45--64, 68(1)175--206,
72(1)95--108, 74(1)1--29, 75(1)179--193, 77(4)345--395,
78(4)467--485, 78(4)543--559, 80(1)311--332, 85(1)359--375,
85(1)481--496, 87(2)207--226, 90(1)43--66, 90(4)443--459,
94(2)147--161, 97(1)215--234, 97(1)235--273, 97(3)331--346,
97(4)439--470
-
Francesco, Nicoletta, De, 47(3)189--200, 60(1)81--98
-
Francesco, Nicolette, De, 54(2)195--211
-
Francesco, Nocoletta, De, 51(1)1--11
-
Fredkin, 74(4)529--548
-
Fredriksson, Kimmo, 63(1)1--16, 72(4)453--466, 92(1)63--81
-
Fredriksson:2004:ESM, 63(1)1--16
-
Fredriksson:2006:LAS, 72(4)453--466
-
Fredriksson:2009:SRA, 92(1)63--81
-
Free, 69(1)63--102, 80(1)75--90, 81(4)367--377
-
free, Conflict-, 72(1)311--321
-
Free, Context-, 64(1)171--183, 83(1)35--49
-
free, Context-, 44(3)245--264, 81(4)367--377
-
Free, Counter-, 70(3)277--301
-
free, Iteration-, 45(3)173--194, 56(3)211--242
-
Free, Outfix-, 81(4)441--457
-
Free, Point-, 46(1)129--143
-
free, Point-, 66(4)315--352
-
Free, Prefix-, 73(1)107--117, 90(1)93--106
-
free, Quantifier-, 72(1)263--282
-
free, Scale-, 96(1)1--25
-
free, Star-, 72(1)323--331
-
Free, Triangle-, 58(1)23--37
-
Free-Choice, 62(2)197--220
-
Frequent, 66(1)33--52, 66(1)53--82, 66(1)161--198, 89(1)1--22
-
Freund, Rudolf, 49(1)81--102, 64(1)159--170, 73(1)205--211,
74(4)391--408, 75(1)141--162, 76(3)305--323, 78(3)311--327,
83(1)65--73, 91(1)17--34
-
Freund, Rudolf, see Alhazov, Artiom,
see Chen, Haiming, \see{Fernau, Henning,
see Mateescu, Alexandru
-
Freund:2002:GSF, 49(1)81--102
-
Freund:2007:CAP, 78(3)311--327
-
Freund:2007:MGS, 76(3)305--323
-
Freund:2008:RLD, 83(1)65--73
-
Friedl, Katalin, 91(2)325--340
-
Friedl:2009:QTH, 91(2)325--340
-
Friendly, 96(1)61--70
-
Frisco, Pierluigi, 48(1)9--20, 49(1)103--122
-
Frisco:2001:VCD, 48(1)9--20
-
Frisco:2002:DCU, 49(1)103--122
-
Fritsche, Lutz, 43(1)343--353
-
Fritsche, Lutz, see Schröter, Kay
-
Fritzen, Oliver, 82(3)237--263
-
Fritzen, Oliver, see Behrends, Erik
-
Fronk, Alexander, 70(4)301--316
-
Fronk, Alexander, see Berghammer, Rudolf
-
frontier, 55(1)1--21
-
Frutos-Escrig, David de, 88(3)329--356
-
Frutos-Escrig, David de, see Rosa-Velardo, Fernando
-
Fryc, B., 60(1)143--157
-
Fryc, Barbara, 71(1)83--99, 71(1)101--120, 79(3)541--551
-
Fryc, Barbara, see Suraj, Zbigniew
-
Fryc:2004:FRU, 60(1)143--157
-
Fuk{\'s}, Henryk, 52(1)1--13, 78(3)329--341,
see Boccara, Nino
-
Fuks:2007:RCB, 78(3)329--341
-
Fulga, Florin, 49(1)241--248
-
Fulga, Florin, see Nicolau, Jr., Dan V.
-
Full-Searching-Equivalent, 76(1)25--37
-
Full-Text, 56(1)191--210
-
Fully, 73(4)431--478
-
Fülöp, Zoltán, 89(2)207--257
-
Fulop:2008:PMT, 89(2)207--257
-
function, 41(1)147--186, 44(3)291--319, 47(1)119--135, 48(4)295--314,
50(3)265--284, 57(2)127--146, 58(2)151--165, 65(3)263--278,
71(4)367--370, 73(1)99--106, 74(4)409--433, 77(3)277--291,
78(3)369--396, 86(1)113--126, 94(1)63--99, 95(2)245--262,
96(1)49--59
-
Functional, 59(4)365--372, 70(3)277--301, 75(1)315--330
-
functional, Non-, 51(1)185--200
-
Fundamenta, 41(1)1--31, 94(3)z--z
-
Fundamental, 74(1)31--61, 89(4)z--z, 90(4)443--459, 94(2)z--z
-
Furber, Steve B., 95(1)53--72
-
Furber, Steve B., see Yang, Shufan
-
Furey, Dennis P., 70(1)21--48
-
Furey, Dennis P., see Kapoor, Hemangee K.
-
Further, 64(1)241--253, 91(3)523--532
-
Fusion, 47(3)307--323
-
Future, 71(1)27--36
-
Fuzzification, 76(4)413--447
-
fuzzy, 42(3)279--302, 45(3)207--213, 46(4)277--285, 52(4)323--344,
53(1)23--54, 54(1)67--88, 57(2)127--146, 58(2)79--91, 60(1)143--157,
61(3)223--245, 65(4)307--328, 71(1)1--14, 78(3)369--396,
79(1)257--263, 80(4)475--496, 81(1)123--137, 81(1)155--163,
82(3)289--310, 84(3)471--492, 86(1)143--168, 86(4)411--428,
86(4)481--502, 87(2)185--205, 87(3)465--481, 88(1)135--160,
88(1)161--176, 97(4)471--498