Index file section B for scicomputprogram.bib

Last update: Fri Apr 18 02:03:15 MDT 2025

Return to index directory

B

B, 12(2)172--173, 12(3)267--270, 15(1)113--114, 24(1)97--99, 24(2)185--186, 46(3)283--306, 78(3)270--271, 78(3)310--326, 94(z)67--68, 131(z)76--93, 131(z)109--125, 188(z)z--99999999, 196(z)z--99999999, 197(z)z--99999999
B, Event-, 74(11)879--899, 78(3)310--326, 78(7)884--905, 81(z)108--121, 94(z)164--202, 105(z)92--123, 111(z)318--338, 139(z)1--35, 148(z)49--65, 156(z)21--44, 158(z)81--99, 190(z)z--99999999, 199(z)z--99999999, 215(z)z--99999999, 216(z)z--99999999, 225(z)z--99999999, 231(z)z--99999999
B, event-, 131(z)94--108, 197(z)z--99999999
B, UML-, 111(z)318--338
Baarir, Souheib, 183(z)z--99999999
Baarir, Souheib, see Tigane, Samir
Baars, Arthur Iwan, 78(11)2245--2258
Baars, Arthur Iwan, see Condori-Fernández, Nelly
Babamir, Seyed Morteza, 184(z)z--99999999
Babamir, Seyed Morteza, see Saadatjoo, Mohammad Ali
Babau, Jean-Philippe, 78(8)1073--1098
Babau, Jean-Philippe, see Navas, Juan F.
Baboulin, Marc, 214(z)z--99999999
Baboulin, Marc, see Brugière, Timothée Goubault de
Babur, Önder, 163(z)62--84, 223(z)z--99999999, see Wille, David
Babur:2022:SFM, 223(z)z--99999999
Bacchelli, Alberto, 105(z)26--43, 150(z)31--55, 180(z)1--15
Bacchelli, Alberto, see Cerulo, Luigi, see Vassallo, Carmine
Bacchelli:2017:MSD, 150(z)31--55
Bacchiani, Lorenzo, 221(z)z--99999999
Bacchiani:2022:JTC, 221(z)z--99999999
Bach, Jean-Christophe, 210(z)z--99999999
Bach, Jean-Christophe, see Guérin, Sylvain
Bach, Multi-, 202(z)z--99999999
Bacherini, S., 128(z)2--21
Bacherini, S., see Bonacchi, A.
Bachmann, Peter, 18(2)139--179, 20(3)253--289, 25(2)251--283
Bachynskyy, Sergiy, 76(12)1098--1112
Bachynskyy, Sergiy, see Arias, Trosky B. Callo
Back, 8(3)275--306, 22(3)183--195
Back, R. J. R., 13(2)133--180, 20(3)223--251, 26(1)79--97
Back:1990:SRP, 13(2)133--180
Back:1993:SIS, 20(3)223--251
Back:1996:SCA, 26(1)79--97
backbone, 66(1)4--24, 187(z)z--99999999
Backeljauw, Franky, 90(z)2--20
Backeljauw:2014:VES, 90(z)2--20
Background, 18(2)207--209
Backhouse, Kevin, 51(1)153--196
Backhouse, Roland, 26(1)5--9, 26(1)217--236, 43(2)91--92, 51(1)153--196, 76(3)160--180, 78(11)2029--2046, 85(z)166--203, 102(z)76--107
Backhouse, Roland, see Backhouse, Kevin, see Doornbos, Henk
Backhouse, Roland C., 22(1)3--19, 22(1)67--105
Backhouse, Roland C., see Hoogendijk, Paul F.
Backhouse:1994:CPA, 22(1)3--19
Backhouse:1996:MPC, 26(1)5--9
Backhouse:2002:P, 43(2)91--92
Backhouse:2004:SAI, 51(1)153--196
Backhouse:2011:EAE, 76(3)160--180
Backhouse:2013:ASL, 78(11)2029--2046
Backhouse:2014:FPP, 85(z)166--203
Backhouse:2015:CCT, 102(z)76--107
backtracking, 10(1)19--32, 16(1)19--48, 27(3)263--288
backup, 64(3)312--331
backward, 22(3)307--326, 27(1)1--35, 92(z)129--161, 93(z)154--182
Badica, Costin, 78(6)762--774
Badica, Costin, see Ilie, Sorin
Badreddin, Omar, 208(z)z--99999999
Badreddin, Omar, see Lethbridge, Timothy C.
Bae, Doo-Hwan, 163(z)115--137
Bae, Doo-Hwan, see Song, Jiyoung
Bae, Kyungmin, 77(12)1235--1271, 91(z)3--44, 99(z)193--234, 103(z)13--50, 178(z)20--42, 200(z)z--99999999, 233(z)z--99999999, 235(z)z--99999999
Bae, Kyungmin, see Arias, Jaime, see Kang, Byeongjee
Bae:2012:VHP, 77(12)1235--1271
Bae:2014:FPM, 91(z)3--44
Bae:2015:DVD, 103(z)13--50
Bae:2015:MCL, 99(z)193--234
Bae:2019:SSS, 178(z)20--42
Bae:2020:FAC, 200(z)z--99999999
Baeten, 51(3)291--292
Baeten, Jos, 97(z)17--22
Baeten:2015:RSC, 97(z)17--22
baffler, 9(3)213--220
bag, 22(1)67--105, 77(9)1006--1036
Bagge, Anya Helene, 134(z)100--111
Bagge:2017:MFR, 134(z)100--111
Bagherzadeh, Mehdi, 195(z)z--99999999, 214(z)z--99999999
Bagherzadeh, Mehdi, see Khatchadourian, Raffi, see Tang, Yiming
Bagnara, Roberto, 30(1)119--155, 58(1)28--56, 72(1)3--21
Bagnara:1998:HCS, 30(1)119--155
Bagnara:2005:PWO, 58(1)28--56
Bagnara:2008:PPL, 72(1)3--21
Bahr, Patrick, 137(z)63--97
Bahr:2017:GTT, 137(z)63--97
Bai, Linge, 78(5)594--611
Bai, Xiaolong, 169(z)18--32
Bai, Xiaolong, see Yin, Jie
Bai:2013:SOS, 78(5)594--611
Baier, Christel, 61(2)75--113, 74(9)688--701, 75(6)398--425, 76(8)651--680
Baier, Christel, see Klüppelholz, Sascha, see Meng, Sun
Baier:2006:MCC, 61(2)75--113
Bailes, Paul A., 12(2)158--164
Bailes:1989:BRB, 12(2)158--164
Bainomugisha, Engineer, 211(z)z--99999999, 229(z)z--99999999
Bainomugisha, Engineer, see Ssanyu, Jackline
Baital, 240(z)z--99999999
Bajracharya, Sushil, 79(z)241--259
Bajracharya:2014:SIL, 79(z)241--259
Baker, J., 57(3)357--378
Baker, J., see Palacz, K.
Baker, Jason, 71(3)213--241
Baker, Jason, see Zhao, Tian
Baker-Finch, Clement A., 14(1)81--96
Baker-Finch:1990:ACT, 14(1)81--96
Bakery, 78(9)1622--1638
balanced, 7(1)87--97, 18(2)181--204
balancing, 97(z)366--380, 237(z)z--99999999
Balasubramanian, Daniel, 106(z)3--29
Balasubramanian, Jaiganesh, 73(1)39--58
Balasubramanian, Jaiganesh, see Gokhale, Aniruddha
Balasubramanian, Krishnakumar, 73(1)39--58
Balasubramanian, Krishnakumar, see Gokhale, Aniruddha
Balasubramanian:2015:DMW, 106(z)3--29
Balbo, Gianfranco, 38(1)143--146
Balbo:2000:PMD, 38(1)143--146
Baldan, Paolo, 109(z)96--124, 168(z)118--141
Baldan:2015:MES, 109(z)96--124
Baldan:2018:MMI, 168(z)118--141
Balland, Emilie, 79(z)39--51
Balland, Emilie, see Bertran, Benjamin
Ballis, Demis, 80(z)385--415, 81(z)79--107
Ballis, Demis, see Alpuente, María
Balmas, Françoise, 60(2)117--120
Balmas:2006:ISI, 60(2)117--120
Balogh, András, 68(3)214--234, see Varró, Dániel
Banach, R., 24(3)221--248, 67(2)301--329
Banach, Richard, 94(z)109--129, 105(z)92--123, 139(z)1--35, 156(z)21--44, 190(z)z--99999999, 231(z)z--99999999
Banach:1995:RSD, 24(3)221--248
Banach:2007:ETU, 67(2)301--329
Banach:2014:ACS, 94(z)109--129
Banach:2015:CHE, 105(z)92--123
Banach:2017:CHE, 139(z)1--35
Banach:2018:MFR, 156(z)21--44
Banach:2020:AUT, 190(z)z--99999999
Banach:2024:CHE, 231(z)z--99999999
Banana, 78(10)1845--1870
Banâtre, Jean-Pierre, 15(1)55--77
Banatre:1990:GMD, 15(1)55--77
band, 77(10)1039--1057, 85(z)137--165, 90(z)55--66
Bandara, Arosha K., 200(z)z--99999999
Bandara, Arosha K., see Akiki, Pierre A.
Banerjee, Anindya, 31(1)47--73, 64(1)3--28
Banerjee, Anindya, see Amtoft, Torben
Banerjee, Debasish, 19(1)61--85
Banerjee:1992:TSC, 19(1)61--85
Banerjee:1998:SST, 31(1)47--73
Bangalore, 4(2)219--219
Baniasadi, Amirali, 78(9)1559--1571
Baniasadi, Amirali, see Atoofian, Ehsan
banker, 4(3)249--256
Bannour, Boutheina, 241(z)z--99999999, 243(z)z--99999999
Bannour, Boutheina, see Mahe, Erwan
Bannour:2025:PGC, 243(z)z--99999999
Banzai+Tatoo, 77(9)990--1005
Baranov, Eduard, 109(z)2--35, 240(z)z--99999999
Baranov:2015:OSA, 109(z)2--35
Baranov:2025:BSC, 240(z)z--99999999
Barbanera, Franco, 167(z)25--50
Barbanera:2018:TRS, 167(z)25--50
Barbara, 10(1)92--93
Barboni, Eric, 86(z)3--29
Barboni:2014:BGB, 86(z)3--29
Barbosa, Luis S., 74(9)671--687, 75(10)828--847, 98(z)764--784, 126(z)73--93
Barbosa, Luis S., see Barbosa, Marco A., see Neves, Renato, see Rodrigues, Nuno F., see Sanchez, Alejandro
Barbosa, Luís S., 110(z)78--103, 132(z)50--76, see Madeira, Alexandre, see Oliveira, Nuno
Barbosa, Luis Soares, 191(z)z--99999999
Barbosa, Luis Soares, see Dantas, Allberson Bruno de Oliveira
Barbosa, Luís Soares, 91(z)139--140, 94(z)253--254, 96(z)175--176, 240(z)z--z, see Cunha, Juliana, see Junior, Francisco Heron de Carvalho
Barbosa, Manuel, 78(7)796--812, 91(z)216--233
Barbosa, Manuel, see Almeida, J. Bacelar, see Almeida, José Bacelar
Barbosa, Marco A., 74(9)671--687
Barbosa:2009:PSO, 74(9)671--687
Barbosa:2014:FAC, 94(z)253--254
Barbosa:2014:SCO, 91(z)139--140
Barbuti, R., 3(3)279--312
Barbuti, Roberto, 19(3)281--313, 32(1)145--176
Barbuti:1983:SAS, 3(3)279--312
Barbuti:1992:BPT, 19(3)281--313
Barbuti:1998:TLS, 32(1)145--176
Barcellos, Monalessa, 233(z)z--99999999
Barcellos, Monalessa, see Vara, Jose Luis de la
Barcellos, Monalessa Perini, 135(z)20--44
Barcellos, Monalessa Perini, see Fonseca, Vinícius Soares
Barcelona, 2(1)87--88
Bardin, Sébastien, 207(z)z--99999999
Bardin:2021:SMC, 207(z)z--99999999
Bardohl, Roswitha, 44(2)181--203
Bardohl:2002:VEV, 44(2)181--203
Barenghi, Alessandro, 112(z)195--226
Barenghi:2015:PPM, 112(z)195--226
bargaining-specific, 77(1)4--28
Bargmann, Lara, 240(z)z--99999999
Bargmann:2025:VBA, 240(z)z--99999999
Barjis, Joseph, 65(1)1--3, 71(1)73--87
Barjis:2007:TMA, 65(1)1--3
Barjis:2008:IBP, 71(1)73--87
Barkallah, Manel, 202(z)z--99999999
Barkallah, Manel, see Jacquet, Jean-Marie
Barker, 78(3)269--269
Barletta, Vita Santa, 243(z)z--99999999
Barletta, Vita Santa, see Pecorelli, Fabiano
Barnat, J., 76(2)136--157, 128(z)68--85
Barnat, J., see Edelkamp, S., \see{Rockai, P.
Barnat, Jirí, 77(12)1272--1288
Barnat:2012:FPM, 77(12)1272--1288
Barnes, Frederick R. M., 77(6)727--740
Barnes, Frederick R. M., see Ritson, Carl G.
Barra, Eduardo, 121(z)34--54
Barra:2016:EKO, 121(z)34--54
Barreto, Raimundo, 165(z)24--37
Barreto, Raimundo, see Valentin, Eduardo
Barros, Alistair, 163(z)160--173
Barros, Alistair, see Furda, Andrei
Barros, Flávia, 95(z)275--297, 189(z)z--99999999, see Arruda, Filipe, see Carvalho, Gustavo
Barták, Roman, 147(z)54--77
Bartak:2017:MSP, 147(z)54--77
Bartels, Ullrich, 89(z)162--175
Bartels, Ullrich, see Büttner, Fabian
barter, e-, 57(2)187--216
Bartha, Tamás, 157(z)17--40, see Vörös, András
Bartholomew, Maureen, 78(12)2360--2380
Bartholomew, Maureen, see Ganesan, Dharmalingam
Bartlett, Antony, 238(z)z--99999999
Bartlett:2024:MOD, 238(z)z--99999999
Bartoletti, Massimo, 109(z)36--60, 109(z)61--95, 112(z)75--101
Bartoletti:2015:CW, 109(z)36--60
Bartoletti:2015:LPN, 112(z)75--101
Bartoletti:2015:VCC, 109(z)61--95
Baruah, Sanjoy, 172(z)102--116
Baruah, Sanjoy, see Deutschbein, Calvin
Baruch, Orit, 10(1)1--18
Baruch:1988:PIS, 10(1)1--18
Barylska, Kamila, 151(z)48--60
Barylska:2018:RCV, 151(z)48--60
Basciani, Francesco, 232(z)z--99999999
Basciani:2024:TTS, 232(z)z--99999999
base, 91(z)234--248, 93(z)89--109, 97(z)135--142, 235(z)z--99999999
based, 2(1)69--81, 4(1)17--44, 8(2)173--202, 9(1)85--89, 23(1)55--89, 24(2)105--128, 29(1)199--233, 33(3)261--298, 42(1)49--60, 42(2)129--171, 44(2)157--180, 46(1)137--162, 47(2)203--220, 49(1)89--123, 55(1)117--159, 57(1)89--108, 59(1)127--146, 60(1)27--67, 61(1)38--47, 66(1)44--59, 66(2)162--180, 75(5)333--349, 75(10)848--878, 75(11)1113--1141, 76(7)542--554, 76(12)1210--1222, 78(6)725--746, 85(z)41--99, 86(z)43--57, 95(z)275--297, 95(z)390--405, 95(z)445--468, 96(z)1--3, 98(z)117--119, 104(z)2--43, 104(z)44--70, 135(z)75--87, 135(z)88--104, 145(z)1--12, 152(z)iii--iii, 157(z)41--55, 162(z)76--92, 165(z)1--2, 172(z)117--134, 197(z)z--99999999, 198(z)z--99999999, 202(z)z--99999999, 206(z)z--99999999, 215(z)z--99999999, 217(z)z--99999999, 220(z)z--99999999, 225(z)z--99999999, 226(z)z--99999999, 227(z)z--99999999, 230(z)z--99999999, 233(z)z--99999999, 234(z)z--99999999, 235(z)z--99999999, 236(z)z--99999999, 238(z)z--99999999, 239(z)z--99999999, 241(z)z--99999999
based, Access-, 78(9)1701--1727
based, Actor-, 75(10)811--827, 168(z)142--164
based, actor-, 186(z)z--99999999
based, agent-, 77(1)46--65, 200(z)z--99999999
based, annotation-, 210(z)z--99999999
based, architecture-, 75(8)672--688, 127(z)50--75
based, argument-, 95(z)3--25
based, Assertion-, 118(z)40--59
based, attention-, 226(z)z--99999999
based, attribute-, 168(z)71--93, 192(z)z--99999999
based, BDD-, 230(z)z--99999999
based, block-, 42(1)101--113
based, case-, 79(z)126--145
based, Channel-, 76(8)681--710
based, channel-, 74(9)688--701
based, Client-, 74(5)355--378
based, clock-, 202(z)z--99999999, 203(z)z--99999999
Based, Component-, 90(z)67--70
based, Component-, 42(2)129--171
based, component-, 46(1)5--30, 55(1)161--183, 56(1)23--39, 71(3)181--212, 74(4)168--196, 76(12)1144--1160, 77(3)247--269, 77(12)1212--1234, 78(8)1073--1098, 78(12)2488--2510, 97(z)105--112, 97(z)333--348, 97(z)366--380, 97(z)426--457, 106(z)30--53, 113(z)223--235, 113(z)261--284, 127(z)24--49, 132(z)96--128, 191(z)z--99999999, 192(z)z--99999999
based, computer-, 42(1)1--10
based, concept-, 129(z)72--91
based, concern-, 77(1)29--45
based, Constraint-, 30(1)201--226, 32(1)73--107
based, constraint-, 35(2)79--111, 36(2)285--302, 103(z)51--70
based, Crawl-, 97(z)173--180
based, criticality-, 200(z)z--99999999
based, CSP-, 81(z)3--52
based, dataflow-, 78(10)1930--1950
based, decomposition-, 180(z)18--35
based, diagram-, 230(z)z--99999999
based, event-, 76(2)119--135, 210(z)z--99999999
based, evidence-, 97(z)105--112
based, fairness-, 225(z)z--99999999
based, family-, 224(z)z--99999999
based, feature-, 75(5)311--332, 75(11)1022--1047, 161(z)18--33
based, FFI-, 243(z)z--99999999
based, form-, 56(1)59--78
based, Gamification-, 231(z)z--99999999
based, gesture-, 172(z)232--263
based, Glyph-, 230(z)z--99999999
based, gradient-, 166(z)146--166
based, Graph-, 18(2)215--218
based, graph-, 60(2)149--170, 75(8)689--725, 113(z)51--81, 238(z)z--99999999, 244(z)z--99999999
based, greedy-, 150(z)1--25
based, HOL-, 242(z)z--99999999
based, induction-, 103(z)71--87
based, Institution-, 107(0)41--63
based, interaction-, 206(z)z--99999999, 241(z)z--99999999
based, Interval-, 111(z)214--247
based, IoT-, 203(z)z--99999999
based, Java-, 53(1)37--49, 53(1)51--69, 53(1)87--105, 53(1)107--122, 79(z)101--115
based, Knowledge-, 121(z)1--2
based, Language-, 97(z)37--40, 232(z)z--99999999
based, learning-, 235(z)z--99999999
based, logic-, 30(1)119--155
based, Max-SAT-, 228(z)z--99999999
based, MDA-, 66(1)25--43, 239(z)z--99999999
based, MDE-, 89(z)199--221
Based, Message-, 6(3)291--311
based, message-, 6(3)291--311
based, Metadata-, 89(z)126--143
Based, Model-, 156(z)1--20
based, Model-, 80(z)188--209, 96(z)254--275, 97(z)383--404, 120(z)25--48, 132(z)143--172, 242(z)z--99999999
based, model-, 90(z)161--179, 230(z)z--99999999, 231(z)z--99999999, 232(z)z--99999999, 233(z)z--99999999, 236(z)z--99999999
based, narrative-, 67(1)76--90
based, network-, 243(z)z--99999999
based, object-, 28(2)225--246, 77(3)214--246
based, OCL-, 92(z)162--178
based, ontology-, 135(z)20--44, 156(z)90--103
based, Pattern-, 227(z)z--99999999
based, pattern-, 163(z)19--41
based, Petri-net-, 23(1)55--89
based, Phase-, 59(1)64--81
based, property-, 103(z)51--70
based, prototype-, 176(z)1--13
based, refinement-, 72(3)71--135
Based, Region-, 77(5)644--659
based, resource-, 78(8)987--1009
based, robot-, 129(z)48--71
based, role-, 64(2)223--245
based, Rule-, 34(1)1--54, 40(1)97--118, 68(3)138--154, 97(z)202--234
based, rule-, 99(z)3--23, 214(z)z--99999999, 231(z)z--99999999
based, SAT-, 77(7)779--798
based, scenario-, 56(1)157--170, 76(8)651--680, 149(z)15--27, 242(z)z--99999999, 244(z)z--99999999
based, SEA-, 105(z)3--25
Based, Search-, 233(z)z--99999999, 239(z)z--99999999
based, search-, 212(z)z--99999999, 230(z)z--99999999
based, Semantics-, 147(z)78--108
based, Semantics-, 191(z)z--99999999
Based, Service-, 31(2)359--381
based, Service-, 31(2)359--381
based, service-, 88(z)41--53, 136(z)17--42
based, session-, 172(z)135--159
based, Simulation-, 162(z)110--131
based, simulation-, 75(10)898--917, 181(z)111--139, 226(z)z--99999999, 242(z)z--99999999
based, stack-, 11(2)107--131
Based, State-, 216(z)z--99999999
based, state-, 36(1)65--96, 53(2)143--164
based, story-, 236(z)z--99999999
based, Summary-, 92(z)56--84
based, testing-, 238(z)z--99999999
based, text-, 76(12)1130--1143, 228(z)z--99999999
based, thinking-, 237(z)z--99999999
based, trace-, 92(z)129--161
based, transformation-, 32(1)3--47
based, trope-, 96(z)417--443
based, Type-, 74(8)550--567
based, UML-, 69(1)27--34, 75(8)726--760
based, usage-, 242(z)z--99999999
based, value-, 230(z)z--99999999
based, Variant-, 154(z)3--41
based, View-, 240(z)z--99999999
based, W-, 241(z)z--99999999
based, web-, 231(z)z--99999999
based, Web-, 53(1)25--36, 57(1)109--128, 88(z)92--109
based, work-, 129(z)3--19
based, zipper-, 173(z)71--94
based, Zone-, 159(z)28--57
Basel, 18(2)215--218
basic, 8(2)147--172, 40(2)213--234, 94(z)238--252, 123(z)42--60, 168(z)171--185
basic-block, 79(z)116--125
Basile, Davide, 187(z)z--99999999, 221(z)z--99999999
Basile:2020:CSS, 187(z)z--99999999
Basile:2022:CAL, 221(z)z--99999999
Basili, 13(1)117--119
Basin, David, 74(11)879--899, 131(z)59--75
Basin, David, see Fürst, Andreas, see Hoang, Thai Son
basis, 9(3)287--306, 56(1)231--249, 63(2)172--185, 98(z)516--530, 102(z)142--157, 115(z)199--224
Baslyman, Malak, 236(z)z--99999999
Baslyman, Malak, see Alkhomsan, Mashail N.
Basten, Bas, 114(z)7--19
Basten:2015:MLI, 114(z)7--19
Batcher, 9(3)213--220
Batista, Thais, 192(z)z--99999999
Batista, Thais, see Silva, Eduardo
Baude, Françoise, 97(z)266--279, see Zagarese, Quirino
Bauer, F. L., 1(1)73--114
Bauer, Friedrich L., 4(2)103--139
Bauer, Friedrich L., see Broy, Manfred
Bauer, Michael, 4(3)257--290, 9(1)37--83, 9(3)221--262, 14(2)133--158, 19(2)171--196
Bauer, Sebastian, 91(z)70--89
Bauer, Sebastian S., 83(z)106--128
Bauer:1981:PWS, 1(1)73--114
Bauer:2014:MST, 83(z)106--128
Bauer:2014:MTC, 91(z)70--89
Baugh, John, 158(z)100--121
Baugh, Jr., John W., 29(1)99--122
Baugh, Jr., John W., see Elseaidy, Wael M.
Baugh:2018:FMF, 158(z)100--121
Baxter, Ira, 36(2)129--130
Baxter, Ira D., 36(2)131--147
Baxter, James, 197(z)z--99999999
Baxter, James, see Foster, Simon
Baxter:2000:P, 36(2)129--130
Baxter:2000:RER, 36(2)131--147
Bayesian, 206(z)z--99999999
BBS, 77(10)1058--1074
BCS, 16(2)204--205
BDD, 31(1)91--112
BDD-based, 230(z)z--99999999
BDI, 215(z)z--99999999, 241(z)z--99999999, 242(z)z--99999999
Beal, Jacob, 78(6)633--656, 117(z)17--44
Beal, Jacob, see Damiani, Ferruccio, see Viroli, Mirko
BEAPI, 238(z)z--99999999
bearing, risk-, 71(1)17--56
Beatty, Andrew, 57(3)319--338
Beatty, Andrew, see Gregg, David
Beber, Björn, 148(z)123--160, see Althaus, Ernst
Becerra, J. A., 78(10)1971--1986
Becerra, J. A., see Paz-Lopez, A.
Beck, Antonio Carlos Schneider, 165(z)38--53
Beck, Antonio Carlos Schneider, see Brandalero, Marcelo
Becker, Bernd, 91(z)90--114
Becker, Bernd, see Jansen, Nils
Becker, Jan Steffen, 152(z)38--62, 242(z)z--99999999
Becker, Jan Steffen, see Borchers, Philipp, see Radke, Hendrik
Becker, Klaus, 154(z)89--133
Becker, Pablo, 235(z)z--99999999
Becker:2018:FAF, 154(z)89--133
Becker:2024:ESS, 235(z)z--99999999
Beckmann, Olav, 76(4)227--242
Beckmann, Olav, see Russell, Francis P.
Becuwe, Stefan, 90(z)2--20
Becuwe, Stefan, see Backeljauw, Franky
Bednarik, Roman, 198(z)z--99999999
Bednarik:2020:EEM, 198(z)z--99999999
Bedregal, Benjamín, 175(z)1--16, see Santiago, Regivan
Beek, Maurice H. ter, 76(2)119--135, 169(z)1--17, 187(z)z--99999999, 221(z)z--99999999, 224(z)z--99999999, 240(z)z--99999999
Beek, Maurice H. ter, see Basile, Davide, see Päßler, Juliane
Beelen, Luc, 214(z)z--99999999
Beelen:2022:YVM, 214(z)z--99999999
Begay, Didier, 28(2)93--110
Begay, Didier, see Arnold, Andre
Begel, Andrew, 61(3)211--227
Begel:2006:XAA, 61(3)211--227
beginning, 53(1)3--24
behalf, 10(2)218--219
behavior, 25(1)41--61, 33(2)101--131, 35(2)163--189, 42(2)129--171, 55(1)3--52, 74(1)34--42, 74(7)446--469, 76(10)891--914, 96(z)279--296, 161(z)149--171, 163(z)93--114, 170(z)45--79, 177(z)19--40, 237(z)z--99999999, 241(z)z--99999999
Behavior-propagating, 98(z)318--338
behavioral, 14(1)43--57, 25(0)79--325, 76(10)915--941, 78(1)46--64, 98(z)233--267, 98(z)268--292, 123(z)42--60, 145(z)13--36, 168(z)171--185, 177(z)41--66, 242(z)z--99999999
behaviour, 22(1)21--44, 80(z)416--439
behavioural, 14(1)43--57, 25(2)149--186, 53(3)409--434, 78(2)248--267, 86(z)3--29, 106(z)54--77, 110(z)78--103, 128(z)51--67, 174(z)38--71, 185(z)z--99999999, 223(z)z--99999999, 236(z)z--99999999
Behjati, Razieh, 160(z)30--47
Behjati:2018:ALC, 160(z)30--47
Beierle, Christoph, 184(z)z--99999999
Beierle:2019:TEA, 184(z)z--99999999
Being, 197(z)z--99999999
Belenchia, Matteo, 238(z)z--99999999
Belenchia:2024:LPL, 238(z)z--99999999
Belguidoum, Meriem, 232(z)z--99999999
Belguidoum, Meriem, see Mammar, Amel
Belhaouari, Hakim, 214(z)z--99999999
Belhaouari, Hakim, see Pascual, Romain
Belinfante, A., 80(z)188--209
Belinfante, A., see Sijtema, M.
Bellegarde, Françoise, 6(1)11--34, 23(2)287--311
Bellegarde:1986:RSF, 6(1)11--34
Bellegarde:1994:SFM, 23(2)287--311
Belli, Fevzi, 120(z)25--48
Belli:2016:MBM, 120(z)25--48
Beltrán, Erika J. Gutiérrez, 240(z)z--99999999
Beltran:2025:MSP, 240(z)z--99999999
Belzner, Lenz, 206(z)z--99999999
Belzner:2021:SSP, 206(z)z--99999999
Ben Cherifa, Ahlem, 9(2)137--159
Ben Said, Najah, 187(z)z--99999999
Ben-Abdallah, Hanêne, 135(z)88--104, 166(z)89--119, see Haoues, Mariem, \see{Mefteh, Mariem
Benac-Earle, C., 98(z)205--232
Benac-Earle, C., see Fernández-Díaz, Á.
Benaini, A., 15(2)135--158
Benaini:1990:SNS, 15(2)135--158
Benavides, David, 240(z)z--99999999
Benavides, David, see Horcas, Jose-Miguel
BenCherifa:1987:TRS, 9(2)137--159
benchmark, 205(z)z--99999999
Benchmarking, 135(z)75--87, 226(z)z--99999999
Bender, Marc, 113(z)29--50
Bender:2015:SRM, 113(z)29--50
Bendisposto, Jens, 81(z)1--2
Bendisposto:2014:PAV, 81(z)1--2
Benduhn, Fabian, 79(z)70--85
Benduhn, Fabian, see Thüm, Thomas
Benedetto, Paolo, Di, 78(8)987--1009
benefit, 204(z)z--99999999
Benelallam, Amine, 149(z)9--14
Benelallam, Amine, see Daniel, Gwendal
Benerecetti, M., 133(z)116--153
Benerecetti:2017:DSM, 133(z)116--153
Bene{\v{s}}, N., 76(10)877--890
Benes, Nikola, 185(z)z--99999999
Benes:2011:POR, 76(10)877--890
Benes:2020:PPS, 185(z)z--99999999
Benghazi, Kawtar, 75(8)669--671
Benghazi, Kawtar, see Chung, Lawrence
Bengolea, Valeria, 238(z)z--99999999
Bengolea, Valeria, see Politano, Mariano
Bengt, 16(2)202--203
Benhamou, Frederic, 30(1)83--118
Benhamou, Frederic, see Van Hentenryck, Pascal
Benharzallah, Saber, 183(z)z--99999999
Benharzallah, Saber, see Tigane, Samir
Bennett, Jeannette, 75(8)689--725
Bennett:2010:AOM, 75(8)689--725
BenSaid:2020:EEI, 187(z)z--99999999
Bensalem, Saddek, 98(z)293--316
Bensalem:2015:ODI, 98(z)293--316
Benson, David B., 14(2)117--132
Bent, Frederick, 27(1)37--83
Bent, Frederick, see Duggan, Dominic
Benton, Nick, 155(z)27--51
Benton:2018:EDT, 155(z)27--51
Benveniste, Albert, 16(2)103--149
Benveniste:1991:SPE, 16(2)103--149
Benzmüller, Christoph, 172(z)48--62
Benzmuller:2019:UML, 172(z)48--62
Beohar, H., 91(z)45--69
Beohar, Harsh, 123(z)42--60, 168(z)171--185, 186(z)z--99999999
Beohar, Harsh, see Varshosaz, Mahsa
Beohar:2014:ADD, 91(z)45--69
Beohar:2016:BBM, 123(z)42--60
Beohar:2020:CTS, 186(z)z--99999999
Béra, Clément, 161(z)105--121, see Milojkovi{\'c}, Nevena
Berardinis, Jacopo de, 168(z)142--164
Berbís, Juan Miguel, Gómez-, 156(z)90--103
Berengueres, Jose, 235(z)z--99999999
Berengueres, Jose, see Kuhail, Mohammad Amin
Berg, Birthe van den, 231(z)z--99999999, 234(z)z--99999999
Berg, Klaas van den, 68(3)138--154, 75(11)1113--1141
Berg, Klaas van den, see Conejero, José M., see Kurtev, Ivan
Bergel, Alexandre, 79(z)86--100, 96(z)121--140, 161(z)34--56, 191(z)z--99999999, 195(z)z--99999999
Bergel, Alexandre, see Alcocer, Juan Pablo Sandoval, see Kuhn, Tobias
Bergel:2014:ITC, 79(z)86--100
Bergel:2018:RRC, 161(z)34--56
Bergenhem, Carl, 191(z)z--99999999
Bergenhem, Carl, see Pelliccione, Patrizio
Berger, Martin, 180(z)36--70, 223(z)z--99999999
Berger, Martin, see Eliott, Harold Pancho, see Jeffery, Alex
Berger, Ulrich, 154(z)61--88
Berger:2018:VER, 154(z)61--88
Berghammer, Rudolf, 11(1)45--63, 26(1)99--115, 38(1)1--25, 48(1)67--80
Berghammer:1988:TAS, 11(1)45--63
Berghammer:1996:TDC, 26(1)99--115
Berghammer:2000:DRP, 38(1)1--25
Berghammer:2003:LAA, 48(1)67--80
Berghe, Steven, Van den, 66(1)4--24
Bergmann, Gábor, 98(z)80--99, see Ujhelyi, Zoltán
Bergstra, J. A., 5(2)171--199, 31(2)205--229, 76(7)541--541
Bergstra, Jan, 65(1)v--v, 78(9)1207--1207
Bergstra, Jan A., 29(1)199--233, 64(3)264--285
Bergstra:1985:TDA, 5(2)171--199
Bergstra:1997:GPB, 29(1)199--233
Bergstra:1998:DTT, 31(2)205--229
Bergstra:2007:ATS, 64(3)264--285
Bergstra:2007:LE, 65(1)v--v
Bergstra:2011:E, 76(7)541--541
Bergstra:2013:E, 78(9)1207--1207
Bericht, 3(3)223--278
Berlin, 1(3)203--222, 10(2)215--216, 11(1)90--91, 11(1)95--97, 11(1)97--98, 12(3)260--264, 23(1)91--101, 46(3)195--196, 51(3)291--292, 432(0)ix--435
Berlinash, 11(2)175--176, 11(2)191--195
Bernárdez, Beatriz, 230(z)z--99999999
Bernardez:2023:ESE, 230(z)z--99999999
Bernardi, Giovanni, 168(z)94--117
Bernardi:2018:FAC, 168(z)94--117
Bernot, Gilles, 23(2)227--286
Bernot:1994:LAE, 23(2)227--286
Berry, Daniel, 195(z)z--99999999
Berry, Daniel, see Ribeiro, Cristina
Berry, Daniel M., 42(1)11--27, 78(9)1208--1211, 152(z)1--37, 204(z)z--99999999
Berry, Daniel M., see Dupree, Janna-Lynn (Weber), see Mehrotra, Gaurav
Berry, G., 8(2)173--202
Berry, Gerard, 19(2)87--152
Berry, Gérard, 36(1)5--25
Berry:1992:ESP, 19(2)87--152
Berry:2000:EFM, 36(1)5--25
Berry:2002:FMV, 42(1)11--27
Berry:2013:ESD, 78(9)1208--1211
Berthomieu, Bernard, 132(z)209--225
Berthomieu, Bernard, see Bourdil, Pierre-Alain
Bertran, Benjamin, 79(z)39--51
Bertran:2014:DTS, 79(z)39--51
Bertrand, 12(1)88--90
Bertrand, Nathalie, 77(12)1212--1234
Bertrand:2012:MEC, 77(12)1212--1234
Berzins, V., 42(1)61--74
Berzins:2002:LIA, 42(1)61--74
Besker, Terese, 163(z)42--61
Besker, Terese, see Martini, Antonio
Besnard, Loïc, 77(2)113--128, 106(z)54--77, 228(z)z--99999999, see Gautier, Thierry, see Talpin, Jean-Pierre
Besnard, Valentin, 232(z)z--99999999
Besnard, Valentin, see Jouault, Frédéric
Besnard:2015:TBM, 106(z)54--77
Bespalova, Kristina, 129(z)48--71
Bespalova, Kristina, see Stuikys, Vytautas
Bessa, Iury V. de, 165(z)1--2
Bessa, Iury V. de, see Araújo, Rodrigo F.
Bessa, Tarsila, 173(z)21--36
Bessa:2019:JFM, 173(z)21--36
best, 74(1)43--51, 102(z)1--19, 110(z)1--2
Best, E., 1(1)115--144
Best, Eike, 13(1)23--50, 157(z)41--55
best-effort, 240(z)z--99999999
Best:1981:SDE, 1(1)115--144
Best:1989:SI, 13(1)23--50
Best:2018:PSP, 157(z)41--55
Beszédes, Árpád, 74(7)399--413, 105(z)3--25, see Vidács, László
Beszedes:2015:EIS, 105(z)3--25
Bettenburg, Nicolas, 77(6)760--776
Bettenburg:2012:ESI, 77(6)760--776
better, 197(z)z--99999999
Bettini, Lorenzo, 74(5)261--278, 76(11)992--1014, 78(2)218--247, 78(5)521--541, 78(7)907--932, 97(z)282--308
Bettini:2009:FJD, 74(5)261--278
Bettini:2011:DOC, 76(11)992--1014
Bettini:2013:CTB, 78(2)218--247
Bettini:2013:FDT, 78(7)907--932
Bettini:2013:TPL, 78(5)521--541
Bettini:2015:ITS, 97(z)282--308
Beuche, Danilo, 53(3)333--352
Beuche:2004:VMF, 53(3)333--352
Beugnard, Antoine, 210(z)z--99999999
Beugnard, Antoine, see Guérin, Sylvain
beyond, 19(3)197--237, 42(1)1--10, 191(z)z--99999999
BEZ235, NVP-, 232(z)z--99999999
Bezerra, Jonas Santos, 198(z)z--99999999
Bezerra, Jonas Santos, see Ribeiro, Leila
Bezirgiannis, Nikolaos, 186(z)z--99999999
Bezirgiannis, Nikolaos, see Azadbakht, Keyvan
Bézivin, Jean, 72(1)31--39, see Jouault, Frédéric
BGP, 53(2)125--141
Bhatti, Usman, 78(8)1055--1072
Bhatti, Usman, see Laval, Jannik
Bialy, Monika, 113(z)29--50
Bialy, Monika, see Bender, Marc
Bianchi, G., 74(1)23--33
Bianchi:2008:SPA, 74(1)23--33
Bianchini, Riccardo, 225(z)z--99999999
Bianchini:2023:PQA, 225(z)z--99999999
Bianculli, Domenico, 97(z)47--54
Bianculli:2015:SSI, 97(z)47--54
Bic, Lubomir F., 31(2)291--311
Bic, Lubomir F., see Fukuda, Munehiro
Bicarregui, Juan, 29(1)53--78
Bicarregui:1997:MMF, 29(1)53--78
Bickford, Mark, 148(z)26--48
Bickford, Mark, see Rahli, Vincent
biconnected, 25(1)63--77
bidirectional, 39(1)3--29
Bidirectionality, 190(z)z--99999999
Bidirectionalization, 111(z)79--109
Bidoit, M., 12(1)1--38
Bidoit, Michel, 25(2)149--186
Bidoit:1989:HMA, 12(1)1--38
Bidoit:1995:BAS, 25(2)149--186
Bieg, Claudia, 53(1)25--36
Bieg:2004:ETD, 53(1)25--36
Bielikova, Maria, 198(z)z--99999999
Bielikova, Maria, see Bednarik, Roman
Bieniusa, Annette, 210(z)z--99999999
Bieniusa, Annette, see Zeller, Peter
Biernacki, Dariusz, 60(3)274--297
Biernacki:2006:SDE, 60(3)274--297
big, 145(z)1--12, 194(z)z--99999999, 197(z)z--99999999, 215(z)z--99999999
Biggar, Paul, 77(9)971--989
Biggar:2012:PSA, 77(9)971--989
Bigonha, Roberto S., 80(z)91--105, 96(z)191--210
Bigonha, Roberto S., see Reis, Leonardo V. S., see Rimsa, Andrei
bigraphs, 80(z)288--310, 215(z)z--99999999, 221(z)z--99999999
Bijlsma, A., 12(3)191--206, 27(2)205--214
Bijlsma:1989:CP, 12(3)191--206
Bijlsma:1996:PFS, 27(2)205--214
Bijo, Shiji, 179(z)24--53
Bijo:2019:FMD, 179(z)24--53
bilinear, quasi-, 9(1)1--15
bin, 48(1)67--80
binary, 4(3)323--333, 5(2)219--229, 6(2)207--211, 8(1)87--103, 11(1)29--43, 13(2)219--236, 24(2)149--158, 26(1)237--254, 27(2)139--173, 27(2)175--184, 29(1)79--98, 31(1)3--45, 31(1)91--112, 31(2)335--358, 40(2)171--188, 60(2)189--204, 76(2)100--118, 80(z)109--129, 93(z)110--124, 174(z)72--89, 175(z)63--84, 217(z)z--99999999
binary-search, 9(1)37--83
Binder, Walter, 76(11)1015--1036, 79(z)146--157, 95(z)344--358, 98(z)100--115
Binder, Walter, see Marek, Lukás, see Sarimbekov, Aibek, see Villazón, Alex
binding, 10(2)139--176, 65(2)72--107
Binding-time, 34(1)55--73
Binkley, Dave, 62(3)228--252, 74(7)430--445, 240(z)z--99999999
Binkley, Dave, see Lee, Seongmin
Binkley:2006:FRB, 62(3)228--252
Binkley:2009:ILL, 74(7)430--445
Binsbergen, L. Thomas van, 175(z)63--84
Binsbergen, L. Thomas van, see Scott, Elizabeth
bio-inspired, 205(z)z--99999999
biometrics, 74(1)43--51
BIP, 109(z)2--35
bipartite, 61(1)38--47
biproduct-oriented, 78(11)2160--2191
Birchler, Christian, 226(z)z--99999999
Birchler:2023:CES, 226(z)z--99999999
bird, 12(2)158--164, 172(z)160--179
Bird, R. S., 6(2)159--190, 8(2)113--137, 12(2)93--104
Bird, Richard, 51(1)87--116
Bird, Richard, see Mu, Shin-Cheng
Bird, Richard S., 18(3)281--292, 26(1)15--31
Bird--Meertens, z(z)z--z
Bird-Meertens, 22(1)67--105
Bird:1986:TPP, 6(2)159--190
Bird:1987:FDE, 8(2)113--137
Bird:1989:FDP, 12(2)93--104
Bird:1992:SU, 18(3)281--292
Bird:1996:FAD, 26(1)15--31
Birgisson, Arnar, 77(7)889--907
Birgisson, Arnar, see Aceto, Luca
Birkhäuser, 18(2)215--218
Bisbal, J., 134(z)61--74
Bisbal, J., see Martínez-Fernández, S.
bisection, 90(z)34--41
Bishop, 13(1)127--128
bisimilar, non-, 202(z)z--99999999
bisimilarity, 96(z)354--376, 100(z)84--104, 172(z)1--26, 196(z)z--99999999
bisimulation, 13(2)219--236
bit, 7(1)1--22, 21(2)115--139, 102(z)57--75
bit-level, 22(1)107--135
BITAM, 57(1)5--26
BitSet, 241(z)1--5
Bittencourt, Ig Ibert, 136(z)43--59
Bittencourt, Ig Ibert, see Elias, Endhe
Bj{\o}rk, Joakim, 115(z)3--22, see Johnsen, Einar Broch
black-box, 53(2)143--164
Blackboard, 115(z)79--99
Blackburn, Mark, 95(z)275--297
Blackburn, Mark, see Carvalho, Gustavo
Blackwell, 10(1)88--89
Blake, 31(1)3--45
blaming, 113(z)223--235
Blanc, Xavier, 76(12)1247--1260
Blanc, Xavier, see Parra, Carlos
Blanchet, Bruno, 58(1)3--27
Blanchet, Bruno, see Abadi, Martín
Blanco, Roi, 130(z)24--36
Blanco:2016:UGD, 130(z)24--36
Blay-Fornarino, Mireille, 78(8)1035--1054
Blay-Fornarino, Mireille, see Mosser, Sébastien
Blazy, Sandrine, 118(z)77--95
Blazy:2016:ISA, 118(z)77--95
Blikle, 12(3)260--264
Blikle, Andrzej, 12(3)191--206, 12(3)207--253, 14(2)281--304
Blikle:1989:DE, 12(3)207--253
Bliudze, Simon, 109(z)2--35
Bliudze, Simon, see Baranov, Eduard
bloat, 76(4)243--257
blob, 243(z)z--99999999
block, 58(3)325--343, 101(z)6--20, 113(z)149--190, 184(z)z--99999999
block, basic-, 79(z)116--125
block, Undulant-, 33(1)29--85
block-based, 42(1)101--113
block-diagram, 48(1)21--42
block-structured, 16(3)251--275
blockchain, 240(z)z--99999999
blockchain-enabled, 239(z)z--99999999
blocking, 75(12)1262--1269, 157(z)71--102
Blockly, 98(z)268--292
Blom, Krelis, 76(12)1098--1112
Blom, Krelis, see Arias, Trosky B. Callo
Blom, Stefan, 95(z)376--388
Blom:2014:SVG, 95(z)376--388
Bloom, Bard, 24(3)189--220
Bloom:1995:TDI, 24(3)189--220
Blostein, Dorothea, 80(z)457--479
Blostein, Dorothea, see Thomas, Stephen W.
Blueprint, 89(z)298--319
Bo, Lili, 233(z)z--99999999
Bo, Lili, see Ji, Wangjie
Boas, Peter, van Emde, 24(2)183--185
Bobbio, Jérémy, 66(3)246--265, see Peschanski, Frédéric
Bodei, Chiara, 133(z)20--50
Bodei:2017:CGU, 133(z)20--50
Bodenmüller, Stefan, 158(z)21--40, 241(z)z--99999999, see Schellhorn, Gerhard
Bodeveix, Jean-Paul, 106(z)30--53, 199(z)z--99999999, 207(z)z--99999999
Bodeveix, Jean-Paul, see Yang, Zhibin
Bodeveix:2015:TVT, 106(z)30--53
Bodeveix:2020:EBF, 199(z)z--99999999
Bodin, Derek, 75(1)39--54
Bodin, Derek, see Van Wyk, Eric
Boer, F. de, 100(z)61--83
Boer, F. de, see Asavoae, I. M.
Boer, F. S. de, 78(9)1278--1293, 94(z)362--378, 112(z)102--118
Boer, F. S. de, see Astefanoaei, L., see Nobakht, B.
Boer, Frank de, 55(1)1--2
Boer, Frank S. de, 77(7)799--822, 186(z)z--99999999
Boer, Frank S. de, see Azadbakht, Keyvan, see Meng, Sun
Bognor, 12(3)265--266
Boiler, Steam-, 46(3)197--217
Bois, Andre, Du, 196(z)z--99999999
Bois, Andre, Rauber Du, 173(z)37--55
Bois, André Rauber, Du, 132(z)1
Bois, André, Rauber Du, 173(z)56--70
Bois:2016:SEP, 132(z)1
Boissier, Olivier, 78(6)747--761
Boissier:2013:MAO, 78(6)747--761
Boiten, E. A., 33(3)261--298
Boiten, E. A., see Bowman, H.
Boiten, Eerke, 35(1)29--75, 51(1)1--2, 75(12)1262--1269, 76(9)737--738
Boiten, Eerke A., 18(2)139--179
Boiten:1992:IRF, 18(2)139--179
Boiten:1999:CCC, 35(1)29--75
Boiten:2004:F, 51(1)1--2
Boiten:2010:IRS, 75(12)1262--1269
Boiten:2011:SPR, 76(9)737--738
Boix, Elisa Gonzalez, 194(z)z--99999999
Boix, Elisa Gonzalez, see Marra, Matteo
Bokharouss, Ibrahim, 64(2)246--262
Bokharouss, Ibrahim, see Russello, Giovanni
Boldi, Paolo, 54(1)3--23, 130(z)24--36
Boldi, Paolo, see Blanco, Roi
Boldi:2005:MSJ, 54(1)3--23
Bollati, Verónica A., 98(z)3--27, see Jiménez, Álvaro
Bollman, Dorothy, 10(2)177--210
Bolz, Carl Friedrich, 98(z)408--421, 140(z)17--29
Bolz, Carl Friedrich, see Pape, Tobias
Bolz:2015:IMT, 98(z)408--421
Bonacchi, A., 128(z)2--21
Bonacchi:2016:VPR, 128(z)2--21
Bonchi, Filippo, 100(z)84--104, 109(z)96--124, 111(z)135--155, 162(z)110--131, 172(z)1--26
Bonchi, Filippo, see Baldan, Paolo, see Pino, Luis F.
Bonchi:2018:SBM, 162(z)110--131
Bonchi:2019:BOT, 172(z)1--26
Bonding, 151(z)18--47
Bondorf, Anders, 16(2)151--195, 17(1)3--34
Bondorf:1991:AAH, 17(1)3--34
Bondorf:1991:AAR, 16(2)151--195
Bonfanti, Silvia, 158(z)148--167, 244(z)z--99999999
Bonfanti, Silvia, see Arcaini, Paolo
Bonfanti:2025:FSV, 244(z)z--99999999
Bonifaci, Vincenzo, 53(1)37--49
Bonifaci:2004:JBS, 53(1)37--49
Bonino, Dario, 95(z)112--134
Bonino:2014:EST, 95(z)112--134
Bonn, 3(1)117--117
Bono, Viviana, 76(11)992--1014
Bono, Viviana, see Bettini, Lorenzo
Bonola, M., 74(1)23--33
Bonola, M., see Bianchi, G.
Bonsangue, M. M., 94(z)362--378, 100(z)61--83, 112(z)102--118
Bonsangue, M. M., see Asavoae, I. M., see Boer, F. S. de, \see{Nobakht, B.
Bonsangue, Marcello, 55(1)1--2, 77(6)685--706, 78(9)1324--1345, 162(z)1--2, 187(z)z--99999999
Bonsangue, Marcello, see Boer, Frank de, see Xiang, Shuangqing
Bonsangue, Marcello M., 46(1)31--69
Bonsangue:2003:CCM, 46(1)31--69
Bonsangue:2012:MCD, 77(6)685--706
Bonsangue:2013:AEP, 78(9)1324--1345
Bonsangue:2018:PSI, 162(z)1--2
Book, Matthias, 94(z)3--17
Book:2014:PAC, 94(z)3--17
boolean, 7(1)55--60, 25(2)149--186, 26(1)5--9, 26(1)99--115, 26(1)117--132, 27(1)1--35, 31(1)3--45, 31(1)91--112, 34(3)191--205, 97(z)59--63, 151(z)2--17, 180(z)18--35, 188(z)z--99999999
Bootstrapping, 96(z)141--155
Borba, Paulo, 52(1)53--100, 93(z)39--64
Borba, Paulo, see Mongiovi, Melina
Borba:2004:ARO, 52(1)53--100
Borchers, Philipp, 242(z)z--99999999, 244(z)z--99999999
Borchers, Philipp, see Grundt, Dominik
Borchers:2025:TAS, 242(z)z--99999999
Bordini, Rafael H., 78(6)747--761, 98(z)117--119
Bordini, Rafael H., see Boissier, Olivier, see Ricci, Alessandro
Boreale, Michele, 71(2)110--143, 78(2)248--267, 193(z)z--99999999
Boreale, Michele, see Acciai, Lucia
Boreale:2020:CAA, 193(z)z--99999999
Börger, Egon, 23(1)91--101, 24(3)249--286, 94(z)69--92, 131(z)42--58, see Gervasi, Vincenzo
Borger:1994:BRB, 23(1)91--101
Borger:1995:MDF, 24(3)249--286
Borger:2016:SML, 131(z)42--58
Borges, Clemente R., 234(z)z--99999999
Borges, Clemente R., see Macías, José A.
Borghoff, Uwe M., 30(1)201--226
Borghoff:1998:CBP, 30(1)201--226
Borgne, M., Le, 41(1)85--104
Bork, Dominik, 231(z)z--99999999
Bork, Dominik, see Smajevic, Muhamed
Bornat, 10(1)87--88
boroque, 12(2)174--175
borrow, 212(z)z--99999999
Bortin, Maksym, 231(z)z--99999999
Bortin:2024:SDI, 231(z)z--99999999
Bortolaso, Christophe, 89(z)199--221
Bortolaso, Christophe, see Dubois, Emmanuel
Bos, Jeroen van den, 114(z)7--19
Bos, Jeroen van den, see Basten, Bas
Bos, Petra van den, 209(z)z--99999999
Bos, S. H. J., 29(1)235--258
Bos:1997:BDT, 29(1)235--258
Bosch, Jan, 53(3)255--258, 78(12)2293--2294, 135(z)1--3, 163(z)42--61
Bosch, Jan, see Martini, Antonio, see Staron, Miroslaw
Bosch:2004:SVM, 53(3)255--258
Bosch:2013:SPL, 78(12)2293--2294
Bosnacki, Dragan, 130(z)1
Bo{\v{s}}na{\v{c}}ki, Dragan, 184(z)z--99999999, see Zhang, Dan
Bosnacki:2016:SSG, 130(z)1
Bosschere, K., De, 61(2)152--187
Bossi, A., 27(3)217--262
Bossi:1996:DLP, 27(3)217--262
both, 55(1)185--208, 74(1)43--51
Botha, Josua, 200(z)z--99999999, 228(z)z--99999999
Botha, Josua, see Timm, Nils
Boticario, Jesus G., 88(z)92--109
Boticario, Jesus G., see Santos, Olga C.
Botterweck, Goetz, 98(z)120--139
Botterweck, Goetz, see Jordan, Howell
Botti, Vicente, 78(6)695--704
Botti, Vicente, see Garcia, Emilia
Bottom, Left-, 15(1)79--94
bottom, Left-, 15(1)79--94
bottom-up, 13(1)51--72, 19(3)281--313
Bouajjani, A., 18(3)247--269
Bouajjani:1992:MSG, 18(3)247--269
Bouakaz, Adnan, 106(z)54--77
Bouakaz, Adnan, see Besnard, Loïc
Bouassida, Nadia, 166(z)89--119
Bouassida, Nadia, see Mefteh, Mariem
Boubeta-Puig, Juan, 198(z)z--99999999
Boubeta-Puig, Juan, see Gamaza, Ángel
Boucher, Quentin, 76(12)1130--1143
Boucher, Quentin, see Classen, Andreas
Boudaa, Boudjemaa, 136(z)17--42
Boudaa:2017:AOM, 136(z)17--42
Boudjadar, Abdeldjalil, 113(z)236--260, 127(z)103--130
Boudjadar:2015:RFC, 113(z)236--260
Boudjadar:2016:SES, 127(z)103--130
Bouguessa, Abdelkader, 136(z)17--42
Bouguessa, Abdelkader, see Boudaa, Boudjemaa
Boullier, Pierre, 9(3)271--286
Boullier:1987:NER, 9(3)271--286
Boulytchev, Dmitry, 114(z)57--73
Boulytchev:2015:CTD, 114(z)57--73
bound, 74(5)279--295, 92(z)56--84, 111(z)483--504
Bound, Branch-and-, 16(1)19--48
bound, Branch-and-, 16(1)19--48
bounded, 19(3)197--237, 26(1)133--148, 64(1)54--75, 76(7)542--554, 77(10)1095--1121, 98(z)184--204, 112(z)58--74, 112(z)102--118, 138(z)1--25, 158(z)41--63, 175(z)37--62, 195(z)z--99999999, 238(z)z--99999999
bounded, context-, 152(z)63--69
bounded, linear-, 77(2)96--112
Boundedness, 26(1)255--272
bounding, 111(z)395--425
BoundWarden, 198(z)z--99999999
Bouraoui, Amina, 172(z)63--101
Bouraoui:2019:MDE, 172(z)63--101
Bouraqadi, N., 96(z)141--155
Bouraqadi, N., see Polito, G.
Bouraqadi, Noury, 98(z)339--359, 161(z)2--17, 195(z)z--99999999
Bouraqadi, Noury, see Peck, Mariano Martinez, see Tesone, Pablo
Bouraqadi:2018:TDD, 161(z)2--17
Bourdev, Lubomir, 76(4)243--257
Bourdev:2011:ERT, 76(4)243--257
Bourdil, Pierre-Alain, 132(z)209--225
Bourdil:2016:SRT, 132(z)209--225
Bourekkache, Samir, 183(z)z--99999999
Bourekkache, Samir, see Tigane, Samir
Boushehrian, Omid, 228(z)z--99999999
Boushehrian, Omid, see Sepahvand, Reza
Bousquet, Lydie du, 78(4)343--344
Bouyakoub, Fayçal M'hamed, 236(z)z--99999999, see Mezenner, Imene
Bouyakoub, Samia, 236(z)z--99999999
Bouyakoub, Samia, see Mezenner, Imene
Bouziat, Teddy, 200(z)z--99999999
Bouziat, Teddy, see Camps, Valérie
Bowles, J., 182(z)42--63
Bowles, Juliana Küster Filipe, 185(z)z--99999999
Bowles:2019:FAC, 182(z)42--63
Bowles:2020:CCP, 185(z)z--99999999
Bowman, H., 33(3)261--298
Bowman, Howard, 35(1)29--75
Bowman, Howard, see Boiten, Eerke
Bowman:1999:SCC, 33(3)261--298
box, 63(2)172--185, 69(1)76--85, 78(2)218--247
box, black-, 53(2)143--164
Boyer--Moore-style, 48(2)99--117
Boykett, Tim, 212(z)z--99999999
Boykett:2021:NMR, 212(z)z--99999999
Boyland, John Tang, 68(2)63--63, 75(1)1--2
Boyland, John Tang, see Hedin, Görel, see Johnstone, Adrian
Boyle, James M., 28(1)1--41
Boyle, James M., see Fitzpatrick, Stephen
Bozga, Marius, 36(1)27--52, 47(2)203--220, 98(z)293--316
Bozga, Marius, see Bensalem, Saddek, see Fernandez, Jean-Claude
Bozga:2000:VTG, 36(1)27--52
Bozzano, Marco, 98(z)464--483
Bozzano:2015:SAA, 98(z)464--483
BPEL, 66(3)226--245
BPEL, WS-, 67(2)162--198, 77(3)189--213, 98(z)707--734
BPMN, 76(8)633--650, 168(z)1--17
Braberman, Víctor, 92(z)56--84
Braberman:2014:SBI, 92(z)56--84
Brabrand, Claus, 68(1)2--20, 75(3)176--191, 78(10)1845--1870, 87(z)1--1, 105(z)145--170, 159(z)1--27
Brabrand, Claus, see Andersen, Jacob, see Dimovski, Aleksandar S., see Midtgaard, Jan
Brabrand:2007:MSS, 68(1)2--20
Brabrand:2010:AAC, 75(3)176--191
Brabrand:2014:PSS, 87(z)1--1
Brace, 12(1)85--87
Brada, Premek, 97(z)349--365
Brada:2015:RMD, 97(z)349--365
Bradbury, Jeremy S., 62(3)209--227, 78(4)343--344
Bradbury, Jeremy S., see Bousquet, Lydie du, see Zhang, Hongyu
Bradel, Borys J., 74(5)296--313
Bradel:2009:SPP, 74(5)296--313
Bradley, Steven, 40(1)3--29
Bradley:2001:FDL, 40(1)3--29
Braga e Silva, Glaúcia, 244(z)z--99999999, see Da Silva, Patrick Rodrigo
Braga, Christiano, 92(z)86--104, 93(z)1--2, 107(0)64--92, 126(z)1--2, 146(z)1--1
Braga, Christiano, see Santos, Joel dos
Braga:2014:BSP, 93(z)1--2
Braga:2014:CMT, 92(z)86--104
Braga:2016:PSS, 126(z)1--2
Braga:2017:PSI, 146(z)1--1
Brains, 11(2)191--195
Brambilla, Marco, 89(z)71--87
Brambilla:2014:LSM, 89(z)71--87
branch, 96(z)84--106
Branch-and-Bound, 16(1)19--48
Branch-and-bound, 16(1)19--48
branching, 2(3)241--266, 8(3)275--306, 96(z)354--376, 196(z)z--99999999
Brand, Daniel, 75(11)921--942
Brand, Daniel, see Buss, Marcio
Brand, M. G. J. van den, 69(1)1--2, 72(1)1--2, 79(z)1--5
Brand, M. G. J. van den, see Mens, Kim
Brand, Mark G. J. van den, 75(4)214--215, 89(z)251--272, 134(z)1--3
Brand, Mark G. J. van den, see Vasilescu, Bogdan
Brand, Mark van den, 36(2)209--266, 47(1)1--1, 61(3)245--264, 75(1)3--20, 78(8)969--970, 87(z)23--43, 97(z)75--81, 98(z)1--2, 114(z)1--6, 149(z)1--2, 163(z)62--84, 184(z)z--99999999, 223(z)z--99999999
Brand, Mark van den, see Babur, Önder, see Camacho, Diego Ordóñez, see Clarke, Peter J., see Johnstone, Adrian, see Seinturier, Lionel, \see{Wille, David, see Zhang, Dan
Brandalero, Marcelo, 165(z)38--53
Brandalero:2018:AET, 165(z)38--53
Brandt, Jens, 96(z)377--394
Brandt, Jens, see Talpin, Jean-Pierre
Bransen, Jeroen, 137(z)98--124
Bransen:2017:IEH, 137(z)98--124
Brau, Guillaume, 156(z)1--20
Brau:2018:TSA, 156(z)1--20
Brauburger, Jürgen, 35(2)113--136
Brauburger:1999:ADF, 35(2)113--136
Braude, Eric J., 89(z)223--234
Braude:2014:WPC, 89(z)223--234
Brauer, Jörg, 76(2)100--118, 78(7)862--883, 80(z)109--129, see Reinbacher, Thomas, see Schlich, Bastian
Brauer:2013:AIM, 78(7)862--883
Brault, Yann, 240(z)z--99999999
Brault, Yann, see Collet, Philippe
Bravenboer, Martin, 72(1)52--70, 75(7)473--495
Bravenboer:2008:SXL, 72(1)52--70
Bravenboer:2010:PIA, 75(7)473--495
Bravetti, Mario, 221(z)z--99999999
Bravetti, Mario, see Bacchiani, Lorenzo
Bravo, Crescencio, 77(1)29--45
Bravo, Crescencio, see Duque, Rafael
Bravo, José, 78(10)1892--1894, see López-de-Ipiña, Diego
Brazilian, 77(4)423--423, 78(8)1119--1120, 80(z)51--51, 92(z)85--85, 93(z)1--2, 96(z)175--176, 107(z)1, 119(z)1--2, 165(z)ii--ii, 173(z)1--2, 181(z)82--83, 191(z)z--99999999, 201(z)z--99999999, 218(z)z--99999999, 220(z)z--99999999, 230(z)z--99999999, 238(z)z--99999999, 244(z)z--99999999
Breadth-first/depth, 22(1)3--19
break, 209(z)z--99999999
breaking, 6(2)159--190
Breakiron, Daniel A., 88(z)22--40
Breakiron, Daniel A., see Fouh, Eric
Breen, David E., 78(5)594--611
Breen, David E., see Bai, Linge
Brestovansky, Dusan, 208(z)z--99999999
Brestovansky, Dusan, see Lethbridge, Timothy C.
Breuer, Peter T., 91(z)161--187
Breuer:2014:OSV, 91(z)161--187
Breunesse, C.-B., 55(1)53--80
Breunesse:2005:FMS, 55(1)53--80
Breutel, Stephan, 67(2)162--198
Breutel, Stephan, see Ouyang, Chun
Brezocnik, Zmago, 29(1)23--52
Brezocnik, Zmago, see Kapus, Tatjana
Brian, 16(2)197--198
Brichau, Johan, 75(4)232--246, 76(12)1075--1077
Brichau, Johan, see Zaidman, Andy
Brichau:2010:ESR, 75(4)232--246
Bride, Hadrien, 132(z)190--208
Bride:2016:TMU, 132(z)190--208
bridge, 66(1)87--102
bridging, 35(1)3--27, 37(1)3--36, 66(1)1--3, 77(1)66--80, 78(11)2282--2291, 86(z)3--29, 96(z)417--443
Brim, L., 76(2)136--157, 76(10)877--890, 128(z)68--85
Brim, L., see Bene{\v{s}}, N., see Edelkamp, S., \see{Rockai, P.
Brim, Lubos, 77(12)1272--1288, 185(z)z--99999999
Brim, Lubos, see Barnat, Jirí, see Benes, Nikola
Bringer, Julien, 74(1)43--51
Bringer:2008:BBW, 74(1)43--51
Brinkkemper, Sjaak, 213(z)z--99999999
Brinkkemper, Sjaak, see Vulpen, Paul van
Britain's, Alvey-, 16(2)197--198
Brito e Abreu, Fernando, 45(2)137--153
Brito e Abreu, Fernando, see Sousa, Pedro
Brito, Patrick H. S., 136(z)43--59
Brito, Patrick H. S., see Elias, Endhe
broadcast, 4(1)1--15
broadcasting, 25(0)79--325, 25(2)285--327
Broadcasts, 4(1)1--15
Brock, Neil, 148(z)3--25
Brock, Neil, see O'Halloran, Colin
Broek, P. M., van den, 24(1)63--81
Brogi, A., 61(2)152--187
Brogi, A., see Linden, I.
Brogi, Antonio, 46(1)71--98, 61(2)73--74, 61(2)136--151, 63(1)39--56, 115(z)177--198, 162(z)110--131, 166(z)194--213, 230(z)z--99999999
Brogi, Antonio, see Bonchi, Filippo, see Soldani, Jacopo
Brogi:2003:ECS, 46(1)71--98
Brogi:2006:CAT, 63(1)39--56
Brogi:2006:P, 61(2)73--74
Brogi:2006:SSA, 61(2)136--151
Brogi:2015:FAS, 115(z)177--198
Brogi:2018:OIT, 166(z)194--213
broken, 150(z)56--74
Bron, Coenraad, 41(2)173--194
Bron, Coenraad, see Hesselink, Wim H.
Brookes, Steve, 11(2)185--191
Brookes:1988:BRB, 11(2)185--191
Brosig, Fabian, 90(z)71--92
Brosig:2014:ALS, 90(z)71--92
Brouwerian, 17(1)139--215
Brown, 12(1)90--92, 13(1)117--119
Brown, Geoffrey, 15(2)217--233
Brown, Geoffrey, see Luk, Wayne
browser, 9(2)179--205, 75(4)216--231
Broy, M., 1(1)73--114
Broy, M., see Bauer, F. L.
Broy, Manfred, 4(2)103--139, 7(1)35--53, 10(1)65--85, 11(1)65--86, 14(2)255--279, 20(3)223--251, 23(2)227--286, 42(1)1--10, 54(2)213--256, 64(3)263--263, 66(2)103--104, 75(12)1193--1214
Broy, Manfred, see Luqi
Broy:1984:SAL, 4(2)103--139
Broy:1986:AIP, 7(1)35--53
Broy:1988:NDF, 10(1)65--85
Broy:1988:VQ, 11(1)65--86
Broy:2005:SME, 54(2)213--256
Broy:2007:ECA, 64(3)263--263
Broy:2007:ESC, 66(2)103--104
Broy:2010:MSS, 75(12)1193--1214
Brucker, Achim D., 241(z)z--99999999
Brucker:2025:POF, 241(z)z--99999999
Brückner, B., Krieg-, 1(1)73--114
Bruel, Jean-Michel, 230(z)z--99999999
Bruel, Jean-Michel, see Bucchiarone, Antonio
Bruggink, H. J. Sander, 104(z)71--98
Bruggink:2015:RCP, 104(z)71--98
Brugière, Timothée Goubault de, 214(z)z--99999999
Bruguera, Javier D., 90(z)21--33
Bruguera:2014:ORI, 90(z)21--33
Bruijn, 23(2)287--311
Brun, Matthias, 232(z)z--99999999
Brun, Matthias, see Jouault, Frédéric
Bruneau, Julien, 79(z)39--51
Bruneau, Julien, see Bertran, Benjamin
Brunekreef, Jacob, 45(2)175--191
Brunekreef:2002:TUC, 45(2)175--191
Bruneliere, Hugo, 232(z)z--99999999
Bruneliere, Hugo, see Sadovykh, Andrey
Bruni, Roberto, 94(z)255--288, 97(z)23--30, 99(z)75--94
Bruni, Roberto, see Zhao, Liang
Bruni:2015:CDR, 97(z)23--30
Bruni:2015:MAA, 99(z)75--94
Brunnegård, Oliver, 191(z)z--99999999, see Pelliccione, Patrizio
Bruns, Glenn, 29(1)3--22
Bruns:1997:IAM, 29(1)3--22
Bruntink, Magiel, 97(z)135--142
Bruntink:2015:TBR, 97(z)135--142
Bryant, Barrett R., 68(1)1--1, 75(11)919--920, 77(9)969--970, 78(4)388--389, 78(6)613--614
Bryant, Barrett R., see Mernik, Marjan
Bryant:2007:RSP, 68(1)1--1
Bryce, Ciarán, 46(1)163--193, see Vitek, Jan
BSP, 37(1)253--277, 184(z)z--99999999
bubble, 9(2)107--136
Bucchiarone, Antonio, 230(z)z--99999999, 231(z)z--99999999
Bucchiarone, Antonio, see Yigitbas, Enes
Bucchiarone:2023:GMB, 230(z)z--99999999
Bucchiarone:2024:PPG, 231(z)z--99999999
Büchi, 16(1)97--100
Buchwald, Sebastian, 85(z)41--99
Buchwald, Sebastian, see Jakumeit, Edgar
bucket, 3(2)205--216
Buckl, C., 90(z)161--179
Buckl, C., see Rupanov, V.
Buckley, Alex, 75(9)761--761
Buckley, Alex, see Ancona, Davide
Budde, Carlos E., 174(z)90--108
Budde:2019:ACI, 174(z)90--108
Budnik, Christof J., 78(12)2414--2432, 120(z)25--48
Budnik, Christof J., see Belli, Fevzi, see Heuer, André
Buell, Duncan A., 9(1)17--35
Bueno, F., 30(1)51--82
Bueno, Francisco, 58(1)115--140
Bueno, Francisco, see Hermenegildo, Manuel V.
Bueno:1998:POC, 30(1)51--82
Buffer, 28(2)273--299
bug, 75(11)921--942, 78(4)390--411, 162(z)93--109, 163(z)1--18, 205(z)z--99999999, 228(z)z--99999999, 235(z)z--99999999
Bugliesi, M., 27(3)217--262, 94(z)289--306
Bugliesi, M., see Bossi, A.
Bugliesi:2014:MCA, 94(z)289--306
Bühler, David, 118(z)77--95, see Blazy, Sandrine
Buhnova, B., 76(10)877--890
Buhnova, B., see Bene{\v{s}}, N.
Buhnova, Barbora, 90(z)67--70
Buhnova:2014:GES, 90(z)67--70
Buhrman, Harry, 33(2)215--216
Buhrman:1999:BRB, 33(2)215--216
building, 3(2)151--188, 50(1)101--127, 53(1)37--49, 69(1)68--75, 75(8)672--688, 78(10)1912--1929, 79(z)126--145, 101(z)6--20, 111(z)318--338, 132(z)143--172, 136(z)17--42, 243(z)z--99999999
built-in, 8(1)69--86
Bukhari, Syed Ali Asadullah, 133(z)154--174
Bukhari:2017:FTF, 133(z)154--174
Bulej, Lubomír, 95(z)344--358, 98(z)100--115, see Marek, Lukás, see Sarimbekov, Aibek
bulk, 184(z)z--99999999, 196(z)z--99999999
Bulterman, 1(1)145--147
BUnity, 78(9)1278--1293
Bunkenburg, A., 43(1)77--89
Bunkenburg, A., see Morris, J. M.
Bunkenburg, Alexander, 34(2)141--158
Bunkenburg, Alexander, see Morris, Joseph M.
Burbaite, Renata, 129(z)48--71
Burbaite, Renata, see Stuikys, Vytautas
Burg, Sander van der, 79(z)52--69
Burgess, Mark, 49(1)1--46, 51(3)197--213, 53(2)123--124, 60(1)1--26, 64(3)312--331
Burgess:2003:TSA, 49(1)1--46
Burgess:2004:CIE, 51(3)197--213
Burgess:2004:TSA, 53(2)123--124
Burgess:2006:PAD, 60(1)1--26
Burgess:2007:RAD, 64(3)312--331
Burgués, Xavier, 168(z)18--37, see Ameller, David
Burholt, Charlie, 236(z)z--99999999
Burholt, Charlie, see Yaman, Sinem Getir
Burn, Geoffrey L., 7(3)249--278
Burn:1986:SAH, 7(3)249--278
Burns, 11(1)90--91
Burns, Alan, 172(z)102--116
Burns, Alan, see Deutschbein, Calvin
Burrows, M., 21(2)93--113
Burrows, M., see Abadi, M.
bus, 29(1)235--258, 80(z)188--209
bus, C-, 29(1)235--258
Buschhaus, Constantin, 232(z)z--99999999
Buschhaus:2024:LLA, 232(z)z--99999999
Bush, 16(1)92--93
Bush, Vicky, 15(1)95--97
Bush:1990:BRB, 15(1)95--97
Bushehrian, Omid, 239(z)z--99999999
Bushehrian, Omid, see Samanipour, Ali
Busho, Mihal, 213(z)z--99999999
Busho, Mihal, see AlOmar, Eman Abdullah
Busi, Matteo, 208(z)z--99999999
Busi:2021:MIT, 208(z)z--99999999
business, 57(1)5--26, 65(1)4--13, 65(1)14--29, 65(1)30--40, 71(1)73--87, 75(5)292--310, 77(3)314--354, 78(8)1035--1054, 97(z)31--36, 103(z)3--12, 166(z)35--70, 170(z)1--26, 183(z)z--99999999, 234(z)z--99999999
Busjahn, Teresa, 198(z)z--99999999
Busjahn, Teresa, see Bednarik, Roman
Buss, Marcio, 75(11)921--942
Buss, Marco, 94(z)3--17
Buss, Marco, see Book, Matthias
Buss:2010:NAS, 75(11)921--942
Bussel, Tom van, 172(z)1--26
Bussel, Tom van, see Bonchi, Filippo
Bustard, 11(2)195--196
Butler, Michael, 33(3)221--260, 78(3)293--309, 105(z)92--123, 111(z)318--338, 139(z)1--35, 148(z)49--65, 158(z)1--2, 158(z)122--147, 189(z)z--99999999, 197(z)z--99999999, 225(z)z--99999999
Butler, Michael, see Alkhammash, Eman, see Banach, Richard, see Dalvandi, Mohammadsadegh, see Hoang, Thai Son, \see{Ireland, Andrew, see Zhu, Chenyang
Butler, Michael J., 27(2)139--173
Butler:1996:SRC, 27(2)139--173
Butler:1999:CDP, 33(3)221--260
Butler:2018:IAS, 158(z)1--2
Butler:2020:ASM, 197(z)z--99999999
Butterfield, Andrew, 74(4)219--237, 98(z)120--139
Butterfield, Andrew, see Jordan, Howell
Butterfield:2009:MFM, 74(4)219--237
Büttner, Fabian, 69(1)27--34, 89(z)162--175, 92(z)162--178, see Gogolla, Martin
Buttner:2014:MDS, 89(z)162--175
Buttner:2014:OBI, 92(z)162--178
Buzluca, Feza, 95(z)406--425
Buzluca, Feza, see Tekin, Umut
by-construction, correctness-, 97(z)55--58
by-contract, design-, 100(z)2--27
by-example, query-, 71(2)144--164
by-need, call-, 147(z)3--26
by-Value, Call-, 184(z)z--99999999
by-value, call-, 31(1)47--73, 84(z)77--100, 187(z)z--99999999
by-wire, Medicine-, 200(z)z--99999999
Bygde, Stefan, 133(z)74--87
Bygde:2017:IPP, 133(z)74--87
Byte, 74(5)379--396
bytecode, 54(1)73--98, 57(3)295--317, 76(7)587--608, 78(3)327--342, 79(z)116--125, 92(z)1--1, 92(z)25--55, 95(z)343--343, 95(z)426--444, 191(z)z--99999999
Byun, Taejoon, 103(z)51--70
Byun, Taejoon, see Choi, Yunja