Index file section B for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
B
-
B-graphs, 197(1)247--z--2
-
{B}-graphs, 197(1)247--z--2
-
B-tree, 168(1)21--38
-
B., 141(1)329--330
-
B0210, 156(1)301--313, 162(2)173--223, 176(1)347--353, 187(1)3--6,
187(1)7--25, 187(1)27--48, 187(1)49--79, 187(1)167--178
-
B0220, 144(1)59--65, 187(1)3--6, 187(1)7--25, 187(1)27--48, 187(1)49--79
-
B0230, 144(1)101--124
-
B0240C, 144(1)277--314, 155(1)141--156
-
B0240E, 137(2)253--268, 141(1)133--150, 143(1)93--112, 143(2)319--333,
148(1)111--119, 156(1)263--280, 157(2)161--183, 157(2)215--225,
159(1)137--142, 163(1)99--116, 164(1)253--276, 172(1)121--134,
174(1)97--121, 174(1)247--249, 180(1)1--15, 182(1)217--232,
191(1)157--171, 197(1)203--234, 197(1)241--z
-
B0240Z, 152(2)171--217, 159(1)65--79
-
B0250, 141(1)133--150, 141(1)351--355, 143(1)93--112, 144(1)3--58,
144(1)67--99, 144(1)161--197, 144(1)277--314, 148(1)121--132,
148(1)165--170, 152(2)305--320, 153(1)129--170, 153(1)171--210,
153(1)245--270, 154(2)165--181, 156(1)263--280, 159(1)29--42,
172(1)121--134, 174(1)97--121, 176(1)347--353, 178(1)103--118,
181(1)181--194, 187(1)49--79, 187(1)167--178, 188(1)231--240,
191(1)157--171
-
B0260, 157(2)215--225
-
B0290F, 143(1)167--174, 157(1)3--33, 157(1)53--77, 157(1)129--136,
168(1)3--19, 187(1)87--104, 197(1)111--138
-
B0290H, 156(1)301--313, 157(1)3--33, 180(1)61--80, 197(1)111--138
-
B0290P, 144(1)59--65, 157(1)3--33, 157(1)79--90, 187(1)87--104
-
B0290Z, 144(1)3--58, 144(1)101--124
-
B1265B, 141(1)283--310, 188(1)117--128
-
B2570, 197(1)171--188
-
B4180, 194(1)123--136
-
B6120B, 144(1)161--197, 145(1)345--355, 147(1)165--180, 148(2)227--260,
154(2)283--306, 163(1)145--160, 163(1)259--267, 164(1)223--252,
165(2)407--440, 181(2)337--345, 182(1)245--256, 188(1)231--240,
197(1)246--z
-
B6140C, 152(2)171--217, 154(2)165--181, 163(1)117--144, 163(1)303--308,
178(1)129--154, 186(1)1--41
-
B6150C, 178(1)103--118, 185(2)347--377, 194(1)123--136
-
B6150M, 149(1)179--199, 157(2)139--159, 177(2)425--458, 177(2)459--486,
178(1)103--118
-
B6150P, 185(2)347--377
-
B6210L, 145(1)95--109, 147(1)69--85, 177(2)425--458, 178(1)103--118,
196(1)31--44, 196(1)45--70
-
B6260, 196(1)153--180
-
Baader, Franz, 142(2)229--255, 192(1)107--161
-
Baader:1995:CTD, 142(2)229--255
-
Baader:1998:CCS, 192(1)107--161
-
Baaz, Matthias, 160(1)241--270, 224(1)3--11
-
Baaz:1996:CFO, 160(1)241--270
-
Baaz:1999:NGC, 224(1)3--11
-
Baca, David, Fernández-, 181(1)57--74
-
background, 217(2)215--233
-
Backhouse, Roland, 179(1)103--135
-
Backhouse, Roland, see Doornbos, Henk
-
Backofen, Rolf, 146(1)243--268
-
Backofen:1995:CRF, 146(1)243--268
-
backward, 140(1)53--71, 165(2)475--482, 173(1)49--87
-
Badouel, Eric, 186(1)107--134
-
Badouel:1997:SPE, 186(1)107--134
-
Baeten, J. C. M., 177(2)381--405
-
Baeten:1997:PAP, 177(2)381--405
-
Baeza-Yates, Ricardo, 181(1)1--2
-
Baeza-Yates, Ricardo A., 168(1)21--38
-
Baeza-Yates:1996:BDE, 168(1)21--38
-
Baeza-Yates:1997:P, 181(1)1--2
-
Bafna, Vineet, 182(1)233--244
-
Bafna:1997:AAM, 182(1)233--244
-
bag, 196(1)319--345
-
Baier, Christel, 170(1)145--171, 179(1)217--250
-
Baier, Christel, see Majster-Cederbaum, Mila E.
-
Baier, Herbert, 207(1)89--104
-
Baier:1997:TS, 179(1)217--250
-
Baier:1998:BQA, 207(1)89--104
-
Baire, 147(1)137--147, 154(2)307--327
-
Bakel, Steffen van, 151(2)385--435
-
Baker, Brenda S., 162(2)225--243
-
Baker:1996:MES, 162(2)225--243
-
balancing, 220(1)247--265
-
balancing;, load-, 162(2)225--243
-
Balcázar, José L., 207(1)217--244
-
Balcazar:1998:SLA, 207(1)217--244
-
Baldan, Paolo, 146(1)311--320, 193(1)113--127
-
Baldan, Paolo, see Alessi, Fabio
-
Baldoni, Roberto, 193(1)97--112
-
Baldoni, Roberto, see Manabe, Yoshifumi
-
balistique., 187(1)263--284
-
ball, epsilon-, 193(1)1--51
-
ballistics, 187(1)263--284
-
Bampis, E., 147(1)1--18
-
Bampis, Evripidis, 162(2)323--340
-
Bampis, Evripidis, see Finta, Lucian
-
Bampis:1995:OPE, 147(1)1--18
-
Banach, 197(1)244--z, 219(1)169--184, 227(1)275--297
-
Banach, R., 152(2)305--320, 194(1)240--z
-
Banach:1995:LCD, 152(2)305--320
-
Banach:1998:DRA, 194(1)240--z
-
bananas, 169(1)113--121
-
banded, 156(1)301--313, 201(1)275--279
-
Bandini, Stefania, 217(1)99--113
-
Bandini:1999:MCA, 217(1)99--113
-
Barbanera, Franco, 170(1)173--207
-
Barbanera:1996:ITA, 170(1)173--207
-
barbed, 192(2)167--199, 195(2)155--182, 195(2)291--324
-
barbed-equivalent, 195(2)205--226
-
Barcucci, Elena, 155(2)321--347, 159(1)29--42, 159(1)129--136,
218(2)219--232
-
Barcucci:1996:DPP, 159(1)29--42
-
Barcucci:1996:PDT, 159(1)129--136
-
Barcucci:1996:RCP, 155(2)321--347
-
Barcucci:1999:RGT, 218(2)219--232
-
Barendregt, 173(2)349--391
-
Barendsen, E., 194(1)240--z--1
-
Barendsen:1998:DSU, 194(1)240--z--1
-
Barr, Michael, 139(1)115--130
-
Barr:1995:NAC, 139(1)115--130
-
Bartal, Yair, 221(1)19--39
-
Bartal:1999:LRA, 221(1)19--39
-
Barthélemy, François, 199(1)167--198,
see Clergerie, Eric Villemonte de la
-
Barthelmann, K., 194(1)246--247
-
Barthelmann, K., see Schied, G.
-
Barthelmann, Klaus, 200(1)1--44
-
Barthelmann:1998:NOF, 200(1)1--44
-
Barua, Rana, 154(2)349--366, 197(1)111--138
-
Barua, Rana, see Sarkar, Palash
-
Barua:1996:GGT, 154(2)349--366
-
Basart, J. M., 225(1)171--176
-
Basart:1999:SCC, 225(1)171--176
-
base, 144(1)3--58, 159(2)319--341, 159(2)355--356, 163(1)161--176,
168(2)267--301, 171(1)147--177, 181(2)337--345, 187(1)167--178,
187(1)179--202, 193(1)215--244, 201(1)233--248, 225(1)177--184,
226(1)45--59
-
base-k, 163(1)193--210
-
based, 138(2)425--454, 140(1)73--94, 142(2)209--227, 163(1)161--176,
171(1)77--109, 171(1)111--146, 171(1)147--177, 173(1)253--281,
176(1)111--158, 183(2)253--279, 190(2)317--361, 192(2)167--199,
194(1)246--z--1, 195(2)155--182, 207(1)131--157, 207(1)193--201,
209(1)163--178, 226(1)19--27, 226(1)117--142
-
based, assumption-, 171(1)221--246
-
based, calculus-, 192(2)287--314
-
based, Case-, 137(1)25--51
-
based, case-, 137(1)25--51, 171(1)221--246, 185(1)15--45
-
based, constraint-, 146(1)243--268
-
based, Entailment-, 192(2)259--286
-
based, entailment-, 192(2)259--286
-
based, information-, 219(1)451--465
-
based, logic-, 190(2)241--277
-
based, name-, 192(2)201--231
-
based, object-, 140(1)179--199, 149(1)49--66, 149(1)179--199,
192(2)287--314
-
based, observation-, 151(2)437--486
-
based, prefix-, 193(1)113--127
-
based, process-, 192(2)287--314
-
based, process-calculus-, 192(2)287--314
-
based, quorum-, 193(1)97--112
-
based, recursion-, 167(1)193--233
-
based, reduction-, 151(2)437--486
-
based, refinement-, 166(1)1--47
-
based, Resolution-, 194(1)183--205
-
based, {RSA}-, 226(1)173--184
-
based, semantic-, 168(1)53--103
-
based, set-, 155(1)111--140
-
based, state-, 183(2)253--279
-
based, system-, 179(1)217--250
-
based, term-, 152(1)139--169
-
based, Time-, 216(1)1--53
-
based, timestamp-, 149(1)151--178
-
based, transaction-, 190(2)115--149
-
based, window-, 186(1)43--81
-
basic, 145(1)189--228, 162(1)45--77, 163(1)1--54, 179(1)301--317,
192(1)55--75, 205(1)307--316
-
basis, 157(1)79--90, 159(1)105--128, 159(2)355--356, 161(1)69--92,
165(1)133--169, 166(1)203--219, 172(1)303--308, 187(1)179--202
-
Bassino, Frédérique, 180(1)61--80, 221(1)41--60
-
Bassino:1997:NCM, 180(1)61--80
-
Bassino:1999:ESL, 221(1)41--60
-
Bauderon, M., 194(1)240--z--2
-
Bauderon:1998:PRG, 194(1)240--z--2
-
Bauernöppel, Frank, 175(2)239--255
-
Bauernoppel:1997:PSG, 175(2)239--255
-
Baumker, Armin, 203(2)175--203
-
Baumker:1998:TEP, 203(2)175--203
-
Bayes, 171(1)147--177
-
Bayesian, 171(1)147--177
-
Bazzi, Rida A., 220(1)31--65
-
Bazzi, Rida A., see Neiger, Gil
-
BCD, 151(2)385--435
-
BDDs, 141(1)283--310, 145(1)45--69
-
Béal, Marie-Pierre, 205(1)297--306, 221(1)41--60,
see Bassino, Frédérique
-
Beal:1998:BSD, 205(1)297--306
-
Beauchamps, D., Gouyou-, 159(1)3--z
-
Beaudry, Martin, 209(1)299--317
-
Beaudry:1998:LRF, 209(1)299--317
-
Beauquier, Danièle, 147(1)165--180,
see Aigrain, Philippe
-
Bedon, Nicolas, 156(1)119--144
-
Bedon:1996:FAO, 156(1)119--144
-
Beek, Peter van, 173(1)283--308
-
Beek, Peter van, see Dechter, Rina
-
Béguin, Philippe, 209(1)87--105
-
Beguin:1998:GID, 209(1)87--105
-
behavior, 134(1)51--61, 140(2)319--331, 143(2)251--267, 144(1)161--197,
145(1)1--26, 151(1)37--78, 165(1)97--131, 174(1)157--170,
175(2)225--238, 176(1)1--38, 182(1)203--216, 187(1)7--25,
189(1)1--69, 189(1)229--237, 193(1)197--214, 217(1)31--51
-
behavior--realization, 177(1)183--216
-
behavior-realization, 177(1)183--216
-
behavioral, 177(1)183--216, 179(1)273--299, 192(2)167--199,
192(2)287--314, 195(2)227--258
-
behaviour, 138(1)113--139, 141(1)53--67, 151(1)125--162, 152(2)251--268,
155(1)179--219, 163(1)291--302, 164(1)277--285, 166(1)101--146,
170(1)145--171, 170(1)277--296, 170(1)297--348, 173(2)393--443,
173(2)485--511, 179(1)61--102, 179(1)217--250, 183(2)229--251,
186(1)107--134, 187(1)87--104, 192(2)259--286, 192(2)287--314,
192(2)315--351, 193(1)197--214, 209(1)213--224
-
behavioural, 140(1)139--177, 151(2)437--486, 165(1)3--55, 167(1)3--45,
179(1)397--419, 183(2)229--251, 190(1)87--112, 216(1)55--107,
216(1)363--373
-
beholder, 179(1)333--351, 179(1)353--380
-
Beigel, Richard, 163(1)177--192, 191(1)245--248
-
Beigel:1996:FCB, 163(1)177--192
-
Beigel:1998:ASA, 191(1)245--248
-
Beimel, Amos, 220(1)185--210
-
Beimel--Chor, 200(1)313--334
-
Beimel:1999:RCP, 220(1)185--210
-
Beklemishev, Lev D., 224(1)13--33
-
Beklemishev:1999:PFI, 224(1)13--33
-
Bel'tyukov, 172(1)135--174
-
Belanger, Jay, 181(2)229--245
-
Belanger:1997:NNP, 181(2)229--245
-
belief, 170(1)383--406, 171(1)247--280
-
Beling, Peter A., 205(1)307--316
-
Beling:1998:UFM, 205(1)307--316
-
Belkhiter, Nadir, 149(2)333--360
-
Belkhiter, Nadir, see Desharnais, Jules
-
Bellè, Gianna, 146(1)311--320, see Alessi, Fabio
-
Belnap, 171(1)61--75
-
benchmark, 196(1)319--345
-
bend, 140(2)291--300
-
Bender, Michael A., 143(1)73--91
-
Bender:1995:PIO, 143(1)73--91
-
Bendix, Knuth-, 146(1)199--242, 192(1)77--106
-
Benke, Marcin, 212(1)3--27
-
Benke:1999:SCB, 212(1)3--27
-
Bennett, 143(1)159--165
-
Bensaou, N., 206(1)81--125
-
Bensaou:1998:TCL, 206(1)81--125
-
Benson, Gary, 145(1)357--369
-
Benson:1995:SEA, 145(1)357--369
-
Benveniste, Albert, 152(2)171--217
-
Benveniste:1995:CSS, 152(2)171--217
-
Berarducci, Alessandro, 212(1)29--75
-
Berarducci:1999:ICT, 212(1)29--75
-
Berg, Mark de, 140(2)301--317
-
Bergeron, Anne, 139(1)163--186, 189(1)229--237
-
Bergeron, François, 144(1)59--65
-
Bergeron:1995:CDF, 144(1)59--65
-
Bergeron:1995:SCD, 139(1)163--186
-
Bergeron:1997:RBC, 189(1)229--237
-
Berghammer, Rudolf, 146(1)185--197, 159(2)245--270
-
Berghammer, Rudolf, see Gritzner, Thomas F.
-
Berghammer:1995:FDP, 146(1)185--197
-
Bergstra, J. A., 177(2)381--405
-
Bergstra, J. A., see Baeten, J. C. M.
-
Berlekamp, 182(1)217--232
-
Berlekamp--Massey, 162(2)173--223
-
Berline, Chantal, 179(1)137--202, 211(1)397--398
-
Berline:1997:DSM, 179(1)137--202
-
Berline:1999:DSM, 211(1)397--398
-
Berman, Piotr, 174(1)193--202
-
Berman:1997:NOP, 174(1)193--202
-
Bernardin, Laurent, 187(1)105--116
-
Bernardin:1997:SFF, 187(1)105--116
-
Bernardinello, Luca, 186(1)107--134
-
Bernardinello, Luca, see Badouel, Eric
-
Bernardo, Marco, 202(1)1--54, 254(1)691--694
-
Bernardo:1998:TET, 202(1)1--54, 254(1)691--694
-
Bernardo:2001:CTE, 202(1)1--54, 254(1)691--694
-
Bernátsky, L., 137(2)237--251, see Ésik, Z.
-
Bernot, Gilles, 139(1)275--314
-
Bernot:1995:OSI, 139(1)275--314
-
Bernoulli, 137(2)177--217, 144(1)251--275, 145(1)391--396,
215(1)371--381
-
Berry--Sethi, 155(2)439--446
-
Berstel, Jean, 155(2)439--446, 178(1)171--203, 218(1)135--141
-
Berstel:1996:LLB, 155(2)439--446
-
Berstel:1997:SWL, 178(1)171--203
-
Berstel:1999:PWT, 218(1)135--141
-
Berthé, Valérie, 165(2)295--309
-
Berthe:1996:FFS, 165(2)295--309
-
Bertrand, 181(1)17--43
-
best, 145(1)357--369, 148(1)141--156
-
Best, E., 194(1)241--z
-
Best, Eike, 211(1)1--83
-
Best, Eike, see Koutny, Maciej
-
Best:1998:UNR, 194(1)241--z
-
beta, 137(2)219--236, 160(1)145--184, 160(1)185--216, 170(1)83--128,
175(1)159--181, 176(1)235--282
-
beta-equal, 155(1)265--266
-
beta-machine, 189(1)221--228
-
beta-redexes, 155(1)85--109
-
beta-reduction, 189(1)221--228, 194(1)245--z--2
-
beta-reductions, 170(1)407--444
-
Bettayeb, Saïd, 140(2)333--339
-
Bettayeb:1995:AH, 140(2)333--339
-
better, 156(1)99--117
-
beyond, 151(1)79--124
-
Bezem, Marc, 177(2)487--507
-
Bezem:1997:TFS, 177(2)487--507
-
BHK, 197(1)242--z--3
-
bi-infinite, 158(1)81--115, 168(2)241--255
-
bi-synchronizing, 158(1)81--115
-
bibliographies, 179(1)1--60
-
biconnected, 145(1)27--43
-
bidimensional, 155(2)321--347, 209(1)261--285
-
bidimensionnelle., 209(1)261--285
-
bidirectional, 197(1)171--188
-
bidirectional-edges;, all-, 145(1)27--43
-
Bidoit, Michel, 139(1)275--314, 165(1)3--55, 173(2)393--443
-
Bidoit, Michel, see Bernot, Gilles,
see Hennicker, Rolf
-
Bidoit, N., 190(2)115--149
-
Bidoit:1996:BTP, 165(1)3--55
-
Bidoit:1998:FST, 190(2)115--149
-
Bierman, G. M., 197(1)242--z, 227(1)43--78
-
Bierman:1998:TCL, 197(1)242--z
-
Bierman:1999:CLC, 227(1)43--78
-
bifix, 145(1)345--355, 218(1)107--121
-
bifurcation, 181(1)181--194, 187(1)249--262
-
Bignone, Franco A., 217(1)157--172
-
Bignone:1999:CML, 217(1)157--172
-
biimmune, P-, 161(1)263--287
-
bijection, 159(1)15--28
-
bijective, 157(2)161--183, 174(1)203--216
-
Bilardi, Gianfranco, 141(1)151--162
-
Bilardi, Gianfranco, see Kapur, Shyam
-
bilattice, 171(1)77--109
-
billard, 164(1)165--183
-
billiard, 164(1)165--183
-
Billingsley, 180(1)363--370
-
binary, 137(2)237--251, 138(1)67--100, 140(2)333--339, 141(1)283--310,
141(1)311--328, 143(2)353--362, 144(1)251--275, 145(1)45--69,
145(1)271--290, 145(1)317--327, 146(1)243--268, 147(1)1--18,
150(1)77--109, 154(1)41--56, 155(2)425--438, 156(1)39--70,
156(1)315--325, 158(1)53--64, 158(1)81--115, 160(1)305--320,
169(1)67--80, 172(1)135--174, 174(1)67--96, 177(1)3--25,
179(1)251--271, 179(1)301--317, 180(1)47--60, 181(1)119--139,
181(1)181--194, 182(1)145--157, 188(1)1--44, 188(1)241--247,
197(1)111--138, 218(1)161--175, 220(2)363--376
-
binding, 155(1)85--109, 169(1)81--112, 173(1)235--252, 176(1)337--345,
192(2)201--231, 211(1)189--232
-
biocomputing, 180(1)115--137
-
biological, 145(1)357--369
-
biology, 180(1)115--137, 181(1)159--179
-
biophysics, 180(1)115--137, 185(1)3--13
-
BIORAM, 194(1)247--z--1
-
bioremediation, 217(1)131--156
-
bipartite, 145(1)381--390, 147(1)69--85, 147(1)267--298, 148(1)93--109,
159(1)105--128, 159(1)137--142, 175(2)337--347
-
bipartite, convex-, 147(1)249--265
-
bipartitioning, 191(1)229--243
-
Biran, Ofer, 145(1)271--290
-
Biran:1995:TBR, 145(1)271--290
-
bird, 229(1)3--9
-
Bireflectivity, 228(1)49--76
-
Birkhoff-like, 152(1)91--138
-
bisimilar, 222(1)187--194
-
bisimilarity, 148(2)281--301, 158(1)143--159, 176(1)205--234,
177(2)487--507, 179(1)397--419, 195(2)155--182, 198(1)159--176,
228(1)5--47
-
bisimulation, 138(2)353--389, 139(1)187--205, 140(1)53--71,
140(1)73--94, 146(1)25--68, 148(2)281--301, 152(2)251--268,
153(1)65--94, 153(1)211--244, 154(1)107--143, 155(1)39--83,
168(1)53--103, 170(1)445--464, 179(1)217--250, 179(1)397--419,
183(2)215--228, 190(1)87--112, 192(2)167--199, 195(2)113--131,
195(2)155--182, 195(2)227--258, 195(2)291--324, 197(1)246--z,
198(1)225--237, 200(1)225--260, 221(1)271--293
-
Bisimulation-invariant, 224(1)237--265
-
bisimulation-like, 146(1)341--349
-
bistable, 153(1)245--270
-
bit, 141(1)175--193, 141(1)283--310, 164(1)1--12, 172(1)293--301,
172(1)303--308, 177(2)425--458, 178(1)155--169
-
bit, d-, 197(1)57--77
-
bit, n-, 182(1)217--232
-
bit-serial, 226(1)45--59
-
Bittar, E. Tahhan, 201(1)63--84
-
Bittar, E. Tahhan, see Cichon, E. A.
-
Bj{\o}rner, Nikolaj, 173(1)49--87
-
Bjorner:1997:AGI, 173(1)49--87
-
black, 159(1)105--128
-
black-box, 180(1)17--45
-
Blanchard, F., 163(1)291--302
-
Blanchard, François, 209(1)179--193
-
Blanchard:1996:DBC, 163(1)291--302
-
Blanchard:1998:LCR, 209(1)179--193
-
Blanck, Jens, 219(1)19--48
-
Blanck:1999:EDR, 219(1)19--48
-
blessings, 197(1)242--z--3
-
blind, 173(1)209--233
-
block, 145(1)189--228, 165(2)483--490, 168(1)155--212, 181(1)159--179,
225(1)163--169
-
blocking, 192(2)167--199
-
Bloo, Roel, 211(1)375--395
-
Bloo:1999:ESE, 211(1)375--395
-
Bloom, Bard, 146(1)25--68
-
Bloom, Stephen L., 155(1)1--38, 163(1)55--98, 179(1)1--60
-
Bloom:1995:SOS, 146(1)25--68
-
Bloom:1996:FPO, 155(1)1--38
-
Bloom:1996:FSA, 163(1)55--98
-
Bloom:1997:ELF, 179(1)1--60
-
Blot, Joël, 147(1)267--298
-
Blot:1995:ACA, 147(1)267--298
-
Blum, 194(1)219--223
-
Blum-Shub-Smale, 197(1)79--94
-
Blundo, C., 200(1)313--334
-
Blundo, Carlo, 154(2)283--306, 165(2)407--440
-
Blundo:1996:FDS, 165(2)407--440
-
Blundo:1996:IRS, 154(2)283--306
-
Blundo:1998:GBC, 200(1)313--334
-
Blute, R. F., 197(1)242--z--1
-
Blute:1998:NFC, 197(1)242--z--1
-
Boasson, Luc, 218(1)135--141
-
Boasson, Luc, see Berstel, Jean
-
Bodlaender, Hans L., 147(1)31--54, 148(1)93--109, 209(1)1--45
-
Bodlaender:1995:PCS, 147(1)31--54
-
Bodlaender:1995:RGP, 148(1)93--109
-
Bodlaender:1998:PAG, 209(1)1--45
-
body, 155(1)157--177, 197(1)157--169
-
body, N-, 197(1)157--169
-
body, n-, 197(1)157--169
-
Boer, Frank S. de, 151(1)37--78
-
Bohm, 175(1)93--125
-
Böhm-out, 212(1)233--246
-
Boldi, Paolo, 219(1)49--64
-
Boldi:1999:EJ, 219(1)49--64
-
Boley, Harold, 212(1)77--99
-
Boley:1999:FLI, 212(1)77--99
-
Bollig, Beate, 205(1)45--60
-
Bollig:1998:HTO, 205(1)45--60
-
Boltzmann, 217(1)115--130
-
Bonacina, Maria Paola, 146(1)199--242
-
Bonacina:1995:TFC, 146(1)199--242
-
Bonatti, Piero A., 160(1)321--363
-
Bonatti:1996:QDD, 160(1)321--363
-
Bono, Viviana, 212(1)101--140
-
Bono:1999:MLC, 212(1)101--140
-
Bonsangue, M. M., 193(1)1--51
-
Bonsangue, Marcello M., 151(1)79--124
-
Bonsangue:1995:DBS, 151(1)79--124
-
Bonsangue:1998:GMS, 193(1)1--51
-
Book, 207(1)13--23
-
boolean, 134(1)51--61, 137(1)109--127, 137(1)159--176, 137(2)237--251,
138(2)353--389, 139(1)187--205, 141(1)283--310, 143(2)335--342,
143(2)343--352, 145(1)45--69, 145(1)371--380, 155(2)411--424,
156(1)99--117, 157(2)139--159, 160(1)1--85, 160(1)321--363,
160(1)365--380, 161(1)141--156, 161(1)301--306, 163(1)1--54,
163(1)283--289, 168(1)39--51, 171(1)3--24, 172(1)135--174,
172(1)233--254, 172(1)293--301, 174(1)137--156, 175(2)257--270,
175(2)337--347, 179(1)251--271, 179(1)427--436, 180(1)47--60,
180(1)155--168, 180(1)243--268, 182(1)257--257, 186(1)171--198,
188(1)117--128, 188(1)211--220, 190(2)317--361, 191(1)79--95,
197(1)247--z, 205(1)317--327, 207(2)329--342, 217(2)255--278,
223(1)193--197, 226(1)207--223
-
Boolean-valued, 137(1)109--127
-
Borchers, Al, 222(1)113--131
-
Borchers, Al, see Cao, Feng
-
Borchert, Bernd, 148(2)207--225
-
Borchert:1995:APR, 148(2)207--225
-
border, 153(1)245--270, 188(1)129--159
-
Boreale, M., 195(2)205--226
-
Boreale, Michele, 198(1)159--176
-
Boreale:1998:EIM, 195(2)205--226
-
Boreale:1998:SCP, 198(1)159--176
-
Borel, 151(1)163--193, 183(1)93--112, 219(1)421--437
-
borné., 191(1)61--77
-
borrow, 173(2)311--347
-
Bosc, Patrick, 171(1)281--302
-
Bosc:1997:FQR, 171(1)281--302
-
Bossut, Francis, 205(1)207--229
-
Bossut, Francis, see Andre, Yves
-
Botelho, Fernanda, 182(1)257--257
-
Botelho, Fernando, 134(1)51--61
-
Botelho:1994:BNN, 134(1)51--61, 182(1)257--257
-
Botelho:1997:EBN, 134(1)51--61, 182(1)257--257
-
Botorog, George Hora{\c{t}}iu, 196(1)71--107
-
Botorog:1998:EHL, 196(1)71--107
-
bottom, 192(2)167--199
-
bottom-up, 137(1)3--23, 142(1)125--138, 146(1)145--184, 156(1)71--97
-
Bouajjani, Ahmed, 221(1)211--250
-
Bouajjani:1999:SRA, 221(1)211--250
-
Bouchard, Marie-Line, Santini-, 174(1)171--191
-
Bouchitté, Vincent, 175(2)223--223, 175(2)225--238
-
Bouchitte:1997:LAO, 175(2)225--238
-
Bouchitte:1997:P, 175(2)223--223
-
Boudol, Gérard, 234(1)309--321
-
Boudol:2000:SCN, 234(1)309--321
-
Boufkhad, Y., 215(1)1--30
-
Boufkhad:1999:LPI, 215(1)1--30
-
Bougé, Luc, 189(1)71--107, 196(1)1--1
-
Bouge:1997:FVD, 189(1)71--107
-
Bouge:1998:E, 196(1)1--1
-
Bouhoula, Adel, 170(1)245--276
-
Bouhoula:1996:UIR, 170(1)245--276
-
bound, 139(1)355--362, 140(2)265--289, 140(2)301--317, 141(1)175--193,
143(2)335--342, 145(1)45--69, 145(1)271--290, 148(1)141--156,
151(1)163--193, 154(1)107--143, 154(2)165--181, 154(2)283--306,
155(2)411--424, 156(1)99--117, 156(1)315--325, 157(1)129--136,
157(2)139--159, 157(2)161--183, 157(2)185--214, 157(2)259--266,
158(1)143--159, 161(1)301--306, 162(2)341--349, 163(1)177--192,
165(2)247--273, 168(1)105--119, 172(1)1--41, 172(1)293--301,
175(2)283--292, 175(2)373--392, 179(1)251--271, 179(1)301--317,
180(1)243--268, 181(1)45--56, 181(1)119--139, 181(2)307--316,
184(1)61--104, 185(1)47--62, 188(1)59--78, 188(1)117--128,
192(1)3--29, 194(1)163--182, 196(1)153--180, 197(1)95--109,
197(1)245--z--2, 201(1)63--84, 205(1)297--306, 209(1)47--86,
209(1)141--162, 209(1)389--398, 212(1)3--27
-
bound, lower-, 168(1)39--51
-
boundary, 138(1)35--65, 172(1)91--120, 172(1)309--321, 197(1)111--138
-
bounded, 137(1)3--23, 139(1)131--162, 148(1)93--109, 151(1)163--193,
163(1)177--192, 164(1)59--72, 164(1)287--298, 166(1)203--219,
168(1)3--19, 168(1)21--38, 169(2)201--220, 172(1)135--174,
172(1)195--207, 173(1)183--208, 175(2)309--335, 176(1)89--110,
176(1)283--328, 178(1)103--118, 181(1)141--157, 181(2)267--287,
182(1)145--157, 191(1)61--77, 193(1)53--73, 193(1)75--96,
193(1)113--127, 194(1)137--161, 194(1)247--z--1, 196(1)395--415,
204(1)11--28, 209(1)1--45
-
bounded, 1-, 193(1)113--127
-
bounded, cardinality-, 149(1)49--66
-
bounded, global-clock-, 198(1)225--237
-
bounded, length-, 137(1)53--84
-
bounded, resource-, 161(1)123--140
-
bounded;, resource-, 161(1)123--140
-
bounded, reversal-, 180(1)139--154
-
bounded;, reversal-, 180(1)139--154
-
bounded, space-, 143(1)159--165
-
bounded-complete, 175(1)3--13
-
bounded-error, 178(1)155--169
-
bounded-query, 148(2)325--349
-
boundedness, 174(1)217--230, 183(2)215--228
-
Bounding, 207(1)89--104
-
Bournez, Olivier, 168(2)417--459, 210(1)21--71
-
Bournez:1996:CPD, 168(2)417--459
-
Bournez:1999:ATC, 210(1)21--71
-
box, 153(1)95--128, 211(1)1--83
-
box, black-, 180(1)17--45
-
Bozapalidou, Olympia, Louscou-, 156(1)145--158
-
BPP, 178(1)155--169
-
BPP-nets, 179(1)301--317
-
{BPP}-nets, 179(1)301--317
-
Bracho, Felipe, 174(1)67--96
-
Bracho:1997:RCC, 174(1)67--96
-
Bradfield, J. C., 195(2)133--153
-
Bradfield:1998:MMC, 195(2)133--153
-
Braga, G., 145(1)1--26
-
Braga:1995:PGE, 145(1)1--26
-
branch, 159(2)319--341, 173(1)209--233, 196(1)347--363
-
branching, 138(2)391--423, 140(1)53--71, 145(1)45--69, 146(1)25--68,
148(1)93--109, 160(1)241--270, 170(1)297--348, 172(1)293--301,
177(2)487--507, 179(1)217--250, 179(1)397--419, 181(1)141--157,
202(1)223--230
-
branching, time-, 170(1)445--464
-
branching-time, 140(1)53--71, 148(2)303--324, 173(2)513--554
-
Brandenburg, Franz J., 207(1)25--41
-
Brandenburg:1998:AWG, 207(1)25--41
-
Brandstädt, Andreas, 172(1)209--232
-
Brandstadt:1997:HOG, 172(1)209--232
-
Branicky, Michael S., 138(1)67--100
-
Branicky:1995:UCO, 138(1)67--100
-
Brattka, Vasco, 162(1)45--77, 210(1)3--20, 219(1)65--93
-
Brattka:1996:RCC, 162(1)45--77
-
Brattka:1999:CI, 210(1)3--20
-
Brattka:1999:CSE, 219(1)65--93
-
Braüner, Torben, 177(1)27--58
-
Brauner:1997:GAR, 177(1)27--58
-
brave, 160(1)321--363
-
Breitbart, Y., 145(1)45--69, 190(2)363--396
-
Breitbart, Y., see Vingralek, R.
-
Breitbart:1995:SBD, 145(1)45--69
-
Brémond-Grégoire, Patrice, 189(1)179--219
-
Bremond-Gregoire:1997:PAC, 189(1)179--219
-
Breslauer, Dany, 137(2)269--278, 141(1)163--173, 158(1)177--192,
191(1)131--144, 209(1)365--375
-
Breslauer, Dany, see Apostolico, Alberto
-
Breslauer:1995:FPS, 137(2)269--278
-
Breslauer:1996:SCC, 158(1)177--192
-
Breslauer:1998:CLP, 209(1)365--375
-
Breslauer:1998:STT, 191(1)131--144
-
Breugel, F., van, 193(1)1--51
-
Breugel, Franck van, 202(1)223--230
-
bridge, 145(1)27--43
-
Bridges, Douglas S., 219(1)95--109
-
Bridges:1999:CMF, 219(1)95--109
-
bridging, 229(1)11--22
-
brief, 138(2)243--271
-
Brimkov, V., 165(2)483--490
-
Brimkov:1996:SNC, 165(2)483--490
-
broadcast, 147(1)69--85, 165(2)407--440, 200(1)313--334
-
broadcasting, 147(1)69--85, 198(1)99--130, 200(1)225--260, 203(1)3--29
-
Broadening, 197(1)247--z--1
-
Brock, S., 194(1)241--z--1, 194(1)247--z--2
-
Brock, S., see Shand, D.
-
Brock:1998:PSF, 194(1)241--z--1
-
Brogi, Antonio, 149(2)201--229, 184(1)1--59
-
Brogi:1995:FAC, 149(2)201--229
-
Brogi:1997:UVL, 184(1)1--59
-
Bronnimann, Herve, 210(1)173--197
-
Bronnimann:1999:SDR, 210(1)173--197
-
Bronstein, Manuel, 157(1)3--33
-
Bronstein:1996:IPL, 157(1)3--33
-
Browne, A., 178(1)237--255
-
Browne, Anca, 173(1)49--87
-
Browne, Anca, see Bj{\o}rner, Nikolaj
-
Browne:1997:IAE, 178(1)237--255
-
Brownian, 159(1)65--79
-
Bruijn, 222(1)113--131
-
Bruin, Arie de, 195(1)3--32
-
Brujin, 147(1)1--18, 155(1)85--109
-
Bruns, Glenn, 153(1)95--128
-
Bruns, Glenn, see Esparza, Javier
-
Bruyère, Véronique, 148(2)227--260, 181(1)17--43,
191(1)117--129, 204(1)11--28, 215(1)329--335, 218(1)107--121
-
Bruyere:1995:SDP, 148(2)227--260
-
Bruyere:1997:BNS, 181(1)17--43
-
Bruyere:1998:MCB, 204(1)11--28
-
Bruyere:1998:MOL, 191(1)117--129
-
Bruyere:1999:MBC, 218(1)107--121
-
Bruyere:1999:PCT, 215(1)329--335
-
Brzoska, Christoph, 202(1)55--125
-
Brzoska:1998:PMT, 202(1)55--125
-
BSP, 203(2)175--203
-
BSS, 162(1)5--21
-
B/sup, 168(1)21--38
-
bubble, 192(1)31--54
-
Bucciarelli, Antonio, 177(1)59--71
-
Bucciarelli:1997:DPC, 177(1)59--71
-
Buchberger, 159(2)143--190
-
Buchholz, Peter, 215(1)263--287
-
Buchholz:1999:EPE, 215(1)263--287
-
Buchi, 166(1)1--47, 169(2)123--145, 170(1)1--46
-
bucket, 144(1)221--249
-
budget, 203(1)151--162
-
Bueno, R., Morales-, 202(1)231--244
-
buffer, 141(1)53--67, 179(1)333--351
-
Bugliesi, Michele, 212(1)101--140
-
Bugliesi, Michele, see Bono, Viviana
-
build, 221(1)77--118
-
building, 194(1)242--z--1, 200(1)335--366
-
built-in, 142(2)209--227, 174(1)97--121
-
bulk-synchronous, 196(1)109--130
-
Bulletin, 158(1)379--z, 164(1)311--z, 171(1)303--z, 182(1)259--z,
182(1)263--z
-
Bültermann, Jörg, 148(1)111--119,
see Althöfer, Ingo
-
Bunder, M. W., 155(1)265--266, 169(1)3--21
-
Bunder:1996:LTD, 169(1)3--21
-
Bunder:1996:TTN, 155(1)265--266
-
Bündgen, Reinhard, 159(2)143--190
-
Bundgen:1996:BAT, 159(2)143--190
-
Buneman, Peter, 149(1)3--48
-
Buneman:1995:PPC, 149(1)3--48
-
Burago, Dima, 157(2)161--183
-
Burago:1996:CPO, 157(2)161--183
-
Burckel, Serge, 158(1)371--378
-
Burckel:1996:CIC, 158(1)371--378
-
Burkart, Olaf, 221(1)251--270
-
Burkart:1999:MCF, 221(1)251--270
-
Burkhard, Hans-Dieter, 189(1)109--127
-
Burkhard:1997:FCM, 189(1)109--127
-
Burmeister, P., 184(1)145--193, 216(1)311--362
-
Burmeister:1997:ATU, 184(1)145--193
-
Burmeister:1999:ATU, 216(1)311--362
-
burner, 187(1)249--262
-
Bus, 187(1)221--230
-
Busi, Nadia, 192(2)167--199
-
Busi:1998:PAV, 192(2)167--199
-
Bussche, Jan, Van den, 149(1)49--66
-
Buszkowski, Wojciech, 199(1)5--24
-
Buszkowski:1998:ASC, 199(1)5--24
-
But-One;, Empty-All-, 191(1)157--171
-
butterfly, 162(2)283--296, 196(1)109--130
-
by-example, proving-, 137(1)3--23
-
by-example;, proving-, 137(1)3--23
-
by-name, call-, 234(1)309--321
-
by-name,, Call-, 228(1)175--210
-
by-need, call-, 228(1)175--210
-
by-value, call-, 163(1)269--276, 177(1)27--58, 206(1)301--315,
221(1)393--456
-
by-value,, call-, 228(1)175--210
-
bypass, 197(1)171--188