Index file section A for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
Return to index directory
A
-
A*, 47(3)179--207
-
Aalst, W. M. P. van der, 39(3)143--209
-
Aalst, W. M. P. van der, see Kiepuszewski, B.
-
\AArhus, 19(3)255--268
-
Aarhus, 19(3)255--268
-
Abate, Alessandro, 54(2)217--242, 57(1)223--244
-
Abate, Alessandro, see Soudjani, Sadegh Esmaeil Zadeh
-
Abate:2020:AFS, 57(1)223--244
-
Abbasi, Rosa, 56(2)161--203
-
Abbasi:2019:VAS, 56(2)161--203
-
Abdulla, Parosh Aziz, 53(4)357--385, 54(8)789--818
-
Abdulla:2016:VHM, 53(4)357--385
-
Abdulla:2017:SMC, 54(8)789--818
-
Abelian, 23(6)697--705, 43(8)521--533
-
ability, 8(4)303--314
-
able, 31(7)601--627
-
Abolhassan, Ferri, 36(6)463--487
-
Abolhassan:1999:CEP, 36(6)463--487
-
abstract, 1(4)271--281, 3(2)187--202, 6(3)227--249, 8(4)315--324,
8(4)341--357, 10(1)27--52, 13(3)205--224, 17(3)245--265,
18(1)47--64, 19(3)235--253, 20(1)1--33, 28(6)539--558,
29(6)595--621, 30(2)103--129, 30(4)303--350, 32(3)209--253,
33(1)69--97, 35(5)353--400, 48(3)165--189, 49(5)313--341,
53(5)469--492, 55(6)521--545, 60(3)317--329
-
abstraction, 1(4)271--281, 8(2)97--112, 14(2)135--155, 18(1)47--64,
32(8)705--778, 36(9)761--803, 38(1)1--44, 42(8)639--671,
44(1)41--71, 45(7)479--536, 53(4)387--424, 57(1)245--269
-
AC, 59(4)321--336
-
Academic, 1(2)115--138
-
acceptable, 8(4)371--382, 23(1)67--98
-
accepted, 12(2)177--185, 29(8)761--778, 31(7)601--627
-
accepting, 37(1)45--81, 43(4)223--242, 47(2)133--146, 50(1)1--14
-
Acception, 9(4)377--390
-
Acceptors, 16(2)139--160, 34(5)389--410
-
access, 1(1)14--25, 4(3)201--211, 4(4)299--310, 8(4)315--324,
8(4)325--334, 19(4)385--395, 21(6)541--557, 26(3)193--211,
26(5)439--471, 26(7)597--614, 29(3)241--265, 31(7)601--627
-
accessing, 8(4)325--334
-
accommodating, 40(1)3--35
-
accompanied, 29(8)689--736
-
accordance, 8(4)325--334
-
according, 5(4)297--332, 8(2)153--175
-
account, 1(2)115--138, 8(4)359--370, 53(6)649--680, 54(2)127--190
-
accuracy, 7(2)123--136, 7(2)137--152
-
Aceto, Luca, 33(4)317--350, 47(3)147--177, 53(3)207--246, 54(1)1--2,
60(4)385--451
-
Aceto:1996:TCP, 33(4)317--350
-
Aceto:2010:LNF, 47(3)147--177
-
Aceto:2016:CCE, 53(3)207--246
-
Aceto:2017:SIS, 54(1)1--2
-
Aceto:2023:FOR, 60(4)385--451
-
achievable, 8(1)61--73, 31(7)629--650
-
achieve, 8(1)61--73, 8(4)341--357, 30(3)215--231
-
Acknowledgement, 32(8)793--z, 34(12)965--z, 36(12)1031--1032,
38(11)859--860, 39(9)701--701, 40(9)675--675, 41(9)607--607,
43(8)595--595, 44(7)625--625
-
ACM, 1(3)173--189, 4(3)231--243
-
Acta, 1(3)190--199, 26(3)285--285, 29(3)211--239, 39(3)141--142
-
action, 35(2)131--165, 37(4)229--327, 38(3)155--234, 39(8)531--577,
42(6)389--418, 43(2)73--130, 45(5)321--382, 46(8)549--559,
53(4)325--326
-
active, 41(2)111--144, 43(2)131--145, 58(4)301--318
-
Active-Operations, 13(4)383--408
-
activity, 8(4)359--370
-
actor-based, 54(4)343--378
-
actual, 7(2)137--152, 8(2)145--152, 8(4)341--357, 16(3)347--362
-
actually, 8(4)325--334
-
Acyclic, 34(6)411--428
-
Aczél, János, 34(8)637--652
-
Aczel:1997:NFS, 34(8)637--652
-
Adámek, Ji{\v{r}}{\'\i}, 22(2)203--227, 28(5)411--445
-
Adams, C., 11(2)103--117
-
Adams:1979:EVM, 11(2)103--117
-
adapted, 8(2)97--112
-
adaptive, 5(4)273--285, 8(4)341--357, 45(1)33--42, 47(5)313--323
-
adaptively, 8(4)341--357
-
addenda, 2(4)335--355, 3(3)296--296, 5(4)297--332, 7(3)325--325
-
addendum, 26(7)615--642, 28(6)607--610
-
Adder, 2(z)283--291
-
adding, 8(1)21--36, 38(9)621--648, 39(6)391--449
-
addition, 2(z)283--291, 8(1)1--20, 26(6)503--525, 26(7)597--614
-
additional, 8(3)243--266
-
Additionsdauer, 2(z)283--291
-
Additive, 26(8)711--740
-
Additivity, 34(2)135--149
-
address, 8(4)359--370, 33(3)233--254
-
addresses, IP-, 59(6)709--724
-
addressing, 49(7)485--491
-
adequacy, 1(2)115--138
-
adequate, 38(4)235--259
-
Adiri, Igal, 26(7)679--696
-
Adiri:1989:SMF, 26(7)679--696
-
Adleman, Leonard M., 11(1)61--70
-
Adleman:1978:ITS, 11(1)61--70
-
admissibility, 25(4)439--473, 46(1)43--55
-
admissible, Assume-, 54(1)41--83
-
Admitting, 16(1)1--13
-
ADT, 28(6)539--558
-
advantage, 6(3)227--249, 8(1)1--20, 8(2)153--175, 8(4)303--314,
60(3)317--329
-
aesthetic, 18(4)377--392
-
aesthetically, 18(4)377--392
-
Affendi, M. A., El-, 19(4)339--355
-
affine, 6(2)133--151, 31(2)137--160
-
affix, 8(1)1--20, 20(4)283--300
-
Affix-Grammars, 8(1)1--20
-
Afrati, Foto, 44(5)289--321
-
Afrati:2007:VSR, 44(5)289--321
-
Africk, Henry, 15(4)365--384
-
Agarwal, Rishi, 34(9)687--700
-
Agarwal, Rishi, see Burnetas, Apostolos
-
Age, 27(6)519--531
-
agents, 36(5)335--374
-
Agerwala, Tilak, 8(3)201--220
-
Agerwala:1977:SES, 8(3)201--220
-
aggregate, 40(8)529--584
-
Aggregation, 26(5)485--499
-
Aggregation-based, 58(3)177--194
-
Agrawal, Rakesh, 19(4)369--376
-
Agrawal:1983:EIL, 19(4)369--376
-
Agrawala, Ashok K., 18(3)319--334
-
Agrawala:1982:ESG, 18(3)319--334
-
Aguado, Joaquín, 52(4)393--442
-
Aguado:2015:DFP, 52(4)393--442
-
Aguech, Rafik, 43(4)243--264
-
Aguech:2006:DRD, 43(4)243--264
-
Ahamad, Mustaque, 28(7)657--680
-
Ahamad, Mustaque,
see Bernabéu-Aubán, José M.
-
Ahdy, Fady, 56(5)391--404
-
Ahdy, Fady, see Elmasry, Amr
-
Ahead, Look-, 32(5)459--476
-
aid, 4(3)243--269, 11(2)119--137
-
aim, 30(6)569--607
-
Aizikowitz, Tamar, 50(3)175--197
-
Aizikowitz:2013:CGA, 50(3)175--197
-
Akdag, Herman, 20(2)121--132
-
Akdag:1983:PAC, 20(2)121--132
-
Akkerman, Thorsten, 40(8)603--607
-
Akkerman:2004:CDT, 18(4)377--392, 40(8)603--607
-
Akyildiz, Ian F., 26(6)559--576
-
Akyildiz:1989:CAN, 26(6)559--576
-
al, 8(2)145--152
-
Alagi{\'c}, Suad, 11(2)139--148, see Arbib, Michael A.
-
Alan, 28(5)409--410
-
Alblas, Henk, 16(4)427--464, 24(3)299--352, 27(1)1--40
-
Alblas:1981:CAE, 16(4)427--464
-
Alblas:1987:OPT, 24(3)299--352
-
Alblas:1989:ITP, 27(1)1--40
-
Alfa, Attahiru Sule, 28(8)801--815
-
Alfa:1991:AQL, 28(8)801--815
-
algebra, 11(2)149--168, 14(4)337--357, 28(4)351--363, 28(7)693--701,
29(4)303--334, 30(6)569--607, 31(4)329--340, 33(4)317--350,
33(7)641--667, 34(4)291--324, 35(10)813--857, 37(7)467--509,
38(1)45--88, 38(3)155--234, 39(6)469--499, 41(6)367--381,
42(8)639--671, 45(3)211--236, 46(3)209--235, 47(3)147--177,
49(5)343--359, 52(2)109--132, 55(5)363--400, 58(5)571--584,
60(1)11--57
-
algebraic, 7(4)399--413, 10(1)27--52, 10(1)53--66, 11(3)233--240,
13(4)347--363, 17(4)451--476, 20(3)249--260, 22(5)537--578,
25(2)111--153, 25(3)233--281, 27(2)97--124, 28(3)187--230,
29(8)689--736, 30(6)569--607, 31(7)651--671, 33(5)421--456,
34(3)191--209, 34(6)449--489, 36(8)617--663, 36(9)693--719,
43(1)1--43, 43(6)395--417, 45(5)321--382, 48(7)363--396,
56(1)61--92
-
algebraic, semi-, 42(1)43--56
-
algebraically, 36(4)295--334
-
algébriques, 7(4)399--413, 11(3)233--240, 13(4)347--363,
21(2)209--227
-
ALGOL, 5(1)1--236, 9(2)105--119
-
Algol, 8(3)221--242, 15(1)83--98
-
ALGOL-like, 18(1)79--108
-
algorithme, 3(4)321--345, 14(1)39--62
-
algorithmic, 5(1)1--236, 8(3)243--266, 13(1)39--52, 25(4)439--473,
49(5)295--312, 55(7)575--611
-
algorithmically, 58(5)497--528
-
Algorithms, Programming-, 26(7)597--614
-
Alhazov, Artiom, 41(2)111--144, 43(2)131--145, 43(5)331--339
-
Alhazov, Artiom, see Pan, Linqiang
-
Alhazov:2004:TPL, 41(2)111--144
-
Alhazov:2006:NNU, 43(5)331--339
-
Alias, 33(2)99--130
-
Aliasing, 15(4)365--384
-
alignment, 24(3)353--362
-
all, 6(1)61--75, 8(2)153--175, 8(3)285--302, 8(4)325--334, 20(1)103--111,
21(2)171--181, 31(3)285--299, 57(3)353--383
-
All-Round, 29(4)383--394
-
Allen, 53(3)207--246
-
Allen, Brian, 18(3)255--263
-
Allen:1982:CON, 18(3)255--263
-
Allender, Eric, 59(4)289--319
-
Allender:2022:DFS, 59(4)289--319
-
alloc, 22(4)397--420, 23(4)393--427, 24(6)633--651, 27(6)567--581
-
allocate, 47(5)325--345
-
allocated, 8(2)153--175
-
allocation, 3(2)101--122, 6(1)61--75, 6(3)211--225, 8(4)341--357,
14(2)107--117, 20(3)261--281, 24(1)93--104, 25(6)663--676,
36(6)425--446, 41(4)273--291, 50(5)297--329
-
allotment, 8(4)359--370
-
allow, 6(1)61--75, 6(3)227--249, 8(1)1--20, 8(2)145--152, 14(2)135--155,
26(4)349--362
-
allowed, 8(2)145--152, 17(3)245--265
-
allowing, 59(6)709--724
-
Almond, John, 26(3)241--267, 26(5)501--501, 26(8)787--787
-
Almond, John, see Kouvatsos, Demetres D.
-
Almost, 27(1)61--71, 28(2)165--178
-
Alonistiotis, Giannis, 61(2)101--113
-
Alonistiotis:2024:ASS, 61(2)101--113
-
Alonso, Laurent, 37(9)653--670
-
Alonso:2001:TIP, 37(9)653--670
-
alphabet, 8(4)371--382, 29(1)95--107, 35(3)245--267, 36(9)805--815
-
Alt, Helmut, 12(1)33--61
-
Alt:1979:LBS, 12(1)33--61
-
Alternate, 5(4)297--332
-
alternating, 29(5)425--441, 30(3)267--278, 31(4)315--327, 44(5)345--359,
49(4)249--279, 50(3)175--197, 58(5)463--495, 59(5)619--669,
60(1)79--100
-
alternation, 7(1)61--73, 14(3)243--255, 14(4)391--403
-
alternative, 6(3)277--296, 8(2)125--144, 8(3)221--242, 18(3)289--298,
21(3)239--250
-
Althoff, Matthias, 60(3)279--316
-
Althoff, Matthias, see Kochdumper, Niklas
-
always, 8(2)153--175
-
Aman, Bogdan, 48(7)409--415, 54(4)435--445
-
Aman:2011:SWN, 48(7)409--415
-
Aman:2017:ESP, 54(4)435--445
-
Amato, Gianluca, 55(6)521--545
-
Amato:2018:DCN, 55(6)521--545
-
ambients, 42(6)429--500, 43(8)535--594
-
ambiguity, 4(2)183--192, 6(4)387--395, 26(6)527--542, 42(6)389--418
-
ambiguous, 14(3)295--298, 58(3)195--229
-
Amerins, Paul S., 30(3)203--213
-
Amerins:1993:EE, 30(3)203--213
-
Ameur, Foued, 33(7)621--630
-
Ameur:1996:TEN, 33(7)621--630
-
Amigó, José María, 43(5)293--306
-
Amigo:2006:RIP, 43(5)293--306
-
Amin, A. T., 26(3)213--239, 26(4)333--348, 28(3)231--264
-
Ammar, Mostafa H., 28(7)657--680
-
Ammar, Mostafa H.,
see Bernabéu-Aubán, José M.
-
Amongst, 33(7)607--619
-
amortized, 30(3)215--231, 35(10)859--874
-
Amounts, 13(2)199--204
-
Amram, Amir M., Ben-, 37(2)83--120, 40(2)81--94, 46(1)57--72
-
analyse, 3(4)321--345, 4(1)55--75, 8(4)359--370, 12(4)321--338
-
analysed, 8(4)359--370, 29(8)689--736
-
analysis, 1(2)115--138, 1(3)173--189, 1(4)290--306, 1(z)79--110,
1(z)360--374, 3(4)321--345, 4(1)55--75, 4(1)77--85, 6(2)187--209,
7(1)35--60, 7(2)123--136, 7(2)167--182, 7(3)305--317, 7(4)327--355,
8(4)359--370, 9(2)23--29, 9(3)195--216, 10(1)95--104, 10(3)245--264,
10(3)265--272, 12(4)321--338, 13(1)39--52, 13(4)299--324,
13(4)325--346, 15(1)19--66, 15(1)67--81, 16(2)237--252,
16(3)253--273, 17(3)245--265, 18(2)135--147, 18(3)265--287,
19(4)339--355, 20(4)345--369, 21(3)229--237, 21(4)321--338,
22(1)15--33, 22(1)47--66, 23(6)657--678, 24(1)93--104,
24(2)173--190, 24(3)277--298, 24(6)633--651, 24(6)679--694,
26(1)123--130, 28(2)121--163, 28(6)539--558, 28(6)559--574,
29(3)281--302, 29(6)499--522, 30(3)233--248, 31(7)601--627,
32(4)313--345, 32(5)459--476, 33(2)99--130, 33(7)669--685,
34(6)411--428, 34(9)653--665, 34(9)687--700, 35(1)17--89,
35(6)457--504, 37(1)1--19, 37(4)355--383, 38(7)437--488,
38(8)587--598, 42(4)291--347, 43(1)45--71, 43(3)147--164,
43(7)451--476, 43(7)501--519, 46(4)255--284, 51(1)51--60,
52(2)107--108, 53(1)1--22, 54(4)343--378, 54(8)727--728,
55(2)153--189, 55(7)613--624, 57(3)551--590, 59(6)709--724
-
Analysis, Program-, 33(8)739--757
-
Analysis, WCS-, 4(4)359--371
-
Analytic, 3(2)101--122, 26(6)543--557, 36(9)735--760
-
analyze, 26(4)349--362
-
analyzed, 26(4)349--362
-
analyzer, 21(5)473--484
-
analyzing, 19(1)57--84, 56(3)255--285
-
anarchy, 47(7)375--389
-
ancestor, 25(1)37--54
-
ANC/FNC, 19(3)255--268
-
and-Bound, Branch-, 4(4)311--319
-
and-Conquer, Divide-, 21(3)271--291
-
and-Forward, Store-, 28(7)657--680
-
Anderaa, Stal O., 15(3)303--307
-
Anderaa:1981:EHN, 15(3)303--307
-
Andersen, Bo, Munch-, 8(2)153--175
-
Anderson, E. R., 6(2)109--131
-
Anderson, James H., 28(4)297--309, 30(3)249--265
-
Anderson, S. O., 18(3)289--298
-
Anderson, T., 2(1)12--39
-
Anderson:1973:ELP, 2(1)12--39
-
Anderson:1976:SMP, 6(2)109--131
-
Anderson:1982:AII, 18(3)289--298
-
Anderson:1991:NEG, 28(4)297--309
-
Anderson:1993:FGS, 30(3)249--265
-
Andersson, 30(5)405--407
-
Andersson, Arne, 28(2)165--178
-
Andersson:1990:BST, 28(2)165--178
-
Andonie, R{\u{a}}zvan, 29(3)281--302
-
Andrei, 27(3)193--194
-
Andrei, Stefan, 37(2)145--160, 40(5)349--365
-
Andrei, {\c{S}}tefan, 35(2)167--179
-
Andrei:1998:ACC, 35(2)167--179
-
Andrei:2000:SRC, 37(2)145--160
-
Andrei:2004:SEC, 40(5)349--365
-
angelic, 37(4)329--354
-
Angluin, Dana, 18(1)31--45
-
Angluin, Dana, see Budd, Timothy A.
-
An\={\i}s\={\i}mov, A. V., 27(7)583--625
-
annihilators, 49(5)281--293
-
anonymization, 48(1)51--66
-
Anonymous, 25(6)715--735, 32(8)793--z, 34(12)965--z, 36(12)1031--1032,
38(11)859--860, 39(9)701--701, 40(1)1--1, 40(1)z--z, 40(9)675--675,
41(9)607--607, 43(8)595--595, 44(7)625--625
-
Anonymous:1988:AIV, 25(6)715--735
-
Anonymous:1995:AR, 32(8)793--z
-
Anonymous:1997:AR, 34(12)965--z
-
Anonymous:2000:AR, 36(12)1031--1032
-
Anonymous:2002:AR, 38(11)859--860
-
Anonymous:2003:AR, 39(9)701--701
-
Anonymous:2003:MP, 40(1)z--z
-
Anonymous:2003:MPP, 40(1)1--1
-
Anonymous:2004:AR, 40(9)675--675
-
Anonymous:2005:AR, 41(9)607--607
-
Anonymous:2007:ARa, 43(8)595--595
-
Anonymous:2007:ARb, 44(7)625--625
-
another, 6(2)153--169, 16(1)87--91, 24(2)173--190, 37(9)671--697
-
Anshel, Michael, 19(4)357--367, 30(5)441--457
-
antichains, 56(3)205--228
-
antiport, 41(2)145--170
-
Antonopoulos, Antonis, 61(2)101--113
-
Antonopoulos, Antonis, see Alonistiotis, Giannis
-
any, 6(1)61--75, 8(1)21--36, 8(2)113--123, 8(2)153--175, 8(3)201--220,
26(4)349--362, 28(6)539--558
-
Aouel, Nasreddine, Tabet-, 27(3)247--286
-
Apachite, Corina, 37(6)449--465
-
Apachite, Corina, see Tiplea, Ferucio Laurentiu
-
Apex, 25(5)537--571, 31(4)341--378, 34(5)325--335
-
apparent, 8(4)341--357
-
appear, z(z)z--99999999, z(z)z--z
-
appearance, 59(5)585--618
-
appeared, 4(3)231--243, 32(8)705--778, 33(1)69--97
-
applic.DFA, 10(3)245--264, 12(3)209--225
-
applicability, 7(2)137--152, 17(1)43--61, 26(7)615--642
-
application, 1(1)26--34, 1(z)111--114, 1(z)282--289, 6(1)95--108,
6(3)227--249, 7(2)123--136, 7(2)183--195, 8(2)97--112, 8(2)177--192,
8(4)383--384, 11(3)241--258, 13(1)53--58, 18(3)319--334,
19(1)13--33, 19(2)167--182, 21(2)193--207, 21(6)643--674,
22(5)475--498, 23(6)657--678, 24(4)447--459, 26(1)123--130,
26(7)615--642, 31(7)601--627, 32(1)61--78, 34(12)927--963,
35(10)813--857, 36(12)983--1006, 38(2)89--116, 46(5)331--360,
47(2)77--110, 48(4)243--269, 49(3)173--202, 51(5)297--325,
55(5)363--400, 60(3)317--329, 61(1)83--100
-
applicative, 24(1)57--77, 28(6)559--574, 29(3)211--239, 32(8)705--778
-
applied, 2(4)335--355, 6(1)61--75, 6(3)227--249, 7(1)35--60,
16(3)253--273, 18(4)377--392, 21(5)473--484
-
applying, 4(4)337--357, 8(2)97--112, 8(2)125--144, 11(1)31--55,
45(3)211--236
-
approach, 3(3)243--263, 6(3)277--296, 7(1)1--13, 7(2)123--136,
7(2)137--152, 7(2)167--182, 7(4)357--360, 8(1)75--96, 8(2)97--112,
8(4)315--324, 9(4)377--390, 14(2)135--155, 14(4)391--403,
16(4)371--426, 20(4)315--328, 21(2)125--169, 24(1)57--77,
24(2)173--190, 26(6)543--557, 27(7)583--625, 28(6)559--574,
28(7)611--629, 30(6)537--568, 30(8)701--739, 31(7)651--671,
32(1)27--59, 33(2)153--176, 33(7)621--630, 35(6)457--504,
36(9)761--803, 38(8)531--564, 39(2)71--96, 40(4)265--301,
43(5)341--370, 48(7)363--396, 58(1)57--93
-
approximability, 41(2)83--97
-
approximability, non-, 38(8)587--598
-
approximate, 8(4)341--357, 15(1)19--66, 15(4)319--328, 53(6)547--585,
54(8)729--764
-
Approximating, 28(8)801--815, 35(7)567--593, 61(2)101--113
-
approximation, 7(2)123--136, 8(4)341--357, 12(4)285--303, 17(1)43--61,
18(4)377--392, 22(1)115--123, 23(2)223--229, 24(4)417--432,
26(4)363--379, 27(3)247--286, 27(4)369--380, 31(6)559--571,
33(4)387--408, 40(9)637--655, 40(9)657--674, 55(1)1--15
-
April, 27(3)193--194
-
Apt, Krzysztof R., 15(3)219--232
-
Apt:1981:RAP, 15(3)219--232
-
Äquivalente, 10(2)127--155
-
Araki, Toshiro, 15(3)209--217
-
Araki:1981:FLE, 15(3)209--217
-
Aravind, Alex A., 46(1)73--86, 48(2)67--96
-
Aravind:2009:QBM, 46(1)73--86
-
Aravind:2011:NDB, 48(2)67--96
-
Arbib, Michael A., 2(z)162--171, 11(2)139--148
-
Arbib, Michael A., see Culík, Karel
-
Arbib:1979:PRG, 11(2)139--148
-
arbitrary, 8(3)285--302, 8(4)303--314, 18(1)17--30, 22(1)101--114,
22(6)679--698, 28(7)693--701, 29(8)689--736
-
Arbitration, 17(2)135--141
-
arc, 6(4)403--406
-
architecture, 24(2)121--130, 26(8)741--748, 33(5)421--456, 40(1)37--79
-
Archiv, L5-, 10(1)105--109
-
Arcs, -, 6(4)403--406
-
area, 21(4)321--338
-
Aref, Walid G., 30(5)425--439
-
Aref:1993:DWM, 30(5)425--439
-
argument, 8(4)315--324, 13(1)1--8, 23(1)1--7
-
Ari, Mordechai, Ben-, 10(2)117--125, 20(3)207--226
-
arise, 8(4)325--334
-
arithmetic, 2(4)335--355, 3(3)203--216, 15(3)251--263, 17(3)287--310,
60(3)317--329
-
Arithmetic, List-, 32(1)61--78
-
Arithmetical, 57(3)385--402
-
Armendáriz-Iñigo, José Enrique, 46(4)297--330
-
Armendariz-Inigo:2009:CPD, 46(4)297--330
-
Armstrong, W. W., 10(3)297--305
-
Arnold, A., 17(1)21--29
-
Arnold:1982:SBP, 17(1)21--29
-
Aronis, Stavros, 54(8)789--818
-
Aronis, Stavros, see Abdulla, Parosh Aziz
-
Arora, Amrinder, 43(3)147--164
-
Arora:2006:TAW, 43(3)147--164
-
around, 17(3)245--265
-
Around, Turn-, 2(z)1--11
-
ARQ, 51(1)51--60, 53(1)1--22
-
array, 7(3)289--303, 8(2)97--112, 8(2)177--192, 13(3)269--285,
22(2)171--186, 26(7)643--655, 31(2)137--160, 38(11)847--858
-
arrival, 12(4)285--303, 18(3)319--334
-
arriving, 15(3)251--263
-
Arroyo, Fernando, 50(1)1--14
-
Arroyo:2013:ASS, 50(1)1--14
-
Artalejo, J. R., 31(6)559--571
-
Artalejo, J. R., see Falin, G. I.
-
Artazarov:Dinic:Kronrod:Faradzev:1970, 8(4)303--314
-
Arun-Kumar, S., 29(8)737--760
-
Arun-Kumar:1992:EPP, 29(8)737--760
-
ary, 23(1)111--117, 52(7)573--592, 61(1)53--66
-
ary, -, 23(1)111--117
-
Asarin, Eugene, 43(7)451--476
-
Asarin:2007:HMA, 43(7)451--476
-
Ascending, 16(1)87--91
-
Ashcroft, E. A., 6(3)317--318
-
Ashcroft:1976:RPP, 1(z)214--224, 6(3)317--318
-
Asian, 44(1)23--39
-
ASL, 29(8)689--736
-
ASMs, 34(10)737--772
-
aspect, 7(2)183--195, 8(4)303--314
-
assembly, 52(2)235--268
-
assertional, 38(5)343--366
-
assertions, 8(1)21--36, 8(2)145--152, 8(4)325--334, 15(3)219--232,
24(1)1--31
-
assigned, 18(4)377--392, 20(2)159--170
-
assignment, 6(1)41--60, 8(2)145--152, 42(6)501--514
-
associate, 28(6)539--558
-
associated, 26(7)597--614, 58(5)529--569
-
association, 50(7)403--436
-
Associative, 6(3)211--225, 56(3)229--253
-
Associativity, 3(3)203--216
-
Assume-admissible, 54(1)41--83
-
assumed, 6(1)61--75, 8(2)153--175
-
assumption, 26(7)615--642, 29(3)281--302
-
Assumption-Commitment, 33(2)153--176
-
Astesiano, E., 37(11)831--879
-
Astesiano:2001:LTL, 37(11)831--879
-
Astromoff, A., 31(3)261--283
-
Asveld, Peter R. J., 8(3)285--302, 11(3)259--285, 17(4)451--476,
31(6)525--537, 34(11)837--857
-
Asveld:1977:IDS, 8(3)285--302
-
Asveld:1979:ELM, 11(3)259--285
-
Asveld:1982:CTO, 17(4)451--476
-
asymmetric, 42(6)501--514
-
Asymptotic, 29(6)579--594, 31(7)673--696, 35(11)911--919
-
asymptotically, 17(3)245--265
-
asynchronous, 13(3)269--285, 16(1)93--124, 30(2)131--146, 31(4)379--397,
35(6)441--455, 38(11)735--792, 52(4)337--392, 54(5)501--520,
56(2)161--203, 57(3)313--320
-
asynchrony, 52(2)107--108
-
Atanasiu, Adrian, 29(8)779--791, 56(6)521--535
-
Atanasiu:1992:CCB, 29(8)779--791
-
Atanasiu:2019:PMP, 56(6)521--535
-
Atanassov, Krassimir, 32(3)189--207
-
Atig, Mohamed Faouzi, 54(8)789--818
-
Atig, Mohamed Faouzi, see Abdulla, Parosh Aziz
-
atomic, 33(2)177--202, 37(3)161--192
-
atomicity, 16(1)93--124, 32(2)155--170, 38(5)343--366, 44(2)123--151
-
atoms, 57(3)727--758
-
ATP, 30(2)181--202
-
attack, 8(3)221--242
-
attacked, 8(3)221--242
-
attempting, 8(3)221--242
-
attractive, 8(2)145--152
-
attribute, 13(3)229--256, 16(3)275--302, 16(4)427--464, 17(2)185--192,
19(2)115--150, 19(3)255--268, 21(4)375--391, 22(4)397--420,
23(4)393--427, 25(2)155--178, 25(4)355--423, 25(5)537--571,
26(3)213--239, 27(6)567--581, 28(5)411--445, 29(2)161--210,
31(7)601--627, 32(2)117--144
-
attribute-based, 54(5)521--541
-
Attributed, 13(3)229--256, 24(3)299--352, 27(1)1--40
-
attributes, 10(3)245--264, 10(3)265--272, 22(4)397--420, 24(6)633--651,
26(7)615--642
-
attribution, 31(7)601--627, 34(10)737--772
-
attributs, 19(3)255--268
-
ATVA, 55(8)625--626
-
Atzeni, Paolo, 28(8)777--799
-
Atzeni:1991:IDS, 28(8)777--799
-
Aubán, José M., Bernabéu-, 28(7)657--680
-
aucun, 19(3)255--268
-
auf der Heide, Friedhelm, Meyer, 19(3)269--296, 19(4)385--395,
33(7)621--630
-
Aug.1973, 1(3)190--199
-
augmenting, 8(1)21--36
-
Autebert, J.-M., 14(3)271--294, 33(6)571--593, 35(3)245--267
-
Autebert, Jean-Michel, 11(3)241--258, 17(2)193--213, 21(2)209--227,
26(8)749--769
-
Autebert:1979:OCA, 11(3)241--258
-
Autebert:1982:FLG, 17(2)193--213
-
Autebert:1984:BLA, 21(2)209--227
-
Autebert:1989:IGC, 26(8)749--769
-
author, 12(2)159--175, 20(4)345--369, 25(6)715--735, 34(10)737--772
-
autodense, 45(7)467--477, 47(4)209--219
-
Automat, 1(z)159--172, 1(z)225--241
-
automata, 1(z)159--172, 1(z)345--359, 2(z)249--252, 2(z)253--282,
3(1)75--100, 3(4)365--383, 3(4)385--397, 4(2)193--200, 6(1)89--94,
10(1)67--78, 10(4)341--367, 10(4)369--390, 13(2)199--204,
13(3)269--285, 13(3)287--298, 17(1)63--67, 18(4)335--344,
19(4)377--384, 19(4)397--407, 21(2)193--207, 21(4)393--407,
23(5)597--605, 25(2)203--231, 26(3)279--284, 26(6)527--542,
27(2)179--191, 29(3)281--302, 29(6)623--643, 29(8)761--778,
30(1)89--101, 31(4)315--327, 31(4)379--397, 31(8)741--760,
32(4)395--413, 32(5)459--476, 32(7)647--679, 33(5)409--420,
34(5)347--366, 35(4)329--352, 35(7)595--624, 38(2)89--116,
38(4)277--305, 40(5)317--347, 41(2)145--170, 41(4)293--314,
42(8)541--552, 46(5)331--360, 46(7)533--547, 46(8)591--607,
47(5)279--311, 47(7)391--412, 48(5)271--290, 48(7)397--408,
49(6)413--436, 50(3)175--197, 50(4)229--255, 51(5)327--337,
51(8)553--569, 52(4)305--336, 52(7)593--623, 53(4)327--356,
53(4)357--385, 53(6)681--722, 54(5)487--499, 55(2)153--189,
55(5)363--400, 56(4)287--319, 57(3)513--550, 57(3)627--656,
58(3)153--175, 58(3)177--194, 58(3)231--240, 58(4)263--279,
58(4)301--318, 58(4)319--333, 58(4)335--356, 58(5)463--495,
58(6)677--677, 59(1)1--35, 59(1)163--181, 59(4)451--478,
59(4)479--504, 59(5)521--556, 59(5)557--584, 59(5)619--669,
60(2)123--144, 60(3)317--329, 60(4)361--384
-
automata, -, 50(4)229--255
-
automata, M-, 46(5)361--374
-
automata, RRWW-, 58(4)397--425
-
Automata-based, 47(1)1--31
-
automated, 57(1)223--244, 57(3)551--590, 59(2)183--209
-
Automaten, 1(z)345--359, 2(z)253--282, 3(1)75--100, 3(4)365--383,
3(4)385--397, 13(3)287--298
-
Automatic, 1(z)360--374, 4(2)145--182, 4(3)271--292, 13(2)115--139,
38(8)531--564
-
Automatically, 6(1)41--60
-
Automatically-Generated, 23(4)393--427
-
Automating, 21(2)125--169, 28(2)95--119
-
automaton, 1(2)115--138, 1(z)225--241, 8(4)371--382, 22(5)589--594,
46(4)297--330, 60(3)317--329
-
automorphism, 1(z)159--172
-
Automorphismes, 1(z)159--172
-
auxiliary, 8(2)125--144
-
availability, 8(4)303--314, 23(6)643--655, 35(9)795--811
-
available, 6(4)361--364, 37(10)727--742
-
Avenhaus, Jürgen, 9(2)87--104, 9(2)183--193
-
Avenhaus:1978:SKGa, 9(2)87--104
-
Avenhaus:1978:SKGb, 9(2)183--193
-
average, 8(1)61--73, 11(4)363--372, 17(3)245--265, 21(6)541--557,
23(1)111--117, 48(7)417--426
-
average-case, 35(1)17--89, 35(3)211--243
-
Average-energy, 55(2)91--127
-
Avis, David, 21(5)501--519
-
avoidable, 29(1)95--107, 43(8)521--533, 48(1)25--41, 49(1)53--54
-
avoidance, 2(2)143--161
-
avoiding, 50(3)157--173, 52(7)573--592
-
avoir, 19(3)255--268
-
Aware, QoS-, 40(3)211--233
-
Axelsen, Holger Bock, 53(5)509--543
-
Axelsen:2016:RTM, 53(5)509--543
-
axiom, 8(2)145--152, 8(3)267--283, 9(2)61--71, 33(8)759--780,
35(12)1075--1096, 52(2)133--152
-
axiomatic, 2(4)335--355, 3(3)243--263, 3(3)296--296, 6(1)61--75,
6(4)319--340, 7(4)357--360, 8(3)267--283, 14(1)1--20, 15(3)193--207,
16(2)219--235, 21(3)293--320
-
Axiomatising, 21(1)61--88, 38(4)277--305
-
axiomatizability, 35(6)505--539, 47(3)147--177
-
axiomatization, 21(3)251--269, 26(7)615--642, 41(1)19--61,
57(3)689--725
-
Axiomatizing, 33(7)641--667
-
ayant, 23(2)177--192
-
Aycock, John, 37(9)633--651, 46(8)549--559
-
Aycock:2001:EFG, 37(9)633--651
-
Aycock:2009:EAE, 46(8)549--559