Last update: Thu Jun 29 02:46:00 MDT 2023
Return to index directory
B
-
B, 122(3)227--274
-
Baader, Franz, 126(1)1--35
-
Baader:2013:LEO, 126(1)1--35
-
Babaei, Afshin, 151(1)135--143
-
Babaei:2017:AAS, 151(1)135--143
-
Babu, P., 139(1)43--65
-
Babu, P., see Kumar, Paulraj Ranjith
-
Bachmann, Jörg Peter, 102(1)1--17
-
Bachmann:2010:TIL, 102(1)1--17
-
Back, 150(1)25--48
-
back, Look-, 107(4)379--413
-
Back-edges, 111(4)391--412
-
Backprojection, 135(1)1--19
-
Backward, 133(1)55--85
-
Bacterial, 153(1)87--103
-
Badia, Antonio, 158(4)327--352
-
Badia:2018:DSF, 158(4)327--352
-
Badouel, Eric, 108(1)119--149, 146(1)35--82, 154(1)1--13
-
Badouel, Eric, see Raclet, Jean-Baptiste
-
Badouel:2016:PNS, 146(1)35--82
-
Badouel:2017:IPD, 154(1)1--13
-
Baelde, David, 150(3)z--z
-
Baelde:2017:P, 150(3)z--z
-
Bagchi, Susmit, 145(4)405--427
-
Bagchi:2016:PFP, 145(4)405--427
-
Baier, Christel, 130(1)1--20
-
Baier:2014:SRC, 130(1)1--20
-
Baioletti, Marco, 167(1)133--158
-
Baioletti, Marco, see Santucci, Valentino
-
Bajorek, Wojciech, 165(3)263--281
-
Bajorek, Wojciech, see Bazan, Jan G.
-
Bakel, Steffen van, 121(1)1--41
-
Balafoutis, Thanasis, 102(3)229--261
-
Balafoutis:2010:EIM, 102(3)229--261
-
Balaguer, Sandie, 123(3)245--272
-
Balaguer:2013:BON, 123(3)245--272
-
Balakrishnan, Ramadoss, 161(3)299--316
-
Balakrishnan, Ramadoss, see S, Smrithy G.
-
Balances, 132(1)33--61
-
Balancing, 146(3)293--304
-
Balázs, Péter, 125(3)343--359, 135(1)103--115, 141(2)135--150,
141(2)151--167, see Hantos, Norbert
-
Balazs:2015:MDC, 141(2)151--167
-
Balbiani, Philippe, 129(4)301--327
-
Balbiani:2014:DCB, 129(4)301--327
-
Baldan, Paolo, 140(1)1--38, 160(1)27--52
-
Baldan:2015:CVN, 140(1)1--38
-
Baldan:2018:PNM, 160(1)27--52
-
Baldoni, Matteo, 159(1)1--33
-
Baldoni:2018:CBA, 159(1)1--33
-
Baleanu, Dumitru, 151(1)161--171
-
Baleanu, Dumitru, see Jafari, Hossein
-
Ball, Minimum-Enclosing-, 115(2)189--202
-
Ballier, Alexis, 110(1)45--57
-
Ballier:2011:LSS, 110(1)45--57
-
Ballot, 117(1)287--309
-
Baltzer, Nicholas, 127(1)273--288
-
Baltzer, Nicholas, see Kruczyk, Marcin
-
Ban, Ha Bang, 156(1)21--41
-
Ban:2017:MHA, 156(1)21--41
-
Banach, 151(1)109--133
-
Banacha, 127(1)357--367
-
Banbara, Mutsunori, 102(3)467--487
-
Banbara, Mutsunori, see Soh, Takehide
-
Bandyopadhyay, Sanghamitra, 106(1)45--73
-
Bandyopadhyay, Sanghamitra, see Saha, Indrajit
-
Banerjee, Mohua, 127(1)1--15, 141(1)37--55
-
Banerjee, Mohua, see Chakraborty, Mihir K.,
see Kumar, Arun
-
Banerjee, Romi, 124(1)197--229
-
Banerjee, Romi, see Pal, Sankar K.
-
Bang--Big, 126(4)319--333
-
Banu-Demergian, Iulia Teodora, 131(3)313--336
-
Banu-Demergian:2014:TFR, 131(3)313--336
-
Barabasz, Pomykala-, 104(4)385--392
-
Bárány, Vince, 100(1)1--17
-
Barany:2010:ECQ, 100(1)1--17
-
Barash, Mikhail, 154(1)15--24
-
Barash:2017:FFS, 154(1)15--24
-
Barbuti, Roberto, 102(1)19--34, 103(1)1--29, 112(1)1--17,
147(2)173--191
-
Barbuti:2010:FDP, 103(1)1--29
-
Barbuti:2010:NBD, 102(1)19--34
-
Barbuti:2011:MPP, 112(1)1--17
-
Barbuti:2016:SPR, 147(2)173--191
-
Barcucci, Elena, 125(3)313--328
-
Barcucci:2013:SMD, 125(3)313--328
-
Barlatier, Patrick, 104(4)293--327
-
Barlatier, Patrick, see Dapoigny, Richard
-
Baroglio, Cristina, 159(1)1--33
-
Baroglio, Cristina, see Baldoni, Matteo
-
Barták, Roman, 99(2)125--145, 149(1)35--60
-
Bartak:2010:SSP, 99(2)125--145
-
Bartak:2016:ESI, 149(1)35--60
-
Bartl, Eduard, 156(2)141--168
-
Bartl:2017:RFC, 156(2)141--168
-
Bartoletti, Massimo, 134(3)219--259
-
Bartoletti:2014:CCE, 134(3)219--259
-
Barylska, Kamila, 157(4)341--357
-
Barylska:2018:RTB, 157(4)341--357
-
base, 99(2)187--205, 104(3)227--238, 104(4)349--384, 120(1)29--58,
136(4)381--404, 136(4)433--460, 139(2)127--151, 148(1)35--50
-
based, 98(1)1--14, 98(2)257--275, 98(2)277--281, 101(4)321--333,
102(1)77--96, 104(1)161--183, 107(1)105--109, 109(2)179--188,
111(1)33--45, 111(1)65--79, 112(4)337--363, 114(3)325--344,
115(2)189--202, 117(1)199--213, 119(3)421--437, 120(1)59--70,
123(2)143--170, 123(2)171--197, 124(1)111--132, 125(3)361--376,
126(1)83--101, 126(4)301--318, 127(1)49--64, 127(1)151--160,
127(1)209--223, 127(1)241--256, 127(1)325--340, 127(1)369--384,
127(1)385--398, 128(1)143--158, 128(4)475--501, 131(2)241--251,
132(3)331--347, 132(3)349--363, 132(3)423--438, 133(1)55--85,
133(1)87--104, 135(3)243--268, 135(4)537--551, 136(3)199--208,
136(3)241--252, 136(4)461--474, 137(2)273--290, 137(3)369--386,
137(4)457--491, 138(3)321--338, 138(4)387--409, 139(1)43--65,
139(2)211--227, 139(3)229--248, 141(4)275--295, 142(1)183--194,
142(1)195--212, 142(1)237--267, 143(1)1--18, 144(1)45--75,
145(2)111--124, 148(1)107--122, 148(1)133--155, 152(3)297--321,
152(4)373--396, 153(1)57--86, 153(1)105--124, 155(4)449--480,
156(2)209--235, 157(4)359--370, 158(4)385--407, 159(3)197--256,
161(1)29--51, 161(1)75--111, 161(4)423--445, 163(4)325--337,
164(1)17--39, 164(2)181--194, 164(2)195--205, 164(2)243--257,
164(2)277--288, 165(2)99--137, 165(3)263--281, 165(3)303--319,
166(3)273--296, 168(2)219--230, 168(2)231--248, 168(2)335--351,
169(3)237--274
-
Based, Ant-, 128(1)143--158
-
Based, Apriori-, 130(3)343--376
-
based, Attribute-, 163(4)395--411
-
based, Automata-, 131(1)27--53
-
based, BDD-, 109(3)305--321
-
Based, Bisimulation-, 133(2)287--303, 157(4)385--401
-
Based, Case-, 149(1)209--240
-
based, Certificate-, 141(1)95--114
-
based, CHR-, 124(4)365--381
-
based, Commitment-, 159(1)1--33
-
based, Component-, 108(1)119--149
-
based, Consistency-, 136(4)381--404
-
Based, Constraint-, 152(4)341--372
-
based, Content-, 135(3)309--329
-
based, Covering-, 128(4)503--526, 156(2)237--254
-
based, Distance-, 137(3)355--367
-
based, Dominance-, 115(1)25--56
-
based, Expansion-, 167(1)59--92
-
Based, Feature-, 106(1)75--91
-
based, Fitness-, 163(2)205--223
-
Based, Fusion-, 159(4)361--383
-
Based, Gender-, 162(4)237--258
-
Based, Grammar-, 111(3)313--337
-
Based, Identity-, 111(2)241--256, 114(1)103--103,
150(2)179--210
-
based, Identity-, 145(2)171--187
-
based, Lexicon-, 124(1)27--46
-
Based, Location-, 98(1)33--47
-
Based, Logic-, 105(1)35--55, 105(1)135--161, 109(4)481--481
-
based, Logic-, 124(4)503--519, 124(4)543--560, 161(1)113--133
-
based, Mass-, 166(3)227--249
-
Based, Net-, 129(1)49--67
-
based, Nets-, 130(4)423--466
-
Based, Object-, 132(2)203--238, 135(1)43--57
-
Based, Operation-, 164(4)327--344
-
Based, Opposition-, 164(2)227--242
-
based, Opposition-, 163(2)205--223
-
based, Order-, 141(1)37--55
-
based, Pattern-, 144(2)109--160
-
based, Permutation-, 167(1)133--158
-
based, Reason-, 158(1)217--238
-
based, Region-, 113(3)343--376
-
based, Relation-, 147(4)477--491
-
based, Rule-, 140(3)329--355, 148(1)35--50
-
Based, SAT-, 120(2)181--203
-
based, SAT-, 102(3)467--487, 119(3)373--392, 143(1)173--205
-
based, Set-, 127(1)273--288
-
based, Sets-, 142(1)117--143
-
Based, Similarity-, 101(3)187--213
-
based, Simulation-, 160(1)167--179
-
Based, SMT-, 135(4)467--482
-
based, SMT-, 152(4)411--433
-
based, Specialization-, 124(4)483--502
-
based, TDOA-, 135(1)199--210
-
based, Trivium-, 114(3)359--373
-
based, Typicality-, 161(1)163--189
-
based, Vector-, 126(4)397--414
-
Bashirov, Rza, 160(1)167--179
-
Bashirov:2018:SSB, 160(1)167--179
-
Bashkin, Vladimir A., 109(3)223--236, 120(3)243--257
-
Bashkin:2011:RDA, 109(3)223--236
-
Bashkin:2012:CRD, 120(3)243--257
-
Basic, 144(2)161--182
-
Basile, Teresa M. A., 129(3)251--277
-
Basile, Teresa M. A., see Di Mauro, Nicola
-
Basis, 111(1)47--63
-
Ba{\c{s}}kent, Can, 118(3)207--223
-
Baskent:2012:PAL, 118(3)207--223
-
Basu, Nilanjana G., 152(1)1--12
-
Basu, Tanmay, 141(4)275--295
-
Basu:2015:SBS, 141(4)275--295
-
Basu:2017:FMM, 152(1)1--12
-
Batenburg, K. Joost, 125(3)239--259, 135(1)1--19
-
Batenburg, K. Joost, see Plantagie, Linda
-
Batenburg, Kees Joost, 125(3)223--237, 135(1)21--42, 146(2)219--230,
163(1)1--20
-
Batenburg, Kees Joost, see Bleichrodt, Folkert,
see Sarkissian, Henri Der,
see Segers, Hilde,
see Viganò, Nicola
-
Batenburg:2013:ADR, 125(3)239--259
-
Batmanov, Kirill, 118(4)419--461
-
Batmanov:2012:SOP, 118(4)419--461
-
Battaglino, Daniela, 141(2)191--205
-
Battaglino, Daniela, see Frosini, Andrea
-
Battyányi, Péter, 134(1)39--50
-
Battyanyi:2014:DMC, 134(1)39--50
-
Bawa, Vivek Singh, 168(2)335--351
-
Bawa, Vivek Singh, see Sharma, Shailza
-
Baxter, 117(1)179--188
-
Bayes, 119(1)61--86
-
Bayesian, 103(1)53--67, 105(4)435--466, 107(4)415--434, 125(2)135--152,
127(1)161--176, 128(4)475--501, 155(4)373--405, 155(4)449--480
-
Bazan, Jan G., 119(3)421--437, 127(1)495--511, 143(1)1--18,
143(1)19--34, 147(2)193--207, 165(3)263--281
-
Bazan, Jan G., see Buregwa-Czuma, Sylwia,
see Skowron, Andrzej
-
Bazan-Socha, Stanislawa, 143(1)1--18, 147(2)193--207
-
Bazan-Socha, Stanislawa, see Bazan, Jan G.,
see Buregwa-Czuma, Sylwia
-
Bazan:2013:DKT, 127(1)495--511
-
Bazan:2016:CBD, 143(1)1--18
-
Bazan:2016:CBP, 143(1)19--34
-
Bazan:2019:CBD, 165(3)263--281
-
Bazhenov, Nikolay, 167(4)257--269
-
Bazhenov:2019:CCA, 167(4)257--269
-
Bazilevi\vc, bi-, 151(1)49--62
-
BDD, 104(3)239--253
-
BDD-based, 109(3)305--321
-
BDI, 127(1)479--494
-
Beaton, Nicholas R., 117(1)19--33
-
Beaton:2012:SNS, 117(1)19--33
-
Becker, Bernd, 107(2)139--166
-
Becker, Bernd, see Lewis, Matthew
-
Bee, 136(3)241--252
-
Beenhouwer, Jan, De, 135(1)21--42
-
Beeps, 153(3)199--219
-
Behavior, 98(2)183--198, 124(3)251--270, 133(2)133--147, 143(1)101--112,
160(1)167--179
-
Behavioral, 106(2)191--209, 143(1)19--34
-
Behavioural, 113(3)399--435
-
Behaviours, 102(1)129--143, 104(1)1--15, 120(2)111--144
-
Belardinelli, Francesco, 106(2)175--190, 112(1)19--37
-
Belardinelli:2011:FOL, 106(2)175--190
-
Belardinelli:2011:MCT, 112(1)19--37
-
Belief, 99(2)147--168, 100(1)53--76, 102(1)35--48, 136(4)381--404
-
Belitskii, 118(3)253--279
-
Bell, Paul C., 116(1)1--13, 123(1)1--14
-
Bell:2012:CCM, 116(1)1--13
-
Bell:2013:DPP, 123(1)1--14
-
Bellatreche, Ladjel, 162(4)i--iii
-
Bellatreche:2018:P, 162(4)i--iii
-
Bellia, Marco, 109(3)237--253, 119(3)249--264, 128(1)17--33,
133(2)105--121, 143(1)35--49
-
Bellia:2011:PJS, 109(3)237--253
-
Bellia:2012:ERT, 119(3)249--264
-
Bellia:2013:JST, 128(1)17--33
-
Bellia:2014:DTW, 133(2)105--121
-
Bellia:2016:PSA, 143(1)35--49
-
Bellin, Gianluigi, 130(1)21--65
-
Bellin:2014:CCI, 130(1)21--65
-
Bellodi, Elena, 159(1)65--93
-
Bellodi, Elena, see Gavanelli, Marco
-
Belohlavek, Radim, 115(4)279--295
-
Belohlavek:2012:RCS, 115(4)279--295
-
Beltrametti, Enrico, 115(1)1--14
-
Beltrametti:2012:EQC, 115(1)1--14
-
Benedetti, Irene, 150(1)25--48
-
Benedetti:2017:AFV, 150(1)25--48
-
Benefits, 158(1)121--148
-
Benferhat, Salem, 99(2)147--168, 105(4)435--466
-
Benferhat, Salem, see Kenaza, Tayeb
-
Benferhat:2010:FIB, 99(2)147--168
-
Bensch, Suna, 136(1)z--z, 148(3)z--z
-
Bensch:2015:P, 136(1)z--z
-
Bensch:2016:P, 148(3)z--z
-
Benslimane, Djamal, 162(4)259--281
-
Benslimane, Djamal, see Ennaji, Fatima Zohra
-
Bent, 111(4)413--422, 114(3)271--285, 146(3)271--292
-
Bentahar, Jamal, 152(3)223--271
-
Bentahar, Jamal, see El Kholy, Warda
-
Bentayeb, Fadila, 132(2)203--238
-
Bentayeb, Fadila, see Boukraa, Doulkifli
-
Benthem, Johan van, 100(1)19--41
-
Benveniste, Albert, 108(1)119--149
-
Benveniste, Albert, see Raclet, Jean-Baptiste
-
Bera, Sahadev, 138(3)321--338
-
Bera:2015:FAG, 138(3)321--338
-
Bérard, Beatrice, 143(3)235--259
-
Bérard, Béatrice, 161(4)317--349
-
Berard:2016:ITA, 143(3)235--259
-
Berard:2018:CDO, 161(4)317--349
-
Berardi, Stefano, 150(3)259--280
-
Berardi:2017:NMP, 150(3)259--280
-
Bergenthum, Robin, 137(1)117--142
-
Bergenthum:2015:VSP, 137(1)117--142
-
Bergenti, Federico, 140(3)393--412, 161(1)9--27
-
Bergenti, Federico, see Rossi, Gianfranco
-
Bergenti:2018:CLP, 161(1)9--27
-
Bergh, Frans van den, 105(4)341--374
-
Berghammer, Rudolf, 126(1)37--82
-
Berghammer:2013:DRC, 126(1)37--82
-
Bergstra, J. A., 103(1)31--52, 120(2)111--144, 128(4)367--412,
138(4)411--434, 149(3)297--309, 153(1)29--55
-
Bergstra, Jan A., 99(4)355--382
-
Bergstra:2010:DLD, 103(1)31--52
-
Bergstra:2010:IGP, 99(4)355--382
-
Bergstra:2012:BPI, 120(2)111--144
-
Bergstra:2013:DLA, 128(4)367--412
-
Bergstra:2015:AEI, 138(4)411--434
-
Bergstra:2016:ISS, 149(3)297--309
-
Bergstra:2017:CTP, 153(1)29--55
-
Bernardinello, Luca, 105(3)211--235, 133(4)323--344, 154(1)25--36
-
Bernardinello:2010:COL, 105(3)211--235
-
Bernardinello:2014:CSO, 133(4)323--344
-
Bernardinello:2017:STS, 154(1)25--36
-
Bernstorff, Charlotte von, 129(1)133--147
-
Bernstorff, Charlotte von, see Kurbalija, Vladimir
-
Beros, Achilles A., 146(4)431--459
-
Beros:2016:CSD, 146(4)431--459
-
Bertolusso, Roberto, 118(4)327--343
-
Bertolusso:2012:SSE, 118(4)327--343
-
Bertoni, Alberto, 115(1)125--139
-
Bertoni:2012:SCD, 115(1)125--139
-
Bès, Alexis, 164(1)1--15
-
Bes:2019:CDF, 164(1)1--15
-
Best, Eike, 102(1)129--143, 113(3)179--203, 119(3)357--372,
140(1)39--59, 149(4)401--418, 161(4)i--ii
-
Best, Eike, see Aalst, Wil van der,
see Oshevskaya, Elena,
see Virbitskaite, Irina
-
Best:2011:SPP, 113(3)179--203
-
Best:2015:SLB, 140(1)39--59
-
Better, 123(1)59--76, 130(2)219--229
-
Betts, Jack, 135(4)341--353
-
Betts:2014:EDI, 135(4)341--353
-
Bettuzzi, Matteo, 125(3)361--376
-
Bettuzzi, Matteo, see Fedele, Roberto
-
Bezem, Marc, 170(1)1--14
-
Bezem:2019:STC, 170(1)1--14
-
Bhandari, Dinabandhu, 120(2)145--164
-
Bhandari:2012:VSC, 120(2)145--164
-
Bhattacharya, Bhargab B., 99(3)315--324, 138(3)321--338
-
Bhattacharya, Bhargab B., see Bera, Sahadev,
see Majumder, Subhashis
-
Bhattacharya, Bhaswar B., 107(4)331--343
-
Bhattacharya:2011:FWP, 107(4)331--343
-
bi-Bazilevi\vc, 151(1)49--62
-
Bi-connected, 135(3)295--308
-
Bi-objective, 135(4)483--501
-
Bianchi, Maria Paola, 104(1)1--15, 112(2)119--135
-
Bianchi:2010:BUQ, 104(1)1--15
-
Bianchi:2011:SUP, 112(2)119--135
-
Biautomata, 136(1)113--137
-
Biclustering, 161(3)275--297, 167(3)193--217
-
Biedrzycki, Rafa{\l}, 168(2)185--218
-
Biedrzycki:2019:DLO, 168(2)185--218
-
Bifurcation, 135(1)199--210
-
Big, 126(4)319--333
-
Big, Bang-, 126(4)319--333
-
Big-step, 103(1)137--172
-
Bigraphs, 134(3)287--317
-
Bijective, 117(1)179--188
-
Bilotta, Stefano, 117(1)35--55, 125(3)329--342, 156(1)1--19
-
Bilotta:2012:PAB, 117(1)35--55
-
Bilotta:2013:PDP, 125(3)329--342
-
Bilotta:2017:PAL, 156(1)1--19
-
Bimanual, 112(1)89--101
-
Bimonte, Sandro, 132(2)267--290
-
Bimonte:2014:OFD, 132(2)267--290
-
Binary, 99(4)435--471, 101(3)157--171, 111(1)47--63, 114(3)301--308,
116(1)15--23, 116(1)251--263, 117(1)35--55, 129(4)301--327,
135(1)21--42, 137(3)413--424, 141(2)135--150, 141(2)151--167,
153(1)105--124, 155(4)321--340
-
Bio-semantics, 160(1)53--80
-
Bio-Turing, 110(1)309--320
-
Biochemical, 129(1)49--67
-
Biography, 138(1)273--284
-
Bioinformatics, 128(3)255--280
-
Biological, 102(1)19--34, 124(1)111--132, 153(1)1--28
-
Biology, 103(1)235--246, 118(4)385--401
-
Biomodel, 116(1)51--63
-
Biomolecular, 128(4)463--474
-
Bipartite, 132(1)15--31, 156(2)237--254
-
bipartite, Edge-, 119(2)149--162, 124(3)309--338, 125(1)21--49,
136(4)345--379, 139(2)153--184, 139(2)185--209, 139(3)249--275,
145(1)19--48, 145(1)49--80, 146(2)121--144, 146(2)145--177,
152(2)185--222, 153(4)367--398
-
Bipolar, 98(2)283--320, 115(1)25--56
-
birthday, 98(4)z--z, 103(1)1--29, 116(1)z--z, 117(1)85--101, 153(1)v--vi
-
Biryukov, Alex, 114(3)221--237
-
Biryukov:2012:CFA, 114(3)221--237
-
Bis-Quaternary, 132(3)315--330
-
Bisht, Raj Kishor, 166(3)199--226
-
Bisht:2019:WMR, 166(3)199--226
-
Bisimilarity, 105(3)319--339
-
Bisimulation, 135(4)355--369, 149(4)363--383
-
Bisimulation-Based, 133(2)287--303, 157(4)385--401
-
BIST, 119(2)163--185
-
Bistarelli, Stefano, 105(1)57--78, 111(3)257--279, 124(4)383--401,
134(3)261--285, 140(3)263--278, 149(1)z--z, 150(1)25--48,
166(2)139--140
-
Bistarelli, Stefano, see Benedetti, Irene
-
Bistarelli:2010:SDC, 105(1)57--78
-
Bistarelli:2011:NSC, 111(3)257--279
-
Bistarelli:2013:CAA, 124(4)383--401
-
Bistarelli:2014:SNM, 134(3)261--285
-
Bistarelli:2015:CTE, 140(3)263--278
-
Bistarelli:2016:P, 149(1)z--z
-
Bistarelli:2019:SIK, 166(2)139--140
-
Biswas, Arindam, 138(3)321--338, 159(3)297--325, 162(1)73--100
-
Biswas, Arindam, see Bera, Sahadev,
see Sarkar, Apurba
-
Bit, 104(1)55--69, 138(4)411--434
-
Bit-Parallel, 99(4)409--433
-
BITES, 109(3)323--337
-
Bivariate, 113(2)97--115, 117(1)287--309
-
Bjarnason, Ingi Th, 146(2)211--217
-
Bjarnason, Ingi Th., see Smaglichenko, Tatyana A.
-
Blackboard, 152(4)323--339
-
Blackhole, 112(2)137--156
-
B{\l}aszczak, Jan, 132(3)315--330,
see Pa{\l}kowski, {\L}ukasz
-
B{\l}aszczy{\'n}ski, Jerzy, 126(4)377--395, 132(3)315--330,
see Deng, Weibin,
see Pa{\l}kowski, {\L}ukasz
-
Blazewicz, Jacek, 118(3)225--244, 118(4)385--401
-
Blazewicz:2012:CIC, 118(4)385--401
-
Blazewicz:2012:RMG, 118(3)225--244
-
Bleichrodt, Folkert, 135(1)21--42
-
Bleichrodt:2014:API, 135(1)21--42
-
Blending, 129(1)85--100
-
Bliem, Bernhard, 147(1)27--61
-
Bliem:2016:DFS, 147(1)27--61
-
block, 111(4)453--464, 145(2)111--124
-
Blondeau-Fournier, Olivier, 117(1)57--83
-
Blondeau-Fournier:2012:HLP, 117(1)57--83
-
Blood, 147(2)193--207
-
Bloom, 109(4)369--381
-
Bloom, Stephen L., 99(4)383--407
-
Bloom:2010:AO, 99(4)383--407
-
Blum, 152(4)397--409
-
BMC, 119(3)373--392
-
BNF, 133(2)257--270, 168(2)89--184
-
Bocci, Martina, 160(1)27--52
-
Bocci, Martina, see Baldan, Paolo
-
Bock, Koen W., De, 98(1)49--70
-
Böckenhauer, Hans-Joachim, 110(1)59--76
-
Bockenhauer:2011:HRM, 110(1)59--76
-
Bodies, 135(1)73--102, 141(2)169--189
-
Bodini, Olivier, 117(1)85--101
-
Bodini:2012:BGB, 117(1)85--101
-
Boer, Frank S. de, 159(3)197--256
-
Boffa, Stefania, 163(2)139--163
-
Boffa, Stefania, see Aguzzoli, Stefano
-
Böhm, Walter, 117(1)103--125
-
Bohm:2012:KST, 117(1)103--125
-
Boja{\'n}czyk, Miko{\l}aj, 98(4)337--349, 154(1)37--46
-
Bojanczyk:2010:BCM, 98(4)337--349
-
Bojanczyk:2017:IUI, 154(1)37--46
-
Bollig, Benedikt, 130(4)377--407
-
Bollig, Benedikt, see Akshay, S.
-
Bomanson, Jori, 147(1)63--91
-
Bomanson:2016:ASP, 147(1)63--91
-
bonacci, 132(1)33--61
-
Bonacic, Carolina, 131(1)139--166
-
Bonacic, Carolina, see Gil-Costa, Veronica
-
Bonarini, Andrea, 98(1)1--14
-
Bonarini, Andrea, see Alcala-Fdez, Jesus
-
Bonds, 115(4)297--325
-
Bonds, -, 115(4)297--325
-
Bongartz, 123(3)317--329
-
Bonizzoni, Paola, 110(1)77--93, 154(1)47--63
-
Bonizzoni:2011:PLG, 110(1)77--93
-
Bonizzoni:2017:SDP, 154(1)47--63
-
Bono, Viviana, 103(1)137--172, 170(1)15--38
-
Bono, Viviana,
see Ku{\'s}mierek, Jaros{\l}aw Dominik Mateusz
-
Bono:2019:MLT, 170(1)15--38
-
Boolean, 99(3)339--354, 111(4)413--422, 114(3)359--373, 116(1)51--63,
122(4)275--295, 129(4)301--327, 135(3)229--241, 139(4)421--433,
161(3)275--297, 167(3)193--217
-
Bora, Piotr, 153(4)399--413
-
Bora, Piotr, see Wro{\'n}ski, Micha{\l}
-
Border, 129(1)149--159, 137(4)457--491
-
Bordihn, Henning, 104(1)z--z, 112(2)z--z, 138(1)85--95
-
Bordihn, Henning, see Alarcón, Pedro Pablo
-
Bordihn:2010:P, 104(1)z--z
-
Bordihn:2011:P, 112(2)z--z
-
Bordon, Jure, 160(1)81--100
-
Bordon:2018:SQM, 160(1)81--100
-
Borel, 98(4)337--349
-
Borowiecki, Piotr, 114(2)105--128
-
Borowiecki:2012:DCG, 114(2)105--128
-
Bortolussi, Luca, 118(3)245--252, 141(4)297--310
-
Bortolussi:2012:SPD, 118(3)245--252
-
Bortolussi:2015:CTG, 141(4)297--310
-
Boruta, 101(4)271--285
-
Borzyszkowski, Andrzej M., 166(1)15--28
-
Borzyszkowski:2019:ROP, 166(1)15--28
-
Bosquez, Oscar, Chávez-, 113(1)1--18
-
Bottom-Up, 109(4)405--424
-
Bottom-up, 103(1)247--287
-
Bottoni, Paolo, 131(3)337--349, 144(2)109--160
-
Bottoni:2014:ANE, 131(3)337--349
-
Bottoni:2016:PBR, 144(2)109--160
-
Boucher, Alain, 130(2)201--218
-
Boucher, Alain, see Lai, Hien Phuong
-
Boukraa, Doulkifli, 132(2)203--238
-
Boukraa:2014:COB, 132(2)203--238
-
bound, 101(3)215--236, 104(3)239--253, 111(4)413--422, 130(3)317--342,
130(4)409--414, 143(1)89--100, 145(3)229--242, 152(2)123--144,
155(1)89--110, 163(2)189--204, 163(4)351--374
-
Boundary, 107(4)415--434, 129(1)149--159, 133(2)241--255,
146(3)231--254, 151(1)91--108
-
Bounded, 99(4)473--480, 101(1)9--27, 109(3)305--321, 112(2)171--191,
123(1)1--14, 123(1)59--76, 135(4)467--482, 135(4)553--568,
140(1)39--59, 140(2)205--219, 143(1)173--205, 146(2)185--195,
157(4)341--357
-
Boundedness, 120(3)275--293
-
Bourguiba, Imen, 119(2)121--147
-
Bourguiba:2012:TEO, 119(2)121--147
-
Boussaid, Omar, 132(2)203--238
-
Boussaid, Omar, see Boukraa, Doulkifli
-
Boutara, Danae, 137(2)219--236
-
Boutara, Danae, see Anciaux, Nicolas
-
box, 167(4)323--354
-
Boys-and-girls, 117(1)85--101
-
Bozapalidis, Symeon, 150(2)143--177
-
Bozapalidis:2017:SS, 150(2)143--177
-
Bozóki, Sándor, 144(3)279--289,
see Ábele-Nagy, Kristóf
-
Bozzato, Loris, 161(1)29--51
-
Bozzato:2018:ABG, 161(1)29--51
-
BRACID, 148(1)51--64
-
Brady, Edwin, 102(2)145--176
-
Brady:2010:CCC, 102(2)145--176
-
Brain, 142(1)237--267, 163(1)41--62, 163(1)93--109, 168(2)249--268
-
branch, 98(4)337--349, 99(2)227--243
-
Branching, 122(1)31--58, 135(4)355--369, 150(3)379--406
-
Branching-Time, 143(3)339--353
-
Bravetti, Mario, 159(3)197--256
-
Bravetti, Mario, see Boer, Frank S. de
-
Breaking, 104(4)385--392
-
Brennan, Charlotte, 117(1)127--145
-
Brennan:2012:VLD, 117(1)127--145
-
Bridging, 98(4)z--z, 127(1)99--114
-
Brief, 138(1)61--76
-
Brigolin, Daniele, 160(1)27--52
-
Brigolin, Daniele, see Baldan, Paolo
-
Brijder, Robert, 116(1)15--23
-
Brijder:2012:BSM, 116(1)15--23
-
B{\v{r}}inda, Karel, 132(1)33--61
-
Brinda:2014:BBW, 132(1)33--61
-
Brito, Ismel, 102(3)263--286
-
Brito:2010:CTE, 102(3)263--286
-
Brlek, Sre{\v{c}}ko, 135(1)59--72
-
Brlek:2014:RWP, 135(1)59--72
-
Broadcast, 120(1)1--27, 143(3)287--316
-
Brocchi, Stefano, 125(3)313--328, 135(1)43--57, 143(3)261--286
-
Brocchi, Stefano, see Barcucci, Elena
-
Brocchi:2014:NAR, 135(1)43--57
-
Brocchi:2016:NSM, 143(3)261--286
-
Brouwer--Zadeh, 115(1)25--56
-
Brownian, 165(2)139--156
-
Brun, Emmanuel, 155(4)363--372
-
Brun, Francesco, 141(2)233--243
-
Brun:2015:EFS, 141(2)233--243
-
Brun:2017:FGO, 155(4)363--372
-
Brunelli, Matteo, 144(3)321--332
-
Brunelli:2016:RAI, 144(3)321--332
-
Brunetti, Sara, 146(2)185--195, 163(1)v--xiv
-
Brunetti:2016:ABA, 146(2)185--195
-
Brunetti:2018:P, 163(1)v--xiv
-
Bruni, Roberto, 134(3)287--317
-
Bruni:2014:HGR, 134(3)287--317
-
Brzezi{\'n}ska, Agnieszka, Nowak-, 127(1)341--356, 148(1)35--50
-
BTC-compressed, 109(2)121--134
-
Bucci, Michelangelo, 116(1)25--33
-
Bucci:2012:SCS, 116(1)25--33
-
Buchanan, 168(1)79--88
-
Büchi, 131(1)27--53
-
Buchs, Didier, 113(3)229--264, 137(1)87--116
-
Buchs, Didier, see Hostettler, Steve,
see Marechal, Alexis
-
Budzynska, Katarzyna, 128(1)239--253
-
Budzynska, Katarzyna, see Yaskorska, Olena
-
Budzy{\'n}ska, Katarzyna, 102(1)35--48
-
Budzynska:2010:UPB, 102(1)35--48
-
Buffer, 152(4)397--409
-
Bug, 140(1)61--87
-
Bugaj, Ewa, Madali{\'n}ska-, 136(4)381--404
-
Buhagiar, David, 115(1)15--24
-
Buhagiar:2012:CIP, 115(1)15--24
-
Building, 123(3)245--272
-
Bulk, 141(4)345--366
-
Buregwa-Czuma, Sylwia, 127(1)495--511, 143(1)1--18, 147(2)193--207
-
Buregwa-Czuma, Sylwia, see Bazan, Jan G.
-
Buregwa-Czuma:2016:MDC, 147(2)193--207
-
Burkhard, Hans-Dieter, 102(1)49--62, 129(1)133--147
-
Burkhard, Hans-Dieter, see Kurbalija, Vladimir
-
Burkhard:2010:AOT, 102(1)49--62
-
Bursting, 138(4)435--455
-
Burza{\'n}ska, Marta, 120(3)359--374,
see Wi{\'s}niewski, Piotr
-
Bus, 118(3)305--326
-
Bushin, Dmitry, 149(4)401--418
-
Bushin, Dmitry, see Virbitskaite, Irina
-
Business, 102(3)325--361, 161(1)75--111, 165(3)205--244
-
Bussche, Jan, Van den, 128(3)z--z
-
Busse, Jerzy W., Grzymala-, 100(1)99--116, 127(1)177--191,
132(3)365--379
-
Bußmeier, Michael, Köhler-, 101(1)29--43, 112(1)73--87,
120(3)325--339, 128(1)97--111, 129(1)101--115, 130(1)99--123,
135(4)387--401, 143(1)89--100
-
butterfly, 163(2)205--223
-
Butucaru, Dumitru, Potop-, 108(1)91--118
-
by-Construction, Correct-, 102(2)145--176
-
by-matching, Reduced-, 118(3)225--244
-
by-step, Step-, 154(1)15--24