Index file section U for tcs2020.bib

Last update: Sun Jun 8 02:02:41 MDT 2025

Return to index directory

U

UAV, 853(z)25--42, 929(z)140--156, 945(z)z--99999999
UAVs, 928(z)197--209
Uda, Saeki, 996(z)z--99999999
Uda, Saeki, see Hanaka, Tesshu
Uehara, Ryuhei, 806(z)310--322, 863(z)53--68, 939(z)216--226, 978(z)z--99999999, 983(z)z--99999999
Uehara, Ryuhei, see Ito, Takehiro, see Kanzaki, Masaaki, \see{Minamisawa, Ko, see Yamada, Takeshi, see Yamazaki, Kazuaki
UFLP, 838(z)58--67
Ugare, Shubham, 885(z)1--14
Ugare, Shubham, see Ben Basat, Ran
Uitto, Jara, 810(z)58--71, 839(z)143--163, 849(z)22--34
Uitto, Jara, see Brandt, Sebastian, see Emek, Yuval
Ulam--Rényi, 809(z)339--356
Ulidowski, Irek, 925(z)68--86
Ulidowski, Irek, see Kuhn, Stefan
ultra-wide, 905(z)99--105
ultrametric, 828(z)65--69
Ulucan, Ahmet-Sefa, 976(z)z--99999999
Ulucan, Ahmet-Sefa, see Darwich, Omar
UMU, 998(z)z--99999999
unambiguous, 1006(z)z--99999999
unary, 898(z)110--131, 969(z)z--99999999
unbordered, 852(z)78--83
unbounded, 854(z)116--130, 995(z)z--99999999, 1000(z)z--99999999, 1014(z)z--99999999
uncertain, 909(z)1--11
uncertainty, 850(z)221--235, 867(z)50--67, 895(z)75--95, 908(z)28--42, 1021(z)z--99999999
unchained, 826(z)25--39
unconditionally, 952(z)z--99999999
unconstrained, 808(z)139--158
uncooperative, 806(z)531--542
Uncut, 849(z)173--183
undecidability, 839(z)30--40, 899(z)25--38, 1002(z)z--99999999
undecidable, 1003(z)z--99999999
undirected, 866(z)56--69
unexpected, 972(z)z--99999999
unfoldings, 1002(z)z--99999999
Unger, Walter, 862(z)81--96
Unger, Walter, see Böckenhauer, Hans-Joachim
unicast, 923(z)179--195
unicycle, 890(z)192--209
unicyclic, 847(z)95--102
unicyclicbicyclic, 923(z)144--159
unidirectional, 809(z)357--371, 822(z)92--109, 847(z)1--16, 856(z)1--13
unification, Anti-, 848(z)133--139
unified, 819(z)35--49, 838(z)25--44, 857(z)43--58, 864(z)58--69, 903(z)1--25, 949(z)z--99999999, 973(z)z--99999999
uniform, 809(z)357--371, 832(z)3--19, 839(z)103--121, 851(z)111--120, 868(z)97--111, 878(z)53--66, 885(z)69--76, 892(z)187--207, 913(z)1--7, 940(z)81--96, 969(z)z--99999999, 1006(z)z--99999999, 1012(z)z--99999999, 1020(z)z--99999999
uniform, DLOGTIME-, 965(z)z--99999999
uniform, non-, 816(z)184--194, 816(z)260--269, 940(z)43--59
uniform, semi-, 994(z)z--99999999
uniformity, 936(z)1--12
uniformly, 892(z)279--288, 1012(z)z--99999999
uniformly, non-, 806(z)516--530
unifying, 802(z)105--140, 884(z)68--115, 935(z)105--127, 1021(z)z--99999999
uninitialized, 851(z)129--153
union, 890(z)210--239, 917(z)107--121
union-intersection-bounded, 1018(z)z--99999999
unique, 804(z)149--160, 806(z)70--80, 845(z)230--242, 896(z)53--64, 922(z)170--178, 941(z)77--90, 988(z)z--99999999
uniquely, 804(z)126--138, 882(z)15--28
unison, 1001(z)z--99999999
unit, 803(z)144--151, 809(z)218--230, 836(z)59--64, 843(z)136--152, 845(z)38--49, 890(z)70--86, 895(z)48--54, 903(z)74--83, 911(z)1--18, 919(z)36--46, 932(z)13--20, 944(z)z--99999999, 957(z)z--99999999, 992(z)z--99999999
unit, multi-, 846(z)160--171
unit-disk, 944(z)z--99999999
univariate, 832(z)143--165, 851(z)121--128
universal, 812(z)174--186, 830(z)43--59, 838(z)58--67, 843(z)153--163, 878(z)83--101, 915(z)90--100, 948(z)z--99999999, 974(z)z--99999999, 996(z)z--99999999, 1002(z)z--99999999, 1004(z)z--99999999
universal, Quasi-, 891(z)84--89
universality, 972(z)z--99999999, 997(z)z--99999999, 1016(z)z--99999999, 1022(z)z--99999999
universally, 818(z)83--91
Universe, 814(z)189--209
unknown, 862(z)193--213, 887(z)11--29, 922(z)424--437, 1013(z)z--99999999
unless, 975(z)z--99999999
Unlike, 948(z)z--99999999
unlimited, 948(z)z--99999999
Uno, Takeaki, 818(z)2--11, 874(z)32--41, 978(z)z--99999999
Uno, Takeaki, see Conte, Alessio, see Ito, Takehiro, \see{Kurita, Kazuhiro
unordered, 883(z)83--98
unpaired, 821(z)71--86, 911(z)26--40
Unprovability, 935(z)21--46
unranked, 870(z)3--28
unrelated, 809(z)204--217, 821(z)34--44, 858(z)35--48
unreliable, 806(z)489--508, 928(z)71--81, 937(z)69--84, 940(z)269--282, 975(z)z--99999999
unsatisfiable, 998(z)z--99999999
unsaturated, 833(z)147--163
unsignalized, 1020(z)z--99999999
unsupervised, 880(z)97--110
Untangling, 969(z)z--99999999
untyped, 813(z)117--142, 846(z)141--159
up, 807(z)154--168
up, Bottom-, 870(z)3--28
up, set-, 867(z)13--29
up, speed-, 938(z)24--38
up, Stand-, 1016(z)z--99999999
Upadhyaya, Twesh, 820(z)1--16
Upadhyaya, Twesh, see Georgiou, Konstantinos
updatable, 804(z)1--28, 981(z)z--99999999, 983(z)z--99999999
update, 854(z)30--43
updating, 863(z)1--18, 1011(z)z--99999999
upgrades, 962(z)z--99999999
upgrading, 986(z)z--99999999
upper, 804(z)98--114, 806(z)305--309, 851(z)24--38, 854(z)63--67, 877(z)46--57, 880(z)69--81, 887(z)51--62, 895(z)55--67, 896(z)158--167, 900(z)53--78, 923(z)271--291, 939(z)292--302, 952(z)z--99999999, 995(z)z--99999999, 1006(z)z--99999999
Uppman, Hannes, 892(z)1--24
Uppman, Hannes, see Jonsson, Peter
Upward, 998(z)z--99999999
urban, 836(z)42--52
Urrutia, J., 928(z)183--196
Urrutia, J., see Bereg, S.
Urrutia, Jorge, 806(z)531--542
Urrutia, Jorge, see Czyzowicz, Jurek
Urrutia, Sebastián, 877(z)36--45
Urrutia:2021:RSS, 877(z)36--45
use, 805(z)62--75, 985(z)z--99999999
user, 803(z)116--129, 814(z)223--233, 838(z)111--125, 931(z)78--92, 941(z)77--90, 943(z)142--152, 1019(z)z--99999999
user, multi-, 835(z)82--96
user-defined, 870(z)103--120
User-driven, 1018(z)z--99999999
using, 803(z)130--143, 805(z)37--61, 805(z)76--91, 805(z)109--126, 806(z)567--576, 817(z)24--32, 830(z)20--42, 843(z)84--114, 845(z)76--97, 847(z)68--75, 851(z)62--76, 853(z)65--77, 855(z)43--60, 864(z)20--33, 865(z)99--118, 872(z)41--54, 873(z)1--15, 878(z)102--112, 882(z)63--76, 908(z)28--42, 922(z)25--36, 922(z)131--149, 925(z)1--24, 925(z)61--67, 927(z)1--14, 928(z)183--196, 929(z)81--94, 929(z)114--123, 930(z)128--141, 931(z)56--64, 931(z)65--77, 931(z)93--103, 939(z)140--160, 941(z)14--28, 941(z)55--76, 943(z)219--229, 943(z)230--240, 962(z)z--99999999, 965(z)z--99999999, 982(z)z--99999999, 984(z)z--99999999, 992(z)z--99999999, 994(z)z--99999999, 1024(z)z--z
Utashima, Tadatoshi, 838(z)238--249
Utashima, Tadatoshi, see Asahiro, Yuichi
utility, 940(z)189--205, 962(z)z--99999999
utility, privacy-, 816(z)195--220
UTP-CSP, 973(z)z--99999999
UTVPI+, 883(z)1--18