Last update: Tue Sep 5 02:16:07 MDT 2023
Return to index directory
T
-
t, 2040(0)57--z
-
T, Par-, 1947(0)350--z
-
T3E, 1900(0)199--z
-
Ta-Shma, Amnon, 1962(0)53--z
-
Ta-Shma, Amnon, see Sander, Tomas
-
table, 1982(0)87--z, 2005(0)123--z, 2027(0)102--z
-
Table, Truth-, 2010(0)51--z
-
Tabling, Time-, 2037(0)452--z
-
Tabu, 1993(0)373--z
-
Tabu-Based, 1993(0)344--z
-
Tabuada, Paulo, 2034(0)501--z
-
Tabuada:2001:HAP, 2034(0)501--z
-
TACAS, 2031(0)574--577
-
Tacca, Marco, 1989(0)299--z
-
Tacca, Marco, see Fumagalli, Andrea
-
Tachi, Nobuhiro, 2019(0)571--z
-
Tachi, Nobuhiro, see Demura, Kosei
-
TACO, 1900(0)1071--z
-
Tactical, 2019(0)357--z
-
Tadokoro, Satoshi, 2019(0)1--29, 2019(0)379--z
-
Tadokoro, Satoshi, see Stone, Peter,
see Takahashi, Tomoichi
-
Tagashira, S., 1987(0)65--z
-
Tagashira, Shigeaki, 1987(0)284--z
-
Tagashira, Shigeaki, see Sato, Kenya
-
Tagashira:2001:DII, 1987(0)65--z
-
Tagged, 2004(0)305--z, 2043(0)100--z
-
Tagging, 2004(0)291--z, 2004(0)363--z
-
Tagless, 2024(0)92--z
-
TAGs, 2014(0)230--z
-
Tai, Stefan, 1999(0)188--z
-
Tai, Stefan, see Liebig, Christoph
-
tail, 2027(0)200--z
-
Tailoring, 2016(0)156--z
-
Takadama, Keiki, 1996(0)192--z
-
Takadama:2001:LCS, 1996(0)192--z
-
Takahashi, Daisuke, 1947(0)316--z
-
Takahashi, Hironao, 2019(0)321--z
-
Takahashi, Hironao, see Kaneda, Toshiyuki
-
Takahashi, Kenichi, 2035(0)47--z
-
Takahashi, Kenichi, see Miyahara, Tetsuhiro
-
Takahashi, Tomoichi, 2019(0)345--z, 2019(0)351--z, 2019(0)379--z,
2019(0)425--z
-
Takahashi, Tomoichi, see Esaki, Tetsuya,
see Nagasaka, Yasunori,
see Ohta, Masayuki
-
Takahashi, Yasutake, 2019(0)385--z, 2019(0)607--z
-
Takahashi:2001:ICV, 2019(0)385--z
-
Takahashi:2001:OUT, 2019(0)607--z
-
Takahashi:2001:PDF, 1947(0)316--z
-
Takahashi:2001:RRD, 2019(0)379--z
-
TakAI, 2019(0)453--z
-
Takano, Shunzo, 2015(0)90--z
-
Takano, Shunzo, see Miyaji, Atsuko
-
Take, 2024(0)343--z
-
Takeda, H., 2019(0)591--z
-
Takeda, H., see Nakamura, T.
-
Takeda, M., 2019(0)591--z
-
Takeda, M., see Nakamura, T.
-
Takeda, Masanori, 2019(0)385--z
-
Takeda, Masanori, see Takahashi, Yasutake
-
Takenaka, Masahiko, 1965(0)25--z
-
Takenaka, Masahiko, see Okada, Souichi
-
Takeuchi, Ikuo, 2019(0)379--z, 2019(0)509--z
-
Takeuchi, Ikuo, see Suzuki, Takashi,
see Takahashi, Tomoichi
-
Takeuchi, Kazunori, 2019(0)321--z
-
Takeuchi, Kazunori, see Kaneda, Toshiyuki
-
Talbi, El-Ghazali, 1993(0)416--z, 2037(0)140--z
-
Talbi, El-Ghazali, see Weinberg, Benjamin
-
Talbi:2001:HEA, 1993(0)416--z
-
Talbot, Jean-Marc, 2030(0)152--z
-
Talbot, Jean-Marc, see Charatonik, Witold
-
Talbot, Sarah A. M., 1900(0)567--z
-
Talbot:2001:APH, 1900(0)567--z
-
Talcott, Carolyn, 2021(0)197--z, 2029(0)333--z
-
Talcott, Carolyn, see Venkatasubramanian, Nalini,
see Ölveczky, Peter Csaba
-
Talia, Domenico, 1981(0)207--z
-
Talia:2001:RPC, 1981(0)207--z
-
Talk, 1981(0)3--z, 1981(0)199--z, 1981(0)273--z, 1981(0)419--z,
1981(0)483--z, 1981(0)551--z
-
Talking, 1871(0)194--z
-
Tambe, Milind, 1887(0)80--z, 1986(0)354--z
-
Tambe, Milind, see Pynadath, David V.
-
Tambe:2001:AAR, 1986(0)354--z
-
Tamo{\v{s}}i{\=u}nait{\.e}, Minija, 1876(0)727--736,
see Raudys, {\v{S}}ar{\=u}nas
-
Tamura, Takahashi, 2019(0)607--z
-
Tamura, Takahashi, see Takahashi, Yasutake
-
Tan, Ah-Hwee, 2035(0)66--z, 2035(0)102--z
-
Tan, Ah-Hwee, see Rajaraman, Kanagasabi
-
Tan, Chew Lim, 2013(0)93--z
-
Tan, Chung-Jen, 2040(0)170--z
-
Tan, Chung-Jen, see Passch, Carsten
-
Tan, K. C., 1993(0)111--z, 1993(0)344--z
-
Tan, K. C., see Khor, E. F.
-
Tan, Li, 2031(0)480--z
-
Tan, Wang-Chiew, 1973(0)316--z
-
Tan, Wang-Chiew, see Buneman, Peter
-
Tan:2001:CEI, 2013(0)93--z
-
Tan:2001:IMO, 1993(0)111--z
-
Tan:2001:PSO, 2035(0)66--z
-
Tan:2001:SR, 2031(0)480--z
-
Tanaka, Hidema, 2015(0)14--z
-
Tanaka, Kiyoshi, 1993(0)501--z
-
Tanaka, Kiyoshi, see Aguirre, Hernán E.
-
Tanaka, Naotaka, 2019(0)513--z
-
Tanaka-Ishii, Kumiko, 2019(0)139--z, 2019(0)303--z
-
Tanaka-Ishii, Kumiko, see Frank, Ian
-
Tanaka:2001:SKF, 2015(0)14--z
-
Tanaka:2001:XXX, 2019(0)513--z
-
Tandems, 2046(0)53--z
-
Taneda, Morio, 1930(0)65--z
-
Taneda, Morio, see Calmet, Jacques
-
Tang, Haitao, 1987(0)246--z
-
Tang, Jian, 2035(0)433--z
-
Tang, Jian, see Cheng, Chun-hung
-
Tang, Zhenyu, 2008(0)13--z
-
Tang:2001:RFU, 2008(0)13--z
-
Tang:2001:SSL, 1987(0)246--z
-
Tanganelli, L., 2013(0)349--z
-
Tanganelli, L., see Bimbo, A. Del
-
Tangential, 2032(0)1--z
-
TANGOW, 2016(0)325--z
-
Tanino, Tetsuzo, 2005(0)261--z
-
Tanino, Tetsuzo, see Inuiguchi, Masahiro
-
Tape-Resident, 1900(0)1292--z
-
Tarakanov, Alexander O., 2052(0)115--z, 2052(0)127--z
-
Tarakanov, Alexander O., see Skormin, Victor A.
-
Tarakanov:2001:ISF, 2052(0)115--z
-
Tarau, Paul, 1990(0)93--z, 1990(0)322--z
-
Tarau, Paul, see Gupta, Anima,
see Tyagi, Satyam
-
Tardieu, Samuel, 2043(0)123--z
-
Tardieu, Samuel, see Pautet, Laurent
-
Target, 1876(0)104--z, 1900(0)950--z
-
Targeted, 2020(0)408--z
-
Tarlecki, Andrzej, 2029(0)253--z
-
Tarlecki, Andrzej, see Schröder, Lutz
-
Tarr, Peri, 1964(0)203--z
-
Tarr:2001:WAD, 1964(0)203--z
-
Tartarelli, Sandra, 1989(0)17--z
-
Tartarelli, Sandra, see Bernardini, Giulia
-
TAS, 1951(0)53--z
-
Task, 1808(0)649--z, 1871(0)235--z, 1876(0)823--z, 1900(0)272--z,
1900(0)311--z, 1946(0)151--z, 1986(0)167--z, 1993(0)373--z,
1996(0)29--z, 1999(0)129--z, 2006(0)55--z, 2017(0)189--z,
2017(0)208--z, 2019(0)339--z, 2026(0)16--z, 2026(0)86--z,
2035(0)444--z, 2037(0)223--z, 2043(0)167--z
-
Task, Planning-, 1986(0)305--z
-
Task-Based, 1958(0)167--z
-
Task-Dialog, 1946(0)227--z
-
Task-Presentation, 1946(0)227--z
-
Tassiulas, Leandros, 2033(0)264--z
-
Tassiulas, Leandros, see Chari, Suresh
-
TATOO, 2031(0)389--403
-
Tavangarian, Djamshid, 1900(0)1115--z
-
Tavangarian, Djamshid, see Buyya, Rajkumar
-
Tavares, João, 1981(0)439--452, see Barbosa, Jorge
-
Tavares, Stafford, 2045(0)420--z
-
Tavares, Stafford, see Keliher, Liam
-
Taxonomy, 1995(0)171--z, 2033(0)264--z
-
Tay, Hs, 1998(0)125--z
-
Tay, Hs, see Ching, Wee-Soon
-
Tayama, Kenji, 2019(0)321--z
-
Tayama, Kenji, see Kaneda, Toshiyuki
-
Taylor, Bill, 2043(0)359--z
-
Taylor, Camillo J., 2018(0)187--z, 2018(0)235--z
-
Taylor, Camillo J., see Pajdla, Tomas
-
Taylor, Doug, 2019(0)327--z
-
Taylor, Doug, see Maire, Frederic
-
Taylor, John G., 2036(0)20--z
-
Taylor:2001:IMB, 2036(0)20--z
-
Taylor:2001:MUA, 2043(0)359--z
-
Taylor:2001:VMC, 2018(0)187--z
-
TCP, 1989(0)141--z, 2034(0)291--z
-
TCPash, 1989(0)273--z
-
TCS, 1994(0)255--z
-
Teaching, 1930(0)32--z
-
team, 1871(0)235--z, 1986(0)150--z, 2019(0)29--z, 2019(0)41--z,
2019(0)64--z, 2019(0)391--z, 2019(0)397--z, 2019(0)401--z,
2019(0)405--z, 2019(0)413--z, 2019(0)417--420, 2019(0)425--z,
2019(0)433--z, 2019(0)437--z, 2019(0)441--z, 2019(0)445--z,
2019(0)449--z, 2019(0)457--z, 2019(0)473--z, 2019(0)481--z,
2019(0)485--z, 2019(0)501--z, 2019(0)509--z, 2019(0)531--z,
2019(0)539--z, 2019(0)543--z, 2019(0)551--z, 2019(0)559--z,
2019(0)567--z, 2019(0)575--z, 2019(0)587--z, 2019(0)603--z,
2019(0)611--z, 2019(0)615--z, 2019(0)619--z, 2019(0)631--z,
2019(0)639--z, 2019(0)643--z
-
Team, CoPS-, 2019(0)599--z
-
Team, PaSo-, 2019(0)429--z
-
TEAMAgent, 1871(0)335--z
-
Teamash, 2019(0)279--z
-
Technical, 2004(0)281--z
-
Technique, 1876(0)236--z, 1876(0)318--z, 1876(0)337--z, 1876(0)832--z,
1876(0)842--z, 1900(0)173--z, 1900(0)252--z, 1900(0)558--z,
1900(0)1263--z, 1930(0)240--z, 1951(0)184--z, 1959(0)176--z,
1964(0)41--z, 1981(0)506--z, 1987(0)199--z, 1989(0)157--z,
1990(0)93--z, 1997(0)215--z, 2001(0)406--z, 2017(0)244--z,
2021(0)465--z, 2022(0)60--z, 2027(0)259--z, 2031(0)113--z,
2031(0)435--z, 2034(0)218--z, 2042(0)38--z, 2047(0)222--z,
2049(0)318--z
-
Technological, 1991(0)1--z
-
Technology, 1900(0)18--z, 1900(0)149--z, 1900(0)1251--z, 1958(0)107--z,
1964(0)191--z, 1972(0)19--z, 1991(0)194--z, 1999(0)8--z,
2000(0)50--z, 2000(0)274--z, 2005(0)8--z, 2032(0)22--z,
2033(0)39--z, 2033(0)332--z, 2034(0)1--z, 2043(0)392--z,
2049(0)267--z, 2052(0)63--z
-
Technology, Group-, 2037(0)90--z
-
Teich, Jürgen, 1993(0)314--z
-
Teich:2001:PFE, 1993(0)314--z
-
Teixeira, Edilberto P., 2005(0)229--z
-
Teixeira, Edilberto P., see Breunig, Adriano
-
Telecommunication, 1965(0)216--z, 2037(0)60--z
-
Telephony, 1989(0)173--z, 1989(0)189--z
-
Telerobotic, 1876(0)832--z
-
Television, 2004(0)505--z, 2043(0)21--z
-
TEM, 2008(0)112--125
-
Temam, Olivier, 1900(0)223--z
-
Temam, Olivier, see Lindenmaier, Götz
-
Temam, Roger, 2034(0)418--z
-
Temam, Roger, see Ekeland, Ivar
-
Template, 1887(0)188--z, 1900(0)1071--z, 2005(0)420--z, 2043(0)191--z
-
Temporal, 1828(0)321--z, 1900(0)262--z, 1944(0)170--z, 1946(0)1--z,
1946(0)151--z, 1959(0)30--z, 2001(0)445--z, 2005(0)420--z,
2007(0)1--z, 2007(0)5--z, 2007(0)46--z, 2007(0)147--z,
2031(0)528--z, 2035(0)198--z, 2035(0)324--z, 2036(0)237--z,
2036(0)285--z, 2052(0)143--z, 2052(0)178--z
-
Temporal, Spatio-, 2049(0)318--z
-
temporal, Spatio-, 1990(0)259--z, 2004(0)53--z, 2007(0)1--z,
2007(0)89--z, 2007(0)147--z
-
Temporary, 1900(0)357--z, 2017(0)127--z, 2030(0)121--z
-
Ten, 2000(0)102--z
-
Ten-Year, 2000(0)157--z
-
Tenca, Alexandre F., 1965(0)277--z
-
Tenca, Alexandre F., see Savas, Erkay
-
Tenmoto, Hiroshi, 1876(0)511--z
-
Tenmoto:2001:SNC, 1876(0)511--z
-
Tennessee, 1900(0)43--z
-
tensor, 1998(0)237--z
-
TENT, 1981(0)38--z
-
Terada, T., 2019(0)591--z
-
Terada, T., see Nakamura, T.
-
Terán, Oswaldo, 1986(0)122--z
-
Teran:2001:DEE, 1986(0)122--z
-
Terano, Takao, 1996(0)192--z
-
Terano, Takao, see Takadama, Keiki
-
Teredesai, Ankur, 2038(0)371--z
-
Teredesai:2001:AHC, 2038(0)371--z
-
Terlutte, Alain, 2010(0)144--z
-
Terlutte, Alain, see Denis, François
-
Term, 2002(0)47--z, 2004(0)281--z, 2004(0)336--z, 2019(0)345--z,
2044(0)76--z, 2044(0)315--z, 2051(0)15--z, 2051(0)216--z,
2051(0)246--z, 2051(0)338--z
-
Term, Long-, 1992(0)402--z, 2036(0)348--z
-
Term-Orderings, 2042(0)69--z
-
Termier, Alexandre, 2038(0)280--z
-
Termier, Alexandre, see Eggermont, Jeroen
-
Terminal, 1965(0)216--z, 1987(0)252--z, 2044(0)8--z
-
Termination, 2028(0)402--z, 2042(0)69--z, 2051(0)108--z, 2051(0)261--z,
2051(0)338--z
-
Terminology, 1959(0)115--z, 2009(0)1--z
-
Terón, Antonio, Becerra-, 2024(0)153--z
-
Terrain, 1998(0)201--z
-
Terrasa, Silvia, 2043(0)167--z
-
Terrasa, Silvia, see Crespo, Alfons
-
Terrier, François, 1964(0)150--z
-
Terrier:2001:SIV, 1964(0)150--z
-
Terrillon, Jean-Christophe, 2013(0)83--z
-
Terrillon:2001:IFD, 2013(0)83--z
-
Tesauro, Gerald, 1828(0)288--z
-
Tesauro:2001:PAE, 1828(0)288--z
-
test, 1993(0)284--z, 1998(0)270--z, 2021(0)449--z, 2021(0)465--z,
2029(0)233--z, 2031(0)343--z, 2037(0)298--z, 2041(0)121--z,
2043(0)253--z
-
Test-Bed, 1989(0)189--z, 2019(0)321--z
-
Test-Case, 2021(0)571--z
-
Testbed, 1887(0)41--z, 2001(0)131--z
-
Testing, 1991(0)34--z, 1992(0)73--z, 1999(0)145--z, 2016(0)245--z,
2016(0)311--z, 2017(0)289--z, 2021(0)611--z, 2029(0)201--z,
2029(0)249--z, 2031(0)358--z, 2031(0)373--z, 2031(0)389--403,
2043(0)35--z, 2047(0)283--z
-
Tettamanzi, Andrea, 2038(0)361--z
-
Tettamanzi, Andrea, see Santini, Massimo
-
Tettamanzi, Andrea G. B., 2037(0)452--z, 2038(0)36--z
-
Tettamanzi, Andrea G. B., see Erba, Massimiliano,
see Stefano, Calogero Di
-
Tewari, Gaurav, 2033(0)7--z
-
Tewari:2001:GPS, 2033(0)7--z
-
Tews, Ashley, 2019(0)555--z
-
Tews, Ashley, see Wyeth, Gordon
-
Text, 1876(0)143--z, 1876(0)757--z, 1959(0)364--z, 1997(0)245--z,
2004(0)206--z, 2004(0)226--z, 2004(0)336--z, 2004(0)375--z,
2004(0)423--z, 2004(0)437--z, 2004(0)505--z, 2004(0)509--z,
2013(0)115--z, 2013(0)137--z, 2035(0)53--z, 2035(0)66--z,
2035(0)108--z, 2049(0)1--z
-
Text, Full-, 2004(0)454--z
-
Text, Meaning-, 2004(0)1--z, 2004(0)18--31
-
Textual, 1959(0)115--z, 1959(0)176--z, 2004(0)93--z, 2035(0)78--z
-
Texture, 1876(0)114--z, 1876(0)377--z, 1876(0)747--z, 1876(0)787--z,
1998(0)245--z, 2013(0)166--z, 2013(0)397--z, 2013(0)417--z,
2018(0)124--z, 2018(0)170--z
-
Texture, Shape-from-, 1876(0)327--z
-
Texture-Adaptive, 2013(0)387--z
-
Textured, 2013(0)407--z
-
Thakur, Rajeev, 1900(0)1251--z
-
Thakur:2001:TPS, 1900(0)1251--z
-
Thalheim, Bernhard, 1959(0)313--z
-
Thalheim, Bernhard, see Schewe, Klaus-Dieter
-
than, 2045(0)195--z
-
Thanks, 1876(0)472--z, 2021(0)242--z
-
Thapper, Johan, 2019(0)413--z
-
Thapper, Johan, see Dahlström, Anneli
-
Thate, O., 2019(0)367--z
-
Thate, O., see Riedmiller, M.
-
Thate, Ortwin, 2019(0)485--z
-
Thate, Ortwin, see Riedmiller, Martin
-
the-Fly, On-, 1900(0)178--z
-
Theiss, Ingebj{\o}rg, 1900(0)890--z
-
Theiss:2001:DAW, 1900(0)890--z
-
Theme-Based, 1997(0)26--z
-
Themes, 1887(0)304--z
-
Theobald, Anja, 1997(0)105--z
-
Theobald, Kevin B., 1900(0)625--z
-
Theobald:2001:ARX, 1997(0)105--z
-
Theobald:2001:DCI, 1900(0)625--z
-
Theodoridis, Sergios, 2049(0)169--z
-
Theodoridis:2001:PRN, 2049(0)169--z
-
theorem, 1930(0)92--z, 1930(0)157--z, 1965(0)109--z, 2002(0)159--z,
2005(0)73--z, 2010(0)443--z, 2038(0)126--z
-
Theoretic, 1981(0)154--z, 2003(0)15--z, 2010(0)443--z, 2021(0)396--418
-
Theoretical, 1871(0)235--z, 1876(0)696--z, 1900(0)668--z, 1989(0)189--z,
1989(0)255--271, 2024(0)170--z
-
Theory, 1871(0)33--z, 1876(0)173--z, 1876(0)581--z, 1900(0)455--z,
1973(0)83--z, 1986(0)150--z, 1986(0)346--z, 1986(0)351--z,
2004(0)18--31, 2005(0)46--z, 2005(0)82--z, 2005(0)131--z,
2005(0)220--z, 2005(0)346--z, 2005(0)391--z, 2005(0)611--z,
2010(0)170--z, 2030(0)57--z, 2030(0)104--z, 2030(0)332--z,
2030(0)364--z, 2038(0)108--z, 2038(0)143--z, 2044(0)2--z,
2044(0)136--z, 2044(0)166--z, 2044(0)253--z, 2049(0)249--z,
2050(0)159--z
-
There, 2031(0)420--z
-
Thérien, Denis, 2010(0)87--z, 2010(0)283--z, 2010(0)551--z,
see Beaudry, Martin,
see Gavaldà, Ricard,
see Straubing, Howard
-
Thermal, 2008(0)112--125
-
Thiel, Maximilian, 2019(0)52--z
-
Thiel, Maximilian, see Weigel, Thilo
-
Thiele, Helmut, 2005(0)277--z
-
Thiele, Lothar, 1993(0)181--z
-
Thiele, Lothar, see Laumanns, Marco
-
Thiele:2001:ACF, 2005(0)277--z
-
Thiemann, Peter, 2028(0)62--z
-
Thiemann:2001:ESP, 2028(0)62--z
-
thing, 2019(0)52--z
-
Thinking, 2000(0)112--z
-
Thiran, Patrick, 2050(0)xiii--ix, 2050(0)3--z, 2050(0)83--z,
2050(0)125--z, 2050(0)159--z, 2050(0)185--z, 2050(0)207--z,
2050(0)227--z, 2050(0)243--z, 2050(0)251--z
-
Thiran, Patrick, see Boudec, Jean-Yves Le
-
Third, 2019(0)489--z
-
Thirty, 1981(0)419--z
-
Tholey, Torsten, 2010(0)317--z
-
Tholey, Torsten, see Hagerup, Torben
-
Thomas, Wolfgang, 2000(0)257--z
-
Thomas:2001:LCS, 2000(0)257--z
-
Thomo, Alex, 1973(0)301--z, 1997(0)215--z
-
Thomo, Alex, see Grahne, Gösta
-
Thompson, Mark, 1993(0)546--z
-
Thompson, Susan, 2020(0)192--z
-
Thompson, Susan, see Walter, Colin D.
-
Thompson:2001:AMO, 1993(0)546--z
-
THORNs, 2001(0)375--z
-
Thousands, 2018(0)170--z
-
Thread, 1808(0)525--z, 2017(0)324--z
-
threaded, Multi-, 1900(0)133--z
-
Three, 2004(0)192--z, 2004(0)305--z, 2011(0)176--z
-
Three-Dimensional, 1998(0)193--z
-
Three-Move, 2045(0)136--z
-
Three-Valued, 2028(0)155--z
-
Threshold, 1876(0)737--z, 1876(0)863--z, 1992(0)300--z, 2020(0)441--z,
2036(0)174--z, 2040(0)57--z, 2045(0)152--z, 2045(0)280--z
-
threshold, Multi-, 2012(0)130--z
-
through, 1808(0)525--z, 1828(0)241--z, 1871(0)235--z, 1871(0)263--z,
1876(0)211--z, 1887(0)226--z, 1959(0)276--z, 1959(0)365--z,
1959(0)367--z, 1981(0)89--z, 1985(0)204--z, 1986(0)104--z,
1987(0)284--z, 1993(0)653--z, 1997(0)245--z, 2004(0)437--z,
2011(0)231--z, 2021(0)571--z, 2030(0)261--z, 2034(0)232--z,
2034(0)459--z, 2035(0)108--z, 2036(0)188--z, 2037(0)100--z
-
Throughput, 2047(0)257--z
-
Thulasiram, Ruppa K., 1900(0)625--z
-
Thulasiram, Ruppa K., see Theobald, Kevin B.
-
Thuné, Michael, 1947(0)160--z, 1947(0)177--z,
see Steensland, Johan
-
Thune:2001:OPV, 1947(0)177--z
-
TI, 1992(0)365--z
-
Tian, Fengzhan, 2035(0)568--z
-
Tian, Lihan, 2005(0)619--z
-
Tian:2001:LBN, 2035(0)568--z
-
Tian:2001:NCO, 2005(0)619--z
-
Tianfield, Huaglory, 2033(0)295--z
-
Tianfield:2001:EFM, 2033(0)295--z
-
Tice, Caroline, 2027(0)102--z
-
Tice:2001:PRM, 2027(0)102--z
-
Tiede, Hans-Joerg, 2014(0)251--z
-
Tiede:2001:LCP, 2014(0)251--z
-
Tiled, 1900(0)998--z
-
Tiling, 1808(0)285--z, 1985(0)211--z, 2017(0)142--z
-
Timakin, Dmitry L., 2037(0)374--z
-
Timakin, Dmitry L., see Spirov, Alexander V.
-
time, 1808(0)649--z, 1828(0)35--z, 1828(0)105--z, 1871(0)339--z,
1876(0)650--z, 1946(0)51--z, 1978(0)1--z, 1982(0)87--z,
1985(0)178--z, 1986(0)31--z, 2001(0)493--z, 2005(0)420--z,
2007(0)20--z, 2007(0)46--z, 2010(0)365--z, 2011(0)122--z,
2013(0)212--z, 2019(0)239--z, 2027(0)182--z, 2028(0)252--z,
2031(0)1--z, 2031(0)220--z, 2035(0)358--z, 2036(0)285--z,
2038(0)361--z, 2050(0)243--z
-
Time, Compile-, 1900(0)331--z
-
Time, Constant-, 2027(0)304--z
-
Time, Discrete-, 1900(0)824--z, 2005(0)243--z, 2034(0)189--z
-
time, Just-In-, 2017(0)68--81
-
Time, Polynomial-, 2010(0)51--z, 2012(0)169--z, 2028(0)23--z
-
Time, Real-, 1887(0)128--z, 1900(0)451--z, 1936(0)143--z,
1951(0)19--z, 1985(0)33--z, 1985(0)96--z, 1985(0)134--z,
1987(0)287--z, 1989(0)273--z, 1989(0)391--z, 1998(0)19--z,
1998(0)69--z, 1998(0)131--z, 2019(0)219--z, 2021(0)278--z,
2021(0)300--z, 2026(0)86--z, 2029(0)76--z, 2029(0)333--z,
2037(0)288--z, 2043(0)68--z, 2043(0)305--z, 2043(0)317--z,
2047(0)300--z
-
Time, Run-, 1981(0)114--z, 2017(0)324--z, 2017(0)363--z,
2029(0)217--z, 2043(0)160--z, 2043(0)229--z
-
Time-Critical, 2036(0)255--z
-
Time-Delay, 2036(0)522--z, 2037(0)243--z
-
Time-Length, 2013(0)127--z
-
Time-Series, 2035(0)336--z
-
Time-Tabling, 2037(0)452--z
-
Timed, 1990(0)245--z, 2005(0)652--z, 2010(0)132--z, 2021(0)318--z,
2031(0)189--z, 2031(0)343--z, 2034(0)49--z, 2034(0)147--z,
2034(0)501--z
-
Timely, 1871(0)278--z
-
Timer, Spatial-, 2019(0)501--z
-
Timestamping, 1900(0)609--z
-
Timestamps, 2021(0)119--z
-
Timetabling, 1982(0)230--z, 2016(0)236--z, 2037(0)130--z, 2037(0)431--z
-
Timing, 1965(0)109--z, 2031(0)465--z
-
Tini, Simone, 2030(0)394--z
-
Tini:2001:ASS, 2030(0)394--z
-
Tiountchik, Alex, 2020(0)235--z
-
Tiountchik, Alex, see Trichina, Elena
-
Tiountchik, Alexander, 2020(0)223--z
-
Tiountchik:2001:MEF, 2020(0)223--z
-
Tirado, Francisco, 1900(0)199--z, 1981(0)181--z
-
Tirado, Francisco, see Huedo, Eduardo,
see Pino, Silvia Del
-
Tisato, Francesco, 1999(0)102--z
-
Tisato:2001:ARR, 1999(0)102--z
-
Title, 2004(0)208--z
-
Tiun, Sabrina, 2004(0)444--z
-
Tiun:2001:ATI, 2004(0)444--z
-
Tiwari, A., 2031(0)113--z
-
Tiwari:2001:TIG, 2031(0)113--z
-
to, Points-, 2027(0)20--z
-
To, Van Thuong, 2015(0)206--z
-
To, Van Thuong, see Banks, William D.
-
to-Character, Character-, 2004(0)251--z
-
to-Criteria, Design-, 1887(0)128--z
-
to-End, End-, 1989(0)391--z
-
to-Java, Prolog-, 1990(0)322--z
-
Today, 1947(0)18--z
-
Todirascu, Amalia, 1959(0)239--z
-
Todirascu:2001:USE, 1959(0)239--z
-
Toeplitz, 1981(0)316--z, 1981(0)355--z
-
Tokar, Joyce L., 2043(0)160--z
-
Tokar:2001:NDA, 2043(0)160--z
-
Token, 2044(0)283--z
-
Token-Based, 1900(0)1185--z
-
Tokita, Toshio, 2012(0)39--z
-
Tokita, Toshio, see Aoki, Kazumaro
-
Tolerance, 1985(0)114--z, 2005(0)182--z, 2005(0)212--z, 2022(0)1--z
-
Tolerant, Fault-, 1871(0)180--z, 1900(0)935--z, 2019(0)259--z
-
Tolerating, 1808(0)525--z, 1900(0)558--z
-
Tolksdorf, Robert, 1972(0)78--z
-
Tolksdorf:2001:MC, 1972(0)78--z
-
Toman, David, 1973(0)54--z
-
Toman, David, see Khizder, Vitaliy L.
-
Tomasi, Alessandro, 2031(0)128--z
-
Tomasi, Alessandro, see Sebastiani, Roberto
-
Tomassini, Marco, 2038(0)51--z
-
Tomassini, Marco, see Fernández, Francisco
-
Tomlin, Claire J., 2034(0)232--z, 2034(0)459--z
-
Tomlin, Claire J., see Ghosh, Ronojoy,
see Oishi, Meeko
-
Tomorrow, 1947(0)18--z
-
Ton, Lee-Ren, 1900(0)994--z
-
Ton:2001:EJB, 1900(0)994--z
-
Tonella, Paolo, 2031(0)373--z
-
Tonella, Paolo, see Ricca, Filippo
-
Tonin, Isabel, 1930(0)78--z
-
Tonin, Isabel, see Bittencourt, Guilherme
-
Too, 2020(0)408--z
-
Tool, 1887(0)12--z, 1900(0)45--z, 1900(0)65--z, 1900(0)70--z,
1900(0)189--z, 1900(0)511--z, 1900(0)1029--z, 1930(0)20--z,
1930(0)219--z, 1946(0)79--z, 1946(0)135--z, 1951(0)65--z,
1959(0)265--z, 1959(0)367--z, 1964(0)65--z, 1981(0)142--z,
1981(0)154--z, 1986(0)331--z, 1990(0)153--z, 2000(0)112--z,
2001(0)305--z, 2005(0)106--z, 2006(0)44--z, 2007(0)105--z,
2013(0)212--z, 2016(0)188--z, 2017(0)274--z, 2027(0)355--z,
2028(0)383--z, 2031(0)373--z, 2031(0)389--403, 2031(0)574--577,
2031(0)578--z, 2031(0)582--z, 2038(0)64--z, 2041(0)25--z,
2052(0)90--z
-
Tool-Assistance, 1995(0)120--z
-
Tool-Set, 2040(0)98--z
-
ToolBlocks, 1900(0)70--z
-
Toolbox, 2035(0)124--z
-
Toolkit, 1808(0)73--z, 1900(0)86--z, 1946(0)121--z, 1987(0)65--z,
1994(0)247--z, 2010(0)353--z
-
Toolset, 1900(0)851--z, 2043(0)229--z
-
Top, 1900(0)1253--z
-
TOP500, 1900(0)43--z
-
Topic, 1900(0)45--z, 1900(0)105--z, 1900(0)217--z, 1900(0)329--z,
1900(0)425--z, 1900(0)455--z, 1900(0)479--z, 1900(0)537--z,
1900(0)573--z, 1900(0)617--z, 1900(0)771--z, 1900(0)849--z,
1900(0)875--z, 1900(0)939--z, 1900(0)1029--z, 1900(0)1085--z,
1900(0)1115--z, 1900(0)1211--z, 1900(0)1251--z, 1900(0)1313--z,
2004(0)444--z, 2004(0)507--z, 2004(0)524--z, 2005(0)412--z,
2035(0)102--z
-
Topology, 1900(0)277--z, 1900(0)595--z, 1900(0)1071--z, 1993(0)400--z,
2010(0)218--z, 2013(0)105--114, 2038(0)51--z
-
Topology-Based, 2026(0)109--z
-
Topor, Rodney, 2035(0)364--z
-
Topor, Rodney, see Li, Jiuyong
-
Topos, 2021(0)396--418
-
Toraldo, Gerardo, 1900(0)839--z
-
Toraldo, Gerardo, see D'Apuzzo, Marco
-
Torasso, Pietro, 1991(0)194--z
-
Torasso, Pietro, see Ardissono, Liliana
-
Torelli, Guido, 2037(0)100--z
-
Torelli, Guido, see Gregori, Stefano
-
Tori, 1900(0)591--z, 1900(0)927--z
-
Torii, Naoya, 1965(0)25--z
-
Torii, Naoya, see Okada, Souichi
-
Torney, Susan E., 1871(0)337--z
-
Torney:2001:OAJ, 1871(0)337--z
-
Torralba, Pablo Sanchez, 1959(0)368--z
-
Torralba:2001:MWS, 1959(0)368--z
-
Torre, Salvatore La, 2034(0)49--z
-
Torre, Salvatore La, see Alur, Rajeev
-
Torrellas, Josep, 2017(0)82--z
-
Torrellas, Josep, see Rauchwerger, Lawrence
-
Torrens, Marc, 1991(0)214--z
-
Torrens:2001:CSM, 1991(0)214--z
-
Tortorella, Francesco, 1876(0)611--z
-
Tortorella:2001:ORR, 1876(0)611--z
-
Tortorici, Maurizio, 1989(0)407--z
-
Tortorici, Maurizio, see Boggia, Gennaro
-
Toselli, A. H., 1876(0)143--z
-
Toselli, A. H., see González, J.
-
Total, 2044(0)4--z
-
Touati, Sid Ahmed Ali, 2027(0)213--z
-
Touati:2001:RSS, 2027(0)213--z
-
Tour, Thierry, Boy de la, 1930(0)240--z
-
tournament, 2003(0)155--z
-
Toward, 1959(0)176--z, 1998(0)60--z, 2005(0)8--z, 2005(0)46--z
-
towards, 1871(0)16--z, 1887(0)279--z, 1887(0)293--z, 1900(0)277--z,
1900(0)1253--z, 1930(0)32--z, 1936(0)50--z, 1944(0)47--z,
1944(0)61--z, 1944(0)185--z, 1962(0)33--z, 1973(0)346--z,
1985(0)211--z, 1987(0)3--z, 1987(0)210--z, 1991(0)148--z,
1995(0)247--z, 1999(0)61--z, 2005(0)611--z, 2009(0)96--z,
2012(0)275--z, 2013(0)1--z, 2019(0)159--z, 2019(0)199--z,
2021(0)396--418, 2022(0)271--z, 2027(0)182--z, 2029(0)171--z,
2029(0)187--z, 2031(0)174--z, 2032(0)142--z, 2033(0)283--z,
2035(0)406--z, 2036(0)1--z, 2036(0)188--z, 2036(0)368--z,
2036(0)480--z
-
tower, 1995(0)88--z
-
Toyama, Jun, 1876(0)668--z
-
Toyama, Jun, see Abe, Naoto
-
TPO++, 1900(0)1081--z
-
TPOTs, 2019(0)539--z
-
Trace, 1900(0)123--z, 1947(0)170--z, 1962(0)1--z, 2005(0)632--z,
2015(0)90--z, 2030(0)332--z, 2042(0)165--z
-
Traceability, 1959(0)115--z, 1992(0)225--z
-
Traceable, 2040(0)57--z
-
Tracing, 1992(0)207--z, 2011(0)176--z, 2020(0)392--z, 2037(0)40--z
-
Track, 1981(0)467--z
-
Trackies, 2019(0)607--z
-
Tracking, 1876(0)308--z, 1936(0)161--z, 1990(0)304--z, 1998(0)9--z,
1998(0)19--z, 1998(0)148--z, 2013(0)311--z, 2019(0)239--z,
2034(0)133--z, 2035(0)102--z
-
Traction, 2034(0)162--z
-
Trade-Off, 2005(0)577--z
-
Trade-Offs, 1965(0)318--z, 2047(0)56--z
-
Tradeoff, 1900(0)918--z, 2008(0)126--z
-
Trading, 1900(0)451--z, 1959(0)370--z, 1991(0)148--z, 2003(0)108--z,
2033(0)82--z, 2037(0)343--z, 2039(0)115--z
-
Trading, E-, 1959(0)215--z
-
Traffic, 1989(0)97--z, 1989(0)157--z, 1989(0)315--z, 1989(0)331--z,
1989(0)381--z, 2009(0)10--z
-
train, 1993(0)612--z, 2013(0)40--z
-
Trained, 2035(0)587--z
-
Training, 1876(0)32--44, 1876(0)621--z, 1876(0)650--z, 1900(0)506--510,
1947(0)306--z, 2004(0)208--z
-
Traitor, 1992(0)207--z, 2020(0)392--z
-
Trajectories, 2036(0)442--z
-
Tran, Frédéric Dang, 1900(0)1061--z
-
Tran, Thanh Khiet, 2006(0)233--z
-
Tran, Thanh Khiet, see Dion, Francis
-
Tran:2001:OOS, 1900(0)1061--z
-
Transacted, 2021(0)478--z
-
transaction, 1973(0)83--z, 1985(0)146--z, 1987(0)105--z, 1987(0)277--z,
1987(0)287--z, 1999(0)188--z, 1999(0)194--z, 1999(0)215--z,
2033(0)221--z, 2040(0)1--z, 2043(0)290--z
-
Transactional, 1887(0)266--z, 2022(0)165--z
-
Transducers, 1876(0)417--z
-
Transfer, 2045(0)119--z, 2052(0)219--z
-
transferable, Non-, 2045(0)93--z
-
Transfinite, 2051(0)216--z
-
Transform, 1876(0)387--396, 1876(0)472--z, 1876(0)757--z, 1900(0)532--z,
1981(0)467--z, 1998(0)140--z, 2020(0)159--z
-
transformation, 1981(0)142--z, 1985(0)206--z, 1986(0)122--z,
1986(0)305--z, 2008(0)40--z, 2012(0)217--z, 2027(0)52--z,
2027(0)69--z, 2029(0)109--z, 2030(0)230--z, 2038(0)176--z,
2042(0)57--z, 2051(0)357--z
-
transformational, Non-, 2042(0)69--z
-
Transient, 1936(0)90--z
-
Transition, 2001(0)196--z, 2001(0)473--z, 2028(0)155--z
-
Transitive, 1900(0)1284--z, 1973(0)234--247, 2051(0)291--z
-
Translating, 1995(0)107--z
-
Translation, 2004(0)195--z, 2004(0)197--z, 2021(0)419--z, 2024(0)78--z
-
transmission, 1995(0)73--z, 2036(0)212--z, 2036(0)461--z
-
Transparent, 1993(0)653--z, 2052(0)263--z
-
Transport, 1900(0)869--z, 1947(0)170--z, 1989(0)129--z
-
Transportation, 2037(0)70--z
-
Travelling, 2037(0)203--z
-
Traversal, 2010(0)271--z, 2051(0)169--z
-
TRBAC, 2052(0)178--z
-
Treatment, 2004(0)80--z
-
Trecate, Giancarlo, Ferrari-, 2034(0)218--z
-
tree, 1876(0)133--z, 1876(0)183--z, 1876(0)203--z, 1876(0)482--z,
1900(0)288--z, 1900(0)600--z, 1900(0)931--z, 1973(0)83--z,
1982(0)195--z, 1982(0)207--z, 1989(0)285--z, 2004(0)157--z,
2004(0)423--z, 2005(0)139--z, 2005(0)354--z, 2013(0)147--z,
2013(0)212--z, 2014(0)251--z, 2025(0)46--z, 2030(0)214--z,
2035(0)47--z, 2035(0)312--323, 2035(0)467--z, 2035(0)477--z,
2035(0)538--z, 2035(0)575--z, 2037(0)11--z, 2044(0)253--z,
2051(0)201--z
-
Tree, Decision-, 2013(0)166--z
-
Tree, Linear-, 2038(0)302--z
-
Tree-Decompositions, 1973(0)22--z
-
Trefler, Richard, 2031(0)465--z
-
Trefler, Richard, see Amla, Nina
-
Treinen, Ralf, 2014(0)106--z
-
Treinen, Ralf, see Koller, Alexander
-
Trend, 1876(0)28--z, 1964(0)1--z, 2005(0)1--z, 2035(0)102--z
-
Treugut, Hendrik, 2037(0)317--z
-
Treugut, Hendrik, see Köppen, Mario
-
Treumann, Richard, 1900(0)1253--z
-
Treumann, Richard, see Prost, Jean-Pierre
-
Treur, Jan, 1991(0)163--z
-
Treur, Jan, see Dastani, Mehdi
-
trial, 2006(0)125--z
-
triangle, 2019(0)219--z
-
Triangular, 1947(0)64--z, 2034(0)487--z
-
Triangular, Hessenberg-, 1947(0)92--z
-
Triantafillou, Peter, 1987(0)79--z
-
Triantafillou:2001:HPD, 1987(0)79--z
-
Trichina, Elena, 2020(0)223--z, 2020(0)235--z
-
Trichina, Elena, see Tiountchik, Alexander
-
Trichina:2001:SAM, 2020(0)235--z
-
Tridiagonal, 1981(0)344--z, 1981(0)369--z
-
Trifocal, 1998(0)237--z
-
Triggs, Bill, 2018(0)86--z
-
Triggs:2001:PSC, 2018(0)86--z
-
Trillas, Enric, 1930(0)107--z
-
Trillas, Enric, see Pineda, Angel Fernandez
-
Trimberger, Steve, 1965(0)156--z
-
Trimberger:2001:GED, 1965(0)156--z
-
Trimintzios, Panos, 1995(0)230--z
-
Trimintzios, Panos, see Flegkas, Paris
-
Trinder, P. W., 2011(0)53--z
-
Trinder, P. W., see Pointon, R. F.
-
Trinder, Philip W., 1900(0)739--743
-
Trinder:2001:MAP, 1900(0)739--743
-
Tripakis, Stavros, 2034(0)5--6
-
Tripakis, Stavros, see Sangiovanni-Vincentelli, Alberto
-
Tripathi, Anand, 1964(0)16--z, 2022(0)128--z
-
Tripathi, Anand, see Romanovsky, Alexander
-
Tripathi:2001:EHA, 2022(0)128--z
-
Triple-DES, 1965(0)164--z
-
Tropical, 2030(0)42--z
-
Troya, José M., 1964(0)256--z, 2026(0)16--z,
see Díaz, Manuel,
see Vallecillo, Antonio
-
Troya, José María, 1972(0)128--z,
see Amor, Mercedes
-
Trung, Tran van, 2012(0)89--105
-
Trung, Tran van, see {\v{C}}anda, Val{\'e}r
-
Trupin, Éric, 1876(0)154--z, see Héroux, Pierre
-
Trust, 1936(0)40--z, 2040(0)42--z
-
Trusted, 2020(0)392--z, 2045(0)152--z
-
Truth-Table, 2010(0)51--z
-
Tsai, Yuan-sheng, 1998(0)43--z
-
Tsai, Yuan-sheng, see Austin, Nikki
-
Tsang, C. M., 2033(0)247--z
-
Tsang, C. M., see Lee, T. O.
-
TSDM, 2007(0)1--z
-
Tsekeridou, Sofia, 2032(0)214--z
-
Tsekeridou:2001:SCD, 2032(0)214--z
-
Tseng, Chau-Wen, 2017(0)173--z, 2026(0)95--z
-
Tseng, Chau-Wen, see Han, Hwansoo,
see Naishlos, Dorit
-
Tseng, Fan-Chen, 2035(0)376--z
-
Tseng, Shian-Shyong, 2035(0)41--z, 2035(0)525--z, 2037(0)150--z
-
Tseng, Shian-Shyong, see Chen, Wei-Chou,
see Din, Der-Rong, \see{Lin, Yao-Tsung
-
Tseng:2001:GFP, 2035(0)376--z
-
Tsotras, Vassilis J., 1997(0)184--z
-
Tsotras, Vassilis J., see Chien, Shu-Yao
-
Tsoukiàs, Alexis, 2005(0)212--z,
see Stefanowski, Jerzy
-
TSP, 2037(0)193--z, 2037(0)213--z
-
Tsudik, Gene, 2009(0)96--z
-
Tsudik, Gene, see Syverson, Paul
-
Tsujino, Hiroshi, 1998(0)261--z
-
Tsujino, Hiroshi, see Koshizen, Takamasa
-
Tsukiji, Tatsuie, 2010(0)51--z
-
Tsukiji, Tatsuie, see Aida, Shin
-
Tsumoto, Kouhei, 2035(0)507--z
-
Tsumoto, Kouhei, see Hirano, Shoji
-
Tsumoto, Shusaku, 2005(0)362--z, 2005(0)495--z, 2035(0)507--z
-
Tsumoto, Shusaku, see Hirano, Shoji
-
Tsumoto:2001:ASE, 2005(0)362--z
-
Tsumoto:2001:DRV, 2005(0)495--z
-
Tsvetovat, Maksim, 2003(0)121--z
-
Tsvetovat:2001:CCE, 2003(0)121--z
-
tu, 1990(0)184--z
-
Tu, Peng, 1808(0)247--z
-
Tu:2001:CAA, 1808(0)247--z
-
Tufte, Kristin, 1997(0)58--z
-
Tufte, Kristin, see Shanmugasundaram, Jayavel
-
Tuncer, Murat, 2031(0)52--z
-
Tuncer, Murat, see Yavuz-Kahveci, Tuba
-
Tung, Anthony K. H., 1973(0)405--z
-
Tung:2001:CBC, 1973(0)405--z
-
Tuning, 1947(0)279--z, 1993(0)546--z
-
Tunnel, 2035(0)270--z
-
Tunstall, Michael, 1962(0)192--z, 1965(0)229--z
-
Tunstall, Michael, see M'Raïhi, David,
see Naccache, David
-
Tuovinen, Antti-Pekka, 1951(0)107--z
-
Tuovinen, Antti-Pekka, see Maccari, Alessandro
-
Turbulent, 1981(0)551--z
-
Turina, Andreas, 2013(0)250--z
-
Turina:2001:GMR, 2013(0)250--z
-
Turing, 1986(0)339--z, 2038(0)192--z
-
Turner, Phillip J., 1887(0)246--z
-
Turner:2001:ISM, 1887(0)246--z
-
Turpin, Andrew, 2035(0)136--z
-
Turpin:2001:DPG, 2035(0)136--z
-
Tutorial, 1993(0)21--z
-
Tuytelaars, Tinne, 2013(0)250--z
-
Tuytelaars, Tinne, see Turina, Andreas
-
Tvrdík, Pavel, 1900(0)931--z, see Salinger, Petr
-
Twenty, 1876(0)1--z
-
Two, 1900(0)35--z, 1900(0)288--z, 1946(0)169--z, 1982(0)159--z,
1992(0)153--z, 1992(0)180--z, 1998(0)219--z, 2004(0)43--z,
2008(0)137--z, 2012(0)106--z, 2013(0)1--z, 2016(0)213--z,
2037(0)161--z, 2051(0)3--z
-
Two-Block, 2015(0)1--z
-
Two-Dimensional, 1982(0)171--z, 2010(0)396--z
-
Two-Level, 1900(0)960--z
-
Two-Part, 1951(0)30--z
-
Two-Sided, 2037(0)233--z
-
Two-Stage, 1947(0)92--z
-
Two-Way, 2030(0)88--103
-
Tyagi, Satyam, 1990(0)322--z
-
Tyagi:2001:MSM, 1990(0)322--z
-
Tymen, Christophe, 1992(0)353--z
-
Tymen, Christophe, see Joye, Marc
-
type, 1959(0)42--z, 1973(0)331--z, 1990(0)229--z, 2001(0)461--z,
2014(0)48--z, 2024(0)248--z, 2028(0)62--z, 2028(0)92--z,
2028(0)221--z, 2029(0)217--z, 2030(0)25--z, 2030(0)57--z,
2030(0)104--z, 2030(0)184--z, 2036(0)83--z, 2044(0)2--z,
2044(0)8--z, 2044(0)91--z, 2044(0)121--z, 2044(0)166--z,
2044(0)217--z, 2044(0)240--z, 2044(0)315--z, 2044(0)329--z,
2044(0)376--z, 2046(0)23--z, 2046(0)53--z
-
Type, Büchi-, 2010(0)443--z
-
Type, NICE-Schnorr-, 2020(0)1--z
-
Type, Sylvester-, 1947(0)64--z
-
Type-Based, Simplification-, 2027(0)86--z
-
Type-Free, 2005(0)98--z
-
Type-Logical, 2014(0)31--z
-
Typeash, 1995(0)73--z
-
Typed, 1997(0)226--244, 2024(0)296--z, 2024(0)343--z, 2024(0)359--z,
2051(0)338--z, 2052(0)159--z
-
Typed, Polymorphically-, 2028(0)206--z
-
Typed, Well-, 2024(0)280--z
-
Typestate, 2028(0)335--z
-
Typing, 2044(0)76--z
-
Tzeng, Wen-Guey, 1992(0)207--z, 1992(0)264--z
-
Tzeng, Zhi-Jia, 1992(0)207--z, 1992(0)264--z
-
Tzeng, Zhi-Jia, see Tzeng, Wen-Guey
-
Tzeng:2001:PKT, 1992(0)207--z
-
Tzeng:2001:RFS, 1992(0)264--z