Last update: Tue Dec 17 02:02:04 MST 2019
Return to index directory
T
-
T, 96(3)341--372
-
t, 56(3)243--253
-
table, 44(3)291--319, 55(3)363--385, 60(1)251--268, 61(2)97--116,
65(4)291--305, 65(4)353--371, 68(3)207--220, 71(1)121--137,
82(1)1--13, 90(3)251--267
-
Tableau, 93(1)273--288
-
Tableaux, 57(2)247--279, 94(1)21--40
-
Tabular, 67(4)343--370
-
TADDs, 93(1)305--324
-
Taentzer, Gabriele, 74(1)31--61
-
Taentzer, Gabriele, see Ehrig, Hartmut
-
Tafill, Fritz, 78(3)311--327
-
Tafill, Fritz, see Freund, Rudolf
-
Tagging, 89(1)111--129
-
Tahar, Bensalah, 42(3)391--410
-
Tahar, Bensalah, see Schlechta, Karl
-
Tahi, Fariza, 91(3)463--485
-
Tahi, Fariza, see Bernot, Gilles
-
Tai, Wei-Liang, 77(3)217--228
-
Tai, Wei-Liang, see Chang, Chin-Chen
-
Takabayashi, Katsuhiko, 66(1)131--160
-
Takabayashi, Katsuhiko, see Geamsakul, Warodom
-
Takeyama, Makoto, 65(1)113--134
-
Takeyama, Makoto, see Coquand, Thierry
-
Talpin, Jean-Pierre, 62(2)243--273
-
Talpin:2004:FRC, 62(2)243--273
-
Tan, Tony, 69(3)301--318
-
Tan, Tony, see Kaminski, Michael
-
Tanaka, Miki, 84(2)221--240
-
Tanaka, Miki, see Power, John
-
Tanas{\u{a}}, Bogdan, 49(1)67--80, see Ciobanu, Gabriel
-
Tang, Calvin Kai Fan, 77(1)105--141
-
Tang:2007:MCA, 77(1)105--141
-
Tanino, Tetsuzo, 42(3)279--302
-
Tanino, Tetsuzo, see Inuiguchi, Masahiro
-
Tantrix\TM, 91(1)35--51
-
Tarasyuk, Igor V., 76(1)189--218
-
Tarasyuk:2007:SPB, 76(1)189--218
-
Targets, 96(4)419--433
-
Tarhio, Jorma, 63(1)1--16
-
Tarhio, Jorma, see Fredriksson, Kimmo
-
Tasking, Multi-, 50(1)33--55
-
Tatar, Doina, 64(1)433--442
-
Tatar:2005:WSD, 64(1)433--442
-
Tateishi, Katsuyuki, 58(3)261--271
-
Tateishi, Katsuyuki, see Iwamoto, Chuzo
-
Taubin, Alexander, 62(2)171--196
-
Taubin, Alexander, see Cortadella, Jordi
-
Tauriainen, Heikki, 70(1)127--154
-
Tauriainen:2006:NES, 70(1)127--154
-
Taverna, 92(3)279--299, 92(4)373--396
-
TBase2, 43(1)343--353
-
TCP, 80(1)49--74
-
TCTL, 79(1)229--256
-
Team, 44(1)83--94, 63(2)159--183, 91(3)437--461
-
Teamwork, 56(4)329--371
-
technique, 50(2)135--154, 58(2)179--188, 58(2)189--202, 66(4)z--z,
68(3)207--220, 69(1)z--z, 72(1)215--234, 72(4)485--527,
84(3)471--492, 88(1)47--61, 89(1)131--160, 91(3)547--562,
91(3)597--610, 97(1)41--91, 97(1)199--214
-
Technology, 94(2)z--z
-
Telemetric, 90(1)73--86
-
Teleportation, 85(1)465--479
-
temperature, 61(3)369--378
-
Temporal, 41(3)259--294, 50(1)15--31, 63(2)221--240, 72(1)51--63,
80(1)169--197, 81(1)297--313, 82(1)61--78, 82(1)79--103,
82(1)127--140
-
Temporal, Spatio-, 67(1)249--269, 90(1)73--86
-
tenBosch:2009:CML, 90(3)229--249
-
Tense, 81(4)379--408
-
tensor, 97(1)215--234
-
Terada, R., 41(1)229--258
-
Terada, R., see Barrera, J.
-
Teraoka, Masato, 74(4)603--623
-
Teraoka, Masato, see Umeo, Hiroshi
-
terBeek:2009:AIS, 91(3)437--461
-
Terlikowski, Tomasz, 52(4)377--394, 53(3)391--397, 54(4)369--385,
56(4)373--387, 58(2)151--165, 59(1)91--106, 82(1)185--212,
86(1)191--212
-
Terlikowski:2002:LACa, 52(4)377--394
-
Terlikowski:2002:LACb, 53(3)391--397
-
Terlikowski:2003:DIF, 54(4)369--385
-
Terlikowski:2003:NED, 56(4)373--387
-
Terlikowski:2003:RCN, 58(2)151--165
-
Terlikowski:2004:RTD, 59(1)91--106
-
Terlikowski:2008:ITS, 82(1)185--212
-
Terlikowski:2008:SII, 86(1)191--212
-
Terlutte, Alain, 51(4)339--368
-
Terlutte, Alain, see Denis, François
-
term, 63(4)375--384, 70(3)203--226, 73(3)321--360, 75(1)315--330,
84(2)185--205, 92(1)145--168, 95(1)187--217, 95(2)381--399
-
Ternovska, Eugenia, 77(1)105--141
-
Ternovska, Eugenia, see Tang, Calvin Kai Fan
-
Tesei, Luca, 47(3)189--200, 51(1)1--11, 54(2)137--150, 54(2)195--211,
60(1)67--79, 94(1)1--19
-
Tesei, Luca, see Barbuti, Roberto,
see De Francesco, Nicolette
-
TESLA, 79(3)473--486
-
Testers, 91(2)325--340
-
Testing, 41(3)341--366, 43(1)1--20, 64(1)191--203, 64(1)205--216,
78(4)595--612, 80(1)199--219, 89(1)95--109, 90(3)305--335,
95(2)305--324
-
Text, Full-, 56(1)191--210
-
Texts, 63(1)1--16
-
Textual, 48(1)1--7
-
Texture, 60(1)173--186, 88(1)177--192, 95(2)245--262
-
Thalheim, Bernhard, 59(4)365--372
-
Thalheim, Bernhard, see Hartmann, Sven
-
Thangaraj, Radha, 95(4)511--531
-
Thangaraj, Radha, see Pant, Millie
-
Theelen, Bart, 78(1)35--74
-
Theelen, Bart, see Geilen, Marc
-
Theodoridis, Evangelos, 71(2)259--277
-
Theodoridis, Evangelos, see Iliopoulos, Costas S.
-
theorem, 45(1)117--121, 68(1)131--174, 68(3)249--288, 74(4)435--446,
79(1)137--167, 81(1)173--181, 83(1)21--24, 88(1)1--21
-
Theorems-Based, 69(1)63--102
-
Theoretic, 62(3)409--417, 83(1)141--157, 84(2)221--240
-
Theoretic, Automata-, 53(1)1--22
-
theoretic, Database-, 92(3)193--231
-
Theoretic, Possibility-, 75(1)195--213
-
Theoretic, Set-, 59(4)373--396
-
Theoretical, 55(1)23--38, 66(4)z--z, 69(1)z--z, 90(4)443--459
-
Theoretical, Graph-, 64(1)1--16
-
theory, 42(2)105--127, 45(4)393--404, 46(1)159--186, 47(1)15--33,
48(2)273--293, 48(4)363--388, 50(1)77--110, 52(4)323--344,
54(1)67--88, 54(4)387--408, 57(1)39--77, 58(3)321--354,
59(2)287--298, 61(3)223--245, 62(1)69--121, 63(4)375--384,
68(1)131--174, 68(3)221--230, 68(3)249--288, 71(1)49--61, 73(1)z--z,
74(1)31--61, 74(1)135--166, 74(2)209--249, 74(2)251--282,
75(1)407--433, 75(1)483--504, 76(3)325--336, 78(2)295--309,
81(1)29--82, 81(1)83--96, 83(4)429--449, 84(2)151--183, 87(2)z--z,
89(1)131--160, 89(4)451--478, 90(4)427--442, 91(3)487--505,
92(1)43--61, 92(1)169--192, 93(1)143--154, 94(2)261--273,
97(1)177--197
-
There, 66(4)397--413
-
Thermodynamics, 85(1)455--464
-
Thesis, 81(1)241--248
-
Thielscher, Michael, 57(2)371--392
-
Thielscher, Michael, see Fichtner, Matthias
-
Thierrin, G., 71(4)453--475
-
Thierrin, G., see Kari, L.
-
Thierry-Mieg, Yann, 94(3)413--437
-
Thierry-Mieg, Yann, see Hamez, Alexandre
-
Thomas, 65(4)373--392
-
Thomas, D. A., 84(1)135--149
-
Thomas, D. A., see Weng, J. F.
-
Thomo, Alex, 89(2)259--288
-
Thomo, Alex, see Grahne, Gösta
-
Thon, Ingo, 89(1)111--129
-
Thon, Ingo, see Landwehr, Niels
-
Thoughtful, 74(2)329--340
-
Thread, 71(2)153--182
-
Thread, Single-, 80(4)333--362
-
Three, 64(1)353--367
-
Three-Circular-Pixel, 91(3)581--595
-
Three-dimensional, 52(1)277--284
-
Three-Phase, 82(1)1--13
-
Three-Valued, 75(1)179--193
-
Three-valued, 68(4)357--378
-
Threshold, 56(3)243--253, 69(4)411--425, 76(4)399--411, 91(3)563--579
-
Thresholding, 75(1)483--504
-
through, 44(4)321--351, 48(2)129--163, 72(1)37--50, 87(2)247--267
-
Thue, 44(3)265--290
-
Tightly, 82(4)311--340
-
Tiles, 86(4)429--433
-
Tiling, 91(2)231--249, 91(2)305--323
-
time, 43(1)245--267, 48(2)237--252, 49(4)349--367, 50(3)315--324,
51(3)251--270, 58(1)1--22, 60(1)307--331, 62(1)1--28, 62(1)69--121,
62(1)123--137, 64(1)65--77, 67(1)149--162, 67(1)163--174,
72(1)347--361, 76(1)189--218, 77(1)143--174, 80(4)363--378,
83(1)177--196, 85(1)67--87, 88(3)225--249, 88(4)469--495,
93(1)337--352
-
Time, Continuous-, 95(1)129--155
-
time, Dense-, 97(1)111--138
-
time, Discrete-, 97(1)139--176
-
Time, Non-Optimum-, 91(1)161--178
-
Time, Polynomial-, 62(2)197--220, 84(1)111--133
-
time, polynomial-, 53(3)199--228
-
Time, Real-, 52(1)257--275, 58(3)421--435, 85(1)313--328
-
Time, Stochastic-, 95(1)157--186
-
Time-Bounded, 58(3)273--293, 95(1)129--155
-
Time-Optimum, 87(2)155--164
-
Time-Varying, 53(2)185--198, 64(1)291--306
-
Timeash, 56(1)137--154
-
Timed, 43(1)1--20, 43(1)153--173, 45(3)215--229, 47(3)189--200,
47(3)271--282, 50(3)361--402, 51(1)1--11, 51(1)59--89,
54(2)137--150, 55(2)187--202, 55(2)203--221, 55(2)223--241,
60(1)187--210, 60(1)383--399, 60(1)417--434, 62(1)29--67,
62(3)291--332, 63(4)309--330, 67(1)303--322, 70(1)75--110,
71(1)83--99, 72(1)1--19, 72(1)181--195, 79(1)229--256,
79(3)363--378, 79(3)379--399, 79(3)579--593, 82(1)171--184,
85(1)235--248, 85(1)409--424, 85(1)425--440, 87(3)287--311,
88(4)411--435, 88(4)469--495, 89(4)419--450, 92(1)1--25,
93(1)127--142, 93(1)155--169, 93(1)245--259, 94(1)1--19,
96(1)127--151
-
Timestamps, 47(3)295--306
-
Timing, 53(1)55--77, 61(3)183--211
-
Tinchev, Tinko, 81(1)29--82
-
Tinchev, Tinko, see Balbiani, Philippe
-
Tini, Simone, 47(3)271--282, 54(2)237--252, 60(1)367--382, 93(1)17--31
-
Tini, Simone, see Barbuti, Roberto,
see Lanotte, Ruggero
-
Tini:2004:CSG, 60(1)367--382
-
{\c{T}}iplea, Ferucio, 53(2)185--198
-
{\c{T}}iplea, Ferucio Lauren{\c{t}}iu, 46(3)253--256
-
Tiplea:2001:NSS, 46(3)253--256
-
Tiplea:2002:CRT, 53(2)185--198
-
Tissue, 74(4)391--408, 76(3)305--323
-
Tissue-like, 56(4)311--328
-
Titchener, Mark R., 64(1)443--461
-
Titchener:2005:DCE, 64(1)443--461
-
Tiuryn, Jerzy, 51(1)13--41
-
Tiuryn, Jerzy, see Bono, Viviana
-
To-Duties, Contrary-, 48(2)183--204
-
Toit, Christine du, 86(4)459--480
-
Toit, Christine du, see Drewes, Frank
-
Token, 54(2)151--164, 77(3)187--215, 85(1)219--234, 85(1)329--342,
88(3)251--274, 94(3)331--360
-
Token-Managed, 95(1)53--72
-
Tolerance, 95(4)491--510, 95(4)533--552
-
Tolerant, 76(1)13--23
-
Tomescu, Alexandru Ioan, 87(1)35--48
-
Tomescu, Alexandru Ioan, see Ceterchi, Rodica
-
Tomescu, Ioan, 64(1)463--470
-
Tomescu:2005:APF, 64(1)463--470
-
Tool, 46(1)55--70, 58(3)369--398, 60(1)269--289, 96(4)477--491
-
Toosizadeh, Navid, 95(1)31--52
-
Toosizadeh:2009:ACA, 95(1)31--52
-
Topological, 41(3)259--294, 49(1)123--145, 60(1)291--305, 64(1)1--16,
83(1)197--217
-
Topologies, 84(1)135--149
-
Torjusen, Arild B., 82(4)341--359
-
Torjusen, Arild B., see Johnsen, Einar Broch
-
Total, 64(1)79--91
-
Totzke, Patrick, 93(1)221--233, 93(1)235--244
-
Totzke, Patrick, see Kudlek, Manfred
-
Toumani, Farouk, 47(1)53--73
-
Toumani, Farouk, see Hacid, Mohand-Saïd
-
Tourlakis, George, 48(1)83--91
-
Tourlakis:2001:CTO, 48(1)83--91
-
Toward, 42(3)251--278, 50(3)305--314, 51(1)157--173, 54(2)263--277,
54(2)279--294, 57(2)147--165, 63(2)107--124, 64(1)185--189,
68(1)175--206, 70(1)75--110, 71(1)49--61, 75(1)295--314,
78(2)217--238, 78(4)525--542, 79(3)553--566, 80(1)311--332,
85(1)533--548, 86(4)371--409, 90(4)443--459, 92(3)279--299,
92(4)373--396, 97(3)331--346
-
Trace, 67(1)175--185, 72(1)311--321, 72(1)323--331, 80(1)1--29,
80(1)169--197, 80(1)259--272, 85(1)399--408
-
Trace-Expressible, 85(1)281--295
-
Tracing, 65(3)193--209, 66(3)259--275
-
Tracking, 95(4)449--463
-
Trade-off, 92(4)363--372
-
Training, 54(1)89--105
-
Trajectory, 61(3)267--283, 64(1)341--351, 73(1)81--97, 73(1)z--z,
87(3)269--285
-
Trajectory-Based, 59(4)349--363
-
Trakhtenbrot, B. A., 62(1)69--121, 62(1)123--137
-
Trakhtenbrot, B. A., see Pardo, D.
-
Trakhtenbrot, Boris A., 62(1)z--z
-
Trakhtenbrot:2004:P, 62(1)z--z
-
Trakhtenbrot:2004:UBA, 62(1)69--121
-
transaction, 78(4)575--594, 85(1)189--203, 93(1)171--184
-
Transducer, 45(3)157--172, 89(2)207--257
-
Transductions, 80(1)111--123
-
Transfer, 80(1)49--74
-
transform, 41(1)91--129, 41(1)187--228, 88(1)177--192, 94(2)261--273,
97(4)369--379
-
transformation, 46(1)31--54, 47(3)271--282, 58(1)1--22, 58(1)39--65,
66(4)315--352, 66(4)415--439, 66(4)z--z, 69(1)63--102,
69(1)103--121, 69(1)123--178, 69(1)179--218, 69(1)z--z,
72(4)485--527, 74(1)1--29, 74(1)31--61, 74(1)63--84
-
transformation, KDS-, 67(4)371--375
-
Transformation-based, 89(1)111--129
-
Transforming, 49(1)249--259, 64(1)53--63, 72(1)123--137
-
Transition, 44(3)209--244, 47(3)217--229, 49(1)261--271, 50(2)175--203,
51(1)43--58, 62(2)197--220, 70(1)75--110, 78(1)161--197,
80(1)75--90, 86(3)227--253, 88(3)225--249, 92(1)1--25, 93(1)33--43,
93(1)97--110, 93(1)127--142
-
Transition-Nets, 85(1)465--479
-
Transitive, 89(2)313--329
-
Translation, 64(1)93--107, 79(3)431--445, 85(1)235--248, 85(1)409--424,
85(1)513--531
-
Translator, 93(1)305--324
-
Transport, 49(1)1--15, 71(1)27--36, 93(1)17--31
-
Transversal, 80(4)415--433
-
Traversal, 70(3)185--202
-
Tr{\v{c}}ka, Nikola, 93(4)371--392, see Glabbeek, Rob van
-
Treatment, 85(1)155--172
-
tree, 41(1)57--90, 41(3)295--299, 41(3)301--311, 41(4)449--461,
45(1)53--77, 45(3)157--172, 47(1)1--13, 49(4)349--367, 50(1)57--76,
50(3)265--284, 52(4)361--375, 54(4)345--368, 55(1)1--21,
55(3)349--362, 56(1)105--120, 58(3)241--260, 59(1)67--90,
59(2)299--313, 61(2)87--96, 61(3)247--265, 66(1)33--52,
66(1)131--160, 66(1)z--z, 71(2)259--277, 74(4)579--601,
75(1)505--536, 81(4)409--439, 81(4)485--490, 82(1)47--60,
82(1)61--78, 82(1)79--103, 84(3)305--327, 86(1)175--189,
86(4)459--480, 88(1)135--160, 89(1)1--22, 89(2)207--257,
92(1)103--130, 92(3)193--231, 94(2)261--273, 95(2)287--303,
97(3)321--329
-
Tree, Double-, 89(2)331--344
-
Tree-based, 86(1)213--225
-
Tree-Structured, 70(3)251--260
-
Tree-structured, 66(1)103--130
-
triangle, 76(1)25--37
-
Triangle-Free, 58(1)23--37
-
Triangular, 79(3)487--495
-
Trinc{\u{a}}, Dragos, 53(2)185--198,
see {\c{T}}iplea, Ferucio
-
Tripakis, Stavros, 88(4)497--540
-
Tripakis, Stavros, see Cassez, Franck
-
Troina, Angelo, 67(1)13--27, 72(1)21--35
-
Troina, Angelo, see Barbuti, Roberto
-
Trojanowski, Krzysztof, 95(2)349--380
-
Trojanowski:2009:PQP, 95(2)349--380
-
Truly, 44(3)209--244
-
Truncation, 70(4)317--331, 73(3)373--387
-
Trunfio, Giuseppe A., 87(2)247--267
-
Trunfio, Giuseppe A., see Rongo, Rocco
-
Truth, 71(2)139--151
-
Truthe, Bianca, 56(4)389--409, 91(1)1--15
-
Truthe, Bianca, see Alhazov, Artiom
-
Truthe:2003:FPL, 56(4)389--409
-
Tsai, Chwei-Shyong, 58(2)167--178, 58(2)179--188
-
Tsai, Du-Shiau, 91(3)563--579
-
Tsai, Du-Shiau, see Huang, Chang-Chin
-
Tsai, Jeffrey, 90(3)203--228
-
Tsai, Jeffrey, see Wang, Yingxu
-
Tsai, Piyu, 62(3)275--289, 82(1)15--27, 87(3)313--329, 87(3)447--463
-
Tsai, Piyu, see Chang, Chin-Chen,
see Chiang, Yung-Kuei, \see{Hu, Yu-Chen
-
Tsai:2003:DBD, 58(2)179--188
-
Tsai:2003:IIS, 58(2)167--178
-
Tsai:2008:FVC, 87(3)447--463
-
Tsakalidis, Athanasios, 71(2)259--277
-
Tsakalidis, Athanasios, see Iliopoulos, Costas S.
-
Tsao, Kai-Hsiang, 96(1)61--70
-
Tsao, Kai-Hsiang, see Chen, Tzung-Her
-
Tsay, Li-Shiang, 86(1)213--225
-
Tsay, Li-Shiang, see Tzacheva, Angelina A.
-
Tseitlin, Georgy, 60(1)99--111
-
Tseitlin, Georgy, see Doroshenko, Analoliy
-
Tseng, Chun-Sen, 76(4)399--411
-
Tseng, Chun-Sen, see Chang, Chin-Chen
-
Tsiatsoulis, Z., 41(3)341--366
-
Tsiatsoulis:2000:TDM, 41(3)341--366
-
Tsou, Chih-Chiang, 86(1)113--126
-
Tsou, Chih-Chiang, see Hu, Yu-Chen
-
TSPN, 86(4)371--409
-
Tsumoto, Shusaku, 59(2)271--285, 78(4)561--573, 90(3)251--267,
90(3)z--z, 90(4)369--378, 90(4)427--442, 90(4)z--z
-
Tsumoto, Shusaku, see Abe, Hidenao,
see Wang, Yingxu
-
Tsumoto:2004:ESM, 59(2)271--285
-
Tsumoto:2007:VDB, 78(4)561--573
-
Tsumoto:2009:CMT, 90(4)427--442
-
Tsumoto:2009:SID, 90(3)251--267
-
Tsymbal, Alexey, 47(1)91--117, 77(3)243--275
-
Tsymbal, Alexey, see Pechenizkiy, Mykola,
see Puuronen, Seppo
-
Tulipani, Sauro, 45(3)207--213
-
Tulipani, Sauro, see Hájek, Petr
-
Tuning, 63(2)283--307
-
Tupling, 69(1)1--37
-
Tupý, Michal, 76(3)349--365,
see Kelemenová, Alica
-
Turing, 49(1)273--287, 50(3)285--303, 79(3)303--317, 91(1)53--77,
91(1)123--144, 91(1)179--195
-
Turn, One-, 51(4)399--405
-
Tutorial, 77(4)303--330
-
Twenty, 73(1)203--204
-
Two, 44(1)133--144, 76(3)325--336, 83(1)75--89, 91(1)1--15,
91(2)197--230
-
Two-Bounds, 76(1)25--37
-
Two-Dimensional, 74(4)603--623
-
Two-Phase, 94(2)219--232
-
Two-Stage, 82(1)185--212
-
Two-stage, 86(4)411--428
-
Two-Way, 64(1)217--228
-
Two-way, 80(1)111--123
-
type, 42(2)105--127, 45(1)33--51, 48(4)315--341, 62(3)395--407,
65(1)61--86, 67(4)377--419, 68(1)131--174, 68(3)249--288,
71(4)477--491, 73(4)583--598, 79(3)567--577, 83(4)389--410,
84(2)151--183, 87(2)185--205, 88(1)63--107, 91(1)1--15
-
type, knapsack-, 53(3)199--228
-
type, Risk-, 59(1)91--106
-
Type-1, 48(1)83--91
-
Type-2, 48(1)83--91
-
Typed, 65(1)113--134, 65(1)z--z, 74(1)31--61, 77(4)z--z, 84(2)221--240
-
Typeful, 69(1)103--121
-
Types, Propositions-as-, 82(4)311--340
-
Typing, 65(1)87--112, 73(4)583--598, 77(4)293--301
-
Tyszkiewicz, Jerzy, 48(4)389--414
-
Tyszkiewicz:2001:CSQ, 48(4)389--414
-
Tzacheva, Angelina A., 86(1)213--225
-
Tzacheva:2008:TBC, 86(1)213--225
-
Tzeng, Gwo-Hshiung, 94(2)133--146
-
Tzeng, Gwo-Hshiung, see Chan, Chien-Chung
-
Tzitzikas, Yannis, 83(4)355--387
-
Tzitzikas, Yannis, see Meghini, Carlo