Index file section B for actainfo.bib

Last update: Fri Sep 26 02:00:12 MDT 2025

Return to index directory

B

B, 32(7)611--625
B-Trees, 1(3)173--189, 1(4)290--306, 9(1)1--21, 26(5)421--438, 27(1)41--59
Babich, Wayne A., 10(3)245--264, 10(3)265--272
Babich:1978:MADa, 10(3)245--264
Babich:1978:MADb, 10(3)265--272
Babot, Francesc, 51(6)347--418
Babot, Francesc, see Bertran, Miquel
Baca, David, Fernández-, 26(8)771--785
Baccelli, François, 15(1)67--81, 17(3)287--310
Baccelli:1981:ASF, 15(1)67--81
Baccelli:1982:PAE, 17(3)287--310
Bacchelli, Silvia, 40(8)585--602
Bacchelli:2004:EGC, 40(8)585--602
Bach, Eric, 34(11)859--879
Bachmann, Peter, 31(5)431--477
back, 18(2)171--179
Back, R. J. R., 15(3)233--249, 25(6)593--624, 27(7)583--625, 36(4)295--334
Back, Ralph J. R., 35(2)131--165
Back, Ralph-Johan, 35(11)921--949
Back:1981:PTC, 15(3)233--249
Back:1988:CRP, 25(6)593--624
Back:1990:DSL, 27(7)583--625
Back:1998:FSE, 35(11)921--949
Back:1998:RFA, 35(2)131--165
Back:1999:RAA, 36(4)295--334
Backhouse, R. C., 18(3)289--298
Backhouse, R. C., see Anderson, S. O.
Backhouse, Roland C., 6(3)277--296
Backhouse:1976:AAI, 6(3)277--296
backtracking, 8(2)125--144, 15(2)99--113
backward, 49(3)117--137, 51(5)297--325
Badouel, Eric, 32(7)647--679
Badouel:1995:TNP, 32(7)647--679
Baeten, Jos C. M., 29(4)303--334
Baeten:1992:APC, 29(4)303--334
Baeza-Yates, Ricardo, 32(5)477--489
Baeza-Yates, Ricardo A., 26(4)349--362, 26(5)439--471, 29(5)443--460, 30(3)203--213
Baeza-Yates, Ricardo A., see Amerins, Paul S.
Baeza-Yates:1989:EBT, 26(5)439--471
Baeza-Yates:1989:MSF, 26(4)349--362
Baeza-Yates:1992:UMT, 29(5)443--460
Bag-Containment, 34(7)557--578
Bagchi, Amitava, 11(1)1--30, 13(3)225--227
Bagossy, Attila, 61(2)161--181
Bagossy:2024:ELC, 61(2)161--181
Bagyinszki, János, 27(4)315--342, 27(4)343--368
Bagyinszkiné-Orosz, Anna, 26(6)503--525
Baier, Christel, 31(1)81--104, 34(9)701--735, 49(4)203--224, 52(4)443--482, 54(8)727--728, 57(3)465--512
Baier, Christel, see Klein, Joachim
Baier:1994:CBE, 31(1)81--104
Baier:1997:MSP, 34(9)701--735
Baier:2012:SGL, 49(4)203--224
Baier:2017:SII, 54(8)727--728
Baier:2020:PBS, 57(3)465--512
Baigi, Ali, Rahimi-, 61(3)199--229
Baker, Brenda S., 18(2)207--225
Baker, Brenda S., see Brown, Donna J.
bakery, 48(2)67--96
Bakhshi, Rena, 57(3)727--758
Bakhshi, Rena, see Endrullis, Jörg
Bakker, J. W., de, 24(5)491--511
balance, 8(4)341--357, 37(10)743--763
balanced, 9(2)23--29, 18(4)335--344, 18(4)345--359, 26(3)269--277, 42(1)57--78
Balanced, Fringe-, 30(5)459--466
balancing, 8(4)341--357, 25(6)663--676, 29(1)63--94, 61(1)53--66
Balcázar, José L., 23(6)679--688
Balcazar:1986:SSG, 23(6)679--688
Baldan, Paolo, 56(1)61--92
Baldan:2019:PND, 56(1)61--92
Baldoni, Roberto, 35(6)441--455
Baldoni:1998:CRA, 35(6)441--455
Banâtre, Jean-Pierre, 18(4)431--448
Banatre:1983:NDW, 18(4)431--448
Bandyopadhyay, Soumyadip, 56(4)321--383, 59(6)725--759
Bandyopadhyay:2019:ECP, 56(4)321--383
Bandyopadhyay:2022:TVC, 59(6)725--759
Bannister, Joseph A., 20(3)261--281
Bannister:1983:TAF, 20(3)261--281
Bar Yehuda, Reuven, 35(5)421--440
bar, Multi-tilde-, 49(6)413--436
Baranov, Eduard, 57(6)761--800, 57(6)829--829
Baranov:2020:CEC, 57(6)761--800, 57(6)829--829
Baranov:2020:ECB, 57(6)761--800, 57(6)829--829
Barbuti, Roberto, 34(6)449--489, 40(5)317--347, 55(3)227--267
Barbuti:1997:ACM, 34(6)449--489
Barbuti:2004:TAU, 40(5)317--347
Barbuti:2018:GCR, 55(3)227--267
Barcucci, Elena, 40(8)585--602
Barcucci, Elena, see Bacchelli, Silvia
Barringer, H., 21(3)251--269
Barringer:1984:LCU, 21(3)251--269
Barstow, David R., 13(3)225--227
Barstow:1980:RSS, 11(1)1--30, 13(3)225--227, 26(1)19--23
Bartsch, B., 10(1)105--109
Bartsch:1978:CLG, 10(1)105--109
BarYehuda:1998:PSF, 35(5)421--440
base, 11(4)305--340, 14(1)39--62, 18(3)227--253, 38(9)599--619, 59(6)709--724
based, 6(3)227--249, 7(2)123--136, 7(2)167--182, 8(1)21--36, 8(1)37--59, 8(2)97--112, 8(4)303--314, 8(4)341--357, 8(4)359--370, 12(2)109--158, 13(4)299--324, 14(1)1--20, 15(1)83--98, 15(4)425--445, 16(2)161--197, 17(3)267--285, 18(3)319--334, 19(2)151--166, 21(3)293--320, 21(6)559--584, 24(1)57--77, 25(6)625--661, 26(1)59--91, 27(6)505--517, 28(6)539--558, 29(3)281--302, 29(8)779--791, 31(8)697--718, 34(4)291--324, 34(6)411--428, 34(8)597--635, 34(10)737--772, 41(7)475--524, 46(1)73--86, 56(5)433--446, 60(3)317--329, 61(4)415--444, 62(3)z--99999999
based, actor-, 54(4)343--378
based, Aggregation-, 58(3)177--194
based, attribute-, 54(5)521--541
based, Automata-, 47(1)1--31
based, Boolean-reasoning-, 59(6)673--685
Based, Category-, 33(5)477--510
Based, -, 21(6)559--584
Based, Combinator-, 24(6)653--678
based, combinator-, 28(6)559--574
based, component-, 57(6)761--800, 57(6)829--829
based, encoding-, 61(4)333--356
based, failure-, 51(8)499--552
based, formula-, 38(8)531--564
based, Identity-, 56(6)471--486
based, interpolation-, 29(4)335--373
based, interval-, 53(6)547--585
based, logic-, 35(6)457--504
based, message-, 60(2)145--178
Based, Net-, 34(1)23--57
based, pointer-, 22(2)171--186
based, programming-, 62(1)z--99999999
based, Session-, 59(1)1--87
based, SMT-, 57(3)627--656
Based, Tableau-, 27(8)725--747
based, trace-, 49(2)69--103
based, Trajectory-, 40(6)491--527
based, tree-, 35(9)775--793
based, Type-, 41(4)181--220, 42(4)291--347
Bashirov, Rza, 46(1)43--55
Bashirov:2009:ECP, 46(1)43--55
basic, 27(4)315--342, 29(8)689--736, 31(2)161--206, 31(5)399--430, 60(3)317--329
basically, 26(7)597--614
Basin, David, 55(4)309--338
Basin:2018:AMR, 55(4)309--338
basis, 4(2)145--182, 8(3)243--266, 32(2)117--144
Bastin, D., 4(1)49--53
Bastin, D., see Fayolle, Guy
batch, 12(4)285--303
Batch-Interactive, 7(2)153--166
Battyányi, Péter, 61(2)161--181, see Bagossy, Attila
Bauer, 52(4)299--301
Bauer, Friedrich L., 15(1)1--2, 25(2)111--153, 27(3)193--194, 39(3)141--142
Bauer, Günther, 21(5)521--540
Bauer:1981:KS, 15(1)1--2
Bauer:1984:FCR, 21(5)521--540
Bauer:1988:CEA, 25(2)111--153
Bauer:1989:MAP, 27(3)193--194
Bauer:2003:EWD, 39(3)141--142
Bause, Falko, 33(7)669--685
Bause:1996:APN, 33(7)669--685
Baxter, James, 59(1)125--162, 59(2)283--283
Baxter:2022:CSR, 59(1)125--162, 59(2)283--283
Baxter:2022:SRE, 59(1)125--162, 59(2)283--283
Bayer, Rudolf, 1(3)173--189, 1(4)290--306, 9(1)1--21, 21(1)1--28, 24(4)461--474
Bayer, Rudolf, see Kempf, M.
Bayer:1972:OML, 1(3)173--189
Bayer:1972:SBB, 1(4)290--306
Bayer:1977:COB, 9(1)1--21
Bayer:1984:DMS, 21(1)1--28
Bayesian, 54(2)217--242
Beauquier, Danièle, 24(4)433--445, 35(8)645--664
Beauquier, Joffroy, 13(3)257--268, 17(2)193--213, 21(2)209--227, 26(8)749--769, 31(3)235--260
Beauquier, Joffroy, see Autebert, Jean-Michel
Beauquier:1998:PMC, 35(8)645--664
Beautiful, 13(1)1--8
Bechtold, Michael, 22(1)1--14
Bechtold:1985:TSC, 22(1)1--14
Becker, Bernd, 24(4)363--380
Becker, M., 23(2)163--176
Becker:1986:ARP, 23(2)163--176
Becker:1987:ETO, 24(4)363--380
becomes, 5(4)297--332
Bedienzeit, 22(3)241--251
Bedienzeitunterbrechung, 23(4)465--486
been, 7(1)35--60, 8(2)153--175, 8(4)303--314, 26(4)349--362, 28(6)539--558, 29(3)281--302, 31(7)601--627
Begin, Laurent, Van, 44(3)249--288
\beginenumerate, 6(1)41--60, 8(2)145--152, 8(2)153--175
Behandlung, 16(1)45--56
behavior, 9(4)293--307, 17(1)101--120, 17(3)245--265, 26(5)439--471, 27(1)41--59, 49(1)15--28, 60(3)317--329
behavioral, 36(8)617--663
behaviour, 6(3)251--275, 7(2)123--136, 8(4)303--314, 8(4)359--370, 17(1)21--29, 22(6)595--627, 26(4)349--362, 26(5)439--471, 29(6)595--621, 43(5)307--330, 46(5)361--374, 56(5)405--431
behavioural, 31(7)651--671, 35(11)951--1005
behind, 31(2)161--206
Belaga, Edward G., 26(4)381--407
Belaga:1989:TMM, 26(4)381--407
Belmonte, Rémy, 51(7)473--497
Belmonte:2014:PCT, 51(7)473--497
below, 57(3)353--383
Belz, F. C., 6(2)109--131
Belz, F. C., see Anderson, E. R.
Ben-Amram, Amir M., 37(2)83--120, 40(2)81--94, 46(1)57--72
Ben-Amram:2000:CCP, 37(2)83--120
Ben-Amram:2003:EDO, 40(2)81--94
Ben-Amram:2009:CTR, 46(1)57--72
Ben-Ari, Mordechai, 10(2)117--125, 20(3)207--226
Ben-Ari:1978:IPS, 10(2)117--125
Ben-Ari:1983:TLB, 20(3)207--226
Benard, Mark, 14(4)317--335
Bender, Edward A., 24(4)475--489
Bender:1987:OWC, 24(4)475--489
Bendix, 28(2)95--119
Benes, Nikola, 52(2)269--297
Benes:2015:RCP, 52(2)269--297
Bengelloun, S. A., 23(2)119--125
Bengelloun:1986:IPS, 23(2)119--125
Bensch, Suna, 58(4)243--261
Bensch, Suna, see Ostovar, Ahmad
Benson, David B., 3(2)187--202, 13(2)199--204, 30(8)701--739, 32(6)545--596
Benson:1974:AMT, 3(2)187--202
Bentley, Jon Louis, 4(1)1--9, 13(2)155--168
Bentley, Jon Louis, see Finkel, Raphael A.
Bentley:1980:EWC, 13(2)155--168
Benzaken, Claude, 21(2)171--181
Bérard, Béatrice, 37(1)45--81
Berard:2000:AZW, 37(1)45--81
Berardini, M. R., Di, 43(2)73--130
Berardini, Maria Rita, Di, 46(3)209--235
Berechnung, 1(z)139--144, 1(z)320--335, 2(z)64--79
Berg, Mark T. de, 27(5)423--452
Berg, Mark T. de, see Overmars, Mark H.
Berger, Martin, 42(2)83--141
Berger:2005:GC, 42(2)83--141
Berghammer, Rudolf, 27(3)217--245, 45(3)211--236, 47(2)77--110
Berghammer, Rudolf, see Schmidt, Gunther
Berghammer:2008:ARA, 45(3)211--236
Berghammer:2010:EMS, 47(2)77--110
Bergstra, J. A., 44(7)525--569, 46(5)375--401, 49(3)139--172
Bergstra, Jan A., 19(1)97--113, 21(3)293--320, 44(2)75--90, 57(3)385--402
Bergstra:1983:SMS, 19(1)97--113
Bergstra:1984:ASP, 21(3)293--320
Bergstra:2007:DPP, 44(2)75--90
Bergstra:2007:SCE, 44(7)525--569
Bergstra:2009:MSO, 46(5)375--401
Bergstra:2012:ISP, 49(3)139--172
Bergstra:2020:ADT, 57(3)385--402
Bericht, 13(3)229--256
Berkman, Omer, 40(2)81--94
Berkman, Omer, see Ben-Amram, Amir M.
Berman, A. Michael, 27(7)665--683
Berman, Leonard, 15(2)141--145
Berman, Leonard, see Kou, L.
Berman:1990:PRL, 27(7)665--683
Bernabéu-Aubán, José M., 28(7)657--680
Bernabeu-Auban:1991:RFS, 28(7)657--680
Bernardeschi, Cinzia, 32(4)347--374
Bernardeschi:1995:PNS, 32(4)347--374
Bernardo, Marco, 52(1)61--106
Bernardo:2015:RBM, 52(1)61--106
Bernini, A., 52(7)573--592
Bernini, Antonio, 44(5)361--376
Bernini:2007:GEG, 44(5)361--376
Bernini:2015:GCO, 52(7)573--592
Bernot, Gilles, 31(7)651--671
Bernot:1994:BAA, 31(7)651--671
Bernoulli, 15(3)251--263
Bernstein, Cantor-, 35(12)1075--1096
Bernstein, Philip A., 14(3)195--220, 15(4)471--471
Bernstein, Philip A., see Casanova, Marco A.
Berry, Daniel M., 15(1)83--98, 21(6)599--627
Berry:1981:RRD, 8(2)97--112, 15(1)83--98
Berry:1985:DSS, 21(6)599--627
Bersani, Marcello M., 53(2)171--206
Bersani:2016:TDS, 53(2)171--206
Berstel, Jean, 3(3)293--295, 38(9)649--671
Berstel:1974:CG, 3(3)293--295
Berstel:2002:FPX, 38(9)649--671
Bertino, Elisa, 26(1)25--57, 48(1)51--66
Bertino, Elisa, see Kabir, Md. Enamul
Bertino:1988:CSI, 26(1)25--57
Bertol, Michael, 35(6)505--539
Bertol, Michael, see Ésik, Zoltán
Bertran, Miquel, 51(6)347--418
Bertran:2014:FCE, 51(6)347--418
Bertrand, Nathalie, 54(6)545--587
Bertrand, Nathalie, see Bohy, Aaron
Bertsch, Eberhard, 33(7)631--639
Bertsch:1996:OSR, 33(7)631--639
Berwanger, Dietmar, 55(8)669--701
Berwanger:2018:HIS, 55(8)669--701
Berzins, Valdis, 23(6)607--619
Berzins:1986:MSE, 23(6)607--619
Berztiss, A. T., 13(4)325--346
Berztiss:1980:DFT, 13(4)325--346
Besides, 8(3)243--266
Bessa, Iury, 57(1)223--244
Bessa, Iury, see Abate, Alessandro
best, 8(4)303--314, 16(3)363--370, 40(9)637--655
Best, Eike, 16(1)93--124, 21(1)89--100, 28(3)231--264, 35(10)813--857, 37(11)781--829, 46(3)237--254, 52(1)35--60, 52(2)133--152, 55(7)575--611
Best:1981:FMA, 16(1)93--124
Best:1984:FCS, 21(1)89--100
Best:1991:CBP, 28(3)231--264
Best:1998:NAH, 35(10)813--857
Best:2001:RPN, 37(11)781--829
Best:2009:DTF, 46(3)237--254
Best:2015:SRP, 52(1)35--60
Best:2015:SSA, 52(2)133--152
Best:2018:BCF, 55(7)575--611
Bethke, Inge, 44(2)75--90
Bethke, Inge, see Bergstra, Jan A.
better, 8(4)303--314
Betteridge, Terry, 3(2)101--122
Betteridge:1974:ASA, 3(2)101--122
Bettini, Lorenzo, 42(2)143--190, 50(2)77--122
Bettini:2005:MCM, 42(2)143--190
Bettini:2013:CTC, 50(2)77--122
Bevers, Eddy, 30(6)537--568
Bevers:1993:PTC, 30(6)537--568
Beynon, Meurig, 22(4)433--449
Beynon:1985:RCE, 22(4)433--449
beyond, 8(3)243--266, 26(7)615--642, 31(1)5--26
Bhattacharyya, Arnab, 58(1)57--93
Bhattacharyya:2021:FMA, 58(1)57--93
Bi-catenation, 35(8)689--707
bi-criterion, 40(4)303--315
bi-ideals, 49(2)105--115
Bialasik, Marcin, 36(5)375--403
Bialasik, Marcin, see Konikowska, Beata
Bicenters, 21(2)209--227
Bicentres, 21(2)209--227
bicluster, 59(6)673--685
bid, 8(4)341--357
Bidoit, Michel, 31(7)651--671, 35(11)951--1005
Bidoit, Michel, see Bernot, Gilles
Bidoit:1998:MCP, 35(11)951--1005
Biela, Andrzej, 25(4)439--473, 33(8)759--780
Biela:1988:PSA, 25(4)439--473
Biela:1996:RSL, 33(8)759--780
Bifaithful, 18(1)65--78
bifidèles, 18(1)65--78
bifix-free, cross-, 50(3)157--173
big, 53(4)327--356, 55(3)213--225
Bijection, 13(4)365--378
Bijlsma, A., 23(4)357--360, 26(5)409--419
Bijlsma, Lex, 35(12)1007--1036
Bijlsma:1986:EGM, 23(4)357--360
Bijlsma:1989:SPR, 26(5)409--419
Bijlsma:1998:DSP, 35(12)1007--1036
Bille, Philip, 59(6)709--724
Bille:2022:REM, 59(6)709--724
Bilodeau, Mark Benedict, 13(4)299--324
Bilodeau, Mark Benedict, see Franta, William R.
Bilotta, S., 52(7)573--592
Bilotta, S., see Bernini, A.
Bilotta, Stefano, 50(3)157--173
Bilotta:2013:ACB, 50(3)157--173
Bin, 9(3)263--271, 26(8)697--709, 39(2)97--117, 54(4)435--445
Bin-Packing, 22(3)333--345
binary, 1(1)14--25, 1(4)290--306, 1(z)307--310, 3(4)347--355, 4(4)293--298, 5(4)287--295, 9(2)23--29, 11(2)149--168, 11(4)341--362, 11(4)363--372, 12(1)63--72, 15(1)3--17, 18(3)255--263, 18(4)377--392, 20(2)121--132, 21(1)113--123, 21(2)183--192, 21(2)193--207, 22(1)101--114, 23(5)529--544, 24(5)583--594, 26(7)597--614, 28(2)165--178, 29(1)33--62, 29(1)95--107, 30(4)385--395, 30(5)405--407, 33(6)547--557, 34(4)245--256, 34(6)429--447, 35(1)1--15, 36(9)805--815, 41(2)99--110, 42(8)617--638, 43(8)521--533, 48(1)25--41, 49(1)53--54, 50(3)157--173, 52(6)483--495, 54(5)501--520, 59(6)673--685, 59(6)687--708, 62(1)z--99999999
binary, non-, 62(1)z--99999999
binder, 23(5)507--527, 24(2)211--237
bindercsp, 23(1)9--66
bio-inspired, 54(4)435--445
biochemical, 54(6)589--623
BIP, 57(6)761--800, 57(6)829--829
bipartite, 15(4)329--346, 34(5)337--346, 62(2)z--99999999
bipolar, 53(1)67--85
Bird, R. S., 21(3)239--250
Bird:1984:UCP, 21(3)239--250
Birkhoff--von, 62(1)z--99999999
birthday, 52(2)107--108, 58(4)451--462
bisimilarity, 39(6)469--499, 45(2)131--154, 52(1)61--106, 58(5)529--569, 59(2)211--244
bisimulation, 28(3)231--264, 33(1)69--97, 54(3)271--341, 55(6)461--488, 57(3)465--512, 57(3)689--725, 60(1)11--57
Biskup, Joachim, 10(3)297--305, 32(1)1--26, 39(6)391--449
Biskup:1978:CRM, 10(3)297--305
Biskup:1995:OSC, 32(1)1--26
Biskup:2003:AID, 39(6)391--449
Bisping, Benjamin, 57(3)439--463
Bisping:2020:CSF, 57(3)439--463
bit, 30(3)215--231
Bitopological, 58(5)571--584
Björklund, Henrik, 55(1)17--56
Björklund, Johanna, 58(3)177--194
Bjorklund:2018:CQC, 55(1)17--56
Bjorklund:2021:ABM, 58(3)177--194
Bjorner, Nikolaj, 55(6)459--460
Bjorner, Nikolaj, see Boer, Frank de
black, Red-, 56(5)391--404
black, red-, 38(8)565--586, 61(3)199--229
Black-White, 16(4)465--475
Blackboard, 32(5)415--458
Blanchet-Sadri, F., 48(1)25--41, 49(1)53--54
Blanchet-Sadri:2011:ABP, 48(1)25--41, 49(1)53--54
Blanchet-Sadri:2012:EAB, 48(1)25--41, 49(1)53--54
Blankinship, 13(4)379--382
B{\l}a{\.{z}}ewicz, J., 24(5)513--524
Blazewicz:1987:MMF, 24(5)513--524
Blikle, Andrzej, 16(2)199--217
Blikle:1981:CTI, 16(2)199--217
Bliudze, Simon, 57(3)627--656, 57(6)761--800, 57(6)829--829
Bliudze, Simon, see Baranov, Eduard, see Qin, Xudong
Bliznets, Ivan, 62(2)z--99999999
Bliznets:2025:EPA, 62(2)z--99999999
Bloch-Hansen, Andrew, 62(2)z--99999999
Bloch-Hansen:2025:TOP, 62(2)z--99999999
block, 8(2)153--175, 30(5)425--439, 36(4)257--266
blocking, 8(2)153--175, 15(1)19--66, 26(6)559--576
Bloem, Roderick, 51(3)193--220, 57(1)1--1
Bloem:2014:SRS, 51(3)193--220
Bloem:2020:PS, 57(1)1--1
Blondel, Vincent D., 35(1)1--15
Blondel:1998:SNP, 35(1)1--15
Blum, 8(3)267--283
Blum, E. K., 6(2)109--131
Blum, E. K., see Anderson, E. R.
Blum, Norbert, 17(4)425--433, 21(2)171--181, 23(2)217--221
Blum:1982:PCR, 17(4)425--433
Blum:1984:CAO, 21(2)171--181
Boasson, Luc, 2(z)180--188, 2(z)383--393, 17(2)193--213, 21(2)209--227, 38(9)649--671
Boasson, Luc, see Autebert, Jean-Michel, see Berstel, Jean
Boasson:1973:DFL, 2(z)180--188
Boasson:1973:FLT, 2(z)383--393
Bobot, François, 62(3)z--99999999, see Ait-El-Hara, Hichem Rami
Böckenhauer, Hans-Joachim, 59(4)427--450
Bockenhauer:2022:RPP, 59(4)427--450
Bodeveix, Jean-Paul, 55(5)363--400
Bodeveix, Jean-Paul, see Fares, Elie
body, 6(1)41--60, 8(2)145--152
Boekhorst, J. C. A., 3(1)1--23
Boekhorst, J. C. A., see Gelenbe, Erol
Boer, Frank de, 54(4)343--378, 55(6)459--460
Boer, Frank de, see Jaghoori, Mohammad Mahdi
Bogaard, Marie van den, 55(8)669--701
Bogaard, Marie van den, see Berwanger, Dietmar
Bohy, Aaron, 54(6)545--587
Bohy:2017:SAM, 54(6)545--587
Bolch, G., 10(1)105--109
Bolch, G., see Bartsch, B.
Bollman, Dorothy, 12(3)227--243, 21(6)643--674
Bonakdarpour, Borzoo, 57(1)271--304, 62(3)z--99999999
Bonakdarpour, Borzoo, see Hsu, Tzu-Han, see Mirzaie, Nahal
Bonchi, Filippo, 54(2)127--190
Bonchi:2017:GAC, 54(2)127--190
Bonner, Anthony J., 36(7)511--544
Bonner:2000:QSD, 36(7)511--544
Bonnet, Édouard, 55(1)1--15
Bonnet:2018:SSA, 55(1)1--15
Bono, Viviana, 42(2)143--190
Bono, Viviana, see Bettini, Lorenzo
Bonsma, Paul, 56(7)619--648
Bonsma:2019:UCS, 56(7)619--648
book, 34(10)737--772
Book, Ronald V., 6(1)89--94, 9(2)171--181, 12(2)177--185, 23(1)99--110, 23(6)679--688
Book, Ronald V., see Balcázar, José L.
Book:1976:INA, 6(1)89--94
Book:1978:CFG, 9(2)171--181
Book:1979:LAS, 12(2)177--185
Boole'sche, 2(z)172--179
boolean, 2(z)172--179, 4(2)107--116, 4(4)311--319, 4(4)321--336, 8(4)303--314, 10(2)117--125, 11(1)61--70, 11(1)71--77, 12(3)227--243, 12(4)371--375, 13(2)109--114, 14(3)257--269, 15(2)147--152, 15(3)303--307, 19(2)183--194, 20(1)103--111, 22(4)433--449, 26(4)381--407, 32(2)171--187, 44(3)167--189, 45(3)177--191, 46(2)155--168, 50(1)15--39
Boolean-reasoning-based, 59(6)673--685
Boolesche, 4(4)321--336
Boom, Hendrik, 9(2)105--119
Boom, Hendrik, see Hansen, Wilfried J.
Booth, Kellogg S., 11(1)61--70, 15(4)319--328
Booth, Kellogg S., see Adleman, Leonard M.
Booth:1981:CEA, 15(4)319--328
Bordered, 23(3)245--253
bordered, pseudo-, 54(4)379--398
borderenergetic, 61(2)115--129
Bordihn, Henning, 43(4)223--242, 58(4)263--279, 58(4)301--318
Bordihn:2006:PGT, 43(4)223--242
Bordihn:2021:NAS, 58(4)301--318
Bordihn:2021:RPC, 58(4)263--279
Boreale, Michele, 35(5)353--400
Boreale:1998:FAS, 35(5)353--400
Börger, Egon, 15(3)303--307, 53(5)469--492, see Anderaa, Stal O.
Borger:2016:CAS, 53(5)469--492
bornés, 11(3)233--240
Borowczyk, Jakub, 33(8)759--780
Borowczyk, Jakub, see Biela, Andrzej
Borsotti, Angelo, 46(8)549--559, 55(7)547--574, 58(3)195--229
Borsotti, Angelo, see Aycock, John
Borsotti:2018:FDP, 55(7)547--574
Borsotti:2021:DPA, 58(3)195--229
Bos, Jan van den, 28(6)511--538
both, 7(2)137--152, 8(1)21--36, 8(4)359--370, 17(3)245--265, 20(4)345--369, 26(4)349--362, 29(8)689--736
bottom, 1(2)115--138
bottom-up, 8(2)193--199, 46(8)561--590
Bottoni, Paolo, 38(10)695--720
Bottoni:2002:MSP, 38(10)695--720
Bouchet, P., 11(4)305--340
Bouchet:1979:PRS, 11(4)305--340
Bougé, Luc, 25(2)179--201
Bouge:1988:ESA, 25(2)179--201
bound, 1(z)307--310, 1(z)311--319, 3(3)203--216, 3(4)347--355, 8(1)21--36, 11(1)61--70, 12(1)33--61, 13(2)109--114, 18(2)207--225, 19(2)183--194, 19(4)385--395, 22(1)101--114, 22(2)229--240, 22(3)333--345, 24(2)121--130, 26(4)349--362, 26(5)473--484, 26(7)643--655, 27(5)453--480, 27(7)665--683, 28(6)593--601, 29(6)579--594, 30(3)215--231, 31(7)629--650, 34(5)325--335, 36(6)425--446, 37(3)193--211, 39(6)469--499, 43(6)419--429, 48(1)43--50, 55(1)81--88, 60(2)123--144, 62(1)z--99999999, 62(3)z--99999999
Bound, Branch-and-, 4(4)311--319
boundary, 23(3)289--309, 37(9)619--632, 62(2)z--99999999
Boundary, Right-, 25(2)203--231
bounded, 8(4)371--382, 10(1)67--78, 11(3)233--240, 16(2)139--160, 22(4)379--395, 23(5)529--544, 25(5)475--496, 30(4)369--384, 31(4)341--378, 32(3)189--207, 33(3)233--254, 39(6)501--516, 43(4)265--292, 48(2)67--96, 55(7)575--611
Bounded, -, 16(2)139--160
Bounded, Communication-, 31(4)315--327
bounded, Linear-, 58(1)95--152
bounded, reversal-, 55(2)153--189
Bounded, Space-, 12(2)177--185
bounded, space-, 33(7)621--630
bounded, time-, 8(2)177--192, 48(5)291--315
Bounded-Iteration, 28(7)631--656
Boundedly, 7(3)289--303, 31(3)261--283
boundedness, 57(6)801--827
bounds-to-circuit-size, lower-, 26(4)381--407
Bouwman, Mark, 57(3)551--590
Bouwman:2020:SAA, 57(3)551--590
Bouyer, Patricia, 55(2)91--127
Bouyer:2018:AEG, 55(2)91--127
Bovet, Daniel P., 28(5)453--461
Bovet:1991:MDS, 28(5)453--461
box, 32(4)313--345, 37(8)597--618, 38(6)409--436
box, Gray-, 62(3)z--99999999
boxed, 42(6)429--500
Boxma, Onno J., 15(1)19--66
Boxma:1981:AAE, 15(1)19--66
Boyar, Joan, 40(1)3--35, 47(7)359--374
Boyar:2003:EAF, 40(1)3--35
Boyar:2010:TCL, 47(7)359--374
Bozapalidis, Symeon, 28(4)351--363, 31(3)235--260, 41(1)19--61, 42(8)553--581, 45(1)1--31, 49(1)29--52
Bozapalidis:1991:ECS, 28(4)351--363
Bozapalidis:1994:TFF, 31(3)235--260
Bozapalidis:2004:AG, 41(1)19--61
Bozapalidis:2006:RGP, 42(8)553--581
Bozapalidis:2008:PD, 45(1)1--31
Bozapalidis:2012:EWT, 49(1)29--52
Bozzelli, Laura, 46(1)1--28, 49(4)249--279, 51(1)25--49
Bozzelli:2009:DLM, 46(1)1--28
Bozzelli:2012:TAS, 49(4)249--279
Bozzelli:2014:VRE, 51(1)25--49
BPA, 36(3)233--256
BPP, 36(3)233--256, 58(5)529--569
Bracket-Closed, 2(z)383--393
Branch-and-Bound, 4(4)311--319
branching, 20(3)207--226, 24(3)277--298, 28(6)575--591, 57(3)689--725
branching-time, 57(3)513--550, 58(6)677--677, 60(4)385--451
Brand, Horst von, 26(6)559--576
Brand, Horst von, see Akyildiz, Ian F.
Brand, Michael, 49(7)485--491
Brand:2012:DIA, 49(7)485--491
Brandwajn, A., 4(1)11--47, 6(4)365--386
Brandwajn:1974:MTS, 4(1)11--47
Brandwajn:1976:MVM, 6(4)365--386
Brázdil, Tomás, 45(2)131--154, 49(4)203--224, see Baier, Christel
Brazdil:2008:DPB, 45(2)131--154
Breakdown, 26(7)679--696
Breitbart, Yuri, 4(2)107--116, 4(4)311--319
Breitbart:1975:AFE, 4(2)107--116
Breitbart:1975:BBA, 4(4)311--319
Brenguier, Romain, 54(1)41--83
Brenguier:2017:AAS, 54(1)41--83
Bresolin, Davide, 46(5)331--360, 53(6)545--546
Bresolin:2009:TUP, 46(5)331--360
Bresolin:2016:SIS, 53(6)545--546
Breveglieri, Luca, 55(7)547--574, 58(3)195--229
Breveglieri, Luca, see Borsotti, Angelo
Brihaye, Thomas, 54(1)85--125
Brihaye:2017:PIA, 54(1)85--125
Brijder, Robert, 45(5)383--402
Brijder:2008:FRR, 45(5)383--402
Brim, Lubos, 54(6)589--623
Brim, Lubos, see Ceska, Milan
Brinch, 1(z)375--376
bringing, 8(4)341--357
brings, 24(1)57--77
Brink, Chris, 34(9)701--735
Brisaboa, Nieves R., 34(7)557--578, 38(7)489--529, 43(5)341--370
Brisaboa, Nieves R., see Paramá, José R., see Penabad, Miguel R.
Brisaboa:1997:TBC, 34(7)557--578
Brlek, Srecko, 42(8)603--616
Brlek:2006:NUR, 42(8)603--616
BRNGLR, 44(6)427--461
broadcast, 4(1)49--53, 41(2)65--81
Brodal, Gerth St{\o}lting, 41(4)273--291
Brodal:2005:FAD, 41(4)273--291
Bromley, Allan G., 14(2)107--117
Bromley:1980:MFB, 14(2)107--117
Broutin, N., 45(4)237--277
Broutin:2008:WHR, 45(4)237--277
Brown, Cynthia A., 14(4)299--315, 15(2)99--113, 15(2)115--127
Brown, Cynthia A., see Purdom, Jr., Paul Walton
Brown, Donna J., 18(2)207--225
Brown:1982:LBL, 18(2)207--225
Broy, Manfred, 18(1)47--64, 20(1)1--33, 23(1)9--66, 24(5)491--511, 25(3)283--303, 30(2)103--129, 35(2)131--165, 37(4)227--228, 39(3)141--142, 52(4)299--301
Broy, Manfred, see Bauer, Friedrich L., see Wirsing, Martin
Broy:1982:PAT, 18(1)47--64
Broy:2001:ELE, 37(4)227--228
Broy:2015:LDI, 52(4)299--301
Brucker, Achim D., 46(4)255--284
Brucker:2009:SCA, 46(4)255--284
Bruijn, 62(1)z--z
Bruin, Arie de, 15(4)385--424
Bruni, Roberto, 52(1)5--33
Bruni:2015:RCC, 52(1)5--33
Bruno, John, 22(2)139--148, 26(7)679--696, 32(3)271--284, 34(12)881--904
Bruno, John, see Adiri, Igal, see Krishnaswamy, Vasudha
Bruno, John L., 22(3)333--345
Bruno:1985:PBD, 22(3)333--345
Bruno:1985:STE, 22(2)139--148
Bruno:1997:OFT, 34(12)881--904
Bruyère, Véronique, 54(6)545--587, see Bohy, Aaron
Bruynooghe, Maurice, 37(10)765--780
Bruynooghe, Maurice, see Ramon, Jan
Btrees, 1(3)173--189
Bublitz, Siegfried, 23(6)689--696
Bublitz:1986:DGM, 23(6)689--696
Bucher, W., 20(2)133--142, 23(3)245--253
Bucher:1983:TSS, 20(2)133--142
Bucher:1986:RTD, 23(3)245--253
Buchheim, Christoph, 40(8)603--607
Buchheim, Christoph, see Akkerman, Thorsten
Buchholz, Thomas, 35(4)329--352
Buchholz:1998:TCF, 35(4)329--352
Buchsbaum, Adam L., 32(3)255--270
Buchsbaum:1995:LSS, 32(3)255--270
bucket, 26(4)349--362, 26(7)597--614, 34(9)687--700, 36(9)735--760, 38(11)813--838, 41(1)63--63
Buckle, John, 30(8)773--785
Buckle:1993:CMJ, 30(8)773--785
Budd, Timothy A., 18(1)31--45
Budd:1982:TNC, 18(1)31--45
buddy, 14(2)107--117, 22(4)451--473, 24(5)555--564, 41(4)273--291
budget, 8(4)341--357
Buffer, 18(2)117--134, 30(2)131--146
buffering, 27(3)195--215
build, 14(2)135--155, 21(3)239--250
building, 37(2)121--144
building, specification-, 29(8)689--736
Bulychev, Peter, 51(3)165--192
Bulychev:2014:ECS, 51(3)165--192
Bulyonkov, Mikhail A., 21(5)473--484
Bulyonkov:1984:PMC, 21(5)473--484
bunches, 37(8)541--561
bundle, 42(6)389--418
Büning, Hans Kleine, 13(3)269--285
Buning:1980:UAI, 13(3)269--285
Bunkenburg, Alexander, 37(8)541--561
Bunkenburg, Alexander, see Morris, Joseph M.
burden, 8(3)201--220
Burjons, Elisabet, 59(4)427--450
Burjons, Elisabet, see Böckenhauer, Hans-Joachim
Burnetas, Apostolos, 34(9)687--700
Burnetas:1997:AIE, 34(9)687--700
Burrieza, Alfredo, 39(2)71--96
Burrieza:2003:FAT, 39(2)71--96
BURS, 34(8)597--635
Burstall, Rod M., 6(1)41--60, 18(2)181--206
Burstall, Rod M., see Darlington, John L., see Pettorossi, Alberto
Burton, Warren, 12(2)95--108
Burton:1979:GRD, 12(2)95--108
Bury, Guillaume, 62(3)z--99999999
Bury, Guillaume, see Ait-El-Hara, Hichem Rami
Bussche, Jan, Van den, 30(5)489--502, 35(8)637--643, 42(1)43--56, 43(6)371--393, 58(1)35--56
Butler, Michael, 35(11)921--949
Butler, Michael, see Back, Ralph-Johan
Büttner, Markus, 42(1)21--42
Buttner:2005:EPC, 42(1)21--42
Buy, Ugo A., 33(7)687--706
Buy, Ugo A., see Sloan, Robert H.
Buzen, Jeffrey P., 7(2)167--182
Buzen:1976:FOL, 7(2)167--182
Byzantine, 54(5)501--520