Last update: Tue Dec 17 02:02:04 MST 2019
Return to index directory
B
-
B, 70(1)1--20
-
B, Event-, 77(1)1--28
-
Baader, Franz, 57(2)247--279
-
Baader:2003:TAD, 57(2)247--279
-
Baaz, Matthias, 59(4)315--332
-
Baaz:2004:ACM, 59(4)315--332
-
Bach, Joscha, 48(1)1--7
-
Bach:2001:STI, 48(1)1--7
-
Bachli{\'n}ski, Sebastian, 72(1)283--293,
see Nowak, Agnieszka
-
Back, 66(4)397--413, 68(4)379--398
-
Backbones, 73(1)191--202
-
Backtracking, 79(3)513--524
-
Badache, Nadjib, 86(4)371--409
-
Badache, Nadjib, see Abdelli, Abdelkrim
-
Badouel, Eric, 77(3)187--215
-
Badouel:2007:ATG, 77(3)187--215
-
Baets, Bernard, De, 71(2)309--321
-
Bag, 86(4)459--480
-
Bai, Yun, 53(3)229--250
-
Bai:2002:OOD, 53(3)229--250
-
Baier, Christel, 41(3)259--294
-
Baier:2000:THT, 41(3)259--294
-
Baillot, Patrick, 45(1)1--31
-
Baillot:2001:ECG, 45(1)1--31
-
Baire, 65(3)263--278
-
Balaban, Alexandru T., 64(1)1--16
-
Balaban:2005:MCC, 64(1)1--16
-
Balance, 75(1)469--482, 77(1)29--69, 91(2)341--356
-
Balancing, 67(1)271--285
-
Balanescu, Tudor, 49(1)17--33
-
Balanescu, Tudor, see Aguado, Joaquin
-
B{\u{a}}l{\u{a}}nescu, Tudor, 64(1)191--203,
see Ipate, Florentin
-
Balbiani, Philippe, 45(3)173--194, 50(3)243--263, 56(3)211--242,
75(1)1--25, 81(1)29--82, 83(4)451--464
-
Balbiani:2001:IFP, 45(3)173--194
-
Balbiani:2002:MLI, 50(3)243--263
-
Balbiani:2003:EUD, 56(3)211--242
-
Balbiani:2007:ALA, 75(1)1--25
-
Balbiani:2007:MLR, 81(1)29--82
-
Balbiani:2008:MLP, 83(4)451--464
-
Baldamus, Michael, 50(2)111--133
-
Baldamus:2002:BSC, 50(2)111--133
-
Balicki, Krzysztof, 93(1)1--15
-
Balicki:2009:FDX, 93(1)1--15
-
Banach, Richard, 77(1)29--69
-
Banach:2007:RPB, 77(1)29--69
-
Banaszak, Zbigniew, 60(1)269--289
-
Banaszak, Zbigniew, see Polak, Micha{\l}
-
Bandini, Stefania, 61(1)1--17, 69(3)251--271, 87(2)207--226
-
Bandini:2004:IFI, 61(1)1--17
-
Bandini:2006:SAD, 69(3)251--271
-
Bandini:2008:NGF, 87(2)207--226
-
Bandyopadhyay, Sanghamitra, 84(3)471--492, 90(1)107--123, 96(1)1--25,
96(1)195--209, 97(1)199--214
-
Bandyopadhyay, Sanghamitra, see Saha, Sriparna
-
Bandyopadhyay:2009:MLD, 96(1)1--25
-
Banerjee, Mohua, 71(2)139--151, 75(1)123--139
-
Banerjee, Mohua, see Chakraborty, Mihir K.
-
Banerjee:2006:LRT, 71(2)139--151
-
Barabasz, Pomyka{\l}a-, 80(4)453--459
-
Barabasz, S{\l}awomir, 69(4)411--425,
see Pomyka{\l}a, Jacek
-
Barbuti, Roberto, 47(3)189--200, 51(1)1--11, 54(2)137--150, 60(1)67--79,
67(1)1--12, 67(1)13--27, 72(1)21--35, 93(1)17--31, 94(1)1--19
-
Barbuti:2001:TAN, 47(3)189--200
-
Barbuti:2002:NNI, 51(1)1--11
-
Barbuti:2003:DNT, 54(2)137--150
-
Barbuti:2004:AIA, 60(1)67--79
-
Barbuti:2005:AIO, 67(1)1--12
-
Barbuti:2005:PMM, 67(1)13--27
-
Barbuti:2006:CLS, 72(1)21--35
-
Barbuti:2009:STD, 93(1)17--31
-
Barbuti:2009:TA, 94(1)1--19
-
Barrera, J., 41(1)229--258
-
Barrera, Junior, 45(4)283--294
-
Barrera:2000:APM, 41(1)229--258
-
Barrera:2001:SCI, 45(4)283--294
-
Barycentric, 81(1)257--273
-
Barylska, Kamila, 93(1)33--43
-
Barylska:2009:LPP, 93(1)33--43
-
base, 48(1)61--81, 57(2)215--246, 73(3)389--407
-
based, 43(1)1--20, 43(1)61--79, 44(4)373--396, 47(1)15--33,
47(1)119--135, 47(1)175--188, 47(3)201--215, 47(3)231--245,
47(3)351--360, 51(1)59--89, 52(4)323--344, 53(3)251--280,
55(3)307--320, 58(2)93--104, 58(2)167--178, 58(2)179--188,
59(2)135--152, 59(2)299--313, 59(4)315--332, 63(1)89--106,
64(1)379--390, 65(4)291--305, 66(4)367--395, 68(4)315--331,
69(3)319--330, 69(4)411--425, 70(1)49--73, 71(4)443--451,
72(1)215--234, 72(4)485--527, 73(3)373--387, 73(4)561--582,
74(1)31--61, 74(2)189--207, 75(1)453--468, 76(1)39--57,
76(1)171--187, 76(3)293--304, 76(4)399--411, 76(4)481--493,
76(4)495--510, 77(3)187--215, 77(3)217--228, 77(3)229--242,
78(4)467--485, 79(3)319--333, 79(3)335--346, 80(1)221--246,
80(4)363--378, 82(1)15--27, 83(3)231--252, 84(3)471--492,
85(1)123--137, 86(1)79--91, 86(1)113--126, 86(3)299--323,
86(3)325--341, 87(1)93--116, 87(2)227--245, 87(3)417--433,
87(3)465--481, 87(3)483--492, 88(1)23--45, 88(1)177--192,
90(1)73--86, 90(1)107--123, 90(1)125--155, 90(3)251--267,
90(3)269--282, 91(1)17--34, 91(3)563--579, 91(3)581--595,
91(3)597--610, 91(3)631--670, 92(1)131--143, 92(4)345--362,
92(4)363--372, 93(1)185--203, 93(1)245--259, 93(4)459--469,
94(2)197--217, 94(3)331--360, 95(1)157--186, 95(1)187--217,
95(4)449--463, 95(4)491--510, 96(1)211--226, 96(4)419--433,
97(1)199--214, 97(4)369--379
-
based, -Logic-, 82(3)213--236
-
based, Case-, 85(1)155--172
-
Based, Center-, 56(3)285--310
-
Based, Constraint-, 47(1)53--73
-
Based, Content-, 71(2)351--366
-
Based, Density-, 68(4)315--331
-
Based, Dominance-, 94(2)133--146
-
based, DWT-, 58(2)179--188
-
based, Edge-, 83(3)299--318
-
based, Graph-, 66(1)83--101
-
Based, ID-, 84(3)353--361, 90(1)191--201
-
Based, Identity-, 80(4)461--474
-
based, Image-, 94(2)179--195
-
based, Inclusion-degree-, 86(4)481--502
-
Based, Instance-, 51(4)369--390
-
Based, Knowledge-, 63(2)259--281, 91(3)547--562
-
Based, Logic-, 79(1)25--69
-
based, Logic-, 82(3)213--236, 89(4)511--538
-
Based, Memory-, 85(1)297--311
-
Based, Metric-, 90(3)337--352
-
Based, Model-, 72(4)529--539
-
Based, Multiset-, 75(1)49--75
-
based, Net-, 94(3)305--330
-
based, Object-, 58(2)167--178
-
based, Parity-, 97(1)1--14
-
Based, Quantization-, 91(3)597--610
-
Based, Region-, 46(1)145--158
-
based, Region-, 46(1)159--186, 74(2)209--249, 74(2)251--282,
81(1)29--82
-
Based, Restriction-, 67(1)233--247
-
Based, Rule-, 72(1)95--108
-
based, Rule-, 72(1)379--391
-
Based, SAT-, 79(3)579--593
-
based, SAT-, 60(1)417--434, 67(1)303--322, 85(1)425--440
-
Based, Scenario-, 62(2)139--169
-
based, Set-, 96(3)227--252
-
Based, Similarity-, 75(1)179--193, 97(1)177--197
-
based, Similarity-, 41(4)393--414
-
Based, Theorems-, 69(1)63--102
-
Based, Trajectory-, 59(4)349--363
-
based, Transformation-, 89(1)111--129
-
based, Tree-, 86(1)213--225
-
Based, VQ-, 61(3)213--221
-
Based, Web-, 43(1)343--353
-
Based, Weight-, 67(1)271--285
-
Bashkin, Vladimir A., 55(2)101--114
-
Bashkin:2003:PNR, 55(2)101--114
-
Basic, 55(3)387--403, 62(1)69--121, 66(4)z--z, 69(1)z--z, 73(1)37--50,
79(3)295--302, 82(4)361--390, 90(1)93--106
-
Basile, T. M. A., 90(1)43--66
-
Basile, T. M. A., see Ferilli, S.
-
Basile, Teresa M. A., 69(4)389--409, 89(1)23--43
-
Basile, Teresa M. A., see Esposito, Floriana
-
Basins, 86(1)143--168
-
Basis, 78(3)369--396
-
Basten, Twan, 78(1)35--74
-
Basten, Twan, see Geilen, Marc
-
Basu, Subhasree, 87(2)185--205
-
Basu, Sumita, 87(2)185--205
-
Basu, Sumita, see Basu, Subhasree
-
Basu:2008:DTL, 87(2)185--205
-
Baumeister, Dorothea, 91(1)35--51
-
Baumeister:2009:SPR, 91(1)35--51
-
Bayesian, 49(4)349--367, 50(1)57--76, 58(2)105--137, 70(1)111--126,
89(1)131--160
-
Bazan, Jan, 59(2)107--118
-
Bazan, Jan G., 67(1)203--217, 67(1)249--269, 72(1)37--50, 75(1)27--47,
85(1)155--172
-
Bazan, Jan G., see Góra, Grzegorz,
see Stepaniuk, Jaros{\l}aw,
see Synak, Piotr
-
Bazan-Socha, Stanis{\l}awa, 75(1)27--47, 85(1)155--172,
see Bazan, Jan G.,
see Góra, Grzegorz
-
Bazan:2004:VRS, 59(2)107--118
-
Bazan:2006:BPI, 72(1)37--50
-
Bazan:2007:RSA, 75(1)27--47
-
BCCSP, 88(1)1--21
-
BCH, 84(1)51--60
-
BDD, 50(2)111--133, 72(1)215--234
-
Béal, Frédéric, 88(4)411--435
-
Béal, Marie-Pierre, 56(1)121--135
-
Beal:2003:CFW, 56(1)121--135
-
Beal:2008:HCT, 88(4)411--435
-
Beam, 75(1)483--504
-
Beauquier, Danièle, 50(1)1--13, 96(1)127--151,
see Lanotte, Ruggero
-
Beauquier:2002:MDP, 50(1)1--13
-
Becher, Verónica, 51(4)325--338
-
Becher:2002:AEH, 51(4)325--338
-
Bednarczyk, Marek A., 43(1)21--48, 72(1)51--63, 74(2)167--187,
85(1)19--33
-
Bednarczyk:2000:FCC, 43(1)21--48
-
Bednarczyk:2006:EVT, 72(1)51--63
-
Bednarczyk:2006:LM, 74(2)167--187
-
Bednarczyk:2008:MFA, 85(1)19--33
-
Bedregal, Benjamín René Callejas, 81(4)367--377
-
Bedregal:2007:PAF, 81(4)367--377
-
Beek, Maurice H. ter, 91(3)437--461
-
Begin, Laurent, Van, 88(3)275--305
-
Behaved, Well-, 48(1)83--91
-
Behavior, 72(1)155--165, 73(4)583--598, 78(3)329--341, 82(1)113--125,
82(4)z--z
-
Behavioral, 72(1)37--50, 75(1)27--47, 82(4)341--359
-
Behaviour, 48(1)21--54, 65(3)211--247, 75(1)537--560, 80(1)273--281,
80(1)311--332, 85(1)281--295, 85(1)481--496, 89(2)189--206,
91(3)463--485, 95(4)533--552, 97(1)235--273, 97(4)439--470
-
Behavioural, 80(1)31--47, 89(4)479--510
-
Behrends, Erik, 82(3)237--263
-
Behrends:2008:EEA, 82(3)237--263
-
Being, 75(1)385--406
-
Bel-Enguix, Gemma, 76(3)219--237
-
Bel-Enguix:2007:DMM, 76(3)219--237
-
Belief, 57(2)127--146, 57(2)323--344, 62(3)377--393, 94(1)21--40,
94(1)49--61
-
Bell, D. A., 59(2)119--134
-
Bell, D. A., see Guan, J. W.
-
Bell, David, 91(3)631--670
-
Bell, David, see Mu, Kedian
-
Bell, David A., 73(3)389--407
-
Bell, David A., see Liu, Weiru
-
Bell, Paul, 79(1)1--4
-
Bell:2007:NES, 79(1)1--4
-
Bellia, Marco, 55(2)115--128, 67(1)29--44, 85(1)35--50, 93(1)45--64
-
Bellia:2003:APU, 55(2)115--128
-
Bellia:2005:HOP, 67(1)29--44
-
Bellia:2008:MPP, 85(1)35--50
-
Bellia:2009:JSI, 93(1)45--64
-
B{\v{e}}lohl{\'a}vek, Radim, 46(4)277--285, 58(2)79--91
-
Belohlavek:2001:RSP, 46(4)277--285
-
Belohlavek:2003:FCO, 58(2)79--91
-
Benefit, 94(2)233--244
-
Benferhat, Salem, 53(3)251--280
-
Benferhat:2002:MRR, 53(3)251--280
-
Bennett, Brandon, 46(1)145--158
-
Bennett:2001:CAR, 46(1)145--158
-
Bensch, Suna, 76(3)239--254
-
Bensch:2007:ASP, 76(3)239--254
-
Bergenthum, Robin, 88(4)437--468, 94(3)331--360, 95(1)187--217
-
Bergenthum:2008:SPN, 88(4)437--468
-
Bergenthum:2009:SPN, 95(1)187--217
-
Bergenthum:2009:USP, 94(3)331--360
-
Bergenti, Federico, 96(3)227--252
-
Bergenti:2009:IFD, 96(3)227--252
-
Berghammer, Rudolf, 70(4)301--316
-
Berghammer:2006:ECM, 70(4)301--316
-
Bergstra, J. A., 71(2)153--182
-
Bergstra, Jan A., 61(3)183--211, 80(4)333--362, 96(1)27--48
-
Bergstra:2004:LAP, 61(3)183--211
-
Bergstra:2006:TAM, 71(2)153--182
-
Bergstra:2007:MCS, 80(4)333--362
-
Bergstra:2009:ISD, 96(1)27--48
-
Bernard, Marc, 66(1)103--130
-
Bernard, Marc, see Habrard, Amaury
-
Bernardeschi, Cinzia, 60(1)81--98
-
Bernardeschi:2004:CAS, 60(1)81--98
-
Bernardinello, Luca, 80(1)31--47, 85(1)19--33
-
Bernardinello, Luca, see Bednarczyk, Marek A.
-
Bernardinello:2007:PSB, 80(1)31--47
-
Bernardini, Francesco, 64(1)29--42, 75(1)49--75
-
Bernardini:2005:SAP, 64(1)29--42
-
Bernardini:2007:MBS, 75(1)49--75
-
Bernot, Gilles, 65(4)373--392, 91(3)463--485
-
Bernot, Gilles, see Richard, Adrien
-
Bernot:2009:BPB, 91(3)463--485
-
Bertino, Elisa, 47(1)155--173
-
Bertino:2001:MII, 47(1)155--173
-
Bertoni, Alberto, 91(2)231--249
-
Bertoni:2009:CUT, 91(2)231--249
-
Best, 60(1)237--250
-
Best, Eike, 80(1)75--90
-
Best-Effort, 95(1)53--72
-
Best:2007:MPN, 80(1)75--90
-
Better, 56(1)51--70
-
Beyond, 95(2)287--303
-
Bezem, Marc, 91(1)79--103
-
Bezem, Marc, see Fisher, John
-
BGS, 77(1)175--185
-
Bhattacharya, Bhargab B., 52(4)285--295, 76(1)75--89, 87(3)417--433,
89(2)331--344, 91(3)487--505
-
Bhattacharya, Bhargab B., see Bhowmick, Partha,
see Dey, Sabyasachi, \see{Mitra, Suman K.,
see Saha, Indranil
-
Bhattacharyya, Malay, 96(1)1--25
-
Bhattacharyya, Malay, see Bandyopadhyay, Sanghamitra
-
Bhopalator, 49(1)147--165
-
Bhowmick, Partha, 91(3)487--505
-
Bhowmick:2009:RPC, 91(3)487--505
-
Bi-intuitionistic, 84(2)185--205
-
Bianucci, Daniela, 75(1)77--105
-
Bianucci:2007:ECE, 75(1)77--105
-
Biasi, Corrado, 84(2)185--205
-
Biasi:2008:TAP, 84(2)185--205
-
Biba, M., 90(1)43--66
-
Biba, M., see Ferilli, S.
-
Bienvenu, Laurent, 83(1)21--24
-
Bienvenu:2008:SPM, 83(1)21--24
-
Bierman, G. M., 45(1)123--155
-
Bierman, G. M., see Urban, C.
-
Bijak, Katarzyna, 86(1)1--17
-
Bijak:2008:GAA, 86(1)1--17
-
Bilateral, 60(1)1--16
-
Bilinear, 64(1)261--273
-
Billington, Jonathan, 80(1)49--74, 88(3)357--385
-
Billington:2007:FTD, 80(1)49--74
-
Billington:2008:CPN, 88(3)357--385
-
BiLog, 80(1)91--110
-
Bimachines, 73(1)237--264
-
Binary, 41(1)131--146, 73(1)229--236, 75(1)469--482, 75(1)505--536,
76(1)1--11, 76(1)75--89, 80(1)247--258, 81(4)409--439,
84(3)391--402, 90(1)125--155
-
Binding, 84(2)221--240
-
Biochemical, 67(1)149--162
-
Biological, 64(1)275--289, 65(4)373--392, 91(3)463--485
-
Biorders, 65(1)173--191
-
Biosyntax, 64(1)17--28
-
Bipartite, 58(1)23--37, 84(1)81--97
-
Birkhoff, 83(4)389--410
-
BISECTION, MAX-, 62(3)369--375
-
Bishnu, Arijit, 76(1)75--89
-
Bishnu, Arijit, see Dey, Sabyasachi
-
Bisimilarity, 87(3)287--311, 93(4)371--392
-
bisimulation, 52(4)297--321, 55(2)101--114, 83(4)429--449,
92(1)103--130, 93(1)127--142
-
Biswas, Somenath, 77(1)175--185
-
Biswas, Somenath, see Seshadhri, Comandur
-
Bit, 52(1)257--275, 87(3)313--329
-
Bit, One-, 78(3)449--465
-
Bit-Communication, 58(3)421--435
-
bit-reference, Multi-, 65(4)291--305
-
Bitrades, 84(1)99--110
-
Bitten, 97(1)177--197
-
Bittner, Thomas, 46(1)97--128
-
Bittner:2001:QSB, 46(1)97--128
-
Björklund, Dag, 70(1)1--20
-
Bjorklund:2006:RBE, 70(1)1--20
-
Black, 71(2)229--242, 74(4)491--510
-
Blajdo, Piotr, 94(2)121--131
-
Blajdo:2009:ECS, 94(2)121--131
-
Blanqui, Frédéric, 65(1)61--86
-
Blanqui:2005:ITC, 65(1)61--86
-
Blind, 55(3)307--320, 83(1)51--64
-
Bliudze, Simon, 91(2)251--274
-
Bliudze:2009:MCS, 91(2)251--274
-
block, 70(4)317--331, 73(1)165--178, 73(3)373--387, 78(2)257--270,
87(3)313--329, 90(1)125--155, 94(2)133--146
-
Blockeel, Hendrik, 89(1)131--160
-
Blockeel, Hendrik, see Meert, Wannes
-
Blocking, 58(2)179--188
-
Blondel, Vincent, 74(4)463--490
-
Blondel, Vincent, see Delvenne, Jean-Charles
-
Bloom, Stephen L., 55(1)1--21, 86(1)19--40
-
Bloom:2003:DWF, 55(1)1--21
-
Bloom:2008:PCI, 86(1)19--40
-
Bober, Miros{\l}aw, 61(3)303--334,
see Skarbek, W{\l}adys{\l}aw
-
Boccara, Nino, 52(1)1--13
-
Boccara:2002:NCC, 52(1)1--13
-
Bocharov, Igor, 68(4)303--313
-
Bocharov:2005:IDC, 68(4)303--313
-
Bodies, 76(3)337--347
-
Bodlaender, Hans L., 49(4)301--312
-
Bodlaender:2002:RUP, 49(4)301--312
-
Boer, Frank de, 73(4)561--582
-
Boer, Frank de, see Guillen-Scholten, Juan
-
Boer, Frank S. de, 63(4)309--330, 63(4)385--410, 82(4)391--463
-
Boer, Frank S. de, see Sirjani, Marjan,
see Ábrahám, Erika
-
Böhm, 45(1)53--77
-
Boldface, 44(1)183--208
-
Boldini, Pascal, 42(2)105--127
-
Boldini:2000:FCI, 42(2)105--127
-
Bolikowski, {\L}ukasz, 78(2)199--216
-
Bolikowski:2007:NMP, 78(2)199--216
-
Bonchi, Filippo, 89(4)479--510, 94(3)305--330
-
Bonchi:2008:UBE, 89(4)479--510
-
Bonchi:2009:NBA, 94(3)305--330
-
Bond, 87(3)269--285
-
Bono, Viviana, 51(1)13--41
-
Bono:2002:PPS, 51(1)13--41
-
Bonsangue, Marcello, 73(4)561--582
-
Bonsangue, Marcello, see Guillen-Scholten, Juan
-
Bontemps, Yves, 62(2)139--169
-
Bontemps:2004:SOR, 62(2)139--169
-
Boolean, 50(3)265--284, 76(1)129--145, 77(3)277--291, 84(1)81--97,
85(1)89--95, 89(2)289--305
-
Boosting, 96(1)89--109
-
Border, 91(3)547--562
-
Bordihn, Henning, 55(3)243--254, 76(3)239--254, 76(3)255--270
-
Bordihn, Henning, see Aydin, Suna,
see Bensch, Suna
-
Bordihn:2007:CDG, 76(3)255--270
-
Borel, 62(3)333--342, 66(3)277--298, 95(2)287--303
-
Borkowski, M., 47(3)307--323
-
Borkowski, M., see Peters, James F.
-
Boryczka, Mariusz, 68(1)1--19
-
Boryczka:2005:EIA, 68(1)1--19
-
Borzyszkowski, Andrzej M., 43(1)21--48
-
Borzyszkowski, Andrzej M., see Bednarczyk, Marek A.
-
Borzyszkowski, Tomasz, 66(3)199--219, 85(1)19--33
-
Borzyszkowski, Tomasz, see Bednarczyk, Marek A.
-
Borzyszkowski:2005:GIF, 66(3)199--219
-
Bos, V., 41(4)367--392
-
Bos:2000:FPS, 41(4)367--392
-
Bosch, Louis ten, 90(3)229--249
-
Botta, Marco, 78(4)487--505
-
Botta, Marco, see Galassi, Ugo
-
Bottlenecks, 50(2)223--241
-
Boucheneb, Hanifa, 88(4)469--495
-
Boucheneb:2008:MET, 88(4)469--495
-
Boudol, Gerard, 53(2)105--129
-
Boudol, Gerard, see Amadio, Roberto
-
bound, 70(3)261--275
-
Boundary, 78(2)217--238, 78(3)417--447
-
Bounded, 51(1)135--156, 55(2)167--185, 63(1)65--87, 63(2)221--240,
65(1)173--191, 68(1)47--102, 79(1)229--256, 80(1)147--167
-
Bounded, Time-, 58(3)273--293, 95(1)129--155
-
Bounds, Two-, 76(1)25--37
-
Bournez, Olivier, 74(4)409--433
-
Bournez:2006:RAC, 74(4)409--433
-
Bouyer, Patricia, 92(1)1--25
-
Bouyer:2009:URT, 92(1)1--25
-
Boves, Lou, 90(3)229--249
-
Boves, Lou, see Bosch, Louis ten
-
box, 54(4)295--344, 76(1)189--218, 87(3)367--406
-
Boyer, Marc, 88(3)225--249
-
Boyer:2008:CEA, 88(3)225--249
-
Bozga, Marius, 91(2)275--303
-
Bozga:2009:FPC, 91(2)275--303
-
Bozhenkova, Elena N., 43(1)1--20
-
Bozhenkova, Elena N., see Andreeva, Maria V.
-
Bozzato, Loris, 96(3)253--269
-
Bozzato:2009:ACS, 96(3)253--269
-
Bracketed, 64(1)229--239
-
Brackets, 64(1)229--239
-
Brain, 88(1)161--176, 97(1)199--214
-
Branching, 43(1)245--267, 72(1)347--361, 73(1)27--36, 87(3)287--311,
93(4)371--392
-
Brattka, Vasco, 83(1)1--19
-
Brattka, Vasco, see Archibald, Margaret
-
Bravenboer, Martin, 69(1)123--178
-
Bravenboer:2006:PTS, 69(1)123--178
-
Bravetti, Mario, 89(4)451--478
-
Bravetti:2008:FTC, 89(4)451--478
-
Brazil, M., 84(1)135--149
-
Brazil, M., see Weng, J. F.
-
Bretto, Alain, 80(4)415--433, 91(3)533--546
-
Bretto, Alain, see Gillibert, Luc,
see Hébert, Céline
-
Breysse, Olivia, 78(2)217--238
-
Breysse:2007:NAC, 78(2)217--238
-
Bria, Annamaria, 96(3)271--295
-
Bria:2009:NFN, 96(3)271--295
-
Bridges, D. S., 83(1)25--34
-
Bridges:2008:PC, 83(1)25--34
-
Bridging, 75(1)385--406
-
Brijder, Robert, 75(1)49--75
-
Brijder, Robert, see Bernardini, Francesco
-
Brocki, {\L}ukasz, 96(4)477--491, see Kotowski, Stefan
-
Broda, Sabine, 45(1)33--51
-
Broda:2001:CTP, 45(1)33--51
-
Broersen, Jan, 48(2)107--128
-
Broersen:2001:FPC, 48(2)107--128
-
Brogi, Antonio, 73(4)431--478, 73(4)z--z, 89(4)479--510, 94(3)305--330
-
Brogi, Antonio, see Bonchi, Filippo
-
Brogi:2006:FAS, 73(4)431--478
-
Brogi:2006:FCL, 73(4)z--z
-
Brückner, Ingo, 89(4)369--392
-
Bruckner:2008:SA, 89(4)369--392
-
Bruijn, Jos de, 82(3)213--236
-
Brzostowski, Krzysztof, 96(4)465--475
-
Brzostowski:2009:DAM, 96(4)465--475
-
BTC, 78(2)239--255
-
Buchholz, Thomas, 52(1)15--38
-
Buchholz:2002:IAL, 52(1)15--38
-
Büchi, 50(1)1--13, 70(1)127--154
-
Büchi, Martin, 44(1)25--61
-
Buchi:2000:FRC, 44(1)25--61
-
Bucket, 90(1)73--86
-
Budzy{\'n}ska, Katarzyna, 85(1)51--65, 93(1)65--79
-
Budzynska:2008:LRA, 85(1)51--65
-
Budzynska:2009:PSA, 93(1)65--79
-
Bueno, Orestes, 84(1)111--133
-
Bueno:2008:PTM, 84(1)111--133
-
Buffered, 70(1)155--170
-
Bugaj, Ewa, Madali{\'n}ska-, 44(1)95--131, 57(2)193--213,
94(1)49--61
-
Bui, Alain, 80(4)363--378
-
Bui:2007:HCT, 80(4)363--378
-
Building, 41(4)433--447, 86(4)371--409, 87(2)227--245, 94(3)413--437,
97(3)321--329
-
built, 46(1)97--128, 90(4)379--393, 96(1)89--109
-
Bulling, Nils, 93(1)81--96
-
Bulling:2009:WAC, 93(1)81--96
-
Burderi, Fabio, 74(4)435--446
-
Burderi:2006:HTD, 74(4)435--446
-
Burgin, Mark, 91(1)53--77
-
Burgin:2009:UTM, 91(1)53--77
-
Burkhard, Hans-Dieter, 43(1)z--z, 47(3)201--215, 47(3)z--z, 51(1)z--z,
51(3)251--270, 54(2)z--z, 55(2)z--z, 60(1)z--z, 67(1)z--z,
75(1)281--294, 85(1)123--137
-
Burkhard, Hans-Dieter, see Czaja, Ludwik,
see Göhring, Daniel
-
Burkhard:2000:P, 43(1)z--z
-
Burkhard:2001:P, 47(3)z--z
-
Burkhard:2001:SDC, 47(3)201--215
-
Burkhard:2002:RTC, 51(3)251--270
-
Burkhard:2003:Pa, 54(2)z--z
-
Burkhard:2003:Pb, 55(2)z--z
-
Burkhard:2004:P, 60(1)z--z
-
Burkhard:2005:CSP, 67(1)z--z
-
Burkhardt, Stefan, 56(1)51--70
-
Burkhardt:2003:BFG, 56(1)51--70
-
Burmester, Mike, 42(1)61--73
-
Burmester, Mike, see Wang, Yongge
-
Burrieza, Alfredo, 68(1)21--46
-
Burrieza:2005:MLA, 68(1)21--46
-
Burstall, Rod, 45(1)79--115
-
Burstall, Rod, see Sato, Masahiko
-
Burton, Jonathan, 59(1)1--37
-
Burton:2004:RCP, 59(1)1--37
-
Busch, J., 76(1)1--11
-
Busch:2007:OBA, 76(1)1--11
-
Busi, Nadia, 44(3)209--244
-
Busi:2000:CTC, 44(3)209--244
-
Busse, Jerzy W., Grzymala-, 85(1)205--217, 94(2)121--131
-
Bußmeier, Michael, Kohler-, 93(1)205--219
-
Bußmeier, Michael, Köhler-, 85(1)329--342
-
Buszkowski, Wojciech, 75(1)107--121
-
Buszkowski:2007:RSL, 75(1)107--121
-
Butt, Muhammad Akmal, 41(1)91--129
-
Butt, Muhammad Akmal, see Maragos, Petros
-
Butucaru, Dumitru, Potop-, 78(1)131--159
-
by-Construction, Correct-, 78(1)131--159
-
Byrski, Aleksander, 95(2)263--285, 95(2)325--348
-
Byrski, Aleksander, see Schaefer, Robert
-
Byrski:2009:SME, 95(2)263--285
-
Byzantine, 89(2)161--187