Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
T
-
Ta, Quang-Trung, 31(2)207--230
-
Ta:2019:AMI, 31(2)207--230
-
table, 8(6)679--705, 12(1)41--51
-
tableau-based, 23(6)739--779
-
Taborda, Bruno, 30(3)333--349
-
Taborda, Bruno, see Santos, Filipe
-
Tabular, 15(2)215--236
-
tactic, 8(4)479--489, 11(3)343--357, 15(1)28--47, 24(1)127--160
-
Taentzer, G., 30(1)133--162
-
Taentzer, G., see Strüber, D.
-
Taguchi, Kenji, 26(5)943--962
-
Taguchi, Kenji, see Yamagata, Yoriyuki
-
Taha, Safouan, 27(4)641--664
-
Taha:2015:CAB, 27(4)641--664
-
Tahar, Sofiène, 27(1)79--102, 28(5)881--907, 31(3)321--351,
32(1)71--111, see Ahmad, Waqar,
see Beillahi, Sidi Mohamed,
see Elleuch, Maissa, \see{Siddique, Umair
-
Takahashi, Koichi, 11(3)343--357
-
Takahashi:1999:PEH, 11(3)343--357
-
Takaragi, Kazuo, 19(1)63--91
-
Takaragi, Kazuo, see Basin, David
-
tale, 33(6)1249--1277
-
Tamburrelli, Giordano, 24(2)163--186
-
Tamburrelli, Giordano, see Filieri, Antonio
-
Tan, Yong Kiam, 33(4)461--518
-
Tan:2021:AAE, 33(4)461--518
-
Tang, Nguyen Van, 26(5)943--962
-
Tang, Nguyen Van, see Yamagata, Yoriyuki
-
Tank, 18(3)308--328
-
Tao, Zheng, 16(2)155--163
-
Tao, Zheng, see Xuandong, Li
-
Tapken, Josef, 12(4)220--221
-
Tapken, Josef, see Dierks, Henning
-
Tappler, Martin, 33(4)575--615
-
Tappler:2021:BLM, 33(4)575--615
-
Tarasyuk, Anton, 27(1)53--77
-
Tarasyuk:2015:ISR, 27(1)53--77
-
Tarifa, Silvia Lizeth Tapia, 33(6)827--827
-
Tarifa, Silvia Lizeth Tapia, see Ahrendt, Wolfgang
-
Tarlecki, Andrzej, 9(3)229--269, 13(3)252--273, 26(5)863--864
-
Tarlecki, Andrzej, see Bidoit, Michel,
see Sannella, Donald
-
Tarlecki:2014:WMT, 26(5)863--864
-
Tarski, Knaster-, 10(3)214--232
-
task, 23(3)307--332, 27(1)167--192
-
Tata, Samir, 29(6)987--1011
-
Tata, Samir, see Graiet, Mohamed
-
Tauras, C., 18(4)421--431
-
Tauras, C., see Subramani, K.
-
tccp, 29(3)531--557
-
TCOZ, 13(2)142--160
-
TCSP, 13(2)142--160
-
teaching, 21(3)227--244, 21(3)293--301, 22(5)629--661, 30(2)239--277
-
Teague, Vanessa, 26(1)37--62
-
Teague, Vanessa, see Heather, James
-
technique, 7(3)231--265, 10(5)469--482, 12(3)147--164, 18(2)120--142,
19(1)3--33, 24(4)537--554, 25(6)971--991, 30(1)3--43, 30(5)597--625
-
Teige, Tino, 29(5)911--931
-
Teige, Tino, see Schrammel, Peter
-
teleo-reactive, 26(3)563--589
-
Teller, 12(4)233--236
-
template, 26(6)1231--1269
-
temporal, 2(1)226--246, 4(3)239--272, 4(3)299--319, 6(5)495--511,
7(6)587--619, 8(3)294--323, 8(4)408--427, 12(1)52--70, 16(2)96--103,
16(2)140--154, 19(1)35--62, 19(2)273--273, 19(4)417--444,
20(3)277--294, 21(3)259--275, 23(1)91--112, 27(2)309--334,
28(6)909--935, 29(4)705--750
-
Temporal-logic, 24(3)393--416
-
Tenzer, Jennifer, 18(4)397--420
-
Tenzer:2006:MRC, 18(4)397--420
-
term, 1(1)320--338, 20(4)407--428, 20(4)429--450
-
termination, 7(1)77--90, 21(5)421--449, 23(2)171--190, 24(4)595--607,
25(3)389--403
-
Terms, Lambda-, 4_1S_776_780
-
test, 12(5)350--371, 12(6)443--458, 23(1)3--19, 23(1)21--41,
24(4)679--699, 26(3)441--490, 28(1)65--78, 30(2)319--332,
30(6)627--628, 30(6)659--684
-
Test-data, 26(4)795--823
-
testing, 5(1)1--20, 10(5)436--451, 12(3)165--181, 12(6)423--442,
13(6)431--446, 15(2)280--295, 16(4)374--386, 17(2)201--221,
18(1)3--30, 18(1)31--41, 18(1)42--62, 18(1)63--83, 18(1)84--101,
20(6)597--617, 21(1)33--64, 23(4)513--539, 24(3)331--353,
24(3)355--374, 24(4)701--726, 24(4)727--748, 25(5)683--721,
25(5)743--768, 27(4)641--664, 28(1)1--20, 28(2)181--206,
28(3)499--527, 29(2)335--364, 30(1)77--106, 30(6)629--657
-
testing, refinement-, 25(2)219--256
-
textbook, 10(2)171--186
-
TFA, 32(4)395--416
-
the, 6(5)565--568, 7(1)1--2, 11(4)472--473
-
theorem, 1(1)320--338, 8(3)369--375, 11(3)272--301, 17(4)390--422,
25(5)683--721, 25(6)993--1016, 31(6)699--732
-
theoretic, Category-, 5(4)337--366
-
theoretic, game-, 22(5)585--609
-
Theoretical, 32(2)275--314
-
theory, 1(1)19--84, 1(1)173--192, 3(2)110--128, 3(3)218--252,
3(4)315--325, 4(3)239--272, 6(2)165--200, 7(6)704--727,
8(4)463--478, 9(5)448--468, 10(5)436--451, 13(3)308--326,
13(3)386--402, 13(3)422--429, 15(4)297--298, 16(4)352--373,
18(3)288--307, 19(2)191--203, 21(5)485--494, 23(3)267--288,
25(1)89--106, 25(1)133--158, 26(2)203--249, 26(4)695--727,
27(4)613--640, 28(1)109--143, 29(6)951--986, 30(6)739--757,
32(1)147--148
-
Thierry, Simon E. B., 22(2)129--151
-
Thierry, Simon E. B., see Mathis, Pascal
-
Thirioux, Xavier, 28(3)409--440
-
Thirioux, Xavier, see Hamiaz, Mounira Kezadri
-
Thomas, 31(4)455--456
-
Thomas, Martyn, 1(1)5--18
-
Thomas, Muffy, 7(1)106--110
-
Thomas, Muffy, see Wright, Joakim von
-
Thomas:1989:DMT, 1(1)5--18
-
Thompson, Simon, 1(1)339--365, 7(4)412--429
-
Thompson:1989:LM, 1(1)339--365
-
Thompson:1995:LMR, 7(4)412--429
-
Thomsen, Bent, 7(3)314--328
-
Thomsen, Bent, see Leth, Lone
-
Thread, 19(4)445--474, 23(4)567--583
-
Threaded, 25(4)543--572
-
threaded, multi-, 25(3)405--437, 29(6)951--986
-
threading, poly-, 23(4)567--583
-
Three, 13(3)364--385, 24(4)671--678
-
through, 6_1S_743_765, 13(6)447--470, 17(1)38--57, 26(2)203--249,
28(3)499--527, 29(3)495--530
-
Tiberghien, Alban, 22(3)345--361
-
Tiberghien, Alban, see Moha, Naouel
-
TIC, 5(3)224--252
-
Tienari, Martti, 7(4)440--468
-
Tienari, Martti, see Valmari, Antti
-
time, 3(2)142--188, 3(3)253--283, 4(3)299--319, 6(5)512--535,
6(5)536--564, 8(2)188--208, 10(3)248--266, 10(3)290--306,
11(1)21--44, 18(4)459--493, 24(4)497--518, 27(3)525--549,
27(5)917--949, 29(4)629--649, 32(1)33--70
-
time, bounded-, 27(1)1--31
-
time, dense-, 16(2)121--139
-
Time, Execution-, 15(4)319--348
-
Time, Real-, 12(2)120--144, 12(5)350--371, 13(2)128--141,
15(2)258--279
-
time, Real-, 8(4)408--427, 10(5)469--482
-
time, real-, 5(6)530--553, 6_1S_801_825, 7(5)510--532,
8(3)294--323, 9(2)175--207, 16(2)104--120, 19(1)111--136,
19(3)401--413, 20(6)619--635, 22(2)153--191, 26(3)563--589,
26(3)591--621, 27(4)727--750
-
time, run-, 28(4)531--566
-
Time-budgeting, 26(3)591--621
-
timed, 5(3)224--252, 8(5)499--538, 12(5)350--371, 16(2)140--154,
16(3)292--312, 17(2)138--159, 17(3)319--341, 20(2)225--238,
25(1)3--35, 25(2)289--318, 27(5)917--949, 28(5)725--765,
29(5)877--910, 32(2)315--360, 33(1)3--25
-
timetable, 30(5)545--569
-
timing, 26(5)1033--1076, 32(1)113--145
-
Tini, Simone, 16(3)292--312
-
Tini:2004:TCC, 16(3)292--312
-
Tissot, Régis, 23(1)3--19, see Julliand, Jacques
-
Titolo, Laura, 29(3)531--557
-
Titolo, Laura, see Comini, Marco
-
Tiu, Alwen, 19(3)321--341, 24(4)701--726
-
Tiu, Alwen, see Barsotti, Damián,
see Deng, Yuxin
-
TK, 1(1)173--192
-
to-always, 9(3)270--282
-
to-model, model-, 30(1)3--43
-
Tobias, 30(3)491--492
-
Todd, FRCS, Bryan S., 7(2)207--225
-
Todd:1995:FME, 7(2)207--225
-
Toetenel, Hans, 6(6)586--606
-
Toetenel, Hans, see Larsen, Peter Gorm
-
Tofan, Bogdan, 23(1)91--112
-
Tofan, Bogdan, see Bäumler, Simon
-
Tofts, C., 12(5)392--415
-
Tofts, Chris, 6(5)536--564, 18(4)495--517, 19(4)551--554
-
Tofts, Chris, see Collinson, Matthew,
see Pym, David
-
Tofts:1994:PPP, 6(5)536--564
-
Tofts:2000:SAP, 12(5)392--415
-
together, 17(2)201--221
-
tokens, 24(4)671--678
-
tolerance, fault-, 4(5)442--469, 29(6)1013--1050
-
tolerant, fault-, 4_1S_755_775
-
tool, 1(1)85--114, 10(4)381--404, 18(2)120--142, 19(3)277--302,
19(3)321--341, 21(3)259--275, 21(3)293--301, 27(3)499--523,
27(5)975--1001, 28(2)265--293, 33(6)829--854
-
Toolbox, 1(1)147--171
-
topological, 33(6)1039--1066
-
Torielli, F., 10(4)361--380
-
Torielli, F., see Cimatti, A.
-
Torp-Smith, Noah, 22(5)547--583
-
Torp-Smith, Noah, see Filipovi{\'c}, Ivana
-
TOrPEDO, 33(6)1039--1066
-
Torshizi, Faraz Ahmadi, 21(4)319--346
-
Torshizi, Faraz Ahmadi, see Ostroff, Jonathan S.
-
Tortora, Genoveffa, 24(3)307--330
-
Tortora, Genoveffa, see Risi, Michele
-
Touili, Tayssir, 27(2)397--421
-
Touili, Tayssir, see Song, Fu
-
Tourlas, Konstantinos, 10(5)452--468
-
Tourlas, Konstantinos, see Anderson, Stuart
-
tournament, 29(5)833--852
-
Toward, 31(1)3--25
-
towards, 3(1)21--57, 3(4)315--325, 7(5)550--575, 10(2)171--186,
10(3)193--213, 18(2)143--151, 24(4)433--458, 25(5)769--799,
26(4)729--759
-
trace, 6(3)317--338, 7(1)37--53, 18(1)63--83, 26(2)407--432,
29(6)935--950
-
Trace-based, 21(1)187--223
-
traffic, 29(4)583--600
-
train, 26(2)319--366
-
traits, 26(4)761--793
-
tramway, 33(6)957--987
-
Tran, Hoang-Dung, 33(4)519--545
-
Tran:2021:VPD, 33(4)519--545
-
transaction, 20(1)41--59, 31(5)503--540
-
transactional, 25(5)769--799
-
transducers, 8(5)499--538
-
transformation, 2(1)60--104, 4(5)442--469, 6(4)391--416, 8(6)679--705,
11(6)690--723, 13(2)161--186, 21(1)103--131, 24(4)569--594,
27(1)193--235, 27(4)641--664, 27(4)727--750, 28(2)181--206,
30(1)3--43, 30(1)133--162
-
transformation-based, 7(6)587--619, 22(3)297--326
-
transformational, 2(1)109--122
-
transformer, 7(2)169--182, 9(3)270--282, 11(6)616--636
-
Transforming, 29(3)475--494
-
transition, 2(1)226--246, 19(1)93--109, 25(1)59--87, 26(5)943--962,
27(5)951--973, 28(1)65--78, 30(2)193--217
-
Translating, 22(6)681--711
-
translation, 6(4)417--439, 20(4)429--450
-
translation-based, 23(1)43--71
-
Traonouez, Louis-Marie, 31(2)165--206
-
Traonouez, Louis-Marie, see Biondi, Fabrizio
-
Traverso, P., 10(4)361--380
-
Traverso, P., see Cimatti, A.
-
Travkin, Oleg, 30(5)597--625
-
Travkin, Oleg, see Derrick, John
-
treatment, 4(4)323--340, 10(3)193--213, 17(1)69--90
-
tree, 10(5)509--531, 11(1)45--55, 14(3)200--214, 14(3)215--227,
14(3)228--246, 14(3)247--266, 14(3)267--280, 14(3)319--327,
24(2)249--266, 25(4)573--607, 25(4)609--657, 29(4)651--703,
30(3)443--462, 33(4)695--727
-
Treharne, Helen, 17(4)390--422, 18(3)308--328, 19(3)277--302,
26(2)251--280, 28(6)909--935
-
Treharne, Helen, see Evans, Neil,
see Hoang, Thai Son,
see Schneider, Steve
-
Tribute, 23(3)239--242
-
triple, 33(2)251--295, 33(6)1115--1145
-
Troina, Angelo, 19(1)93--109, 20(4)351--377
-
Troina, Angelo, see Barbuti, Roberto,
see Lanotte, Ruggero
-
Troubitsyna, Elena, 26(2)197--201, 27(1)53--77
-
Troubitsyna, Elena, see Petre, Luigia,
see Tarasyuk, Anton
-
trusted, 1(1)5--18
-
trustworthy, 25(5)801--832
-
Tsai, Ming-Hsien, 21(3)259--275
-
Tsai, Ming-Hsien, see Tsay, Yih-Kuen
-
Tsay, Yih-Kuen, 21(3)259--275
-
Tsay:2009:TSL, 21(3)259--275
-
Tschannen, Julian, 30(5)495--523
-
Tschannen, Julian, see Polikarpova, Nadia
-
Tucker, John V., 25(2)189--218
-
Tucker, John V., see Johnson, Kenneth
-
Turhan, Anni-Yasmin, 33(6)885--921
-
Turhan, Anni-Yasmin, see Dubslaff, Clemens
-
Turing, 29(6)1121--1122
-
Turing, super-, 2(1)331--341
-
Türker, Uraz Cengiz, 26(6)1153--1167,
see Güniçen, Canan
-
Turner, K. J., 7(3)348--351
-
Turner, K. J., see Walsh, Toby
-
Turrini, Andrea, 28(1)109--143
-
Turrini, Andrea, see Fioriti, Luis María Ferrer
-
Turski, 26(5)863--864
-
two, 9(2)119--148, 10(5)532--549, 18(4)397--420, 25(6)893--931,
30(5)597--625, 33(6)1249--1277
-
type, 1(1)19--84, 3(3)218--252, 4(5)470--486, 5(4)289--298,
6_1S_743_765, 6(6)659--675, 8(3)369--375, 8(4)428--462,
8(5)539--564, 8(5)565--584, 9(1)49--67, 10(5)436--451,
12(6)473--484, 13(3)386--402, 14(4)369--399, 16(3)210--237,
16(4)352--373, 17(4)423--442, 25(2)189--218
-
typed, 8(5)539--564, 13(3)386--402, 27(5)885--916
-
typing, 17(3)277--318
-
Tyszberowicz, Shmuel, 29(4)601--627
-
Tyszberowicz, Shmuel, see Faitelson, David