Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
A
-
A, MMINT-, 231(z)z--99999999
-
a-chip, system-on-, 173(z)21--36
-
AADL, 106(z)30--53, 106(z)54--77
-
Ågren, S. Magnus, 191(z)z--99999999,
see Pelliccione, Patrizio
-
Åkesson, Johan, 75(1)21--38
-
Aakesson:2010:IMC, 75(1)21--38
-
Aalst, W. M. P. van der, 42(2)129--171, 44(3)343--344
-
Aalst, Wil M. P. van der, 67(2)162--198
-
Aalst, Wil M. P. van der, see Ouyang, Chun
-
Aaron, 18(2)218--221
-
AATT+, 163(z)1--18
-
Abadi, 23(2)107--125
-
Abadi, M., 21(2)93--113
-
Abadi, Martín, 25(2)81--116, 58(1)3--27
-
Abadi:1993:ADS, 21(2)93--113
-
Abadi:1995:TPO, 25(2)81--116
-
Abadi:2005:CAV, 58(1)3--27
-
Abajo, Pablo, Gómez-, 163(z)85--92, 230(z)z--99999999
-
Abascal, Julio, 78(11)2243--2244, 86(z)58--73
-
Abascal, Julio, see Miñón, Raúl
-
Abascal:2013:SSM, 78(11)2243--2244
-
Abate, Pietro, 90(z)93--115
-
Abate:2014:LFC, 90(z)93--115
-
Abbassi, Imran Hafeez, 171(z)42--66
-
Abbassi:2019:UGL, 171(z)42--66
-
Abbreviated, 29(1)259--278
-
AbC, 202(z)z--99999999
-
Abdallah, Hanêne, Ben-, 135(z)88--104, 166(z)89--119
-
Abdeen, Hani, 89(z)298--319
-
Abdeen:2014:PBV, 89(z)298--319
-
Abdelrahman, Tarek S., 74(5)296--313
-
Abdelrahman, Tarek S., see Bradel, Borys J.
-
Abdelzad, Vahdat, 208(z)z--99999999
-
Abdelzad, Vahdat, see Lethbridge, Timothy C.
-
abduction, 76(12)1113--1129
-
Abe, Tatsuya, 187(z)z--99999999
-
Abe, Tatsuya, see Hamana, Makoto
-
Abebe, Surafel Lemma, 98(z)680--706
-
Abebe:2015:EDC, 98(z)680--706
-
Abel, Andreas, 74(8)550--567
-
Abel:2009:TBT, 74(8)550--567
-
Abid, Rim, 117(z)1--16, 146(z)87--103
-
Abid, Zied, 78(10)1912--1929
-
Abid, Zied, see Chabridon, Sophie
-
Abid:2016:FDD, 117(z)1--16
-
Abid:2017:AST, 146(z)87--103
-
About, 64(3)263--263
-
Ábrahám, Erika, 91(z)90--114, 99(z)95--127, 99(z)128--192,
see Fadlisyah, Muhammad,
see Jansen, Nils, \see{Lepri, Daniela
-
Abrahão, S., 230(z)z--99999999, see Cano-Genoves, C.
-
Abramov, Sergei, 43(2)193--229
-
Abramov:2002:URA, 43(2)193--229
-
Abramsky, Samson, 7(3)249--278
-
Abramsky, Samson, see Burn, Geoffrey L.
-
Abran, Alain, 135(z)1--3
-
Abran, Alain, see Staron, Miroslaw
-
Abreu, Fernando, Brito e, 45(2)137--153
-
Abreu, João, 77(5)577--608, see Fiadeiro, José
-
Abrial, Jean-Raymond, 74(11)879--899, 94(z)164--202
-
Abrial, Jean-Raymond, see Hoang, Thai Son,
see Su, Wen
-
Abrial, Jean-Raymond R., 4(1)45--86
-
Abrial:1984:MCP, 4(1)45--86
-
ABS, 223(z)z--99999999
-
absences, 177(z)1--18
-
absolute, 48(1)67--80, 225(z)z--99999999
-
abstract, 3(3)223--278, 7(1)35--53, 7(1)61--86, 8(2)173--202, 9(1)17--35,
10(1)33--63, 11(1)45--63, 14(2)255--279, 16(2)151--195,
20(1)73--111, 22(0)181--356, 22(1)3--19, 22(3)283--306,
22(3)307--326, 22(3)327--354, 23(0)107--311, 23(1)103--103,
23(2)127--149, 24(2)149--158, 25(2)219--249, 26(1)149--165,
28(1)1--41, 31(1)75--89, 31(1)91--112, 31(1)147--173, 32(1)109--143,
32(1)177--210, 35(2)163--189, 36(2)149--181, 38(1)27--71,
38(1)125--142, 39(1)93--123, 45(2)137--153, 47(2)145--175,
49(1)89--123, 51(1)153--196, 55(1)3--52, 58(1)115--140,
58(1)179--205, 59(1)97--108, 59(3)209--249, 64(1)54--75,
64(1)115--139, 64(1)166--183, 75(9)796--807, 76(2)119--135,
78(3)270--271, 78(7)862--883, 78(9)1240--1263, 78(9)1701--1727,
78(10)1809--1827, 92(z)129--161, 93(z)125--153, 93(z)154--182,
94(z)67--68, 94(z)93--108, 95(z)176--199, 111(z)426--457,
111(z)458--482, 111(z)505--534, 131(z)22--41, 131(z)59--75,
184(z)z--99999999, 197(z)z--99999999, 213(z)z--99999999
-
abstracting, 22(0)181--356, 22(3)283--306, 27(2)175--184, 47(2)177--202,
197(z)z--99999999, 231(z)z--99999999
-
abstraction, 5(2)171--199, 6(1)35--88, 10(1)92--93, 11(1)17--28,
12(1)87--88, 21(2)141--163, 27(2)175--184, 27(3)217--262,
58(1)57--82, 72(1)3--21, 76(5)349--375, 76(10)861--876,
78(7)953--968, 81(z)3--52, 90(z)71--92, 90(z)135--160,
95(z)320--342, 97(z)11--16, 107(0)2--18, 132(z)96--128, 140(z)2--16,
148(z)123--160, 159(z)1--27, 167(z)1--24, 175(z)37--62,
208(z)z--99999999
-
abstraction, Full-, 168(z)94--117
-
Abstraction-carrying, 111(z)505--534
-
abstractor, 25(0)79--325, 25(2)149--186
-
ABZ, 78(3)270--271, 94(z)67--68, 131(z)1--2, 158(z)1--2,
197(z)z--99999999, 216(z)z--99999999
-
Academic, 12(3)257--259, 75(4)214--215, 98(z)1--2
-
Accattoli, Beniamino, 184(z)z--99999999
-
Accattoli:2019:AMO, 184(z)z--99999999
-
Accelerating, 165(z)38--53
-
acceleration, 93(z)125--153
-
acceptors, 13(1)51--72, 15(2)171--183
-
access, 24(3)189--220, 66(1)44--59, 75(9)796--807, 77(3)174--187,
78(9)1264--1277, 80(z)440--456, 98(z)735--763, 179(z)24--53,
234(z)z--99999999
-
Access-based, 78(9)1701--1727
-
accessibility, 86(z)58--73, 231(z)z--99999999
-
accessible, 172(z)63--101
-
accessing, 95(z)93--111
-
Acciai, Lucia, 71(2)110--143, 78(2)248--267
-
Acciai:2008:XTP, 71(2)110--143
-
Acciai:2013:BCR, 78(2)248--267
-
Accident, 29(1)147--170
-
accommodates, 55(1)185--208
-
Accountability, 111(z)300--317
-
accumulations, 23(1)1--18, 37(1)37--65, 78(8)1121--1136
-
Aceto, Luca, 77(7)889--907, 78(12)2468--2487, 89(z)41--68,
232(z)z--99999999
-
Aceto, Luca, see Reynisson, Arni Hermann
-
Aceto:2012:RFD, 77(7)889--907
-
Aceto:2013:SMS, 78(12)2468--2487
-
Aceto:2024:MTL, 232(z)z--99999999
-
Achatz, Klaus, 26(1)59--78
-
Achatz:1996:MPD, 26(1)59--78
-
Acher, Mathieu, 78(6)657--681, 226(z)z--99999999
-
Acher:2013:FDS, 78(6)657--681
-
Acher:2023:BBU, 226(z)z--99999999
-
achieve, 64(2)223--245
-
achieving, 56(1)157--170, 77(9)971--989, 109(z)2--35
-
Achilleos, Antonis, 232(z)z--99999999
-
Achilleos, Antonis, see Aceto, Luca
-
Achilles, 70(2)89--110
-
ACM, 18(2)218--221, 75(9)761--761, 75(11)919--920, 77(9)969--970,
78(4)388--389, 78(6)613--614, 78(7)906--906, 94(z)1--2, 123(z)1
-
ACME2012, 98(z)1--2
-
ACP, 76(8)711--735
-
acp, 5(2)171--199
-
acquisition, 20(1)3--50, 26(1)59--78, 67(1)59--75
-
Acre, 1(3)203--222
-
across, 75(3)192--210, 98(z)617--644
-
ACSmt, 231(z)z--99999999
-
ACSR-VP, 42(1)49--60
-
action, 20(1)113--140, 26(1)79--97, 27(2)139--173, 29(1)23--52,
61(3)245--264, 68(2)79--94, 75(5)333--349, 78(11)2047--2063,
84(z)52--76, 85(z)137--165
-
action, quasi-, 175(z)1--16
-
action-semantics, 47(1)3--36
-
activated, 59(1)109--126
-
active, 29(1)99--122, 56(1)79--98, 76(4)227--242, 77(7)823--847,
78(10)1951--1970, 95(z)219--253, 166(z)167--193, 181(z)1--26,
204(z)z--99999999, 226(z)z--99999999
-
activity, 78(12)2414--2432, 88(z)54--81, 111(z)277--299, 180(z)1--15,
197(z)z--99999999, 206(z)z--99999999
-
actor, 10(2)212--213, 80(z)52--64, 98(z)117--119, 98(z)120--139,
98(z)140--158, 153(z)1--29
-
actor, multi-, 115(z)100--126
-
actor, sensor-, 80(z)25--49
-
actor-based, 75(10)811--827, 168(z)142--164, 186(z)z--99999999
-
actual, 77(1)66--80
-
acyclic, 6(2)207--211, 8(1)105--112, 12(2)151--155, 48(2)81--97,
61(1)38--47
-
ad, 54(1)49--71, 75(6)440--469, 115(z)79--99
-
ADA, 4(2)159--204
-
ada, 4(2)159--204, 6(1)35--88, 11(1)90--91, 207(z)z--99999999
-
Adamoli, Andrea, 78(5)499--520
-
Adamoli, Andrea, see Hauswirth, Matthias
-
Adams, Bram, 77(6)760--776, 80(z)457--479, 105(z)1--2
-
Adams, Bram, see Bettenburg, Nicolas,
see Thomas, Stephen W.
-
Adams, Michael D., 112(z)170--193, 130(z)2--23
-
Adams, Michael D., see Mansky, William
-
Adams:2015:OST, 112(z)170--193
-
Adams:2015:SSS, 105(z)1--2
-
adaptability, 64(2)223--245, 76(12)1075--1077, 78(8)969--970,
115(z)23--46
-
adaptable, 78(8)987--1009, 96(z)191--210, 136(z)17--42
-
adaptation, 38(1)73--123, 56(1)157--170, 61(2)136--151, 63(1)39--56,
76(12)1247--1260, 78(1)46--64, 80(z)356--384, 94(z)333--361,
97(z)235--265, 127(z)50--75, 161(z)149--171
-
adaptation, self-, 167(z)51--69
-
adapters, 60(2)134--148
-
adapting, 98(z)707--734, 184(z)z--99999999
-
adaptive, 29(3)303--326, 53(1)51--69, 67(1)32--58, 67(1)59--75,
78(2)195--217, 78(9)1559--1571, 94(z)289--306, 97(z)41--46,
99(z)75--94, 140(z)17--29, 192(z)z--99999999, 200(z)z--99999999,
205(z)z--99999999, 214(z)z--99999999, 215(z)z--99999999,
232(z)z--99999999
-
Adaptive, Self-, 191(z)z--99999999
-
adaptive, Self-, 168(z)169--170
-
adaptive, self-, 78(1)3--26, 102(z)20--43, 127(z)50--75,
159(z)28--57
-
Adaptiveness, Self-, 204(z)z--99999999
-
add, 54(1)73--98
-
Adding, 61(2)114--135, 98(z)205--232
-
Addison-Wesley, 10(1)90--92, 11(1)87--88, 12(2)165--167, 12(2)172--173,
13(1)127--128, 14(1)110--110, 14(1)110--112, 16(1)92--93,
16(2)198--200
-
Addison-Wesleyash, 18(2)218--221
-
adequacy, 197(z)z--99999999, 208(z)z--99999999
-
adequate, 4(3)257--290, 65(1)1--3, 96(z)354--376
-
Adesina, Opeyemi, 208(z)z--99999999
-
Adesina, Opeyemi, see Lethbridge, Timothy C.
-
Adet, Emmanuel, Paviot-, 235(z)z--99999999
-
adhesive, 104(z)71--98
-
Adiba, Michel, 4(1)95--96
-
Adiba:1984:BRB, 4(1)95--96
-
Adjoint, 78(11)2108--2159
-
administration, 49(1)1--46, 53(2)123--124
-
admitted, self-, 213(z)z--99999999
-
Adore, 78(8)1035--1054
-
ADS, 230(z)z--99999999
-
AdSiF, 167(z)70--90
-
advanced, 38(1)155--157, 54(1)99--124, 71(3)165--180
-
advances, 57(3)251--252, 96(z)1--3, 98(z)317--317, 135(z)1--3,
161(z)1--1, 166(z)1--2, 199(z)z--99999999, 224(z)z--99999999
-
adventure, 67(1)3--31
-
advice, 63(3)240--266
-
AErlang, 168(z)71--93
-
affect, 36(2)183--207, 121(z)75--99, 231(z)z--99999999,
233(z)z--99999999
-
Affeldt, Reynald, 77(10)1058--1074
-
Affeldt:2012:CAF, 77(10)1058--1074
-
affine, 106(z)54--77
-
Afzal, Uzma, 224(z)z--99999999
-
Afzal:2022:ECS, 224(z)z--99999999
-
against, 64(1)140--165, 75(6)426--439, 217(z)z--99999999,
225(z)z--99999999
-
Agda, 194(z)z--99999999
-
age-new, 18(2)207--209
-
agenda, 40(1)31--57
-
agent, 11(1)65--86, 30(1)201--226, 31(2)291--311, 39(2)249--272,
50(1)51--71, 54(1)73--98, 59(1)127--146, 63(1)88--107,
66(3)246--265, 78(5)594--611, 78(6)725--746, 78(9)1728--1750,
98(z)117--119, 98(z)120--139, 157(z)56--70, 167(z)70--90,
215(z)z--99999999
-
agent, Multi-, 78(6)747--761, 78(6)762--774, 187(z)z--99999999
-
agent, multi-, 57(2)187--216, 66(3)226--245, 75(6)398--425,
131(z)126--150, 148(z)66--87, 224(z)z--99999999, 228(z)z--99999999
-
agent-based, 77(1)46--65, 200(z)z--99999999
-
Agent-Oriented, 78(6)705--714
-
agent-oriented, 44(2)229--252, 76(1)37--62, 78(6)682--683
-
Agg, 104(z)44--70
-
Aggarwal, Deepanker, 160(z)78--92
-
Aggarwal, Deepanker, see Kiehn, Astrid
-
agglomerations, 182(z)64--85
-
aggregate, 167(z)114--137, 203(z)z--99999999, 231(z)z--99999999
-
Agha, 10(2)212--213
-
Agha, Gul, 78(2)145--146, 98(z)117--119, 115(z)100--126
-
Agha, Gul, see Charalambides, Minas,
see Clarke, Dave, \see{Ricci, Alessandro
-
agile, 78(11)2268--2281, 97(z)47--54, 97(z)150--156, 162(z)55--75,
178(z)1--19, 202(z)z--99999999
-
agnostic, platform-, 225(z)z--99999999
-
agreement, 77(1)4--28
-
Agudo, Belén, Díaz-, 69(1)68--75, 79(z)126--145
-
Aguiar, Saulo, 78(12)2381--2398
-
Aguiar, Saulo, see Marinho, Fabiana G.
-
Aguirre, Nazareno, 181(z)47--63
-
Aguirre, Nazareno, see Molina, Facundo
-
Aha, David W., 67(1)59--75
-
Aha, David W., see Ponsen, Marc
-
Ahadi, Alireza, 198(z)z--99999999
-
Ahadi, Alireza, see Bednarik, Roman
-
Aharon, Shir, 74(11)989--1020
-
Aharon, Shir, see Mili, Ali
-
Ahmadi, Sharar, 234(z)z--99999999
-
Ahmadi:2024:OPM, 234(z)z--99999999
-
Ahmed, Ijaz, 80(z)169--187
-
Ahmed, Ijaz, see Cataño, Néstor
-
Ahrendt, Wolfgang, 77(12)1289--1309
-
Ahrendt:2012:SCV, 77(12)1289--1309
-
AI, 10(2)212--213, 67(1)59--75, 235(z)z--99999999
-
ai, 10(1)19--32
-
AI-enabled, 233(z)z--99999999
-
Aichernig, Bernhard K., 77(7)799--822, 97(z)383--404
-
Aichernig, Bernhard K., see Meng, Sun
-
Aichernig:2015:MBM, 97(z)383--404
-
aided, 4(3)221--248, 9(3)271--286, 26(1)5--9, 26(1)15--31, 27(2)85--118,
27(2)185--204, 28(0)91--299, 28(1)43--90, 29(1)53--78, 29(1)99--122
-
Aiguier, Marc, 23(2)227--286
-
Aiguier, Marc, see Bernot, Gilles
-
Aiken, Alexander, 35(2)79--111
-
Aiken:1999:ISC, 35(2)79--111
-
aim, 74(1)34--42
-
air, 29(1)3--22, 96(z)337--353
-
aircraft, 78(7)813--827, 156(z)21--44
-
airplane, 103(z)13--50, 206(z)z--99999999
-
Ait, Adem, 234(z)z--99999999
-
Ait-Ameur, Yamine, 33(2)133--162, 121(z)100--127, 131(z)1--2,
196(z)z--99999999, 216(z)z--99999999, 234(z)z--99999999
-
Ait-Ameur, Yamine, see Dupont, Guillaume,
see Halchin, Alexandra
-
Ait-Ameur:1999:RRE, 33(2)133--162
-
Ait-Ameur:2016:IAS, 131(z)1--2
-
Ait-Ameur:2016:MED, 121(z)100--127
-
Ait-Ameur:2024:ITS, 234(z)z--99999999
-
Ait:2024:HEP, 234(z)z--99999999
-
Aitken, Jonathan, 218(z)z--99999999
-
Aitken, Jonathan, see Gleirscher, Mario
-
Akbari, Reza, 228(z)z--99999999
-
Akbari, Reza, see Sepahvand, Reza
-
Akesson, Benny, 111(z)505--534
-
Akesson, Benny, see Rodrigues, Vítor
-
Akhlaki, K. Benghazi, 65(1)41--56
-
Akhlaki:2007:MAF, 65(1)41--56
-
Akiki, Paul A., 200(z)z--99999999
-
Akiki, Paul A., see Akiki, Pierre A.
-
Akiki, Pierre A., 200(z)z--99999999
-
Akiki:2020:EME, 200(z)z--99999999
-
Aksit, Mehmet, 73(1)1--2
-
Aksit:2008:ESI, 73(1)1--2
-
Aktug, Irem, 74(1)2--12
-
Aktug:2008:CFL, 74(1)2--12
-
Al Ameen, Mahmudul Faisal, 231(z)z--99999999
-
Al-Alam, Wagner Guimarães, 132(z)96--128,
see Junior, Francisco Heron de Carvalho
-
ALA, ARV-, 78(9)1559--1571
-
Alam, Wagner Guimarães, Al-, 132(z)96--128
-
Alan, 11(1)90--91
-
Alanen, Marcus, 68(3)155--178
-
Alanen:2007:CRD, 68(3)155--178
-
Alashqar, Abdelkareem M., 218(z)z--99999999
-
Alashqar:2022:SCM, 218(z)z--99999999
-
Alawneh, Luay, 78(8)1099--1118
-
Alawneh, Luay, see Pirzadeh, Heidar
-
Albano, Michele, 231(z)z--99999999
-
Albano, Michele, see Harbo, Sean Kristian Remond
-
Albert, Elvira, 78(9)1427--1448, 92(z)2--24, 95(z)147--148,
111(z)483--504, 147(z)1--2
-
Albert:2013:HSA, 78(9)1427--1448
-
Albert:2014:CTL, 92(z)2--24
-
Albert:2014:SEP, 95(z)147--148
-
Albert:2015:PCC, 111(z)483--504
-
Albert:2017:PSE, 147(z)1--2
-
Albuquerque, Higo F., 165(z)1--2
-
Albuquerque, Higo F., see Araújo, Rodrigo F.
-
Alcocer, Juan Pablo Sandoval, 161(z)34--56, 191(z)z--99999999,
195(z)z--99999999
-
Alcocer, Juan Pablo Sandoval, see Bergel, Alexandre
-
Alcocer:2020:ISR, 195(z)z--99999999
-
Alcocer:2020:PVP, 191(z)z--99999999
-
Aldalur, Iñigo, 232(z)z--99999999
-
Aldalur:2024:WAS, 232(z)z--99999999
-
ALDEBARAN, 29(1)259--278
-
Aldini, Alessandro, 63(1)16--38, 167(z)114--137
-
Aldini, Alessandro, see Casadei, Roberto
-
Aldini:2006:CSP, 63(1)16--38
-
Aldrich, Jonathan, 47(2)91--120, 80(z)51--51, 80(z)169--187
-
Aldrich, Jonathan, see Cataño, Néstor
-
Aldrich:2003:CSE, 47(2)91--120
-
Aldrich:2014:BSP, 80(z)51--51
-
Ale, Mariel A., 95(z)73--92
-
Ale:2014:CMT, 95(z)73--92
-
Aleksy, Markus, 59(1)1--3, 70(2)87--88, 74(5)259--260, 76(11)969--969,
78(5)423--424
-
Aleksy, Markus, see Horspool, R. Nigel
-
Aleksy:2006:F, 59(1)1--3
-
Aleksy:2008:PSI, 70(2)87--88
-
Aleksy:2009:PSI, 74(5)259--260
-
Aleksy:2013:F, 78(5)423--424
-
Alencar, João Marcelo Uchoa de, 132(z)96--128,
see Junior, Francisco Heron de Carvalho
-
Alencar, P. S. C., 24(1)41--61
-
Alencar, P. S. C., see Lucena, C. J. P.
-
Alexander, 14(1)105--106
-
Alexander, Perry, 75(7)543--572
-
Alexander, Perry, see Frisby, Nicolas
-
Alexander, Rob, 218(z)z--99999999
-
Alexander, Rob, see Gleirscher, Mario
-
Alford, Torey, 54(1)125--142
-
Alford, Torey, see Shah, Vijay
-
Algablan, Abdulaziz, 208(z)z--99999999
-
Algablan, Abdulaziz, see Lethbridge, Timothy C.
-
algebra, 3(3)223--278, 5(2)171--199, 7(1)55--60, 10(3)281--318,
12(3)207--253, 14(1)25--42, 14(1)43--57, 15(2)135--158,
17(1)139--215, 20(1)73--111, 20(3)205--221, 21(1)57--90, 22(1)3--19,
22(1)21--44, 23(0)107--311, 23(1)55--89, 23(2)227--286,
23(2)287--311, 24(1)83--95, 24(2)149--158, 25(0)79--325,
25(2)149--186, 25(2)251--283, 26(1)5--9, 26(1)99--115,
26(1)117--132, 26(1)237--254, 27(1)1--35, 28(1)1--41, 28(2)171--192,
29(1)3--22, 29(1)235--258, 33(2)163--212, 42(2)173--228,
51(1)23--45, 51(3)291--292, 54(2)313--313, 59(3)250--273,
63(1)16--38, 65(2)173--194, 66(2)125--153, 73(2)95--128,
74(8)654--668, 75(7)543--572, 75(12)1215--1234, 76(4)227--242,
76(8)711--735, 78(10)1845--1870, 78(11)2160--2191, 85(z)224--240,
89(z)2--22, 92(z)179--210, 154(z)3--41, 187(z)z--99999999,
218(z)z--99999999
-
algebraic, 5(1)1--36, 5(2)171--199, 6(2)159--190, 7(1)35--53,
11(1)45--63, 11(1)65--86, 11(2)175--176, 11(3)263--297, 12(1)1--38,
12(2)167--168, 14(1)25--42, 14(1)81--96, 15(1)113--114,
15(2)135--158, 17(1)139--215, 20(1)73--111, 22(1)21--44,
28(0)91--299, 28(2)193--223, 28(2)225--246, 37(1)225--252,
39(2)149--188, 49(1)47--88, 52(1)53--100, 63(1)3--15,
75(11)1022--1047, 85(z)137--165, 98(z)516--530, 107(0)2--18,
193(z)z--99999999
-
algebraically, 18(3)271--280, 78(11)2064--2085
-
Alghamdi, Aliaa, 208(z)z--99999999
-
Alghamdi, Aliaa, see Lethbridge, Timothy C.
-
algol-60, 11(1)17--28
-
ALGOL-like, 13(1)73--110
-
algorithmic, 4(1)96--97, 11(1)87--88, 11(1)98--99, 26(1)117--132,
78(11)2029--2046, 127(z)76--102, 148(z)49--65
-
Ali, Asad, 205(z)z--99999999, 213(z)z--99999999
-
Ali, Muhammad Rizwan, 225(z)z--99999999
-
Ali, Shaukat, 149(z)3--8
-
Ali, Shaukat, see Hammad, Muhammad
-
Ali, Syed Juned, 231(z)z--99999999
-
Ali, Syed Juned, see Smajevic, Muhamed
-
Ali:2021:ISE, 205(z)z--99999999
-
Ali:2022:EIF, 213(z)z--99999999
-
Ali:2023:CAR, 225(z)z--99999999
-
alias, 39(1)31--55, 97(z)163--172
-
aliasing, 11(1)17--28, 35(2)223--248
-
Alier, Marc, 88(z)41--53
-
Alier, Marc, see Conde, Miguel Á.
-
Aljamaan, Hamoud, 208(z)z--99999999
-
Aljamaan, Hamoud, see Lethbridge, Timothy C.
-
AlKhalid, Ahmed Hamad, 213(z)z--99999999
-
AlKhalid, Ahmed Hamad, see AlOmar, Eman Abdullah
-
Alkhammash, Eman, 111(z)318--338
-
Alkhammash:2015:BTE, 111(z)318--338
-
all, 152(z)116--160, 231(z)z--99999999
-
Allen, Eric E., 59(1)26--37
-
Allen:2006:SIG, 59(1)26--37
-
Allende, Esteban, 96(z)52--69
-
Allende:2014:GTS, 96(z)52--69
-
Allilaire, Freddy, 72(1)31--39
-
Allilaire, Freddy, see Jouault, Frédéric
-
allocated, heap-, 92(z)2--24
-
allocation, 5(2)111--142, 22(1)45--65, 24(2)159--181, 30(3)287--308,
50(1)101--127, 50(1)161--187, 165(z)24--37, 183(z)z--99999999
-
Allouche, Cyril, 214(z)z--99999999
-
Allouche, Cyril,
see Brugière, Timothée Goubault de
-
Alloui, Ilham, 89(z)298--319
-
Alloui, Ilham, see Abdeen, Hani
-
alloy, 78(3)270--271, 94(z)67--68, 94(z)203--216, 94(z)217--237,
188(z)z--99999999, 197(z)z--99999999, 201(z)z--99999999,
211(z)z--99999999, 220(z)z--99999999
-
Alloy, F-, 162(z)55--75
-
AllSynth, 230(z)z--99999999
-
Almeida, Ariane Alves, 195(z)z--99999999
-
Almeida, J. Bacelar, 78(7)796--812
-
Almeida, José Bacelar, 91(z)216--233
-
Almeida:2013:FVS, 78(7)796--812
-
Almeida:2014:COS, 91(z)216--233
-
Almeida:2020:FDP, 195(z)z--99999999
-
almost-certain, 81(z)108--121
-
AlOmar, Eman Abdullah, 213(z)z--99999999
-
AlOmar:2022:SMT, 213(z)z--99999999
-
along, 88(z)92--109
-
Alor-Hernández, Giner, 102(z)1--19, 121(z)1--2,
see Salas-Zárate, María del Pilar,
see Valencia-García, Rafael
-
Alpha, 26(1)167--177
-
alphanumerica, 7(1)87--97
-
Alpuente, María, 78(7)775--777, 80(z)385--415, 81(z)79--107
-
Alpuente:2013:PSS, 78(7)775--777
-
Alpuente:2014:RLA, 81(z)79--107
-
Alpuente:2014:UCT, 80(z)385--415
-
Alqahtani, Sultan S., 121(z)153--175
-
Alqahtani:2016:TKS, 121(z)153--175
-
Alqasrawi, Yousef, 214(z)z--99999999
-
Alqasrawi:2022:LWR, 214(z)z--99999999
-
Alrahman, Yehia Abd, 192(z)z--99999999
-
Alrahman:2020:PIC, 192(z)z--99999999
-
Alshabani, Amjad, 97(z)266--279
-
Alshabani, Amjad, see Zagarese, Quirino
-
Alshabani, Iyad, 97(z)266--279
-
Alshabani, Iyad, see Zagarese, Quirino
-
Alt, Martin, 35(2)163--189
-
Alt, Martin, see Ferdinand, Christian
-
AltaRica, 98(z)464--483
-
alternating, 7(1)1--22
-
Alternating-time, 75(6)398--425
-
alternation, 151(z)2--17
-
alternation-free, 46(3)255--281
-
alternative, 1(3)223--233, 2(1)85--85, 3(2)205--216
-
Althaus, Ernst, 148(z)123--160
-
Althaus:2017:VLH, 148(z)123--160
-
Altisen, K., 63(3)297--320
-
Altisen:2006:AOP, 63(3)297--320
-
Altuntas, Alper, 158(z)100--121
-
Altuntas, Alper, see Baugh, John
-
Alves, Erickson H. da S., 152(z)63--69
-
Alves, Erickson H. da S., see Monteiro, Felipe R.
-
Alves, Péricles, 119(z)31--50, see Santos, Adriano
-
Alves, Vander, 152(z)116--160
-
Alves, Vander, see Castro, Thiago
-
Alvey-Britain, 16(2)197--198
-
always, 48(2)163--196
-
Alzheimer, 232(z)z--99999999
-
Amálio, Nuno, 98(z)52--79
-
Amalio:2015:TVF, 98(z)52--79
-
Amaral, Vasco, 74(5)259--260
-
Amaral, Vasco, see Aleksy, Markus
-
Amato, Gianluca, 120(z)1--24, 148(z)161--188
-
Amato:2016:EIW, 120(z)1--24
-
Amato:2017:ILI, 148(z)161--188
-
AmbieGen, 230(z)z--99999999
-
ambient, 47(2)145--175, 59(3)209--249, 77(1)46--65, 78(10)1892--1894,
78(10)1971--1986
-
ambiguity, 61(3)211--227, 75(1)71--84, 75(3)176--191, 124(z)1--19,
195(z)z--99999999
-
Ameen, Mahmudul Faisal, Al, 231(z)z--99999999
-
Ameen:2024:AUF, 231(z)z--99999999
-
Ameller, David, 168(z)18--37
-
Ameller:2018:NFR, 168(z)18--37
-
America, Pierre, 12(1)88--90, 76(12)1098--1112
-
America, Pierre, see Arias, Trosky B. Callo
-
America:1989:BRB, 12(1)88--90
-
American, 18(2)213--215
-
American, Ibero-, 233(z)z--99999999
-
Amerijckx, Wouter, 78(10)1951--1970
-
Amerijckx, Wouter, see De Roover, Coen
-
Ameur, Yamine, Ait-, 33(2)133--162, 121(z)100--127, 131(z)1--2,
196(z)z--99999999, 216(z)z--99999999, 234(z)z--99999999
-
Aminof, Benjamin, 83(z)56--79
-
Aminof:2014:SHS, 83(z)56--79
-
Amir, 75(4)211--213
-
Ammers, Eric W., van, 30(3)251--286
-
Amorim, Luis Eduardo S., 96(z)191--210
-
Amorim, Luis Eduardo S., see Reis, Leonardo V. S.
-
amortised, 185(z)z--99999999
-
Ampatzoglou, Apostolos, 171(z)1--20
-
Ampatzoglou, Apostolos, see Kyriakakis, Panos
-
Amstel, 15(1)95--97
-
Amsterdam, 15(1)98--98, 15(1)98--100, 24(1)97--99
-
Amsterdam, Santander-, 90(z)42--54
-
Amtoft, Torben, 64(1)3--28
-
Amtoft:2007:LIF, 64(1)3--28
-
An, Jung Hoon, 61(1)16--26
-
An, Jung Hoon, see Shin, Michael E.
-
an, Witawas, Srisa-, 70(2)89--110
-
analyser, 166(z)120--145, 230(z)z--99999999
-
analyses, 39(1)31--55, 64(1)29--53, 75(11)1113--1141, 76(2)100--118,
96(z)511--526, 105(z)145--170, 118(z)77--95, 159(z)1--27,
174(z)72--89, 228(z)z--99999999
-
analysing, 7(1)23--33, 9(2)107--136, 75(3)134--175, 78(12)2435--2452,
121(z)176--189
-
analytical, 57(3)253--274
-
analytics, 79(z)224--240, 97(z)135--142, 121(z)55--74,
223(z)z--99999999
-
analyze, 234(z)z--99999999
-
analyzer, 16(1)1--18, 69(1)56--67
-
analyzing, 75(3)176--191, 79(z)260--278, 89(z)298--319, 99(z)75--94,
102(z)1--19, 133(z)216--242, 135(z)105--121, 171(z)42--66,
176(z)14--32, 233(z)z--99999999
-
anchored, 87(z)44--61
-
ancilla, 212(z)z--99999999
-
Ancona, Davide, 75(9)761--761, 78(7)906--906, 97(z)281--281, 140(z)1--1,
182(z)88--89, 197(z)z--99999999, 205(z)z--99999999
-
Ancona:2010:PSI, 75(9)761--761
-
Ancona:2013:PSS, 78(7)906--906
-
Ancona:2015:PSS, 97(z)281--281
-
Ancona:2017:PSS, 140(z)1--1
-
Ancona:2019:PSI, 182(z)88--89
-
Ancona:2020:BSF, 197(z)z--99999999
-
Ancona:2021:RTP, 205(z)z--99999999
-
and-Bound, Branch-, 16(1)19--48
-
and-bound, Branch-, 16(1)19--48
-
And-Conquer, Divide-, 8(3)213--229
-
and-conquer, divide-, 8(3)213--229, 26(1)59--78,
215(z)z--99999999, 231(z)z--99999999
-
and-forward, store-, 4(3)249--256
-
Andersen, Jacob, 78(10)1845--1870
-
Andersen:2013:BAC, 78(10)1845--1870
-
Anderson, James H., 19(3)197--237, 25(1)1--39
-
Anderson, James H., see Moir, Mark
-
Anderson:1992:BAR, 19(3)197--237
-
Andova, S., 76(8)711--735, 94(z)333--361
-
Andova:2011:DCP, 76(8)711--735
-
Andova:2014:DAD, 94(z)333--361
-
Andrade, Rossana M. C., 78(12)2381--2398
-
Andrade, Rossana M. C., see Marinho, Fabiana G.
-
Andrade, Wilkerson L., 126(z)52--72
-
Andrade, Wilkerson L., see Moraes, Alan
-
André, Étienne, 230(z)z--99999999,
see Ghosh, Bineet
-
Andrei, 16(1)95--97
-
Andreoli, Jean-Marc, 31(2)179--203
-
Andreoli:1998:MND, 31(2)179--203
-
Andrew, 11(1)90--91, 34(2)159--161
-
Andrews, D. J., 10(1)87--88
-
Andrews, Gregory R., 13(1)1--21
-
Andrews, James H., 25(2)117--147
-
Andrews:1988:BRB, 10(1)87--88
-
Andrews:1989:MSS, 13(1)1--21
-
Andrews:1995:FII, 25(2)117--147
-
Andries, Marc, 34(1)1--54
-
Andries:1999:GTS, 34(1)1--54
-
Android, 162(z)132--147, 163(z)1--18, 202(z)z--99999999,
206(z)z--99999999
-
Andrzej, 12(3)260--264
-
Anemone, 202(z)z--99999999
-
angelic, 20(3)223--251, 65(2)140--158, 65(2)159--172
-
Angelis, E., De, 95(z)149--175, 147(z)78--108
-
Angelis, Lefteris, 219(z)z--99999999, 226(z)z--99999999
-
Angelis, Lefteris, see Azzeh, Mohammad
-
Anido-Rifón, Luis, 129(z)72--91,
see Pérez-Rodríguez, Roberto
-
animated, 53(1)37--49
-
animation, 12(1)90--92, 29(1)53--78, 78(3)272--292, 232(z)z--99999999
-
AnimUML, 232(z)z--99999999
-
Anisi, David A., 216(z)z--99999999
-
Anisi, David A., see Murray, Yvonne
-
An\={\i}s\={\i}mov, A. V., 2(3)215--240
-
Anne, 18(2)205--207
-
annotated, 75(1)3--20
-
annotation, 94(z)362--378, 191(z)z--99999999, 230(z)z--99999999
-
annotation-based, 210(z)z--99999999
-
annotation-driven, 97(z)266--279
-
Announcement, 2(1)89--89, 3(1)117--117, 4(1)99--101, 4(2)219--219,
5(2)231--231, 16(1)101--101
-
annual, 13(1)131--132
-
anomaly, 10(1)65--85, 60(1)1--26, 61(1)16--26
-
Anonymous:1981:CPC, 1(1)149--155
-
Anonymous:1982:B, 2(1)83--83
-
Anonymous:1982:CPI, 2(1)87--88
-
Anonymous:1982:WSS, 2(1)89--89
-
Anonymous:1983:AGN, 3(1)117--117
-
Anonymous:1984:A, 4(1)99--101
-
Anonymous:1984:BRB, 4(1)96--97
-
Anonymous:1984:CFS, 4(2)219--219
-
Anonymous:1985:A, 5(2)231--231
-
Anonymous:1985:AIV, 5(3)323--323
-
Anonymous:1985:CP, 5(3)321--321
-
Anonymous:1987:BRB, 9(1)101--105
-
Anonymous:1988:BRB, 11(2)191--195
-
Anonymous:1988:MIV, 11(1)101--106
-
Anonymous:1989:AI, 12(3)271--271
-
Anonymous:1989:CPL, 13(1)131--132
-
Anonymous:1990:CPM, 15(1)115--116
-
Anonymous:1991:A, 16(1)101--101
-
Anonymous:1991:BRB, 16(1)97--100
-
Anonymous:1991:ESP, 17(0)z--z
-
Anonymous:1993:AIV, 20(3)291--291
-
Anonymous:1993:MIV, 20(3)293--299
-
Anonymous:1994:PCF, 23(0)107--311
-
Anonymous:1995:AIVa, 24(3)287--287
-
Anonymous:1995:AIVb, 25(2)329--329
-
Anonymous:1995:PES, 25(0)79--325
-
Anonymous:1996:AIV, 26(1)273--273
-
Anonymous:1999:BR, 35(2)249--253
-
Anonymous:1999:BRB, 33(2)217--219
-
Anonymous:1999:Ea, 35(1)1--2
-
Anonymous:1999:Eb, 35(2)77--77
-
Anonymous:1999:I, 35(2)255--255
-
Anonymous:2000:Ea, 37(1)1--2
-
Anonymous:2000:Eb, 37(1)311--311
-
Anonymous:2000:Ia, 36(2)325--326
-
Anonymous:2000:Ib, 37(1)313--313
-
Anonymous:2000:Ic, 38(1)159--159
-
Anonymous:2001:AIVa, 39(2)273--273
-
Anonymous:2001:AIVb, 40(2)265--265
-
Anonymous:2001:AIVc, 41(3)295--295
-
Anonymous:2002:AIa, 44(3)345--345
-
Anonymous:2002:AIb, 45(2)271--271
-
Anonymous:2002:AIVa, 42(2)273--273
-
Anonymous:2002:AIVb, 43(2)231--231
-
Anonymous:2002:EBa, 45(1)ii--ii
-
Anonymous:2002:EBb, 45(2)z--z
-
Anonymous:2003:AIa, 46(3)307--307
-
Anonymous:2003:AIb, 47(2)243--243
-
Anonymous:2003:AIc, 48(2)197--197
-
Anonymous:2003:AId, 49(1)159--159
-
Anonymous:2003:EBa, 46(1)ii--ii
-
Anonymous:2003:EBb, 46(3)z--z
-
Anonymous:2003:EBc, 47(1)ii--ii
-
Anonymous:2003:EBd, 47(2)z--z
-
Anonymous:2003:EBe, 48(1)ii--ii
-
Anonymous:2003:EBf, 48(2)z--z
-
Anonymous:2003:EBg, 49(1)ii--ii
-
Anonymous:2004:AI, 50(1)271--271
-
Anonymous:2004:EBa, 51(1)z--z
-
Anonymous:2004:EBb, 52(1)z--z
-
Anonymous:2004:EBc, 53(1)z--z
-
Anonymous:2004:EBd, 53(2)z--z
-
Anonymous:2004:EBe, 53(3)z--z
-
Anonymous:2004:IEB, 51(3)z--z
-
Anonymous:2005:EBa, 54(1)z--z
-
Anonymous:2005:EBb, 54(2)z--z
-
Anonymous:2005:EBc, 55(1)z--z
-
Anonymous:2005:EBd, 56(1)z--z
-
Anonymous:2005:EBe, 56(3)z--z
-
Anonymous:2005:EBf, 57(1)z--z
-
Anonymous:2005:EBg, 57(2)z--z
-
Anonymous:2005:EBh, 57(3)z--z
-
Anonymous:2005:EBi, 58(1)z--z
-
Anonymous:2005:EBj, 58(3)z--z
-
Anonymous:2006:EBa, 59(1)z--z
-
Anonymous:2006:EBb, 60(1)z--z
-
Anonymous:2006:EBc, 60(2)z--z
-
Anonymous:2006:EBd, 61(1)z--z
-
Anonymous:2006:EBe, 61(3)z--z
-
Anonymous:2006:EBf, 62(1)z--z
-
Anonymous:2006:EBg, 62(2)z--z
-
Anonymous:2006:EBh, 62(3)z--z
-
Anonymous:2006:EBi, 63(1)z--z
-
Anonymous:2006:EBj, 63(2)z--z
-
Anonymous:2006:EBk, 63(3)z--z
-
Anonymous:2007:EBa, 64(1)z--z
-
Anonymous:2007:EBb, 64(2)z--z
-
Anonymous:2007:EBc, 64(3)z--z
-
Anonymous:2007:EBd, 65(1)z--z
-
Anonymous:2007:EBe, 65(2)z--z
-
Anonymous:2007:EBf, 65(3)z--z
-
Anonymous:2007:EBg, 66(1)z--z
-
Anonymous:2007:EBh, 66(2)z--z
-
Anonymous:2007:EBi, 66(3)z--z
-
Anonymous:2007:EBj, 67(1)z--z
-
Anonymous:2007:EBk, 67(2)z--z
-
Anonymous:2007:EBl, 68(1)z--z
-
Anonymous:2007:EBm, 68(2)z--z
-
Anonymous:2007:EBn, 68(3)z--z
-
Anonymous:2007:EBo, 69(1)z--z
-
Anonymous:2007:EBp, 69(1)z--99999999
-
Anonymous:2008:EBa, 70(1)z--z
-
Anonymous:2008:EBb, 71(1)z--z
-
Anonymous:2008:EBc, 71(2)z--z
-
Anonymous:2008:EBd, 71(3)z--z
-
Anonymous:2008:EBe, 72(1)z--z
-
Anonymous:2008:EBf, 72(3)z--z
-
Anonymous:2008:EBg, 73(1)z--z
-
Anonymous:2008:EBh, 73(2)z--z
-
Anonymous:2008:EBi, 74(1)z--z
-
Anonymous:2009:EBa, 74(3)z--z
-
Anonymous:2009:EBb, 74(4)z--z
-
Anonymous:2009:EBc, 74(5)z--z
-
Anonymous:2009:EBd, 74(7)z--z
-
Anonymous:2009:EBe, 74(8)z--z
-
Anonymous:2009:EBf, 74(9)z--z
-
Anonymous:2009:EBg, 74(10)z--z
-
Anonymous:2009:EBh, 74(11)z--z
-
Anonymous:2010:EBa, 75(3)z--z
-
Anonymous:2010:EBb, 75(4)z--z
-
Anonymous:2010:EBc, 75(5)z--z
-
Anonymous:2011:EB, 76(1)z--z
-
Anonymous:2012:EB, 77(1)z--z
-
Anonymous:2015:EBa, 97(z)z
-
Anonymous:2015:EBb, 97(z)z
-
Anonymous:2015:EBc, 98(z)z
-
Anonymous:2015:EBd, 98(z)z
-
Anonymous:2015:EBe, 98(z)z
-
Anonymous:2015:EBf, 98(z)z
-
Anonymous:2015:EBg, 99(z)z
-
Anonymous:2015:EBh, 100(z)z
-
Anonymous:2015:EBi, 102(z)z
-
Anonymous:2015:EBj, 103(z)z
-
Anonymous:2016:EBa, 123(z)z--z
-
Anonymous:2016:EBb, 126(z)z--z
-
Anonymous:2016:EBc, 127(z)z--z
-
Anonymous:2016:EBd, 128(z)z--z
-
Anonymous:2016:EBe, 129(z)z--z
-
Anonymous:2016:EBf, 131(z)z--z
-
Anonymous:2016:EBg, 132(z)z--z
-
Anonymous:2016:EBh, 132(z)z--z
-
Anonymous:2017:EBa, 133(z)z--z
-
Anonymous:2017:EBb, 133(z)z--z
-
Anonymous:2017:EBc, 133(z)z--z
-
Anonymous:2017:EBd, 134(z)z--z
-
Anonymous:2017:EBe, 135(z)z--z
-
Anonymous:2017:EBf, 136(z)z--z
-
Anonymous:2017:EBg, 137(z)z--z
-
Anonymous:2017:EBh, 138(z)z--z
-
Anonymous:2017:EBi, 139(z)z--z
-
Anonymous:2017:EBj, 140(z)z--z
-
Anonymous:2017:EBk, 143(z)z--z
-
Anonymous:2017:EBl, 144(z)z--z
-
Anonymous:2017:EBm, 145(z)z--z
-
Anonymous:2017:EBn, 146(z)z--z
-
Anonymous:2017:EBo, 147(z)z--z
-
Anonymous:2017:EBp, 148(z)z--z
-
Anonymous:2017:EBq, 149(z)z--z
-
Anonymous:2017:EBr, 150(z)z--z
-
Anonymous:2018:EBa, 151(z)z--z
-
Anonymous:2018:EBb, 152(z)z--z
-
Anonymous:2018:EBc, 153(z)ii--ii
-
Anonymous:2018:EBd, 154(z)ii--ii
-
Anonymous:2018:EBe, 155(z)ii--ii
-
Anonymous:2018:EBf, 157(z)ii--ii
-
Anonymous:2018:EBg, 158(z)ii--ii
-
Anonymous:2018:EBh, 159(z)1--58
-
Anonymous:2018:EBi, 160(z)ii--ii
-
Anonymous:2018:EBj, 161(z)ii--ii
-
Anonymous:2018:EBk, 162(z)ii--ii
-
Anonymous:2018:EBl, 163(z)ii--ii
-
Anonymous:2018:EBm, 165(z)z--z
-
Anonymous:2018:EBn, 166(z)ii--ii
-
Anonymous:2018:EBo, 167(z)ii--ii
-
Anonymous:2018:EBp, 168(z)ii--ii
-
Anonymous:2018:PN, 152(z)iv--iv
-
Anonymous:2018:PNA, 152(z)iii--iii
-
Anonymous:2018:S, 156(z)z--z
-
Anonymous:2018:VOS, 167(z)iii--iii
-
Anonymous:2019:EBa, 169(z)ii--ii
-
Anonymous:2019:EBb, 170(z)ii--ii
-
Anonymous:2019:EBc, 171(z)ii--ii
-
Anonymous:2019:EBd, 172(z)ii--ii
-
Anonymous:2019:EBe, 173(z)ii--ii
-
Anonymous:2019:EBf, 174(z)ii--ii
-
Anonymous:2019:EBg, 175(z)ii--ii
-
Anonymous:2019:EBh, 176(z)ii--ii
-
Anonymous:2019:EBi, 177(z)ii--ii
-
Anonymous:2019:EBj, 178(z)ii--ii
-
Anonymous:2019:EBk, 179(z)ii--ii
-
Anonymous:2019:EBl, 180(z)ii--ii
-
Anonymous:2019:EBm, 181(z)ii--ii
-
Anonymous:2019:EBn, 182(z)ii--ii
-
Anonymous:2019:EBo, 183(z)z--99999999
-
Anonymous:2019:EBp, 184(z)z--99999999
-
Anonymous:2019:O, 184(z)z--z
-
Anonymous:2019:S, 183(z)z--z
-
Anonymous:2020:Aa, 189(z)z--z
-
Anonymous:2020:Ab, 194(z)z--z
-
Anonymous:2020:D, 200(z)z--z
-
Anonymous:2020:EBa, 185(z)z--99999999
-
Anonymous:2020:EBb, 186(z)z--99999999
-
Anonymous:2020:EBc, 187(z)z--99999999
-
Anonymous:2020:EBd, 188(z)z--99999999
-
Anonymous:2020:EBe, 189(z)z--99999999
-
Anonymous:2020:EBf, 190(z)z--99999999
-
Anonymous:2020:EBg, 191(z)z--99999999
-
Anonymous:2020:EBh, 192(z)z--99999999
-
Anonymous:2020:EBi, 193(z)z--99999999
-
Anonymous:2020:EBj, 194(z)z--99999999
-
Anonymous:2020:EBk, 195(z)z--99999999
-
Anonymous:2020:EBl, 196(z)z--99999999
-
Anonymous:2020:EBm, 197(z)z--99999999
-
Anonymous:2020:EBn, 198(z)z--99999999
-
Anonymous:2020:EBo, 199(z)z--99999999
-
Anonymous:2020:EBp, 200(z)z--99999999
-
Anonymous:2020:Fa, 186(z)z--z
-
Anonymous:2020:Fb, 187(z)z--z
-
Anonymous:2020:Ja, 185(z)z--z
-
Anonymous:2020:Jb, 191(z)z--z
-
Anonymous:2020:Jc, 192(z)z--z
-
Anonymous:2020:Jd, 193(z)z--z
-
Anonymous:2020:Ma, 188(z)z--z
-
Anonymous:2020:Mb, 190(z)z--z
-
Anonymous:2020:N, 199(z)z--z
-
Anonymous:2020:Oa, 197(z)z--z
-
Anonymous:2020:Ob, 198(z)z--z
-
Anonymous:2020:Sa, 195(z)z--z
-
Anonymous:2020:Sb, 196(z)z--z
-
Anonymous:2021:Aa, 204(z)z--z
-
Anonymous:2021:Ab, 208(z)z--z
-
Anonymous:2021:D, 212(z)z--z
-
Anonymous:2021:EBa, 201(z)z--99999999
-
Anonymous:2021:EBb, 202(z)z--99999999
-
Anonymous:2021:EBc, 203(z)z--99999999
-
Anonymous:2021:EBd, 204(z)z--99999999
-
Anonymous:2021:EBe, 205(z)z--99999999
-
Anonymous:2021:EBf, 206(z)z--99999999
-
Anonymous:2021:EBg, 207(z)z--99999999
-
Anonymous:2021:EBh, 208(z)z--99999999
-
Anonymous:2021:EBi, 209(z)z--99999999
-
Anonymous:2021:EBj, 210(z)z--99999999
-
Anonymous:2021:EBk, 211(z)z--99999999
-
Anonymous:2021:EBl, 212(z)z--99999999
-
Anonymous:2021:F, 202(z)z--z
-
Anonymous:2021:Ja, 201(z)z--z
-
Anonymous:2021:Jb, 206(z)z--z
-
Anonymous:2021:Jc, 207(z)z--z
-
Anonymous:2021:Ma, 203(z)z--z
-
Anonymous:2021:Mb, 205(z)z--z
-
Anonymous:2021:N, 211(z)z--z
-
Anonymous:2021:O, 210(z)z--z
-
Anonymous:2021:S, 209(z)z--z
-
Anonymous:2022:Aa, 216(z)z--z
-
Anonymous:2022:Ab, 220(z)z--z
-
Anonymous:2022:D, 224(z)z--z
-
Anonymous:2022:EBa, 213(z)z--99999999
-
Anonymous:2022:EBb, 214(z)z--99999999
-
Anonymous:2022:EBc, 215(z)z--99999999
-
Anonymous:2022:EBd, 216(z)z--99999999
-
Anonymous:2022:EBe, 217(z)z--99999999
-
Anonymous:2022:EBf, 218(z)z--99999999
-
Anonymous:2022:EBg, 219(z)z--99999999
-
Anonymous:2022:EBh, 220(z)z--99999999
-
Anonymous:2022:EBi, 221(z)z--99999999
-
Anonymous:2022:EBj, 223(z)z--99999999
-
Anonymous:2022:EBk, 224(z)z--99999999
-
Anonymous:2022:F, 214(z)z--z
-
Anonymous:2022:Ja, 213(z)z--z
-
Anonymous:2022:Jb, 218(z)z--z
-
Anonymous:2022:Jc, 219(z)z--z
-
Anonymous:2022:Ma, 215(z)z--z
-
Anonymous:2022:Mb, 217(z)z--z
-
Anonymous:2022:N, 223(z)z--z
-
Anonymous:2022:S, 221(z)z--z
-
Anonymous:2023:Aa, 227(z)z--z
-
Anonymous:2023:Ab, 230(z)z--z
-
Anonymous:2023:EBa, 225(z)z--99999999
-
Anonymous:2023:EBb, 226(z)z--99999999
-
Anonymous:2023:EBc, 227(z)z--99999999
-
Anonymous:2023:EBd, 228(z)z--99999999
-
Anonymous:2023:EBe, 229(z)z--99999999
-
Anonymous:2023:EBf, 230(z)z--99999999
-
Anonymous:2023:Ja, 225(z)z--z
-
Anonymous:2023:Jb, 228(z)z--z
-
Anonymous:2023:Jc, 229(z)z--z
-
Anonymous:2023:M, 226(z)z--z
-
Anonymous:2023:SIS, 225(z)z--99999999
-
Anonymous:2024:EBa, 231(z)z--99999999
-
Anonymous:2024:EBb, 232(z)z--99999999
-
Anonymous:2024:EBc, 233(z)z--99999999
-
Anonymous:2024:EBd, 234(z)z--99999999
-
Anonymous:2024:EBe, 235(z)z--99999999
-
Anonymous:2024:Ja, 231(z)z--z
-
Anonymous:2024:Jb, 232(z)z--z
-
Anonymous:2024:Jc, 235(z)z--z
-
Anonymous:2024:Ma, 233(z)z--z
-
Anonymous:2024:Mb, 234(z)z--z
-
Anonymous:2024:PSIa, 232(z)z--99999999
-
Anonymous:2024:PSIb, 233(z)z--99999999
-
Anquetil, Nicolas, 78(8)1055--1072
-
Anquetil, Nicolas, see Laval, Jannik
-
Ansaloni, Danilo, 76(11)1015--1036, 95(z)344--358, 98(z)100--115
-
Ansaloni, Danilo, see Marek, Lukás,
see Sarimbekov, Aibek,
see Villazón, Alex
-
Ansart, 15(1)98--100
-
ANSI, 131(z)76--93
-
ant, 78(6)762--774
-
Antezana, Alejandra Siles, 195(z)z--99999999
-
Antezana, Alejandra Siles,
see Alcocer, Juan Pablo Sandoval
-
anti-patterns, 89(z)374--407
-
Antoniol, G., 40(2)213--234
-
Antoniol, Giuliano, 62(3)205--208, 77(6)741--742, 79(z)260--278,
230(z)z--99999999
-
Antoniol, Giuliano, see De Smet, Benoît,
see Humeniuk, Dmytro, \see{Zaidman, Andy
-
Antoniol:2001:DCT, 40(2)213--234
-
Antoniol:2006:SIS, 62(3)205--208
-
Antony, 12(1)85--87
-
any-time, 53(3)285--304
-
Aoki, Toshiaki, 193(z)z--99999999, 219(z)z--99999999
-
Aoki, Toshiaki, see Tran, Hoang-Viet
-
Aoki:2022:SPI, 219(z)z--99999999
-
AOP, 72(1)22--30, 79(z)6--22
-
AOSE, 78(6)684--694
-
Aotani, Tomoyuki, 156(z)104--120
-
Aotani, Tomoyuki, see Kamina, Tetsuo
-
Apel, Sven, 75(11)1022--1047, 77(3)129--130, 77(3)174--187,
152(z)116--160, 213(z)z--99999999
-
Apel, Sven, see Castro, Thiago,
see Dimovski, Aleksandar S.
-
Apel:2010:AFA, 75(11)1022--1047
-
Apel:2012:ACF, 77(3)174--187
-
Apel:2012:PSI, 77(3)129--130
-
API, 74(4)197--218, 76(2)65--81, 133(z)1--19, 202(z)z--99999999,
226(z)z--99999999, 227(z)z--99999999
-
API-call, 163(z)19--41
-
Apinis, Kalmer, 120(z)1--24
-
Apinis, Kalmer, see Amato, Gianluca
-
APIs, 136(z)43--59, 161(z)89--104, 198(z)z--99999999, 228(z)z--99999999
-
apl, 17(1)217--245
-
apl-like, 17(1)217--245
-
App, 202(z)z--99999999, 226(z)z--99999999
-
Appel, 34(2)159--161
-
Appeltauer, Malte, 76(12)1194--1209
-
Appeltauer, Malte, see Lincke, Jens
-
Appert, Damien, 89(z)199--221
-
Appert, Damien, see Dubois, Emmanuel
-
applicability, 121(z)3--15
-
applicable, 67(1)105--124
-
applicable, self-, 16(2)151--195
-
application-level, 78(6)725--746
-
Application-oriented, 221(z)z--99999999
-
applicative, 11(1)65--86, 12(1)39--74, 152(z)70--98
-
applied, 12(3)260--264, 36(1)5--25, 75(9)761--761, 75(11)919--920,
77(9)969--970, 78(4)388--389, 78(6)613--614, 78(7)906--906,
111(z)300--317, 113(z)149--190, 122(z)1--28, 214(z)z--99999999
-
applying, 59(1)127--146, 65(1)57--69, 74(1)43--51, 76(12)1261--1274,
89(z)176--198, 134(z)75--99, 195(z)z--99999999, 206(z)z--99999999,
215(z)z--99999999, 228(z)z--99999999, 232(z)z--99999999
-
approach, testing-, 120(z)25--48
-
appropriate, 78(9)1663--1678
-
approximate, 22(3)283--306, 23(1)103--103, 98(z)484--515, 165(z)38--53
-
approximated, 110(z)23--50
-
Approximately, 94(z)18--31
-
Approximating, 35(2)113--136
-
approximation, 9(1)37--83, 22(3)283--306, 23(0)107--311, 23(2)127--149,
31(1)75--89, 48(1)67--80, 64(1)76--96, 98(z)484--515,
135(z)105--121
-
approximation, under-, 132(z)190--208
-
approximations, under-, 93(z)154--182
-
apps, 97(z)31--36, 161(z)2--17, 163(z)1--18, 206(z)z--99999999
-
April, 27(3)215--216, 46(3)195--196, 75(4)211--213, 189(z)z--z,
204(z)z--z, 216(z)z--z, 227(z)z--z
-
APSEC, 163(z)138--138
-
Apt, K. R., 3(1)65--100, 21(2)91--z
-
Apt, Krzysztof R., 4(2)211--218, 26(1)133--148
-
Apt:1983:PRT, 3(1)65--100
-
Apt:1984:B, 4(2)211--218
-
Apt:1993:F, 21(2)91--z
-
Apt:1996:ABQ, 26(1)133--148
-
Aquino, Nathalie, 86(z)74--88
-
Aquino, Nathalie, see Panach, Jose Ignacio
-
Arató, Péter, 56(1)23--39
-
Arato:2005:ECB, 56(1)23--39
-
Araujo, Gustavo Medeiros de, 165(z)3--23
-
Araujo, Gustavo Medeiros de, see Resner, Davi
-
Araujo, Hugo, 162(z)35--54, 181(z)84--110
-
Araujo, Hugo, see Nogueira, Sidney
-
Araújo, João, 78(1)117--144,
see Piveta, Eduardo Kessler
-
Araujo, Renata, 181(z)84--110
-
Araujo, Renata, see Nogueira, Sidney
-
Araújo, Rodrigo F., 165(z)1--2
-
Araujo:2018:CGI, 165(z)1--2
-
Araujo:2018:SCT, 162(z)35--54
-
Aravind, Alex A., 76(7)542--554
-
Aravind, Alex A., see Hesselink, Wim H.
-
Arbab, F., 115(z)199--224, 146(z)50--86, 160(z)48--77
-
Arbab, F., see Jongmans, S.-S. T. Q.
-
Arbab, Farhad, 55(1)3--52, 61(2)75--113, 66(3)205--225, 76(1)23--36,
76(8)651--680, 76(8)681--710, 77(7)799--822, 77(7)848--869,
77(7)887--888, 78(12)2433--2434, 80(z)3--24, 83(z)1--2, 112(z)1--2,
183(z)z--99999999, 203(z)z--99999999, 218(z)z--99999999
-
Arbab, Farhad, see Baier, Christel,
see Changizi, Behnaz, \see{Clarke, Dave,
see Hojjat, Hossein,
see Jongmans, Sung-Shik,
see Kappé, Tobias,
see Krause, Christian, \see{Meng, Sun,
see Moon, Young-Joo,
see Pourvatan, Bahman
-
Arbab:2005:ABT, 55(1)3--52
-
Arbab:2012:FSE, 77(7)887--888
-
Arbab:2013:FSE, 78(12)2433--2434
-
Arbab:2014:P, 83(z)1--2
-
Arbib, 11(2)175--176, 11(2)191--195
-
Arbiters, 18(3)223--245
-
Arbitration, 21(3)191--223
-
Arbuckle, Tom, 76(12)1078--1097
-
Arbuckle:2011:SSE, 76(12)1078--1097
-
ARC, 76(1)3--22
-
arc, 5(1)97--106
-
arc-consistency, 30(1)227--250
-
Arcaini, Paolo, 94(z)93--108, 158(z)148--167, 230(z)z--99999999
-
Arcaini, Paolo, see Klikovits, Stefan
-
Arcaini:2014:TGS, 94(z)93--108
-
Arcaini:2018:IFM, 158(z)148--167
-
Arcelli, Francesca, 30(1)201--226
-
Arcelli, Francesca, see Borghoff, Uwe M.
-
Archibald, Blair, 215(z)z--99999999
-
Archibald:2022:MVB, 215(z)z--99999999
-
architecting, 76(12)1098--1112, 78(12)2347--2359
-
architectural, 33(2)101--131, 36(2)267--284, 44(1)23--49, 54(2)143--211,
56(1)79--98, 59(3)171--208, 75(5)333--349, 75(10)828--847,
90(z)135--160, 98(z)764--784, 100(z)2--27, 121(z)75--99,
121(z)176--189, 129(z)20--34, 168(z)38--70, 192(z)z--99999999,
206(z)z--99999999, 216(z)z--99999999
-
architecturally, 182(z)64--85
-
architecture, 14(2)229--242, 15(2)135--158, 15(2)171--183,
15(2)201--215, 15(2)217--233, 20(3)205--221, 24(1)41--61,
26(1)255--272, 31(2)175--177, 31(2)205--229, 31(2)231--261,
31(2)263--289, 31(2)359--381, 33(2)101--131, 41(2)105--138,
42(2)129--171, 44(1)51--69, 44(2)133--155, 46(1)1--3, 46(1)31--69,
53(3)285--304, 53(3)353--380, 57(1)1--4, 57(1)5--26, 57(1)27--44,
57(1)45--60, 57(1)89--108, 57(1)109--128, 60(1)27--67, 61(1)1--3,
61(1)4--15, 61(1)16--26, 61(1)48--57, 61(2)114--135, 62(2)145--163,
63(2)186--201, 66(1)1--3, 66(1)44--59, 66(1)60--70, 66(1)87--102,
71(3)181--212, 73(1)1--2, 73(1)26--38, 74(9)669--670, 75(7)615--637,
75(8)669--671, 76(4)258--277, 77(1)1--3, 77(1)4--28, 77(1)29--45,
77(1)46--65, 77(1)66--80, 77(5)551--576, 77(7)777--778,
78(6)715--724, 78(10)1971--1986, 78(11)2282--2291,
78(12)2488--2510, 79(z)204--223, 80(z)1--2, 86(z)43--57,
88(z)22--40, 90(z)67--70, 90(z)161--179, 97(z)181--182,
97(z)202--234, 97(z)366--380, 98(z)233--267, 98(z)268--292,
98(z)439--463, 106(z)3--29, 106(z)54--77, 115(z)147--148,
121(z)75--99, 127(z)24--49, 129(z)1--2, 129(z)35--47, 129(z)72--91,
129(z)92--102, 146(z)2--27, 168(z)18--37, 179(z)24--53, 182(z)1--41,
187(z)z--99999999, 206(z)z--99999999, 214(z)z--99999999,
230(z)z--99999999, 234(z)z--99999999
-
architecture-based, 75(8)672--688, 127(z)50--75
-
Architecture-Driven, 106(z)1--2
-
Architecture-level, 90(z)71--92, 160(z)30--47
-
Arcot, 24(1)99--100
-
Arcs, Multiple-, 12(1)75--81
-
area, 31(2)179--203, 96(z)417--443
-
arena, 78(5)425--444
-
Arenas, Puri, 92(z)2--24, 111(z)483--504
-
Arenas, Puri, see Albert, Elvira
-
Arendt, Thorsten, 152(z)38--62
-
Arendt, Thorsten, see Radke, Hendrik
-
Aretz, F. E. J., Kruseman, 10(1)19--32, 12(2)105--121
-
argument, 11(2)107--131
-
argument-based, 95(z)3--25
-
Arias, Jaime, 233(z)z--99999999
-
Arias, Trosky B. Callo, 76(12)1098--1112
-
Arias:2011:TSR, 76(12)1098--1112
-
Arias:2024:SAP, 233(z)z--99999999
-
Aristizábal, Andrés, 100(z)84--104,
see Pino, Luis F.
-
arithmetic, 3(1)37--63, 22(1)107--135, 23(2)287--311, 27(1)37--83,
33(2)133--162, 94(z)203--216, 111(z)365--394, 150(z)26--30,
184(z)z--99999999
-
ARM, 59(1)38--63
-
Armbruster, M., 90(z)161--179
-
Armbruster, M., see Rupanov, V.
-
Armstrong, Tania, 31(1)3--45
-
Armstrong:1998:TCB, 31(1)3--45
-
ARMv8, 184(z)z--99999999
-
Arnaud, Jean-Baptiste, 98(z)318--338
-
Arnaud:2015:HBP, 98(z)318--338
-
Arnold, Andre, 28(2)93--110
-
Arnold, André, 13(1)111--116
-
Arnold:1989:ESP, 13(1)111--116
-
Arnold:1997:ESE, 28(2)93--110
-
Arnould, Agnès, 214(z)z--99999999,
see Pascual, Romain
-
array, 2(2)143--152, 5(2)219--229, 5(3)309--316, 6(3)313--318,
7(1)87--97, 8(2)139--145, 10(3)221--245, 12(1)75--81, 15(2)135--158,
15(2)171--183, 22(1)107--135, 26(1)133--148, 27(2)119--137,
28(1)1--41, 74(5)279--295, 75(9)796--807, 111(z)23--50,
132(z)29--49, 191(z)z--99999999, 196(z)z--99999999
-
arrows, 37(1)67--111, 141(z)1--39
-
Arruda, Filipe, 189(z)z--99999999
-
Arruda:2020:ACA, 189(z)z--99999999
-
Arsac, 12(3)257--259
-
Arshad, Hamed, 232(z)z--99999999
-
Arshad:2024:XAT, 232(z)z--99999999
-
art, 77(5)644--659
-
artefacts, 76(12)1078--1097
-
Artho, Cyrille, 103(z)1--2, 113(z)83--84, 133(z)89--90, 154(z)1--2,
163(z)174--189, 175(z)35--36, 208(z)z--99999999
-
Artho, Cyrille, see Gomes, Pedro de C.
-
Artho:2015:Pa, 103(z)1--2
-
Artho:2015:Pb, 113(z)83--84
-
Artho:2017:FTS, 133(z)89--90
-
Artho:2018:FTS, 154(z)1--2
-
Artho:2019:FTS, 175(z)35--36
-
Artho:2021:FTS, 208(z)z--99999999
-
Article, 152(z)iii--iii
-
artifact, 56(1)171--189, 97(z)86--90, 150(z)31--55
-
artificial, 10(1)19--32, 15(1)97--97, 27(1)37--83, 30(1)83--118,
30(1)201--226, 229(z)z--99999999
-
ARV--ALA, 78(9)1559--1571
-
As-if-serial, 74(5)314--332
-
Asada, Kazuyuki, 137(z)2--62
-
Asada:2017:VRP, 137(z)2--62
-
Asai, Kenichi, 137(z)1--1
-
Asai:2017:SEP, 137(z)1--1
-
Asavoae, I. M., 100(z)61--83
-
Asavoae:2015:MCR, 100(z)61--83
-
Asencio, Angel, 207(z)z--99999999
-
Asencio, Angel, see Guzmán-Guzmán, Xiomarah
-
Asf, 97(z)2--10
-
Ashrov, Adiel, 98(z)268--292
-
Ashrov:2015:UCB, 98(z)268--292
-
Asia-Pacific, 163(z)138--138
-
Asl/F, 7(3)297--312
-
asl/f, 7(3)297--312
-
ASM, 76(9)756--773, 94(z)109--129, 158(z)148--167
-
ASMs, 94(z)69--92, 131(z)3--21, 158(z)21--40, 210(z)z--99999999
-
ASP, 77(7)823--847
-
aspect, 21(2)141--163, 21(2)165--190, 23(0)107--311, 33(2)163--212,
56(3)275--313, 61(1)58--71, 63(3)207--239, 63(3)267--296,
71(3)165--180, 75(7)516--542, 75(11)1048--1076, 75(11)1113--1141,
75(12)1235--1261, 76(11)1015--1036, 76(12)1247--1260,
77(3)393--422, 78(1)1--2, 78(10)1892--1894, 91(z)1--2,
94(z)253--254, 102(z)108--141, 111(z)363--364, 111(z)365--394,
111(z)395--425, 111(z)426--457, 111(z)458--482, 111(z)483--504,
111(z)505--534, 113(z)221--222, 121(z)34--54, 127(z)1, 162(z)1--2,
187(z)z--99999999, 198(z)z--99999999, 200(z)z--99999999,
218(z)z--99999999, 219(z)z--99999999, 221(z)z--99999999,
225(z)z--99999999
-
Aspect-Oriented, 74(10)861--878, 119(z)31--50
-
aspect-oriented, 47(1)37--58, 57(1)89--108, 63(3)203--206,
63(3)297--320, 63(3)321--374, 68(1)38--61, 74(5)333--354,
75(8)689--725, 78(1)117--144, 78(8)1137--1156, 78(8)1157--1175,
80(z)311--342, 131(z)22--41, 136(z)17--42
-
AspectJ, 78(9)1639--1662
-
AspectMaps, 79(z)6--22
-
aspectual, 78(1)65--92, 96(z)230--253
-
assembler, 52(1)213--255, 70(2)127--148, 75(3)134--175
-
assembly, 77(10)1058--1074
-
assembly, self-, 99(z)75--94
-
assertion, 4(3)257--290, 7(1)1--22, 28(0)91--299, 28(2)139--170,
55(1)185--208, 78(8)1137--1156, 78(9)1212--1239, 155(z)3--26
-
Assertion-based, 118(z)40--59
-
assertional, 2(3)175--206, 78(9)1521--1537
-
Assessing, 77(1)46--65, 235(z)z--99999999
-
assessment, 45(2)155--174, 61(1)27--37, 65(3)222--248, 76(12)1177--1193,
89(z)374--407, 96(z)230--253, 98(z)464--483, 134(z)19--36,
135(z)45--74, 211(z)z--99999999, 214(z)z--99999999,
227(z)z--99999999
-
assign, 156(z)90--103
-
assignment, 3(1)65--100, 22(1)137--155, 111(z)365--394
-
assistance, 180(z)71--80
-
assistant, 226(z)z--99999999, 233(z)z--99999999, 234(z)z--99999999
-
assisted, 121(z)34--54, 158(z)41--63
-
assisted, Computer-, 58(1)3--27
-
Aßmann, Uwe, 56(1)1--4, 56(1)79--98,
see Pulvermüller, Elke
-
Assmann:2005:ASA, 56(1)79--98
-
associative-commutative, 9(2)137--159
-
assume-guarantee, 91(z)115--137, 193(z)z--99999999
-
assumption, 23(0)107--311, 23(2)107--125, 168(z)38--70
-
assumption-commitment, 23(2)107--125
-
assurance, 216(z)z--99999999, 231(z)z--99999999
-
assured, 58(3)384--411
-
Astefanoaei, L., 78(9)1278--1293
-
Astefanoaei, Lacramioara, 77(7)799--822
-
Astefanoaei, Lacramioara, see Meng, Sun
-
Astefanoaei:2013:WPC, 78(9)1278--1293
-
Astesiano, Egidio, 34(3)163--190, 40(1)1--2
-
Astesiano:1999:SHT, 34(3)163--190
-
Astesiano:2001:FAS, 40(1)1--2
-
Astudillo, Hernán, 77(1)66--80,
see López, Claudia
-
asynchronous, 7(1)1--22, 26(1)79--97, 26(1)255--272, 55(1)259--288,
64(1)166--183, 74(3)100--127, 77(10)1095--1121, 77(12)1289--1309,
89(z)41--68, 109(z)96--124, 115(z)100--126, 128(z)22--50,
141(z)1--39, 146(z)87--103, 156(z)104--120, 180(z)36--70,
225(z)z--99999999, 231(z)z--99999999
-
asynchronously, 18(3)223--245, 205(z)z--99999999
-
at, stuck-, 8(2)203--211
-
ATAM, 57(1)109--128
-
Atanassow, Frank, 65(2)72--107
-
Atanassow:2007:CXH, 65(2)72--107
-
Atkinson, Colin, 44(1)5--22
-
Atkinson:2002:PSM, 44(1)5--22
-
ATL, 68(3)138--154, 72(1)31--39, 136(z)1--16
-
atomic, 19(3)197--237, 30(1)51--82, 58(3)325--343, 63(2)130--146
-
atomicity, 71(1)57--72, 71(2)89--109
-
Atomizer, 71(2)89--109
-
Atoofian, Ehsan, 78(9)1559--1571
-
Atoofian:2013:AAI, 78(9)1559--1571
-
Atoum, Issa, 226(z)z--99999999
-
Atoum:2023:MKP, 226(z)z--99999999
-
ATS, 78(8)1176--1192
-
attack, 75(7)473--495, 80(z)91--105, 148(z)3--25, 217(z)z--99999999,
229(z)z--99999999
-
attack-resistant, 167(z)114--137
-
Attanasio, Candida, 46(1)5--30
-
Attanasio:2003:SAR, 46(1)5--30
-
Attard, Duncan Paul, 232(z)z--99999999
-
Attard, Duncan Paul, see Aceto, Luca
-
attention, 78(10)1987--2008
-
attention-based, 226(z)z--99999999
-
attestation, 74(1)13--22, 111(z)300--317
-
Attili, Imtinan Basem, 204(z)z--99999999
-
Attili, Imtinan Basem, see Azzeh, Mohammad
-
attractors, 180(z)18--35
-
attribute, 3(2)151--188, 5(1)83--96, 14(1)1--24, 75(1)21--38,
75(1)39--54, 78(10)1752--1769, 96(z)211--229, 96(z)488--510,
96(z)511--526, 114(z)33--44, 132(z)2--28, 173(z)71--94
-
attribute-based, 168(z)71--93, 192(z)z--99999999
-
attributed, 68(1)21--37
-
attributes, 137(z)98--124, 231(z)z--99999999
-
Audebaud, Philippe, 74(8)568--589, 76(3)159--159
-
Audebaud:2009:PRA, 74(8)568--589
-
Audebaud:2011:P, 76(3)159--159
-
audio, 67(1)76--90
-
Audrito, Giorgio, 166(z)146--166, 203(z)z--99999999, 225(z)z--99999999,
231(z)z--99999999
-
Audrito:2018:OSP, 166(z)146--166
-
Audrito:2021:ACM, 203(z)z--99999999
-
Audrito:2023:PSI, 225(z)z--99999999
-
Audrito:2024:FAT, 231(z)z--99999999
-
Auer, Anthony, 82(z)22--43
-
Auer:2014:CCG, 82(z)22--43
-
Augmentation, 232(z)z--99999999
-
Augmenting, 230(z)z--99999999
-
August, 194(z)z--z, 208(z)z--z, 218(z)z--99999999, 220(z)z--z,
230(z)z--z
-
Augusto, Juan Carlos, 65(1)1--3
-
Augusto, Juan Carlos, see Barjis, Joseph
-
Australia, 2(1)89--89
-
Authentication, 21(2)93--113
-
author, 4(1)45--86, 5(3)323--323, 12(3)271--271, 20(3)291--291,
24(3)287--287, 25(2)329--329, 26(1)273--273, 39(2)273--273,
40(2)265--265, 41(3)295--295, 42(2)273--273, 43(2)231--231,
44(3)345--345, 45(2)271--271, 46(3)307--307, 47(2)243--243,
48(2)197--197, 49(1)159--159, 50(1)271--271
-
authoring, 89(z)105--125
-
authority, 21(2)93--113, 89(z)162--175
-
authorization, 74(1)23--33
-
authorship, 176(z)14--32
-
Autili, Marco, 78(8)987--1009, 160(z)3--29, 197(z)z--99999999
-
Autili:2013:HAR, 78(8)987--1009
-
Autili:2018:CRE, 160(z)3--29
-
Autili:2020:CSC, 197(z)z--99999999
-
AutoCRUD, 168(z)165--168
-
automata, 1(3)203--222, 2(1)87--88, 4(3)257--290, 5(1)83--96, 7(1)61--86,
7(2)99--241, 8(3)275--306, 9(2)161--177, 9(3)263--270, 9(3)271--286,
11(1)45--63, 11(1)65--86, 12(1)1--38, 12(1)39--74, 12(3)207--253,
13(2)237--264, 15(2)171--183, 16(1)1--18, 16(1)49--88,
16(2)103--149, 16(3)207--249, 17(0)z--z, 17(1)217--245,
18(1)107--137, 18(2)139--179, 18(2)181--204, 19(2)171--196,
21(3)263--291, 28(2)225--246, 28(2)273--299, 29(3)303--326,
31(1)75--89, 47(2)177--202, 61(2)75--113, 76(10)877--890,
77(7)848--869, 77(10)1122--1150, 78(1)27--45, 111(z)248--276,
112(z)3--23, 146(z)50--86, 160(z)48--77, 183(z)z--99999999,
195(z)z--99999999, 221(z)z--99999999, 225(z)z--99999999,
233(z)z--99999999
-
Automata, Mode-, 46(3)219--254
-
automated, 20(1)51--71, 28(1)1--41, 36(1)97--127, 42(1)101--113,
62(3)287--317, 75(1)3--20, 77(1)4--28, 77(9)1006--1036,
80(z)211--222, 81(z)1--2, 82(z)1--1, 86(z)43--57, 91(z)141--160,
95(z)93--111, 96(z)277--278, 96(z)337--353, 111(z)213--z,
111(z)214--247, 111(z)248--276, 111(z)277--299, 111(z)300--317,
111(z)318--338, 111(z)339--362, 128(z)1, 148(z)189--212,
163(z)115--137, 174(z)38--71, 174(z)90--108, 182(z)42--63,
185(z)z--99999999, 190(z)z--99999999, 191(z)z--99999999,
195(z)z--99999999, 197(z)z--99999999, 204(z)z--99999999,
206(z)z--99999999, 207(z)z--99999999, 211(z)z--99999999,
214(z)z--99999999, 223(z)z--99999999, 225(z)z--99999999,
230(z)z--99999999, 232(z)z--99999999
-
automated, Semi-, 90(z)135--160
-
automated, semi-, 231(z)z--99999999
-
automatic, 2(3)215--240, 3(3)223--278, 5(3)277--307, 8(3)275--306,
10(2)139--176, 16(2)151--195, 17(1)3--34, 29(1)99--122,
29(1)123--146, 35(2)223--248, 42(1)115--128, 44(2)205--227,
50(1)253--270, 52(1)257--280, 56(1)99--116, 64(1)54--75,
68(2)95--110, 75(11)1022--1047, 77(2)81--82, 77(2)83--95,
78(8)1193--1206, 78(9)1324--1345, 95(z)26--43, 97(z)17--22,
97(z)405--425, 99(z)3--23, 113(z)261--284, 160(z)3--29,
168(z)165--168, 173(z)128--152, 187(z)z--99999999,
231(z)z--99999999, 232(z)z--99999999, 233(z)z--99999999
-
automatic, semi-, 136(z)43--59
-
automatically, 3(3)223--278, 46(3)197--217, 82(z)56--76, 93(z)154--182,
228(z)z--99999999
-
Automating, 76(4)278--289
-
automation, 9(3)271--286, 42(1)1--10, 42(1)61--74, 189(z)z--99999999
-
automotive, 78(12)2347--2359, 103(z)51--70, 118(z)40--59, 154(z)89--133
-
autonomic, 146(z)87--103
-
autonomous, 53(1)107--122, 139(z)36--55, 148(z)88--106,
224(z)z--99999999, 230(z)z--99999999
-
Autoprojection, 16(2)151--195, 17(1)3--34
-
Autorreferat, 7(1)35--53
-
auxiliary, 5(3)309--316, 16(1)49--88
-
availability, 64(2)246--262, 75(7)516--542
-
available, 115(z)177--198, 210(z)z--99999999
-
Avanzini, Martin, 185(z)z--99999999
-
Avanzini:2020:PTR, 185(z)z--99999999
-
avatar, 203(z)z--99999999
-
Avelino, Guilherme, 176(z)14--32
-
Avelino:2019:MAC, 176(z)14--32
-
Avgeriou, Paris, 76(12)1098--1112, 77(5)551--576, 168(z)38--70
-
Avgeriou, Paris, see Arias, Trosky B. Callo,
see Heesch, Uwe van, \see{Yang, Chen
-
Avila, Héctor, Muñoz-, 67(1)59--75
-
avionic, 36(1)5--25
-
AVoCS, 81(z)1--2, 111(z)213--z, 111(z)214--247, 111(z)248--276,
111(z)277--299, 111(z)300--317, 111(z)318--338, 111(z)339--362,
148(z)1--2
-
AVoCS'11, 82(z)1--1
-
AVoCS'12, 96(z)277--278
-
AVoCS'14, 128(z)1
-
Avoid, 10(1)65--85
-
avoiding, 89(z)374--407, 91(z)45--69, 119(z)31--50
-
aware, 79(z)146--157
-
aware, Context-, 163(z)139--159
-
aware, context-, 78(12)2381--2398, 102(z)20--43, 115(z)79--99,
129(z)3--19, 136(z)17--42
-
aware, data-, 115(z)47--78
-
aware, grammar-, 211(z)z--99999999
-
aware, object-, 62(2)145--163
-
aware, Process-, 94(z)3--17, 130(z)69--96
-
aware, QoC-, 78(10)1912--1929
-
aware, Quality-, 202(z)z--99999999
-
aware, risk-, 110(z)51--77
-
aware, variability-, 105(z)145--170, 199(z)z--99999999
-
awareness, 78(10)2009--2025, 78(11)2259--2267
-
Axelsson, Emil, 137(z)63--97
-
Axelsson, Emil, see Bahr, Patrick
-
axiom, 5(2)171--199, 24(1)83--95, 76(3)181--203, 97(z)320--330,
99(z)235--261, 112(z)24--57, 218(z)z--99999999
-
axiomatization, 4(1)45--86, 74(1)52--63
-
Axiomatizing, 21(3)225--261
-
axiomization, 34(2)141--158
-
Ayala-Rincón, Mauricio, 195(z)z--99999999,
see Almeida, Ariane Alves
-
Ayed, Rahma Ben, 38(1)73--123
-
Ayed:2000:CPA, 38(1)73--123
-
Ayres, Tony, 59(1)109--126
-
Ayres:2006:VAC, 59(1)109--126
-
Azadbakht, Keyvan, 186(z)z--99999999
-
Azadbakht:2020:FAB, 186(z)z--99999999
-
Azema, 15(1)98--100
-
Azgomi, Hosseion, 145(z)1--12
-
Azgomi, Hosseion, see Sohrabi, Mohammad Karim
-
Azgomi, Mohammad Abdollahi, 78(1)93--116
-
Azgomi, Mohammad Abdollahi, see Khalilian, Alireza
-
Azmy, Noran, 158(z)64--80
-
Azmy:2018:MCC, 158(z)64--80
-
Azure, 211(z)z--99999999
-
Azzeh, Mohammad, 204(z)z--99999999, 214(z)z--99999999,
219(z)z--99999999, 226(z)z--99999999
-
Azzeh, Mohammad, see Alqasrawi, Yousef
-
Azzeh:2021:PSE, 204(z)z--99999999
-
Azzeh:2022:VPP, 219(z)z--99999999
-
Azzeh:2023:EPK, 226(z)z--99999999