Index file section V for sigact.bib
Last update: Fri Nov 4 02:17:43 MDT 2022
Return to index directory
V
-
V, 0(0)xxi--754, 32(2)11--13, 33(2)34--47, 36(2)14--19, 38(4)16--18,
38(4)25--30, 41(4)21--24, 42(2)14--18, 44(0)xi--275, 44(2)17--21,
49(2)4--6, 49(2)7--9, 49(3)6--8, 50(4)4--6, 50(4)9--13, 51(4)11--14,
54(0)xiii--249
-
v, 0(0)xiv--427, 0(0)cii--2198, 0(0)99999999, 15(2)32--44, 26(0)z,
26(2)21--25, 26(4)36--38, 37(1)66--81, 49(2)29--31, 50(1)28--34,
50(1)35--37, 50(3)12--23, 50(4)56--56, 50(4)57--76, 52(1)81--86,
52(2)7--9
-
v, h-, 24(1)57
-
v.35, 35(4)118--118
-
vacation, 30(2)22--30
-
Vadhan, 38(3)34--38
-
Vadhan's, Reingold-Trevisan-, 36(2)25--42
-
Vadhan, Salil P., 38(3)39--54
-
Vadhan:2007:UTP, 38(3)39--54
-
Vadim, 49(2)4--6, 49(2)7--9
-
vague, 24(1)68--74, 27(1)2--13
-
vagueness, 24(1)68--74
-
Vaidya, Nitin H., 47(3)70--91
-
Vaidya, Nitin H., see Tseng, Lewis
-
Vakilian, Mohsen, 44(2)10--12
-
Vakilian:2013:JRB, 44(2)10--12
-
Valiant, 39(2)51--81, 44(3)38--39
-
valid, 15(3)45--71
-
validated, 49(2)58--76
-
validation, 4(14)142--149, 49(2)58--76
-
validity, 4(14)142--149
-
Valiente, 43(3)48--50
-
Valiente, Gabriel, 0(0)352
-
Valiente:2009:CPM, 0(0)352
-
valkyries.andrew.cmu.edu, 24(4)82--89
-
Vallée, 45(4)24--31
-
valuable, 30(2)14--16, 49(3)6--8, 51(2)38--57
-
valuation, 4(14)203--207
-
valuator, 15(2)76--76
-
value, 7(1)18--20, 9(2)25--29, 11(2)30--35, 15(2)76--76, 15(2)78--78,
18(4)54--61, 22(1)65, 27(2)88--96, 28(3)65--74, 31(4)13--15,
33(2)108--118, 35(2)111--112, 37(3)97--104, 38(4)65--66,
39(3)41--57, 41(1)100--128, 43(2)45--50, 45(3)82--104, 49(3)35--47,
52(2)46--70
-
valued, rational-, 38(4)65--66
-
van, 11(2)6--6, 12(3)14--16, 31(4)10--12, 35(3)58--66, 45(1)24--26,
47(1)25--28, 49(2)29--31
-
van Benthem Jutting, L. S., 0(0)120
-
Van den Bussche, Jan, 37(4)56--57
-
Van Der Meulen, S. G., 1(0)z
-
Van Gelder, Allen, 0(0)xix--688
-
Van Gelder, Allen, see Baase, Sara
-
Van Gucht, Dirk, 41(3)86--87
-
vanBenthemJutting:1979:CLG, 0(0)120, 12(3)14--16
-
vandenBroek:2004:CTA, 35(4)111--116
-
VandenBussche:2006:DTC, 37(4)56--57
-
VanDerMeulen:1978:TPS, 1(0)z, 11(2)6--6
-
VanGucht:2010:DTC, 41(3)86--87
-
vanishing, 48(2)68--85
-
vanLeeuwen:1974:FCB, 6(4)19--20
-
vanLeeuwen:1976:RCP, 8(4)24--27
-
vanLeeuwen:1978:EPR, 10(1)18--21
-
vanLeunen:1976:HYA, 8(3)21--24
-
vanStee:2012:SNOa, 43(2)127--136
-
vanStee:2012:SNOb, 43(4)123--129
-
vanStee:2013:SNO, 44(2)125--125
-
vanStee:2014:SNOa, 45(1)90--90
-
vanStee:2014:SNOb, 45(3)105--111
-
vanStee:2015:SNO, 46(2)105--112
-
vanStee:2016:SNO, 47(3)92--92
-
vanStee:2016:SNOa, 47(1)99--110
-
vanStee:2016:SNOb, 47(2)40--51
-
vanStee:2017:SNOa, 48(1)46--53
-
vanStee:2017:SNOb, 48(4)100--109
-
vanStee:2018:SNOa, 49(1)66--66
-
vanStee:2018:SNOb, 49(4)36--45
-
vanStee:2021:SNO, 52(2)71--71
-
Varadarajan, Kasturi R., 35(4)23--37
-
Varadarajan, Kasturi R., see Codenotti, Bruno
-
Vardi, Moshe Y., 0(0)xiii--477, 0(0)xiii--517
-
Vardi, Moshe Y., see Fagin, Ronald
-
vardi/logic, 35(4)72--83
-
variable, 0(0)xiv--196, 0(0)xv--189, 1(0)z, 4(14)1--6, 4(14)83--96,
4(14)104--109, 10(2)42--47, 11(2)6--6, 15(2)77--77, 15(2)78--78,
16(4)60--62, 28(4)24--27, 30(2)61--61, 36(1)30--52, 37(3)97--104,
45(3)32--33, 49(4)29--35
-
variable, n-, 10(3)38--48
-
Variable-length, 0(0)xii--191, 44(4)24--26
-
variance, 33(2)108--118
-
variant, 0(0)xviii--268, 0(0)xx--254, 15(1)61--66, 26(2)96--104,
32(4)9--17, 34(1)47--67, 34(2)42--57, 42(1)97--131, 43(1)16--18,
46(3)37--55, 47(2)34--39, 49(2)57--57, 50(3)52--74, 52(2)36--44
-
variation, 16(4)60--62, 31(4)10--12, 35(1)80--84, 41(1)100--128,
43(2)85--107, 49(2)58--76, 50(1)9--13
-
variety, 4(14)208--211, 15(2)32--44, 22(3)38--40, 24(1)60, 28(2)40--52,
28(3)94--99, 28(4)20--23, 31(4)15--18, 33(2)10--14, 34(1)32--46,
37(1)33--46, 37(3)67--92, 38(3)39--54, 38(4)65--66, 40(2)68--80,
43(1)62--81, 49(3)35--47, 52(4)3--5, 134(0)xviii--759
-
various, 0(0)xiv--465, 2(4)19--19, 4(14)27--50, 4(14)208--211,
16(4)48--52, 18(1)54--67, 24(1)57--58, 28(3)94--99, 28(4)24--27,
31(4)13--15, 32(1)12--16, 32(1)32--32, 33(2)34--47, 33(2)60--73,
34(2)42--57, 35(2)22--35, 35(3)46--57, 35(4)18--19, 35(4)40--57,
36(3)67--81, 37(1)33--46, 37(1)47--65, 38(1)53--61, 38(2)75--86,
39(3)28--30, 41(1)100--128, 44(2)92--112, 44(3)56--68, 46(4)32--49,
49(2)14--17, 49(3)63--73, 50(3)6--11, 51(2)11--14, 51(2)38--57,
134(0)xviii--759
-
varying, 0(0)xxiii--502, 12(3)36--44, 36(2)14--19, 40(4)98--123,
49(3)35--47
-
varying, time-, 23(2)72--75
-
Vassilevska, 43(4)57--59, 49(4)28--28, 50(4)56--56
-
vast, 32(4)9--17, 37(4)22--26, 38(1)53--61
-
vastly, 51(2)38--57
-
Vatter, 43(3)54--55
-
Vazirani, 0(0)xxi--754, 39(1)80--87, 40(2)23--25, 41(4)21--24,
48(1)102--109
-
Vazirani, Umesh V., 26(1)43--45
-
Vazirani, Umesh V., see Kearns, Michael J.
-
Vazirani, Umesh Virkumar, 0(0)x--320
-
Vazirani, Umesh Virkumar, see Dasgupta, Sanjoy
-
V;E, 49(2)7--9
-
Vechev, Martin, 43(2)108--123
-
Vechev, Martin, see Kuperstein, Michael
-
vector, 0(0)xviii--626, 1(0)z, 11(2)6--6, 11(2)36--39, 21(2)64,
32(3)40--52, 35(3)13--17, 40(4)46--61
-
Vega-Redondo, 42(1)29--31
-
Vega-Redondo, Fernando, 44(0)xiv--294
-
Vega-Redondo:2007:CSN, 42(1)29--31, 44(0)xiv--294
-
Vegans, 33(2)34--47
-
Vehicular, 0(0)xi--473, 43(4)25--29
-
Veith, Helmut, 47(2)53--64
-
Veith, Helmut, see Bloem, Roderick
-
Veldhorst, 11(2)6--6
-
Veldhorst, M., 1(0)z
-
Veldhorst, M., see Van Der Meulen, S. G.
-
Veli, 47(3)15--18
-
Velleman, 40(1)18--20
-
Velleman, Daniel J., 0(0)ix--309
-
Velleman:1994:HPI, 0(0)ix--309, 40(1)18--20
-
Vélu, Jacques, 10(2)58--59
-
Velu:1978:TPU, 10(2)58--59
-
Vempala, 37(4)41--43
-
Vempala, Santosh S. (Santosh Srinivas), 65(0)ix--105
-
Vempala:2004:RPM, 37(4)41--43, 65(0)ix--105
-
vendors, 39(2)84--91
-
Venema, 34(2)15--19
-
Venema, Yde, 53(0)xxii--554
-
Venema, Yde, see Blackburn, Patrick
-
vengeance, 27(3)13--24
-
Venkatasubramanian, Suresh, 30(4)91--95, 33(4)9--11, 41(4)58--60,
44(1)70--78, 44(3)56--68
-
Venkatasubramanian, Suresh, see Clarke, Dave
-
Venkatasubramanian:1999:TRW, 30(4)91--95
-
Venkatasubramanian:2002:DMP, 33(4)9--11
-
Venkatasubramanian:2013:CGC, 44(1)70--78
-
Venkatasubramanian:2013:MHE, 44(3)56--68
-
Venkitasubramaniam, 52(1)41--46
-
Venkitasubramaniam, M., 52(1)47--69
-
Venkitasubramaniam, M., see Pass, R.
-
venturing, 0(0)xiii--228
-
venue, 35(3)69--71, 48(1)91--100, 48(3)83--86, 49(4)66--82, 49(4)83--88
-
Vera, 43(1)9--14
-
Vera Jr., Ramon de, 49(1)16--19
-
Vera, Jr., Ramon de, 47(4)13--14
-
Vera:2016:RDS, 47(4)13--14
-
Vera:2018:RRW, 49(1)16--19
-
Verdi, 28(4)20--23
-
Vereshchagin, 50(4)9--13
-
verifiable, 33(2)108--118
-
verification, 0(0)vi--113, 0(0)xiv--600, 0(0)xv--366, 0(0)xvi--441,
0(0)xvii--364, 0(0)xxiii--502, 4(14)7--14, 4(14)15--26, 28(4)16--19,
29(3)46--48, 31(4)52--61, 32(1)32--32, 32(2)44--45, 32(3)53--62,
32(4)34--58, 33(1)46--53, 33(2)10--14, 33(2)48--51, 33(3)50--50,
33(4)37--54, 34(2)42--57, 34(3)40--61, 34(4)53--56, 35(3)46--57,
35(4)38--38, 36(2)77--88, 36(3)41--50, 36(4)36--46, 37(2)50--56,
37(4)36--37, 37(4)58--84, 38(3)55--55, 38(3)76--76, 42(1)32--35,
43(2)85--107, 43(2)108--123, 47(2)52--52, 47(2)53--64, 48(4)43--56
-
verified, 50(3)6--11
-
verifier, 0(0)x--389, 39(3)41--57, 43(1)62--81, 50(3)25--33
-
verify, 4(14)203--207, 21(2)64
-
verifying, 0(0)vi--113, 0(0)xxix--184, 24(1)27--28, 28(4)16--19,
29(3)104--111
-
Ver{\'i}ssimo, Paulo, 37(1)66--81
-
Verissimo:2006:TTW, 37(1)66--81
-
Verlag, 29(1)2--5, 30(1)5, 30(3)15--18, 34(2)8--15, 34(4)15--17,
34(4)32--34, 36(3)5--9, 36(3)13--17, 38(2)11--16, 40(1)20--22
-
Verlag, Spring-, 36(2)8--13
-
Verlag, Springer-, 0(0)xvi--441, 12(3)14--16, 24(3)31--33,
24(4)34--36, 29(3)46--48, 30(1)9--11, 31(2)2--5, 32(2)14--15,
34(3)4--11, 35(1)4--7, 35(1)8--12, 35(2)13--14, 35(3)17--20,
35(4)5--11, 35(4)15--18, 36(4)12--14, 36(4)14--17, 37(1)14--15,
37(4)36--37, 38(4)31--34, 39(1)28--29, 39(2)40--41, 39(2)45--46,
40(4)17--23, 40(4)35--36, 41(1)30--34, 41(1)47--50, 41(4)38--42,
41(4)47--50, 138(0)xxi--534, 163(1)65--66
-
versa, 46(1)63--76
-
version, 0(0)xiv--223, 0(0)xiv--717, 4(14)97--103, 4(14)110--115,
4(14)170--190, 5(2)21--23, 6(1)12--18, 6(1)32--35, 6(3)15--22,
8(4)13--24, 15(1)61--66, 19(2)51--54, 20(3)57--59, 24(4)82--89,
25(1)87--89, 28(4)24--27, 32(1)3--5, 32(2)45--63, 36(1)53--70,
36(2)77--88, 36(4)103--108, 38(4)54--63, 44(2)47--79, 46(3)37--55,
48(3)37--59, 48(3)68--82, 48(4)57--74, 52(2)36--44, 52(4)78--79,
53(1)36--57
-
versus, 16(4)56--59, 26(1)2--13, 30(2)22--30, 30(3)25--34, 46(2)89--95,
49(2)32--32, 50(1)9--13, 50(1)35--37, 50(2)29--30
-
versus-NP, P-, 0(0)xxix--184, 33(1)32--45
-
VERTEX, 36(2)25--42
-
vertex, 0(0)xvi--205, 15(4)59--59, 15(4)60--60, 16(1)59--59, 16(1)60--60,
22(1)57--61, 24(1)57--58, 24(1)58--24(1)60, 26(2)78--87,
33(2)31--33, 34(2)91--94, 39(1)73--76, 39(3)16--18, 39(3)58--62
-
vertex-segments, 24(1)57--58
-
vertical, 0(0)xiii--338, 24(1)57--58, 24(1)59
-
very, 0(0)xiii--228, 4(14)74--82, 4(14)128--141, 4(14)208--211,
5(2)24--25, 10(2)58--59, 19(2)51--54, 20(1)60--61, 22(4)63--63,
24(4)2--13, 27(2)20--29, 27(2)88--96, 28(4)20--23, 29(4)58--62,
31(4)15--18, 32(4)24--33, 32(4)34--58, 33(1)32--45, 33(2)14--16,
34(2)42--57, 34(3)94--103, 35(4)118--118, 36(2)8--13, 36(2)14--19,
37(3)97--104, 38(2)56--74, 39(1)48--58, 40(2)50--66, 43(4)70--89,
44(1)80--88, 46(4)32--49, 48(3)83--86, 49(2)14--17, 49(4)7--10,
49(4)11--12, 49(4)36--45, 50(1)35--37, 50(1)38--59, 50(2)9--11,
50(4)31--32, 51(2)9--10, 51(4)73--74, 52(2)91--91, 52(3)60--60
-
Vesely, 52(2)71--71
-
Veselý, Pavel, 52(2)72--84
-
Vesely:2021:PSP, 52(2)72--84
-
vexing, 52(2)4--6
-
vi, 25(2)25
-
viability, 39(3)77--95
-
viable, 5(4)11--14
-
Viann, Victor, 36(3)24--38
-
Viann:2005:SNC, 36(3)24--38
-
Vianu, Victor, 39(1)77--79, 39(2)91--110
-
Vianu:2008:DTC, 39(1)77--79
-
Vianu:2008:MFC, 39(2)91--110
-
vice, 46(1)63--76
-
Vicious, 29(4)10--14, 60(0)x--390
-
Victor, 36(3)84--93, 36(4)14--17, 37(1)12--13, 43(3)41--44
-
Victoria, 24(2)18--21
-
video, 49(3)6--8, 49(3)14--19
-
Vidick, Thomas, 44(2)47--79
-
Vidick, Thomas, see Aharonov, Dorit
-
Vienna, 4(14)15--26, 50(1)61--64
-
view, 2(4)12--18, 4(14)66--73, 4(14)208--211, 8(3)14--20, 15(1)50--55,
21(4)73--77, 23(0)x--267, 30(2)14--16, 30(2)33--42, 31(4)13--15,
32(1)12--16, 33(2)16--18, 33(2)34--47, 35(3)42--45, 35(3)94--97,
36(2)14--19, 37(3)17--19, 38(3)106--129, 39(0)xiii--136,
39(2)91--110, 39(3)35--39, 41(1)63--73, 42(1)38--42, 46(4)84--87,
48(1)102--109, 51(3)32--54, 51(4)73--74, 52(2)91--91
-
viewed, 2(7)9--10, 27(2)20--29, 41(4)61--64
-
viewpoint, 32(1)111--114, 49(2)33--56, 50(3)52--74
-
viggo/problemlist, 29(4)90--97
-
Vigne, Daniel, 0(0)269
-
Vigne, Daniel, see Davis, Natalie Zemon
-
vii, 0(0)xv--548, 24(3)31--33
-
viii, 24(1)27--28, 41(2)43--46
-
Vijay, 0(0)xxi--754, 34(3)40--61, 41(4)21--24
-
Viking, 37(3)19--26
-
Vin, 48(2)7--11
-
Vince, 42(1)46--48
-
Vince, John, 0(0)300
-
Vince:2009:GAA, 0(0)300, 42(1)46--48
-
Vincent, 43(3)54--55, 45(3)26--28, 48(4)13--17
-
Vingron, 30(4)4--7
-
Viola, 49(2)32--32, 50(3)51--51
-
Viola, Emanuele, 40(1)27--44, 48(1)39--45, 50(3)52--74
-
Viola, Lorenza, 163(1)65--66
-
Viola:2004:BRB, 38(1)14--17, 163(1)65--66
-
Viola:2009:GCC, 40(1)27--44
-
Viola:2017:SCC, 48(1)39--45
-
Viola:2019:GCN, 50(3)52--74
-
violating, 43(2)108--123
-
viral, 0(0)xi--504
-
Virginia, 43(4)57--59, 49(4)28--28, 50(4)56--56
-
virtual, 29(4)20--27, 51(3)59--61, 51(4)82--84
-
viruses, 0(0)xxi--368, 22(0)xvi--227, 41(1)44--47, 51(3)7--9
-
Vishkin, Uzi, 22(4)63--63
-
Vishkin:1991:CPA, 22(4)63--63
-
visibility, 0(0)xiii--318, 22(4)50--59, 24(1)20--25, 24(1)57--58,
24(1)59, 24(1)60, 40(2)33--35
-
visibility, Strong-, 24(1)57--58
-
visibility, Weak-, 24(1)57--58
-
visible, 22(4)50--59, 24(1)57--58
-
vision, 0(0)xiii--318, 0(0)300, 34(1)101--108
-
Visions, 45(4)41--45
-
visit, 0(0)ix--593, 0(0)xiii--228, 45(2)68--72, 46(3)37--55, 49(4)60--63
-
visiting, 33(2)34--47, 36(4)24--35, 48(1)91--100
-
vistas, 44(2)47--79
-
visual, 24(1)57--58
-
visualization, 24(1)59, 49(4)13--16, 89(0)xi--184
-
Visualize, 48(3)14--19
-
vital, 22(3)38--40, 28(3)65--74
-
Vitanyi, 28(3)37--40
-
Vitányi, P. M. B., 0(0)xx--546, 0(0)xx--637, 0(0)xxiii--790,
see Li, Ming
-
Vitányi, Paul M. B., 16(4)56--59
-
Vitanyi:1985:BOV, 8(2)18--24, 16(4)56--59, 17(1)60--64
-
Vitter, Jeffery S., 31(3)2--6
-
Vitter:2000:ASA, 31(3)2--6
-
Vivien, 43(4)41--43
-
Vlach, Frank, 25(2)26--27
-
Vlach:1994:BRB, 25(2)26--27
-
Vladimir, 36(4)111--114
-
VLSI, 24(1)57--58, 24(1)59
-
vocabulary, 39(2)82--83
-
Vocational, 0(0)ix--212
-
Vöcking, 46(4)14--16
-
Vogler, 43(3)32--37
-
voice, 35(3)69--71
-
void-accepting, 30(2)33--42
-
Voilà, 28(4)24--27
-
vol, 0(0)xix--372, 0(0)99999999, 11(2)6--6, 21(1)21, 21(2)21,
34(4)32--34, 36(2)14--19, 40(2)38--41
-
volatile, non-, 46(2)89--95
-
Volk, 52(4)55--55, 52(4)56--73
-
Volk, Ben Lee, 52(4)56--73
-
Volk:2021:GCA, 52(4)56--73
-
Vollmer, 41(4)34--35, 46(4)14--16
-
Vollmer, H., 34(4)38--52, 35(1)22--35
-
Vollmer, H., see Böhler, E.
-
Vollmer, Heribert, 26(1)2--13, 30(1)17--27
-
Vollmer, Heribert, see Hemaspaandra, Lane A.
-
Vollmer, Ulrich, 20(0)xiv--318
-
Vollmer, Ulrich, see Buchmann, Johannes
-
Vollmer:1999:UCC, 30(1)17--27
-
Volpano, Dennis, 29(3)33--42
-
Volpano:1998:CPP, 29(3)33--42
-
volume, 0(0)xiv--465, 0(0)xvii--164, 4A_0_xv_883, 24(3)31--33,
24(4)45--48, 30(2)7--7, 33(4)9--11, 37(3)19--26, 38(2)75--86,
39(2)32--35, 41(3)34--36, 44(2)36--39, 44(3)28--31, 50(1)28--34,
51(3)14--19
-
volume, maximum-, 50(3)75--90
-
Volume, One-, 0(0)xiv--717
-
volunteer, 38(1)7--8
-
volunteered, 49(3)6--8
-
Voronoi, 22(4)50--59
-
vote, 33(1)32--45, 49(2)14--17
-
Voting, 22(0)xiv--226, 41(3)34--36
-
Vovk, 37(4)38--40
-
Vovk, Vladimir, 0(0)xiv--324
-
Vovk:2005:ALR, 0(0)xiv--324, 37(4)38--40
-
VS, 41(2)50--51
-
vs-NP, P-, 33(2)34--47
-
vs.-RL, L-, 36(2)25--42
-
Vu, 45(1)24--26
-
Vuillemin, Jean, 4(14)27--50
-
Vuillemin, Jean, see Manna, Zohar
-
Vukoli{\'c}, Marko, 41(3)105--111
-
Vukolic:2010:BEI, 41(3)105--111
-
Vyalyi, 38(1)14--17
-
Vyalyi, M. N. (Mikhail N.), 47(0)xiii--257,
see Kitaev, A. Yu. (Alexei Yu.)
-
Vygen, 44(3)31--35
-
Vygen, Jens, 21(0)xi--530, 21(0)xiii--530, 21(0)xvii--627,
21(0)xix--659
-
Vygen, Jens, see Korte, Bernhard H. (Bernhard H.),
see Korte, Bernhard