Index file section B for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
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
-
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
-
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, 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, 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
-
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
-
bipolar, 53(1)67--85
-
Bird, R. S., 21(3)239--250
-
Bird:1984:UCP, 21(3)239--250
-
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
-
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
-
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
-
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
-
Bonakdarpour, Borzoo, 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
-
Bound, Branch-and-, 4(4)311--319
-
boundary, 23(3)289--309, 37(9)619--632
-
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
-
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
-
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
-
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