Index file section U for tcs2005.bib
Last update: Thu Jun 29 04:16:31 MDT 2023
Return to index directory
U
-
ubiquitous, 384(2)232--249
-
Uchida, Jiro, 377(1)43--54
-
Uchida, Tomoyuki, 350(1)63--90
-
Uchida, Tomoyuki, see Suzuki, Yusuke
-
Uchida:2007:ABG, 377(1)43--54
-
Uchizawa, Kei, 407(1)474--487
-
Uchizawa:2008:ELB, 407(1)474--487
-
Ueda, Kazunori, 410(46)4784--4800
-
Ueda:2009:LHL, 410(46)4784--4800
-
Uehara, Ryuhei, 410(45)4588--4600
-
Uehara, Ryuhei, see Miyoshi, Naoto
-
Uemura, Jin, 364(1)98--114
-
Uemura:2006:LEP, 364(1)98--114
-
UET, 410(47)4864--4873
-
Uhlmann, Johannes, 410(52)5425--5442
-
Uhlmann, Johannes, see Betzler, Nadja
-
Uiterwijk, J. W. H. M., 349(2)245--267
-
Uiterwijk, J. W. H. M., see Donkers, H. H. L. M.
-
Uiterwijk, Jos W. H. M., 349(2)168--183
-
Uiterwijk, Jos W. H. M., see Werf, Erik C. D. van der
-
Ukelson, Michal, Ziv-, 410(43)4303--4314
-
Ukkonen, Esko, 347(1)239--275, 363(2)234--246, 395(2)137--157,
410(30)2999--3005, 410(43)4341--4349
-
Ukkonen, Esko, see Fredriksson, Kimmo,
see Nicolas, François,
see Pizzi, Cinzia, \see{Tamm, Hellis
-
Ukkonen:2009:MMR, 410(43)4341--4349
-
Ulidowski, Irek, 373(3)161--162
-
Ulidowski, Irek, see Mosses, Peter D.
-
Ultes-Nitsche, Ulrich, 387(2)187--195
-
Ultes-Nitsche, Ulrich, see Nießner, Frank
-
ultrametric, 368(1)30--49
-
Ultraproducts, 379(1)210--230
-
Uma, R. N., 361(2)241--256
-
Uma:2006:RBC, 361(2)241--256
-
Umans, Christopher, 410(8)859--866
-
Umans, Christopher, see Asodi, Vera
-
UML, 351(2)184--202
-
unambiguous, 356(1)6--13, 410(16)1477--1485
-
unary, 330(2)349--360
-
unavoidable, 359(1)231--238, 391(1)150--163
-
unbalance, 385(1)78--87
-
unbounded, 388(1)227--242, 396(1)283--289, 397(1)77--93
-
uncertain, 407(1)310--317
-
uncertainty, 344(1)86--99, 379(1)84--119, 382(3)170--182,
408(2)213--223, 409(3)617--622
-
Unconditional, 393(1)1--13
-
uncountable, 351(1)2--13
-
undecidability, 338(1)315--349, 358(2)293--314, 368(1)161--167,
377(1)268--270, 391(1)3--13
-
undecidable, 407(1)29--84, 407(1)596--600, 410(16)1516--1533
-
undirected, 410(47)5138--5144
-
unfair, 380(3)401--410
-
unfoldings, 403(2)307--327
-
unification, 403(2)285--306
-
unified, 360(1)209--227, 382(2)86--96, 400(1)84--99
-
uniform, 339(2)293--314, 341(1)91--137, 345(1)2--26, 350(1)3--12,
364(1)42--61, 371(1)54--61, 382(1)71--83, 392(1)92--100,
393(1)211--219, 401(1)144--152, 404(1)76--87, 406(1)15--23,
410(6)533--545, 410(8)776--792, 410(21)2099--2109,
410(35)3223--3235, 410(38)3875--3881, 410(38)3975--3981,
410(47)5047--5062
-
uniform, Non-, 396(1)97--112
-
uniformity, 332(1)487--496, 396(1)97--112, 403(2)347--372
-
uniformly, 346(2)358--387, 379(3)377--386, 380(3)266--275
-
unifying, 350(1)103--124, 355(2)228--242, 410(2)202--220
-
union, 405(3)209--222
-
uniprocessors, 343(3)482--508
-
unique, 351(1)111--118, 356(1)186--189, 376(1)52--59, 380(3)355--362,
401(1)62--76, 410(24)2431--2441
-
unique, Non-, 381(1)29--32
-
unique, non-, 390(1)120--125
-
uniqueness, 354(1)24--41, 410(30)2864--2869, 410(38)3711--3724
-
uniqueness, non-, 346(2)335--357
-
unit, 352(1)1--7, 363(1)85--98, 377(1)271--276, 407(1)85--96,
409(3)521--529, 410(8)756--765, 410(14)1388--1400,
410(47)5182--5187, 410(52)5398--5402
-
unitary, non-, 394(3)187--196
-
unitation, 386(1)73--93
-
UNITY, 376(3)185--204
-
unity, 331(1)3--21
-
universal, 330(2)251--266, 345(2)370--385, 354(2)173--186,
359(1)440--448, 362(1)171--195, 363(1)76--84, 363(2)149--161,
364(1)27--41, 372(2)152--164, 384(1)33--48, 388(1)109--129,
396(1)264--270, 407(1)97--109, 407(1)192--202, 408(2)143--150,
410(4)406--416, 410(4)443--450, 410(11)1099--1108,
410(18)1629--1647, 410(19)1826--1846, 410(21)1970--1981
-
universal, quotient-, 405(1)164--175
-
Universality, 371(1)83--105, 403(1)121--129
-
universe, 355(2)153--166
-
unknown, 332(1)293--311, 384(2)184--200, 385(1)34--48,
410(27)2549--2561, 410(30)2889--2909
-
unlabeled, 348(1)70--83
-
Uno, Yushi, 410(38)3702--3710
-
Uno, Yushi, see Hasunuma, Toru
-
unoriented, 370(1)1--18
-
unpredictable, 408(2)99--105
-
unproved, 377(1)126--138
-
unpublished, 377(1)126--138
-
unrelated, 359(1)400--417, 380(1)87--99, 410(21)2196--2206
-
Unresolved, 349(3)283--308
-
unrooted, 351(3)296--302
-
unsatisfiable, 337(1)347--359, 351(3)351--359
-
unsigned, 352(1)322--328
-
unsolvability, 383(2)244--259
-
unsplittable, 348(2)226--239
-
unstructured, 355(1)25--36
-
Unsupervised, 405(3)237--255
-
untranquil, 395(2)171--192
-
up, bottom-, 339(2)200--240, 347(1)276--287, 410(21)2250--2278
-
up, set-, 401(1)172--180
-
up, start-, 396(1)200--211
-
up-to, 380(1)164--180
-
updatability, 388(1)109--129
-
update, 336(2)311--342, 368(1)1--29, 378(3)211--222, 410(11)1013--1021
-
updating, 369(1)197--210, 410(43)4350--4359
-
Upfal, Eli, 408(2)213--223
-
Upfal, Eli, see Katriel, Irit
-
upper, 331(1)3--21, 332(1)543--557, 369(1)82--115, 377(1)277--281,
400(1)230--233, 410(14)1319--1327, 410(36)3372--3390,
410(38)3655--3669, 410(38)3804--3813
-
upper-bounds, 407(1)342--348
-
Upward, 389(1)162--171
-
upward-closed, 410(24)2442--2452
-
Ur, Shmuel, 404(3)219--234
-
Ur, Shmuel, see Copty, Shady
-
Urban, Christian, 364(2)146--165
-
Urban, Christian, see Bellin, Gianluigi
-
Urieli, Daniel, 371(3)227--246
-
Urieli, Daniel, see Matias, Yossi
-
Urquhart, Alasdair, 384(1)104--110
-
Urquhart:2007:WVS, 384(1)104--110
-
Urrutia, J., 410(14)1388--1400
-
Urrutia, J., see Czyzowicz, J.
-
Urrutia, Jorge, 343(1)42--71
-
Urrutia, Jorge, see Aichholzer, Oswin
-
usability, 335(2)281--329
-
Uscka-Wehlou, Hanna, 377(1)157--169, 410(38)3655--3669
-
Uscka-Wehlou:2007:DLI, 377(1)157--169
-
Uscka-Wehlou:2009:TER, 410(38)3655--3669
-
use, 351(1)74--81, 351(1)111--118, 368(1)1--29, 392(1)174--178
-
use, re-, 343(3)509--528
-
used, 336(2)235--284, 351(1)74--81
-
useful, 376(1)17--29
-
users, end-, 368(1)1--29
-
users, end-, 368(1)1--29
-
using, 331(1)73--96, 331(2)325--365, 334(1)35--69, 340(1)82--101,
351(1)82--100, 351(1)101--110, 351(1)111--118, 351(1)119--128,
352(1)240--249, 353(1)291--316, 354(2)301--317, 355(3)303--314,
356(1)26--45, 356(3)440--467, 359(1)329--343, 361(1)38--56,
366(1)163--179, 368(1)88--123, 371(1)54--61, 371(3)200--226,
372(2)125--135, 374(1)196--202, 375(1)137--168, 385(1)127--136,
386(1)94--113, 392(1)158--173, 397(1)94--113, 401(1)1--16,
402(2)199--220, 403(2)307--327, 406(1)15--23, 409(2)292--310,
410(1)94--100, 410(12)1159--1189, 410(15)1428--1439,
410(19)1876--1902, 410(27)2562--2580, 410(33)3149--3165,
410(46)4704--4723, 410(50)5285--5297
-
Ustinov, Mikhail, 384(1)77--86
-
Ustinov, Mikhail, see Muchnik, Andrej
-
utility, 378(2)134--142, 410(17)1573--1580
-
utilization, 362(1)238--247, 363(2)162--181
-
Uustalu, Tarmo, 333(1)3--66, 364(3)292--310, 373(3)273--302
-
Uustalu, Tarmo, see Abel, Andreas,
see Laud, Peeter, \see{Saabas, Ando
-
Uzcátegui, Carlos, 400(1)70--83,
see Piña, Claribet