Last update: Thu Jun 29 02:46:00 MDT 2023
Return to index directory
F
-
Faber, Wolfgang, 107(4)379--413
-
Faber:2011:LBT, 107(4)379--413
-
Fabre, Eric, 139(4)369--401
-
Fabre, Eric, see Jezequel, Loïg
-
face, 168(2)287--310
-
facility, 141(2)233--243
-
factor, 116(1)223--236, 118(4)419--461, 158(1)63--91, 160(1)143--165,
163(3)225--244, 163(3)291--304
-
Factored, 139(4)369--401
-
Factoring, 152(3)289--295, 156(2)179--185
-
Factorization, 169(4)275--283, 170(4)325--338
-
Facts, 144(3)291--307
-
Faella, Marco, 105(1)189--210
-
Faella:2010:GAT, 105(1)189--210
-
fair, 141(1)95--114
-
Fairness, 109(3)255--264, 158(1)121--148
-
Fajardo, William, 164(1)41--59, 167(3)159--191
-
Fajardo:2019:CML, 167(3)159--191
-
Fajardo:2019:EMC, 164(1)41--59
-
Fallacies, 135(4)403--417
-
Family, 98(2)143--166, 112(2)219--238, 117(1)189--198, 151(1)63--75,
159(3)297--325, 162(1)73--100
-
Fan, Jianxi, 111(2)241--256, 114(1)103--103
-
Fan, Jianxi, see Yu, Jia
-
Fan, Yi-Hsuan, 109(2)121--134
-
Fan, Yi-Hsuan, see Chang, Chin-Chen
-
Fandinno, Jorge, 147(1)93--131
-
Fandinno:2016:TDC, 147(1)93--131
-
Fanizzi, Nicola, 99(2)187--205
-
Fanizzi, Nicola, see Esposito, Floriana
-
Fanyu, 114(1)103--103
-
Fanyu, see Yu, Jia
-
Farhadinia, Bahram, 159(4)361--383
-
Farhadinia:2018:OWH, 159(4)361--383
-
Farré, Jacques, 111(4)357--371,
see Champarnaud, Jean-Marc
-
Fasching, Oliver, 123(1)43--57
-
Fasching:2013:GHG, 123(1)43--57
-
Fashandi, Homa, 122(3)207--225
-
Fashandi:2013:CFT, 122(3)207--225
-
Fast, 129(4)395--412, 132(1)113--129, 137(3)355--367, 138(3)321--338,
150(2)211--220, 155(4)363--372
-
Faster, 145(2)171--187
-
Fatigue, 111(1)65--79
-
Faults, 123(3)273--287
-
Fazziki, Abdelaziz, El, 162(4)259--281
-
FD, 163(1)93--109
-
Fdez, Jesus, Alcala-, 98(1)1--14
-
Feasibility, 107(2)111--137, 135(4)521--535
-
feature, 98(2)167--181, 101(4)271--285, 107(2)167--197, 113(2)151--177,
127(1)273--288, 129(1)37--48, 135(3)309--329, 136(4)405--431,
146(3)293--304, 149(1)209--240, 168(2)231--248
-
Feature-Based, 106(1)75--91
-
Fedele, Roberto, 125(3)361--376, 135(1)171--197
-
Fedele:2013:RPM, 125(3)361--376
-
Fedele:2014:XRM, 135(1)171--197
-
Fedorov, 146(2)197--209
-
Fedorova, Valentina, 132(1)63--77
-
Fedorova, Valentina, see Chistikov, Dmitry
-
Feeding, 119(1)61--86
-
Felisiak, Mariusz, 125(1)21--49
-
Felisiak:2013:CAT, 125(1)21--49
-
Fences, 129(1)149--159
-
Feng, Dingcheng, 107(4)415--434
-
Feng, Yanbin, 139(4)421--433
-
Feng, Yanbin, see Zhu, Kai
-
Feng:2011:AMB, 107(4)415--434
-
Ferigato, Carlo, 133(4)323--344, 154(1)25--36
-
Ferigato, Carlo, see Bernardinello, Luca
-
Ferilli, Stefano, 128(4)413--443, 129(3)251--277
-
Ferilli, Stefano, see Di Mauro, Nicola
-
Ferilli:2013:LFI, 128(4)413--443
-
Fermat--Weber, 107(4)331--343
-
Fernandes, Johnson, 137(1)143--170
-
Fernandes:2015:PNS, 137(1)143--170
-
Fernández, Silverio, Martínez-, 162(4)283--309
-
Fernau, Henning, 155(1)209--232
-
Fernau:2017:NIC, 155(1)209--232
-
Ferrari, Mauro, 150(1)119--142, 161(1)1--7
-
Ferrari:2017:JJF, 150(1)119--142
-
Ferrari:2018:CLP, 161(1)1--7
-
Ferrero, Claudio, 155(4)363--372
-
Ferrero, Claudio, see Brun, Emmanuel
-
Ferretti, Claudio, 110(1)77--93
-
Ferretti, Claudio, see Bonizzoni, Paola
-
Feschet, Fabien, 163(1)41--62
-
Feschet:2018:SRC, 163(1)41--62
-
Feuillade, Guillaume, 169(3)179--210
-
Feuillade:2019:DLA, 169(3)179--210
-
Few, 135(1)73--102
-
Fewest, 99(3)315--324
-
Fiber, 145(2)207--219
-
Fibonacci, 132(1)33--61
-
field, 104(3)227--238, 117(1)147--154, 129(4)395--412, 132(2)267--290,
138(1)251--258
-
Figallo, Aldo V., 136(4)317--329
-
Figallo:2015:DDT, 136(4)317--329
-
Filho, J. B., Destro-, 124(1)111--132
-
Filter, 112(2)157--170, 135(1)1--19, 136(1)1--35, 137(2)291--304,
141(2)207--231
-
Filtered, 135(1)1--19
-
Filtering, 138(3)285--320
-
Filtrations, 123(2)135--142
-
final, 117(1)279--285
-
find, 146(2)211--217
-
Finding, 101(3)173--186, 127(1)161--176, 130(2)219--229, 152(1)1--12,
159(3)297--325, 162(1)73--100
-
Finding, Path-, 137(4)517--548
-
finding, Path-, 135(3)295--308
-
Fine, 101(3)215--236
-
Finite, 104(3)227--238, 104(3)255--265, 104(3)267--283, 107(1)43--65,
110(1)231--239, 110(1)241--254, 114(2)149--182, 114(2)183--201,
117(1)287--309, 123(1)1--14, 123(1)97--106, 125(1)95--99,
126(2)225--246, 126(2)263--300, 128(4)463--474, 129(4)395--412,
132(1)79--94, 132(4)519--532, 136(1)177--197, 136(4)331--343,
138(1)31--44, 140(2)129--172, 140(2)173--203, 155(1)89--110,
161(1)9--27, 163(2)139--163, 163(2)165--188, 164(4)299--325
-
Finite-valued, 114(1)1--30
-
Finitely, 141(2)169--189
-
Finiteness, 170(1)111--138
-
Finiteness, Co-, 169(1)123--150
-
Finkel, Alain, 143(3)z--z
-
Finkel, Alain, see Abdulla, Parosh Aziz
-
Finotelli, Paolo, 163(1)93--109
-
Finotelli, Paolo, see Dulio, Paolo
-
Finzi, Alberto, 107(2)111--137
-
Finzi, Alberto, see Cesta, Amedeo
-
Fioravanti, Fabio, 119(3)281--300, 124(4)483--502, 124(4)z--z,
127(1)115--134, 140(3)329--355, 150(1)73--117, 165(3)205--244
-
Fioravanti, Fabio, see De Angelis, Emanuele
-
Fioravanti:2012:IRA, 119(3)281--300
-
Fioravanti:2013:CPS, 124(4)483--502
-
Fioravanti:2013:P, 124(4)z--z
-
Fioravanti:2013:PTP, 127(1)115--134
-
Fiorentini, Camillo, 140(3)247--262, 150(1)119--142, 161(1)1--7,
161(1)v--vii
-
Fiorentini, Camillo, see Avellone, Alessandro,
see Ferrari, Mauro
-
Fiorentini:2018:P, 161(1)v--vii
-
Fiori, Fabrizio, 135(1)171--197
-
Fiori, Fabrizio, see Fedele, Roberto
-
Fiorini, Rodolfo A., 125(3)261--272, 125(3)273--284, 135(1)135--170,
141(2)115--134
-
Fiorini:2013:DTDa, 125(3)261--272
-
Fiorini:2013:DTDb, 125(3)273--284
-
Fiorini:2014:HRY, 135(1)135--170
-
Fiorini:2015:CTN, 141(2)115--134
-
Fiorino, Guido, 150(1)119--142
-
Fiorino, Guido, see Ferrari, Mauro
-
Fire, 145(3)313--322
-
FIRST, 109(3)323--337
-
First, 127(1)429--443
-
First-Order, 106(2)175--190, 106(2)233--258, 149(1)159--207,
156(3)255--280
-
First-order, 125(2)101--133
-
Fischer, Thomas R., 110(1)95--109
-
Fischer, Thomas R., see Cui, Cewei
-
Fitness, 122(3)173--206
-
Fitness-based, 163(2)205--223
-
Fitting, 106(2)273--294
-
Fitting, Melvin, 130(1)z--z, 156(3)297--330, 165(3)193--203
-
Fitting, Melvin, see Müller, Berndt
-
Fitting:2017:MQa, 156(3)297--330
-
Fitting:2017:MQb, 156(3)297--330
-
Fitting:2019:WJL, 165(3)193--203
-
Fitzgerald, Tadhg, 166(2)141--166
-
Fitzgerald:2019:CSI, 166(2)141--166
-
fix, Pre-, 150(3)259--280
-
Fixed-Point, 100(1)19--41, 161(4)351--381
-
Fixing, 115(4)327--356
-
Flajolet, Philippe, 117(1)19--33
-
Flajolet, Philippe, see Beaton, Nicholas R.
-
Flat, 108(1)63--90, 168(1)1--24
-
FLAT, D-, 147(1)27--61
-
Flener, Pierre, 107(2)223--248
-
Flener, Pierre, see He, Jun
-
Fleuriot, Jacques, 102(2)209--228
-
Fleuriot, Jacques, see Wilson, Sean
-
Flexible, 107(2)111--137, 118(4)345--369, 119(1)29--60, 141(2)233--243,
141(2)259--274
-
Flick, Nils Erik, 128(1)113--128, 129(1)117--132
-
Flick, Nils Erik, see Kudlek, Manfred
-
Flips, 141(2)135--150
-
Floating, 133(2)123--132
-
Flooding, 123(3)273--287
-
Florêncio, Christophe Costa, 113(2)z--z,
see Ramon, Jan
-
Flouret, Marianne, 109(1)1--25
-
Flouret, Marianne, see Caron, Pascal
-
Flow, 112(1)39--45, 124(1)175--196, 128(1)81--95, 128(1)143--158,
128(3)303--335, 151(1)145--159, 156(2)125--139, 163(2)111--138,
163(2)189--204
-
Flower, 140(1)61--87
-
Flowgraph, 127(1)561--576
-
Floyd, 120(1)75--92
-
Flugy-Pape, Nicolo, 98(1)1--14
-
Flugy-Pape, Nicolo, see Alcala-Fdez, Jesus
-
Fluid, 125(3)285--312, 151(1)145--159
-
fly, On-the-, 130(4)423--466
-
Focusing, 140(3)247--262
-
Fogh, Peter, 161(4)351--381
-
Fogh, Peter, see Dalsgaard, Andreas E.
-
Fokkink, Wan, 105(4)375--415, 165(1)1--41
-
Fokkink, Wan, see Ghassemi, Fatemeh
-
Folding, 163(4)375--393
-
Following, 158(1)121--148
-
Font, Miquel Rius, 109(2)179--188
-
Font, Miquel Rius, see Niu, Yunyun
-
Font, Miquel, Rius-, 110(1)295--308
-
Footprint, 125(3)261--272, 125(3)273--284
-
Forcing, 100(1)43--52, 156(3)255--280
-
Forest, 113(2)97--115, 145(3)313--322, 163(2)139--163
-
Foreword, 117(1)z--z, 168(2)i--ii
-
form, 105(3)237--261, 109(1)27--81, 109(1)83--119, 119(2)149--162,
123(2)227--243, 125(1)95--99
-
form, Product-, 122(1)147--172
-
Formal, 107(1)19--42, 111(1)15--32, 115(4)357--375, 115(4)395--417,
123(2)135--142, 126(4)397--414, 129(1)85--100, 129(1)161--176,
131(3)313--336, 131(3)425--440, 135(4)403--417, 137(2)171--217,
138(1)179--192, 145(4)429--470, 149(1)101--132, 152(4)341--372,
169(1)85--121
-
Formalism, 103(1)1--29, 106(2)211--231, 137(1)61--86, 155(3)233--260
-
Formalization, 170(1)93--110
-
Formanowicz, Dorota, 160(1)143--165
-
Formanowicz, Piotr, 160(1)143--165
-
Formanowicz, Piotr, see Formanowicz, Dorota
-
Formanowicz:2018:FIE, 160(1)143--165
-
format, 135(4)355--369, 163(2)111--138
-
Formation, 127(1)17--33
-
Formenti, Enrico, 115(1)107--124, 120(2)165--180, 126(2)183--199,
126(2)z--z
-
Formenti, Enrico, see Cervelle, Julien,
see Dennunzio, Alberto
-
Formenti:2012:CCA, 115(1)107--124
-
Formisano, Andrea, 105(1)1--33, 105(1)79--103, 124(4)403--425,
124(4)449--464, 140(3)279--305, 149(1)z--z
-
Formisano, Andrea, see Bistarelli, Stefano,
see Campagna, Dario,
see Costantini, Stefania,
see Dovier, Agostino
-
Formula, 101(3)237--255, 106(1)25--43, 107(1)67--83, 111(2)223--239,
123(1)59--76, 165(3)303--319, 169(4)285--294
-
Formulation, 166(4)297--347
-
Fortes, Wagner, 125(3)239--259
-
Fortes, Wagner, see Batenburg, K. Joost
-
Fortin, Mathieu Pagé, 160(1)1--25
-
Fortin:2018:HPN, 160(1)1--25
-
Forward, 133(2)227--240
-
Forward-Secure, 111(2)241--256, 114(1)103--103
-
Fory{\'s}, Wit, 111(2)147--161
-
Forys:2011:ITS, 111(2)147--161
-
Foster, Ian T., 128(3)337--366
-
Foster, Ian T., see Wozniak, Justin M.
-
Foundation, 148(1)123--132, 166(3)227--249
-
Foundational, 108(3)197--221, 127(1)1--15, 154(1)15--24
-
Four, 147(4)457--476, 164(2)181--194
-
Four-Pixel, 118(3)281--289
-
Fourier, 141(2)245--258, 151(1)1--48
-
Fournier, Olivier, Blondeau-, 117(1)57--83
-
FPGA, 147(2)241--259, 148(1)107--122
-
Fraca, Estíbaliz, 137(1)1--28
-
Fraca:2015:CAC, 137(1)1--28
-
Fractional, 133(1)19--34, 151(1)1--48, 151(1)49--62, 151(1)63--75,
151(1)77--89, 151(1)91--108, 151(1)109--133, 151(1)135--143,
151(1)145--159, 151(1)161--171, 166(2)111--137
-
fractional, Time-, 166(2)87--110
-
Fragment, 106(2)175--190, 150(1)49--71, 164(1)1--15
-
Frame, 123(1)77--95, 166(1)29--56
-
framework, 99(1)63--93, 99(2)147--168, 100(1)53--76, 112(4)305--335,
112(4)337--363, 113(1)41--61, 118(3)207--223, 118(3)291--304,
124(3)309--338, 126(4)301--318, 128(4)413--443, 130(2)179--199,
132(2)239--266, 132(2)267--290, 133(1)35--53, 134(3)355--393,
135(4)341--353, 135(4)451--466, 135(4)483--501, 137(2)171--217,
141(2)259--274, 141(4)297--310, 144(1)1--22, 147(2)289--313,
150(1)1--24, 150(1)25--48, 150(1)119--142, 154(1)15--24,
155(3)261--292, 155(4)449--480, 160(3)303--341, 161(1)75--111
-
Franceschinis, Giuliana, 105(3)z--z
-
Franceschinis:2010:P, 105(3)z--z
-
Francescomarino, Chiara, Di, 161(1)75--111
-
Franconi, Enrico, 124(4)543--560
-
Franconi, Enrico, see Solomakhin, Dmitry
-
Franzoi, Laura, 141(4)297--310
-
Franzoi, Laura, see Bortolussi, Luca
-
Fratini, Simone, 107(2)111--137
-
Fratini, Simone, see Cesta, Amedeo
-
Frauel, Yann, 128(3)281--302
-
Frauel, Yann, see P{\l}{\'o}ciennik, Marcin
-
Free, 133(4)399--419
-
Free, Communication-, 137(1)61--86
-
free, Communication-, 143(3)355--391
-
Free, Context-, 136(1)157--176, 150(3)241--257
-
free, overlap-, 116(1)251--263
-
free, Point-, 100(1)159--180
-
free, Shift-, 155(1)187--207
-
free, Square-, 132(1)109--112
-
Free, Star-, 116(1)35--44
-
Free-Choice, 98(2)283--320
-
Freeness, 162(2)161--182
-
freeness, Repetition-, 116(1)157--174
-
Freivalds, Rusin, 123(1)z--z
-
Freivalds, Rusin, see Ciabattoni, Agata
-
Frequency, 162(2)223--235, 163(3)275--289
-
Frequent, 111(4)373--390
-
Freund, Rudolf, 104(1)z--z, 112(2)z--z, 134(1)17--37, 134(1)83--96,
136(1)59--84, 138(1)227--250, 148(3)z--z, 155(1)111--129,
155(1)209--232
-
Freund, Rudolf, see Alhazov, Artiom,
see Bensch, Suna, \see{Bordihn, Henning,
see Csuhaj-Varjú, Erzsébet,
see Díaz-Pernil, Daniel,
see Fernau, Henning
-
Freund:2015:CPC, 136(1)59--84
-
Friendly, Pairing-, 149(4)385--400
-
Froelich, Wojciech, 127(1)513--528
-
Froelich:2013:MTP, 127(1)513--528
-
Frontier, 134(1)83--96, 138(1)45--60
-
Frosini, A., 125(3)z--z
-
Frosini, A., see Dulio, P.
-
Frosini, Andrea, 135(1)z--z, 141(2)191--205, 146(2)179--183,
155(4)407--423, 155(4)i--vii, 163(1)93--109, 163(1)v--xiv
-
Frosini, Andrea, see Brunetti, Sara,
see Dulio, Paolo
-
Frosini:2015:ITP, 141(2)191--205
-
Frozen, 98(2)283--320
-
Frutos-Escrig, David de, 105(3)291--317, 113(3)313--341
-
Frutos-Escrig, David de, see Rosa-Velardo, Fernando
-
Fu, Tung-Shan, 117(1)155--177
-
Fu, Tung-Shan, see Chuang, Wan-Chen
-
Fujita, Ken-etsu, 170(1)223--240
-
Fujita, Ken-etsu, see Kurata, Toshihiko
-
Full, 106(2)233--258, 114(3)221--237, 157(4)427--442
-
Full-Newton, 163(4)325--337
-
Fülöp, Zoltán, 111(2)163--202
-
Fulop:2011:WET, 111(2)163--202
-
function, 98(2)183--198, 99(3)245--261, 99(3)339--354, 104(3)239--253,
109(3)339--354, 111(4)413--422, 114(2)129--147, 114(3)271--285,
114(3)325--344, 115(4)377--394, 117(1)215--227, 118(3)281--289,
122(4)275--295, 124(3)251--270, 126(1)103--119, 132(1)63--77,
133(2)149--163, 135(3)331--340, 137(3)403--412, 138(3)339--350,
138(4)411--434, 139(1)91--114, 139(2)127--151, 143(1)51--71,
144(3)255--261, 145(3)257--277, 146(3)271--292, 151(1)49--62,
152(1)13--31, 162(1)37--42, 165(2)99--137, 165(2)157--191,
166(2)111--137, 168(1)25--43
-
function, Hyperbolic-, 132(4)501--517
-
Functional, 99(3)263--292, 102(2)209--228, 150(3)347--377,
152(4)341--372, 158(4)327--352, 163(1)93--109
-
Functors, 164(4)359--373
-
Fundamental, 147(4)415--446
-
Fung, Benjamin C. M., 137(2)z--z
-
Fung, Benjamin C. M., see {\'S}l{\k{e}}zak, Dominik
-
Further, 127(1)99--114
-
Fusco, Emanuele G., 137(3)305--322
-
Fusco:2015:CCC, 137(3)305--322
-
Fusion-Based, 159(4)361--383
-
Fusy, Éric, 117(1)179--188
-
Fusy:2012:BCI, 117(1)179--188
-
Futures, 159(3)197--256
-
Fuzzy, 98(2)167--181, 99(2)169--186, 99(2)187--205, 99(3)245--261,
108(3)305--336, 108(3)337--369, 111(1)33--45, 111(1)47--63,
111(1)65--79, 115(2)189--202, 115(2)233--246, 115(4)265--277,
118(3)291--304, 119(1)113--120, 122(3)207--225, 123(3)305--315,
124(4)503--519, 128(1)193--207, 132(3)381--399, 132(3)401--422,
133(1)1--18, 133(4)421--431, 137(4)457--491, 139(2)127--151,
140(3)373--391, 141(1)71--93, 142(1)1--19, 142(1)21--51,
142(1)53--86, 142(1)87--104, 142(1)105--115, 142(1)117--143,
142(1)145--160, 142(1)269--284, 142(1)285--306, 142(1)307--335,
143(1)151--171, 145(4)405--427, 147(4)415--446, 152(3)297--321,
152(4)373--396, 156(2)141--168, 157(3)271--320, 159(4)361--383,
159(4)385--428, 160(1)81--100, 160(1)101--118, 164(1)61--101,
165(2)99--137, 166(1)57--85, 166(3)227--249
-
Fuzzy, -, 111(1)33--45
-
Fuzzy, -, 108(3)337--369, 111(1)47--63
-
Fuzzy, Neuro-, 133(4)345--366
-
fuzzy, Proto-, 115(4)265--277
-
Fuzzy, Rough-, 124(1)153--174, 142(1)237--267, 164(1)103--117