Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
F
-
F, 5(3)318--320, 12(1)87--88, 14(1)110--110, 24(2)186--187
-
F-Alloy, 162(z)55--75
-
F.R.G, 12(3)260--264
-
Fabiani, Erwan, 96(z)156--174
-
Fabiani, Erwan, see Lagadec, Loïc
-
Fábregas, Ignacio, 78(12)2468--2487, see Aceto, Luca
-
Fabresse, L., 96(z)141--155, 140(z)2--16
-
Fabresse, L., see Papoulias, N.,
see Polito, G.
-
Fabresse, Luc, 98(z)339--359, 195(z)z--99999999
-
Fabresse, Luc, see Peck, Mariano Martinez,
see Tesone, Pablo
-
Fabri, Andreas, 76(4)307--323
-
Fabri, Andreas, see Pion, Sylvain
-
Fabry, Johan, 71(3)165--180, 75(12)1235--1261, 78(1)65--92, 79(z)6--22,
96(z)34--51, 96(z)52--69, 133(z)1--19
-
Fabry, Johan, see Allende, Esteban,
see Campusano, Miguel,
see Tanter, Éric,
see Van Ryseghem, Benjamin,
see Zambrano, Arturo
-
Fabry:2008:KKA, 71(3)165--180
-
Fabry:2014:AEM, 79(z)6--22
-
face, 234(z)z--99999999
-
face, face-to-, 90(z)34--41
-
face-to-face, 90(z)34--41
-
facet, 94(z)18--31
-
Fachada, Nuno, 143(z)9--19
-
Fachada:2017:CCF, 143(z)9--19
-
Facilitating, 129(z)3--19
-
facility, 24(3)249--286
-
FACS, 94(z)253--254, 113(z)221--222, 146(z)1--1, 178(z)43--44,
200(z)z--99999999, 218(z)z--99999999
-
FACS'09, 78(1)1--2
-
FACS'12, 91(z)1--2
-
factor, 48(1)67--80, 89(z)144--161, 233(z)z--99999999
-
Factorizable, 25(2)149--186
-
factory, 36(2)209--266, 45(2)175--191
-
facts, 134(z)100--111
-
factual, counter-, 200(z)z--99999999
-
Fadlisyah, Muhammad, 99(z)95--127
-
Fadlisyah:2015:FMA, 99(z)95--127
-
Fagerholm, Fabian, 198(z)z--99999999
-
Fagerholm, Fabian, see Bednarik, Roman
-
Fähndrich, Manuel, 75(9)796--807,
see Logozzo, Francesco
-
Fahrenberg, Uli, 115(z)225--246, 223(z)z--99999999
-
Fahrenberg, Uli, see Le, Thi Thieu Hoa
-
Fahrenberg:2022:FG, 223(z)z--99999999
-
failboxes, 184(z)z--99999999
-
failed, 78(3)293--309
-
failure, 77(7)940--954, 89(z)144--161, 130(z)37--68, 230(z)z--99999999
-
Failure-free, 71(3)181--212
-
fair, 76(9)756--773
-
Fairbairn, Jon, 6(3)273--290
-
Fairbairn:1986:NTC, 6(3)273--290
-
fairness, 3(1)65--100, 78(9)1521--1537, 99(z)193--234
-
fairness-based, 225(z)z--99999999
-
Faithful, 13(2)181--218
-
Fakih, Khaled, El-, 80(z)343--355, 233(z)z--99999999
-
Falbo, Ricardo de Almeida, 135(z)20--44
-
Falbo, Ricardo de Almeida,
see Fonseca, Vinícius Soares
-
Falcão, Diogo, 95(z)275--297, see Carvalho, Gustavo
-
Falcone, Yliès, 123(z)2--41
-
Falcone:2016:RER, 123(z)2--41
-
Falleri, Jean-Rémy, 76(12)1177--1193, 89(z)298--319,
see Abdeen, Hani, \see{Laval, Jannik
-
Falletta, V., 74(1)23--33
-
Falletta, V., see Bianchi, G.
-
false, 15(1)97--97
-
FAMe-TM, 133(z)154--174
-
FAMILIAR, 78(6)657--681
-
family, 9(1)17--35, 77(4)444--479, 83(z)35--55, 88(z)54--81,
97(z)105--112, 126(z)52--72, 146(z)28--49, 172(z)264--293,
201(z)z--99999999, 213(z)z--99999999
-
family-based, 224(z)z--99999999
-
Fan, Guisheng, 217(z)z--99999999
-
Fan, Guisheng, see Huang, Zijie
-
Fantechi, A., 128(z)2--21
-
Fantechi, A., see Bonacchi, A.
-
Fantechi, Alessandro, 76(2)63--64, 76(2)119--135, 78(7)828--842
-
Fantechi, Alessandro, see Beek, Maurice H. ter,
see Cofer, Darren, \see{Ferrari, Alessio
-
Fapojuwo, Abraham, 67(2)125--161
-
Fapojuwo, Abraham, see Shehata, Mohamed
-
Farahani, Mandana, Vaziri-, 28(2)273--299
-
Farahbod, Roozbeh, 79(z)23--38
-
Farahbod:2014:EFS, 79(z)23--38
-
farewell, 93(z)89--109
-
Faria, Carla, 95(z)26--43
-
Faria:2014:DIP, 95(z)26--43
-
Fariñas, 24(1)102--103
-
Farmer, Andrew, 112(z)170--193
-
Farmer, Andrew, see Adams, Michael D.
-
Farré, C., 202(z)z--99999999, see López, L.
-
Farré, Carles, 168(z)18--37, see Ameller, David
-
FASE, 232(z)z--99999999
-
Fashioning, 12(2)174--175
-
fast, 25(1)1--39, 26(1)59--78, 30(3)287--308, 57(3)295--317,
110(z)23--50, 132(z)226--246, 214(z)z--99999999
-
faster, 35(2)137--161
-
Fathabadi, Asieh Salehi, 111(z)318--338
-
Fathabadi, Asieh Salehi, see Alkhammash, Eman
-
fault, 4(1)1--15, 8(1)43--67, 8(2)203--211, 29(1)3--22, 29(1)99--122,
29(1)171--197, 46(1)137--162, 53(2)165--194, 56(3)343--361,
89(z)350--373, 92(z)105--128, 98(z)205--232, 196(z)z--99999999,
226(z)z--99999999
-
fault-proneness, 102(z)44--56
-
Fault-Tolerant, 4(1)1--15
-
fault-tolerant, 3(1)117--117, 118(z)24--39, 154(z)89--133
-
Fava, Daniel Schnetzer, 195(z)z--99999999
-
Fava:2020:RSG, 195(z)z--99999999
-
Favela, Jesús, 77(1)46--65,
see Rodríguez, Marcela D.
-
Fazlalizadeh, Yalda, 78(1)93--116
-
Fazlalizadeh, Yalda, see Khalilian, Alireza
-
FBD, 163(z)115--137
-
FBDTester, 163(z)115--137
-
FCPP, 231(z)z--99999999
-
FDAF, 66(1)87--102
-
FDIR, 196(z)z--99999999
-
feasible, 228(z)z--99999999
-
Feather, Martin S., 2(2)91--131
-
Feather, Martin S., see London, Philip E.
-
Featherweight, 74(5)261--278
-
feature, 24(3)249--286, 29(1)259--278, 41(1)53--84, 53(3)333--352,
63(2)130--146, 76(12)1130--1143, 77(3)131--151, 78(6)657--681,
78(12)2295--2312, 96(z)230--253, 98(z)120--139, 154(z)89--133,
171(z)1--20, 172(z)264--293, 202(z)z--99999999, 205(z)z--99999999,
211(z)z--99999999, 212(z)z--99999999, 213(z)z--99999999,
214(z)z--99999999, 234(z)z--99999999
-
feature-based, 75(5)311--332, 75(11)1022--1047, 161(z)18--33
-
feature-oriented, 77(3)129--130, 77(3)152--173, 77(3)174--187,
79(z)70--85, 93(z)65--85, 161(z)18--33
-
featured, 171(z)67--88, 223(z)z--99999999
-
FeatureIDE, 79(z)70--85
-
featuring, 77(6)741--742, 133(z)91--115
-
February, 2(1)89--89, 22(0)181--356, 186(z)z--z, 187(z)z--z, 202(z)z--z,
214(z)z--z
-
Fecht, Christian, 35(2)137--161
-
Fecht:1999:FSG, 35(2)137--161
-
Fed, 1(1)149--155, 3(1)117--117
-
Fédèle, Carine, 56(3)363--401,
see Ponsini, Olivier
-
Federated, 235(z)z--99999999
-
feedback, 60(2)189--204, 88(z)110--129, 105(z)73--91, 129(z)35--47
-
feedback-driven, 227(z)z--99999999
-
Feeley, Marc, 57(3)295--317
-
Feeley, Marc, see Latendresse, Mario
-
Fehr, E., 31(1)47--73
-
Fehrenbach, Stefan, 155(z)103--145
-
Fehrenbach:2018:LIP, 155(z)103--145
-
Feijen, 12(2)165--167
-
Feijen, Dijkstra-, 22(1)67--105
-
Feijen, W. H. J., 1(1)145--147, 29(3)327--334
-
Feijen, W. H. J., see van der Sommen, F. W.
-
Feijen:1981:BRP, 1(1)145--147
-
Feijs, 24(2)185--186
-
Feijs, L. M. G., 14(1)106--109, 33(2)163--212
-
Feijs, Loe M. G., 39(2)149--188, 42(2)173--228
-
Feijs:1990:BRB, 14(1)106--109
-
Feijs:1999:RPA, 33(2)163--212
-
Feijs:2001:MNA, 39(2)149--188
-
Feijs:2002:CA, 42(2)173--228
-
Feil, Rene, 86(z)43--57
-
Feil, Rene, see Gonzalez-Calleros, Juan
-
Feitosa, Samuel, da Silva, 173(z)37--55
-
Feitosa, Samuel, 196(z)z--99999999
-
Feitosa:2020:TDA, 196(z)z--99999999
-
Fekete, Alan, 105(z)124--144
-
Fekete, Alan, see Kakkad, Vasvi
-
Felderer, Michael, 229(z)z--99999999
-
Felderer:2023:ISQ, 229(z)z--99999999
-
Feldman, Jerome A., 5(3)318--320
-
Feldman:1985:BRB, 5(3)318--320
-
Felgentreff, T., 134(z)4--18
-
Felgentreff:2017:IRR, 134(z)4--18
-
Feliachi, Abderrahmane, 196(z)z--99999999
-
Feliachi, Abderrahmane, see Halchin, Alexandra
-
Felleisen, 11(1)88--90
-
Felleisen, Matthias, 17(1)35--75, 75(7)496--515
-
Felleisen, Matthias, see Culpepper, Ryan
-
Felleisen:1991:EPP, 17(1)35--75
-
Feng, Thomas Huining, 77(12)1235--1271
-
Feng, Thomas Huining, see Bae, Kyungmin
-
Feng, Xinyu, 187(z)z--99999999
-
Feng, Xinyu, see Wang, Jiawei
-
Feng, Yuan, 78(9)1679--1700
-
Feng, Yuan, see Ying, Mingsheng
-
Ferdinand, Christian, 35(2)163--189
-
Ferdinand:1999:CBP, 35(2)163--189
-
Ferdous, Raihana, 227(z)z--99999999
-
Ferdous:2023:EEM, 227(z)z--99999999
-
FermaT, 52(1)213--255
-
Fernandes, Herbert Rausch, 232(z)z--99999999
-
Fernandes, João M., 234(z)z--99999999,
see Ignaim, Karam
-
Fernandes, João Paulo, 132(z)2--28, 132(z)77--95, 173(z)71--94,
205(z)z--99999999, see Martins, Pedro,
see Pardo, Alberto, \see{Pereira, Rui
-
Fernandes, Leo, 191(z)z--99999999
-
Fernandes, Leo, see Pinheiro, Pedro
-
Fernandes, Therrezinha, 65(2)173--194
-
Fernandes:2007:DDF, 65(2)173--194
-
Fernandes:2019:MZB, 173(z)71--94
-
Fernandes:2024:SFM, 232(z)z--99999999
-
Fernandez, J.-C., 18(3)247--269
-
Fernandez, J.-C., see Bouajjani, A.
-
Fernandez, Jean-Claude, 13(2)219--236, 29(1)123--146, 47(2)203--220
-
Fernández, Nelly, Condori-, 78(11)2245--2258
-
Fernández, Pablo, 77(1)4--28, see Resinas, Manuel
-
Fernández, Rubén, Fuentes-, 77(3)247--269
-
Fernández, S., Martínez-, 134(z)61--74
-
Fernández, S., Mart{\'{\i}}nez-, 202(z)z--99999999
-
Fernández-Castro, Isabel, 78(11)2268--2281,
see Losada, Begoña
-
Fernández-Díaz, Á, 98(z)205--232
-
Fernandez-Diaz:2015:ADF, 98(z)205--232
-
Fernández-Llamas, Camino, 88(z)41--53,
see Conde, Miguel Á.
-
Fernández-Manjón, B., 71(1)1--16, see Navarro, A.
-
Fernández-Manjón, Baltasar, 67(1)3--31,
see Moreno-Ger, Pablo
-
Fernandez-Marquez, Jose Luis, 110(z)1--2
-
Fernandez-Marquez:2015:PFC, 110(z)1--2
-
Fernández-Valmayor, A., 71(1)1--16, see Navarro, A.
-
Fernandez:1990:IEA, 13(2)219--236
-
Fernandez:1997:EAG, 29(1)123--146
-
Fernandez:2003:SSR, 47(2)203--220
-
Ferrando, Angelo, 172(z)160--179, 205(z)z--99999999
-
Ferrando, Angelo, see Ancona, Davide
-
Ferrando:2019:EBC, 172(z)160--179
-
Ferrara, Pietro, 191(z)z--99999999
-
Ferrara:2020:CJB, 191(z)z--99999999
-
Ferrari, Alessio, 78(7)828--842
-
Ferrari, Fabiano, 119(z)31--50, 191(z)z--99999999
-
Ferrari, Fabiano, see Pinheiro, Pedro,
see Santos, Adriano
-
Ferrari, Fabiano Cutigi, 78(9)1639--1662
-
Ferrari, Gian-Luigi, 133(z)20--50, 187(z)z--99999999
-
Ferrari, Gian-Luigi, see Basile, Davide,
see Bodei, Chiara
-
Ferrari, Gianluigi, 75(10)848--878
-
Ferrari, Gianluigi, see Ciancia, Vincenzo
-
Ferrari, Luca, 54(1)73--98, 59(1)127--146
-
Ferrari, Luca, see Cabri, Giacomo
-
Ferrari:2013:MRC, 78(7)828--842
-
Ferrari:2013:TPM, 78(9)1639--1662
-
Ferrarotti, Flavio, 184(z)z--99999999, 210(z)z--99999999,
223(z)z--99999999
-
Ferrarotti, Flavio, see Schewe, Klaus-Dieter
-
Ferrarotti:2019:BAS, 184(z)z--99999999
-
Ferreira, André L., 234(z)z--99999999,
see Ignaim, Karam
-
Ferreira, Bruno Morais, 173(z)3--20
-
Ferreira, Gabriel Coutinho Sousa, 93(z)65--85, 96(z)230--253
-
Ferreira, Gabriel Coutinho Sousa, see Gaia, Felipe Nunes
-
Ferreira, João F., 76(3)160--180, 78(11)2029--2046,
see Backhouse, Roland
-
Ferreira, Renato, 78(8)1193--1206
-
Ferreira, Renato, see Mata, Leonardo Luiz Padovani da
-
Ferreira:2014:UFO, 93(z)65--85
-
Ferreira:2019:DEV, 173(z)3--20
-
Feuser, Johannes, 91(z)188--215
-
Feuser:2014:DOP, 91(z)188--215
-
FIACRE, 106(z)30--53
-
Fiadeiro, José, 77(5)577--608
-
Fiadeiro, Jose Luiz, 28(2)111--138
-
Fiadeiro, José Luiz, 44(2)133--155, 61(2)114--135, 93(z)1--2,
113(z)221--222, 191(z)z--99999999,
see Braga, Christiano,
see Cavalheiro, Simone,
see Lopes, Antónia,
see Wermelinger, Michel
-
Fiadeiro:1997:CSP, 28(2)111--138
-
Fiadeiro:2012:FMS, 77(5)577--608
-
Fiadeiro:2015:FAC, 113(z)221--222
-
Fichera, Loris, 139(z)36--55
-
Fichera:2017:PFP, 139(z)36--55
-
Fickas, Stephen, 20(1)3--50
-
Fickas, Stephen, see Dardenne, Anne
-
fidelity, High-, 68(2)64--78
-
Fidge, Colin, 163(z)160--173
-
Fidge, Colin, see Furda, Andrei
-
Fiege, L., 90(z)161--179
-
Fiege, L., see Rupanov, V.
-
field, 98(z)735--763, 111(z)365--394, 117(z)17--44
-
Field, J., 58(1)57--82
-
Field, John, 77(6)661--662
-
field, mean-, 110(z)23--50
-
Field-sensitive, 95(z)359--375
-
Field:2005:TVA, 58(1)57--82
-
Field:2012:SPE, 77(6)661--662
-
fifth, 13(1)131--132, 46(3)195--196, 98(z)1--2
-
Figueiredo, Daniel, 216(z)z--99999999
-
Figueiredo, Daniel, see Campos, Suene
-
Figueiredo, Eduardo, 93(z)65--85, 96(z)230--253, 119(z)31--50
-
Figueiredo, Eduardo,
see Ferreira, Gabriel Coutinho Sousa,
see Gaia, Felipe Nunes,
see Santos, Adriano
-
Figueiredo, Lucília, 124(z)1--19,
see Camarão, Carlos
-
Figueroa, Fernando, Sanchez-, 168(z)165--168
-
Figueroa, Ismael, 80(z)311--342, 119(z)3--30, 201(z)z--99999999
-
Figueroa, Ismael, see Tanter, Éric
-
Figueroa-Martinez, Jose, 78(11)2259--2267
-
Figueroa-Martinez:2013:EUL, 78(11)2259--2267
-
Figueroa:2016:ECH, 119(z)3--30
-
Figueroa:2021:WMH, 201(z)z--99999999
-
Filali, Mamoun, 106(z)30--53, 199(z)z--99999999, 207(z)z--99999999
-
Filali, Mamoun, see Bodeveix, Jean-Paul,
see Yang, Zhibin
-
file, 12(1)1--38, 29(3)279--302, 74(4)197--218, 74(4)238--257
-
Filé, Gilberto, 47(2)89--90, see Cortesi, Agostino
-
Filho, Britaldo Silveira, Soares-, 173(z)3--20
-
Filho, Eddie B. de Lima, 152(z)63--69
-
Filho, Eddie B. de Lima, see Monteiro, Felipe R.
-
Filho, João B. Ferreira, 78(12)2381--2398,
see Marinho, Fabiana G.
-
Filho, João E. Chaves, 165(z)1--2,
see Araújo, Rodrigo F.
-
Filho, Madiel Conserva, 174(z)1--37
-
Filho, Madiel Conserva, see Cavalcanti, Ana
-
Filieri, Antonio, 97(z)47--54
-
Filieri, Antonio, see Bianculli, Domenico
-
Filliâtre, Jean-Christophe, 64(3)332--340, 91(z)216--233,
see Almeida, José Bacelar
-
Filliatre:2007:FPP, 64(3)332--340
-
Filman, 5(3)318--320
-
Filter, 14(2)229--242
-
filtering, 98(z)707--734, 187(z)z--99999999
-
final, 6(1)89--94
-
finalization, 196(z)z--99999999
-
Finance, Jean-Pierre, 5(2)201--218, 5(3)233--264, 19(1)25--59
-
Finance, Jean-Pierre, see Perrin, Guy-René,
see Souquières, Jeanine
-
Finance:1985:MLC, 5(2)201--218
-
Finch, Clement A., Baker-, 14(1)81--96
-
find, 64(3)332--340, 195(z)z--99999999
-
finders, 215(z)z--99999999
-
finding, 2(2)143--152, 6(1)1--9, 75(11)921--942, 78(4)390--411,
115(z)177--198, 188(z)z--99999999
-
fine, 161(z)149--171
-
Finger, Frank, 44(1)51--69
-
Finger, Frank, see Hussmann, Heinrich
-
finite, 2(3)241--266, 7(3)313--319, 8(3)275--306, 19(2)171--196,
20(1)51--71, 23(1)19--53, 24(3)189--220, 28(2)273--299,
29(1)123--146, 29(3)303--326, 35(2)191--221, 39(1)57--92,
80(z)343--355, 111(z)365--394, 151(z)2--17, 158(z)100--121,
179(z)1--23, 197(z)z--99999999, 231(z)z--99999999
-
finite-state, 14(2)185--228
-
Finocchi, Irene, 53(1)37--49
-
Finocchi, Irene, see Bonifaci, Vincenzo
-
Fioravanti, F., 95(z)149--175, 147(z)78--108
-
Fioravanti, F., see De Angelis, E.
-
Fiore, Marcelo P., 33(1)97--99
-
Fiore:1999:BRB, 33(1)97--99
-
first, 10(1)87--88, 10(1)88--89, 22(1)3--19, 85(z)1--4, 93(z)110--124,
97(z)309--319, 98(z)318--338, 172(z)160--179
-
first, code-, 89(z)374--407
-
first-class, 179(z)54--86
-
first-order, 10(2)177--210, 39(1)125--148, 137(z)2--62, 155(z)146--172,
158(z)3--20
-
First-past-the-post, 85(z)166--203
-
first/depth, Breadth-, 22(1)3--19
-
Fischer, Lars, 97(z)183--201
-
Fischer, Lars, see Karatas, Fatih
-
Fisher, Michael, 10(2)215--216, 148(z)88--106
-
Fisher, Michael, see Kamali, Maryam
-
Fisher:1988:BRB, 10(2)215--216
-
Fitting, 11(1)91--94
-
Fitzgerald, Brian, 101(z)79--98
-
Fitzgerald, Brian, see Stol, Klaas-Jan
-
Fitzpatrick, Stephen, 28(1)1--41
-
Fitzpatrick:1997:ATA, 28(1)1--41
-
Five, 62(2)95--97
-
fixed, 11(3)197--261, 22(0)181--356, 22(3)283--306, 23(1)103--103,
228(z)z--99999999
-
Fixed-Space, 2(2)133--141
-
fixing, 233(z)z--99999999
-
fixpoint, 41(3)241--275, 231(z)z--99999999
-
Flack, C., 57(3)357--378
-
Flack, C., see Palacz, K.
-
flag, 7(1)87--97
-
Flammini, Francesco, 118(z)1--2
-
Flammini, Francesco, see Lang, Frédéric
-
Flanagan, Cormac, 50(1)253--270, 64(1)140--165, 71(2)89--109,
112(z)227--260
-
Flanagan, Cormac, see Yi, Jaeheon
-
Flanagan:2004:ASM, 50(1)253--270
-
Flanagan:2007:TIA, 64(1)140--165
-
Flanagan:2008:ADA, 71(2)89--109
-
flash, 74(4)219--237, 76(2)136--157
-
flattening, 109(z)2--35
-
flaws, 228(z)z--99999999
-
Fleming, Tom, 172(z)102--116
-
Fleming, Tom, see Deutschbein, Calvin
-
flexibility, 78(2)195--217
-
flexible, 63(1)39--56, 72(1)22--30, 72(1)40--51, 76(11)970--991,
77(6)663--684, 78(7)907--932, 78(9)1538--1558, 88(z)3--21,
96(z)156--174
-
flight, 78(12)2360--2380
-
floating, 98(z)184--204
-
floating-point, 33(2)133--162, 96(z)279--296
-
Florido, Mário, 111(z)505--534,
see Rodrigues, Vítor
-
flow, 1(3)203--222, 7(1)1--22, 10(1)65--85, 11(1)1--15, 16(1)1--18,
21(2)115--139, 22(3)257--282, 26(1)59--78, 30(1)119--155,
30(3)251--286, 30(3)309--338, 37(1)113--138, 39(1)3--29, 64(1)3--28,
65(2)173--194, 67(2)162--198, 75(6)376--397, 78(10)1809--1827,
113(z)29--50, 130(z)2--23, 168(z)118--141, 168(z)165--168,
187(z)z--99999999, 228(z)z--99999999
-
flow, data-, 30(1)119--155, 201(z)z--99999999
-
flow-network, 93(z)19--38
-
flow-sensitive, 190(z)z--99999999
-
Floyd, 22(1)3--19
-
fly, On-the-, 77(12)1272--1288, 110(z)23--50, 127(z)2--23
-
fly, on-the-, 10(2)107--137, 46(3)255--281, 77(10)1075--1094
-
FMICS, 76(2)63--64, 78(7)775--777
-
FMICS'11, 80(z)107--108
-
FMICS'2014, 118(z)1--2
-
FMTA, 28(0)91--299
-
Focardi, Riccardo, 63(1)1--2, 63(1)3--15
-
Focardi:2006:GEI, 63(1)1--2
-
Focardi:2006:SSD, 63(1)3--15
-
Foclasa, 191(z)z--99999999
-
FOCLASA'06, 74(9)669--670
-
FOCLASA'09, 77(7)777--778
-
FOCLASA'10, 80(z)1--2
-
focused, Object-, 98(z)394--407
-
Foisy, Christian, 37(1)253--277
-
Foisy, Christian, see Loulergue, Frédéric
-
Fok, Chien-Liang, 77(6)663--684, 78(2)195--217
-
Fok:2012:SFS, 77(6)663--684
-
Fok:2013:ASP, 78(2)195--217
-
Fokkinga, Maarten M., 9(3)263--270, 16(1)19--48
-
Fokkinga:1987:CPS, 9(3)263--270
-
Fokkinga:1991:ETP, 16(1)19--48
-
Fokkink, Wan, 118(z)3--23
-
Fokkink, Wan, see Lockefeer, Lars
-
fold, 51(1)87--116, 78(11)2108--2159, 231(z)z--99999999
-
FoLLI, 38(1)147--149
-
Fong, Philip W. L., 67(2)278--300
-
Fong:2007:RAS, 67(2)278--300
-
Fons, Joan, 78(12)2399--2413
-
Fons, Joan, see Cetina, Carlos
-
Fonseca, Baldoino, 191(z)z--99999999
-
Fonseca, Baldoino, see Pinheiro, Pedro
-
Fonseca, Vinícius Soares, 135(z)20--44
-
Fonseca:2017:OBA, 135(z)20--44
-
Fontaine, Pascal, 77(4)518--532, 94(z)130--143
-
Fontaine, Pascal, see Déharbe, David,
see Oliveira, Diego Caminha B. de
-
FOPARA, 111(z)363--364, 111(z)365--394, 111(z)395--425, 111(z)426--457,
111(z)458--482, 111(z)483--504, 111(z)505--534
-
Forax, Rémi, 77(9)990--1005, see Cervelle, Julien
-
Forcina, Giorgio, 168(z)142--164
-
Forcina, Giorgio, see Berardinis, Jacopo de
-
forecast, 74(11)934--988, 77(3)314--354
-
forecasting, 234(z)z--99999999
-
foreword, 12(2)170--172, 14(2)113--115, 17(1)1--z, 21(2)91--z, 22(1)1--z,
23(2)105--105, 25(2)79--80, 29(1)1--2, 30(1)1--2, 31(1)1--1,
32(1)1--2, 36(1)1--3, 44(2)131--132, 51(1)1--2, 59(1)1--3, 64(1)1--2,
70(2)87--88, 75(6)375--375, 78(5)423--424, 89(z)1--1, 115(z)1--2
-
Foreword, issue-, 74(5)259--260
-
form, 9(1)1--15, 28(1)1--41, 31(1)3--45, 62(3)228--252
-
Form, CD-, 95(z)390--405
-
form-based, 56(1)59--78
-
formal, semi-, 67(2)125--161
-
formalisation, 62(3)228--252, 76(7)587--608, 76(8)633--650, 92(z)25--55
-
Formalised, 196(z)z--99999999
-
Formalising, 78(12)2435--2452
-
formalism, 2(1)19--52, 3(2)151--188, 8(3)231--274, 15(1)55--77,
22(1)67--105, 33(2)101--131, 72(3)71--135, 77(1)66--80,
77(6)743--759, 183(z)z--99999999, z(z)z--z
-
formality, 29(1)53--78, 42(1)29--38
-
formalization, 8(1)1--42, 37(1)3--36, 75(5)333--349, 96(z)191--210,
195(z)z--99999999, 199(z)z--99999999
-
Formalizing, 18(1)107--137, 94(z)164--202, 187(z)z--99999999,
189(z)z--99999999, 195(z)z--99999999
-
formally, 29(1)79--98, 171(z)42--66, 216(z)z--99999999
-
format, 60(2)149--170, 77(7)889--907
-
Formato, Ferrante, 30(1)201--226
-
Formato, Ferrante, see Borghoff, Uwe M.
-
formatting, 35(1)3--27
-
formulas, 23(2)107--125, 99(z)193--234
-
Fornari, Fabrizio, 166(z)35--70
-
Fornari, Fabrizio, see Corradini, Flavio
-
Fornarino, Mireille, Blay-, 78(8)1035--1054
-
Fornés, Antonio, Tenorio-, 111(z)156--189
-
Fors, Niklas, 114(z)74--84
-
Fors:2015:JIO, 114(z)74--84
-
Forti, Stefano, 230(z)z--99999999
-
Forti, Stefano, see Soldani, Jacopo
-
Fortino, Giancarlo, 78(6)725--746
-
Fortino:2013:ALT, 78(6)725--746
-
forward, 22(3)307--326, 27(1)1--35, 36(2)131--147, 64(1)3--28,
231(z)z--99999999
-
Forward, Andrew, 208(z)z--99999999
-
Forward, Andrew, see Lethbridge, Timothy C.
-
forward, store-and-, 4(3)249--256
-
FOSD, 77(3)129--130
-
FOSS, 76(12)1144--1160, 91(z)249--265
-
Foss, Luciana, 77(3)214--246
-
Foss, Luciana, see Ribeiro, Leila
-
Foster, 15(1)111--112
-
Foster, Simon, 197(z)z--99999999
-
Foster:2020:USF, 197(z)z--99999999
-
Fouh, Eric, 88(z)22--40
-
Fouh:2014:DAI, 88(z)22--40
-
foundation, 4(2)219--219, 10(2)211--212, 12(3)257--259, 13(1)128--130,
15(1)97--97, 15(1)115--116, 16(1)90--90, 16(1)91--92, 24(1)99--100,
28(0)91--299, 28(2)171--192, 28(2)225--246, 38(1)155--157,
55(1)3--52, 63(3)203--206, 73(1)1--2, 74(9)669--670,
75(11)1022--1047, 77(7)777--778, 80(z)1--2, 96(z)107--120,
107(0)41--63, 115(z)147--148, 160(z)30--47, 168(z)169--170,
191(z)z--99999999, 194(z)z--99999999, 197(z)z--99999999,
205(z)z--99999999
-
foundational, 25(2)117--147, 96(z)417--443, 111(z)363--364,
111(z)365--394, 111(z)395--425, 111(z)426--457, 111(z)458--482,
111(z)483--504, 111(z)505--534
-
founded, well-, 4(3)257--290
-
four, 10(2)218--219, 102(z)57--75
-
four-variable, 111(z)339--362
-
Fourier, 26(1)59--78
-
Fournier, Paulin, 199(z)z--99999999
-
Fournier, Paulin, see Lecomte, Thierry
-
Fourth, 22(3)197--230, 22(3)231--256, 22(3)307--326, 22(3)327--354
-
Fowler, Simon, 197(z)z--99999999
-
Fowler, Simon, see Choi, Kwanghoon
-
FP, 6(1)11--34, 19(1)61--85
-
fp, 6(1)11--34, 10(3)281--318
-
Fradet, Pascal, 31(2)263--289, 63(3)203--206, 75(7)516--542,
77(3)393--422
-
Fradet, Pascal, see Djoko, Simplice Djoko
-
Fradet:1998:SG, 31(2)263--289
-
Fradet:2006:SIF, 63(3)203--206
-
Fradet:2010:AAE, 75(7)516--542
-
Fragal, Vanderson Hafemann, 171(z)67--88
-
Fragal:2019:HFS, 171(z)67--88
-
Frageri, Davide, 231(z)z--99999999
-
Frageri, Davide, see Bucchiarone, Antonio
-
fragment, 4(2)159--204
-
Fraikin, Benoît, 74(9)723--753, 94(z)217--237
-
Fraikin:2009:ESC, 74(9)723--753
-
Fraikin:2014:SCT, 94(z)217--237
-
frame, 97(z)163--172
-
Framed, 70(1)31--61
-
framework, 18(2)221--222, 20(1)51--71, 20(1)141--171, 22(1)157--180,
31(2)313--334, 42(2)129--171, 44(1)5--22, 50(1)23--49,
57(3)357--378, 58(3)293--309, 59(1)147--169, 60(1)27--67,
63(3)297--320, 68(3)214--234, 70(2)127--148, 73(2)76--94,
75(7)615--637, 76(12)1223--1246, 77(7)870--886, 78(8)1073--1098,
78(9)1572--1599, 78(12)2468--2487, 79(z)70--85, 79(z)126--145,
79(z)172--188, 79(z)189--203, 88(z)41--53, 89(z)199--221,
94(z)32--52, 97(z)202--234, 98(z)531--550, 98(z)707--734,
101(z)99--123, 102(z)1--19, 103(z)71--87, 113(z)223--235,
113(z)236--260, 115(z)225--246, 122(z)1--28, 139(z)36--55,
143(z)9--19, 149(z)9--14, 157(z)56--70, 166(z)214--230,
167(z)70--90, 173(z)21--36, 177(z)19--40, 182(z)42--63,
191(z)z--99999999, 193(z)z--99999999, 196(z)z--99999999,
197(z)z--99999999, 199(z)z--99999999, 206(z)z--99999999,
207(z)z--99999999, 210(z)z--99999999, 211(z)z--99999999,
213(z)z--99999999, 223(z)z--99999999, 227(z)z--99999999,
229(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999,
232(z)z--99999999, 234(z)z--99999999
-
Francalanza, Adrian, 168(z)94--117, 232(z)z--99999999
-
Francalanza, Adrian, see Aceto, Luca,
see Bernardi, Giovanni
-
France, 22(0)181--356
-
France, Robert B., 78(6)657--681
-
France, Robert B., see Acher, Mathieu
-
Francel, Margaret Ann, 40(2)151--169
-
Francel:2001:VSW, 40(2)151--169
-
Franceschini, Luca, 205(z)z--99999999
-
Franceschini, Luca, see Ancona, Davide
-
Francesco, Nicoletta, De, 21(3)225--261, 30(3)309--338, 32(1)145--176
-
Francez, Nissim, 2(3)155--173, 3(1)101--114, 6(1)35--88
-
Francez, Nissim, see Elrad, Tzilla E.
-
Francez:1983:ENC, 3(1)101--114
-
Francez:1986:SCA, 6(1)35--88
-
Franch, X., 134(z)61--74, 202(z)z--99999999
-
Franch, X., see López, L.,
see Martínez-Fernández, S.
-
Franch, Xavier, 168(z)18--37
-
Franch, Xavier, see Ameller, David
-
Franchin, Ivan Gustavo, 74(10)861--878
-
Franchin, Ivan Gustavo,
see Lemos, Otávio Augusto Lazzarini
-
Franco, Juliana, 197(z)z--99999999
-
Franco, Juliana, see Tasos, Alexandros
-
Frank, Michael, 173(z)21--36
-
Frank, Michael, see Bessa, Tarsila
-
Franz, Michael, 56(1)41--57, 57(3)275--294, 76(11)1037--1053
-
Franz, Michael, see Fröhlich, Peter H.,
see Wagner, Gregor
-
Franz:2005:PVM, 57(3)275--294
-
Frappier, M., 26(1)237--254
-
Frappier, Marc, 38(1)73--123, 74(9)723--753, 78(3)270--271,
94(z)217--237, 131(z)76--93, 188(z)z--99999999
-
Frappier, Marc, see Ayed, Rahma Ben,
see Fraikin, Benoît,
see Huynh, Nghi, \see{Krings, Sebastian
-
Frappier:1996:RCP, 26(1)237--254
-
Frappier:2013:ASM, 78(3)270--271
-
Fraser, Gordon, 78(4)343--344
-
Fraser, Gordon, see Bousquet, Lydie du
-
Frasincar, Flavius, 94(z)32--52
-
Frasincar, Flavius, see Hogenboom, Frederik
-
Fraternali, Piero, 89(z)71--87
-
Fraternali, Piero, see Brambilla, Marco
-
Frechina, Francisco, 80(z)385--415
-
Frechina, Francisco, see Alpuente, María
-
Fred, 10(2)215--216
-
Fredlund, L., 98(z)205--232
-
Fredlund, L., see Fernández-Díaz, Á.
-
free, 25(1)1--39, 51(1)153--196, 76(2)82--99, 105(z)26--43,
111(z)79--109
-
free, alternation-, 46(3)255--281
-
free, clash-, 158(z)21--40
-
free, context-, 36(2)209--266, 75(3)176--191, 89(z)235--250
-
free, deadlock-, 4(3)249--256
-
free, Failure-, 71(3)181--212
-
Free, Livelock-, 4(3)249--256
-
free, livelock-, 4(3)249--256
-
free, Lock-, 64(3)341--374
-
free, Point-, 27(2)205--214
-
free, Wait-, 25(1)1--39
-
free, wait-, 19(3)197--237
-
freedom, 2(2)91--131, 97(z)366--380, 98(z)184--204
-
freedom, lock-, 74(3)143--165
-
Freedoms, 2(2)91--131
-
Freeman, 14(1)106--109, 24(2)183--185
-
Freeman, John, 75(9)762--772
-
Freeman, John, see Järvi, Jaakko
-
Freitas, Leo, 74(4)197--218, 74(4)219--237, 74(4)238--257, 175(z)17--34,
200(z)z--99999999
-
Freitas, Leo, see Butterfield, Andrew,
see Harrison, Michael D.
-
Freitas, Renata de, 73(2)129--135
-
Freitas, Rosiane de, 165(z)24--37
-
Freitas, Rosiane de, see Valentin, Eduardo
-
Freitas:2009:PFS, 74(4)238--257
-
Freitas:2009:VCF, 74(4)197--218
-
Freitas:2020:MWP, 200(z)z--99999999
-
French, 4(3)291--322
-
Frenetic-lib, 230(z)z--99999999
-
frequency, 113(z)236--260, 171(z)1--20
-
fresh, 223(z)z--99999999
-
Freudenthal, Margus, 114(z)85--91
-
Freudenthal:2015:SDT, 114(z)85--91
-
Freund, Stephen N., 64(1)140--165, 71(2)89--109, 112(z)227--260
-
Freund, Stephen N., see Flanagan, Cormac,
see Yi, Jaeheon
-
Frias, Marcelo F., 181(z)47--63
-
Frias, Marcelo F., see Molina, Facundo
-
Friedman, 5(3)318--320, 11(1)88--90
-
friend, 75(4)211--213
-
Frisby, Nicolas, 75(7)543--572
-
Frisby:2010:CLP, 75(7)543--572
-
Fritz, Eric, 141(z)1--39
-
Fritz:2017:TSA, 141(z)1--39
-
Fröhlich, Antônio Augusto, 165(z)3--23,
see Resner, Davi
-
Fröhlich, Peter H., 56(1)41--57
-
Frohlich:2005:SSC, 56(1)41--57
-
front-end, 224(z)z--99999999
-
Froome, Peter, 16(2)204--205
-
Froome:1991:BRB, 16(2)204--205
-
Frost, Richard A., 27(3)263--288
-
Frost:1996:MPF, 27(3)263--288
-
Fruja, Nicu G., 72(3)176--219
-
Fruja:2008:TPT, 72(3)176--219
-
Frutos-Escrig, David de, 78(12)2468--2487
-
Frutos-Escrig, David de, see Aceto, Luca
-
FSEN, 77(7)887--888, 78(12)2433--2434, 112(z)1--2, 160(z)1--2,
182(z)86--87, 206(z)z--99999999, 225(z)z--99999999
-
FSM, 177(z)1--18
-
FTSCS, 133(z)89--90, 154(z)1--2, 175(z)35--36, 208(z)z--99999999,
209(z)z--99999999
-
FTSs, 224(z)z--99999999
-
Fu, Ming, 187(z)z--99999999
-
Fu, Ming, see Wang, Jiawei
-
Fu, Zheng, 74(4)238--257
-
Fu, Zheng, see Freitas, Leo
-
Fudgets, 46(1)99--135
-
fuel, 156(z)21--44
-
Fuentes-Fernández, Rubén, 77(3)247--269
-
Fuentes-Fernandez:2012:MDP, 77(3)247--269
-
Fukazawa, Yoshiaki, 56(1)99--116
-
Fukazawa, Yoshiaki, see Washizaki, Hironori
-
Fukuda, Hiroaki, 102(z)108--141, 201(z)z--99999999
-
Fukuda, Hiroaki, see Figueroa, Ismael,
see Leger, Paul
-
Fukuda, Munehiro, 31(2)291--311
-
Fukuda:1998:DCM, 31(2)291--311
-
fulfillment, 89(z)223--234
-
full, 24(3)249--286, 27(3)217--262, 53(3)259--284, 109(z)2--35,
111(z)248--276
-
Full-abstraction, 168(z)94--117
-
fully, 77(10)1122--1150, 92(z)129--161, 98(z)484--515, 111(z)248--276,
169(z)18--32
-
fun, 15(1)1--13
-
function, 3(2)119--149, 6(2)159--190, 6(2)191--205, 7(3)249--278,
9(2)161--177, 9(3)263--270, 10(1)65--85, 10(3)281--318,
11(2)133--159, 12(1)39--74, 13(2)181--218, 18(1)1--38,
18(2)139--179, 22(1)21--44, 22(1)137--155, 22(3)183--195,
22(3)257--282, 22(3)283--306, 24(1)1--39, 24(1)63--81, 24(1)83--95,
24(3)221--248, 25(0)79--325, 25(2)81--116, 25(2)117--147,
26(1)33--57, 26(1)149--165, 26(1)179--196, 26(1)217--236,
27(1)37--83, 27(3)263--288, 29(3)327--334, 30(1)157--199,
31(1)3--45, 31(1)91--112, 34(3)191--205, 37(1)207--224,
42(1)101--113, 43(1)77--89, 51(1)87--116, 74(11)989--1020,
75(11)1142--1164, 76(6)516--539, 77(4)505--517, 78(9)1212--1239,
78(10)1871--1891, 90(z)2--20, 90(z)42--54, 94(z)238--252,
111(z)426--457, 111(z)483--504, 113(z)149--190, 165(z)38--53,
173(z)128--152, 180(z)36--70, 212(z)z--99999999, 230(z)z--99999999,
231(z)z--99999999
-
functional, 1(1)73--114, 1(3)203--222, 3(2)119--149, 6(1)11--34,
6(3)273--290, 6(3)291--311, 7(3)249--278, 7(3)279--296,
7(3)297--312, 9(1)1--15, 9(1)91--100, 10(2)177--210, 10(3)281--318,
11(2)133--159, 12(2)158--164, 12(2)164--165, 13(1)73--110,
14(1)25--42, 14(1)59--79, 16(2)198--200, 16(3)251--275, 17(1)35--75,
18(1)1--38, 19(3)239--279, 22(1)67--105, 23(2)197--226, 24(1)1--39,
24(1)63--81, 24(1)83--95, 24(2)186--187, 25(1)41--61, 25(2)187--218,
26(1)15--31, 26(1)179--196, 27(3)263--288, 27(3)289--322,
28(1)1--41, 29(1)259--278, 32(1)73--107, 32(1)109--143,
32(1)177--210, 34(1)75--77, 34(3)207--238, 35(1)3--27,
35(2)113--136, 37(1)225--252, 37(1)253--277, 43(2)193--229,
52(1)101--129, 59(3)171--208, 75(11)1048--1076, 75(12)1193--1214,
77(7)823--847, 95(z)176--199, 96(z)279--296, 98(z)120--139,
111(z)23--50, 111(z)51--78, 111(z)190--211, 111(z)426--457,
111(z)458--482, 132(z)2--28, 135(z)88--104, 135(z)105--121,
137(z)2--62, 147(z)3--26, 147(z)109--134, 208(z)z--99999999,
225(z)z--99999999, 230(z)z--99999999
-
functional, Non-, 168(z)18--37
-
functional, non-, 156(z)1--20, 218(z)z--99999999
-
functors, 76(5)349--375, 104(z)44--70
-
functors, -, 104(z)44--70
-
fundamental, 3(3)279--312, 15(1)113--114, 40(1)1--2, 77(7)887--888,
78(12)2433--2434, 112(z)1--2, 160(z)1--2, 182(z)86--87,
206(z)z--99999999, 225(z)z--99999999, 231(z)z--99999999,
232(z)z--99999999
-
für, 3(3)223--278
-
Furda, Andrei, 163(z)160--173
-
Furda:2018:PAD, 163(z)160--173
-
Fürst, Andreas, 131(z)59--75
-
Furst:2016:LSS, 131(z)59--75
-
fusion, 26(1)33--57, 76(3)204--224, 78(8)1121--1136, 132(z)77--95,
143(z)1--8
-
Futatsugi, Kokichi, 60(1)82--116, 66(2)162--180, 224(z)z--99999999
-
Futatsugi, Kokichi, see Kondoh, Hidetaka,
see Ogata, Kazuhiro
-
Futatsugi:2022:APS, 224(z)z--99999999
-
future, 8(1)87--103, 61(1)48--57, 74(5)314--332, 77(6)707--726,
90(z)93--115, 186(z)z--99999999, 208(z)z--99999999
-
fuzzing, 234(z)z--99999999
-
fuzzy, 216(z)z--99999999
-
fuzzy-logic, 230(z)z--99999999