Last update: Tue Sep 5 02:16:07 MDT 2023
Return to index directory
U
-
Ubiquitous, 2000(0)24--z
-
Uchibe, Eiji, 2019(0)607--z
-
Uchibe, Eiji, see Takahashi, Yasutake
-
Uchida, Tomoyuki, 2035(0)47--z
-
Uchida, Tomoyuki, see Miyahara, Tetsuhiro
-
Uchimoto, Kiyotaka, 2004(0)43--z, 2004(0)142--z, 2004(0)305--z
-
Uchimoto, Kiyotaka, see Murata, Masaki
-
Uchitel, Sebastian, 2029(0)60--z
-
Uchitel, Sebastian, see Inverardi, Paola
-
Ueda, Hiroaki, 2035(0)47--z
-
Ueda, Hiroaki, see Miyahara, Tetsuhiro
-
Ueno, Tomoki, 1876(0)347--z
-
Ueno, Tomoki, see Imiya, Atsushi
-
Ugly, 2035(0)2--z
-
Ullaland, K., 1947(0)333--z
-
Ullaland, K., see Adler, C.
-
Ullán, Eva, 2024(0)216--z,
see Hortalá-González, Teresa
-
Ullman, Jeffrey D., 1973(0)99--z
-
Ullman, Jeffrey D., see Li, Chen
-
Ullrich, Harald, 1959(0)91--z
-
Ullrich:2001:OCS, 1959(0)91--z
-
Umemoto, Jun, 1982(0)123--z
-
Umemoto, Jun, see Iwama, Kazuo
-
UML, 1871(0)148--z, 1900(0)168--z, 1944(0)185--z, 1946(0)191--z,
1964(0)113--z, 1972(0)106--z, 1999(0)83--z, 2001(0)276--z,
2021(0)242--z, 2021(0)259--z, 2029(0)17--z, 2029(0)76--z,
2029(0)109--z, 2029(0)171--z, 2043(0)359--z, 2047(0)78--z
-
UML--RT, 2029(0)91--z
-
UML-Based, 2047(0)167--z
-
UML-Inspired, 2029(0)124--z
-
UMLsec, 2029(0)187--z
-
Uncalibrated, 2018(0)144--z, 2032(0)51--z
-
Uncertain, 1993(0)314--z
-
Uncertainty, 1980(0)179--z, 1993(0)52--z, 1993(0)329--z, 2005(0)511--z,
2047(0)202--z
-
Uncheatable, 2020(0)425--z
-
Undecidable, 2010(0)388--z
-
Undeniable, 2015(0)135--z
-
Under-Actuated, 2034(0)77--z
-
undergraduate, 1947(0)306--z, 2019(0)309--z
-
Understanding, 1936(0)199--z, 1959(0)79--z, 1964(0)65--z
-
Unexpected, 1900(0)1143--z
-
Unforgeable, 1978(0)284--z
-
Unification, 2005(0)330--z, 2014(0)199--z, 2027(0)259--z, 2051(0)63--z,
2051(0)169--z, 2051(0)231--z, 2051(0)246--z
-
Unification, -, 2051(0)63--z, 2051(0)231--z
-
Unification-Based, 2004(0)349--z
-
Unified, 1944(0)185--z, 1965(0)277--z, 2013(0)321--z, 2021(0)259--z,
2029(0)140--z
-
Uniform, 1959(0)42--z, 2010(0)230--z, 2051(0)122--z
-
uniform, Non-, 2018(0)94--z
-
Uniqueness, 1973(0)54--z
-
Unit, 2008(0)13--z, 2037(0)100--z
-
United, 1962(0)202--z, 2019(0)563--z
-
Universal, 2010(0)563--z, 2012(0)169--z, 2015(0)73--z, 2040(0)116--z,
2051(0)3--z
-
University, 1900(0)43--z, 2019(0)607--z, 2019(0)639--z
-
Unlabelled, 2013(0)40--z
-
Unmanned, 2005(0)49--z
-
Unobservability, 2009(0)1--z
-
Unobservable, 2009(0)115--z
-
Unrau, Ronald C., 1900(0)389--z
-
Unrau, Ronald C., see Novillo, Diego
-
Unrolling, 2017(0)34--z
-
Unruh, Amy, 1986(0)167--z
-
Unruh, Amy, see Nodine, Marian
-
Unsatisfiable, 2010(0)294--z
-
Unstructured, 1900(0)815--z, 1947(0)187--z, 1997(0)256--z
-
Unsupervised, 2049(0)39--z
-
UNSW, 2019(0)64--z
-
Untrusted, 2040(0)33--z
-
Unweighted, 1982(0)195--z
-
Up, Bottom-, 2024(0)138--z, 2024(0)153--z
-
Upash, 2008(0)13--z
-
Up*ash, 1900(0)882--889
-
Updatability, 2021(0)534--z
-
update, 1987(0)282--z
-
Updated, 2007(0)147--z
-
Updating, 1986(0)15--z
-
Upgrade, 2018(0)52--z, 2049(0)102--z
-
UPMC--CFA, 2019(0)531--z
-
upon, 2052(0)287--z
-
UPPAAL, 1871(0)114--z, 2031(0)174--z
-
Upper, 1989(0)51--z, 2012(0)262--z, 2045(0)420--z
-
UPS, 2010(0)238--z
-
UQ, 2019(0)555--z
-
UQBE, 1944(0)185--z
-
Urban, Christian, 2044(0)415--z
-
Urbán, Miguel A. Sicilia, 1944(0)185--z
-
Urban:2001:SNG, 2044(0)415--z
-
Urban:2001:TUQ, 1944(0)185--z
-
Uribe, Andrés, Pérez-, 2036(0)522--z
-
Urnes, Tore, 1946(0)1--z
-
Urnes, Tore, see Wright, Timothy N.
-
Urquhart, Neil, 2037(0)495--z
-
Urquhart:2001:SBR, 2037(0)495--z
-
Urzyczyn, Pawe{\l}, 2044(0)253--z, see Knapik, Teodor
-
Usability, 1946(0)169--z
-
Usage, 2011(0)140--z
-
Usage-Based, 2033(0)264--z
-
Use, 1900(0)149--z, 1947(0)82--z, 1993(0)256--z, 2001(0)216--z,
2004(0)505--z, 2013(0)230--z, 2017(0)227--z, 2029(0)140--z,
2043(0)266--z, 2044(0)2--z, 2045(0)453--z, 2047(0)119--z
-
Used, 1993(0)429--z
-
User, 1887(0)192--z, 1946(0)79--z, 1946(0)135--z, 1946(0)207--z,
1962(0)42--z, 1980(0)157--z, 1987(0)284--z, 1991(0)163--z,
2016(0)105--z, 2049(0)286--z, 2052(0)143--z
-
User-Centered, 2033(0)323--z
-
User-Defined, 2035(0)387--z
-
User-Extensible, 2027(0)86--z
-
User-Level, 1900(0)1201--z
-
Uthmann, Thomas, 2019(0)108--z
-
Uthmann, Thomas, see Wünstel, Michael
-
Utilising, 1959(0)325--z
-
Utility, 1946(0)19--z, 2003(0)15--z, 2006(0)196--z