Last update: Sun May 3 02:03:50 MDT 2020
Return to index directory
U
-
Ubiquitous, 2411(0)339--z, 2465(0)91--z, 2465(0)183--z, 2505(0)1--z,
2535(0)186--z
-
Uchida, Tomoyuki, 2533(0)188--z, 2557(0)523--z
-
Uchida, Tomoyuki, see Matsumoto, Satoshi,
see Suzuki, Yusuke
-
Uchiya, Takahiro, 2344(0)802--z
-
Uchiya:2002:AAR, 2344(0)802--z
-
Uchiyama, Akihiko, 2488(0)60--z
-
Uchiyama, Akihiko, see Koizumi, Naoshi
-
UCLID, 2517(0)142--z
-
UDP, 2437(0)325--z, 2496(0)263--z, 2510(0)519--z
-
Uehara, Minoru, 2344(0)656--z
-
Uehara, Minoru, see Sato, Nobuyoshi
-
Uematsu, Hidemasa, 2488(0)762--z
-
Uematsu, Hidemasa, see Gee, James
-
Uemura, Jin, 2533(0)293--z
-
Uemura, Shunsuke, 2457(0)114--z, 2465(0)334--z, 2490(0)91--z
-
Uemura, Shunsuke, see Hatano, Kenji,
see Kha, Dao Dinh, \see{Sadat, Fatiha
-
Uemura:2002:CLC, 2533(0)293--z
-
Ueno, Daiki, 2550(0)206--z
-
Ueno, Katsuya, 2489(0)477--z
-
Ueno, Katsuya, see Imamura, Hiroshi
-
Ueno:2002:WBM, 2550(0)206--z
-
Uhl, Andreas, 2474(0)183--z
-
Uhl, Andreas, see Tischler, Florian
-
Uhl, Axel, 2426(0)290--z, 2474(0)70--z
-
Uhl, Axel, see Blaszczyk, Andreas,
see Mellor, Stephen J.
-
Uhl, George, 2511(0)205--z
-
Uhl, George, see Anjali, Tricha
-
Uhlig, Steve, 2511(0)125--z
-
Uhlig, Steve, see Quoitin, Bruno
-
UK, 2456(0)395--z, 2456(0)419--z
-
Ukkonen, Esko, 2452(0)277--z
-
Ukkonen:2002:FFS, 2452(0)277--z
-
Ülengin, Füsun, 2457(0)293--z, see Ermis, Murat
-
Ulreich, Simone, 2456(0)230--z
-
Ulreich, Simone, see Kocman, Viktorija
-
Ultes-Nitsche, Ulrich, 2540(0)279--z
-
Ultes-Nitsche:2002:DWN, 2540(0)279--z
-
Ultra-Rapid, 2525(0)1--z
-
Ultrasonic, 2449(0)421--z, 2488(0)122--z
-
Ultrasound, 2488(0)60--z, 2489(0)133--z, 2489(0)148--z, 2489(0)156--z,
2489(0)193--z, 2489(0)389--z, 2489(0)397--z, 2525(0)340--z
-
Ulusoy, Özgür, 2457(0)186--z, see Saykol, Ediz
-
Umemura, Shin-ichiro, 2488(0)83--z
-
Umemura, Shin-ichiro, see Tajima, Fujio
-
Umeo, Hiroshi, 2493(0)69--z, 2509(0)276--z
-
Umeo:2002:EMS, 2493(0)69--z
-
Umeo:2002:SNG, 2509(0)276--z
-
Umezawa, Takeshi, 2521(0)128--z
-
Umezawa:2002:MAB, 2521(0)128--z
-
UML, 2346(0)51--z, 2411(0)296--z, 2426(0)260--z, 2460(0)18--z,
2460(0)34--z, 2460(0)63--z, 2460(0)73--z, 2460(0)84--z,
2460(0)150--z, 2460(0)163--z, 2460(0)179--z, 2460(0)227--z,
2460(0)259--z, 2460(0)275--z, 2460(0)290--z, 2460(0)336--z,
2460(0)352--z, 2460(0)368--z, 2460(0)383--z, 2460(0)398--z,
2460(0)412--z, 2460(0)442--z, 2469(0)53--z, 2469(0)355--z,
2469(0)375--z, 2469(0)395--z, 2473(0)352--z, 2503(0)105--z,
2503(0)199--z, 2503(0)414--z, 2505(0)378--z, 2510(0)228--z,
2519(0)1100--z, 2529(0)97--z, 2548(0)184--z
-
UML-Based, 2460(0)426--z
-
UMLash, 2460(0)49--z
-
Umlauft, M., 2411(0)140--z
-
Umlauft, M., see Pospischil, G.
-
UMLinux, 2485(0)159--z
-
UMLsec, 2460(0)412--z
-
UMTS, 2411(0)140--z, 2515(0)49--z, 2529(0)178--z
-
Unanticipated, 2548(0)92--z
-
Unavailability, 2485(0)140--z
-
Unawareness, 2457(0)21--z
-
Unbalanced, 2442(0)242--z
-
Unbound, 2452(0)185--z
-
Unbounded, 2404(0)250--z, 2404(0)324--z
-
Uncertainty, 2401(0)473--z, 2424(0)271--z, 2441(0)152--z, 2457(0)43--z,
2475(0)610--z, 2478(0)291--z, 2504(0)54--z, 2518(0)274--z
-
Uncini, Aurelio, 2486(0)90--z, 2486(0)168--z
-
Uncini, Aurelio, see Topi, Lorenzo
-
Uncini:2002:SSF, 2486(0)168--z
-
Unconditionally, 2501(0)81--z, 2501(0)346--z
-
Undecidability, 2421(0)579--z
-
Undecidable, 2421(0)193--z
-
Under-Approximation, 2404(0)93--z
-
Undermining, 2516(0)54--z
-
Understanding, 2390(0)148--z, 2395(0)413--z, 2411(0)349--z,
2456(0)129--z, 2493(0)325--z, 2503(0)291--z, 2525(0)611--z,
2527(0)664--z
-
Undirected, 2518(0)241--z
-
Undisplayed, 2489(0)631--z
-
unexpected, 2501(0)267--z
-
Unfairness, 2496(0)224--z, 2511(0)47--z
-
Unfamiliar, 2525(0)643--z
-
Unfoldings, 2404(0)582--z
-
Unger, N., 2449(0)531--z
-
Unger, N., see Zieren, J.
-
Unger, Peter, 2487(0)156--z
-
Unger, Peter, see Czarnecki, Krzysztof
-
Unicast, 2376(0)252--z, 2511(0)78--z
-
Unification, 2401(0)255--z, 2420(0)423--z, 2522(0)263--z
-
Unified, 2460(0)2--z, 2488(0)83--z, 2536(0)126--z
-
Uniform, 2505(0)450--z, 2510(0)264--z, 2518(0)636--z, 2533(0)57--z,
2533(0)128--z
-
uniform, Non-, 2401(0)473--z, 2424(0)271--z, 2509(0)287--z,
2557(0)321--z
-
Unifying, 2449(0)190--z
-
Unigesture, 2411(0)256--z
-
Uninterpreted, 2404(0)78--z
-
union, 2456(0)375--z, 2533(0)293--z, 2557(0)523--z
-
Unique, 2442(0)597--z
-
Unit, 2420(0)506--z, 2421(0)1--z, 2488(0)192--z, 2489(0)44--z,
2505(0)207--z, 2518(0)67--z
-
UNITE, 2521(0)302--z
-
Universal, 2343(0)652--z, 2411(0)170--z, 2442(0)226--z, 2469(0)265--z,
2508(0)133--z, 2509(0)164--z, 2514(0)53--z
-
Universality, 2493(0)104--z
-
Universally, 2442(0)581--z, 2508(0)88--z
-
Universe, 2418(0)281--z
-
University, 2457(0)366--z, 2458(0)204--z
-
Unix, 2437(0)162--z, 2527(0)616--z
-
unknown, 2501(0)27--z, 2503(0)322--z, 2516(0)158--z, 2533(0)380--z
-
Unlabeled, 2430(0)468--z
-
Uno, Hiroshi, 2488(0)44--z
-
Uno, Hiroshi, see Yamauchi, Yasushi
-
Uno, Yushi, 2518(0)428--z
-
Uno, Yushi, see Makino, Kazuhisa
-
Unparsing, 2505(0)302--z
-
Unraveling, 2395(0)413--z, 2499(0)31--z
-
Unrestricted, 2517(0)310--z
-
Unsatisfiable, 2420(0)280--z
-
Unsplittable, 2462(0)51--z
-
Unstructured, 2390(0)190--z, 2557(0)107--z
-
Unsuitable, 2456(0)403--z
-
Unsupervised, 2431(0)112--z, 2449(0)141--z, 2449(0)158--z,
2504(0)388--z, 2525(0)109--z, 2525(0)629--z, 2527(0)933--z,
2557(0)557--z
-
Untangle, 2488(0)475--z
-
Unterkircher, Florian, 2376(0)252--z
-
Unterkircher:2002:RUS, 2376(0)252--z
-
Untrained, 2557(0)237--z
-
Up, Bottom-, 2533(0)263--z
-
up, Bottom-, 2525(0)418--z
-
Up-to-Date, 2437(0)59--z
-
update, 2397(0)247--z, 2401(0)477--z, 2424(0)62--z, 2522(0)28--z
-
Updating, 2397(0)165--z, 2510(0)1--z
-
Upgraded, 2434(0)139--z
-
Upgrading, 2491(0)166--z
-
Upload, 2535(0)154--z
-
upon, 2527(0)329--z
-
UPPAAL, 2469(0)3--z
-
Upper, 2501(0)484--z
-
Upright, 2486(0)117--z
-
Urayama, Shin-ichi, 2489(0)477--z
-
Urayama, Shin-ichi, see Imamura, Hiroshi
-
Urban, 2493(0)325--z, 2493(0)349--z, 2510(0)580--z
-
Urbán, Péter, 2485(0)44--z, see Pedone, Fernando
-
Urbina, Eduardo, 2458(0)638--z, 2539(0)39--z
-
Urbina, Eduardo, see Monroy, Carlos
-
Urquhart, Neil, 2439(0)871--z
-
Urquhart:2002:SRW, 2439(0)871--z
-
Ursem, Rasmus K., 2439(0)462--z
-
Ursem:2002:DGE, 2439(0)462--z
-
Ursino, Domenico, 2519(0)1168--z, 2522(0)197--z
-
Ursino, Domenico, see Buccafurri, Francesco,
see Garruzzo, Salvatore
-
Urueña, M., 2515(0)141--z, see Exposito, E.
-
Urueña, Manuel, 2515(0)353--z
-
Uruena:2002:ANA, 2515(0)353--z
-
USA-Advisor, 2424(0)566--z
-
Usability, 2411(0)211--z, 2458(0)493--z, 2478(0)333--z
-
Usable, 2411(0)9--z
-
Usage, 2344(0)551--z, 2411(0)359--z, 2475(0)449--z, 2496(0)12--z,
2519(0)1168--z, 2536(0)194--z
-
Usage-Centered, 2418(0)1--z
-
Usage-Oriented, 2519(0)1186--z
-
USE, 2510(0)228--z
-
Use, 2411(0)334--z, 2426(0)96--z, 2439(0)308--z, 2439(0)568--z,
2452(0)477--z, 2456(0)116--z, 2457(0)385--z, 2458(0)338--z,
2460(0)115--z, 2474(0)280--z, 2485(0)1--z, 2488(0)66--z,
2489(0)549--z, 2499(0)187--z, 2510(0)607--z, 2526(0)32--z,
2529(0)130--z, 2539(0)50--z, 2557(0)1--z, 2557(0)719--z
-
Used, 2441(0)167--z, 2490(0)555--z, 2525(0)38--z, 2529(0)360--z
-
Usenko, Yaroslav S., 2421(0)1--z
-
Usenko, Yaroslav S., see Fokkink, Wan
-
User, 2344(0)229--z, 2346(0)121--z, 2390(0)67--z, 2390(0)92--z,
2411(0)36--z, 2411(0)108--z, 2411(0)170--z, 2411(0)329--z,
2411(0)354--z, 2411(0)388--z, 2411(0)409--z, 2418(0)263--z,
2426(0)112--z, 2437(0)199--z, 2456(0)169--z, 2458(0)432--z,
2458(0)493--z, 2458(0)550--z, 2465(0)471--z, 2475(0)493--z,
2485(0)2--z, 2490(0)555--z, 2496(0)263--z, 2511(0)250--z,
2519(0)230--z, 2519(0)1168--z, 2521(0)119--z, 2522(0)163--z,
2522(0)197--z, 2535(0)121--z, 2536(0)181--z, 2550(0)125--z,
2557(0)284--z
-
User, End-, 2346(0)169--z
-
user, Multi-, 2519(0)965--z
-
User-Defined, 2510(0)434--z
-
User-Driven, 2473(0)285--z
-
User-System, 2473(0)122--z
-
uses, 2501(0)267--z
-
Utami, Dewi, 2510(0)239--z
-
Utami:2002:FID, 2510(0)239--z
-
Utility, 2376(0)260--z, 2439(0)88--z, 2457(0)366--z, 2506(0)121--z,
2516(0)307--z
-
Utilization, 2515(0)241--z, 2539(0)1--z, 2550(0)168--z
-
Utilizing, 2411(0)378--z, 2525(0)322--z, 2557(0)249--z
-
Utsumi, Satoshi, 2510(0)916--z
-
Utsumi:2002:EAI, 2510(0)916--z
-
Utsuro, Takehito, 2499(0)165--z
-
Utsuro:2002:SAC, 2499(0)165--z
-
Uyar, A. Sima, Etaner-, 2457(0)314--z