Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
B
-
B, 12(3)182--198, 17(4)390--422, 19(3)277--302, 23(1)3--19, 23(6)683--709,
28(2)295--323
-
B, Event-, 20(1)61--77, 23(1)73--89, 23(1)113--131,
23(1)133--150, 24(1)97--125, 24(4)555--567, 26(2)251--280,
26(2)281--303, 27(1)53--77, 27(3)499--523, 28(6)909--935,
31(1)95--129, 31(3)287--320, 32(2)251--273, 32(4)361--393
-
Babi{\'c}, Domagoj, 25(3)389--403
-
Babic:2013:PTN, 25(3)389--403
-
Bacci, Giovanni, 33(1)3--25
-
Bacci:2021:ORC, 33(1)3--25
-
Back, Jonathan, 21(6)541--569, 26(5)1033--1076
-
Back, Jonathan, see Ruksenas, Rimvydas,
see Ruk{\v{s}}{\.e}nas, Rimvydas
-
Back, R. J. R., 2(1)247--272, 8(3)324--346, 15(2)103--117
-
Back, Ralph, 9(5)469--483
-
Back, Ralph-J. J., 4(6)582--591
-
Back, Ralph-J. J., see Francez, Nissim
-
Back, Ralph-Johan, 12(1)18--40, 12(5)313--349, 17(1)69--90,
21(3)227--244, 22(5)629--661, 24(1)67--95
-
Back, Ralph-Johan, see Preoteasa, Viorel
-
Back:1990:RCF, 2(1)247--272
-
Back:1996:SRR, 8(3)324--346
-
Back:1997:SCP, 9(5)469--483
-
Back:2000:CRS, 12(1)18--40
-
Back:2000:EDD, 12(5)313--349
-
Back:2003:CAS, 15(2)103--117
-
Back:2005:ATP, 17(1)69--90
-
Back:2009:IBP, 21(3)227--244
-
Back:2010:SDU, 22(5)629--661
-
Backhouse, Roland, 1(1)19--84
-
Backhouse:1989:DIY, 1(1)19--84
-
Backus, 20(3)239--240
-
backwards, 9(3)331--348
-
Badban, Bahareh, 17(3)342--388
-
Badban:2005:VSW, 17(3)342--388
-
Badouel, Éric, 13(6)447--470
-
Badouel:2002:DFA, 13(6)447--470
-
Baeten, J. C. M., 3(2)142--188, 5(6)481--529, 6(3)250--268,
8(2)188--208, 24(4)497--518
-
Baeten, J. C. M., see Markovski, J.
-
Baeten:1991:RTP, 3(2)142--188
-
Baeten:1993:RSP, 5(6)481--529
-
Baeten:1994:SCA, 6(3)250--268
-
Baeten:1996:DTP, 8(2)188--208
-
Bagheri, Hamid, 28(3)441--467, 30(5)525--544
-
Bagheri:2016:MDS, 28(3)441--467
-
Bagheri:2018:FAD, 30(5)525--544
-
Bagnara, Roberto, 17(2)222--257
-
Bagnara:2005:NCC, 17(2)222--257
-
Baier, Christel, 9(4)425--445, 30(1)45--75
-
Baier, Christel, see Chrszon, Philipp
-
Baier:1997:CBI, 9(4)425--445
-
Bailes, Cecily, 8(3)347--368
-
Bailes, Cecily, see Duke, Roger
-
Bailey, Andrew M., 9(4)395--408
-
Bailey, Andrew M., see Josephs, Mark B.
-
Bakery, 28(2)325--341
-
Bakli, Kamel, 27(1)33--52
-
Bakli, Kamel, see Yazid, Mohand
-
Balancing, 27(3)475--497
-
B{\u{a}}l{\u{a}}nescu, Tudor, 12(6)473--484
-
Balanescu:2000:GSX, 12(6)473--484
-
Balcázar, José, 4_1S_638_648
-
Balcazar:1992:DBC, 4_1S_638_648
-
Ballarin, Clemens, 22(2)193--213
-
Ballarin, Clemens, see Aransay, Jesús
-
Banach, R., 11(5)498--540
-
Banach, Richard, 22(1)33--61, 23(1)113--131, 25(3)439--464,
25(4)573--607, 25(4)609--657, 26(2)319--366, 31(4)453--454
-
Banach:1999:SRM, 11(5)498--540
-
Banach:2010:AAT, 22(1)33--61
-
Banach:2011:REB, 23(1)113--131
-
Banach:2013:AFR, 25(3)439--464
-
Banach:2013:MGFa, 25(4)573--607
-
Banach:2013:MGFb, 25(4)609--657
-
Banach:2014:CKA, 26(2)319--366
-
Banach:2019:BRJ, 31(4)453--454
-
Banerjee, Kunal, 29(2)365--379
-
Banerjee:2017:DBR, 29(2)365--379
-
Banks, Michael J., 26(5)963--992
-
Banks:2014:ICF, 26(5)963--992
-
Bantegui, Michael, 25(6)847--891
-
Bantegui, Michael, see Fu, Xiang
-
Bañuelos, Luciano, García-, 28(4)597--613
-
Bao, Yang, 33(3)343--384
-
Bao, Yang, see Yang, Zhibin
-
Bao, Yuyan, 30(3)381--441
-
Bao:2018:USL, 30(3)381--441
-
Baranov, Eduard, 28(2)207--231
-
Baranov, Eduard, see Attie, Paul
-
Barbanera, Franco, 28(4)697--722
-
Barbanera:2016:RCS, 28(4)697--722
-
Barbosa, Luís S., 27(2)375--395,
see Madeira, Alexandre
-
Barbuti, Roberto, 20(4)351--377
-
Barbuti:2008:BCM, 20(4)351--377
-
Barendregt, Henk, 13(3)422--429
-
Barendregt:2002:ATM, 13(3)422--429
-
Baresi, L., 32(1)33--70
-
Baresi:2020:UFV, 32(1)33--70
-
Barkaoui, Kamel, 20(4)349--350
-
Barkaoui:2008:GE, 20(4)349--350
-
Barnard, Philip, 21(6)513--539
-
Barnard, Philip, see Su, Li
-
Barnat, Jirí, 28(1)45--63
-
Barnat:2016:ASR, 28(1)45--63
-
Barone-Adesi, Katerina, 23(5)627--648
-
Barone-Adesi, Katerina, see Braghin, Chiara
-
Barrett, Geoff, 3(2)110--128
-
Barrett:1991:FPT, 3(2)110--128
-
barrier, 16(1)36--50, 33(3)437--455
-
Barringer, H., 7(5)533--549
-
Barringer:1995:MI, 7(5)533--549
-
Barros, José Bernardo, 24(2)217--248
-
Barros:2012:ABS, 24(2)217--248
-
Barsotti, Damián, 19(3)321--341
-
Barsotti:2007:VCS, 19(3)321--341
-
Bartha, Tamás, 28(3)345--379, see Molnár, Vince
-
Barua, Rana, 16(2)96--103
-
Barua:2004:CCN, 16(2)96--103
-
based, 4_1S_597_611, 5(4)289--298, 6(6)659--675, 7(2)113--149,
9(4)409--424, 10(2)160--170, 18(2)120--142, 18(3)263--263,
21(3)227--244, 21(5)397--420, 22(3)327--344, 24(4)793--805,
25(5)743--768, 26(3)441--490, 26(3)491--535, 26(3)591--621,
27(3)525--549, 29(2)365--379, 29(3)531--557, 31(3)353--374,
32(1)71--111, 32(2)275--314, 32(4)361--393, 32(4)417--437,
33(4)575--615
-
Based, Abstraction-, 10(4)381--404
-
based, action-, 9(2)175--207, 16(1)5--18
-
based, agent-, 23(6)711--737
-
Based, Analogy-, 13(3)403--421
-
based, ASM-, 28(4)567--595
-
based, Assertion-, 24(2)217--248
-
based, assertion-, 19(2)205--224
-
based, automata-, 27(4)641--664
-
based, CCS-, 5(5)467--479
-
based, -, 33(4)575--615
-
based, checking-, 23(5)627--648
-
based, component-, 28(1)21--43, 28(6)937--1004, 29(6)951--986,
29(6)987--1011
-
based, computer-, 19(2)225--241
-
based, Constraint-, 24(4)569--594
-
based, Contract-, 28(1)79--107
-
based, data-, 33(6)1209--1248
-
based, design-, 25(1)107--131
-
based, Event-, 28(4)531--566
-
based, event-, 31(2)133--163
-
based, failure-, 7(4)440--468
-
based, family-, 30(1)45--75
-
based, Invariant-, 22(1)63--81
-
based, local-analysis-, 31(3)375--409
-
based, mission-, 27(2)423--472
-
based, Model-, 30(1)77--106, 30(5)545--569, 33(2)251--295
-
based, model-, 29(2)335--364
-
based, multi-pattern-, 19(3)363--374
-
based, progress-, 20(2)141--160
-
based, Proof-, 27(2)335--374
-
based, prover-, 25(5)683--721
-
based, Refinement-, 26(2)367--405
-
based, refinement-, 17(2)138--159, 33(6)1009--1036
-
based, refusals-, 20(3)277--294
-
Based, Schema-, 15(1)48--83
-
based, semantics-, 3(4)315--325
-
based, state-, 6(5)471--494, 7(3)266--288
-
Based, Stream-, 13(1)1--31
-
based, stream-, 26(5)865--918
-
based, tableau-, 23(6)739--779
-
based, Trace-, 21(1)187--223
-
based, transformation-, 7(6)587--619, 22(3)297--326
-
based, translation-, 23(1)43--71
-
based, Variability-, 30(1)133--162
-
basic, 5(5)391--431, 7(4)440--468, 21(3)227--244
-
Basile, Davide, 33(6)957--987
-
Basile:2021:AAT, 33(6)957--987
-
Basin, David, 19(1)63--91
-
Basin:2007:VSA, 19(1)63--91
-
basis, 4_1S_776_780, 31(2)133--163
-
Basuki, Thomas Anung, 21(6)571--588
-
Basuki:2009:MCU, 21(6)571--588
-
Bataineh, Omar, Al-, 27(5)917--949
-
Battery-aware, 31(2)261--285
-
Bauch, Petr, 28(1)45--63
-
Bauch, Petr, see Barnat, Jirí
-
Baumann, Peter, 3(4)315--325
-
Baumann:1991:TSB, 3(4)315--325
-
Bäumler, Simon, 23(1)91--112
-
Baumler:2011:PLT, 23(1)91--112
-
Bayley, Ian, 16(1)19--35
-
Bayley, Ian, see Martin, Clare
-
Becker, Bernd, 29(4)629--649
-
Becker, Bernd, see Hatefi, Hassan
-
Beckert, Bernhard, 17(4)423--442, 25(3)405--437
-
Beckert:2005:RRP, 17(4)423--442
-
Beckert:2013:DLD, 25(3)405--437
-
Bedregal, Benjamín R. Callejas, 18(2)231--243,
see Santiago, Regivan H. Nunes
-
Beek, Maurice H ter, 33(4)459--460
-
Beek, Maurice H ter, see McIver, Annabelle
-
behavior, 24(2)249--266, 25(4)543--572
-
behavioral, 16(3)210--237, 28(1)21--43, 28(4)597--613
-
behaviour, 2(1)123--138, 3(3)253--283, 5(3)253--281, 11(2)132--159,
21(6)571--588, 22(3)217--241, 27(5)917--949
-
behavioural, 3(4)326--345, 11(6)637--664, 26(2)251--280, 30(1)3--43
-
Beierle, Christoph, 8(4)428--462, 8(5)539--564
-
Beierle:1996:RTW, 8(5)539--564
-
Beierle:1996:SCP, 8(4)428--462
-
Beillahi, Sidi Mohamed, 31(3)321--351
-
Beillahi:2019:MVF, 31(3)321--351
-
beliefs, 29(2)227--249
-
Bella, Giampaolo, 26(1)3--36
-
Bella:2014:ISC, 26(1)3--36
-
Benes, Nikola, 28(1)45--63
-
Benes, Nikola, see Barnat, Jirí
-
Benmoussa, Mohamed Mahdi, 28(5)805--845
-
Benmoussa, Mohamed Mahdi, see André, Étienne
-
Bensalem, Saddek, 29(6)951--986
-
Bensalem, Saddek, see Nazarpour, Hosein
-
Benzmüller, Christoph, 11(3)326--342,
see Siekmann, Jörg
-
Beran, Jan, 28(1)45--63
-
Beran, Jan, see Barnat, Jirí
-
Bergstra, J. A., 3(2)142--188, 5(6)481--529, 6(3)250--268, 8(2)188--208,
12(1)1--17, 19(4)445--474, 23(4)567--583
-
Bergstra, J. A., see Baeten, J. C. M.
-
Bergstra:2000:PAC, 12(1)1--17
-
Bergstra:2007:TAS, 19(4)445--474
-
Bergstra:2011:TAP, 23(4)567--583
-
Berlin, 31(4)453--454
-
Bernardo, Marco, 10(4)313--337
-
Bernardo:1998:FPM, 10(4)313--337
-
Bernhard, 31(5)641--642
-
Bersani, M. M., 32(1)33--70
-
Bersani, M. M., see Baresi, L.
-
Bersani, Marcello M., 32(2)187--227
-
Bersani:2020:PSR, 32(2)187--227
-
Bertolotti, Ivan Cibrario, 20(3)303--348
-
Bertolotti:2008:ERA, 20(3)303--348
-
Bertot, Yves, 11(3)225--243
-
Bertot:1999:CSD, 11(3)225--243
-
Best, Eike, 2(1)123--138, 4(6)572--581
-
Best:1990:POB, 2(1)123--138
-
Best:1992:CGH, 4(6)572--581
-
Betin-Can, Aysu, 19(2)243--268
-
Betin-Can:2007:HDC, 19(2)243--268
-
Bevier, William R., 4_1S_755_775
-
Bevier:1992:MCP, 4_1S_755_775
-
beyond, 1(1)320--338, 21(4)319--346
-
Bezem, Marc, 9(1)1--48
-
Bezem:1997:FPA, 9(1)1--48
-
Bhaduri, Purandar, 20(2)205--224
-
Bhaduri:2008:ISP, 20(2)205--224
-
Bhattacharyya, Anirban, 29(2)251--307
-
Bhattacharyya:2017:ECF, 29(2)251--307
-
Bicarregui, J. C., 18(2)143--151
-
Bicarregui, Juan, 10(5)532--549
-
Bicarregui:1998:IIT, 10(5)532--549
-
Bicarregui:2006:VSR, 18(2)143--151
-
Bidoit, Michel, 13(3)252--273
-
Bidoit:2002:ASC, 13(3)252--273
-
Bienmüller, Tom, 29(5)911--931, see Schrammel, Peter
-
Bientinesi, Paolo, 25(6)933--945
-
Bientinesi:2013:DDL, 25(6)933--945
-
Biere, Armin, 14(3)267--280
-
Biere, Armin, see Schuppan, Viktor
-
bigraphs, 25(2)257--288, 26(3)537--561
-
BigrTiMo, 33(2)207--249
-
Billing, Nelson, 26(6)1205--1229
-
Billing, Nelson, see Daum, Matthias
-
Billington, David, 8(1)108--126
-
Billington:1996:CIG, 8(1)108--126
-
binding, 13(3)341--363, 23(4)433--463, 25(2)257--288
-
Binkley, David W., 18(2)103--119
-
Binkley:2006:FRB, 18(2)103--119
-
Biondi, Fabrizio, 31(2)165--206
-
Biondi:2019:HSE, 31(2)165--206
-
biphase, 6(1)60--91, 18(4)433--458
-
Bird, R. S., 5(1)61--78
-
Bird, Richard, 11(2)200--222
-
Bird, Richard S., 24(4)609--621
-
Bird--Meertens, 7(6)663--682
-
Bird:1993:LP, 5(1)61--78
-
Bird:1999:GFN, 11(2)200--222
-
Bird:2012:BCS, 24(4)609--621
-
Birkedal, Lars, 25(2)257--288
-
Birkedal, Lars, see Damgaard, Troels C.
-
Birkhoff, 29(5)805--832
-
Bisgaard, Morten, 31(2)261--285
-
Bisgaard:2019:BAS, 31(2)261--285
-
bisimilarity, 4_1S_638_648
-
bisimulation, 5(1)1--20, 8(6)648--678, 19(4)475--485, 20(4)351--377,
24(4)749--768, 28(1)109--143, 28(3)381--407, 29(2)365--379,
31(6)733--749
-
bit, 16(4)332--351
-
Bj{\o}rner, Dines, 20(3)239--240, 29(2)175--225
-
Bj{\o}rner, Nikolaj, 30(5)493--494
-
Bjorner:2008:JWB, 20(3)239--240
-
Bjorner:2017:MDA, 29(2)175--225
-
Bjorner:2018:E, 30(5)493--494
-
Black--White, 28(2)325--341
-
black-box, 23(4)513--539
-
Blaming, 22(5)547--583
-
Blandford, Ann, 12(4)237--259, 19(4)513--550, 21(6)541--569,
26(5)1033--1076
-
Blandford, Ann, see Butterworth, Richard,
see Curzon, Paul, \see{Ruksenas, Rimvydas,
see Ruk{\v{s}}{\.e}nas, Rimvydas
-
blending, 19(1)3--33
-
Bliudze, Simon, 28(2)207--231
-
Bliudze, Simon, see Attie, Paul
-
block, 2(1)312--330
-
blocking, 8(3)347--368
-
blocking, non-, 25(6)893--931
-
Bloem, 31(4)455--456
-
Bloom, Bard, 6(3)317--338
-
Bloom:1994:WPT, 6(3)317--338
-
Blyth, Andrew, 8(3)376--378
-
Blyth, Andrew, see Matthews, Brian
-
Bobot, François, 33(1)65--86, see Dutle, Aaron
-
Boca, Paul, 21(3)225--225
-
Boca:2009:E, 21(3)225--225
-
Bocchi, Laura, 22(3)243--268, 23(4)433--463, 29(5)877--910
-
Bocchi, Laura, see Fiadeiro, José Luiz,
see Neykova, Rumyana
-
Bocchi:2010:SPS, 22(3)243--268
-
Bochmann, Gregor V., 29(4)583--600
-
Bochmann:2017:SVC, 29(4)583--600
-
bodies, 8(1)108--126
-
Boer, F. S. de, 6_1S_741_742
-
Boer, Frank de, 6(3)269--316, 30(5)493--494
-
Boer, Frank de, see America, Pierre,
see Bj{\o}rner, Nikolaj
-
Boer, Frank S. de, 33(4)617--636
-
Bogdanov, K., 18(1)3--30
-
Bogdanov:2006:TMX, 18(1)3--30
-
Bohórquez V., Jaime A., 22(5)611--627
-
BohorquezV:2010:EUA, 22(5)611--627
-
Boiten, E., 17(4)389--389
-
Boiten, Eerke, 10(2)125--159, 13(2)111--127, 15(2)182--214,
18(3)263--263, 21(1)1--1, 21(1)65--102, 22(1)1--1, 24(1)1--1,
26(1)1--2, 26(2)407--432, 33(6)1037--1037
-
Boiten, Eerke, see Cabot, Jordi,
see Derrick, John
-
Boiten, Eerke A., 26(2)195--195, 26(2)305--317
-
Boiten:2005:GEI, 17(4)389--389
-
Boiten:2006:GEE, 18(3)263--263
-
Boiten:2009:E, 21(1)1--1
-
Boiten:2009:RCR, 21(1)65--102
-
Boiten:2010:E, 22(1)1--1
-
Boiten:2012:E, 24(1)1--1
-
Boiten:2014:Ea, 26(1)1--2
-
Boiten:2014:Eb, 26(2)195--195
-
Boiten:2014:IEO, 26(2)305--317
-
Bol, Roland, 9(1)1--48
-
Bol, Roland, see Bezem, Marc
-
Bolton, Christie, 18(2)181--210
-
Bolton:2006:SFS, 18(2)181--210
-
Bonakdarpour, Borzoo, 27(1)1--31
-
Bonakdarpour:2015:SBT, 27(1)1--31
-
Bonsangue, Marcello, 33(4)617--636
-
Bonsangue, Marcello, see Boer, Frank S. de
-
Bonsangue, Marcello M., 6_1S_788_800
-
Bonsangue:1994:WPC, 6_1S_788_800
-
Book, 1(1)137--144, 1(1)293--301, 1(1)412--415, 2(1)196--202,
3(1)102--105, 3(2)206--212, 4(1)143--144, 4(5)493--496,
4(6)592--593, 5(3)282--284, 5(4)383--384, 5(6)571--572,
6_1S_846_848, 6(2)245--246, 7(1)106--110, 7(2)226--229,
7(3)348--351, 7(4)469--472, 7(5)581--585, 8(2)245--246,
8(3)376--378, 8(4)498--498, 10(3)307--310, 29(6)1121--1122,
30(3)491--492, 30(6)759--759, 30(6)761--762, 31(4)453--454,
31(4)455--456, 31(5)641--642, 32(1)147--148, 32(1)149--151
-
Boolean, 29(3)475--494, 31(1)27--46
-
Borälv, Arne, 10(4)338--360
-
Boralv:1998:CSF, 10(4)338--360
-
Börger, 30(6)761--762
-
Börger, Egon, 8(4)428--462, 8(5)539--564, 15(2)237--257,
19(2)225--241, 23(1)1--2, see Beierle, Christoph
-
Borger:2003:ARM, 15(2)237--257
-
Borger:2007:CAG, 19(2)225--241
-
Borger:2011:E, 23(1)1--2
-
Bornat, Richard, 11(3)244--271, 21(5)393--395, 22(6)735--772,
25(6)893--931
-
Bornat:1999:MGU, 11(3)244--271
-
Bornat:2009:PLC, 21(5)393--395
-
Bornat:2010:IPB, 22(6)735--772
-
Bornat:2013:ETN, 25(6)893--931
-
Boroday, S., 18(1)63--83
-
Boroday, S., see Hallal, H. H.
-
Boronat, Artur, 22(3)269--296
-
Boronat:2010:ASM, 22(3)269--296
-
Borrione, Dominique, 20(3)241--258
-
Borrione, Dominique, see Schmaltz, Julien
-
Bortolussi, Luca, 25(4)503--541
-
Bortolussi, Luca, see Galpin, Vashti
-
Bos, Victor, 15(4)370--389
-
Bos:2003:RSE, 15(4)370--389
-
Boström, Pontus, 26(2)281--303, 28(1)79--107,
see Wiik, Jonatan
-
Bostrom:2014:DCP, 26(2)281--303
-
Botaschanjan, Jewgenij, 20(6)637--662
-
Botaschanjan:2008:CUL, 20(6)637--662
-
Botella, Bernard, 30(6)629--657
-
Botella, Bernard, see Petiot, Guillaume
-
Bouallouche-Medjkoune, Louiza, 27(1)33--52
-
Bouallouche-Medjkoune, Louiza, see Yazid, Mohand
-
Boucheneb, Hanifa, 20(2)225--238
-
Boucheneb:2008:ITC, 20(2)225--238
-
Boudol, G., 6(2)165--200
-
Boudol:1994:TPL, 6(2)165--200
-
Boudriga, Noureddine, 4(6)544--571
-
Boudriga:1992:LSA, 4(6)544--571
-
Boulgakov, Alexandre, 28(3)381--407
-
Boulgakov:2016:CMW, 28(3)381--407
-
Boulton, Richard, 13(3)403--421
-
Boulton, Richard, see Whittle, Jon
-
bound, 22(6)667--679
-
bounded, 23(3)365--389, 29(5)911--931
-
bounded-time, 27(1)1--31
-
Bouneb, Messaouda, 27(5)951--973
-
Bouneb:2015:RML, 27(5)951--973
-
Bousquet, Lydie du, 12(4)228--230
-
Bousquet, Lydie du, see Dupuy, Sophie
-
Boute, Raymond, 21(3)225--225
-
Boute, Raymond, see Boca, Paul
-
Bouyer, Patricia, 24(4)595--607, 33(1)3--25
-
Bouyer, Patricia, see Bacci, Giovanni
-
Bouyer:2012:TIF, 24(4)595--607
-
Bowen, 29(6)1121--1122
-
Bowen, Jonathan, 6(6)643--658, 8(2)245--246
-
Bowen, Jonathan, see Jifeng, He
-
Bowen, Jonathan P., 18(1)42--62, 25(3)343--343, 30(6)761--762,
32(1)147--148, 32(2)275--314
-
Bowen, Jonathan P., see Sheng, Feng,
see Vilkomir, Sergiy A.
-
Bowen, Judy, 21(6)589--612
-
Bowen:1996:BR, 8(2)245--246
-
Bowen:2009:RUI, 21(6)589--612
-
Bowen:2013:E, 25(3)343--343
-
Bowen:2018:BRE, 30(6)761--762
-
Bowen:2020:BRG, 32(1)147--148
-
Bowman, H., 10(5)550--575
-
Bowman, Howard, 10(2)125--159, 11(2)132--159, 18(4)459--493,
21(6)513--539, 26(6)1169--1204
-
Bowman, Howard, see Derrick, John, \see{Su, Li
-
Bowman:1998:AVL, 10(5)550--575
-
Bowman:1999:ACB, 11(2)132--159
-
Bowman:2006:HST, 18(4)459--493
-
box, black-, 23(4)513--539
-
Boyer--Moore, 4_1S_597_611, 5(2)121--151
-
Bozga, Marius, 29(6)951--986
-
Bozga, Marius, see Nazarpour, Hosein
-
Bozzano, Marco, 25(4)573--607, 25(4)609--657, 31(1)59--94,
33(2)251--295
-
Bozzano, Marco, see Banach, Richard
-
Bozzano:2019:FRA, 31(1)59--94
-
Bozzano:2021:MBS, 33(2)251--295
-
Brabrand, Claus, 31(2)231--259
-
Brabrand, Claus, see Dimovski, Aleksandar S.
-
Bracciali, A., 24(2)267--302
-
Bracciali, A., see Massink, M.
-
Bradfield, Julian, 6_1S_846_848, 7(1)106--110
-
Bradfield, Julian, see Atkinson, M. D.,
see Wright, Joakim von
-
Bradley, Aaron R., 20(4)379--405
-
Bradley:2008:PDI, 20(4)379--405
-
Braghin, Chiara, 23(5)627--648
-
Braghin:2011:MCB, 23(5)627--648
-
Brain, Martin, 29(5)911--931
-
Brain, Martin, see Schrammel, Peter
-
Braitling, Bettina, 29(4)629--649
-
Braitling, Bettina, see Hatefi, Hassan
-
branch, 30(1)107--131
-
Branching, 2(1)24--59
-
Brebner, Gordon, 5(5)467--479
-
Brebner:1993:CBI, 5(5)467--479
-
Breu, Ruth, 8(6)706--715
-
Breu:1996:ASF, 8(6)706--715
-
Brim, Lubos, 28(1)45--63
-
Brim, Lubos, see Barnat, Jirí
-
Brink, C., 7(2)169--182
-
Brink, C., see Rewitzky, I.
-
Brink, Chris, 6(3)339--358, 10(1)1--29
-
Brink, Chris, see Rewitzky, Ingrid
-
Brink:1994:PA, 6(3)339--358
-
Britz, Katarina, 6(3)339--358
-
Britz, Katarina, see Brink, Chris
-
Broad-Spectrum, 13(3)196--213
-
Broadcast, 16(3)194--209
-
Brock, Simon, 5(4)383--384, 7(4)469--472
-
Brock, Simon, see Davie, Tony
-
Brock:1995:BR, 7(4)469--472
-
Brogi, Antonio, 31(4)421--451
-
Brogi:2019:ECM, 31(4)421--451
-
Bronish, Derek, 23(5)607--626
-
Bronish, Derek, see Sitaraman, Murali
-
Brooke, Phillip J., 19(4)487--512, 21(4)303--303, 21(4)363--391,
27(1)133--166
-
Brooke, Phillip J., see Paige, Richard F.,
see Zhu, H.
-
Brooke:2007:CME, 19(4)487--512
-
Brooke:2009:CAM, 21(4)363--391
-
Brookes, Stephen, 26(3)435--439
-
Brookes:2014:ER, 26(3)435--439
-
Brown, Geoffrey, 8(2)209--237, 9(5)537--559
-
Brown, Geoffrey, see O'Leary, John
-
Brown, Geoffrey M., 23(3)243--266
-
Brown:1996:RHC, 8(2)209--237
-
Brown:2011:AVR, 23(3)243--266
-
Browne, Anca, 12(4)218--219
-
Browne:2000:CPS, 12(4)218--219
-
Broy, M., 17(1)1--18
-
Broy, M., see Herzberg, D.
-
Broy, Manfred, 3(1)21--57, 8(1)1--2, 15(4)297--298, 16(3)165--165,
20(4)349--350, 20(6)637--662
-
Broy, Manfred, see Barkaoui, Kamel,
see Botaschanjan, Jewgenij
-
Broy:1991:TFF, 3(1)21--57
-
Broy:1996:E, 8(1)1--2
-
Broy:2003:EWT, 15(4)297--298
-
Broy:2004:E, 16(3)165--165
-
Brucker, Achim D., 25(5)683--721
-
Brucker:2013:TPB, 25(5)683--721
-
Bruni, Roberto, 30(6)685--711
-
Bruni:2018:COA, 30(6)685--711
-
Bruns, Glenn, 6(1)92--112
-
Bruns:1994:FAC, 6(1)92--112
-
BSP, 23(4)421--432
-
Bu, Lei, 33(3)301--323
-
Bu:2021:MLS, 33(3)301--323
-
Bucci, A., 5(2)91--120
-
Bucci, Paolo, 23(5)607--626
-
Bucci, Paolo, see Sitaraman, Murali
-
Bucci:1993:EIS, 5(2)91--120
-
Büchi, 21(3)259--275, 33(2)185--205
-
budgeting, Time-, 26(3)591--621
-
Bué, Pierre-Christophe, 23(1)3--19,
see Julliand, Jacques
-
buffer, 4(5)487--492, 22(6)735--772
-
bug, 30(1)107--131, 33(6)1147--1172
-
build, 19(2)269--272
-
building, 2(1)331--341, 23(5)607--626, 24(4)609--621, 28(2)265--293
-
Bultan, Tevfik, 19(2)243--268
-
Bultan, Tevfik, see Betin-Can, Aysu
-
Bundy, Alan, 13(3)403--421, 31(1)95--129
-
Bundy, Alan, see Lin, Yuhui, \see{Whittle, Jon
-
Bunkenburg, Alexander, 10(1)76--96
-
Bunkenburg, Alexander, see Morris, Joseph M.
-
Burns, A., 19(1)111--136
-
Burns:2007:EPV, 19(1)111--136
-
Burstall, 13(3)187--193, 13(3)194--194, 13(3)195--195
-
Burton, C. T., 1(1)147--171
-
Burton, C. T. P., 4_1S_693_726
-
Burton:1989:SAM, 1(1)147--171
-
Burton:1992:PM, 4_1S_693_726
-
Bus, 14(3)247--266
-
business, 21(5)495--510, 22(3)459--482
-
Butler, Michael, 7(1)37--53, 12(3)182--198, 14(1)2--34, 16(4)313--331,
18(3)263--263, 20(1)61--77, 22(1)1--1, 24(4)555--567, 25(3)343--343,
27(3)473--473, 27(3)499--523, 27(4)611--612, 28(2)179--180
-
Butler, Michael, see Boiten, Eerke,
see Bowen, Jonathan P.,
see Eleftherakis, George,
see Fathabadi, Asieh Salehi,
see Giannakopoulou, Dimitra,
see Hallerstede, Stefan
-
Butler:1995:ASU, 7(1)37--53
-
Butler:2000:CPA, 12(3)182--198
-
Butler:2002:UDR, 14(1)2--34
-
Butler:2008:IDM, 20(1)61--77
-
Butler:2012:EIC, 24(4)555--567
-
Butler:2015:E, 27(4)611--612
-
Butler:2016:E, 28(2)179--180
-
Butterfield, Andrew, 23(2)153--170, 30(5)493--494
-
Butterfield, Andrew, see Bj{\o}rner, Nikolaj
-
Butterfield:2011:DSH, 23(2)153--170
-
Butterworth, Richard, 12(4)237--259
-
Butterworth:2000:DCP, 12(4)237--259
-
button, push-, 23(5)607--626
-
by-construction, Correct-, 28(3)409--440
-
Byers, Paddy, 6(5)471--494
-
Byers, Paddy, see Pitt, David
-
bytecode, 20(3)259--275