Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
T
-
T, 16(1)92--93, 18(2)221--222
-
ta, 19(2)153--169
-
Tabar, Asmae Heydari, 204(z)z--99999999
-
Tabar, Asmae Heydari, see Wasser, Nathan
-
Tabareau, Nicolas, 80(z)311--342, 119(z)3--30
-
Tabareau, Nicolas, see Figueroa, Ismael,
see Tanter, Éric
-
TABASCO, 230(z)z--99999999
-
table, 2(3)175--206, 40(2)171--188, 75(11)943--979, 173(z)56--70
-
table-driven, 9(3)271--286
-
tabled, 147(z)54--77
-
Taboada, Guillermo L., 78(5)425--444
-
Taboada:2013:JHP, 78(5)425--444
-
tabular, 39(2)189--213, 75(11)980--1000
-
tackling, 135(z)45--74, 190(z)z--99999999, 215(z)z--99999999
-
Taconet, Chantal, 78(10)1912--1929
-
Taconet, Chantal, see Chabridon, Sophie
-
TACoS, 225(z)z--99999999
-
TACS, 21(2)141--163, 21(2)165--190
-
tactic, 14(2)305--321, 76(9)792--833
-
Taentzer, Gabriele, 34(1)1--54, 44(2)131--132, 104(z)2--43,
152(z)38--62, 214(z)z--99999999
-
Taentzer, Gabriele, see Andries, Marc,
see Ehrig, Hartmut, \see{Kosiol, Jens,
see Mantz, Florian, \see{Radke, Hendrik
-
tag, 115(z)225--246
-
tagging, 22(3)197--230
-
Taha, Safouan, 96(z)527--551
-
Taha, Safouan, see Kanso, Bilal
-
Taha, Walid, 62(1)1--2
-
Taha, Walid, see Lengauer, Christian
-
Tahvildari, Ladan, 95(z)44--72
-
Tahvildari, Ladan, see Hamdaqa, Mohammad
-
tail, 10(3)281--318, 16(1)19--48, 22(3)183--195
-
tailored, custom-, 163(z)62--84
-
taint, State-, 162(z)93--109
-
tainted, 80(z)91--105
-
take, 4(1)45--86
-
Talcott, Carolyn, 76(1)3--22, 78(1)3--26, 78(12)2453--2467,
183(z)z--99999999
-
Talcott, Carolyn, see Kappé, Tobias,
see Khakpour, Narges, \see{Kim, Minyoung
-
Talcott:2011:CTC, 76(1)3--22
-
Talia, Domenico, 15(1)111--112
-
Talia:1990:BRB, 15(1)111--112
-
Talpin, Jean-Pierre, 77(2)113--128, 96(z)377--394, 106(z)54--77,
206(z)z--99999999, 228(z)z--99999999
-
Talpin, Jean-Pierre, see Besnard, Loïc,
see Gautier, Thierry, \see{Hu, Kai
-
Talpin:2012:CDI, 77(2)113--128
-
Talpin:2014:CPS, 96(z)377--394
-
Tamarit, Salvador, 110(z)104--118
-
Tamarit, Salvador, see Caballero, Rafael
-
Tamburri, D. A., 232(z)z--99999999
-
Tamburri, D. A., see Driessen, S. W.
-
Tamburri, Damian Andrew, 214(z)z--99999999
-
Tamburri, Damian Andrew, see De Stefano, Manuel
-
Taming, 83(z)3--34, 119(z)3--30
-
tamper, 160(z)93--114
-
Tamrawi, Ahmed, 163(z)93--114
-
Tamrawi:2018:PCG, 163(z)93--114
-
Tamura, Gabriel, 94(z)307--332
-
Tamura:2014:QCP, 94(z)307--332
-
Tan, Gang, 89(z)273--297, 169(z)18--32
-
Tan, Gang, see Li, Siliang, \see{Yin, Jie
-
Tan, Richard B., 10(2)107--137
-
Tan, Richard B., see Tel, Gerard
-
Tang, A., 121(z)75--99
-
Tang, A., see Graaf, K. A. de
-
Tang, Antony, 97(z)381--382
-
Tang, Antony, see Muccini, Henry
-
Tang, Kai-Wei, 150(z)1--25
-
Tang, Kai-Wei, see Lin, Chu-Ti
-
Tang, Tao, 172(z)117--134
-
Tang, Tao, see Han, Xiao
-
Tang, Xiaolong, 97(z)320--330
-
Tang, Yiming, 195(z)z--99999999, 214(z)z--99999999
-
Tang, Yiming, see Khatchadourian, Raffi
-
Tang:2015:AGR, 97(z)320--330
-
Tang:2022:AEF, 214(z)z--99999999
-
Taniguchi, Kenichi, 7(3)297--312
-
Taniguchi, Kenichi, see Inoue, Katsuro
-
Tanter, Éric, 71(3)165--180, 72(1)22--30, 75(12)1235--1261,
78(9)1538--1558, 80(z)52--64, 80(z)311--342, 96(z)52--69,
98(z)360--375, 102(z)108--141, 119(z)3--30, 197(z)z--99999999,
see Allende, Esteban, \see{Fabry, Johan,
see Figueroa, Ismael, \see{Leger, Paul,
see Scholliers, Christophe,
see Toro, Matías
-
Tanter:2008:FMA, 72(1)22--30
-
Tanter:2010:SSD, 75(12)1235--1261
-
Tanter:2014:ELA, 80(z)311--342
-
target, 3(1)101--114, 15(1)15--54, 57(3)275--294
-
targeting, 59(1)38--63, 68(2)79--94
-
Tarifa, S. Lizeth Tapia, 179(z)24--53, 223(z)z--99999999
-
Tarifa, S. Lizeth Tapia, see Bijo, Shiji,
see Schlatte, Rudolf
-
Tarlecki, Andrzej, 5(1)59--81, 144(z)1--49
-
Tarlecki, Andrzej, see Codescu, Mihai
-
Tarlecki:1985:LSP, 5(1)59--81
-
TASE, 162(z)1--2, 187(z)z--99999999, 225(z)z--99999999,
234(z)z--99999999
-
task, 2(3)155--173, 78(10)1987--2008, 80(z)130--149, 80(z)169--187,
133(z)154--174, 165(z)24--37
-
task, Multi-, 207(z)z--99999999
-
task-level, 80(z)52--64
-
tasking, 11(1)90--91
-
Tasos, Alexandros, 197(z)z--99999999
-
Tasos:2020:RYL, 197(z)z--99999999
-
tau-confluence, 77(10)1075--1094
-
Taubenfeld, Gadi, 6(1)35--88
-
Taubenfeld, Gadi, see Francez, Nissim
-
Taupe, 79(z)260--278
-
Tavares, Amaury, 197(z)z--99999999
-
Tavares, Amaury, see Lima, Lucas
-
taxonomy, 27(2)85--118, 75(11)1095--1112
-
Taylor, 15(1)111--112, 38(1)155--157
-
Taylor, John, Shawe-, 12(3)259--260
-
Tbilisi, 38(1)147--149
-
TCP, 118(z)3--23
-
TCTL, 111(z)248--276, 153(z)1--29
-
TDFix, 233(z)z--99999999
-
TDG, 31(1)91--112
-
teach, 59(1)147--169
-
teaching, 53(1)51--69, 53(1)71--85, 78(5)499--520, 79(z)189--203,
211(z)z--99999999, 229(z)z--99999999
-
Team, 212(z)z--99999999
-
teams, 121(z)55--74
-
Tech, 3(3)223--278
-
technical, 53(1)25--36, 163(z)42--61, 213(z)z--99999999
-
technical, Socio-, 184(z)z--99999999
-
Technische, 1(1)149--155
-
technological, 95(z)73--92
-
technology, 4(2)219--219, 29(1)123--146, 74(10)777--811, 75(5)292--310,
94(z)1--2, 95(z)1--2, 95(z)112--134, 103(z)3--12, 199(z)z--99999999,
215(z)z--99999999
-
Tehrani, Simin, Nadjm-, 194(z)z--99999999, 208(z)z--99999999
-
Teitelbaum, Tim, 24(1)1--39, 41(2)139--172
-
Teitelbaum, Tim, see Liu, Yanhong A.
-
Teixeira, Eldânae, 78(12)2381--2398,
see Marinho, Fabiana G.
-
Teixeira, Leopoldo, 93(z)39--64, 152(z)116--160
-
Teixeira, Leopoldo, see Castro, Thiago,
see Mongiovi, Melina
-
Tekin, Umut, 95(z)406--425
-
Tekin:2014:GMA, 95(z)406--425
-
Tekinerdogan, Bedir, 191(z)z--99999999
-
Tekinerdogan:2020:ARF, 191(z)z--99999999
-
Tel, Gerard, 10(2)107--137
-
Tel:1988:DGM, 10(2)107--137
-
Telea, Alexandru, 65(3)222--248, 79(z)224--240
-
Telea, Alexandru, see Reniers, Dennie,
see Voinea, Lucian
-
Telecommunication, 25(2)285--327, 29(1)259--278
-
telephone, 29(1)259--278, 36(1)97--127
-
tells, 4(1)45--86
-
Temme, Nico M., 90(z)42--54
-
Temme, Nico M., see Gil, Amparo
-
Tempero, Ewan, 166(z)214--230
-
Tempero:2018:FDC, 166(z)214--230
-
Tempestini, M., 128(z)2--21
-
Tempestini, M., see Bonacchi, A.
-
Tempestini, Matteo, 78(7)828--842
-
Tempestini, Matteo, see Ferrari, Alessio
-
template, 75(7)573--595, 78(9)1600--1621, 127(z)2--23,
233(z)z--99999999
-
Template-Driven, 15(1)15--54
-
Tempo, 52(1)341--370
-
temporal, 2(3)241--266, 10(2)215--216, 12(1)85--87, 16(1)93--95,
22(1)137--155, 23(0)107--311, 23(2)127--149, 29(1)23--52,
29(1)79--98, 58(1)264--289, 70(1)31--61, 77(6)743--759,
96(z)527--551, 99(z)193--234, 216(z)z--99999999
-
tenancy, multi-, 163(z)160--173
-
Teniente, E., 68(3)179--195
-
Teniente, E., see Cabot, J.
-
Tennent, R. D., 13(1)73--110
-
Tennent:1989:EDS, 13(1)73--110
-
Tenorio-Fornés, Antonio, 111(z)156--189,
see Caballero, Rafael
-
tensor, 22(0)181--356, 22(3)327--354
-
Teodorov, Ciprian, 96(z)156--174, 232(z)z--99999999
-
Teodorov, Ciprian, see Jouault, Frédéric,
see Lagadec, Loïc
-
Teofili, S., 74(1)23--33
-
Teofili, S., see Bianchi, G.
-
Teoh, Albert, 57(1)109--128
-
Teoh, Albert, see Maheshwari, Piyush
-
terBeek:2011:SEB, 76(2)119--135
-
terBeek:2019:EMT, 169(z)1--17
-
terBeek:2022:FFE, 224(z)z--99999999
-
term, 65(2)159--172, 77(3)355--374, 96(z)488--510, 172(z)1--26,
178(z)20--42, 185(z)z--99999999, 225(z)z--99999999,
235(z)z--99999999
-
term-rewriting, 9(2)137--159, 16(3)251--275
-
Term-Wise, 4(2)141--157
-
terminals, 21(2)93--113
-
terminating, 20(3)223--251, 43(2)161--192, 78(9)1294--1323
-
termination, 6(1)89--94, 9(2)137--159, 10(2)107--137, 74(8)550--567,
74(8)654--668, 92(z)2--24, 96(z)511--526, 102(z)142--157,
111(z)110--134, 148(z)107--122, 195(z)z--99999999
-
Terriza, J. A. Holgado, 65(1)41--56
-
Terriza, J. A. Holgado, see Akhlaki, K. Benghazi
-
Terry, 13(1)125--127
-
Teruel, Camille, 98(z)318--338, 98(z)339--359
-
Teruel, Camille, see Arnaud, Jean-Baptiste,
see Peck, Mariano Martinez
-
Terven, Juan R., 130(z)97--106, 143(z)1--8, 211(z)z--99999999
-
Terven, Juan R.,
see Córdova-Esparza, Diana-Margarita
-
Terven:2016:KKT, 130(z)97--106
-
Terven:2021:KAK, 211(z)z--99999999
-
Tesei, Luca, 115(z)23--46
-
Tesei, Luca, see Merelli, Emanuela
-
Tesone, Pablo, 195(z)z--99999999
-
Tesone:2020:NMI, 195(z)z--99999999
-
test, 2(1)19--52, 4(1)45--86, 29(1)53--78, 29(1)123--146, 36(1)27--52,
48(2)119--161, 62(3)209--227, 77(7)799--822, 78(1)93--116,
78(12)2360--2380, 79(z)86--100, 89(z)23--40, 94(z)93--108,
95(z)275--297, 97(z)405--425, 126(z)52--72, 132(z)190--208,
150(z)1--25, 163(z)115--137, 181(z)84--110, 181(z)111--139,
189(z)z--99999999, 206(z)z--99999999, 207(z)z--99999999,
214(z)z--99999999, 215(z)z--99999999, 226(z)z--99999999,
231(z)z--99999999, 232(z)z--99999999, 234(z)z--99999999
-
Test-data, 184(z)z--99999999
-
Test-driven, 161(z)2--17
-
test-suite, 232(z)z--99999999
-
Testa, Lorenzo, 166(z)3--34
-
Testa, Lorenzo, see Lienhardt, Michael
-
testable, 28(2)193--223
-
testing, 8(1)105--112, 8(2)203--211, 10(2)213--215, 29(1)53--78,
29(1)79--98, 29(1)259--278, 56(1)211--230, 74(10)861--878,
75(10)879--897, 78(4)343--344, 78(4)345--363, 78(9)1294--1323,
78(9)1639--1662, 80(z)188--209, 80(z)343--355, 95(z)273--274,
97(z)383--404, 105(z)44--72, 107(0)19--40, 118(z)60--76,
122(z)1--28, 123(z)42--60, 132(z)141--142, 132(z)143--172,
132(z)173--189, 147(z)109--134, 162(z)35--54, 168(z)94--117,
172(z)27--47, 177(z)1--18, 179(z)1--23, 184(z)z--99999999,
191(z)z--99999999, 201(z)z--99999999, 206(z)z--99999999,
214(z)z--99999999, 215(z)z--99999999, 225(z)z--99999999,
227(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999,
233(z)z--99999999
-
testing-approach, 120(z)25--48
-
tetrahedral, 90(z)34--41
-
text, 1(3)157--202, 9(3)271--286, 10(1)95--97, 25(2)187--218,
95(z)26--43, 105(z)26--43, 121(z)128--152, 227(z)z--99999999
-
text-based, 76(12)1130--1143, 228(z)z--99999999
-
text-search, 54(1)3--23
-
TextFlows, 121(z)128--152
-
textual, 4(3)221--248, 227(z)z--99999999
-
than, 15(1)1--13, 102(z)57--75
-
Thatte, Satish, 17(1)217--245
-
Thatte:1991:TSI, 17(1)217--245
-
the-fly, On-, 77(12)1272--1288, 110(z)23--50, 127(z)2--23
-
the-fly, on-, 10(2)107--137, 46(3)255--281, 77(10)1075--1094
-
the-loop, hardware-in-, 77(2)83--95
-
the-post, First-past-, 85(z)166--203
-
Thellufsen, Jakob Zinck, 191(z)z--99999999
-
Thellufsen, Jakob Zinck, see Cabrera, Pedro
-
then, 27(1)1--35, 172(z)160--179
-
Then, Manuel, 79(z)172--188
-
Then, Manuel, see Kuhrmann, Marco
-
Theng, Yin-Leng, 53(1)87--105
-
Theng, Yin-Leng, see Liu, Zehua
-
theorem, 3(2)119--149, 9(1)1--15, 9(1)85--89, 21(2)115--139,
22(0)181--356, 22(3)197--230, 24(1)41--61, 24(1)83--95,
24(2)105--128, 24(2)129--148, 25(0)79--325, 25(2)117--147,
26(1)33--57, 26(1)167--177, 27(2)139--173, 27(3)217--262,
29(1)199--233, 29(3)279--302, 31(2)231--261, 34(2)141--158,
34(3)191--205, 38(1)1--25, 76(2)82--99, 94(z)238--252
-
theoretic, 23(1)19--53, 76(12)1210--1222
-
theoretic, domain-, 5(2)143--169
-
Theoretic, Number-, 3(1)37--63
-
theoretic, number-, 3(1)37--63, 232(z)z--99999999
-
theoretic, process-, 115(z)127--145
-
theoretic, type-, 63(3)240--266
-
theoretical, 4(2)219--219, 9(3)287--306, 10(2)215--216, 11(1)97--98,
15(1)113--114, 21(2)141--163, 21(2)165--190, 24(1)97--99,
24(2)185--186, 67(2)301--329, 162(z)1--2, 187(z)z--99999999,
198(z)z--99999999, 218(z)z--99999999, 219(z)z--99999999,
225(z)z--99999999
-
Theorizing, 101(z)124--135
-
theory, meta-, 91(z)70--89
-
Theory-oriented, 101(z)79--98
-
thereover, 195(z)z--99999999
-
Therón-Sánchez, Roberto, 121(z)55--74,
see González-Torres, Antonio
-
Thielecke, Hayo, 84(z)52--76
-
Thielecke:2014:SPA, 84(z)52--76
-
Thierry-Mieg, Yann, 235(z)z--99999999
-
Thierry-Mieg:2024:MCE, 235(z)z--99999999
-
thinning, 98(z)484--515
-
Thomas, Stephen W., 80(z)457--479
-
Thomas, Wolfgang, 77(7)940--954
-
Thomas, Wolfgang, see Klein, Dominik
-
Thomas:2014:SSE, 80(z)457--479
-
Thompson, Sarah, 64(1)166--183
-
Thompson, Simon, 13(2)181--218, 78(10)1770--1808
-
Thompson, Simon, see Lämmel, Ralf
-
Thompson:1990:LFP, 13(2)181--218
-
Thompson:2007:AIC, 64(1)166--183
-
thought, 42(1)11--27
-
thread, 82(z)22--43, 112(z)227--260, 161(z)122--148, 181(z)64--81
-
Thread-enforced, 198(z)z--99999999
-
threaded, multi-, 80(z)169--187
-
threats, 135(z)45--74
-
three, 2(2)133--141, 39(2)215--247, 53(3)353--380, 76(1)3--22,
78(12)2468--2487
-
three-valued, 34(2)141--158, 126(z)94--110, 175(z)37--62
-
three-way, 113(z)51--81
-
threshold, 76(12)1261--1274
-
through, 6(3)213--272, 13(1)125--127, 16(2)198--200, 29(1)53--78,
33(2)213--214, 54(2)257--290, 56(1)157--170, 59(1)127--146,
63(1)39--56, 70(1)62--86, 78(8)1073--1098, 78(9)1559--1571,
78(10)1912--1929, 83(z)3--34, 88(z)92--109, 91(z)234--248,
93(z)39--64, 94(z)307--332, 97(z)11--16, 98(z)551--588,
115(z)199--224, 160(z)3--29, 161(z)122--148, 184(z)z--99999999,
196(z)z--99999999, 198(z)z--99999999
-
Thüm, Thomas, 79(z)70--85
-
Thum:2014:FEF, 79(z)70--85
-
Tichy, Matthias, 104(z)1--1
-
Tichy, Matthias, see Ribeiro, Leila
-
Tiezzi, Francesco, 77(3)189--213, 166(z)35--70
-
Tiezzi, Francesco, see Corradini, Flavio,
see Lapadula, Alessandro
-
Tigane, Samir, 183(z)z--99999999
-
Tigane:2019:RGM, 183(z)z--99999999
-
Tilevich, Eli, 98(z)617--644, 181(z)27--46
-
Tilevich, Eli, see Song, Myoungkyu,
see Wang, Yuchen
-
time, 2(1)1--18, 2(3)241--266, 7(1)23--33, 7(3)297--312, 8(3)275--306,
9(2)107--136, 10(2)139--176, 19(2)87--152, 20(1)3--50,
20(1)141--171, 22(3)197--230, 24(2)159--181, 24(3)189--220,
25(1)1--39, 25(2)187--218, 27(1)37--83, 27(2)185--204, 28(0)91--299,
28(1)43--90, 28(2)225--246, 29(1)235--258, 31(2)205--229,
77(3)290--313, 85(z)137--165, 98(z)184--204, 111(z)190--211,
111(z)214--247, 111(z)505--534, 112(z)58--74, 132(z)209--225,
135(z)75--87, 140(z)17--29, 157(z)71--102, 168(z)1--17,
206(z)z--99999999
-
time, Alternating-, 75(6)398--425
-
time, any-, 53(3)285--304
-
time, Binding-, 34(1)55--73
-
time, compile-, 58(1)264--289, 198(z)z--99999999
-
time, Design-, 53(3)285--304
-
time, discrete-, 29(1)235--258, 55(1)81--115, 91(z)90--114
-
time, just-in-, 140(z)17--29, 185(z)z--99999999
-
time, Linear-, 32(1)109--143
-
time, linear-, 6(2)159--190, 35(1)3--27, 232(z)z--99999999
-
time, polynomial-, 64(1)97--114, 98(z)484--515
-
time, prioritized-, 77(3)290--313
-
Time, Real-, 77(12)1235--1271, 113(z)85--118, 154(z)61--88
-
time, Real-, 20(1)113--140, 80(z)288--310, 111(z)214--247
-
time, real-, 16(1)93--95, 20(1)141--171, 24(2)159--181,
36(1)53--64, 40(1)3--29, 42(1)49--60, 43(2)161--192, 46(1)5--30,
50(1)23--49, 64(3)286--311, 65(1)41--56, 66(2)162--180, 73(1)39--58,
77(2)96--112, 78(11)2047--2063, 85(z)137--165, 89(z)41--68,
91(z)3--44, 97(z)202--234, 98(z)159--183, 99(z)128--192,
111(z)214--247, 111(z)248--276, 156(z)1--20, 159(z)28--57,
165(z)24--37, 177(z)19--40, 189(z)z--99999999, 197(z)z--99999999,
203(z)z--99999999, 206(z)z--99999999
-
time, run-, 60(2)189--204, 76(4)243--257, 78(8)1073--1098,
78(12)2399--2413, 100(z)2--27, 155(z)3--26
-
Time-symmetric, 215(z)z--99999999
-
timed, 28(2)225--246, 39(2)215--247, 61(2)152--187, 73(2)76--94,
75(7)516--542, 77(7)779--798, 77(12)1212--1234, 80(z)343--355,
89(z)41--68, 98(z)184--204, 99(z)128--192, 106(z)54--77,
111(z)248--276, 111(z)277--299, 113(z)85--118, 123(z)2--41,
126(z)52--72, 153(z)1--29, 201(z)z--99999999, 225(z)z--99999999,
233(z)z--99999999
-
Timewise, 28(1)43--90
-
timing, 29(1)79--98, 29(1)235--258, 51(3)291--292, 54(2)313--313,
69(1)56--67, 159(z)28--57
-
timing-dependent, 134(z)4--18
-
Timm, Nils, 126(z)94--110, 175(z)37--62, 200(z)z--99999999,
228(z)z--99999999
-
Timm:2016:PTV, 126(z)94--110
-
Timm:2019:TVB, 175(z)37--62
-
Timm:2020:MCS, 200(z)z--99999999
-
Timm:2023:MSB, 228(z)z--99999999
-
Timmis, Jon, 174(z)1--37
-
Timmis, Jon, see Cavalcanti, Ana
-
TinyOS, 74(7)446--469
-
Tip, Frank, 97(z)91--97
-
Tip:2015:IPO, 97(z)91--97
-
Tiran, Stefan, 97(z)383--404
-
Tiran, Stefan, see Aichernig, Bernhard K.
-
Tisi, Massimo, 136(z)1--16, 149(z)9--14
-
Tisi, Massimo, see Daniel, Gwendal,
see Martínez, Salvador
-
Tivoli, Massimo, 71(3)181--212, 160(z)3--29, 197(z)z--99999999
-
Tivoli, Massimo, see Autili, Marco
-
Tivoli:2008:FFC, 71(3)181--212
-
TLA, 29(1)23--52, 131(z)109--125, 187(z)z--99999999, 197(z)z--99999999
-
TLA+, 158(z)3--20
-
TLC, 131(z)109--125
-
TM, FAMe-, 133(z)154--174
-
to-end, End-, 187(z)z--99999999
-
to-end, end-, 80(z)3--24, 105(z)124--144
-
to-face, face-, 90(z)34--41
-
to-left, right-, 75(11)1095--1112
-
to-many, Many-, 168(z)118--141
-
to-model, model-, 68(3)114--137
-
to-peer, peer-, 97(z)202--234
-
to-point, point-, 40(2)235--263
-
Tofan, Bogdan, 96(z)297--314
-
Tofan:2014:TAP, 96(z)297--314
-
together, 4(1)45--86
-
toil, 21(1)1--56
-
token, 78(10)1871--1891
-
tokenization, 77(3)355--374
-
Tokyo, 11(2)175--176, 11(2)191--195
-
Toledo, Carlos M., 95(z)73--92
-
Toledo, Carlos M., see Ale, Mariel A.
-
Toledo, Rodolfo, 72(1)22--30
-
Toledo, Rodolfo, see Tanter, Éric
-
tolerance, 4(1)1--15, 46(1)137--162, 56(3)343--361, 98(z)205--232
-
Tolerances, 111(z)339--362
-
tolerant, 4(1)1--15, 8(1)43--67, 29(1)3--22, 29(1)99--122, 29(1)171--197,
92(z)105--128
-
tolerant, crash-, 148(z)26--48
-
tolerant, error-, 165(z)38--53
-
Tolerant, Fault-, 4(1)1--15
-
tolerant, fault-, 3(1)117--117, 118(z)24--39, 154(z)89--133
-
Tolksdorf, Robert, 31(2)359--381
-
Tolksdorf:1998:LSB, 31(2)359--381
-
Tomásek, Martin, 195(z)z--99999999,
see Silvási, Frantisek
-
Tommasel, Antonela, 150(z)26--30
-
Tommasel:2017:SJL, 150(z)26--30
-
Tonella, P., 40(2)213--234
-
Tonella, P., see Antoniol, G.
-
Tonella, Paolo, 42(2)229--271, 62(3)205--208, 98(z)680--706
-
Tonella, Paolo, see Abebe, Surafel Lemma,
see Antoniol, Giuliano
-
Tonella:2002:CSC, 42(2)229--271
-
Tonetta, Stefano, 97(z)333--348, 98(z)464--483
-
Tonetta, Stefano, see Bozzano, Marco,
see Cimatti, Alessandro
-
Tong, Liangliang, 78(5)445--457
-
Tong:2013:SSG, 78(5)445--457
-
too, 14(1)105--106
-
tool, 4(1)45--86, 5(2)171--199, 5(3)318--320, 7(1)61--86, 28(0)91--299,
28(2)171--192, 28(2)225--246, 29(1)99--122, 36(2)183--207,
36(2)303--324, 40(1)59--96, 42(1)39--47, 54(1)49--71, 57(1)109--128,
65(1)57--69, 69(1)3--13, 69(1)76--85, 72(1)31--39, 73(1)3--12,
74(7)470--495, 75(1)3--20, 75(1)71--84, 75(4)214--215,
78(6)695--704, 78(10)1751--1751, 78(11)2245--2258, 79(z)39--51,
79(z)158--171, 79(z)172--188, 82(z)2--21, 85(z)41--99, 87(z)1--1,
91(z)141--160, 95(z)93--111, 95(z)344--358, 96(z)70--83,
96(z)107--120, 98(z)52--79, 114(z)1--6, 129(z)48--71, 134(z)47--60,
135(z)20--44, 143(z)1--8, 144(z)1--49, 149(z)1--2, 149(z)3--8,
149(z)15--27, 152(z)1--37, 152(z)63--69, 157(z)17--40, 157(z)56--70,
163(z)85--92, 191(z)z--99999999, 197(z)z--99999999,
202(z)z--99999999, 204(z)z--99999999, 206(z)z--99999999,
212(z)z--99999999, 217(z)z--99999999, 224(z)z--99999999,
225(z)z--99999999, 227(z)z--99999999, 228(z)z--99999999,
229(z)z--99999999, 230(z)z--99999999, 231(z)z--99999999,
232(z)z--99999999, 233(z)z--99999999, 234(z)z--99999999,
235(z)z--99999999
-
Tool, VeGAn-, 230(z)z--99999999
-
tool-chain, 223(z)z--99999999
-
toolbox, 29(1)171--197, 130(z)97--106, 191(z)z--99999999
-
ToolBus, 31(2)205--229
-
toolchain, 155(z)52--75, 223(z)z--99999999, 230(z)z--99999999
-
toolkit, 54(1)125--142, 74(7)446--469, 114(z)85--91, 211(z)z--99999999,
230(z)z--99999999
-
Toolkits, 69(1)1--2, 72(1)1--2, 75(4)214--215, 79(z)1--5, 98(z)1--2,
134(z)1--3
-
toolset, 44(1)51--69, 72(1)52--70, 79(z)52--69, 79(z)224--240,
96(z)156--174, 158(z)122--147
-
Toorn, R. A. van der, 42(2)129--171, 44(3)343--344
-
Toorn, R. A. van der, see Aalst, W. M. P. van der
-
top, 27(3)263--288, 76(1)37--62, 87(z)62--94
-
Top, Right-, 15(1)79--94
-
top, right-, 15(1)79--94
-
Top-Down, 5(2)171--199
-
top-down, 4(3)221--248, 5(2)171--199, 15(2)217--233, 27(3)263--288,
76(12)1098--1112
-
Top-level, 31(1)113--145
-
topic, 53(2)123--124, 78(9)1663--1678, 80(z)457--479
-
topmost, 6(3)313--318
-
Topological, 20(1)141--171, 214(z)z--99999999
-
topology, 6(1)1--9, 33(1)97--99, 74(11)879--899, 76(4)324--346,
97(z)366--380, 187(z)z--99999999
-
Tor, 84(z)101--120
-
torch, 102(z)76--107
-
Törnblom, John, 194(z)z--99999999
-
Tornblom:2020:FVI, 194(z)z--99999999
-
Toro, Matías, 197(z)z--99999999
-
Toro:2020:AGR, 197(z)z--99999999
-
Torres, Antonio, González-, 121(z)55--74
-
Torsidal, 15(2)135--158
-
Torta, Gianluca, 231(z)z--99999999
-
Torta, Gianluca, see Audrito, Giorgio
-
TOSCA, 166(z)194--213
-
TOSCA-compliant, 115(z)177--198
-
total, 1(1)49--72, 9(2)107--136, 34(3)191--205
-
totality, 31(1)113--145
-
Toueg, Sam, 7(1)1--22
-
Toueg, Sam, see Joseph, Thomas A.
-
tour, 52(1)341--370
-
Tourancheau, B., 15(2)135--158
-
Tourancheau, B., see Benaini, A.
-
Touriño, Juan, 78(5)425--444,
see Taboada, Guillermo L.
-
Toward, 67(1)76--90, 72(1)3--21, 203(z)z--99999999
-
towards, 11(1)45--63, 12(3)260--264, 21(1)57--90, 26(1)33--57,
26(1)99--115, 32(1)145--176, 45(2)175--191, 51(1)23--45,
57(2)129--163, 65(1)1--3, 72(3)176--219, 74(1)52--63, 77(7)908--939,
78(6)684--694, 78(9)1639--1662, 78(10)1971--1986, 97(z)105--112,
97(z)135--142, 97(z)143--149, 98(z)233--267, 101(z)1--5,
106(z)30--53, 121(z)16--33, 126(z)31--51, 131(z)22--41, 156(z)1--20,
165(z)24--37, 166(z)89--119, 167(z)114--137, 227(z)z--99999999,
230(z)z--99999999
-
Towey, Dave, 214(z)z--99999999
-
Towey, Dave, see Huang, Rubing
-
TrABin, 174(z)72--89
-
trace, 7(3)313--319, 28(0)91--299, 28(2)139--170, 55(1)209--226,
74(5)296--313, 77(10)1178--1197, 78(8)1099--1118, 80(z)385--415,
98(z)3--27, 197(z)z--99999999, 206(z)z--99999999,
232(z)z--99999999
-
Trace, MeTAGeM-, 98(z)3--27
-
trace-based, 92(z)129--161
-
traceability, 40(2)213--234, 111(z)318--338, 191(z)z--99999999
-
traceable, 111(z)318--338
-
tracer, 79(z)116--125
-
tracing, 82(z)2--21, 121(z)153--175, 172(z)180--202
-
tracing, meta-, 98(z)408--421
-
track, 75(9)761--761, 75(11)919--920, 77(9)969--970, 78(4)388--389,
78(6)613--614, 78(7)906--906, 149(z)1--2
-
tracking, 96(z)315--336, 163(z)42--61, 206(z)z--99999999,
213(z)z--99999999
-
tracking, eye-, 79(z)260--278
-
Tractable, 35(2)191--221
-
tracts, 24(2)185--186, 24(2)186--187
-
trade, 11(1)88--90
-
trade-offs, 155(z)3--26
-
trading, 225(z)z--99999999
-
traffic, 29(1)3--22, 29(1)147--170, 96(z)337--353, 154(z)61--88
-
train, 66(1)4--24, 96(z)315--336, 190(z)z--99999999
-
trait, 78(2)218--247, 78(5)521--541, 78(7)907--932, 97(z)282--308,
98(z)422--438, 195(z)z--99999999
-
TraitRecordJ, 78(5)521--541
-
Tran, Hoang-Viet, 193(z)z--99999999
-
Tran, Huy, 174(z)38--71
-
Tran, Huy, see Muram, Faiz UL
-
Tran, Thanh-Hai, 187(z)z--99999999
-
Tran, Thanh-Hai, see Kukovec, Jure
-
Tran:2020:FAG, 193(z)z--99999999
-
tranducers, 16(3)251--275
-
Trans, \pkgCLG-, 226(z)z--99999999
-
transaction, 63(2)172--185, 71(3)165--180, 73(2)76--94, 101(z)6--20,
131(z)42--58
-
transactional, 57(2)164--186, 58(3)310--324, 63(2)111--129,
63(2)186--201, 78(9)1559--1571
-
transducers, 16(3)251--275
-
transduction, 20(3)173--204
-
transfer, 19(2)153--169, 29(1)23--52, 29(1)235--258, 103(z)3--12
-
transform, 26(1)59--78, 225(z)z--99999999, 231(z)z--99999999,
232(z)z--99999999
-
transformation-based, 32(1)3--47
-
transformational, 3(1)1--35, 4(1)17--44, 6(2)159--190, 7(2)99--241,
8(2)113--137, 11(3)263--297, 16(1)19--48, 18(2)139--179,
24(3)189--220, 26(1)59--78
-
transformer, 15(1)55--77, 22(1)21--44, 24(1)100--102, 24(2)129--148,
29(3)335--335, 37(1)163--205, 41(1)1--51, 41(1)85--104,
54(2)257--290, 114(z)57--73, 226(z)z--99999999, 230(z)z--99999999
-
Transforming, 77(3)290--313
-
transient, 52(1)165--212
-
transition, 21(2)115--139, 26(1)255--272, 28(0)91--299, 28(2)93--110,
28(2)225--246, 32(1)49--72, 98(z)184--204, 126(z)52--72,
128(z)51--67, 169(z)1--17, 186(z)z--99999999, 187(z)z--99999999,
202(z)z--99999999, 209(z)z--99999999
-
transition, M-, 24(3)189--220
-
transition, state-, 8(3)231--274
-
transition-system, 186(z)z--99999999
-
transitive, 1(3)235--254, 12(2)151--155
-
Translated, 16(1)95--97
-
translating, 131(z)109--125, 152(z)38--62, 181(z)1--26, 181(z)47--63,
188(z)z--99999999
-
translation, 7(3)297--312, 8(2)113--137, 26(1)15--31, 26(1)179--196,
28(1)43--90, 60(2)189--204, 74(3)100--127, 75(1)3--20, 147(z)3--26,
191(z)z--99999999, 212(z)z--99999999, 233(z)z--99999999
-
translators, 16(1)1--18, 25(2)285--327
-
transmission, 4(3)249--256
-
Transparent, 200(z)z--99999999
-
Transportation, 28(2)247--271
-
transpose, 24(3)221--248
-
transputer, 12(3)265--266, 26(1)99--115
-
Transputers, 26(1)99--115
-
Traon, Yves, Le, 95(z)298--319
-
Tratt, Laurence, 68(3)196--213, 98(z)408--421
-
Tratt, Laurence, see Bolz, Carl Friedrich
-
Tratt:2007:MTM, 68(3)196--213
-
Travassos, Guilherme H., 229(z)z--99999999
-
Travassos, Guilherme H., see Erthal, Vladimir M.
-
traversal, 11(1)29--43, 15(1)1--13, 47(1)59--87, 78(10)1770--1808,
112(z)170--193, 130(z)1, 137(z)63--97
-
Travkin, Oleg, 96(z)297--314
-
Travkin, Oleg, see Tofan, Bogdan
-
tree, 3(2)151--188, 3(2)205--216, 4(3)221--248, 5(1)83--96, 5(2)219--229,
6(2)207--211, 7(3)279--296, 8(1)105--112, 9(1)17--35, 11(1)29--43,
13(1)51--72, 15(1)1--13, 16(3)251--275, 18(2)181--204,
20(3)173--204, 22(1)67--105, 23(1)1--18, 23(1)19--53, 24(2)149--158,
25(0)79--325, 25(2)187--218, 26(1)149--165, 27(2)85--118,
32(1)49--72, 32(1)109--143, 33(3)221--260, 37(1)163--205,
47(1)59--87, 47(2)177--202, 67(2)223--246, 76(10)891--914,
78(10)1809--1827, 132(z)226--246, 137(z)63--97, 194(z)z--99999999,
196(z)z--99999999, 235(z)z--99999999
-
tree, parse-, 78(10)1828--1844
-
Tree-structured, 32(1)109--143
-
Treharne, Helen, 76(10)837--860, 96(z)315--336, 111(z)213--z
-
Treharne, Helen, see James, Phillip,
see Schneider, Steve
-
Treinen, Ralf, 90(z)93--115
-
Treinen, Ralf, see Abate, Pietro
-
Trew, Tim, 78(12)2313--2330
-
Trew, Tim, see Hartmann, Herman
-
Tri-modal, 132(z)190--208
-
triagement, 233(z)z--99999999
-
triaging, 228(z)z--99999999, 235(z)z--99999999
-
trial, 89(z)126--143
-
tribute, 76(8)627--630, 78(3)269--269
-
Trigoni, Niki, 78(5)583--593
-
Trigoni, Niki, see Muldoon, Conor
-
Trinder, Phil, 132(z)1
-
Trinder, Phil, see Du Bois, André Rauber
-
Tripakis, Stavros, 77(12)1235--1271, 167(z)1--24, 171(z)21--41
-
Tripakis, Stavros, see Bae, Kyungmin,
see Iannopollo, Antonio,
see Pittou, Maria
-
tripartitioning, 5(1)97--106
-
triplets, Hoare-, 30(3)251--286
-
Triska, Markus, 84(z)101--120
-
Triska, Markus, see Schrijvers, Tom
-
trivial, 64(3)263--263, 64(3)264--285
-
TRL, 28(0)91--299, 28(2)225--246
-
Troina, Angelo, 73(2)76--94
-
Troina, Angelo, see Lanotte, Ruggero
-
trope-based, 96(z)417--443
-
Troubitsyna, E., 148(z)66--87
-
Troubitsyna, E., see Laibinis, L.
-
Troubitsyna, Elena, 78(7)884--905
-
Troubitsyna, Elena, see Iliasov, Alexei
-
Troumpoukis, Antonis, 155(z)173--197
-
Troumpoukis, Antonis, see Charalambidis, Angelos
-
Troya, J., 85(z)5--40
-
Troya, J., see Kolahdouz-Rahimi, S.
-
Troya, José M., 41(2)105--138, see Canal, Carlos
-
Trubiani, Catia, 168(z)71--93
-
Trubiani, Catia, see De Nicola, Rocco
-
true, 111(z)214--247
-
Truong, Hai, 102(z)76--107
-
Truong, Hai, see Backhouse, Roland
-
Truscan, Dragos, 232(z)z--99999999
-
Truscan, Dragos, see Sadovykh, Andrey
-
trust, 21(2)93--113, 56(1)141--156, 167(z)114--137
-
trust-dependent, 74(1)34--42
-
trusted, 74(1)13--22, 111(z)300--317
-
Trustworthy, 174(z)72--89
-
Truszkowski, Walt, 61(1)48--57
-
Truszkowski, Walt, see Sterritt, Roy
-
Tsantalis, Nikolaos, 229(z)z--99999999
-
Tsantalis, Nikolaos, see Liang, Peng
-
Tschantz, Matthew S., 69(1)35--45
-
Tschantz, Matthew S., see Ernst, Michael D.
-
Tse, 18(2)221--222
-
TSO, 184(z)z--99999999
-
Tsunoda, Masateru, 135(z)75--87
-
Tsunoda:2017:BIO, 135(z)75--87
-
Tucker, David B., 63(3)207--239
-
Tucker, David B., see Dutchyn, Christopher
-
Tucker, J. V., 5(2)171--199, 49(1)47--88
-
Tucker, J. V., see Bergstra, J. A.,
see Rees, D. Ll. L.
-
Tuglular, Tugkan, 120(z)25--48
-
Tuglular, Tugkan, see Belli, Fevzi
-
TUM-I8306, 3(3)223--278
-
Tuma, Petr, 95(z)344--358, 98(z)100--115
-
Tuma, Petr, see Marek, Lukás,
see Sarimbekov, Aibek
-
Tuning, 79(z)158--171
-
Tuñón, M. I. Capel, 65(1)41--56,
see Akhlaki, K. Benghazi
-
Tuosto, Emilio, 100(z)2--27, 202(z)z--99999999
-
Tuosto, Emilio, see Guanciale, Roberto,
see Poyias, Kyriakos
-
tuple, 31(2)231--261, 31(2)313--334, 34(2)79--140, 41(3)277--294,
46(1)137--162, 64(2)187--204, 74(9)702--722, 78(5)569--582,
203(z)z--99999999, 223(z)z--99999999
-
tuple-space, 115(z)149--176
-
tuProlog, 57(2)217--250
-
turbine, 133(z)216--242
-
Turck, Filip, De, 66(1)4--24
-
Turin, Gianluca, 166(z)3--34
-
Turin, Gianluca, see Lienhardt, Michael
-
Turing, 126(z)31--51, 215(z)z--99999999
-
Turini, Franco, 9(2)161--177
-
Turini, Franco, see Giannotti, Fosca
-
Turkay, Emre, 73(1)39--58
-
Turkay, Emre, see Gokhale, Aniruddha
-
Türker, Uraz Cengiz, 208(z)z--99999999
-
Turker:2021:MCS, 208(z)z--99999999
-
Turku, 76(9)737--738
-
turning, 78(3)293--309, 103(z)13--50
-
Turski, W. M., 12(2)174--175, 16(1)95--97
-
Turski, W{\l}adys{\l}aw M., 26(1)11--14
-
Turski:1989:BRB, 12(2)174--175
-
Turski:1991:BRB, 16(1)95--97
-
Turski:1996:WC, 26(1)11--14
-
Tushkanova, E., 99(z)3--23
-
Tushkanova:2015:RBS, 99(z)3--23
-
tutorial, 53(1)25--36, 96(z)396--416
-
tutoring, 227(z)z--99999999
-
Tüzün, Eray, 208(z)z--99999999,
see Çetin, H. Alperen
-
Tvardovskii, Aleksandr, 233(z)z--99999999
-
Tvardovskii:2024:TIC, 233(z)z--99999999
-
Tvarozek, Jozef, 198(z)z--99999999
-
Tvarozek, Jozef, see Bednarik, Roman
-
TVL, 76(12)1130--1143
-
two, 6(1)89--94, 6(2)159--190, 6(3)313--318, 14(1)81--96, 15(2)159--169,
19(1)1--23, 31(1)3--45, 50(1)51--71, 96(z)297--314, 98(z)645--679,
111(z)156--189, 135(z)105--121, 156(z)z--99999999
-
two-level, 24(2)186--187, 215(z)z--99999999
-
two-step, 163(z)19--41
-
TXL, 61(3)190--210
-
Tynan, Richard, 78(5)583--593
-
Tynan, Richard, see Muldoon, Conor
-
type, 5(3)233--264, 7(1)35--53, 7(1)61--86, 8(1)1--42, 10(1)33--63,
14(1)43--57, 14(2)255--279, 14(2)281--304, 16(2)151--195,
16(2)202--203, 17(0)z--z, 17(1)119--138, 17(1)217--245,
19(3)281--313, 22(0)181--356, 22(3)197--230, 22(3)231--256,
22(3)257--282, 23(2)197--226, 24(2)149--158, 25(0)79--325,
25(2)219--249, 26(1)167--177, 26(1)179--196, 26(1)217--236,
27(1)37--83, 31(2)263--289, 32(1)49--72, 34(3)163--190,
36(2)149--181, 37(1)225--252, 39(1)125--148, 40(2)189--211,
43(2)129--159, 50(1)189--224, 50(1)225--251, 51(1)117--151,
55(1)3--52, 58(3)366--383, 60(2)205--220, 64(1)140--165,
65(2)72--107, 71(3)213--241, 72(3)176--219, 75(6)376--397,
75(11)1165--1191, 76(3)204--224, 76(4)290--306, 76(5)392--422,
76(7)587--608, 78(2)218--247, 78(8)1176--1192, 84(z)77--100,
87(z)44--61, 95(z)200--218, 95(z)254--271, 96(z)70--83,
111(z)156--189, 111(z)365--394, 112(z)227--260, 115(z)100--126,
131(z)59--75, 132(z)96--128, 155(z)52--75, 161(z)105--121,
167(z)91--113, 179(z)54--86, 200(z)z--99999999, 205(z)z--99999999,
225(z)z--99999999, 227(z)z--99999999
-
Type-2, 184(z)z--99999999
-
Type-based, 74(8)550--567
-
type-centric, 75(7)615--637
-
Type-changing, 112(z)145--169
-
Type-Checker, 6(3)273--290
-
type-checker, 6(3)273--290
-
Type-Checking, 26(1)167--177
-
type-directed, 75(11)1048--1076, 196(z)z--99999999
-
type-driven, 114(z)57--73
-
Type-indexed, 51(1)117--151
-
type-safe, 52(1)281--306, 67(2)199--222, 76(4)290--306, 97(z)282--308
-
type-sound, 117(z)17--44
-
type-theoretic, 63(3)240--266
-
type-validity, 6(3)273--290
-
typechecking, 8(2)147--172, 155(z)52--75
-
typed, 10(2)139--176, 23(1)19--53, 31(1)91--112, 50(1)189--224,
63(3)267--296, 71(2)110--143, 75(11)1048--1076, 77(7)823--847,
146(z)28--49, 208(z)z--99999999
-
typed, dynamically-, 98(z)318--338
-
typed, simply-, 31(1)47--73
-
typed, well-, 196(z)z--99999999
-
typestate, 58(1)57--82, 221(z)z--99999999
-
typesystem, 230(z)z--99999999
-
TyphonML, 232(z)z--99999999
-
typing, 22(3)197--230, 23(1)19--53, 78(11)2160--2191, 96(z)52--69,
141(z)1--39, 208(z)z--99999999, 217(z)z--99999999
-
Tyrrell, Malcolm, 65(2)159--172
-
Tyrrell, Malcolm, see Morris, Joseph M.
-
Tyszberowicz, Shmuel, 107(0)19--40
-
Tyszberowicz, Shmuel, see Gladisch, Christoph
-
Tyugu, Enn, 2(3)215--240
-
Tyugu, Enn, see Mints, Grigori
-
Tzachar, Nir, 78(5)544--555
-
Tzachar, Nir, see Dolev, Shlomi