Last update: Sun Jun 9 02:05:06 MDT 2024
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
-
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
-
Banzai+Tatoo, 77(9)990--1005
-
Baranov, Eduard, 109(z)2--35
-
Baranov:2015:OSA, 109(z)2--35
-
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,
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
-
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
-
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
-
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
-
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, 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
-
based, greedy-, 150(z)1--25
-
based, induction-, 103(z)71--87
-
based, Institution-, 107(0)41--63
-
based, interaction-, 206(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
-
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
-
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, 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
-
based, SEA-, 105(z)3--25
-
Based, Search-, 233(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
-
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, 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, value-, 230(z)z--99999999
-
based, Variant-, 154(z)3--41
-
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
-
Beal, Jacob, 78(6)633--656, 117(z)17--44
-
Beal, Jacob, see Damiani, Ferruccio,
see Viroli, Mirko
-
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
-
Becker, Jan Steffen, 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
-
Beek, Maurice H. ter, see Basile, Davide
-
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
-
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
-
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
-
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
-
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
-
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
-
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: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
-
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
-
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
-
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
-
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,
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
-
Bonfanti, Silvia, see Arcaini, Paolo
-
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
-
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
-
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, 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
-
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
-
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
-
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
-
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
-
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