Index file section A for lncs1994.bib
Last update: Mon Mar 13 02:21:52 MDT 2017
Return to index directory
A
-
{A}-Codes, 765(0)1--z
-
a-vis, vis-, 834(0)378--z
-
Aagaard, M., 780(0)400--413
-
Aagaard:1994:TSD, 780(0)400--413
-
Aalst, W. M. P., Van der, 794(0)425--444
-
Aalund, A., 879(0)1--10
-
Aalund:1994:CFD, 879(0)1--10
-
Aamodt, A., 837(0)274--z
-
Aamodt:1994:EDC, 837(0)274--z
-
Aastroem, K., 800(0)439--448
-
Aastroem:1994:APN, 800(0)439--448
-
Ab, 796(0)203--z
-
Abadi, M., 788(0)1--z
-
Abadi, Martin, 789(0)296--z, 821(0)60--z
-
Abadi, Martin, see Lamping, John
-
Abadi:1994:TPOa, 788(0)1--z
-
Abadi:1994:TPOb, 789(0)296--z
-
Abali, B., 853(0)161--z
-
Abali:1994:RAI, 853(0)161--z
-
Abbadi, A., El, 779(0)123--130
-
Abbott, A. L., 849(0)156--z
-
Abbott, A. L., see Athanas, P. M.
-
Abdelmoty, A. I., 856(0)445--z
-
Abdelmoty:1994:GDH, 856(0)445--z
-
Abduction, 827(0)349--z, 838(0)66--z, 872(0)121--z
-
Abductive, 810(0)98--z, 822(0)189--z, 827(0)301--z, 850(0)150--z
-
Abdulla, P. A., 820(0)316--z
-
Abdulla:1994:UVP, 820(0)316--z
-
Abdulrab, H., 812(0)251--263
-
Abdulrab, H., see Makanin, G. S.
-
Abe, N., 774(0)300--z, 872(0)187--z, 872(0)500--z
-
Abe, N., see Nakamura, A.
-
Abe:1994:TRT, 872(0)187--z
-
abelian, 877(0)41--z
-
Aben, M., 867(0)26--z
-
Aben, M., see Ruiz, F.
-
Aberer, K., 811(0)380--393
-
Aberer:1994:DUO, 811(0)380--393
-
Ability, 817(0)725--z
-
Abiteboul, S., 779(0)81--94
-
Abiteboul, S., see Dos Santos, C. S.
-
Ablayev, F., 813(0)1--z
-
Ablayev:1994:LBP, 813(0)1--z
-
AbleProfessionals, 860(0)252--z
-
Abmann, Uwe, 786(0)278--z
-
Abmann, Uwe, see Alt, Martin
-
Abnormality, 861(0)260--z
-
Abramovici, M., 851(0)89--z
-
Abramovici:1994:GUI, 851(0)89--z
-
Abramsky, Samson, 789(0)1--z
-
Abramsky:1994:FAP, 789(0)1--z
-
Abramson, D., 817(0)478--z
-
Abramson:1994:MPP, 817(0)478--z
-
Abreu, S., 798(0)3--10
-
Abreu:1994:DAI, 798(0)3--10
-
abstract, 776(0)86--z, 776(0)119--z, 780(0)490--501, 785(0)1--29,
785(0)30--52, 785(0)53--78, 785(0)79--97, 785(0)98--112,
785(0)113--127, 785(0)128--143, 785(0)144--157, 785(0)158--172,
785(0)173--187, 785(0)188--206, 785(0)207--219, 785(0)220--234,
785(0)235--251, 785(0)252--267, 785(0)268--279, 785(0)280--294,
785(0)295--309, 785(0)310--320, 785(0)321--336, 785(0)337--350,
786(0)172--z, 786(0)188--z, 788(0)424--z, 788(0)454--z, 789(0)16--z,
789(0)224--z, 789(0)321--z, 789(0)598--z, 797(0)367--z,
802(0)293--303, 803(0)92--z, 806(0)366--383, 813(0)278--z,
814(0)529--z, 814(0)590--z, 821(0)12--z, 821(0)12--z--1,
822(0)159--z, 833(0)109--z, 834(0)11--z, 836(0)497--z, 841(0)373--z,
864(0)1--z, 864(0)61--z, 864(0)179--z, 864(0)363--z, 873(0)93--z,
873(0)519--z, 876(0)56--z
-
Abstracted, 802(0)160--176
-
Abstracting, 791(0)152--z, 821(0)81--z, 823(0)508--z, 844(0)57--z,
844(0)400--z, 844(0)432--z
-
Abstraction, 780(0)227--238, 780(0)267--280, 780(0)490--501, 789(0)1--z,
802(0)320--332, 810(0)98--z, 811(0)149--171, 818(0)455--z,
835(0)175--z, 841(0)608--z, 859(0)391--z, 867(0)262--z,
872(0)516--z, 880(0)217--230
-
abstractions, 782(0)171--z, 811(0)325--338, 818(0)81--z, 818(0)207--z,
836(0)417--z, 856(0)621--z
-
abstractor, 788(0)105--z
-
Abu-Ghazaleh, N. B., 854(0)616--z
-
Abu-Ghazaleh, N. B., see Bagley, R. A.
-
Abuaiadh, D., 834(0)442--z
-
Abuaiadh:1994:FHO, 834(0)442--z
-
AC, 780(0)438--450
-
AC, 011-, 822(0)44--z
-
AC-superposition, 814(0)545--z
-
AC-Unification, 845(0)105--z, 845(0)136--z
-
AC-unifiers, 814(0)545--z
-
Academic, 750(0)263--z, 750(0)343--z
-
Acampora, A. S., 783(0)552--z
-
Acampora:1994:AMM, 783(0)552--z
-
Accelerated, 854(0)449--z
-
Accelerating, 794(0)231--252
-
acceleration, 768(0)406--z
-
Acceptance, 775(0)533--z, 775(0)543--z, 876(0)56--z
-
Accepted, 841(0)245--z
-
access, 768(0)152--z, 780(0)324--337, 783(0)67--z, 783(0)251--z,
783(0)428--z, 783(0)476--z, 819(0)317--z, 826(0)170--z,
851(0)219--z, 854(0)414--z, 854(0)449--z, 860(0)76--z, 860(0)214--z,
861(0)39--z, 875(0)267--z, 875(0)319--z
-
Access, Multiple-, 783(0)172--z
-
Accessibility, 860(0)164--z
-
Accessible, 860(0)198--z
-
Accessible, Fully-, 860(0)164--z
-
Accessing, 860(0)269--z
-
Accommodation, 860(0)252--z
-
Accounting, 858(0)40--z
-
accumulator, 765(0)274--z
-
Accuracy, 794(0)369--388
-
Accuracy, High-, 879(0)505--519
-
Accurate, 810(0)145--z, 825(0)257--z, 866(0)452--z
-
Aceto, L., 836(0)449--z
-
Aceto:1994:DCI, 836(0)449--z
-
Achieved, 797(0)447--z
-
Achievement, 822(0)320--z
-
Achieves, 770(0)1--z
-
Achieving, 834(0)669--z, 852(0)336--z
-
Achilleoudis, N., 868(0)44--z
-
Achilleoudis:1994:ICT, 868(0)44--z
-
Ackermann, R., 784(0)138--z
-
Ackermann, R., see Herrmann, J.
-
Acquisition, 784(0)339--z, 862(0)66--z, 867(0)46--z, 867(0)63--z,
867(0)137--z, 867(0)178--z
-
Across, 786(0)419--z, 844(0)355--z
-
Act, 811(0)172--185, 811(0)200--213
-
action, 770(0)1--z, 786(0)16--z, 789(0)385--z, 813(0)218--z, 827(0)48--z,
830(0)55--z, 832(0)238--z, 833(0)109--z, 836(0)367--z, 844(0)457--z,
859(0)332--z, 861(0)16--z, 861(0)226--z, 865(0)210--z, 869(0)213--z,
869(0)305--z, 869(0)458--z, 869(0)521--z, 873(0)1--z, 873(0)461--z
-
Action-Based, 786(0)1--z
-
Activation, 817(0)577--z
-
Activation-Oriented, 863(0)268--z
-
active, 800(0)3--14, 800(0)15--24, 800(0)111--116, 800(0)123--130,
800(0)341--352, 800(0)543--554, 817(0)539--z, 819(0)351--z,
841(0)383--z, 856(0)360--z, 856(0)370--z, 856(0)380--z,
856(0)390--z, 858(0)171--z, 858(0)189--z
-
Activity, 772(0)171--z, 819(0)78--z
-
Actor, 776(0)234--z
-
Actor-Based, 817(0)753--z
-
ACTRESS, 786(0)16--z
-
Acyclic, 786(0)128--z, 839(0)75--82
-
Aczel, P., 802(0)1--28
-
Aczel:1994:FUP, 802(0)1--28
-
AD, VIS-, 871(0)37--z
-
Ada, 750(0)77--z
-
Adachi, N., 866(0)36--z
-
Adachi, N., see Yoshida, Y.
-
Adaptable, 837(0)209--z
-
Adaptation, 763(0)380--z, 837(0)209--z, 837(0)221--z, 851(0)51--z,
865(0)103--z, 866(0)189--z, 866(0)199--z, 868(0)115--z,
868(0)124--z, 868(0)191--z
-
adapted, Shape-, 800(0)389--402
-
Adapted, User-, 876(0)45--z
-
Adapting, 793(0)241--252, 797(0)324--z, 860(0)16--z, 861(0)379--z
-
Adapting, Rapidly-, 783(0)242--z
-
adaptive, 768(0)139--z, 775(0)301--z, 783(0)67--z, 783(0)219--z,
800(0)441--448, 817(0)363--z, 817(0)490--z, 818(0)455--z,
833(0)56--z, 837(0)379--z, 846(0)21--z, 852(0)3--z, 853(0)31--z,
853(0)45--z, 853(0)60--z, 853(0)266--z, 853(0)295--z, 865(0)180--z,
866(0)229--z, 866(0)482--z
-
Adaptive, Self-, 867(0)394--z
-
adaptively, 773(0)420--z, 773(0)420--z--1, 866(0)472--z
-
Add-On, 797(0)487--z
-
Adda, G., 862(0)57--z
-
Adda, G., see Jardino, M.
-
Added, 851(0)295--z
-
Adder, 852(0)327--z
-
Adding, 782(0)328--z, 786(0)263--z, 817(0)226--z, 821(0)493--z,
838(0)247--z, 873(0)618--z, 874(0)95--z
-
Addison, C., 796(0)340--z
-
Addison:1994:SOR, 796(0)340--z
-
Additional, 775(0)403--z, 872(0)64--z, 872(0)91--z
-
Additive, 841(0)27--z
-
Address, 750(0)1--z
-
address, Multi-, 853(0)146--z
-
Ade, H., 869(0)336--z
-
Ade:1994:RIT, 869(0)336--z
-
adequacy, 785(0)128--143, 802(0)72--82, 823(0)475--z
-
Ader, M., 811(0)42--52
-
Ader, M., see Lu, G.
-
Adet, E., Paviot-, 815(0)199--z
-
adic, 854(0)313--z
-
Adic, 2-, 809(0)174--z
-
Adini, Y., 800(0)286--298
-
Adini, Y., see Moses, Y.
-
adjunctions, 785(0)235--251
-
Adjusting, Self-, 834(0)433--z
-
Adjustment, 763(0)243--z
-
Adleman, L. M., 877(0)28--z, 877(0)108--z, 877(0)249--z, 877(0)291--z
-
Adleman, Leonard M., 773(0)147--z
-
Adleman:1994:ECC, 877(0)249--z
-
Adleman:1994:FHS, 877(0)108--z
-
Adleman:1994:OPN, 877(0)291--z
-
Adleman:1994:SAD, 773(0)147--z
-
Adleman:1994:SADb, 877(0)28--z
-
Admissible, 813(0)304--z
-
Admission, 846(0)89--z
-
Admits, 834(0)20--z
-
Admitting, 854(0)301--z
-
ADMS, 779(0)323--336
-
Advance, 868(0)23--z
-
advanced, 750(0)303--z, 763(0)11--z, 783(0)428--z, 791(0)139--z,
793(0)45--66, 796(0)139--z, 797(0)407--416, 811(0)1--z, 811(0)2--13,
811(0)14--27, 811(0)28--41, 811(0)42--52, 811(0)53--65,
811(0)66--79, 811(0)80--93, 811(0)94--104, 811(0)105--118,
811(0)119--134, 811(0)135--148, 811(0)149--171, 811(0)172--185,
811(0)186--199, 811(0)200--213, 811(0)214--227, 811(0)228--241,
811(0)242--255, 811(0)256--268, 811(0)269--282, 811(0)283--296,
811(0)297--310, 811(0)311--324, 811(0)325--338, 811(0)339--352,
811(0)353--366, 811(0)367--379, 811(0)380--393, 811(0)394--405,
811(0)406--419, 812(0)344--357, 848-0-xiii, 851(0)75--z,
851(0)99--z, 851(0)235--z, 856(0)779--z, 866(0)68--z
-
advances, 778(0)12--z, 800(0)51--60, 860(0)46--z
-
advantages, 782(0)105--z, 800(0)123--130
-
Advection-Chemistry, 879(0)11--16
-
Adventure, 750(0)191--z
-
Adverbials, 827(0)238--z
-
advice, 814(0)802--z, 856(0)349--z
-
ADVISE, 854(0)184--z
-
AE, 814(0)118--z
-
AEA, 796(0)346--z
-
Aebi, D., 819(0)400--z
-
Aebi:1994:MTD, 819(0)400--z
-
Aeronautical, 796(0)72--z
-
Aerospace, 797(0)53--z, 797(0)60--z, 797(0)70--z
-
AF2, 832(0)280--z
-
affine, 800(0)15--24, 800(0)73--84, 800(0)85--96, 800(0)159--164,
800(0)165--172, 800(0)205--210, 800(0)217--224, 800(0)389--402,
800(0)397--406, 800(0)439--448, 820(0)340--z, 825(0)11--z,
825(0)127--z, 825(0)297--z
-
Affinity, 768(0)290--z
-
Affinity, Object-, 817(0)661--z
-
AFORIZM, 867(0)244--z
-
Afrati, F., 874(0)181--z
-
Afrati:1994:LVP, 874(0)181--z
-
Afsarmanesh, H., 856(0)744--z
-
Afsarmanesh:1994:FDI, 856(0)744--z
-
Afshar, M., 864(0)449--z
-
Afshar, M., see Khoshnevisan, H.
-
Aft, 750(0)35--z
-
against, 773(0)420--z, 773(0)420--z--1, 793(0)78--90, 825(0)69--z
-
Agarwal, A., 817(0)351--z
-
Agarwal, P. K., 824(0)1--z, 824(0)13--z
-
Agarwal, R. C., 797(0)164--z
-
Agarwal, V. K., 817(0)823--z
-
Agarwal, V. K., see Nemawarkar, S. S.
-
Agarwal:1994:CDO, 824(0)1--z
-
Agarwal:1994:MAM, 817(0)351--z
-
Agarwal:1994:SMM, 824(0)13--z
-
Agarwal:1994:VHP, 797(0)164--z
-
Agent, 772(0)75--z, 808(0)123--z, 817(0)737--z, 827(0)332--z,
830(0)69--z, 830(0)147--z, 835(0)113--z, 851(0)181--z, 861(0)202--z,
861(0)397--z, 866(0)524--z
-
Agent, Multi-, 808(0)161--z, 830(0)3--z, 830(0)24--z,
830(0)164--z, 856(0)581--z, 876(0)164--z
-
agent, multi-, 869(0)203--z, 869(0)285--z
-
Agent-Based, 867(0)63--z
-
Agerholm, S., 780(0)295--309, 859(0)1--z
-
Agerholm:1994:DTH, 780(0)295--309
-
Agerholm:1994:LEH, 859(0)1--z
-
Agesen, O., 864(0)78--z
-
Agesen:1994:CBT, 864(0)78--z
-
AGG, 776(0)380--z
-
Aggarwal, R., 796(0)254--z
-
Aggarwal, R., see Keunings, R.
-
Aggarwal, S., 856(0)621--z
-
Aggarwal:1994:DED, 856(0)621--z
-
Aggregate, 819(0)62--z
-
Aggregating, 774(0)150--z
-
Aggregation, 811(0)149--171, 830(0)41--z, 874(0)193--z, 875(0)431--z
-
Agley, 750(0)35--z
-
Agrawal, D., 779(0)123--130
-
Agrawal, D., see Alonso, G.
-
Agrawal, O. P., 849(0)295--z
-
Agrawal, R., 779(0)7--z
-
Agrawal, V. K., 863(0)476--z
-
Agrawal, V. K., see Kishore, J. K.
-
Agrawal:1994:HDC, 849(0)295--z
-
Agrawal:1994:TDU, 779(0)7--z
-
Agreement, 773(0)456--z, 857(0)253--z
-
Agricultural, 854(0)184--z
-
Aguilar, M., Fiallos, 817(0)73--z
-
Aguilera, G., 838(0)198--z
-
Aguilera:1994:TDS, 838(0)198--z
-
Agusti, J., 785(0)252--267
-
Agusti, J., see Levy, J.
-
Aha, D. W., 784(0)31--z
-
Aha:1994:IIS, 784(0)31--z
-
Ahonen, H., 862(0)153--z
-
Ahonen:1994:FGS, 862(0)153--z
-
Ahuja, N., 800(0)211--216
-
Ahuja, N., see Sull, S.
-
AI, 810(0)296--z, 847(0)10--z, 860(0)9--z
-
Ai, Jackson, Wen-, 773(0)126--z--1
-
aid, 860(0)51--z, 869(0)174--z
-
Aided, 763(0)21--z
-
Aided, Computer-, 763(0)11--z, 763(0)131--z, 763(0)406--z,
763(0)440--z
-
aided, computer-, 869(0)223--z
-
Aiken, A., 832(0)1--z, 864(0)43--z, 874(0)326--z
-
Aiken:1994:CSC, 832(0)1--z
-
Aiken:1994:DTC, 864(0)43--z
-
Aiken:1994:SCR, 874(0)326--z
-
Aime, D., Herin-, 856(0)581--z
-
Air, 779(0)245--258, 819(0)28--z, 839(0)114--120, 879(0)11--16,
879(0)110--126
-
Airchinnigh, M. M., Mac an, 851(0)563--z
-
Airchinnigh, M., Mac an, 851(0)39--z
-
Aircraft, 796(0)32--z, 797(0)60--z, 856(0)713--z
-
Airline, 855(0)319--z
-
Ait-Braham, A., 856(0)270--z
-
Ait-Braham, A., see Theodoulidis, B.
-
Aitken, J., Stuart, 867(0)83--z
-
Aizawa, K., 776(0)1--z
-
Aizawa:1994:PCG, 776(0)1--z
-
Ajmone Marsan, M., 794(0)159--179
-
AjmoneMarsan:1994:SAC, 794(0)159--179
-
Akama, Y., 789(0)465--z
-
Akama, Y., see Takahashi, Masako
-
Akiba, S., 774(0)101--z
-
Akiba, S., see Sato, T.
-
Akil, M., 849(0)332--z
-
Akil:1994:IPE, 849(0)332--z
-
Akkermans, H., 867(0)1--z
-
Akkermans, H., see Schreiber, G.
-
AKL, 798(0)3--10
-
Akl, S. G., 854(0)301--z
-
Akl:1994:PAS, 854(0)301--z
-
Akoka, J., 823(0)438--z
-
Akoka:1994:FAC, 823(0)438--z
-
Aksit, M., 791(0)152--z
-
Aksit, Mehmet, 821(0)386--z
-
Aksit:1994:AOI, 791(0)152--z
-
Aksit:1994:RTS, 821(0)386--z
-
Akutsu, T., 807(0)240--249, 834(0)38--z, 834(0)405--z
-
Akutsu:1994:ALC, 834(0)405--z
-
Akutsu:1994:ASM, 807(0)240--249
-
Akutsu:1994:DCP, 834(0)38--z
-
Akyildiz, I. F., 882(0)168--z
-
Akyildiz, I. F., see Yen, W.
-
Al, 861(0)1--z
-
Al-Qaimari, G., 826(0)153--z
-
Al-Qaimari, G., see Paton, N. W.
-
Al-Tawil, K. M., 852(0)529--z
-
Al-Tawil, K. M., see Avresky, D. R.
-
Alabbadi, M., 829(0)6--z
-
Alabbadi:1994:SDS, 829(0)6--z
-
Alagic, S., 821(0)236--z, 826(0)73--z
-
Alagic:1994:DOO, 821(0)236--z
-
Alagic:1994:ETL, 826(0)73--z
-
Alayon, F., 763(0)357--z
-
Alayon, F., see Munoz-Blanco, J. A.
-
Albers, S., 824(0)25--z, 841(0)201--z
-
Albers:1994:CAL, 841(0)201--z
-
Albers:1994:NLA, 824(0)25--z
-
Albert, P., 867(0)374--z
-
Albert, P., see Rouveirol, C.
-
Albertos, P., 763(0)118--z
-
Albertos:1994:SDP, 763(0)118--z
-
Alessi, F., 787(0)37--z, 841(0)211--z
-
Alessi:1994:MMC, 841(0)211--z
-
Alessi:1994:TP, 787(0)37--z
-
Aleven, V., 837(0)338--z
-
Aleven, V., see Ashley, K. D.
-
Alewine, Neal J., 774(0)45--z--1
-
Alewine, Neal J., see Fuchs, W. Kent
-
Alexander, K. S., 807(0)164--172
-
Alexander:1994:SCS, 807(0)164--172
-
ALF, 806(0)213--237
-
Alferes, J. J., 798(0)11--23, 798(0)268--281, 808(0)91--z, 808(0)107--z,
838(0)106--z
-
Alferes, J. J., see Pereira, L. M.
-
Alferes:1994:BPL, 838(0)106--z
-
Alferes:1994:CWA, 798(0)11--23
-
Alford, W. R., 877(0)1--z
-
Alford:1994:DFR, 877(0)1--z
-
algebra, 780(0)174--184, 780(0)427--437, 785(0)53--78, 785(0)207--219,
785(0)280--294, 788(0)58--z, 792(0)133--z, 803(0)46--z,
803(0)530--z, 812(0)396--409, 814(0)590--z, 816(0)1--19,
816(0)20--39, 816(0)40--55, 816(0)56--75, 816(0)76--95,
816(0)96--123, 816(0)124--145, 816(0)146--168, 816(0)169--188,
816(0)189--222, 816(0)223--255, 816(0)276--304, 816(0)305--325,
816(0)326--344, 825(0)145--z, 829(0)33--z, 832(0)36--z,
836(0)194--z, 836(0)226--z, 836(0)401--z, 836(0)465--z,
841(0)536--z, 856(0)37--z, 873(0)681--z, 879(0)425--433,
880(0)217--230
-
Algebra-Based, 794(0)353--368
-
algebraic, 763(0)21--z, 763(0)220--z, 774(0)398--z, 776(0)380--z,
782(0)228--z, 785(0)1--29, 785(0)98--112, 785(0)188--206,
785(0)220--234, 785(0)295--309, 785(0)310--320, 785(0)321--336,
787(0)218--z, 788(0)501--z, 793(0)24--37, 802(0)454--473,
803(0)509--z, 805(0)35--44, 814(0)386--z, 816(0)146--168,
817(0)701--z, 820(0)462--z, 825(0)127--z, 825(0)493--z, 826(0)90--z,
829(0)1--z, 833(0)15--z, 841(0)112--z, 850(0)6--z, 856(0)300--z,
856(0)310--z, 858(0)329--z, 863(0)680--z, 864(0)266--z,
869(0)295--z, 877(0)80--z, 877(0)221--z, 879(0)59--66,
879(0)547--556, 880(0)193--204
-
Algebraic, Lindenbaum-, 764(0)1--z
-
ALGOL-like, 841(0)608--z
-
Algorithmic, 763(0)293--z, 812(0)344--357, 820(0)274--z, 834(0)226--z,
854(0)878--z, 859(0)316--z
-
Algorithms, Parallel-, 778(0)22--z
-
Alherbish, J. S., 797(0)489--z
-
Alherbish:1994:BBF, 797(0)489--z
-
Alho, Kari, 821(0)513--z
-
Alho, Kari, see Peltonen, Hannu
-
Ali, M. M., 793(0)325--342
-
Ali, M. M., see Kamoun, F.
-
Aliasing, 850(0)287--z, 852(0)289--z
-
Align, 768(0)321--z
-
alignment, 800(0)479--484, 807(0)1--14, 807(0)15--30, 807(0)31--42,
807(0)43--53, 807(0)75--86, 807(0)87--101, 825(0)435--z
-
Alignment-Distribution, 768(0)234--z
-
Alimonti, P., 778(0)40--z, 857(0)164--z
-
Alimonti:1994:FED, 857(0)164--z
-
Alimonti:1994:NLS, 778(0)40--z
-
all, 773(0)147--z, 775(0)497--z, 775(0)759--z, 807(0)31--42,
812(0)410--421, 824(0)119--z, 834(0)190--z, 849(0)230--z
-
all-digital, 793(0)45--66
-
Allash, 765(0)248--z
-
Allcache, 817(0)514--z
-
Allegories, 813(0)56--z
-
Allenberg-Navony, N., 857(0)311--z
-
Allenberg-Navony:1994:ARC, 857(0)311--z
-
Allgayer, J., 810(0)13--z
-
Allgayer:1994:CER, 810(0)13--z
-
Allocation, 782(0)129--z, 783(0)33--z, 797(0)363--z, 817(0)677--z,
817(0)793--z, 821(0)320--z, 830(0)133--z, 851(0)455--z,
857(0)194--z
-
Allows, 807(0)113--124
-
Almerico, F., 878-0-xvi
-
Almerico, F., see Blanco, M. A.
-
Almost, 765(0)65--z
-
ALOHA, 783(0)452--z
-
{ALOHA}-based, 793(0)343--358
-
Alon, N., 855(0)354--z
-
Alon:1994:FCG, 855(0)354--z
-
Alonso, G., 779(0)123--130
-
Alonso:1994:UAC, 779(0)123--130
-
Alou, M., 868(0)315--z
-
Alou, M., see Pusztaszeri, Y.-H.
-
Alpha-Conversion, 780(0)414--426, 806(0)313--332
-
Alphabet-Independent, 807(0)125--135
-
Alphabetic, 820(0)251--z
-
Alphabets, 807(0)184--197
-
Alpuente, M., 850(0)77--z
-
Alpuente:1994:CAE, 850(0)77--z
-
Alquezar, R., 862(0)203--z
-
Alquezar:1994:HCS, 862(0)203--z
-
Alstein, D., 852(0)599--z
-
Alstein, D., see Van der Stok, P. D. V.
-
Alt, Martin, 786(0)278--z
-
Alt:1994:CCP, 786(0)278--z
-
Altenhofen, M., 868(0)237--z
-
Altenhofen:1994:BMT, 868(0)237--z
-
Altenkirch, T., 806(0)3--18
-
Altenkirch:1994:PSN, 806(0)3--18
-
Altera, 849(0)120--z
-
Altera-PLDs, 849(0)306--z
-
alternate, 765(0)443--z, 765(0)443--z--1
-
Alternating, 765(0)453--z, 820(0)304--z
-
Alternation, 775(0)85--z, 813(0)240--z, 841(0)494--z
-
Alternative, 750(0)245--z, 750(0)463--z, 765(0)274--z, 779(0)145--158,
780(0)213--226, 807(0)75--86, 852(0)151--z
-
Altes, J., 796(0)92--z
-
Altes, J., see Watermann, A.
-
Altevogt, P., 796(0)352--z
-
Altevogt:1994:MCS, 796(0)352--z
-
Althoff, K.-D., 837(0)167--z
-
Althoff, K.-D., see Wess, S.
-
Altman, E. R., 854(0)640--z
-
Altman, E. R., see Govindarajan, R.
-
Altmann, J., 797(0)401--z, 852(0)371--z
-
Altmann, J., see Vounckx, J.
-
Altmann:1994:AHS, 852(0)371--z
-
Alur, R., 818(0)1--z, 836(0)162--z
-
Alur:1994:DCT, 818(0)1--z
-
Alur:1994:OPC, 836(0)162--z
-
Alvarez, C., 775(0)301--z
-
Alvarez, J., 849(0)341--z
-
Alvarez, J., see Rodriguez-Andina, J. J.
-
Alvarez:1994:ADP, 775(0)301--z
-
Alves de Barros, M., 849(0)332--z
-
Alves de Barros, M., see Akil, M.
-
Alves, M., Halfeld Ferrari, 841(0)383--z
-
Alves, A. P., 882(0)310--z
-
Alves, A. P., see Andrade, T.
-
Always, 775(0)137--z
-
Amadio, R. M., 880(0)205--216
-
Amadio:1994:LF, 880(0)205--216
-
Amaldi, E., 775(0)521--z
-
Amaldi:1994:AFM, 775(0)521--z
-
Amalgamated, 776(0)380--z
-
Amamiya, M., 817(0)761--z, 817(0)781--z
-
Amamiya, M., see Kawano, T., \see{Kusakabe, S.
-
Amano, H., 849(0)208--z
-
Amano, H., see Chen, X.-Y.
-
Amar, Bernard, 750(0)251--z
-
Amar, Bernard, see Guyard, Jacques
-
Amarasinghe, Saman P., 768(0)253--z
-
Amarasinghe:1994:OCS, 768(0)253--z
-
Amato, M., 797(0)508--z
-
Amato:1994:PEP, 797(0)508--z
-
Ambainis, A., 872(0)10--z
-
Ambainis:1994:ECT, 872(0)10--z
-
ambiguity, 775(0)679--z, 800(0)175--180, 858(0)221--z, 869(0)105--z
-
Ambiguous, 872(0)438--z
-
Ambler, S., 832(0)18--z
-
Ambler:1994:DMC, 832(0)18--z
-
Ambos-Spies, K., 834(0)369--z, 841(0)221--z
-
Ambos-Spies:1994:GME, 841(0)221--z
-
Ambos-Spies:1994:RBR, 834(0)369--z
-
Ambriola, V., 772(0)2--z, 772(0)207--z, 772(0)249--z
-
Ambriola:1994:AMF, 772(0)207--z
-
Ambriola:1994:OSO, 772(0)2--z
-
Ambriola:1994:RDS, 772(0)249--z
-
Ambrosch, Wolfgang, 782(0)129--z
-
Ambrosch:1994:DCG, 782(0)129--z
-
Ambrosius, R., Socher-, 814(0)665--z, 845(0)352--z
-
America, 860(0)189--z
-
Amini, A. A., 800(0)125--131
-
Amini:1994:SFF, 800(0)125--131
-
Amir, A., 820(0)215--z
-
Amir, Ofir, 774(0)125--z
-
Amir, Yair, 774(0)125--z
-
Amir, Yair, see Amir, Ofir
-
Amir:1994:HAA, 774(0)125--z
-
Amir:1994:OTD, 820(0)215--z
-
Amiri, A., 862(0)168--z
-
Amiri, A., see Lucas, S.
-
Ammann, Paul, 750(0)473--z
-
Ammann:1994:FYP, 750(0)473--z
-
Amor, M., 854(0)208--z
-
Amor:1994:VRR, 854(0)208--z
-
Amorphous, 796(0)267--z
-
Amount, 834(0)669--z
-
AMPHION, 869(0)326--z
-
Amplifiers, 783(0)219--z, 783(0)322--z
-
Amplitude, 783(0)196--z
-
Amrhein, B., 798(0)24--36
-
Amrhein:1994:BHT, 798(0)24--36
-
Amtoft, T., 788(0)43--z
-
Amtoft:1994:LTR, 788(0)43--z
-
Amtrup, J. W., 861(0)391--z
-
Amtrup:1994:UCT, 861(0)391--z
-
an Airchinnigh, M. M., Mac, 851(0)563--z
-
an Airchinnigh, M., Mac, 851(0)39--z
-
An, T., 851(0)343--z
-
An, T., see Prevedourou, D.
-
analog, 800(0)167--174
-
Analogical, 784(0)363--z, 810(0)229--z, 837(0)21--z, 837(0)33--z,
847(0)38--z
-
Analogue, 765(0)40--z, 865(0)51--z, 879(0)349--357
-
Analogy, 837(0)33--z, 837(0)234--z, 872(0)137--z
-
Analyser, 835(0)84--z
-
Analyses, 859(0)65--z
-
Analysing, 817(0)819--z, 834(0)433--z
-
Analyti, A., 869(0)245--z
-
Analyti:1994:DSC, 869(0)245--z
-
analytic, 775(0)723--z, 784(0)198--z, 814(0)723--z, 817(0)336--z
-
Analytical, 792(0)173--z, 800(0)463--470
-
Analyzing, 794(0)445--463, 866(0)108--z, 874(0)63--z
-
Anaya, A., 763(0)96--z
-
Anaya, A., see Parets, J.
-
ancestor, 824(0)302--z
-
and, In-, 874(0)162--z
-
and-Conquer, Divide-, 796(0)446--z
-
And-Parallel, 817(0)438--z
-
And-parallelism, 864(0)297--z
-
and-Replay, Trace-, 768(0)617--z
-
and-select, recover-, 800(0)309--318
-
and-Sweep, Mark-, 875(0)359--z
-
Andersen, B. S., 879(0)11--16
-
Andersen, F., 780(0)1--15, 859(0)17--z
-
Andersen, H. R., 788(0)58--z, 813(0)8--z
-
Andersen, J., Soegaard-, 820(0)166--z
-
Andersen, N., 812(0)1--18
-
Andersen, Rudolf, 750(0)177--z
-
Andersen:1994:APA, 788(0)58--z
-
Andersen:1994:GCT, 812(0)1--18
-
Andersen:1994:GTP, 859(0)17--z
-
Andersen:1994:MCI, 813(0)8--z
-
Andersen:1994:PCN, 750(0)177--z
-
Andersen:1994:PIA, 879(0)11--16
-
Andersen:1994:PVU, 780(0)1--15
-
Anderson, E. W., 846(0)259--z
-
Anderson, E. W., see Pasquale, J. C.
-
Anderson, J. B., 793(0)203--222
-
Anderson, J. B., see Markman, I.
-
Anderson, J. H., 857(0)141--z
-
Anderson, J. H., see Moir, M.
-
Anderson, Jennifer M., 768(0)253--z
-
Anderson, Jennifer M., see Amarasinghe, Saman P.
-
Anderson, M., 772(0)31--z
-
Anderson, P., 814(0)575--z, 822(0)144--z
-
Anderson, R., 809(0)47--z
-
Anderson, R. J., 875(0)231--z
-
Anderson:1994:LCS, 875(0)231--z
-
Anderson:1994:MRM, 809(0)47--z
-
Anderson:1994:NSP, 772(0)31--z
-
Anderson:1994:PEL, 822(0)144--z
-
Anderson:1994:RPT, 814(0)575--z
-
Andersson, A., 855(0)82--z
-
Andersson:1994:FST, 855(0)82--z
-
Andina, J. J., Rodriguez-, 849(0)341--z
-
Andonov, R., 854(0)701--z
-
Andonov:1994:OTS, 854(0)701--z
-
Andrade, T., 882(0)310--z
-
Andrade:1994:TMA, 882(0)310--z
-
Andre, J. M., 796(0)183--z
-
Andre:1994:MQM, 796(0)183--z
-
Andreasen, T., 869(0)144--z
-
Andreasen:1994:WFR, 869(0)144--z
-
Andreoli, J.-M., 791(0)73--z
-
Andreoli, J.-M., see Bourgois, M.
-
Andrews, J. H., 788(0)74--z
-
Andrews, P., 780(0)366--371
-
Andrews:1994:FII, 788(0)74--z
-
Andrews:1994:TIA, 780(0)366--371
-
Andrienko, G. L., 867(0)244--z
-
Andrienko, N. V., 867(0)244--z
-
Andrienko, N. V., see Andrienko, G. L.
-
Andrienko:1994:AAC, 867(0)244--z
-
Andries, M., 776(0)19--z
-
Andries:1994:SSH, 776(0)19--z
-
Androutsopoulos, D., 851(0)61--z
-
Androutsopoulos:1994:SPI, 851(0)61--z
-
Angelo, C. M., 780(0)87--98, 859(0)33--z
-
Angelo:1994:DFS, 780(0)87--98
-
Angelo:1994:RAC, 859(0)33--z
-
Angelopoulou, E., 800(0)247--258
-
Angelopoulou, E., see Wolff, L. B.
-
Anglano, C., 815(0)39--z
-
Anglano:1994:BWA, 815(0)39--z
-
Angular, 855(0)12--z
-
animation, 785(0)310--320
-
Animations, 859(0)113--z
-
Anlauff, M., 873(0)421--z
-
Anlauff:1994:ESS, 873(0)421--z
-
Annealing, 796(0)293--z, 817(0)797--z, 849(0)45--z, 854(0)820--z,
866(0)397--z, 866(0)408--z, 866(0)428--z
-
Annevelink, J., 819(0)234--z
-
Annevelink, J., see De Smedt, P.
-
Annotated, 844(0)230--z
-
Annotation-Based, 827(0)430--z
-
Anomalies, 821(0)386--z, 857(0)156--z
-
Anomalous, 861(0)260--z
-
Anonymous, 750(0)1--z, 750(0)3--z, 750(0)63--z, 750(0)117--z,
750(0)189--z, 750(0)243--z, 750(0)275--z, 750(0)283--z,
750(0)343--z, 750(0)461--z, 750(0)497--z, 750(0)541--z,
765(0)248--z, 765(0)467--z, 773(0)492--z, 821(0)535--z,
839(0)439--z, 840(0)214--z, 840(0)222--z
-
Anonymous:1994:AIa, 765(0)467--z
-
Anonymous:1994:AIb, 773(0)492--z
-
Anonymous:1994:AIc, 821(0)535--z
-
Anonymous:1994:AId, 839(0)439--z
-
Anonymous:1994:I, 840(0)222--z
-
Anonymous:1994:KA, 750(0)1--z
-
Anonymous:1994:R, 840(0)214--z
-
Anonymous:1994:SEA, 750(0)343--z
-
Anonymous:1994:SII, 750(0)283--z
-
Anonymous:1994:SIP, 750(0)243--z
-
Anonymous:1994:SPD, 750(0)275--z
-
Anonymous:1994:SPI, 750(0)189--z
-
Anonymous:1994:SPO, 750(0)117--z
-
Anonymous:1994:SPS, 750(0)461--z
-
Anonymous:1994:SSE, 750(0)541--z
-
Anonymous:1994:SSR, 750(0)497--z
-
Anonymous:1994:STT, 750(0)63--z
-
Anonymous:1994:SUS, 750(0)3--z
-
Another, 773(0)420--z, 773(0)420--z--1, 802(0)333--358, 813(0)34--z,
818(0)415--z
-
Ansah, K., Frimpong-, 882(0)47--z
-
answer, 774(0)285--z, 798(0)255--267
-
answering, 814(0)326--z, 823(0)149--z, 869(0)183--z
-
Ant, 830(0)3--z
-
Antenna, 783(0)87--z
-
Anti-Links, 822(0)275--z
-
Anticipatory, 865(0)210--z
-
Antiprenexing, 822(0)69--z
-
Anton, A. I., 811(0)94--104
-
Anton:1994:GDS, 811(0)94--104
-
Antonelli, C., 852(0)115--z
-
Antonelli:1994:ODF, 852(0)115--z
-
Antonellis, V., De, 823(0)339--z, 858(0)346--z
-
Antonuccio-Delogu, V., 879(0)17--32
-
Antonuccio-Delogu:1994:PTB, 879(0)17--32
-
Antoy, S., 850(0)168--z
-
Antoy:1994:SRS, 850(0)168--z
-
Anuchitanukul, A., 818(0)156--z
-
Anuchitanukul:1994:RSR, 818(0)156--z
-
Aoki, Kazumaro, 839(0)12--16
-
Aoki, Kazumaro, see Ohta, Kazuo
-
Aparicio, J. N., 808(0)91--z, 808(0)107--z
-
Aparicio, J. N., see Pereira, L. M.
-
Apers, P. M. G., 779(0)337--350
-
Apers, P. M. G., see Steenhagen, H. J.
-
APIs, 851(0)219--z
-
Apostolakis, J., 796(0)371--z
-
Apostolakis:1994:FRP, 796(0)371--z
-
Apostolico, A., 775(0)497--z
-
Apostolico:1994:PDA, 775(0)497--z
-
apparent, 800(0)25--34
-
Appelbe, Bill, 768(0)290--z
-
Appelbe:1994:PTL, 768(0)290--z
-
Appelrath, H.-J., 819(0)351--z
-
Appelrath:1994:ADT, 819(0)351--z
-
appendix, 840(0)211--z
-
applicability, 784(0)83--z, 814(0)207--z, 851(0)61--z
-
applied, 763(0)83--z, 796(0)254--z, 797(0)60--z, 797(0)365--z,
800(0)193--200, 813(0)278--z, 844(0)230--z, 849(0)11--z,
869(0)174--z, 879(0)262--269, 879(0)397--415
-
Applying, 772(0)207--z, 772(0)240--z, 800(0)239--250, 817(0)749--z,
819(0)215--z, 856(0)611--z, 865(0)224--z, 866(0)524--z,
867(0)342--z, 873(0)291--z
-
Approaching, 855(0)60--z
-
Appropriate, 856(0)193--z
-
Approximability, 775(0)521--z
-
Approximable, 832(0)139--z
-
approximate, 807(0)240--249, 807(0)259--273, 808(0)17--z, 834(0)234--z,
869(0)65--z, 869(0)114--z, 872(0)484--z
-
Approximately, 807(0)64--74, 872(0)469--z
-
Approximating, 834(0)74--z
-
Approximation, 778(0)33--z, 778(0)40--z, 807(0)43--53, 813(0)173--z,
820(0)191--z, 824(0)95--z, 824(0)231--z, 834(0)306--z, 834(0)405--z,
834(0)414--z, 841(0)525--z, 850(0)6--z, 855(0)148--z, 855(0)424--z,
880(0)300--317, 880(0)318--329, 880(0)330--341, 880(0)342--353
-
Approximation, 4-, 855(0)60--z
-
approximations, 824(0)195--z, 839(0)26--39, 841(0)38--z, 842-0-ix,
855(0)307--z, 864(0)223--z, 869(0)511--z, 877(0)160--z
-
Approximations, in-, 774(0)288--z
-
Apsitis, K., 774(0)59--z, 872(0)26--z
-
Apsitis, K., see Barzdins, J.
-
Apsitis:1994:DSI, 872(0)26--z
-
AQDT-2, 869(0)416--z
-
AR, 765(0)286--292
-
Arabas, J., 869(0)134--z
-
Arabas, J., see Michalewicz, Z.
-
Aramkulchai, Y., 869(0)571--z
-
Aramkulchai, Y., see Jiang, Y. J.
-
Aravindan, C., 838(0)66--z
-
Aravindan:1994:BDA, 838(0)66--z
-
Aravossis, K. G., 856(0)214--z
-
Aravossis, K. G., see Xerokostas, D. A.
-
Arbaoui, S., 772(0)171--z
-
Arbaoui:1994:GOV, 772(0)171--z
-
Arbenz, P., 797(0)326--z
-
Arbenz:1994:STL, 797(0)326--z
-
Arbitrary, 768(0)21--z, 834(0)110--z, 866(0)58--z, 880(0)159--170
-
Arbitration, 773(0)343--z, 839(0)140--149, 853(0)16--z
-
arc, 815(0)179--z, 815(0)338--z, 834(0)559--z
-
Arc, Circular-, 834(0)550--z
-
Archangelsky, D. A., 813(0)18--z
-
Archangelsky:1994:CPH, 813(0)18--z
-
Arches, 750(0)35--z
-
Archibald, J., 794(0)369--388
-
Archibald, J., see Grimsrud, K.
-
Architectural, 782(0)245--z, 791(0)33--z, 797(0)491--z, 846(0)29--z,
851(0)295--z, 851(0)343--z
-
architecture, 750(0)5--z, 772(0)1--z, 772(0)15--z, 774(0)117--z,
779(0)259--272, 779(0)351--364, 779(0)379--392, 782(0)1--z,
782(0)191--207, 783(0)417--z, 783(0)552--z, 784(0)403--z,
794(0)335--352, 796(0)197--z, 796(0)435--z, 797(0)30--z,
797(0)172--z, 797(0)215--z, 797(0)350--z, 797(0)373--z,
797(0)394--z, 797(0)487--z, 798(0)62--76, 815(0)139--z, 817(0)49--z,
817(0)336--z, 817(0)514--z, 817(0)769--z, 817(0)773--z,
817(0)777--z, 817(0)781--z, 817(0)823--z, 819(0)3--z, 819(0)415--z,
821(0)139--z, 830(0)55--z, 837(0)289--z, 846(0)124--z, 849(0)34--z,
849(0)141--z, 849(0)144--z, 849(0)321--z, 849(0)361--z, 851(0)27--z,
851(0)157--z, 851(0)193--z, 851(0)273--z, 851(0)367--z,
851(0)539--z, 852(0)336--z, 852(0)546--z, 854(0)160--z,
854(0)509--z, 854(0)557--z, 854(0)664--z, 854(0)820--z,
856(0)581--z, 859(0)440--z, 861(0)154--z, 865(0)238--z,
866(0)482--z, 866(0)534--z, 869(0)213--z, 869(0)233--z,
871(0)148--z, 875(0)281--z, 875(0)403--z, 876(0)121--z,
879(0)207--218, 879(0)318--332, 879(0)469--482, 879(0)483--492,
882(0)14--z, 882(0)103--z
-
Architectures, Network-, 797(0)260--z
-
Archiving, 796(0)441--z, 819(0)281--z, 868(0)401--z, 882(0)14--z
-
Arcos, J. L., 784(0)403--z, 837(0)289--z, 867(0)355--z
-
Arcos, J. L., see Plaza, E.
-
Arcos:1994:ILK, 867(0)355--z
-
Arcos:1994:RAI, 837(0)289--z
-
Arctic, 853(0)310--z
-
area, 800(0)449--458, 846(0)13--z, 855(0)413--z
-
Area-Efficient, 783(0)529--z
-
Aref, M. R., 793(0)78--90
-
Aref, M. R., see Hendessi, F.
-
Arenas-Sanchez, P., 844(0)385--z
-
Arenas-Sanchez:1994:CLN, 844(0)385--z
-
ARGS, 876(0)77--z
-
argument, 774(0)173--z, 792(0)10--z, 832(0)261--z
-
Arikati, S., Rao, 880(0)125--136
-
Arikati, S., 834(0)261--z
-
Arikati:1994:RDS, 834(0)261--z
-
Arikawa, M., 819(0)142--z
-
Arikawa, S., 774(0)123--z, 784(0)363--z, 872(0)149--z
-
Arikawa, S., see Hirowatari, E., \see{Koga, Y.,
see Mukouchi, Y.
-
Arikawa:1994:DMC, 819(0)142--z
-
Arima, J., 774(0)45--z
-
Arima:1994:REL, 774(0)45--z
-
Arimura, H., 775(0)649--z, 872(0)317--z
-
Arimura, H., see Ishizaka, H.
-
Arimura:1994:FMG, 775(0)649--z
-
Ariola, Zena, 789(0)543--z
-
Ariola:1994:SDU, 789(0)543--z
-
Aristotelian, 835(0)1--z
-
arithmetic, 792(0)188--z, 793(0)67--77, 814(0)311--z, 839(0)282--293,
844(0)324--z, 849(0)78--z, 849(0)196--z, 854(0)313--z,
880(0)438--449
-
Arity, 813(0)240--z
-
arity, Bounded-, 832(0)150--z
-
Ariyavisitakul, S., 783(0)365--z
-
Ariyavisitakul:1994:PDF, 783(0)365--z
-
Arjuna, 774(0)218--z
-
Arkin, E. M., 855(0)36--z
-
Arkin:1994:HTF, 855(0)36--z
-
arm, 800(0)455--462, 865(0)180--z
-
Armengol, E., 837(0)53--z
-
Armengol:1994:KLM, 837(0)53--z
-
Armstrong, T., 864(0)266--z
-
Armstrong:1994:BFD, 864(0)266--z
-
Arnbak, J. C., 783(0)464--z
-
Arnbak, J. C., see Vvedenskaya, N. D.
-
Arnborg, S., 776(0)37--z
-
Arnborg:1994:DHD, 776(0)37--z
-
Arnold, Andre, 775(0)327--z
-
Arnold, O., 872(0)40--z
-
Arnold:1994:HS, 775(0)327--z
-
Arnold:1994:TPG, 872(0)40--z
-
Arnoldi, 797(0)196--z
-
Arnott, J. L., 851(0)51--z
-
Arnott, J. L., see Hine, N. A.
-
Arora, A., 863(0)110--z
-
Arora, T., 780(0)239--252
-
Arora, V., 880(0)318--329
-
Arora:1994:ERT, 863(0)110--z
-
Arora:1994:LBG, 880(0)318--329
-
Arora:1994:RUM, 780(0)239--252
-
Around, 778(0)1--z, 838(0)34--z
-
Aroya, I., Ben-, 855(0)365--z
-
Aroya, Ishai, Ben-, 773(0)187--z
-
Array, 768(0)96--z, 768(0)152--z, 768(0)500--z, 768(0)546--z,
783(0)87--z, 786(0)309--323, 786(0)324--338, 797(0)487--z,
805(0)121--136, 812(0)183--196, 817(0)323--z, 817(0)777--z,
834(0)333--z, 839(0)247--256, 849(0)11--z, 849(0)132--z,
849(0)277--z, 849(0)341--z, 849(0)352--z, 852(0)421--z,
852(0)453--z, 854(0)218--z, 854(0)229--z, 854(0)449--z,
854(0)713--z, 864(0)193--z, 874(0)312--z
-
Arrival, 794(0)111--122
-
Arrowhead, 854(0)808--z
-
art, 793(0)45--66, 860(0)236--z
-
ART, ML-, 789(0)321--z
-
Artamonov, V. A., 829(0)1--z
-
Artamonov:1994:AAK, 829(0)1--z
-
Artefact, 876(0)11--z
-
Artemov, S., 813(0)23--z
-
Artemov:1994:RDS, 813(0)23--z
-
articulated, 800(0)35--46, 800(0)262--273
-
Artifacts, 856(0)420--z
-
Artificial, 830(0)94--z, 830(0)147--z, 833(0)22--z, 849(0)421--z,
860(0)32--z, 861(0)63--z, 866(0)365--z
-
ARTMAP, 866(0)376--z
-
Arvind, D. K., 854(0)124--z
-
Arvind, V., 834(0)137--z
-
Arvind:1994:HIP, 834(0)137--z
-
Arvind:1994:TSA, 854(0)124--z
-
ary, 838(0)332--z, 853(0)45--z
-
ary, -, 838(0)332--z
-
ary, {M}-, 783(0)150--z
-
Arya, S., 855(0)48--z
-
Arya:1994:ECB, 855(0)48--z
-
Asano, T., 834(0)652--z, 855(0)215--z
-
Asano:1994:RCI, 834(0)652--z
-
Asano:1994:USD, 855(0)215--z
-
Asarin, E., 820(0)59--z
-
Asarin:1994:SRB, 820(0)59--z
-
ash{}, 772(0)38--z
-
Asher, N., 861(0)308--z, 869(0)458--z
-
Asher, Yosi, Ben-, 786(0)113--z
-
Asher:1994:RAA, 869(0)458--z
-
Asher:1994:WNC, 861(0)308--z
-
Ashikhmin, A. E., 829(0)69--z
-
Ashikhmin, A. E., see Zyablov, V. V.
-
Ashley, K. D., 837(0)338--z
-
Ashley:1994:LRR, 837(0)338--z
-
ASIC, FPGA-to-, 849(0)280--z
-
ASICs, 849(0)230--z
-
Asides, 837(0)21--z
-
Asking, 810(0)250--z
-
Asnis, I. L., 829(0)97--z
-
Asnis:1994:TCD, 829(0)97--z
-
Asoh, H., 866(0)88--z, 866(0)98--z
-
Asoh:1994:EHD, 866(0)98--z
-
Asoh:1994:MCT, 866(0)88--z
-
aspect, 794(0)89--110, 797(0)469--z, 798(0)301--321, 800(0)421--426,
803(0)230--z, 812(0)279--288, 825(0)127--z, 827(0)238--z,
829(0)1--z, 832(0)175--z, 851(0)321--z, 858(0)96--z, 860(0)9--z
-
Asperti, A., 813(0)34--z, 816(0)1--19
-
Asperti, Andrea, 789(0)366--z
-
Asperti:1994:FRI, 789(0)366--z
-
Asperti:1994:IS, 816(0)1--19
-
Asperti:1994:YAC, 813(0)34--z
-
Assembly, 797(0)302--z
-
assertion, 814(0)738--z
-
Assertions, 792(0)225--z, 821(0)60--z
-
Assessing, 794(0)305--320
-
Assessment, 750(0)463--z, 796(0)346--z, 860(0)185--z, 867(0)342--z
-
Assessment, Self-, 750(0)211--z
-
Assfalg, M., 796(0)232--z
-
Assfalg, M., see Braun, H.
-
Assigning, 834(0)607--z
-
Assignment, 789(0)179--z, 789(0)347--z, 817(0)351--z, 833(0)22--z,
846(0)102--z, 846(0)204--z
-
Assignment, Single-, 768(0)477--z
-
Assimilation, 796(0)317--z
-
Assistance, 837(0)301--z
-
Assistant, 863(0)660--z, 876(0)45--z
-
Assisted, 832(0)91--z, 862(0)282--z
-
Assisted, Compiler-, 774(0)45--z--1
-
Assistive, 860(0)65--z, 860(0)136--z, 860(0)195--z
-
Association, 800(0)338--350, 860(0)189--z
-
associative, 869(0)183--z
-
Associative-Commutative, 814(0)530--z
-
assumption, 773(0)100--109, 773(0)100--z, 806(0)263--290, 822(0)245--z,
877(0)234--z
-
assumption-based, 869(0)571--z
-
assumption-commitment, 836(0)267--z
-
Assurance, 851(0)419--z
-
Assurance, High-, 875(0)403--z
-
Ast, A., 849(0)183--z
-
Ast:1994:DPL, 849(0)183--z
-
Astroem, K., 825(0)199--z
-
Astroem:1994:FDP, 825(0)199--z
-
astronomical, 814(0)341--z
-
Asymmetric, 802(0)544--553
-
Asymptotically, 824(0)207--z, 854(0)749--z
-
asynchronous, 772(0)261--z, 783(0)251--z, 788(0)58--z, 793(0)191--202,
814(0)484--z, 820(0)130--z, 820(0)142--z, 834(0)101--z,
854(0)124--z, 857(0)280--z
-
Asynchronously, 841(0)256--z
-
Asynchrony, 863(0)621--z
-
Atallah, M. J., 817(0)159--z
-
Atallah:1994:MPH, 817(0)159--z
-
Athanas, P. M., 849(0)156--z
-
Athanas:1994:IPC, 849(0)156--z
-
Atlanta, 860(0)252--z
-
ATLAS, 816(0)146--168
-
ATM, 783(0)552--z, 793(0)310--324, 794(0)159--179, 794(0)193--212,
846(0)185--z, 857(0)209--z, 868(0)1--z, 868(0)78--z, 868(0)124--z,
868(0)139--z, 868(0)191--z, 868(0)203--z, 868(0)315--z,
882(0)310--z
-
Atmospheric, 796(0)311--z
-
ATMSWSIM, 794(0)193--212
-
Atomic, 821(0)118--z, 850(0)114--z, 857(0)116--z
-
Atomicity, 819(0)429--z
-
attack, 765(0)398--z, 773(0)200--z, 773(0)420--z, 773(0)420--z--1,
773(0)435--z, 793(0)78--90, 809(0)157--165, 829(0)25--z,
839(0)50--55, 839(0)294--307, 839(0)359--368, 839(0)369--382
-
attaining, 773(0)420--z, 773(0)420--z--1
-
Attardi, Giuseppe, 821(0)320--z
-
Attardi:1994:COA, 821(0)320--z
-
Attempt, 770(0)1--z, 860(0)164--z
-
attention, 800(0)3--14, 872(0)248--z
-
Attitudes, 810(0)296--z, 835(0)127--z
-
Attiya, H., 857(0)179--z, 857(0)194--z
-
Attiya:1994:LHR, 857(0)179--z
-
Attiya:1994:LLR, 857(0)194--z
-
Attribute, 786(0)31--z, 786(0)52--z, 847(0)62--z
-
Attribute, Role-, 823(0)257--z
-
attribute-oriented, 869(0)164--z
-
attributes, 784(0)171--z
-
Auctions, 812(0)317--324
-
Audenaert, K. M. R., 854(0)76--z
-
Audenaert, K. M. R., see Levrouw, L. J.
-
Audio, 783(0)400--z, 860(0)144--z, 863(0)170--z
-
Auditory, 860(0)162--z
-
Auer, P., 872(0)229--z
-
Auer:1994:LLM, 872(0)229--z
-
Augmentation, 834(0)217--z
-
Aumaitre, J.-M., 772(0)227--z
-
Aumaitre:1994:LLF, 772(0)227--z
-
Aumann, Y., 820(0)47--z
-
Aumann, Yonatan, 773(0)85--z
-
Aumann:1994:CRT, 820(0)47--z
-
Aumann:1994:OMP, 773(0)85--z
-
Ausiello, G., 824(0)37--z
-
Ausiello:1994:SRL, 824(0)37--z
-
Aussenac-Gilles, N., 867(0)262--z
-
Aussenac-Gilles:1994:HCD, 867(0)262--z
-
Authentication, 765(0)12--z, 765(0)461--z, 773(0)200--z, 773(0)232--z,
773(0)343--z, 773(0)355--z, 839(0)121--128, 839(0)129--139,
839(0)140--149, 875(0)125--z, 875(0)143--z, 875(0)193--z
-
author, 765(0)467--z, 773(0)492--z, 786(0)309--323, 821(0)535--z,
839(0)439--z
-
Authoring, 876(0)192--z
-
Auto-regressive, 793(0)359--367
-
autoepistemic, 810(0)74--z, 810(0)133--z, 810(0)179--z, 838(0)1--z,
838(0)232--z, 838(0)364--z, 869(0)571--z
-
Autogenerating, 876(0)77--z
-
automata, 763(0)231--z, 774(0)328--z, 775(0)109--z, 775(0)151--z,
778(0)54--z, 778(0)73--z, 787(0)202--z, 789(0)575--z, 796(0)177--z,
812(0)131--139, 812(0)386--395, 817(0)611--z, 818(0)1--z,
818(0)27--z, 818(0)105--z, 820(0)35--z, 820(0)73--z, 820(0)130--z,
820(0)142--z, 834(0)378--z, 834(0)678--z, 836(0)160--z,
836(0)513--z, 841(0)484--z, 845(0)217--z, 863(0)694--z,
866(0)229--z, 866(0)344--z, 873(0)154--z, 880(0)276--287
-
Automata, Communication-, 813(0)1--z
-
Automata, omega-, 841(0)504--z
-
Automata-Driven, 880(0)288--299
-
Automata-Theoretic, 818(0)142--z
-
automated, 784(0)339--z, 796(0)408--z, 808(0)57--z, 811(0)135--148,
814(0)1--z, 814(0)177--z, 814(0)802--z, 814(0)807--z, 814(0)831--z,
818(0)299--z, 827(0)540--z, 838(0)182--z, 838(0)198--z, 845(0)1--z,
861(0)367--z, 869(0)541--z
-
Automath, 859(0)81--z
-
automatic, 763(0)243--z, 768(0)57--z, 768(0)184--z, 768(0)500--z,
774(0)237--z, 780(0)366--371, 794(0)139--158, 796(0)105--z,
796(0)281--z, 796(0)435--z, 797(0)211--z, 797(0)463--z, 815(0)1--z,
818(0)68--z, 818(0)234--z, 818(0)468--z, 823(0)438--z, 834(0)29--z,
854(0)148--z, 854(0)521--z, 862(0)57--z, 869(0)326--z, 873(0)602--z,
879(0)177--189
-
automatically, 794(0)389--405, 814(0)72--z, 819(0)42--z
-
Automaticity, 775(0)619--z
-
Automating, 763(0)160--z, 859(0)391--z
-
automation, 763(0)203--z, 809(0)135--z, 858(0)359--z, 859(0)97--z,
869(0)427--z
-
Automaton, 763(0)220--z
-
autonomous, 800(0)146--151, 861(0)39--z, 861(0)397--z, 866(0)524--z
-
AUTONOMY, 860(0)65--z
-
Auvergne, D., 849(0)34--z
-
Auvergne, D., see Robert, M.
-
Availability, 768(0)216--z
-
available, 771(0)1--z, 774(0)125--z, 814(0)816--820
-
Available, Highly-, 774(0)285--z
-
Avalanche, 765(0)102--z
-
Avau, I., 827(0)165--z
-
Avau, I., see Vergauwen, B.
-
Avenhaus, J., 775(0)263--z, 822(0)215--z, 845(0)269--z
-
Avenhaus:1994:CRS, 822(0)215--z
-
Avenhaus:1994:HOC, 845(0)269--z
-
Avenhaus:1994:OSB, 775(0)263--z
-
Average, 820(0)593--z, 831(0)100--z, 832(0)106--z, 834(0)146--z,
834(0)155--z, 857(0)311--z, 872(0)8--z
-
Average-case, 820(0)178--z
-
Averaging, 784(0)231--z
-
Avoid, 765(0)305--317, 829(0)25--z
-
Avoidance, 798(0)11--23, 798(0)268--281, 882(0)256--z
-
Avresky, D. R., 852(0)529--z
-
Avresky:1994:RFH, 852(0)529--z
-
Awareness, 750(0)245--z
-
Awerbuch, B., 857(0)326--z
-
Awerbuch:1994:SSL, 857(0)326--z
-
AWGN, 793(0)91--108
-
axiom, 798(0)196--205, 810(0)98--z
-
Axiomatic, 808(0)81--z, 813(0)291--z
-
Axiomatisation, 789(0)425--z, 802(0)530--543
-
Axiomatising, 802(0)215--229
-
Axiomatization, 775(0)557--z
-
Axiomatizing, 827(0)117--z
-
Ayache, N., 800(0)187--192, 800(0)397--406
-
Ayache, N., see Feldmar, J., \see{Gourdon, A.
-
Ayer, S., 800(0)316--327
-
Ayer:1994:SMO, 800(0)316--327
-
Ayguade, E., 854(0)414--z, 854(0)628--z
-
Ayguade, E., see Llosa, J., \see{Valero, M.
-
Ayguade, Eduard, 768(0)321--z
-
Ayguade, Eduard, see Torres, Jordi
-
Aykanat, C., 849(0)45--z, 853(0)161--z, 854(0)820--z
-
Aykanat, C., see Abali, B.,
see Haritaoglu, I.
-
Ayres, N., 860(0)198--z
-
Ayres:1994:USW, 860(0)198--z
-
Aziz, A., 818(0)324--z, 820(0)364--z
-
Aziz:1994:EFK, 820(0)364--z
-
Aziz:1994:FDE, 818(0)324--z