Index file section B for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
B
-
B, 313(3)539--543
-
Baake, Michael, 292(1)9--31
-
Baake, Michael, see Allouche, Jean-Paul
-
Baca, David, Fernández-, 297(1)183--198
-
Bach, Eric, 235(1)3--23, 296(1)15--25
-
Bach, Eric, see Cai, Jin-Yi
-
Bach:2000:TDS, 235(1)3--23
-
Bachrach, Ran, Gilad-, 284(1)25--51
-
backtrack, 270(1)309--324, 320(2)345--372
-
backtranslation, 322(2)297--312
-
backups, 285(1)43--53
-
Baeza-Yates, R., 299(1)231--271
-
Baeza-Yates:2003:FAS, 299(1)231--271
-
Bagnara, Roberto, 277(1)3--46
-
Bagnara:2002:SSR, 277(1)3--46
-
Bahncard, 268(1)161--174
-
Bai, Zheng-Jian, 315(2)309--318
-
Bai:2004:IEC, 315(2)309--318
-
Baier, Christel, 254(1)501--542
-
Baier, Christel, see Katoen, Joost-Pieter
-
Bailey, James, 311(1)389--437
-
Bailey:2004:DTP, 311(1)389--437
-
Baillot, Patrick, 318(1)29--55, 328(3)289--323
-
Baillot:2004:SCS, 318(1)29--55
-
Baillot:2004:TIL, 328(3)289--323
-
Bailly, F., 319(1)71--81
-
Bailly, F., see Destainville, N.
-
Baïou, Mourad, 322(2)245--265
-
Baiou:2004:SAF, 322(2)245--265
-
Bajard, Jean-Claude, 291(2)133--134
-
Bajard, Jean-Claude, see Kornerup, Peter
-
Bakel, Steffen van, 272(1)3--40, 290(1)975--1019
-
Bakker, Bart, 287(1)219--238
-
Bakker, Bart, see Heskes, Tom
-
Bakker, J. W. de, 240(1)3--47
-
Bakker, J. W. de, see Bonsangue, M. M.
-
Balance, 273(1)197--224, 307(1)47--75
-
balanced, 282(2)303--318, 310(1)247--271, 314(1)97--120
-
balanced, Load-, 289(1)313--334
-
balancing, 270(1)325--340
-
Balcázar, José L., 288(2)197--215
-
Balcazar:2002:CDD, 288(2)197--215
-
Baldan, P., 323(1)129--189
-
Baldan, Paolo, 290(1)599--635
-
Baldan, Paolo, see Alessi, Fabio
-
Baldan:2004:DES, 323(1)129--189
-
Baldari, C. T., 325(1)111--140
-
Baldari, C. T., see Curti, M.
-
Baldwin, John T., 230(1)117--129
-
Baldwin:2000:CCA, 230(1)117--129
-
Balinski, Michel, 322(2)245--265
-
Balinski, Michel, see Baïou, Mourad
-
Balogh, Emese, 283(1)223--242
-
Balogh, Emese, see Kuba, Attila
-
Balogh, József, 306(1)69--84
-
Balogh:2003:PCU, 306(1)69--84
-
Bampis, Evripidis, 290(3)1883--1895, 306(1)319--338, 310(1)135--146
-
Bampis, Evripidis, see Angel, Eric
-
Bampis:2002:AAP, 290(3)1883--1895
-
Banach, 261(1)81--90
-
Bancomat, 291(1)103--131
-
banded-system, 289(1)313--334
-
Banderier, Cyril, 281(1)37--80
-
Banderier:2002:BAC, 281(1)37--80
-
bandwidth, 235(1)25--42, 249(2)357--368, 301(1)491--498, 307(3)567--572
-
bandwidth, edge-, 307(3)503--513
-
Banerjee, R. N., 318(3)435--470
-
Banerjee:2004:GIL, 318(3)435--470
-
Bar-Ilan, Judit, 233(1)247--261, 250(1)179--200
-
Bar-Ilan, Judit, see Aumann, Yonatan
-
Bar-Ilan:2001:GSC, 250(1)179--200
-
Barbanchon, R. Régis, 319(1)455--482
-
Barbanchon:2004:UGC, 319(1)455--482
-
Barbanera, Franco, 272(1)3--40, 290(1)407--428
-
Barbanera, Franco, see Bakel, Steffen van
-
Barbanera:2002:FCM, 290(1)407--428
-
Barbé, A., 259(1)379--403, 289(1)105--136, 325(2)171--214
-
Barbe:2001:DIS, 259(1)379--403
-
Barbe:2002:SDI, 289(1)105--136
-
Barbe:2004:PMH, 325(2)171--214
-
Barcucci, E., 255(1)679--686
-
Barcucci, Elena, 307(2)219--220
-
Barcucci:2001:SLR, 255(1)679--686
-
Barcucci:2003:P, 307(2)219--220
-
Barel, M. Marc, Van, 315(2)581--592
-
Barge, Marcy, 301(1)439--450
-
Barge:2003:AOP, 301(1)439--450
-
Barneva, R. P. Reneta P., 319(1)203--227
-
Barneva, R. P. Reneta P., see Brimkov, Valentin E.
-
Barneva, Reneta P., 246(1)73--105, 283(1)151--170
-
Barneva, Reneta P., see Brimkov, Valentin E.
-
Barneva:2000:TDT, 246(1)73--105
-
Barrett, Chris, 295(1)41--64
-
Barrett:2003:RPS, 295(1)41--64
-
Barrière, Lali, 264(1)53--64
-
Barriere:2001:GCR, 264(1)53--64
-
Bartal, Yair, 268(1)43--66, 324(2)313--324, 324(2)337--345
-
Bartal, Yair, see Awerbuch, Baruch
-
Bartal:2001:PMO, 268(1)43--66
-
Bartal:2004:CRW, 324(2)337--345
-
Bartels, Falk, 327(1)3--22
-
Bartels:2004:HPS, 327(1)3--22
-
Barth, Dominique, 297(1)119--143
-
Barth, Dominique, see Corteel, Sylvie
-
Bartha, Miklós, 299(1)179--210
-
Bartha:2003:SEC, 299(1)179--210
-
Barthe, Gilles, 266(1)773--818, 269(1)317--361
-
Barthe:2001:IPP, 266(1)773--818
-
Barthe:2001:WNI, 269(1)317--361
-
Bartlett, Peter L., 284(1)53--66
-
Bartlett:2002:HRN, 284(1)53--66
-
base, 263(1)37--46, 276(1)1--15, 292(1)221--235, 326(1)241--260
-
based, 230(1)235--245, 231(2)275--296, 238(1)439--464, 241(1)37--50,
254(1)63--94, 262(1)257--267, 287(1)209--217, 289(1)69--83,
292(2)447--464, 298(1)5--19, 300(1)301--329, 303(2)491--516,
305(1)299--310, 316(1)3--23, 321(2)371--382
-
based, constraint-, 258(1)299--392
-
based, constructor-, 298(3)471--510
-
based, Continuation-, 240(1)117--146
-
based, grammar-, 302(1)211--222
-
based, instance-, 298(1)207--233
-
based, Linda-, 238(1)389--437
-
based, M-, 300(1)161--179
-
based, Petri-net-, 328(3)245--269
-
based, point-, 310(1)479--488
-
based, product-, 315(2)469--510
-
based, similarity-, 275(1)389--426
-
based, Tree-, 246(1)1--51, 262(1)377--414
-
based, wavelet-, 240(2)447--469
-
basic, 266(1)311--339, 266(1)605--630, 281(1)37--80, 283(1)67--108,
329(1)159--176
-
Basin, David, 252(1)217--256, 300(1)301--329
-
Basin, David, see Ayari, Abdelwaheb,
see Frank, Ian
-
basis, 235(1)43--57, 270(1)625--642, 293(1)169--188, 315(2)419--452,
319(1)423--439
-
Basten, T., 270(1)125--203
-
Basten, T., see Aalst, W. M. P. van der
-
batch, 320(2)199--212
-
batching, 306(1)319--338
-
Battista, Giuseppe Di, 289(2)897--917
-
Battista:2002:EPP, 289(2)897--917
-
Bauderon, Michel, 266(1)463--487
-
Bauderon:2001:NRG, 266(1)463--487
-
Bauer, Andrej, 315(1)35--59
-
Bauer:2004:ES, 315(1)35--59
-
Baum, Eric B., 270(1)895--911
-
Baum, Eric B., see Flake, Gary William
-
Baumgartner, Robert, 289(1)591--627
-
Baumgartner:2002:PDL, 289(1)591--627
-
Bayes, 292(2)417--430
-
Bayesian, neural-, 287(1)219--238
-
Bazgan, Cristina, 263(1)255--261
-
Bazgan:2001:PVT, 263(1)255--261
-
Bazzi, Rida A., 243(1)243--268
-
Bazzi:2000:PQ, 243(1)243--268
-
BB'IW-logic, 318(3)373--408
-
BC, 241(1)115--141
-
BDDs, 253(1)95--118
-
Beal, Donald F., 252(1)105--119
-
Béal, M.-P. Marie-Pierre, 320(2)395--418
-
Béal, Marie-Pierre, 289(1)225--251, 292(1)45--63
-
Beal:2001:TDL, 252(1)105--119
-
Beal:2002:DTF, 289(1)225--251
-
Beal:2003:STE, 292(1)45--63
-
Beal:2004:AVG, 320(2)395--418
-
Beauquier, Danièle, 275(1)347--388, 281(1)81--97, 292(1)65--84,
303(1)1--1, 303(1)3--5, 303(2)417--430
-
Beauquier:2002:DVR, 275(1)347--388
-
Beauquier:2002:GT, 281(1)81--97
-
Beauquier:2003:BS, 303(1)3--5
-
Beauquier:2003:CUP, 303(2)417--430
-
Beauquier:2003:F, 303(1)1--1
-
Beauquier:2003:PTA, 292(1)65--84
-
beaver, 326(1)45--56
-
Becchetti, Luca, 270(1)341--359, 287(2)429--448, 324(2)325--335
-
Becchetti:2002:AAR, 287(2)429--448
-
Becchetti:2002:DEA, 270(1)341--359
-
Becchetti:2004:SCS, 324(2)325--335
-
Becher, Verónica, 270(1)947--958, 322(1)85--136
-
Becher:2002:ECA, 270(1)947--958
-
Becher:2004:RTP, 322(1)85--136
-
Becker, Ronald, 282(2)353--380
-
Becker:2002:SAC, 282(2)353--380
-
Beckmann, Arnold, 288(1)3--19
-
Beckmann:2002:NE, 288(1)3--19
-
Beenker, Ammann-, 319(1)241--279
-
behaved, Well-, 311(1)463--478, 322(1)5--16
-
behavior, 231(1)113--128, 270(1)525--560, 297(1)425--445, 303(1)63--81,
328(3)245--269
-
Behavioral, 327(1)197--221
-
behaviour, 242(1)71--89, 266(1)159--193
-
behavioural, 308(1)1--53, 316(1)49--74, 322(3)615--669
-
Beigel, Richard, 320(2)373--394
-
Beigel, Richard, see Dahllöf, Vilhelm
-
Bein, Wolfgang W., 289(1)335--354
-
Bein:2002:SPP, 289(1)335--354
-
being, 315(2)469--510
-
Belaga, E. G., 263(1)123--137
-
Belaga:2001:MAT, 263(1)123--137
-
Bellantoni, S., 318(1)57--78
-
Bellantoni:2004:SNA, 318(1)57--78
-
Beltiukov, Anatoly Petrivich, 322(1)17--39
-
Beltiukov:2004:SIS, 322(1)17--39
-
Ben-David, Shai, 284(1)53--66
-
Ben-David, Shai, see Bartlett, Peter L.
-
Ben-Hur, Asa, 320(2)449--464
-
Ben-Hur:2004:PAA, 320(2)449--464
-
Bender, Michael A., 321(1)5--12
-
Bender:2004:LAP, 321(1)5--12
-
Bendix, Knuth-, 269(1)433--450
-
Benhamdine, Amel, Harkat-, 263(1)255--261
-
Bennett, Adam, Prügel-, 320(1)135--153
-
Benzinger, R. Ralph, 318(1)79--103
-
Benzinger:2004:AHO, 318(1)79--103
-
Berardi, S., 315(1)3--34
-
Berardi, Stefano, 290(1)407--428
-
Berardi, Stefano, see Barbanera, Franco
-
Berardi:2004:BCW, 315(1)3--34
-
Berarducci, 298(2)275--302
-
Béraud, Jean-François, 246(1)151--194,
see Arquès, Didier
-
Berger, Ulrich, 318(1)3--27
-
Berger, Ulrich, see Aehlig, Klaus
-
Bergeron, Anne, 313(1)3--16, 320(2)395--418
-
Bergeron, Anne, see Béal, M.-P. Marie-Pierre
-
Bergeron:2004:CDB, 313(1)3--16
-
Bergman, Clifford, 270(1)591--608
-
Bergman:2002:CCS, 270(1)591--608
-
Bergstra, Jan A., 269(1)203--229, 309(1)313--355
-
Bergstra:2001:NRI, 269(1)203--229
-
Bergstra:2003:BTO, 309(1)313--355
-
Berline, C., 315(1)3--34
-
Berline, C., see Berardi, S.
-
Berline, Chantal, 249(1)81--161
-
Berline:2000:CFF, 249(1)81--161
-
Berman, Kenneth A., 240(2)487--494
-
Berman, Kenneth A., see Annexstein, Fred S.
-
Bermond, Jean-Claude, 233(1)165--189, 291(1)3--28
-
Bermond:2000:ECC, 233(1)165--189
-
Bermond:2002:DVP, 291(1)3--28
-
Bernardinello, Luca, 290(1)637--668
-
Bernardinello:2002:AMO, 290(1)637--668
-
Bernardo, Marco, 202(1)1--54, 254(1)691--694, 290(1)117--160
-
Bernardo:1998:TET, 202(1)1--54, 254(1)691--694
-
Bernardo:2001:CTE, 202(1)1--54, 254(1)691--694
-
Bernardo:2002:PMS, 290(1)117--160
-
Bernhard, Pierre, 293(1)25--44
-
Bernhard:2003:MFV, 293(1)25--44
-
Bernholt, Thorsten, 326(1)383--398
-
Bernholt:2004:CCM, 326(1)383--398
-
Bernoulli, 273(1)143--165
-
Bernstein--Bezoutian, 315(2)319--333
-
Berrizbeitia, Pedro, 297(1)25--36
-
Berrizbeitia:2003:PTN, 297(1)25--36
-
Berry, Vincent, 240(2)271--298
-
Berry:2000:IET, 240(2)271--298
-
Berstel, 292(1)3--7, 292(1)85--96
-
Berstel, Jean, 273(1)47--67, 281(1)99--107
-
Berstel:2002:CRI, 281(1)99--107
-
Berstel:2002:SFU, 273(1)47--67
-
Bertet, Karell, 304(1)249--268
-
Bertet:2003:WOE, 304(1)249--268
-
Berthé, Valérie, 273(1)197--224, 319(1)145--176,
319(1)177--202, see Arnoux, Pierre
-
Berthe:2002:BPM, 273(1)197--224
-
Berthe:2004:LMD, 319(1)177--202
-
Berthiaume, A. André, 320(2)213--228
-
Berthiaume, André, 292(3)573--573
-
Berthiaume:2003:F, 292(3)573--573
-
Berthiaume:2004:BFS, 320(2)213--228
-
Bertolazzi, Paola, 270(1)341--359
-
Bertolazzi, Paola, see Becchetti, Luca
-
Bertoni, Alberto, 262(1)69--81, 302(1)431--456
-
Bertoni:2001:ADB, 262(1)69--81
-
Bertoni:2003:NOS, 302(1)431--456
-
Bertossi, Leopoldo, 296(3)405--434
-
Bertossi, Leopoldo, see Arenas, Marcelo
-
Bertran, Miquel, 253(1)1--1
-
Bertran:2001:P, 253(1)1--1
-
Bertrand, Gilles, 283(1)1
-
Bertrand, Yves, 234(1)233--254
-
Bertrand, Yves, see Françon, Jean
-
Bertrand:2002:P, 283(1)1
-
Besicovitch, 301(1)341--354
-
Besnard, Ph, 238(1)489--494
-
Besnard:2000:WNC, 238(1)489--494
-
Besozzi, D., 296(2)253--267
-
Besozzi:2003:GPS, 296(2)253--267
-
best, 261(1)179--209, 288(2)217--235, 292(2)465--479, 315(2)469--510,
324(2)361--380
-
best-first, 252(1)121--149
-
beta-integers, 303(2)491--516
-
beta-lattices, 319(1)281--305
-
better, 306(1)305--317
-
Better-quasi-orderings, 309(1)111--123
-
Beyer, Hans-Georg, 287(1)101--130, 289(1)629--647
-
Beyer, Hans-Georg, see Arnold, Dirk V.
-
Beyer:2002:HAE, 287(1)101--130
-
beyond, 280(1)163--192, 315(2)405--417
-
Bezoutian, Bernstein-, 315(2)319--333
-
Bezrukov, S., 320(2)155--174
-
Bezrukov, Sergei L., 307(3)473--492
-
Bezrukov:2003:EIP, 307(3)473--492
-
Bezrukov:2004:NSL, 320(2)155--174
-
BFS, Lex-, 234(1)59--84
-
Bhatia, Randeep, 296(3)511--534
-
Bhatia, Randeep, see Sinha, Rakesh K.
-
BI, 315(1)257--305
-
bi-decoding, 306(1)123--137
-
bi-infinite, 273(1)35--46, 292(1)237--243
-
bibliography, 285(2)121--154
-
bicolored, 319(1)447--454
-
bicomponent, 327(3)269--300
-
bicriteria, 306(1)319--338, 310(1)135--146
-
Bideterministic, 328(1)135--149
-
bidimensional, 292(1)245--262, 299(1)123--150
-
bidirected, 235(2)339--356
-
bidirectional, 267(1)131--140
-
bidirectionality, 295(1)295--321
-
Bidoit, Michel, 286(2)153--196, 298(3)471--510
-
Bidoit, Michel, see Astesiano, Egidio
-
Bidoit:2003:OLC, 298(3)471--510
-
Biedl, Therese, 302(1)475--480, 310(1)287--307
-
Biedl:2003:PRU, 302(1)475--480
-
Biedl:2004:FHI, 310(1)287--307
-
Bienvenüe, Alexis, 306(1)269--289
-
Bienvenue:2003:GCE, 306(1)269--289
-
Bigotte, M., 273(1)271--282
-
Bigotte:2002:LWS, 273(1)271--282
-
Biham, Eli, 320(1)15--33
-
Biham:2004:QCE, 320(1)15--33
-
bijection, 307(2)319--325, 307(2)385--401
-
Bijections, 307(2)403--413
-
bijective, 307(2)277--302, 307(2)327--335
-
Bilateral, 299(1)775--783
-
bin, 289(2)939--952, 306(1)543--551
-
bin-stretching, 268(1)17--41
-
binary, 235(2)283--308, 249(2)325--342, 250(1)235--245, 259(1)679--688,
262(1)133--144, 265(1)265--283, 270(1)913--919, 271(1)69--95,
273(1)249--261, 276(1)183--204, 276(1)435--444, 283(1)67--108,
285(1)73--88, 287(1)167--185, 289(1)355--399, 289(1)649--703,
291(2)159--182, 291(2)183--201, 297(1)425--445, 302(1)93--121,
310(1)273--285, 314(1)189--216, 319(1)307--331, 319(1)441--446,
326(1)409--418, 328(1)161--170, 329(1)47--70
-
binding, 327(1)155--174
-
binding-time, 248(1)3--27
-
Bini, D. A., 315(2)319--333
-
Bini:2004:BBM, 315(2)319--333
-
binoid, 304(1)291--313, 312(2)251--266
-
bio-operations, 306(1)19--38, 320(1)51--69
-
BioAmbients, 325(1)141--167
-
biochemical, 325(1)45--67, 325(1)111--140
-
biographie, 281(1)3--23
-
biography, 281(1)3--23, 303(1)3--5
-
biological, 263(1)263--274, 293(1)189--217, 325(1)141--167
-
biology, 325(1)69--110
-
biology-inspired, 312(2)295--319
-
biomolecular, 287(1)39--58, 325(1)25--44
-
bipartite, 245(2)281--294, 263(1)47--58, 263(1)345--354, 270(1)361--399,
292(3)589--596, 293(1)13--24, 303(2)333--351
-
Birget, J.-C., 242(1)247--281
-
Birget, Jean-Camille, 237(1)81--104, 259(1)323--339
-
Birget, Jean-Camille, see Hong, Dawei
-
Birget:2000:PCP, 242(1)247--281
-
Birget:2000:RFP, 237(1)81--104
-
Birkedal, Lars, 258(1)299--392, 315(1)35--59, 316(1)1--2
-
Birkedal, Lars, see Bauer, Andrej
-
Birkedal:2001:CBR, 258(1)299--392
-
Birkedal:2004:P, 316(1)1--2
-
Birkhoff, 266(1)853--886
-
Bischof, Stefan, 268(1)67--90
-
Bischof:2001:LSP, 268(1)67--90
-
bisection, 307(3)531--547, 320(2)155--174
-
bisimilarity, 238(1)313--345, 270(1)677--700
-
bisimilarity-checking, 304(1)157--183
-
bisimulation, 238(1)81--130, 254(1)95--149, 266(1)569--603,
274(1)183--230, 275(1)1--68, 309(1)313--355, 311(1)221--256,
323(1)1--48, 325(1)45--67
-
bisimulation-like, 258(1)409--433
-
bit, 263(1)139--143, 291(2)159--182, 315(2)405--417, 321(1)149--170
-
bit-vector, 313(1)3--16
-
Bittner, Todd, 320(2)213--228
-
Bittner, Todd, see Berthiaume, A. André
-
bivariate, 295(1)65--83
-
Björklund, Henrik, 310(1)365--378
-
Bjorklund:2004:MDP, 310(1)365--378
-
Bj{\o}rner, Nikolaj S., 253(1)27--60
-
Bjorner:2001:DVR, 253(1)27--60
-
Björnsson, Yngvi, 252(1)177--196
-
Bjornsson:2001:MCP, 252(1)177--196
-
black, 317(1)1--11
-
black, red-, 262(1)415--435
-
Blair, Jean R. S., 250(1)125--141
-
Blair:2001:PAM, 250(1)125--141
-
Blanchet, Bruno, 298(3)387--415
-
Blanchet, Bruno, see Abadi, Martín
-
Blanchet-Sadri, F., 270(1)401--419, 289(1)297--312, 314(1)189--216,
329(1)177--202
-
Blanchet-Sadri:2002:CPW, 289(1)297--312
-
Blanchet-Sadri:2002:PWT, 270(1)401--419
-
Blanchet-Sadri:2004:COP, 329(1)177--202
-
Blanchet-Sadri:2004:LPB, 314(1)189--216
-
Blanck, J., 284(2)207--240
-
Blanck, Jens, 247(1)229--255
-
Blanck:2000:DRT, 247(1)229--255
-
Blanck:2002:DRP, 284(2)207--240
-
Blanqui, Frédéric, 272(1)41--68, 817(z)81--82
-
Blanqui:2002:IDT, 272(1)41--68, 817(z)81--82
-
Blanqui:2020:CID, 272(1)41--68, 817(z)81--82
-
Bläser, Markus, 284(2)199--206, 295(1)65--83
-
Blaser:2002:UCC, 284(2)199--206
-
Blaser:2003:CBP, 295(1)65--83
-
BLL-like, 318(1)121--137
-
block, 248(1)243--287, 262(1)145--160, 321(1)95--101
-
blocking, 292(3)653--665
-
Blondel, V. D. Vincent D., 319(1)127--143
-
Blondel, V. D. Vincent D., see Delvenne, Jean-Charles
-
Blondel, Vincent D., 255(1)687--696, 289(1)573--590
-
Blondel:2001:DSM, 255(1)687--696
-
Blondel:2002:PPC, 289(1)573--590
-
Bloom, Stephen L., 259(1)533--548
-
Bloom:2001:LWT, 259(1)533--548
-
Blum, Avrim, 235(1)25--42, 324(2)137--146
-
Blum, Norbert, 267(1)49--59
-
Blum:2000:SDR, 235(1)25--42
-
Blum:2001:PLL, 267(1)49--59
-
Blum:2004:OLO, 324(2)137--146
-
Blundo, Carlo, 250(1)143--161, 320(2)269--291
-
Blundo, Carlo, see Ateniese, Giuseppe
-
Blundo:2004:BCU, 320(2)269--291
-
board, 286(1)v--ix, 287(1)v--ix, 288(1)v--ix, 289(1)v--ix, 290(1)v--ix,
291(1)v--ix, 292(1)v--ix, 293(1)v--ix, 294(1)v--ix, 295(1)v--ix,
296(1)v--ix, 297(1)v--ix, 298(1)v--ix, 299(1)v--ix, 300(1)v--ix,
301(1)v--ix, 302(1)v--ix, 303(1)v--ix, 304(1)v--ix, 305(1)v--ix,
306(1)v--x, 307(1)v--x, 308(1)v--x, 309(1)v--x, 310(1)v--x,
311(1)v--x, 312(1)v--x, 313(1)v--ix, 314(1)v--ix, 315(1)v--ix,
316(1)v--ix, 317(1)v--ix, 318(1)v--ix, 319(1)v--ix, 320(1)v--ix,
321(1)v--ix, 322(1)v--ix, 323(1)v--ix, 324(1)v--ix, 325(1)v--ix,
326(1)v--ix, 327(1)v--ix, 328(1)v--ix, 329(1)v--ix
-
Boasson, Luc, 273(1)47--67
-
Boasson, Luc, see Berstel, Jean
-
Boccara, Nino, 325(2)285--316
-
Boccara, Nino, see Moreira, Andrés
-
Böckenhauer, Hans-Joachim, 264(1)65--90, 285(1)3--24,
326(1)137--153
-
Bockenhauer:2001:CTW, 264(1)65--90
-
Bockenhauer:2002:TNS, 285(1)3--24
-
Bockenhauer:2004:HCM, 326(1)137--153
-
Bockmayr, Alexander, 325(1)3--24
-
Bockmayr, Alexander, see Eveillard, Damien
-
Bodei, Chiara, 283(2)271--304
-
Bodei:2002:PAP, 283(2)271--304
-
Bodini, Olivier, 319(1)59--70
-
Bodini:2004:TTC, 319(1)59--70
-
Bodlaender, Hans L., 244(1)167--188
-
Bodlaender:2000:HPP, 244(1)167--188
-
body, 255(1)555--568
-
body, -, 255(1)555--568
-
Boer, F. S. de, 274(1)3--41
-
Bogdanovi{\'c}, Stojan, 324(1)87--105,
see Petkovi{\'c}, Tatjana
-
Böhm, 308(1)333--366
-
Boigelot, Bernard, 309(1)413--468, 313(1)17--29
-
Boigelot:2003:ILT, 309(1)413--468
-
Boigelot:2004:CSP, 313(1)17--29
-
Boja{\'n}czyk, Miko{\l}aj, 298(3)511--528
-
Bojanczyk:2003:FGP, 298(3)511--528
-
Boldi, Paolo, 231(2)143--156, 282(2)259--270
-
Boldi:2000:TCA, 231(2)143--156
-
Boldi:2002:MJ, 282(2)259--270
-
Boliac, R., 301(1)271--284
-
Boliac:2003:IDF, 301(1)271--284
-
Bollobás, Béla, 307(3)493--502
-
Bollobas:2003:US, 307(3)493--502
-
Bompadre, A., 315(2)335--369
-
Bompadre:2004:PES, 315(2)335--369
-
Bongartz, Dirk, 326(1)137--153
-
Bongartz, Dirk, see Böckenhauer, Hans-Joachim
-
Bongiovanni, Giancarlo, 285(1)1
-
Bongiovanni:2002:F, 285(1)1
-
Bonichon, Nicolas, 307(2)241--256
-
Bonichon:2003:WUR, 307(2)241--256
-
Bonis, Annalisa De, 259(1)493--511, 306(1)223--243, 314(3)351--374
-
Bonis:2001:EAC, 259(1)493--511
-
Bonis:2003:CGS, 306(1)223--243
-
Bonis:2004:RSS, 314(3)351--374
-
Bonizzoni, Paola, 259(1)63--79, 259(1)341--357
-
Bonizzoni:2001:CMS, 259(1)63--79
-
Bonizzoni:2001:NPS, 259(1)341--357
-
Bonsangue, M. M., 240(1)3--47
-
Bonsangue:2000:TSS, 240(1)3--47
-
boolean, 235(1)43--57, 237(1)197--212, 239(1)165--185, 244(1)189--203,
261(2)305--321, 262(1)37--68, 262(1)633--647, 266(1)543--567,
270(1)493--524, 270(1)609--623, 276(1)133--146, 278(1)91--110,
293(2)321--343, 297(1)281--295, 298(1)235--251, 300(1)301--329,
301(1)45--78, 312(2)321--335, 314(1)287--292, 321(1)149--170,
325(3)373--390
-
boosting, 292(2)447--464
-
Borchert, Bernd, 262(1)501--523
-
Borchert:2001:DO, 262(1)501--523
-
Bordihn, Henning, 314(3)445--449
-
Bordihn:2004:CFP, 314(3)445--449
-
Boreale, Michele, 238(1)313--345, 266(1)237--248
-
Boreale:2000:CAB, 238(1)313--345
-
Boreale:2001:DTR, 266(1)237--248
-
Borel, 257(1)85--105, 299(1)327--346
-
boring, 249(2)343--355
-
Bornat, Richard, 298(3)557--581
-
Bornat, Richard, see Calcagno, Cristiano
-
Bornstein, C. F. Claudson F., 321(1)13--24
-
Bornstein:2004:FM, 321(1)13--24
-
Borovanský, Peter, 285(2)155--185
-
Borovansky:2002:ERL, 285(2)155--185
-
Borzyszkowski, Tomasz, 286(2)197--245
-
Borzyszkowski:2002:LSS, 286(2)197--245
-
Bose, Prosenjit, 324(2)273--288
-
Bose:2004:COR, 324(2)273--288
-
Bostan, Alin, 329(1)223--235
-
Bostan:2004:CME, 329(1)223--235
-
both, 279(1)3--27, 315(2)469--510
-
bottleneck, 237(1)429--437
-
Bouajjani, Ahmed, 256(1)1--2, 295(1)85--106
-
Bouajjani:2001:P, 256(1)1--2
-
Bouajjani:2003:AVR, 295(1)85--106
-
Bouchitté, Vincent, 276(1)17--32
-
Bouchitte:2002:LAP, 276(1)17--32
-
Boudol, Gérard, 234(1)309--321, 281(1)109--130
-
Boudol:2000:SCN, 234(1)309--321
-
Boudol:2002:NCP, 281(1)109--130
-
Bouhoula, Adel, 236(1)35--132, 275(1)675--698
-
Bouhoula:2000:SPM, 236(1)35--132
-
Bouhoula:2002:OPR, 275(1)675--698
-
Boullier, P., 293(2)391--416
-
Boullier:2003:CRC, 293(2)391--416
-
bound, 47(2)149--158, 233(1)19--32, 233(1)247--261, 235(2)219--223,
237(1)327--345, 237(1)485--494, 238(1)347--362, 241(1)25--35,
242(1)377--401, 245(2)281--294, 255(1)107--123, 259(1)577--596,
259(1)613--622, 261(2)323--328, 265(1)147--157, 265(1)159--185,
265(1)187--197, 268(1)3--16, 276(1)425--434, 276(1)435--444,
279(1)83--95, 282(1)191--219, 284(1)3--24, 288(1)153--180,
288(2)237--254, 289(1)871--876, 292(3)589--596, 295(1)27--39,
296(1)89--98, 299(1)439--450, 299(1)537--584, 303(1)233--243,
307(3)531--547, 310(1)61--77, 310(1)479--488, 312(1)75--97,
315(2)405--417, 315(2)469--510, 320(2)155--174, 320(2)269--291,
321(1)103--123, 321(2)371--382, 326(1)1--28
-
boundary, 237(1)213--238, 263(1)113--121
-
boundary, Min-max-, 261(2)253--266
-
bounded, 231(2)193--203, 234(1)85--107, 237(1)33--55, 250(1)101--124,
261(1)81--90, 276(1)205--219, 282(2)285--302, 290(1)221--239,
295(1)263--278, 296(1)15--25, 303(2)353--374, 303(2)539--552,
321(2)347--370, 322(1)5--16, 322(1)41--67
-
bounded, -, 322(1)41--67
-
bounded, Leftmove-, 237(1)183--195
-
bounded, resource-, 234(1)273--286, 255(1)205--221,
292(3)723--732
-
bounded, space-, 259(1)475--492
-
Bounded-connect, 313(1)73--91
-
bounded-width, 237(1)347--380, 241(1)83--114
-
boundedness, 311(1)165--197, 329(1)47--70
-
Bounding, 249(2)357--368, 320(2)213--228
-
Bourgade, Ménard, 270(1)205--222
-
Bourgade:2002:CSL, 270(1)205--222
-
Bournez, Olivier, 255(1)687--696
-
Bournez, Olivier, see Blondel, Vincent D.
-
Bousquet, Michel, 307(2)277--302
-
Bousquet-Mélou, Mireille, 307(2)257--276
-
Bousquet-Melou:2003:WCQ, 307(2)257--276
-
Bousquet:2003:TBP, 307(2)277--302
-
Bouyer, Patricia, 300(1)411--475, 321(2)291--345
-
Bouyer, Patricia, see Aceto, Luca
-
Bouyer:2004:UTA, 321(2)291--345
-
box, 246(1)53--72
-
Boyar, Joan, 235(1)43--57
-
Boyar:2000:MCB, 235(1)43--57
-
Boyer--Moore, 290(1)59--78
-
Boykett, Tim, 325(2)215--247
-
Boykett:2004:EEL, 325(2)215--247
-
BPA, 270(1)677--700
-
BPP, 244(1)283--288, 264(1)127--137, 270(1)677--700
-
branch, 244(1)135--165, 255(1)107--123, 279(1)3--27
-
branching, 238(1)347--362, 264(1)127--137, 274(1)117--149,
289(2)1009--1026, 309(1)313--355, 328(1)53--75
-
branching-time, 297(1)297--315
-
Brandstädt, Andreas, 310(1)329--354
-
Brandstadt:2004:TSC, 310(1)329--354
-
Branlant, Christiane, 325(1)3--24
-
Branlant, Christiane, see Eveillard, Damien
-
Brass, Stefan, 258(1)523--553
-
Brass:2001:ESD, 258(1)523--553
-
Brassard, Gilles, 320(1)15--33
-
Brassard, Gilles, see Biham, Eli
-
Brattka, Vasco, 284(2)241--257, 305(1)17--42, 305(1)43--76,
326(1)187--211
-
Brattka, Vasco, see Ziegler, Martin
-
Brattka:2002:TPR, 284(2)241--257
-
Brattka:2003:CSM, 305(1)43--76
-
Brattka:2003:RQM, 305(1)17--42
-
Bravetti, M., 290(1)355--406
-
Bravetti, Mario, 282(1)5--32, 290(1)117--160
-
Bravetti, Mario, see Bernardo, Marco
-
Bravetti:2002:DTG, 290(1)355--406
-
Bravetti:2002:TIG, 282(1)5--32
-
breadth-first, 250(1)201--217
-
Breaking, 299(1)495--508
-
breaking--preserving, 313(3)427--446
-
Brejová, Brov{\v{n}}a, 310(1)287--307,
see Biedl, Therese
-
Brenneman, Arwen, 287(1)39--58
-
Brenneman:2002:SDB, 287(1)39--58
-
Breugel, Franck van, 258(1)1--98
-
Breuker, D. M., 230(1)195--206
-
Breuker, Dennis M., 252(1)121--149
-
Breuker:2000:SD, 230(1)195--206
-
Breuker:2001:SGP, 252(1)121--149
-
brève, 281(1)3--23
-
bridge, 294(3)439--471, 315(2)405--417
-
Bridges, D. S., 305(1)473--489
-
Bridges, D. S., see Vî, L. S.
-
Bridges, Douglas S., 284(2)259--267
-
Bridges:2002:KSC, 284(2)259--267
-
brief, 281(1)3--23
-
Brier, 261(1)57--79
-
Brimkov, Valentin E., 237(1)263--273, 246(1)73--105, 283(1)151--170,
319(1)203--227
-
Brimkov, Valentin E., see Apostolico, Alberto,
see Barneva, Reneta P.
-
Brimkov:2002:GPL, 283(1)151--170
-
Brimkov:2004:CDP, 319(1)203--227
-
Bringsjord, Selmer, 317(1)167--190
-
Bringsjord:2004:MAH, 317(1)167--190
-
Brit, Hagit, 289(1)401--423
-
Brit:2002:PDS, 289(1)401--423
-
Brlek, S., 302(1)167--178
-
Brlek, Sre{\v{c}}ko, 292(1)85--96
-
Brlek:2003:NDP, 302(1)167--178
-
Brlek:2003:VRS, 292(1)85--96
-
broadcast, 245(2)203--216, 269(1)1--21, 289(1)51--67, 291(1)79--101,
299(1)751--761, 302(1)337--364, 325(3)479--488
-
broadcasting, 287(2)449--471
-
Broda, Sabine, 247(1)277--290, 318(3)373--408
-
Broda:2000:PTC, 247(1)277--290
-
Broda:2004:DFB, 318(3)373--408
-
Brodal, Gerth St{\o}ting, 250(1)235--245
-
Brodal:2001:CNB, 250(1)235--245
-
Brönnimann, Hervé, 321(1)25--40
-
Bronnimann:2004:SEP, 321(1)25--40
-
Brookes, Stephen, 278(1)1--2
-
Brookes:2002:F, 278(1)1--2
-
Brooks, Stephen, 278(1)23
-
Brooks:2002:D, 278(1)23
-
Brown, Tom C., 273(1)5--9
-
Brown:2002:ASS, 273(1)5--9
-
Brownian, 297(1)317--336
-
Broy, Manfred, 239(1)3--40, 253(1)3--26, 258(1)99--129
-
Broy:2000:ASR, 239(1)3--40
-
Broy:2001:ASP, 258(1)99--129
-
Broy:2001:RT, 253(1)3--26
-
Brückner, Bernd, Krieg-, 286(2)153--196
-
Brueggemann, Tobias, 329(1)303--313
-
Brueggemann:2004:IDL, 329(1)303--313
-
Bruijn, 263(1)173--189
-
Bruin, Arie de, 252(1)197--215
-
Bruin, Arie de, see Pijls, Wim
-
Brunetti, Sara, 304(1)35--57
-
Brunetti:2003:ARC, 304(1)35--57
-
Bruni, Roberto, 281(1)131--176, 286(2)247--292
-
Bruni:2002:DCC, 281(1)131--176
-
Bruni:2002:NFA, 286(2)247--292
-
Bruyère, Véronique, 292(1)97--109
-
Bruyere:2003:CD, 292(1)97--109
-
Brzozowski, J. A., 231(1)113--128, 245(1)3--25
-
Brzozowski:2000:AAB, 231(1)113--128
-
Brzozowski:2000:DIT, 245(1)3--25
-
Bshouty, Nader H., 288(2)255--275
-
Bshouty:2002:PLN, 288(2)255--275
-
BSS, 231(2)253--273
-
Bucalo, Anna, 294(1)31--60
-
Bucalo:2003:ENL, 294(1)31--60
-
Bucciarelli, Antonio, 278(1)91--110
-
Bucciarelli:2002:RDB, 278(1)91--110
-
Büchi, 297(1)37--81
-
Buchsbaum, Adam L., 299(1)707--718
-
Buchsbaum:2003:FCN, 299(1)707--718
-
buffer, 262(1)257--267, 324(2)161--182
-
Buhrman, Harry, 235(1)59--70, 288(1)21--43
-
Buhrman:2000:NAI, 235(1)59--70
-
Buhrman:2002:CMD, 288(1)21--43
-
build, 315(1)83--107
-
Building, 315(1)3--34
-
Bujosa, A., 318(3)435--470
-
Bujosa, A., see Banerjee, R. N.
-
Bultan, Tevfik, 289(1)165--189, 313(1)57--71, 328(1)19--37
-
Bultan, Tevfik, see Dang, Zhe, \see{Fu, Xiang,
see Ibarra, Oscar H.
-
Bunder, M. W., 232(1)165--186
-
Bunder:2000:PFA, 232(1)165--186
-
bundles, 283(2)333--380
-
Bundy, Alan, 252(1)45--82
-
Bundy, Alan, see Willmott, Steven
-
Bunimovich, L. A., 306(1)195--221
-
Bunimovich:2003:LGC, 306(1)195--221
-
Burago, D., 315(2)371--404
-
Burago:2004:ASP, 315(2)371--404
-
Burckel, Serge, 314(1)287--292
-
Burckel:2004:SCL, 314(1)287--292
-
Burdick, Bruce S., 275(1)69--77
-
Burdick:2002:NID, 275(1)69--77
-
Burgin, Mark, 317(1)1--11, 317(1)31--60, 317(1)71--91
-
Burgin:2004:ACR, 317(1)31--60
-
Burgin:2004:EGL, 317(1)71--91
-
Burgin:2004:TAS, 317(1)1--11
-
Bürgisser, Peter, 235(1)71--88
-
Burgisser:2000:CVV, 235(1)71--88
-
Burgueño, Augusto, 300(1)411--475, see Aceto, Luca
-
Busch, Costas, 270(1)811--826
-
Busch:2002:TCI, 270(1)811--826
-
buses, 261(2)227--239
-
Busi, N., 323(1)129--189
-
Busi, N., see Baldan, P.
-
Busi, Nadia, 240(1)49--90, 275(1)127--177, 298(3)529--556,
322(3)477--515
-
Busi:2000:CTS, 240(1)49--90
-
Busi:2002:AIP, 275(1)127--177
-
Busi:2003:EDC, 298(3)529--556
-
Busi:2004:EPM, 322(3)477--515
-
Buss, Jonathan F., 302(1)475--480
-
Buss, Jonathan F., see Biedl, Therese
-
Bussche, Jan, Van den, 254(1)363--377, 296(3)377--377
-
busy, 326(1)45--56
-
Butkovic, P., 293(1)3--12
-
Butkovic, P., see Cuninghame-Green, R. A.
-
Butman, Ayelet, 314(1)173--187
-
Butman, Ayelet, see Amir, Amihood
-
by-name, call-, 234(1)309--321
-
by-value, call-, 272(1)197--221, 290(1)429--463
-
bytecode, 298(3)583--626
-
Byzantine, 299(1)289--306