Index file section V for tcs2000.bib
Last update: Fri Oct 18 02:03:45 MDT 2024
Return to index directory
V
-
V'yugin, V. V., 276(1)407--415
-
Vaandrager, Frits, 254(1)225--257
-
Vaandrager, Frits, see Springintveld, Jan
-
Vaccaro, Ugo, 230(1)167--193, 233(1)165--189, 259(1)359--377,
259(1)493--511, 270(1)877--893, 306(1)223--243
-
Vaccaro, Ugo, see Bermond, Jean-Claude,
see Bonis, Annalisa De,
see Cicalese, Ferdinando,
see Marco, Gianluca De
-
Vacillatory, 241(1)115--141
-
Vágvölgyi, S., 250(1)219--233,
see Fülöp, Z.
-
Vágvölgyi, Sándor, 238(1)247--274, 242(1)477--498,
300(1)209--234, 302(1)135--165, 304(1)449--459, 309(1)195--211,
329(1)115--158, see Gyenizse, Pál,
see Hornung, Tamás
-
Vagvolgyi:2000:CCG, 238(1)247--274
-
Vagvolgyi:2003:GTT, 304(1)449--459
-
Vagvolgyi:2003:IFG, 300(1)209--234
-
Vagvolgyi:2003:RLH, 309(1)195--211
-
Vagvolgyi:2003:TRR, 302(1)135--165
-
Vajnovszki, Vincent, 307(2)415--431
-
Vajnovszki:2003:LAG, 307(2)415--431
-
valences, 276(1)377--405
-
Valencia-Pabon, Mario, 297(1)119--143
-
Valencia-Pabon, Mario, see Corteel, Sylvie
-
Valentini, Silvio, 290(1)189--219
-
Valentini:2002:CCC, 290(1)189--219
-
Valiant, 235(1)71--88
-
Valiant, Leslie G., 289(1)457--471, 299(1)795--795
-
Valiant:2002:EM, 289(1)457--471, 299(1)795--795
-
Valiant:2003:CEM, 289(1)457--471, 299(1)795--795
-
validate, 291(2)203--218
-
Validating, 283(2)381--418
-
Valiev, Mars, 303(1)63--81
-
Valiev, Mars, see Dekhtyar, Michael
-
Vallée, Brigitte, 297(1)447--486
-
Vallee:2003:DAC, 297(1)447--486
-
valuation, 292(1)85--96
-
value, 273(1)271--282, 293(1)25--44, 325(3)467--478
-
value, call-by-, 272(1)197--221, 290(1)429--463
-
value-passing, 238(1)313--345
-
valued, 266(1)489--512, 276(1)133--146
-
valued, Poset-, 315(1)83--107
-
valued, real-, 268(2)351--366
-
Valverde, A., 266(1)81--112
-
Valverde, A., see Aguilera, G.
-
Van Barel, M. Marc, 315(2)581--592
-
Van Barel, M. Marc, see Pan, Victor Y.
-
Van den Bussche, Jan, 254(1)363--377, 296(3)377--377
-
Van Gucht, Dirk, 254(1)423--463
-
Van Gucht, Dirk, see Vandeurzen, Luc
-
Van Hentenryck, Pascal, 277(1)1--2
-
Van Wyk, Eric, 291(3)351--385
-
Vanackère, Vincent, 290(1)695--740,
see Amadio, Roberto M.
-
vanBakel:2002:ITT, 272(1)3--40
-
vanBakel:2002:NAS, 290(1)975--1019
-
vanBreugel:2001:IMS, 258(1)1--98
-
VandenBussche:2001:SNR, 254(1)363--377
-
VandenBussche:2003:F, 296(3)377--377
-
vandenHerik:2001:F, 252(1)1--3
-
vanderAalst:2002:IWA, 270(1)125--203
-
Vandermonde, 237(1)477--483
-
vanderWalt:2000:SLR, 237(1)149--158
-
vanderWalt:2003:PRC, 301(1)313--320
-
vanderWoude:2003:CSE, 293(1)13--24
-
Vandeth, Drew, 242(1)283--300
-
Vandeth:2000:SWW, 242(1)283--300
-
Vandeurzen, Luc, 254(1)423--463
-
Vandeurzen:2001:ELC, 254(1)423--463
-
vanGlabbeek:2004:WBF, 311(1)463--478
-
VanHentenryck:2002:E, 277(1)1--2
-
vanMelkebeek:2000:ZOL, 244(1)283--288
-
VanWyk:2003:SLA, 291(3)351--385
-
vanZijl:2004:BNS, 328(1)161--170
-
vanZijl:2004:GAS, 313(1)159--172
-
Vardi, Moshe Y., 295(1)295--321
-
Vardi, Moshe Y., see Piterman, Nir
-
variability, 243(1)307--338, 275(1)111--125
-
variable, 232(1)187--229, 238(1)495--498, 241(1)25--35, 243(1)167--184,
268(2)179--198, 297(1)261--270, 302(1)489--495, 304(1)59--86,
307(1)139--172, 311(1)1--70, 312(2)281--293, 327(1)155--174,
329(1)93--113
-
variable, clause-, 289(1)503--516
-
variable, one-, 261(1)119--156
-
variable, Three-, 322(1)147--173
-
variance, 242(1)143--168, 270(1)913--919
-
variant, 237(1)465--475, 276(1)261--279, 292(2)359--376, 301(1)201--215,
302(1)45--91, 320(2)373--394, 324(2)347--359
-
variety, 230(1)235--245, 266(1)853--886, 312(2)433--461
-
various, 212(1)261--303, 266(1)997--998, 281(1)471--498, 314(3)375--386
-
Varjú, Erzsébet, Csuhaj-, 255(1)511--538, 276(1)205--219,
299(1)785--794
-
Varricchio, Stefano, 327(3)255--268
-
Varricchio, Stefano, see D'Alessandro, Flavio
-
Vassalos, P., 315(2)557--579
-
Vassalos, P., see Noutsos, D.
-
Vaszil, György, 255(1)511--538, 276(1)205--219, 299(1)785--794,
see Csuhaj-Varjú, Erzsébet
-
VAUCANSON, 328(1)77--96
-
Vazirani, Vijay V., 235(1)205--216
-
Vazirani:2000:RRA, 235(1)205--216
-
Veanes, Margus, 243(1)167--184
-
Veanes, Margus, see Degtyarev, Anatoli
-
vector, 255(1)641--648, 312(2)379--399, 315(1)191--208
-
vector, bit-, 313(1)3--16
-
Vectorial, 310(1)79--116
-
Vedova, Gianluca Della, 259(1)63--79
-
Vedova, Gianluca Della, see Bonizzoni, Paola
-
Vega, W. Fernandez de la, 265(1)131--146
-
Vegas, 262(1)1--24
-
vehicle, 324(2)147--160
-
vehicle, multi-, 312(2)267--280
-
Veith, Helmut, 288(1)101--128
-
Veith, Helmut, see Eiter, Thomas
-
Vel, Olivier de, 302(1)275--294
-
Vel, Olivier de, see Jiang, Zhuhan
-
Velebil, Ji í, 300(1)1--45, see Aczel, Peter
-
Velebil, Ji{\v{r}}{\'\i}, 316(1)3--23,
see Adámek, Ji{\v{r}}{\'\i}
-
Vempala, Santosh, 235(1)25--42, 321(1)13--24
-
Vempala, Santosh, see Blum, Avrim,
see Bornstein, C. F. Claudson F.
-
Vene, Varmo, 272(1)315--339
-
Vene, Varmo, see Uustalu, Tarmo
-
Venema, Yde, 327(1)109--134
-
Venema, Yde, see Kupke, Clemens
-
Venkateswaran, H., 237(1)197--212
-
Venkateswaran, H., see Sengupta, Rimli
-
Venneri, Betti, 240(1)215--254
-
Venneri, Betti, see Nicola, Rocco De
-
Ventsov, Yuri, 268(2)221--273
-
Ventsov, Yuri, see Stephan, Frank
-
Verbitsky, O., 313(3)427--446
-
Verbitsky, O., see Harary, F.
-
Verbrugge, Clark, 238(1)31--80
-
Verbrugge, Clark, see Panangaden, Prakash
-
Vereshchagin, N., 271(1)111--123
-
Vereshchagin, N., see Romashchenko, A.
-
Vereshchagin, Nikolai, 271(1)47--58, 271(1)69--95, 271(1)125--129
-
Vereshchagin, Nikolai, see Chernov, Alexei,
see Durand, Bruno, \see{Shen, Alexander
-
Vereshchagin, Nikolai K., 271(1)59--67, 271(1)131--143
-
Vereshchagin:2002:IML, 271(1)131--143
-
Vereshchagin:2002:KCC, 271(1)59--67
-
Verger-Gaugry, J.-L. Jean-Louis, 319(1)281--305
-
Verger-Gaugry, J.-L. Jean-Louis, see Elkharrat, Avi
-
verification, 239(1)165--185, 253(1)27--60, 253(1)119--152,
256(1)113--144, 256(1)145--167, 275(1)347--388, 282(1)101--150,
289(1)165--189, 295(1)85--106, 296(1)59--74, 299(1)413--438,
302(1)93--121, 313(1)57--71, 318(3)243--296, 328(1)19--37
-
Verified, 298(3)583--626
-
verifiers, 298(3)583--626
-
Vermeulen, J. J. C., 305(1)135--158
-
Vermeulen, J. J. C., see Hardie, K. A.
-
Verri, M. Cecilia, 242(1)109--124, 282(2)337--352, 285(1)73--88
-
Verri, M. Cecilia, see Merlini, Donatella
-
Verschelde, Jan, 315(2)651--669
-
Verschelde, Jan, see Sommese, Andrew J.
-
versions, 299(1)763--774
-
versus, 235(1)71--88, 259(1)405--426, 262(1)473--499, 264(1)127--137,
279(1)3--27, 286(1)97--116, 290(1)1021--1056, 302(1)257--274,
303(1)103--133, 324(2)361--380
-
vertex, 246(1)107--116, 262(1)215--227, 263(1)255--261, 263(1)333--344,
265(1)199--225
-
vertex, eight-, 303(2)539--552
-
vertex-disjoint, 264(1)65--90
-
vertex-ordering, 235(1)25--42
-
vertex-partitioning, 299(1)719--734
-
vertex-rankings, 240(2)407--427
-
Verus, 253(1)95--118
-
very, 250(1)55--69, 261(1)119--156, 298(1)179--206, 315(2)405--417,
315(2)469--510, 377(1)282--283
-
Vî, L. S., 305(1)473--489
-
Vi:2003:CTP, 305(1)473--489
-
Vialette, Stéphane, 312(2)223--249
-
Vialette:2004:CCI, 312(2)223--249
-
Vianu, Victor, 239(2)231--255, 296(3)377--377
-
Vianu, Victor, see Abiteboul, Serge,
see Van den Bussche, Jan
-
Vickers, S. J., 316(1)297--321
-
Vickers, Steven, 305(1)311--346, 316(1)259--296
-
Vickers, Steven, see Resende, Pedro
-
Vickers:2004:ESS, 316(1)259--296
-
Vickers:2004:UCD, 316(1)297--321
-
Vidal, Germán, 311(1)479--525,
see Alpuente, María
-
Vide, Carlos, Martín-, 244(1)289--298, 270(1)779--796,
296(2)295--326, 312(2)143--188
-
Viennot, Laurent, 234(1)59--84
-
Viennot, Laurent, see Habib, Michel
-
view, 233(1)1--18, 238(1)81--130, 239(2)189--210, 242(1)29--40,
280(1)163--192, 285(2)155--185, 292(3)597--610, 300(1)1--45,
305(1)111--134, 305(1)159--186, 320(2)395--418, 327(1)175--195
-
viewpoint, 274(1)89--115, 291(1)79--101
-
Viglas, Anastasios, 302(1)257--274
-
Viglas, Anastasios, see Karakostas, George
-
Vigna, Sebastiano, 231(2)143--156, 282(2)259--270
-
Vigna, Sebastiano, see Boldi, Paolo
-
Vigneron, Antoine, 296(1)47--58, 296(1)75--87
-
Vigneron, Antoine, see Cheong, Otfried,
see Duncan, Rob
-
Vilares, J., 328(1)171--186
-
Vilares, J., see Vilares, M.
-
Vilares, M., 328(1)171--186
-
Vilares:2004:FFR, 328(1)171--186
-
Villalba, L. J., García-, 259(1)679--688
-
Vina, Tomá, 302(1)475--480, see Biedl, Therese
-
Vina{\v{r}}, Tom{\'a}{\v{s}}, 310(1)287--307,
see Biedl, Therese
-
Vincent, A., 303(1)7--34
-
Vincent, A., see Arnold, A.
-
Vink, Erik de, 327(1)3--22
-
Vink, Erik de, see Bartels, Falk
-
Vinodchandran, N. V., 241(1)51--81, 242(1)199--218
-
Vinodchandran, N. V., see Arvind, V.
-
Viola, A., 297(1)1--1
-
Viola:2003:P, 297(1)1--1
-
virtual, 291(1)3--28
-
Viry, Patrick, 285(2)487--517
-
Viry:2002:ERR, 285(2)487--517
-
visibility, 234(1)219--232, 255(1)659--665, 276(1)417--424,
289(2)919--937
-
visual, 240(2)471--485, 250(1)143--161, 314(3)351--374
-
visualization, 292(2)547--571
-
vital, 296(1)167--177
-
Vitányi, Paul, 235(1)59--70, 241(1)3--23,
see Buhrman, Harry
-
Vitanyi:2000:DEP, 241(1)3--23
-
Vöge, Jens, 231(1)47--57, see Lescow, Helmut
-
Vöge, Markus, 307(2)433--453
-
Voge:2003:NHP, 307(2)433--453
-
Vogler, Heiko, 314(3)387--429
-
Vogler, Heiko, see Fülöp, Zoltán
-
Vogler, Walter, 254(1)379--422, 275(1)589--631, 286(1)33--63
-
Vogler, Walter, see Jenner, Lars
-
Vogler:2002:EAS, 275(1)589--631
-
Vogler:2002:POS, 286(1)33--63
-
Volanschi, Eugen-Nicolae, 248(1)201--210
-
Volanschi, Eugen-Nicolae, see Muller, Gilles
-
Volkov, M. V., 307(1)77--92, 327(3)225--239
-
Volkov, M. V., see Ananichev, D. S.
-
volume, 254(1)699--700, 255(1)699--700, 256(1)169--169, 257(1)253--253,
258(1)599--599, 259(1)699--700, 260(1)249--249, 260(1)251--259,
261(2)333--334, 262(1)699--700, 263(1)379--380, 265(1)307--307,
266(1)999--1000, 267(1)157--157, 268(2)395--395, 269(1)499--499,
274(1)277--277, 275(1)699--699, 276(1)465--466, 277(1)223,
278(1)335, 279(1)97, 284(2)207--240, 284(2)557--558
-
Völzer, Hagen, 262(1)285--310, see Kindler, Ekkart
-
vonzurGathen:2003:SR, 297(1)199--239
-
vonzurGathen:2004:FAG, 315(2)419--452
-
Vorobyov, Sergei, 275(1)463--479, 310(1)365--378
-
Vorobyov, Sergei, see Björklund, Henrik
-
Vorobyov:2002:ETC, 275(1)463--479
-
Voronkov, Andrei, 243(1)167--184
-
Voronkov, Andrei, see Degtyarev, Anatoli
-
Voronoi, 263(1)263--274, 283(1)203--221, 310(1)457--467
-
Voss, Heinz-Jürgen, 295(1)263--278,
see Král', Daniel
-
voting, 258(1)555--571, 321(1)73--94
-
Vovk, V., 261(1)57--79
-
Vovk, Volodya, 261(1)179--209, 287(1)209--217, 313(2)195--207
-
Vovk, Volodya, see Gammerman, Alex,
see Kalnishkan, Yuri, \see{Takimoto, Eiji
-
Vovk:2001:PTB, 261(1)57--79
-
Vries, Fer-Jan de, 272(1)3--40, 298(2)275--302
-
Vries, Fer-Jan de, see Bakel, Steffen van,
see Dezani-Ciancaglini, Mariangiola
-
Vries, Sven de, 281(1)455--469
-
Vries, Sven de, see Gritzmann, Peter
-
Vrt'o, Imrich, 245(2)281--294, 307(3)503--513
-
Vrt'o, Imrich, see Calamoneri, Tiziana,
see Shahrokhi, Farhad
-
vs, 295(1)123--140
-
Vuillon, L., 303(2)265--265, 319(1)1--1
-
Vuillon, L., see Durand, B.
-
Vuillon, Laurent, 270(1)525--560, 281(1)99--107
-
Vuillon, Laurent, see Berstel, Jean,
see Mairesse, Jean
-
Vuillon:2004:F, 319(1)1--1
-
Vyugin, Michael V., 271(1)131--143, 313(2)195--207
-
Vyugin, Michael V., see Kalnishkan, Yuri,
see Vereshchagin, Nikolai K.
-
Vyugin, Mikhail V., 271(1)145--150
-
Vyugin:2002:IDC, 271(1)145--150
-
Vyugin:2002:NDS, 276(1)407--415