Last update: Fri Feb 11 02:06:15 MST 2022
Return to index directory
U
-
Ubar, R., 1150(0)264--z
-
Ubar:1996:MLT, 1150(0)264--z
-
Ubeda, S., 1176(0)217--z
-
Ubeda, S., see Bretto, A.
-
UCFG, 1178(0)239--z
-
Uchikawa, Y., 1141(0)666--z, 1152(0)73--88
-
Uchikawa, Y., see Ishiguro, A.,
see Yoshikawa, T.
-
Udink, R. T., 1169(0)521--z
-
Udink:1996:RMS, 1169(0)521--z
-
Ueberberg, J., 1138(0)240--z
-
Ueberberg:1996:ITP, 1138(0)240--z
-
Uehara, S., 1179(0)182--z
-
Uehara, S., see Kaida, T.
-
Uenalyr, M. O., 1124(0)892--z
-
Uenalyr, M. O., see Dikenelli, O.
-
Uhl, A., 1124(0)151--z, 1127(0)78--z, 1156(0)301--z
-
Uhl, A., see Brunner, D.
-
Uhl:1996:PAU, 1124(0)151--z
-
Uhl:1996:PIC, 1156(0)301--z
-
Ukkonen, E., 1113(0)457--468, 1178(0)95--z
-
Ukkonen, E., see Braezma, A.,
see Ohlebusch, E.
-
Ulidowski, I., 1101(0)210--z
-
Ulidowski:1996:FAS, 1101(0)210--z
-
Ullman, J., 1154(0)225--z
-
Ullman, J., see Siebes, A.
-
Ullmann, M., 1102(0)454--z
-
Ullmann, M., see Koob, F.
-
Ultimate, 1179(0)254--z
-
Ultra-properties, 1139(0)107--z
-
Ultrasound, 1131(0)203--z
-
Ultrasound-Guided, 1131(0)591--z
-
Ulusoy, O., 1124(0)862--z
-
Ulusoy, O., see Devirmis, T.
-
Umano, M., 1114(0)646--z
-
Umano, M., see Matsushita, M.
-
Umeda, Y., 1105(0)123--z
-
Umeda, Y., see Tomiyama, T.
-
Unassembled, 1124(0)34--43
-
Unbalanced, 1124(0)339--z
-
Unbehauen, R., 1112(0)489--z
-
Unbehauen, R., see Luo, F.-L.
-
unbounded, 1160(0)256--z, 1178(0)95--z
-
Uncertain, 1114(0)459--z, 1154(0)83--z
-
Uncertainty, 1114(0)85--z, 1137(0)321--z, 1137(0)349--z, 1154(0)61--z
-
unconditional, 1113(0)348--359
-
Unconditionally, 1109(0)387--z
-
Uncoordinated, 1150(0)353--z
-
Undecidable, 1103(0)276--z
-
undeniable, 1172(0)266--z, 1174(0)257--z
-
Undercut-Free, 1148(0)109--z
-
Underground, 1109(0)329--z
-
underlying, 1172(0)121--z
-
Understand, 1108(0)454--z
-
Understandable, 1157(0)227--z
-
Understanding, 1110(0)1--z, 1137(0)61--z, 1137(0)287--z, 1145(0)98--z,
1151(0)362--z, 1157(0)42--z, 1157(0)261--z, 1159(0)233--z,
1159(0)240--z, 1168(0)164--z, 1181(0)111--z
-
Unfair, 1152(0)55--72
-
Unfoldash, 1140(0)167--z
-
Ungerer, T., 1124(0)797--z
-
Ungerer, T., see Sigmund, U.
-
Ungureanu, M., 1108(0)399--z
-
Ungureanu, S., 1108(0)415--z
-
Ungureanu, S., see Zaharia, S. E.
-
Ungureanu:1996:CMS, 1108(0)399--z
-
Unification, 1103(0)18--z, 1103(0)287--z, 1103(0)332--z, 1103(0)347--z,
1104(0)246--z, 1104(0)261--z, 1104(0)343--z, 1112(0)495--z,
1126(0)50--z, 1130(0)49--z, 1134(0)224--z, 1154(0)435--z,
1158(0)183--z, 1175(0)417--z
-
Unification, -, 1126(0)50--z
-
Unification, E-, 1104(0)32--z, 1139(0)194--z
-
Unified, 1114(0)85--z, 1114(0)459--z, 1123(0)402--z, 1136(0)167--z,
1142(0)356--z, 1150(0)421--z, 1154(0)137--z, 1166(0)202--z,
1175(0)1--z
-
Unifiers, 1126(0)18--z
-
uniform, 1110(0)54--z, 1113(0)542--553, 1117(0)89--z, 1124(0)555--z,
1124(0)843--z, 1126(0)87--z, 1128(0)202--z, 1137(0)307--z,
1139(0)224--z
-
uniform, Non-, 1178(0)366--z
-
Uniformity, 1145(0)301--z
-
Unifying, 1112(0)19--z, 1130(0)81--z, 1135(0)22--z, 1140(0)363--z
-
Uninterpreted, 1166(0)218--z
-
union, 1118(0)436--450, 1147(0)48--z, 1160(0)256--z, 1175(0)351--z,
1178(0)95--z
-
Unit, 1124(0)539--z, 1166(0)19--33
-
United, 1112(0)281--z
-
UNITY, 1169(0)521--z
-
Unity, 1125(0)251--266
-
universal, 1108(0)451--z, 1109(0)16--z, 1109(0)31--z, 1109(0)313--z,
1123(0)25--z, 1142(0)44--z, 1172(0)311--z, 1179(0)254--z,
1181(0)101--z
-
Universal, Anti-, 1141(0)696--z
-
Universally, 1163(0)125--z
-
University, 1153(0)22--z, 1153(0)76--z, 1153(0)112--z, 1153(0)130--z,
1153(0)146--z, 1153(0)181--z, 1153(0)212--z, 1153(0)241--z
-
Unix, 1185(0)232--z
-
UNLESS, 1126(0)320--z
-
unlikely, 1113(0)360--371
-
Uno, T., 1178(0)166--z
-
Uno:1996:AEA, 1178(0)166--z
-
Unraveling, 1131(0)3--z, 1139(0)107--z
-
Unreliable, 1151(0)105--z
-
Unsatisfiability, 1136(0)27--z
-
Unsorted, 1139(0)92--z
-
Unstructured, 1117(0)35--z, 1117(0)105--z, 1156(0)270--z
-
Unsupervised, 1112(0)489--z, 1114(0)336--z, 1131(0)229--z
-
Unsymmetric, 1175(0)217--z
-
Untyped, 1145(0)366--z
-
up, Back-, 1126(0)388--z
-
Up, Bottom-, 1159(0)191--z
-
Up, Speed-, 1127(0)174--z, 1184(0)433--z
-
update, 1114(0)144--z, 1138(0)49--z, 1150(0)365--z, 1154(0)153--z,
1191(0)282--z
-
updated, 1104(0)298--z
-
Updating, 1124(0)706--z, 1126(0)388--z, 1131(0)287--z
-
upon, 1112(0)827--z
-
UPPAAL, 1102(0)244--z
-
Upper, 1118(0)559--560, 1136(0)392--z
-
Ur, S., 1166(0)126--z
-
Ur, S., see Lewin, D. M.
-
Ural, H., 1105(0)225--z
-
Ural:1996:CAD, 1105(0)225--z
-
Urban, 1141(0)636--z
-
Urban, P., 1150(0)403--z
-
Urban, P., see Altmann, J.
-
Urbina, L., 1118(0)451--467, 1118(0)565--567
-
Urbina:1996:AHS, 1118(0)451--467
-
Urbina:1996:GRC, 1118(0)565--567
-
Uribe, A., Perez-, 1112(0)383--z
-
Uribe, T. E., 1102(0)208--z
-
Uribe, T. E., see Sipma, H. B.
-
Urland, E., 1123(0)809--z
-
Urland:1996:PAC, 1123(0)809--z
-
Ururahy, C., 1123(0)597--z
-
Ururahy, C., see Rodriguez, N.
-
use, 1104(0)523--z, 1108(0)39--z, 1108(0)313--z, 1112(0)17--z,
1115(0)160--z, 1118(0)308--322, 1123(0)597--z, 1131(0)553--z,
1133(0)53--z, 1134(0)39--z, 1134(0)584--z, 1141(0)300--z,
1143(0)297--z, 1156(0)355--z, 1157(0)277--z, 1166(0)34--z,
1167(0)198--z, 1184(0)24--z
-
Used, 1121(0)40--z, 1141(0)533--z, 1153(0)327--z, 1166(0)362--z,
1178(0)376--z
-
User, 1108(0)451--z, 1114(0)47--z, 1123(0)151--z, 1129(0)1--z,
1137(0)61--z, 1142(0)237--z, 1157(0)227--z, 1165(0)13--34,
1181(0)386--z
-
Ushakov, D., 1138(0)305--z, 1181(0)91--z
-
Ushakov, D., see Telerman, V.
-
Ushijima, K., 1179(0)343--z
-
Ushijima, K., see Goshi, K.
-
Uspensky, V. A., 1113(0)156--166
-
Uspensky:1996:KCR, 1113(0)156--166
-
Uszok, A., 1161(0)148--z
-
Uszok, A., see Zielinski, K.
-
Utard, G., 1132(0)252--z
-
Utard, G., see Bouge, L.
-
Utility, 1118(0)547--548, 1168(0)392--z
-
Utilization, 1124(0)872--z
-
Utilize, 1163(0)322--z