Index file section B for lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Return to index directory
B
-
B, 873(0)346--z
-
{B}, Probe-, 866(0)598--z
-
{B}-spline, 800(0)417--426
-
{B}-Trees, 824(0)49--z
-
B-W, 815(0)39--z
-
Baader, F., 810(0)30--z, 861(0)51--z
-
Baader:1994:CET, 810(0)30--z
-
Baader:1994:CRC, 861(0)51--z
-
Baaz, M., 832(0)33--z, 861(0)392--z
-
Baaz:1994:NFC, 861(0)392--z
-
Baaz:1994:SPT, 832(0)33--z
-
Babaoglu, O., 857(0)1--z
-
Babaoglu:1994:RFM, 857(0)1--z
-
Babcock, J. D. S., 849(0)259--z
-
Babcock, J. D. S., see Dollas, A.
-
Babel, 844(0)461--z
-
Babich, F., 783(0)476--z
-
Babich:1994:CRM, 783(0)476--z
-
Baca, D., Fernandez-, 824(0)155--z
-
Bachmair, L., 814(0)435--z, 845(0)285--z
-
Bachmair:1994:BAC, 845(0)285--z
-
Bachmair:1994:OCT, 814(0)435--z
-
Back, 786(0)83--z, 827(0)225--z
-
Back, R. J. R., 836(0)367--z, 873(0)1--z
-
Back:1994:ASM, 873(0)1--z
-
Back:1994:TRA, 836(0)367--z
-
Background, 774(0)11--z
-
Backmarking, 874(0)21--z
-
Backofen, R., 845(0)320--z
-
Backofen:1994:HWG, 845(0)320--z
-
Backtrack, 832(0)106--z
-
Backtrack, Limited-, 880(0)318--329
-
Backtrack-Free, 778(0)136--z
-
Backtracking, 803(0)46--z, 874(0)243--z
-
backward, 815(0)39--z
-
Badaev, S. A., 813(0)140--z
-
Badaev, S. A., see Goncharov, S. S.
-
Badaloni, S., 827(0)101--z
-
Badaloni:1994:DTG, 827(0)101--z
-
Baden-Wurttemberg, 797(0)5--z
-
Badia, J. M., 879(0)33--40
-
Badia, R. M., 815(0)416--z
-
Badia, R. M., see Pastor, E.
-
Badia:1994:PCE, 879(0)33--40
-
Badler, N., 800(0)441--448
-
Badler, N., see Koh, E.
-
Badrinath, B. R., 779(0)245--258
-
Badrinath, B. R., see Imielinski, T.
-
Baeck, T., 866(0)159--z, 866(0)418--z
-
Baeck, T., see Hammel, U.
-
Baeck:1994:POE, 866(0)418--z
-
Baese, A., Meyer-, 849(0)397--z
-
Baeten, J. C. M., 827(0)30--z, 836(0)465--z
-
Baeten:1994:PAP, 836(0)465--z
-
Baeten:1994:RTP, 827(0)30--z
-
Baeza-Yates, R., 807(0)198--212
-
Baeza-Yates, R. A., 841(0)233--z
-
Baeza-Yates:1994:ABD, 841(0)233--z
-
Baeza-Yates:1994:PMU, 807(0)198--212
-
Bafna, V., 807(0)43--53
-
Bafna:1994:AAM, 807(0)43--53
-
Bagai, R., 821(0)236--z, 826(0)90--z
-
Bagai, R., see Alagic, S.
-
Bagai:1994:ACW, 826(0)90--z
-
Bagley, R. A., 854(0)616--z
-
Bagley:1994:CFU, 854(0)616--z
-
Bagrodia, R. L., 857(0)296--z
-
Bagrodia, R. L., see Tsay, Y.-K.
-
Bagrodia, Rajive, 768(0)76--z
-
Bagrodia, Rajive, see Prakash, Sundeep
-
Bahr, K., 868(0)216--z
-
Bahr:1994:ISF, 868(0)216--z
-
Bai, S., 872(0)56--z
-
Bai:1994:CLC, 872(0)56--z
-
Baiardi, F., 866(0)270--z
-
Baiardi, F., see Giani, A.
-
Bail, J.-L., Le, 851(0)133--z
-
Bailey, P., 854(0)593--z
-
Bailey:1994:SCF, 854(0)593--z
-
Bailor, Paul D., 750(0)389--z
-
Bailor, Paul D., see Hartrum, Thomas C.
-
Baiocchi, A., 783(0)33--z
-
Baiocchi:1994:GDC, 783(0)33--z
-
Bakel, S., Van, 813(0)353--z, 816(0)20--39
-
Baker, K. D., 800(0)341--352, 800(0)501--506
-
Baker, K. D., see Tan, T. N.,
see Worrall, A. D.
-
Baker, M., 797(0)158--z
-
Baker, S., 814(0)177--z
-
Baker:1994:EMC, 797(0)158--z
-
Baker:1994:NAE, 814(0)177--z
-
Bakker, J. W., De, 802(0)122--142
-
Balakrishnan, M., 849(0)99--z
-
Balakrishnan, M., see Naseer, A. R.
-
Balanced, 773(0)49--z
-
Balanced, Load-, 817(0)689--z
-
Balanchandar, S., 835(0)275--z
-
Balanchandar, S., see Cyre, W. R.
-
Balancing, 779(0)301--308, 797(0)273--z, 797(0)338--z, 817(0)277--z,
817(0)813--z, 817(0)819--z, 830(0)133--z, 854(0)854--z,
854(0)866--z
-
Balancing, Load-, 879(0)100--109
-
Balarin, F., 818(0)234--z, 820(0)364--z
-
Balarin, F., see Aziz, A.
-
Balarin:1994:ACN, 818(0)234--z
-
Balbach, F., 797(0)401--z, 852(0)371--z
-
Balbach, F., see Altmann, J., \see{Vounckx, J.
-
Balbiani, P., 850(0)95--z
-
Balbiani:1994:ESP, 850(0)95--z
-
Baldi, M., 772(0)35--z
-
Baldi:1994:SPP, 772(0)35--z
-
Baldwin, 866(0)6--z
-
Baldwin, J. F., 833(0)22--z, 847(0)10--z, 847(0)62--z
-
Baldwin:1994:FSF, 847(0)10--z
-
Baldwin:1994:QDF, 847(0)62--z
-
Baldwin:1994:TMA, 833(0)22--z
-
Baldy, P., 805(0)101--114
-
Baldy:1994:ERC, 805(0)101--114
-
Balfanz, D., 851(0)539--z
-
Balfanz, D., see Redlich, J.-P.
-
Baliga, G., 872(0)64--z
-
Baliga:1994:LHO, 872(0)64--z
-
Ballard, D. H., 800(0)274--285
-
Ballard:1994:SBO, 800(0)274--285
-
Balle, S. M., 879(0)41--50, 879(0)425--433
-
Balle, S. M., see Pedersen, P. M.
-
Balle:1994:SVD, 879(0)41--50
-
Ballistic, 855(0)436--z
-
Bampis, E., 817(0)122--z
-
Bampis:1994:OPE, 817(0)122--z
-
BAN, 765(0)240--z
-
{BAN}-Logic, 765(0)443--z
-
BAN-logic, 765(0)443--z--1
-
Banagl, M., 810(0)250--z
-
Banagl, M., see Nejdl, W.
-
Banatre, J.-P., 875(0)55--z
-
Banatre, Michel, 774(0)29--z
-
Banatre:1994:CTD, 875(0)55--z
-
Banatre:1994:SSM, 774(0)29--z
-
Banda, M., Garcia de la, 822(0)305--z, 874(0)151--z
-
Bandinelli, S., 772(0)15--z
-
Bandinelli:1994:ASP, 772(0)15--z
-
Bandwidth, 782(0)87--z, 817(0)677--z, 846(0)102--z, 846(0)259--z
-
Bandwidth, High-, 846(0)228--z
-
Banerjee, A., 802(0)587--602, 864(0)131--z
-
Banerjee:1994:CIL, 802(0)587--602
-
Banerjee:1994:SST, 864(0)131--z
-
Banking, 851(0)493--z
-
Banyan, Ring-, 852(0)511--z
-
Banzhaf, W., 866(0)322--z
-
Banzhaf:1994:GPM, 866(0)322--z
-
Bao, F., 834(0)678--z
-
Bao:1994:RAF, 834(0)678--z
-
Bar-Ilan, J., 820(0)47--z
-
Bar-Ilan, J., see Aumann, Y.
-
Bar-Ness, Y., 783(0)67--z
-
Bar-Ness, Y., see Siveski, Z.
-
Baralis, E., 819(0)172--z
-
Baralis:1994:IDS, 819(0)172--z
-
Barbanera, Franco, 789(0)495--z
-
Barbanera:1994:SLC, 789(0)495--z
-
Barcelona, 794(0)52--75
-
Barclay, P. J., 826(0)187--z
-
Barclay:1994:CLQ, 826(0)187--z
-
Barendsen, E., 776(0)51--z, 776(0)358--z
-
Barendsen, E., see Smetsers, S.
-
Barendsen:1994:EGR, 776(0)51--z
-
Bargaining, 812(0)317--324
-
Bark, Rod, 774(0)229--z
-
Bark:1994:FTP, 774(0)229--z
-
Barker, K., 858(0)313--z
-
Barker, K., see Graham, P.
-
Barker, R., 826(0)1--z
-
Barker, V. A., 879(0)51--58
-
Barker:1994:CES, 879(0)51--58
-
Barker:1994:MOS, 826(0)1--z
-
Barklund, J., 844(0)465--z
-
Barklund:1994:TFD, 844(0)465--z
-
Barnard, D., 873(0)639--z
-
Barnard, D., see Cuellar, J.
-
Barnes, K. M. S., 860(0)246--z
-
Barnes:1994:CIN, 860(0)246--z
-
Barnett, M., 797(0)330--z
-
Barnett, M., see Tritscher, S.
-
Barrado, C., 817(0)565--z
-
Barrado:1994:IG, 817(0)565--z
-
Barreiro, A., 763(0)347--z
-
Barreiro, A., see Otero, R. P.
-
Barrett, E., 825(0)47--z
-
Barrett:1994:RTD, 825(0)47--z
-
Barringer, H., 827(0)415--z
-
Barringer, H., see Dixon, C.
-
Barron, T. M., 823(0)352--z
-
Barron, T. M., see Chiang, R. H. L.
-
Barros, M., Alves de, 849(0)332--z
-
Barros, R. S. M., De, 873(0)703--z
-
Barros, S. R. M., 796(0)299--z
-
Barros:1994:MPV, 796(0)299--z
-
Barth, I., 868(0)104--z
-
Barth, P., 845(0)19--z
-
Barth:1994:ERM, 868(0)104--z
-
Barth:1994:SCS, 845(0)19--z
-
Barthelmann, K., 776(0)71--z
-
Barthelmann:1994:GGS, 776(0)71--z
-
Bartoli, A., 857(0)1--z
-
Bartoli, A., see Babaoglu, O.
-
Bartos, T., 849(0)117--z
-
Bartos:1994:FVT, 849(0)117--z
-
Barzdins, G., 774(0)59--z
-
Barzdins, G., see Barzdins, J.
-
Barzdins, J., 774(0)59--z, 872(0)1--z
-
Barzdins:1994:TEIa, 774(0)59--z
-
Barzdins:1994:TEIc, 872(0)1--z
-
base, 777(0)181--z, 779(0)81--94, 779(0)351--364, 797(0)5--z,
811(0)242--255, 814(0)326--z, 829(0)69--z, 838(0)86--z,
853(0)131--z, 856(0)744--z, 858(0)313--z, 861(0)214--z,
867(0)104--z, 869(0)396--z, 877(0)160--z
-
Base, Data-, 766(0)1--z
-
Base, U., Meyer-, 849(0)397--z
-
Base-Station, 783(0)87--z
-
based, 763(0)21--z, 763(0)96--z, 765(0)40--z, 765(0)50--z, 772(0)177--z,
773(0)1--z, 773(0)13--z, 773(0)278--z, 773(0)368--378,
773(0)379--390, 774(0)384--z, 774(0)410--z, 775(0)71--z,
776(0)265--z, 776(0)341--z, 778(0)63--z, 778(0)125--z, 782(0)298--z,
785(0)98--112, 786(0)188--z, 786(0)233--z, 787(0)187--z,
789(0)707--z, 794(0)139--158, 800(0)131--136, 800(0)152--160,
800(0)167--174, 800(0)235--246, 800(0)262--273, 803(0)622--z,
807(0)102--112, 809(0)90--z, 811(0)200--213, 811(0)297--310,
815(0)99--z, 815(0)298--z, 819(0)42--z, 823(0)137--z, 823(0)218--z,
825(0)453--z, 829(0)6--z, 839(0)56--60, 839(0)318--331,
846(0)114--z, 849(0)45--z, 849(0)141--z, 849(0)240--z, 849(0)251--z,
849(0)259--z, 849(0)286--z, 849(0)309--z, 849(0)312--z,
849(0)318--z, 849(0)409--z, 851(0)169--z, 852(0)151--z,
852(0)289--z, 854(0)41--z, 854(0)53--z, 854(0)461--z, 854(0)820--z,
854(0)878--z, 856(0)329--z, 856(0)509--z, 856(0)690--z,
859(0)285--z, 860(0)96--z, 861(0)28--z, 862(0)203--z, 863(0)476--z,
866(0)189--z, 866(0)546--z, 869(0)154--z, 869(0)386--z,
871(0)194--z, 872(0)137--z, 874(0)151--z, 875(0)125--z
-
Based, Action-, 786(0)1--z
-
Based, Actor-, 817(0)753--z
-
Based, Agent-, 867(0)63--z
-
Based, Algebra-, 794(0)353--368
-
based, {ALOHA}-, 793(0)343--358
-
Based, Annotation-, 827(0)430--z
-
based, assumption-, 869(0)571--z
-
Based, Bus-, 817(0)553--z
-
Based, Case-, 774(0)87--z, 833(0)109--z, 837(0)3--z,
837(0)21--z, 837(0)53--z, 837(0)77--z, 837(0)144--z, 837(0)167--z,
837(0)182--z, 837(0)197--z, 837(0)221--z, 837(0)246--z,
837(0)274--z, 837(0)325--z, 837(0)365--z, 837(0)379--z,
837(0)392--z, 837(0)404--z, 837(0)414--z, 837(0)424--z,
837(0)436--z, 837(0)458--z, 872(0)106--z, 872(0)210--z
-
based, Case-, 869(0)174--z
-
based, case-, 869(0)183--z
-
Based, {CDMA}-, 783(0)400--z
-
Based, Cluster-, 763(0)268--z
-
Based, Comparison-, 855(0)106--z
-
based, completion-, 814(0)678--z
-
Based, Constraint-, 845(0)285--z, 849(0)220--z, 864(0)78--z,
874(0)229--z, 874(0)312--z
-
Based, Dataflow-, 817(0)761--z
-
Based, {DBMS}-, 819(0)281--z
-
Based, Disk-, 768(0)358--z
-
based, Distribute-, 768(0)321--z
-
Based, ER-, 823(0)426--z
-
Based, Event-, 768(0)115--z, 854(0)88--z
-
Based, Explanation-, 837(0)182--z, 872(0)149--z
-
based, explanation-, 814(0)177--z
-
Based, Fault-, 858(0)205--z
-
Based, FPGA-, 849(0)111--z
-
Based, FPL-, 849(0)183--z
-
Based, Function-, 847(0)77--z
-
based, geometry-, 800(0)281--294
-
Based, Grammar-, 787(0)335--z
-
Based, Graph-, 827(0)415--z
-
Based, Hypermedia-, 876(0)192--z
-
Based, Hypertext-, 811(0)283--296, 876(0)226--z
-
Based, Identity-, 839(0)83--94
-
based, image-, 800(0)281--294
-
Based, Informal-, 750(0)389--z
-
Based, Instance-, 784(0)387--z
-
Based, Interaction-, 817(0)398--z
-
Based, Interval-, 810(0)53--z
-
Based, Knowledge-, 763(0)399--z, 764(0)1--z, 784(0)343--z,
811(0)228--241, 823(0)508--z, 837(0)301--z, 856(0)488--z,
861(0)399--z, 867(0)283--z, 876(0)19--z, 876(0)192--z
-
Based, LAN-, 796(0)197--z
-
Based, Landmark-, 833(0)123--z
-
Based, {LFSR}-, 839(0)129--139
-
Based, Logic-, 874(0)336--z
-
Based, {LUT}-, 849(0)89--z
-
Based, Mail-, 882(0)14--z
-
Based, Memory-, 837(0)289--z
-
Based, Mesh-, 797(0)241--z
-
Based, Metric-, 769(0)1--z
-
Based, MIN-, 854(0)426--z
-
Based, Model-, 763(0)42--z, 763(0)388--z, 769(0)1--z,
794(0)89--110, 833(0)56--z, 837(0)325--z, 867(0)46--z
-
based, Model-, 825(0)359--z, 836(0)64--z
-
Based, Object-, 858(0)40--z, 875(0)403--z
-
Based, Ontology-, 867(0)178--z
-
Based, Particle-, 866(0)344--z
-
based, possibility-, 869(0)551--z
-
Based, Proof-, 873(0)214--z
-
Based, Prototype-, 837(0)261--z
-
based, recipe-, 815(0)278--z
-
Based, Repository-, 763(0)131--z
-
Based, Role-, 779(0)95--108
-
Based, Rule-, 779(0)159--172, 837(0)119--z, 856(0)713--z
-
based, Rule-, 866(0)270--z
-
based, rule-, 869(0)164--z
-
Based, Semantic-, 844(0)453--z
-
Based, Sensor-, 861(0)1--z
-
based, sequent-, 814(0)826--z
-
Based, Set-, 874(0)281--z
-
based, Set-, 819(0)158--z
-
Based, Simulation-, 852(0)371--z
-
Based, Stack-, 849(0)326--z
-
based, tableau-, 814(0)793--z
-
based, Testing-, 836(0)417--z
-
Based, Transformation-, 823(0)364--z
-
Based, Transputer-, 796(0)390--z, 797(0)324--z
-
based, Trellis-, 793(0)270--286
-
Based, Type-, 864(0)395--z
-
based, Type-, 864(0)380--z
-
Based, Unification-, 862(0)260--z
-
Based, Unix-, 797(0)373--z
-
Based, Update-, 817(0)363--z, 817(0)805--z
-
Based, Value-, 797(0)434--440
-
based, Value-, 768(0)546--z
-
Based, Vision-, 763(0)83--z
-
Basic, 766(0)1--z, 786(0)419--z, 789(0)454--z, 797(0)441--444,
833(0)3--z, 835(0)144--z, 840(0)4--z
-
Basin, D. A., 814(0)466--z
-
Basin:1994:TOR, 814(0)466--z
-
basis, 764(0)1--z, 768(0)567--z, 785(0)268--279, 797(0)196--z,
877(0)220--z
-
Basri, R., 825(0)435--z
-
Basri:1994:RCM, 825(0)435--z
-
Basten, T., 857(0)340--z
-
Basten:1994:BTD, 857(0)340--z
-
Bastos Martini, M., 852(0)473--z
-
Bastos Martini, M., see Kaaniche, M.
-
Batch, 817(0)713--z
-
Batcher, K. E., 834(0)643--z
-
Batcher, K. E., see Lee, D.-L.
-
Bates, C., 826(0)105--z
-
Bates, C., see Jelly, I.
-
Bates, Ch., 796(0)424--z
-
Bates, Ch., see Kerridge, J.
-
Bates, J., 830(0)55--z
-
Bates:1994:AAE, 830(0)55--z
-
Batini, C., 823(0)327--z
-
Batini, C., see Santucci, G.
-
Battista, G., Di, 823(0)327--z
-
Baud, R. H., 835(0)84--z
-
Baud, R. H., see Rassinoux, A.-M.
-
Baudinet, M., 874(0)205--z
-
Baudinet:1994:CGD, 874(0)205--z
-
Baum-Waidner, B., 851(0)503--z, 868(0)224--z
-
Baum-Waidner, B., see Bunz, H.
-
Baum-Waidner:1994:SSM, 851(0)503--z
-
Baumberg, A., 800(0)299--308
-
Baumberg:1994:LFM, 800(0)299--308
-
Baumberger, W., 783(0)501--z
-
Baumberger:1994:MIS, 783(0)501--z
-
Baumgartner, P., 814(0)87--z, 814(0)769--z
-
Baumgartner:1994:MEC, 814(0)87--z
-
Baumgartner:1994:PPT, 814(0)769--z
-
Bauschert, T., 868(0)203--z
-
Bauschert, T., see Frings, J.
-
Bause, F., 794(0)321--334
-
Bause:1994:QTQ, 794(0)321--334
-
Bauwens, B., 860(0)214--z
-
Bauwens:1994:SDK, 860(0)214--z
-
Bay, P., 855(0)413--z
-
Bay, P., see Bilardi, G.
-
Bayer, R., 856(0)550--z
-
Bayer:1994:OMD, 856(0)550--z
-
Bayesian, 825(0)493--z, 862(0)106--z, 869(0)285--z, 869(0)366--z
-
Bazan, J. G., 869(0)346--z
-
Bazan:1994:DRT, 869(0)346--z
-
BBN, 797(0)489--z
-
BCH, 793(0)153--172
-
BCI, 860(0)170--z
-
BDDs, 814(0)499--z, 869(0)541--z
-
Beacon, 875(0)125--z
-
Beam, 796(0)377--z
-
Beardsley, P. A., 800(0)85--96
-
Beardsley:1994:NUA, 800(0)85--96
-
Bearings, 879(0)397--415
-
Beasley, D., 865(0)304--z
-
Beasley:1994:CRU, 865(0)304--z
-
Beats, 844(0)40--z
-
Beattie, W., 851(0)51--z
-
Beattie, W., see Hine, N. A.
-
Beaver, Donald, 765(0)424--z
-
Beaver:1994:GUB, 765(0)424--z
-
Becciani, U., 879(0)17--32
-
Becciani, U., see Antonuccio-Delogu, V.
-
Becher, G., 861(0)319--z
-
Becher:1994:RUC, 861(0)319--z
-
Beck, Kent, 821(0)139--z
-
Beck:1994:PGA, 821(0)139--z
-
Becker, A., 861(0)190--z
-
Becker, J., 849(0)183--z
-
Becker, J., see Ast, A.
-
Becker, K., 775(0)263--z
-
Becker, K., see Avenhaus, J.
-
Becker, M. E., 853(0)16--z
-
Becker, P., 824(0)49--z
-
Becker:1994:EQC, 861(0)190--z
-
Becker:1994:FAD, 853(0)16--z
-
Becker:1994:NAC, 824(0)49--z
-
Beckert, B., 814(0)678--z, 814(0)793--z, 822(0)275--z
-
Beckert:1994:AL, 822(0)275--z
-
Beckert:1994:CBM, 814(0)678--z
-
Beckert:1994:LLT, 814(0)793--z
-
Beckmann, R., 845(0)183--z
-
Beckmann:1994:ACL, 845(0)183--z
-
Bedford, J. M., 819(0)28--z
-
Bedford, J. M., see Sripada, S. M.
-
Bedrune, J. M., 800(0)47--60
-
Bedrune, J. M., see Crowley, J. L.
-
Beeck, M., Von der, 863(0)128--z
-
Beek, G., van, 796(0)163--z
-
Beer, Felix, 782(0)129--z
-
Beer, Felix, see Ambrosch, Wolfgang
-
Beer, I., 818(0)182--z, 818(0)299--z
-
Beer, I., see Geist, D.
-
Beer:1994:MSP, 818(0)182--z
-
Beginning, 750(0)359--z
-
Behavior, 817(0)202--z, 817(0)514--z, 819(0)299--z, 830(0)55--z,
859(0)205--z, 864(0)101--z, 866(0)16--z, 867(0)83--z
-
Behavioral, 779(0)173--186, 811(0)325--338, 823(0)34--z, 823(0)110--z,
858(0)142--z
-
behaviors, 778(0)54--z, 788(0)89--z, 802(0)530--543, 836(0)513--z
-
behaviour, 772(0)128--z, 780(0)73--86, 785(0)337--350, 802(0)271--292,
811(0)297--310, 815(0)436--z, 826(0)23--z, 836(0)178--z,
836(0)449--z, 837(0)155--z, 845(0)73--z, 854(0)301--z, 857(0)101--z,
865(0)210--z, 866(0)354--z, 873(0)154--z, 873(0)251--z
-
behavioural, 780(0)465--475, 785(0)220--234, 788(0)105--z, 850(0)41--z
-
Behbahani, F., 783(0)273--z
-
Behbahani, F., see Hashemi, H.
-
behind, 800(0)274--285
-
Behm, J. B., 823(0)46--z
-
Behm:1994:RCD, 823(0)46--z
-
Behrends, H., 819(0)351--z
-
Behrends, H., see Appelrath, H.-J.
-
Behrendt, F., 796(0)125--z
-
Behrendt, F., see Thevenin, D.
-
Behrens, J., 796(0)323--z
-
Behrens, J., see Kersken, H.-P.
-
Behrooz, A., 763(0)418--z
-
Behrooz, A., see Marshall, G. J.
-
Beidler, John, 750(0)277--z
-
Beidler, John, see Naveda, J. Fernando
-
Beimel, Amos, 773(0)444--z
-
Beimel:1994:IKD, 773(0)444--z
-
Beires, N., 851(0)285--z
-
Beires:1994:EAT, 851(0)285--z
-
Bekker, M., 800(0)47--60
-
Bekker, M., see Crowley, J. L.
-
Belief, 776(0)37--z, 784(0)379--z, 810(0)133--z, 827(0)317--z,
838(0)66--z, 838(0)106--z, 838(0)364--z, 847(0)51--z, 869(0)594--z
-
Belkhir, A., 844(0)463--z
-
Belkhir:1994:TIF, 844(0)463--z
-
Bell, D. A., 860(0)136--z, 869(0)95--z
-
Bell, D. A., see Levine, S. P.,
see Shi, S. L.
-
Bellamy, R. K. E., 876(0)181--z
-
Bellamy:1994:SCL, 876(0)181--z
-
Bellare, Mihir, 773(0)232--z, 839(0)216--233, 839(0)341--358
-
Bellare:1994:EAK, 773(0)232--z
-
Bellare:1994:ICC, 839(0)216--233
-
Bellare:1994:SCB, 839(0)341--358
-
Bellegarde, F., 816(0)40--55
-
Bellegarde:1994:TSC, 816(0)40--55
-
Belleghem, K., Van, 827(0)301--z
-
belongs, 877(0)234--z
-
below, 841(0)276--z
-
Belsnes, D., 851(0)563--z
-
Belsnes, D., see Mac an Airchinnigh, M. M.
-
Belward, J., 854(0)184--z
-
Belward, J., see Lau, L.
-
Bemmerl, T., 794(0)76--88, 797(0)394--z
-
Bemmerl:1994:LDD, 797(0)394--z
-
Bemmerl:1994:PTI, 794(0)76--88
-
Ben-Aroya, I., 855(0)365--z
-
Ben-Aroya, Ishai, 773(0)187--z
-
Ben-Aroya:1994:DCL, 773(0)187--z
-
Ben-Aroya:1994:GHP, 855(0)365--z
-
Ben-Asher, Yosi, 786(0)113--z
-
Ben-Asher:1994:IM, 786(0)113--z
-
Ben-David, S., 800(0)239--250, 818(0)182--z, 872(0)248--z
-
Ben-David, S., see Beer, I.,
see Lindenbaum, M.
-
Ben-David:1994:LRF, 872(0)248--z
-
Benaloh, Josh Cohen, 765(0)274--z
-
Benaloh:1994:OWA, 765(0)274--z
-
Benchmark, 797(0)158--z, 797(0)164--z, 849(0)274--z
-
Benchmarking, 826(0)105--z
-
Bendix, Knuth-, 775(0)175--z
-
Bendtsen, C., 879(0)59--66
-
Bendtsen:1994:PEE, 879(0)59--66
-
Benedi, J. M., 862(0)130--z
-
Benedi, J. M., see Sanchez, J. A.
-
Benefits, 860(0)115--z, 864(0)1--z
-
{Benes}-Type, 797(0)363--z
-
Benevides, M., 844(0)457--z
-
Benevides, M., see Rodrigues, O.
-
Bengtsson, E., 817(0)801--z
-
Bengtsson, E., see Johansson, T.
-
Benhamou, B., 775(0)71--z
-
Benhamou:1994:TPP, 775(0)71--z
-
Benitez, Manuel E., 782(0)105--z
-
Benitez:1994:AMD, 782(0)105--z
-
Benjamins, R., 867(0)137--z
-
Benjamins:1994:RPS, 867(0)137--z
-
Benkner, Siegfried, 786(0)324--338
-
Benkner:1994:PAS, 786(0)324--338
-
Bennacer, N., 815(0)59--z
-
Bennacer:1994:PVR, 815(0)59--z
-
Bennani, M., 796(0)72--z
-
Bennani:1994:SLS, 796(0)72--z
-
Benner, T., 849(0)251--z
-
Benner:1994:FBP, 849(0)251--z
-
Bennett, A. J., 817(0)375--z
-
Bennett, A., Pruegel-, 865(0)17--z
-
Bennett, D. W., 783(0)322--z
-
Bennett:1994:EIC, 817(0)375--z
-
Bennett:1994:EMP, 783(0)322--z
-
Benoit, Yves, 750(0)251--z
-
Benoit, Yves, see Guyard, Jacques
-
Bensaou, N., 775(0)33--z
-
Bensaou:1994:TCL, 775(0)33--z
-
Benslimane, A., 817(0)109--z
-
Benslimane:1994:PVP, 817(0)109--z
-
Benson, Bj{\o}rn, Freeman-, 821(0)260--z
-
Benson, G., 807(0)1--14, 820(0)215--z
-
Benson, G., see Amir, A.
-
Benson:1994:SEA, 807(0)1--14
-
Bent, 765(0)77--z, 809(0)179--z
-
Benthem Jutting, L. S., Van, 806(0)19--61
-
Bento, C., 837(0)92--z
-
Bento:1994:SMR, 837(0)92--z
-
Benveniste, A., 803(0)1--z, 863(0)149--z
-
Benveniste:1994:CSS, 863(0)149--z
-
Benveniste:1994:DFS, 803(0)1--z
-
Benyamin-Seeyar, A., 793(0)287--295
-
Benyamin-Seeyar, A., see Le-Ngoc, T.
-
Benzschawel, S., 777(0)1--z
-
Benzschawel, S., see Walter, B.
-
BER, 783(0)344--z
-
Berardi, Stefano, 789(0)495--z
-
Berardi, Stefano, see Barbanera, Franco
-
Berati, M., 827(0)101--z
-
Berati, M., see Badaloni, S.
-
Berducat, M., 800(0)207--212
-
Berducat, M., see Derras, M.
-
Berenji, H. R., 847(0)1--z
-
Berenji:1994:FRL, 847(0)1--z
-
Bereziat, D., 800(0)201--206
-
Bereziat, D., see Herlin, I. L.
-
Berezin, S. A., 813(0)47--z
-
Berezin:1994:AEM, 813(0)47--z
-
Berg, J., Van den, 866(0)566--z
-
Berg, M., De, 824(0)61--z
-
Bergadano, F., 778(0)54--z
-
Bergadano:1994:LBA, 778(0)54--z
-
Bergen, O., 796(0)119--z
-
Bergen, O., see Daniels, H.
-
Berger, L., 823(0)206--z
-
Berger, L., see Min Tjoa, A.
-
Bergeron, R. D., 871(0)69--z
-
Bergeron, R. D., see Kao, D. T.
-
Berghammer, R., 816(0)56--75
-
Berghammer:1994:PRS, 816(0)56--75
-
Bergmann, R., 837(0)182--z
-
Bergmann:1994:EBS, 837(0)182--z
-
Bergmans, L., 791(0)152--z
-
Bergmans, L., see Aksit, M.
-
Bergmans, Lodewijk, 821(0)386--z
-
Bergmans, Lodewijk, see Aksit, Mehmet
-
Bergstra, J. A., 803(0)46--z, 827(0)30--z, 832(0)36--z, 836(0)465--z
-
Bergstra, J. A., see Baeten, J. C. M.
-
Bergstra:1994:PAB, 803(0)46--z
-
Bergstra:1994:PAC, 832(0)36--z
-
Berka, P., 784(0)339--z
-
Berka:1994:AKA, 784(0)339--z
-
Berkhin, P., 879(0)67--79
-
Berkhin:1994:TAF, 879(0)67--79
-
BERKOM, 868(0)237--z
-
Berlamont, J., 796(0)329--z
-
Berlamont, J., see Song, Z. W.
-
Berlekamp--Massey, 793(0)38--44
-
Berman, P., 824(0)73--z, 855(0)60--z
-
Berman:1994:AAR, 855(0)60--z
-
Berman:1994:NOP, 824(0)73--z
-
Bern, M., 823(0)426--z
-
Bern, M., see Rosengren, P.
-
Bernardeschi, C., 852(0)77--z
-
Bernardeschi:1994:FRF, 852(0)77--z
-
Bernardi, A., 873(0)66--z
-
Bernardi, A., see Cherkaoui, O.
-
Bernardino, J., 852(0)39--z
-
Bernardino, J., see Silva, J. G.
-
Bernasconi, A., 778(0)63--z
-
Bernasconi, P., 783(0)261--z
-
Bernasconi, P., see Gfeller, F. R.
-
Bernasconi:1994:MBF, 778(0)63--z
-
Berndt, H., 851(0)355--z
-
Berndt:1994:SSC, 851(0)355--z
-
Berndtsson, M., 856(0)769--z
-
Berndtsson:1994:ROO, 856(0)769--z
-
Bernholtz, O., 818(0)142--z, 827(0)210--z
-
Bernholtz:1994:ATA, 818(0)142--z
-
Bernholtz:1994:BOG, 827(0)210--z
-
Berquist, A., 851(0)493--z
-
Berquist, A., see Oelnes, J.
-
Berrendorf, R., 854(0)461--z
-
Berrendorf:1994:CSV, 854(0)461--z
-
Berrington, N., 772(0)152--z
-
Berrington:1994:DCI, 772(0)152--z
-
Berruto, E., 783(0)417--z
-
Berruto:1994:RPA, 783(0)417--z
-
Berstel, J., 812(0)19--29
-
Berstel:1994:RFT, 812(0)19--29
-
Bertelsen, O., 876(0)11--z
-
Bertelsen:1994:FLD, 876(0)11--z
-
Berthelot, G., 815(0)79--z, 863(0)211--z
-
Berthelot, G., see Boucheneb, H.
-
Berthelot:1994:OGI, 815(0)79--z
-
Berthod, M., 800(0)109--114
-
Berthod, M., see Vasselle, B.
-
Berthomieu, B., 788(0)89--z, 854(0)854--z
-
Berthomieu, B., see Le Sergent, T.
-
Berthomieu:1994:PBM, 788(0)89--z
-
Berthou, J.-Y., 854(0)652--z
-
Berthou:1994:DMP, 854(0)652--z
-
Bertin, C., 868(0)53--z
-
Bertin:1994:EIP, 868(0)53--z
-
Bertino, E., 875(0)359--z
-
Bertino, E., see Ciampichetti, A.
-
Bertino, Elisa, 821(0)213--z
-
Bertino:1994:DOD, 821(0)213--z
-
Bertolotto, L. M., 796(0)371--z
-
Bertolotto, L. M., see Apostolakis, J.
-
Bertoni, A., 841(0)245--z
-
Bertoni:1994:LAS, 841(0)245--z
-
Bertossi, L. E., 827(0)543--z, 838(0)347--z
-
Bertossi:1994:CGO, 838(0)347--z
-
Bertossi:1994:SRS, 827(0)543--z
-
Bertot, Yves, 789(0)141--z
-
Bertot:1994:PP, 789(0)141--z
-
Bertrand, Y., 852(0)165--z
-
Bertrand, Y., see Renovell, M.
-
Bertsch, A., 868(0)224--z
-
Bertsch, A., see Bunz, H.
-
Berztiss, Alfs T., 750(0)375--z
-
Berztiss:1994:NFR, 750(0)375--z
-
Best, 807(0)1--14, 834(0)550--z
-
Best, E., 802(0)250--270, 836(0)210--z
-
Best, E., see Koutny, M.
-
Best:1994:CPS, 802(0)250--270
-
BETA, 791(0)185--z
-
Beth, T., 875(0)3--z
-
Beth, Thomas, 765(0)65--z, 839(0)318--331
-
Beth:1994:APN, 765(0)65--z
-
Beth:1994:CCB, 839(0)318--331
-
Beth:1994:VTO, 875(0)3--z
-
Bethke, I., 832(0)36--z
-
Bethke, I., see Bergstra, J. A.
-
Bettayeb, S., 805(0)73--80, 805(0)267--278
-
Bettayeb, S., see Kulasinghe, P.
-
Bettayeb:1994:EMO, 805(0)73--80
-
Bettaz, M., 785(0)98--112
-
Bettaz:1994:SBK, 785(0)98--112
-
Better, 855(0)24--z
-
Bettini, C., 810(0)53--z
-
Bettini:1994:FIB, 810(0)53--z
-
Bevemyr, J., 844(0)88--z
-
Bevemyr:1994:SEC, 844(0)88--z
-
Beyer, H.-G., 866(0)58--z
-
Beyer, M., 776(0)380--z
-
Beyer, M., see Taentzer, G.
-
Beyer:1994:TTE, 866(0)58--z
-
beyond, 777(0)64--z, 796(0)203--z, 800(0)269--280, 818(0)220--z,
821(0)1--z, 851(0)247--z, 858(0)189--z, 867(0)83--z, 869(0)531--z,
874(0)86--z
-
Bezem, M., 836(0)401--z
-
Bezem:1994:IPA, 836(0)401--z
-
Bhattacharya, B. B., 880(0)159--170
-
Bhattacharya, B. B., see Nandy, S. C.
-
Bhonsle, S. K., 882(0)103--z
-
Bhonsle, S. K., see Lazar, A. A.
-
Bi, H., 797(0)445--z
-
Bi, H., see Sodan, A.
-
Bi-Gram, 862(0)57--z
-
Bi-Partitioning, 866(0)617--z
-
bi-rewriting, 785(0)252--267
-
Bianchi, N., Cesa-, 872(0)229--z
-
Bias, 784(0)427--z, 784(0)431--z, 862(0)212--z, 866(0)576--z
-
Bibel, W., 814(0)783--z, 872(0)2--z
-
Bibel:1994:DPG, 872(0)2--z
-
Bibel:1994:K, 814(0)783--z
-
Biberman, Y., 784(0)49--z
-
Biberman:1994:CSM, 784(0)49--z
-
Bibliography, 767(0)1--z, 769(0)1--z, 771(0)1--z
-
Bicarregui, J., 873(0)93--z
-
Bicarregui, J., see Ritchie, B.
-
Biconnected, 778(0)91--z, 857(0)238--z
-
Bidiagonal, 879(0)520--533
-
Bidirectional, 861(0)394--z
-
Bidoit, M., 788(0)105--z, 850(0)41--z
-
Bidoit:1994:CBS, 788(0)105--z
-
Bidoit:1994:PBT, 850(0)41--z
-
Bidomains, 820(0)352--z
-
Biedl, T., 824(0)83--z, 855(0)24--z
-
Biedl:1994:BHO, 855(0)24--z
-
Biedl:1994:TPG, 824(0)83--z
-
Biehl, I., 834(0)600--z
-
Biehl, Ingrid, 839(0)56--60
-
Biehl:1994:CPB, 839(0)56--60
-
Biehl:1994:DES, 834(0)600--z
-
Bieker, B., 797(0)401--z, 852(0)353--z
-
Bieker, B., see Vounckx, J.
-
Bieker, U., 845(0)183--z
-
Bieker, U., see Beckmann, R.
-
Bieker:1994:RCM, 852(0)353--z
-
Bierbrauer, Jürgen, 773(0)331--342, 839(0)247--256
-
Bierbrauer:1994:BRF, 839(0)247--256
-
Bierbrauer:1994:FHF, 773(0)331--342
-
Biersack, E. W., 868(0)315--z
-
Biersack, E. W., see Pusztaszeri, Y.-H.
-
Bierwirth, C., 866(0)16--z
-
Bierwirth, C., see Mattfeld, D. C.
-
Biffl, Stefan, 750(0)527--z
-
Biffl, Stefan, see Grechenig, Thomas
-
Big, 841(0)296--z
-
Biglieri, E., 783(0)141--z
-
Biglieri, E., see Drakul, S. L.
-
Bigram, 862(0)246--z
-
Biguen, J., 800(0)316--327
-
Biguen, J., see Ayer, S.
-
Biham, E., 809(0)116--z
-
Biham, Eli, 765(0)398--z, 773(0)187--z
-
Biham, Eli, see Ben-Aroya, Ishai
-
Biham:1994:MO, 809(0)116--z
-
Biham:1994:NTC, 765(0)398--z
-
Bijective, 765(0)360--z
-
Bijnens, S., 791(0)139--z, 796(0)189--z
-
Bijnens, S., see Bywater, R.
-
Bijnens:1994:RIS, 791(0)139--z
-
Bik, Aart J. C., 768(0)57--z
-
Bik:1994:ADS, 768(0)57--z
-
Bilardi, G., 855(0)413--z
-
Bilardi:1994:ALB, 855(0)413--z
-
bilattices, 869(0)594--z
-
Billet-Coat, S., 856(0)581--z
-
Billet-Coat:1994:MAA, 856(0)581--z
-
Billi, M., 860(0)59--z
-
Billi, M., see Tronconi, A.
-
Billing, G. D., 879(0)80--88, 879(0)383--391
-
Billing, G. D., see Museth, K.
-
Billing:1994:QMT, 879(0)80--88
-
Bin, I., Mat, 849(0)338--z
-
binary, 775(0)21--z, 775(0)669--z, 778(0)152--z, 793(0)270--286,
814(0)282--z, 817(0)122--z, 824(0)61--z, 824(0)350--z, 834(0)20--z,
834(0)487--z, 834(0)575--z, 834(0)584--z, 841(0)266--z,
841(0)453--z, 841(0)515--z, 845(0)34--z, 855(0)215--z, 859(0)254--z,
877(0)169--z, 880(0)390--401
-
BIND, 856(0)671--z
-
Binda, J., 849(0)120--z
-
Binda, J., see Hlawiczka, A.
-
binding, 782(0)282--z, 856(0)734--z, 869(0)193--z, 882(0)103--z
-
binding-time, 788(0)287--z
-
Binkley, David, 786(0)374--z
-
Binkley:1994:ICP, 786(0)374--z
-
binocular, 800(0)193--200, 800(0)365--376
-
BinWAM, 844(0)73--z
-
Biochemical, 879(0)312--317
-
Biological, 796(0)238--z, 837(0)424--z, 865(0)51--z
-
Biology, 796(0)236--z
-
Biomedical, 856(0)671--z
-
Biomolecular, 819(0)317--z
-
Bipartite, 834(0)541--z
-
Birational, 773(0)1--z, 773(0)435--z
-
Birbas, A. N., 849(0)309--z
-
Birbas, A. N., see Hallas, J. A.
-
Birbas, M. K., 849(0)309--z
-
Birbas, M. K., see Hallas, J. A.
-
Birget, J.-C., 820(0)274--z
-
Birget:1994:PCC, 820(0)274--z
-
Birkedal, L., 844(0)198--z
-
Birkedal:1994:HPG, 844(0)198--z
-
Birkhoff, 798(0)24--36
-
Birman, Kenneth P., 774(0)140--z
-
Birman:1994:REC, 774(0)140--z
-
Birnbaum, L. A., 800(0)535--542
-
Birnbaum, L. A., see Cooper, P. R.
-
Birthday, 812(0)30--33
-
Bisection, 841(0)473--z
-
Bishop, M., 780(0)366--371
-
Bishop, M., see Andrews, P.
-
bisimilarity, 775(0)581--z, 836(0)48--z
-
bisimulation, 775(0)569--z, 802(0)103--121, 802(0)160--176,
812(0)289--306, 836(0)315--z, 836(0)331--350, 836(0)385--z,
863(0)373--z
-
Bisseling, H., 851(0)145--z
-
Bisseling:1994:EPC, 851(0)145--z
-
BIST, 849(0)240--z, 852(0)271--z
-
BIST-PST, 849(0)120--z
-
Bistructure, 820(0)352--z, 841(0)177--z
-
Biswas, S., 880(0)181--192
-
Biswas:1994:ACV, 880(0)181--192
-
bit, 765(0)424--z, 773(0)250--z, 773(0)250--z--1, 780(0)372--385,
783(0)242--z, 783(0)356--z, 834(0)288--z, 839(0)188--201
-
bit, 64-, 809(0)191--204
-
Bit-Sequential, 817(0)773--z
-
Bit-Serial, 783(0)510--z
-
Bit-Sliced, 779(0)379--392
-
Bit-Vector, 831(0)1--z
-
(Bi)Temporal, 779(0)215--230
-
Bjerring, L. H., 851(0)193--z, 851(0)305--z
-
Bjerring:1994:EES, 851(0)305--z
-
Bjerring:1994:RID, 851(0)193--z
-
Bjoerge, D., 879(0)434--457
-
Bjoerge, D., see Skaalin, R.
-
Black, M. J., 800(0)138--145
-
Black:1994:RNL, 800(0)138--145
-
Blackburn, P., 827(0)225--z
-
Blackburn, Simon, 765(0)50--z
-
Blackburn:1994:BFT, 827(0)225--z
-
Blackburn:1994:WPK, 765(0)50--z
-
Blair, G. S., 846(0)54--z, 882(0)145--z
-
Blair, G. S., see Bowman, H., \see{Coulson, G.
-
Blair, L., 882(0)145--z
-
Blair, L., see Bowman, H.
-
Blake, A., 800(0)25--34
-
Blake, A., see Taylor, M. J.
-
Blake, G. E., 819(0)267--z
-
Blake, I. F., 793(0)1--23
-
Blake:1994:CPI, 793(0)1--23
-
Blake:1994:TRD, 819(0)267--z
-
Blakley, G. R., 829(0)33--z
-
Blakley:1994:LAA, 829(0)33--z
-
Blakowski, G., 868(0)280--z
-
Blakowski:1994:HIF, 868(0)280--z
-
Blanc, G., Le, 784(0)183--z
-
Blanc, C., Sibertin-, 815(0)471--z
-
Blanco, D., 854(0)208--z
-
Blanco, D., see Amor, M.
-
Blanco, J. A., Munoz-, 763(0)282--z, 763(0)357--z
-
Blanco, M. A., 878-0-xvi
-
Blanco, V., 797(0)324--z
-
Blanco:1994:APP, 797(0)324--z
-
Blanco:1994:BMC, 878-0-xvi
-
Blanke, G., 783(0)334--z
-
Blanke:1994:SGD, 783(0)334--z
-
Blanken, H. M., 779(0)337--350
-
Blanken, H. M., see Steenhagen, H. J.
-
Blanz, J., 783(0)184--z
-
Blanz:1994:CSE, 783(0)184--z
-
BLAS, 796(0)72--z
-
Blass, A., 832(0)66--z
-
Blass:1994:GSN, 832(0)66--z
-
Bleckmann, P., 796(0)210--z
-
Bleckmann:1994:SDQ, 796(0)210--z
-
Bleichenbacher, Daniel, 839(0)75--82
-
Bleichenbacher:1994:DAG, 839(0)75--82
-
Blind, 765(0)168--z, 860(0)9--z, 860(0)25--z, 860(0)144--z, 860(0)222--z,
860(0)236--z
-
Blinde, 860(0)244--z
-
block, 765(0)371--z, 773(0)368--378, 773(0)379--390, 783(0)113--z,
786(0)419--z, 793(0)191--202, 793(0)270--286, 796(0)145--z,
809(0)18--z, 809(0)33--z, 809(0)157--165, 809(0)191--204,
809(0)205--z, 839(0)341--358, 849(0)34--z, 854(0)616--z,
866(0)472--z
-
Block, Multi-, 796(0)163--z
-
Block-Ciphering, 809(0)1--z
-
Blocking, 854(0)66--z
-
Blocking, Non-, 817(0)214--z
-
Bloecher, U., 809(0)41--z
-
Bloecher:1994:FFS, 809(0)41--z
-
Bloom, S. L., 802(0)378--409, 841(0)52--z
-
Bloom:1994:SPF, 841(0)52--z
-
Bloom:1994:SQV, 802(0)378--409
-
Blowfish, 809(0)191--204
-
Blum, Avrim, 773(0)278--z
-
Blum, C., 882(0)35--z
-
Blum:1994:CPB, 773(0)278--z
-
Blum:1994:GSS, 882(0)35--z
-
Blundo, C., 820(0)568--z
-
Blundo, Carlo, 773(0)110--z, 839(0)150--163
-
Blundo:1994:FDS, 773(0)110--z
-
Blundo:1994:MSS, 839(0)150--163
-
Blundo:1994:RDP, 820(0)568--z
-
Blute, R. F., 802(0)474--512
-
Blute:1994:HME, 802(0)474--512
-
Board, 797(0)487--z, 849(0)409--z
-
Board, On-, 854(0)545--z, 863(0)476--z
-
Boardman, David B., 750(0)5--z
-
Boardman:1994:TSU, 750(0)5--z
-
Bobbio, A., 852(0)131--z
-
Bobbio:1994:CRS, 852(0)131--z
-
Bober, P. M., 779(0)145--158
-
Bober:1994:IAM, 779(0)145--158
-
Bobick, A. F., 800(0)179--186
-
Bobick, A. F., see Intille, S. S.
-
Boccignone, G., 858(0)266--z
-
Boccignone:1994:OOR, 858(0)266--z
-
Bocharova, I. E., 829(0)109--z, 829(0)115--z
-
Bocharova:1994:FIR, 829(0)109--z
-
Bocharova:1994:TCL, 829(0)115--z
-
Bock, P., 866(0)576--z
-
Bock, P., see Cobb, H. G.
-
Bockmayr, A., 850(0)59--z
-
Bockmayr, A., see Werner, A.
-
Bode, A., 797(0)286--z, 817(0)745--z, 879(0)89--99
-
Bode, A., see Stellner, G.
-
Bode:1994:VCD, 879(0)89--99
-
Bodeveix, J.- P., 859(0)49--z
-
Bodeveix:1994:THT, 859(0)49--z
-
Bodlaender, H., 807(0)15--30
-
Bodlaender, H. L., 775(0)769--z
-
Bodlaender:1994:CMC, 775(0)769--z
-
Bodlaender:1994:PCS, 807(0)15--30
-
Body, 879(0)17--32, 879(0)383--391
-
body, 796(0)293--z
-
body, -, 796(0)293--z, 879(0)17--32
-
Boecker, M., 851(0)99--z
-
Boecker:1994:AVS, 851(0)99--z
-
Boecking, S., 868(0)139--z
-
Boecking:1994:TTI, 868(0)139--z
-
Boegel Vom, G., 849(0)315--z
-
BoegelVom:1994:DEE, 849(0)315--z
-
Boehlau, P., 852(0)289--z
-
Boehlau:1994:ZAC, 852(0)289--z
-
Boehlen, M., 827(0)283--z
-
Boehlen:1994:CTD, 827(0)283--z
-
Boehm, W., 864(0)193--z
-
Boehm, W., see Garza-Salazar, D.
-
Boer, F. S., De, 841(0)256--z
-
Boer, Bert den, 765(0)293--z, 765(0)293--z--1
-
Boer:1994:CCF, 765(0)293--z
-
Boerio, L., 788(0)120--z
-
Boerio:1994:EPT, 788(0)120--z
-
Boerner, K., 837(0)197--z
-
Boerner:1994:SSG, 837(0)197--z
-
Boeszoermenyi, L., 856(0)754--z
-
Boeszoermenyi:1994:PPD, 856(0)754--z
-
Bogart, K. P., 831(0)13--z
-
Bogart:1994:IOW, 831(0)13--z
-
Bogucz, E., 797(0)137--z
-
Bogucz, E., see Fox, G. C.
-
Bohm, C., 788(0)135--z
-
Bohm:1994:LDF, 788(0)135--z
-
Boigelot, B., 818(0)55--z
-
Boigelot:1994:SVP, 818(0)55--z
-
Boissonnat, J.-D., 855(0)254--z
-
Boissonnat:1994:CTB, 855(0)254--z
-
Bokka, V., 805(0)169--180
-
Bokka:1994:CTC, 805(0)169--180
-
Bol, R. N., 827(0)30--z
-
Bol, R. N., see Baeten, J. C. M.
-
Bolding, K., 853(0)226--z, 853(0)266--z
-
Bolding, K., see McKenzie, N. R.
-
Bolding:1994:DRF, 853(0)226--z
-
Boley, H., 798(0)37--61
-
Boley:1994:FDE, 798(0)37--61
-
Bolignano, Dominique, 789(0)766--z
-
Bolignano:1994:STC, 789(0)766--z
-
Bolivar-Toledo, O., 763(0)282--z
-
Bolivar-Toledo, O., see Munoz-Blanco, J. A.
-
Bolmsjoe, G., 860(0)129--z
-
Bolmsjoe, G., see Neverya, H.
-
Boly, J.-P., 875(0)217--z
-
Boly:1994:EPC, 875(0)217--z
-
Bonacina, M. P., 814(0)841--z
-
Bonacina:1994:DTP, 814(0)841--z
-
Bonardi, F., 794(0)266--283
-
Bonardi, F., see Caselli, S.
-
Bonaventure, O., 882(0)199--z
-
Bonaventure, O., see Mathy, L.
-
Bondavalli, A., 852(0)97--z
-
Bondavalli, A., see Chiaradonna, S.
-
Bonfatti, F., 856(0)280--z, 858(0)108--z
-
Bonfatti:1994:OOC, 856(0)280--z
-
Bonfatti:1994:TGP, 858(0)108--z
-
Boniol, F., 817(0)611--z
-
Boniol:1994:CSC, 817(0)611--z
-
Bonizzoni, P., 820(0)556--z
-
Bonizzoni:1994:TLB, 820(0)556--z
-
Bonjour, M., 811(0)242--255
-
Bonjour:1994:CBS, 811(0)242--255
-
Bonner, A. J., 827(0)67--z
-
Bonner:1994:ATL, 827(0)67--z
-
Bonniger, T., 797(0)114--z
-
Bonniger:1994:CCC, 797(0)114--z
-
Bonsangue, Marcello M., 789(0)822--z
-
Bonsangue:1994:RMP, 789(0)822--z
-
Bonton, P., 800(0)207--212
-
Bonton, P., see Derras, M.
-
Book, 830-0-vii-z, 860(0)262--z
-
Book, R. V., 775(0)403--z, 834(0)47--z
-
Book:1994:GPA, 775(0)403--z
-
Book:1994:RHS, 834(0)47--z
-
Bookreading, 860(0)255--z
-
Boolean, 765(0)102--z, 773(0)49--z, 778(0)63--z, 815(0)416--z,
820(0)304--z, 834(0)324--z, 844(0)244--z, 849(0)114--z,
852(0)546--z, 864(0)266--z
-
{Boolean}-valued, 774(0)251--z
-
Booten, J. G. L., 797(0)196--z
-
Booten:1994:PAM, 797(0)196--z
-
Borcherding, M., 875(0)3--z
-
Borcherding, M., see Beth, T.
-
Borchert, B., 775(0)533--z
-
Borchert:1994:APR, 775(0)533--z
-
bordered, place-, 815(0)531--z
-
Boreale, M., 836(0)299--314
-
Boreale:1994:SSC, 836(0)299--314
-
Borensztejn, P., 817(0)565--z
-
Borensztejn, P., see Barrado, C.
-
Borla-Salamet, P., 817(0)514--z
-
Borla-Salamet, P., see Dageville, B.
-
Born, J., 866(0)472--z
-
Born:1994:DNN, 866(0)472--z
-
Borning, Alan, 821(0)260--z
-
Borning, Alan, see Lopez, Gus
-
Bornscheuer, S.-E., 861(0)16--z
-
Bornscheuer:1994:RCA, 861(0)16--z
-
Borovoy, R. D., 876(0)181--z
-
Borovoy, R. D., see Bellamy, R. K. E.
-
Borr, Andrea, 774(0)285--z
-
Borr:1994:HAD, 774(0)285--z
-
Borrajo, D., 784(0)64--z
-
Borrajo:1994:ILC, 784(0)64--z
-
Borri, A., 800(0)181--188
-
Borri:1994:RTM, 800(0)181--188
-
Borst, P. M., 797(0)24--z
-
Borst:1994:PKP, 797(0)24--z
-
Borut, R., 817(0)797--z
-
Borut:1994:UPS, 817(0)797--z
-
Boryczko, K., 796(0)177--z, 797(0)142--z, 879(0)100--109
-
Boryczko:1994:LBP, 879(0)100--109
-
Boryczko:1994:LGA, 796(0)177--z
-
Boryczko:1994:TRP, 797(0)142--z
-
Bosc, P., 856(0)631--z
-
Bosc:1994:SQN, 856(0)631--z
-
Bosch, J., 791(0)152--z
-
Bosch, J., see Aksit, M.
-
Bosch, Jan, 821(0)386--z
-
Bosch, Jan, see Aksit, Mehmet
-
Bose, P., 834(0)20--z
-
Bose:1994:ESD, 834(0)20--z
-
Bosma, W., 877(0)17--z
-
Bosma:1994:DCR, 877(0)17--z
-
{BOSS}-System, 876(0)107--z
-
Bosscher, D., 863(0)170--z
-
Bosscher, D. J. B., 789(0)425--z
-
Bosscher:1994:TRP, 789(0)425--z
-
Bosscher:1994:VAC, 863(0)170--z
-
Bosselaers, A., 875(0)217--z
-
Bosselaers, A., see Boly, J.-P.
-
Bosselaers, Antoon, 765(0)293--z, 765(0)293--z--1, 773(0)175--z
-
Bosselaers, Antoon, see Boer, Bert den
-
Bosselaers:1994:CTM, 773(0)175--z
-
Bossi, A., 850(0)269--z
-
Bossi:1994:PUT, 850(0)269--z
-
Boston, I., 796(0)62--z
-
Boston:1994:PFC, 796(0)62--z
-
Botafogo, R. A., 856(0)521--z
-
Botafogo, R. A., see Hara, Y.
-
both, 841(0)577--z, 874(0)162--z
-
Bothe, H. H., 860(0)32--z
-
Bothe:1994:AVS, 860(0)32--z
-
Botta, M., 869(0)356--z
-
Botta:1994:LFO, 869(0)356--z
-
Bottlenecks, 846(0)161--z
-
Bottom-Up, 784(0)154--z, 844(0)147--z
-
bottom-up, 774(0)73--z, 779(0)59--72, 788(0)317--z, 814(0)311--z,
814(0)774--z, 822(0)230--z
-
Botuscharov, O., 872(0)91--z
-
Botuscharov, O., see Freivalds, R.
-
Botvitch, D. D., 851(0)419--z
-
Botvitch, D. D., see Newcombe, A.
-
Bouabdallah, A., 841(0)266--z
-
Bouabdallah:1994:ECB, 841(0)266--z
-
Bouajjani, A., 818(0)118--z, 836(0)81--z, 863(0)193--z
-
Bouajjani:1994:VCF, 818(0)118--z
-
Bouajjani:1994:VIP, 863(0)193--z
-
Bouajjani:1994:VNT, 836(0)81--z
-
Boucheneb, H., 815(0)79--z, 863(0)211--z
-
Boucheneb, H., see Berthelot, G.
-
Boucheneb:1994:PLT, 863(0)211--z
-
Bouchitte, V., 854(0)713--z
-
Bouchitte:1994:EAE, 854(0)713--z
-
Bouchon-Meunier, B., 847(0)38--z
-
Bouchon-Meunier:1994:FLI, 847(0)38--z
-
Boudec, J.-Y., Le, 868(0)78--z
-
Boudet, A., 845(0)136--z
-
Boudet:1994:SAU, 845(0)136--z
-
Boudol, G., 803(0)92--z
-
Boudol:1994:SCA, 803(0)92--z
-
Boudreau, D., 793(0)125--135
-
Boudreau:1994:UVN, 793(0)125--135
-
Boufama, B., 800(0)161--166, 800(0)199--204, 800(0)455--462,
825(0)257--z
-
Boufama, B., see Horaud, R., \see{Mohr, R.,
see Sinclair, D.
-
Boufama:1994:SMA, 800(0)199--204
-
Bouge, L., 854(0)100--z
-
Bouge:1994:EWP, 854(0)100--z
-
Boughanem, M., 856(0)561--z
-
Boughanem, M., see Layaida, R.
-
Boughton, G. A., 853(0)310--z
-
Boughton:1994:ARC, 853(0)310--z
-
Bouhoula, A., 814(0)836--z, 850(0)23--z
-
Bouhoula:1994:SCP, 850(0)23--z
-
Bouhoula:1994:SSS, 814(0)836--z
-
Boulahia-Cuppens, N., 875(0)375--z
-
Boulahia-Cuppens:1994:DMO, 875(0)375--z
-
Boulanger, D., 844(0)432--z, 864(0)61--z
-
Boulanger:1994:ASU, 844(0)432--z
-
Boulanger:1994:SCA, 864(0)61--z
-
Boulet, P., 854(0)713--z
-
Boulet, P., see Bouchitte, V.
-
Bouma, W., 851(0)393--z
-
Bouma:1994:FPF, 851(0)393--z
-
bound, 775(0)669--z, 778(0)213--z, 783(0)230--z, 787(0)100--z,
794(0)425--444, 807(0)136--145, 807(0)307--325, 813(0)1--z,
820(0)1--z, 820(0)47--z, 820(0)556--z, 820(0)580--z, 820(0)618--z,
824(0)107--z, 824(0)131--z, 824(0)167--z, 829(0)41--z, 834(0)119--z,
839(0)140--149, 839(0)247--256, 840(0)161--z, 841(0)245--z,
841(0)326--z, 841(0)423--z, 854(0)359--z, 855(0)12--z, 855(0)106--z,
855(0)391--z, 855(0)413--z, 880(0)24--35, 880(0)193--204
-
boundary, 793(0)296--309, 800(0)305--315, 824(0)255--z, 839(0)50--55
-
bounded, 775(0)427--z, 776(0)138--z, 815(0)358--z, 820(0)263--z,
824(0)155--z, 834(0)369--z, 839(0)83--94, 841(0)233--z, 855(0)48--z,
855(0)254--z
-
Bounded, Resource-, 775(0)59--z
-
Bounded-arity, 832(0)150--z
-
Bounded-Degree, 824(0)195--z
-
Bounding, 765(0)344--z
-
Bourely, C., 814(0)72--z
-
Bourely:1994:MBM, 814(0)72--z
-
Bourgois, M., 791(0)73--z
-
Bourgois:1994:CCC, 791(0)73--z
-
Bourne, L. E., 867(0)83--z
-
Bourne, L. E., see Schmalhofer, F.
-
Bouthemy, P., 800(0)111--116
-
Bouthemy, P., see Sundareswaran, V.
-
Boutilier, C., 810(0)74--z
-
Boutilier:1994:NSA, 810(0)74--z
-
Boutillon, E., 817(0)769--z
-
Boutillon, E., see Verdier, C.
-
Bowen, J. P., 873(0)105--z
-
Bowen:1994:SMM, 873(0)105--z
-
Bowes, D. R., 860(0)115--z
-
Bowes:1994:UBV, 860(0)115--z
-
Bowman, H., 882(0)145--z
-
Bowman:1994:FDT, 882(0)145--z
-
box, 802(0)250--270, 815(0)318--z, 836(0)210--z, 839(0)383--396
-
Boxings, 864(0)147--z
-
Boyarinov, I. M., 829(0)63--z
-
Boyarinov:1994:SCD, 829(0)63--z
-
Boyd, C., 875(0)93--z, 875(0)193--z
-
Boyd, C., see Mao, W.
-
Boyd, Colin, 765(0)240--z
-
Boyd, I., 796(0)181--z
-
Boyd, I., see Dietrich, S.
-
Boyd:1994:DSK, 875(0)93--z
-
Boyd:1994:LBL, 765(0)240--z
-
Boyer, M., 874(0)95--z
-
Boyer, M., see Pesant, G.
-
Boyer, R. S., 814(0)237--z
-
Boyer:1994:MPC, 814(0)237--z
-
Boyera, S., 867(0)303--z
-
Boyera, S., see Tourtier, P.-A.
-
Boyle, J., 871(0)173--z
-
Boyle, J. M., 797(0)457--z, 854(0)148--z
-
Boyle, J. M., see Clint, M.,
see Fitzpatrick, S.
-
Boyle:1994:DUI, 871(0)173--z
-
Bozios, L., 856(0)680--z
-
Bozios, L., see Pangalos, G.
-
Bozios, T., 868(0)153--z, 882(0)340--z
-
Bozios, T., see Pronios, N. B.
-
Bozkus, Zeki, 768(0)200--215
-
Bozkus:1994:CAF, 768(0)200--215
-
BPA-systems, 836(0)34--z
-
Braband, J., 794(0)111--122
-
Braband:1994:WTD, 794(0)111--122
-
Brackin, S., 780(0)451--464
-
Brackin, S. H., 859(0)65--z
-
Brackin:1994:PTS, 859(0)65--z
-
Brackin:1994:SPR, 780(0)451--464
-
Braconnier, T., 796(0)72--z
-
Braconnier, T., see Bennani, M.
-
Bradburn, C., 837(0)365--z
-
Bradburn:1994:ACB, 837(0)365--z
-
Bradley, J., 819(0)204--z
-
Bradley, J., see Cochinwala, M.
-
Bradley, S., 863(0)228--z
-
Bradley:1994:DIC, 863(0)228--z
-
Brady, M., 800(0)73--84
-
Brady, M., see Shapiro, L. S.
-
Braeuner, T., 820(0)340--z
-
Braeuner:1994:MIA, 820(0)340--z
-
Braga, M., 772(0)15--z
-
Braga, M., see Bandinelli, S.
-
Braham, A., Ait-, 856(0)270--z
-
Brain, 819(0)299--z
-
Brain-Computer, 860(0)170--z
-
Bralick, William A., 750(0)565--z
-
Bralick:1994:UMU, 750(0)565--z
-
branch, 854(0)359--z
-
Branching, 826(0)121--z, 827(0)265--z, 880(0)426--437
-
Branching-Time, 818(0)142--z, 827(0)180--z
-
Brand, H.-J., 849(0)78--z
-
Brand, M., 800(0)535--542
-
Brand, M., see Cooper, P. R.
-
Brand, P., 825(0)257--z
-
Brand, P., see Mohr, R.
-
Brand:1994:SSC, 849(0)78--z
-
Brandes, T., 797(0)417--422
-
Brandes:1994:EHP, 797(0)417--422
-
Brands, Stefan, 765(0)344--z, 773(0)302--z
-
Brands:1994:DBP, 765(0)344--z
-
Brands:1994:ULC, 773(0)302--z
-
Brandstadt, A., 775(0)735--z
-
Brandstadt, A., see Dragan, F. F.
-
Brandt, H., 866(0)588--z
-
Brandt, H., see Lienig, J.
-
Brandt, S., 791(0)185--z
-
Brandt:1994:OOD, 791(0)185--z
-
Brannlund, T., 783(0)417--z
-
Brannlund, T., see Berruto, E.
-
Brass, S., 777(0)22--z
-
Brass, S., see Lipeck, U. W.
-
Brassard, Gilles, 765(0)410--z
-
Brassard:1994:SKR, 765(0)410--z
-
Bratko, I., 784(0)399--z
-
Bratko, I., see Mladenic, D.
-
Brauer, U., 812(0)30--33
-
Brauer, U., see Brauer, W.
-
Brauer, W., 812(0)30--33
-
Brauer:1994:RJP, 812(0)30--33
-
Braun, H., 796(0)232--z, 866(0)440--z
-
Braun:1994:EMH, 866(0)440--z
-
Braun:1994:PPG, 796(0)232--z
-
Braunmuhl, B., von, 775(0)85--z
-
Braux, H., 851(0)133--z
-
Braux:1994:MSP, 851(0)133--z
-
Brawner, P., 860(0)16--z
-
Brawner, P., see Karshmer, A. J.
-
Brayton, R. K., 818(0)27--z, 818(0)391--z, 820(0)364--z, 834(0)378--z
-
Brayton, R. K., see Aziz, A., \see{Hojati, R.,
see Krishnan, S. C., \see{Lam, W. K. C.
-
Brazdil, P., 784(0)83--z
-
Brazdil:1994:CAC, 784(0)83--z
-
Brazier, F. M. T., 867(0)283--z
-
Brazier:1994:UCK, 867(0)283--z
-
Brazma, A., 872(0)76--z, 872(0)260--z
-
Brazma:1994:EAL, 872(0)260--z
-
Brazma:1994:ELR, 872(0)76--z
-
Breaking, 765(0)286--292, 839(0)271--281
-
Breaking, Symmetry-, 855(0)183--z
-
Breakpoints, 857(0)340--z
-
Breitbart, Y., 775(0)619--z, 779(0)123--130
-
Breitbart, Y., see Alonso, G.,
see Shallit, J.
-
Breitinger, S., 844(0)277--z
-
Breitinger:1994:ISJ, 844(0)277--z
-
Breschi, B., 860(0)96--z
-
Breschi, B., see Graziani, P.
-
Breslauer, D., 775(0)497--z, 807(0)184--197, 855(0)483--z
-
Breslauer, D., see Apostolico, A.
-
Breslauer:1994:DMU, 807(0)184--197
-
Breslauer:1994:ECS, 855(0)483--z
-
Breugel, F., Van, 802(0)103--121, 802(0)122--142, 820(0)376--z
-
Breuker, J., 867(0)118--z
-
Breuker:1994:CPS, 867(0)118--z
-
Brewer, E. A., 853(0)200--z
-
Brewer, E. A., see Chong, F. T.
-
Brewka, G., 838(0)247--z
-
Brewka:1994:APS, 838(0)247--z
-
Brezany, Peter, 786(0)324--338
-
Brezany, Peter, see Benkner, Siegfried
-
bridge, 852(0)165--z, 869(0)295--z
-
Bridge, D., 862(0)260--z
-
Bridge, D., see Osborne, M.
-
Bridging, 750(0)277--z, 779(0)73--80, 856(0)477--z, 882(0)334--z
-
Briggs, Ted L., 821(0)365--z
-
Briggs:1994:SLO, 821(0)365--z
-
brightness, 800(0)389--402
-
Bringing, 805(0)181--196
-
British, 873(0)45--z
-
Briz, J. L., 815(0)99--z
-
Briz:1994:IWP, 815(0)99--z
-
Broadband, 846(0)102--z, 851(0)529--z, 868(0)353--z, 878-0-xvi,
882(0)47--z
-
Broadcast, 765(0)424--z, 773(0)480--z, 805(0)219--234, 824(0)219--z
-
Broadcasting, 783(0)400--z, 788(0)469--z, 805(0)207--218, 854(0)797--z,
854(0)808--z
-
Broader, 780(0)140--153
-
Brockmann, W., 784(0)343--z
-
Brockmann:1994:RML, 784(0)343--z
-
Brodnik, A., 855(0)72--z
-
Brodnik:1994:MCT, 855(0)72--z
-
Brogi, A., 844(0)292--z
-
Brogi:1994:IPC, 844(0)292--z
-
Broker, 819(0)415--z
-
Bronsard, F., 814(0)102--z
-
Bronsard:1994:IUT, 814(0)102--z
-
Brookes, S., 802(0)320--332
-
Brookes, T. M., 873(0)35--z
-
Brookes, T. M., see Fitzgerald, J. S.
-
Brookes:1994:SFI, 802(0)320--332
-
Brown, C., 813(0)56--z
-
Brown, D., 854(0)29--z
-
Brown, D., see Mohr, B.
-
Brown, E. W., 779(0)365--378
-
Brown, J., 879(0)67--79, 879(0)110--126
-
Brown, J., see Berkhin, P.
-
Brown, M., 807(0)289--306
-
Brown, M., see Sakakibara, Y.
-
Brown, M. G., 837(0)132--z
-
Brown:1994:AC, 813(0)56--z
-
Brown:1994:CMP, 879(0)110--126
-
Brown:1994:SFT, 779(0)365--378
-
Brown:1994:UMM, 837(0)132--z
-
Browne, A., 818(0)338--z
-
Browne, A., see Long, D. E.
-
Browne, Raju, 768(0)115--z
-
Browne:1994:EBC, 768(0)115--z
-
Browsing, 831(0)186--z
-
Broy, M., 863(0)247--z, 880(0)77--88
-
Broy:1994:IVF, 880(0)77--88
-
Broy:1994:SRF, 863(0)247--z
-
Bruce, K. B., 802(0)603--626
-
Bruce:1994:OST, 802(0)603--626
-
Brudaru, O., 817(0)502--z
-
Brudaru:1994:SDE, 817(0)502--z
-
Bruegge, Bernd, 750(0)411--z, 821(0)474--z
-
Bruegge:1994:GEM, 821(0)474--z
-
Bruegge:1994:TIC, 750(0)411--z
-
Brueggemann-Klein, A., 812(0)34--43
-
Brueggemann-Klein:1994:LPS, 812(0)34--43
-
Bruening, S., 814(0)222--z, 814(0)783--z, 822(0)174--z
-
Bruening, S., see Bibel, W.
-
Bruening:1994:DNP, 814(0)222--z
-
Bruening:1994:TEC, 822(0)174--z
-
Bruijn, N. G., De, 814(0)237--z, 859(0)81--z
-
Brunk, C., 869(0)376--z
-
Brunk, C., see Esposito, F.
-
Bruno, G., 851(0)529--z
-
Bruno:1994:SDV, 851(0)529--z
-
Bruschini, C. E., 796(0)371--z
-
Bruschini, C. E., see Apostolakis, J.
-
Bruscoli, P., 787(0)52--z
-
Bruscoli:1994:CCN, 787(0)52--z
-
Brusilovsky, P., 876(0)202--z
-
Brusilovsky:1994:EVE, 876(0)202--z
-
Brusoni, V., 869(0)255--z
-
Brusoni:1994:LGP, 869(0)255--z
-
Bruyere, V., 775(0)353--z
-
Bruyere:1994:CT, 775(0)353--z
-
Bruynooghe, M., 822(0)305--z, 844(0)400--z, 844(0)432--z, 864(0)61--z
-
Bruynooghe, M., see Boulanger, D.,
see Codish, M., \see{Janssens, G.
-
Bryce, C., 875(0)55--z
-
Bryce, C., see Banatre, J.-P.
-
Bsaies, K., 844(0)459--z
-
Bsaies:1994:ISP, 844(0)459--z
-
BSP, 817(0)785--z
-
BST, 820(0)178--z
-
Bubak, M., 796(0)177--z, 797(0)142--z, 879(0)127--135, 879(0)136--146
-
Bubak, M., see Boryczko, K.
-
Bubak:1994:IPL, 879(0)136--146
-
Bubak:1994:PDD, 879(0)127--135
-
Bucci, G., 800(0)181--188
-
Bucci, G., see Borri, A.
-
Bucciarelli, A., 802(0)333--358
-
Bucciarelli:1994:AAS, 802(0)333--358
-
Buchberger, 845(0)285--z
-
Buchenrieder, K., 763(0)42--z
-
Buchenrieder, K., see Monjau, D.
-
Buchheit, M., 779(0)15--22, 861(0)51--z
-
Buchheit, M., see Baader, F.
-
Buchheit:1994:SBQ, 779(0)15--22
-
Buchholz, P., 815(0)119--z
-
Buchholz:1994:HHL, 815(0)119--z
-
Buchi, 834(0)378--z
-
Buchmann, A., 819(0)26--z
-
Buchmann, J., 877(0)160--z
-
Buchmann, Johannes A., 773(0)159--z, 839(0)56--60
-
Buchmann, Johannes A., see Biehl, Ingrid
-
Buchmann:1994:DMR, 819(0)26--z
-
Buchmann:1994:IGN, 773(0)159--z
-
Buchmann:1994:RLB, 877(0)160--z
-
Buechi, 820(0)142--z
-
Buehler, C., 860(0)51--z
-
Buehler:1994:UCI, 860(0)51--z
-
Buelck, T., 854(0)497--z
-
Buelck:1994:EIC, 854(0)497--z
-
Buelens, Johan, 773(0)212--z
-
Buelens, Johan, see Preneel, Bart
-
Buendgen, R., 814(0)693--z
-
Buendgen:1994:PPP, 814(0)693--z
-
Bueno, F., 850(0)114--z, 874(0)151--z
-
Bueno, F., see Montanari, U.
-
Bueno:1994:EAL, 850(0)114--z
-
Buffer, 853(0)256--z, 868(0)167--z
-
Bugaj, E., Madalinska-, 861(0)226--z
-
Bugliesi, M., 844(0)215--z
-
Bugliesi:1994:LEO, 844(0)215--z
-
Bugs, 854(0)66--z
-
Buhrman, H., 820(0)263--z
-
Buhrman:1994:CER, 820(0)263--z
-
Bui, T. N., 866(0)108--z
-
Bui:1994:AHS, 866(0)108--z
-
build, 796(0)15--z, 814(0)237--z
-
building, 750(0)345--z, 774(0)218--z, 784(0)257--z, 797(0)120--z,
811(0)42--52, 814(0)72--z, 837(0)436--z, 851(0)169--z, 856(0)540--z,
866(0)472--z, 869(0)295--z
-
Built-Ins, 775(0)263--z
-
Bulk, 809(0)127--z
-
Bull, D. R., 865(0)304--z
-
Bull, D. R., see Beasley, D.
-
Bull, J. M., 817(0)490--z, 879(0)219--228
-
Bull, J. M., see Freeman, T. L.
-
Bull, L., 865(0)95--z
-
Bull:1994:ESG, 865(0)95--z
-
Bull:1994:PAI, 817(0)490--z
-
Bundle, 763(0)21--z
-
Bundy, A., 822(0)54--z
-
Bundy, A., see Monroy, R.
-
Bunke, H., 837(0)106--z
-
Bunke:1994:SMS, 837(0)106--z
-
Buntrock, G., 775(0)595--z
-
Buntrock:1994:VMP, 775(0)595--z
-
Bunz, H., 851(0)503--z, 868(0)224--z
-
Bunz, H., see Baum-Waidner, B.
-
Bunz:1994:SMA, 868(0)224--z
-
Burch, J. R., 818(0)68--z
-
Burch:1994:AVP, 818(0)68--z
-
Burckert, H.-J, 777(0)44--z, 777(0)104--z
-
Burckert, H.-J., see Nebel, B.
-
Burckert:1994:TR, 777(0)44--z
-
Burger, A., 826(0)121--z
-
Burger, F., 856(0)83--z
-
Burger:1994:BTT, 826(0)121--z
-
Burger:1994:MSD, 856(0)83--z
-
Burkart, O., 836(0)98--z
-
Burkart:1994:PPP, 836(0)98--z
-
Burmester, Mike V. D., 765(0)440--z, 839(0)308--317
-
Burmester:1994:CCW, 765(0)440--z
-
Burmester:1994:ROD, 839(0)308--317
-
Burnikel, C., 855(0)227--z
-
Burnikel:1994:HCV, 855(0)227--z
-
Burrage, K., 854(0)184--z
-
Burrage, K., see Lau, L.
-
burst, 783(0)356--z, 829(0)53--z
-
Bus, 763(0)190--z, 805(0)197--206, 817(0)226--z, 849(0)338--z,
854(0)797--z
-
Bus, PI-, 873(0)532--z
-
Bus-Based, 817(0)553--z
-
Busby, G., 860(0)185--z
-
Busby:1994:DAT, 860(0)185--z
-
Busch, H., 859(0)97--z
-
Busch:1994:FOA, 859(0)97--z
-
Business, 772(0)250--z, 811(0)94--104
-
Bussche, J., Van den, 776(0)170--z, 820(0)106--z
-
Buth, K.-H., 788(0)150--z
-
Buth:1994:SSD, 788(0)150--z
-
butterfly, 797(0)489--z
-
Buvac, S., 869(0)468--z
-
Buvac, V., 869(0)468--z
-
Buvac, V., see Buvac, S.
-
Buvac:1994:SPC, 869(0)468--z
-
Buy, 827(0)210--z, 855(0)10--z
-
Bwolen, Yang, 768(0)169--z
-
Bwolen:1994:DMI, 768(0)169--z
-
by-Difference, Programming-, 873(0)134--z
-
by-Example, Proving-, 774(0)73--z
-
by-Name, Call-, 787(0)246--z
-
by-Value, Call-, 787(0)246--z
-
by-value, Call-, 864(0)131--z
-
Bypass, 817(0)226--z
-
Byte-Oriented, 809(0)1--z
-
bytes., 814(0)816--820
-
Bywater, R., 796(0)189--z
-
Bywater:1994:OOS, 796(0)189--z