Index file section V for lncs1993.bib

Last update: Sat Jan 22 02:09:38 MST 2022               

Return to index directory

V

• V, 712(0)393--z
• v-Refinement, 679(0)60--z
• Vaananen, Kaisa, 733(0)39--z
• Vaananen:1993:SMB, 733(0)39--z
• Vaccaro, U., 665(0)692--z, 740(0)148--167
• Vaccaro, U., see Blundo, C.
• Vaccaro, Ugo, 658(0)1--z, 740(0)471--486
• Vaccaro, Ugo, see Blundo, Carlo
• Vacillatory, 743(0)159--z
• Vadaparty, K., 759(0)45--z
• Vadaparty:1993:DPN, 759(0)45--z
• Vagvolgyi, S., 710(0)440--z
• Vagvolgyi, S., see Slutzki, G.
• Vaishnavi, V. K., 761(0)419--z
• Vaishnavi:1993:SFS, 761(0)419--z
• Valderrama, E., 686(0)426--z, 686(0)638--z
• Valderrama, E., see Carrabina, J., see Lisa, F.
• Valente, T., 722(0)66--z
• Valente, T., see Diaz, A.
• Valentini, Silvio, 713(0)69--z
• Valentini, Silvio, see Sambin, Giovanni
• Valeri, Sandra, 701(0)176--z
• Valeri, Sandra, see Fabrizio, Annalina
• Valev, V., 719(0)128--z
• Valev:1993:MBI, 719(0)128--z
• Valiant, 761(0)444--z
• Valiant, Leslie G., 678(0)1--z
• Valiant:1993:CMP, 678(0)1--z
• Validating, 685(0)165--z, 706(0)216--z
• Validation, 682(0)330--z, 685(0)118--z, 685(0)143--z, 723(0)427--z
• Valiente, G., 689(0)86--z
• Valiente:1993:IDC, 689(0)86--z
• Valmari, A., 674(0)427--z
• Valmari:1993:CSS, 674(0)427--z
• Valuation, 747(0)186--z
• value, 665(0)398--z, 686(0)20--z, 702(0)395--z, 719(0)82--z, 726(0)321--z, 727(0)360--z, 744(0)300--313, 759(0)191--z
• value, Call-by-, 664(0)376--z
• value-passing, 715(0)217--z
• valued, 3-, 728(0)23--z
• valued, Boolean-, 744(0)251--264
• Valued, Finetely-, 689(0)49--z
• Valued, Many-, 698(0)158--z, 698(0)345--z
• Valued, Multiple-, 689(0)275--z
• valued, Set-, 730(0)146--z
• Valued, Three-, 689(0)29--z, 735(0)26--z
• valves, 665(0)90--z
• Van Baelen, Stefan, 742(0)393--z
• van Bakel, S., 664(0)29--z, 761(0)13--z
• Van Breugel, F., 711(0)252--z
• Van Breugel, F., see de Bakker, J. W.
• Van Cutsem, B., 726(0)169--z
• Van Cutsem, B., see Flajolet, P.
• Van de Riet, R., 685(0)547--z
• Van de Riet, R., see Croshere, R.
• Van Den Berg, H., 699(0)411--z
• Van den Bussche, J., 760(0)267--z
• Van den Eijnde, J. P. H. W., 669(0)3--20
• Van den Eijnde, J. P. H. W., see Backhouse, R. C.
• Van Denneheuvel, S., 720(0)541--z
• Van Denneheuvel, S., see Rotterdam, E.
• van der Hoek, W., 747(0)265--z, 747(0)380--z
• van der Hoek, W., see Meyer, J.-J. Ch., see Witteveen, C.
• van der Laag, P. R. J., 728(0)178--z
• van der Laag, P. R. J., see Nienhuys-Cheng, S. H.
• van der Torre, L. W. N., 728(0)178--z
• van der Torre, L. W. N., see Nienhuys-Cheng, S. H.
• Van Emde Boas, P., 720(0)541--z
• Van Emde Boas, P., see Rotterdam, E.
• Van Gasteren, A. J. M., 669(0)3--20
• Van Gasteren, A. J. M., see Backhouse, R. C.
• Van Glabbeek, R. J., 711(0)473--z
• Van Glabbeek, Rob J., 715(0)66--z
• van Harmelen, Frank, 671(0)110--z
• van Harmelen, Frank, see Coulon, Carl-Helmut
• Van Heijst, Gertjan, 723(0)139--z
• Van Heijst, Gertjan, see Alllemang, Dean
• Van Hentenryck, P., 724(0)1--z, 724(0)15--z
• Van Hentenryck, P., see Le Charlier, B.
• Van Kreveld, M., 709(0)36--z, 709(0)210--z, 709(0)452--z, 726(0)121--z
• Van Kreveld, M., see Agarwal, P. K., see Bose, P., \see{de Berg, M.
• Van Limberghen, Marc, 707(0)197--z
• Van Limberghen, Marc, see Steyaert, Patrick
• Van Oosterom, Peter, 716(0)139--z
• Van Oosterom, Peter, see de Hoop, Sylvia
• Van Roy, P., 724(0)111--z
• Van Schouwen, A. J., 736(0)452--z
• Van Schouwen, A. J., see Engel, M.
• Van Tilburg, J., 741(0)71--86
• van Tilburg, Johan, 739(0)288--z
• van Tilburg, Johan, see Meijers, Joost
• Van Vliet, R. G., 719(0)698--z
• Van Vliet, R. G., see Hanajik, M.
• VanBaelen:1993:COO, 742(0)393--z
• vanBakel:1993:EIT, 761(0)13--z
• vanBakel:1993:PIT, 664(0)29--z
• VanDenBerg:1993:MLC, 699(0)411--z
• VandenBussche:1993:EPE, 760(0)267--z
• Vanderdonckt, J., 753(0)83--z
• Vanderdonckt, J., see Bodart, F.
• Vanderdonckt, Jean, 733(0)431--z
• Vanderdonckt, Jean, see Bodart, François
• Vandermeulen, D., 687(0)487--z
• Vandermeulen:1993:CVC, 687(0)487--z
• Vandewalle, J., 718(0)105--121, 718(0)535--538, 741(0)20--32, 741(0)87--131, 741(0)179--192, 741(0)227--234
• Vandewalle, J., see Bosselaers, A., see Preneel, B., \see{Verschuren, J.
• Vandewalle, Joos, 739(0)82--96, 739(0)477--480
• Vandewalle, Joos, see Daemen, Joan
• Vandewalle:1993:TAT, 741(0)20--32
• Vandoni, L., 685(0)504--z
• Vandoni, L., see De Antonellis, V.
• VanGlabbeek:1993:CAB, 711(0)473--z
• VanGlabbeek:1993:LTB, 715(0)66--z
• vanHeijst:1993:NCF, 740(0)15--30
• VanHentenryck:1993:IGA, 724(0)1--z
• vanHeyst:1993:HME, 658(0)366--99999999
• VanKreveld:1993:FPF, 709(0)452--z
• VanRoy:1993:CDU, 724(0)111--z
• Vanstone, Scott A., 658(0)163--z, 658(0)482--z
• Vanstone, Scott A., see Agnew, Gordon B., see Harper, Greg
• Vantaggiato, A., 722(0)364--368
• Vantaggiato:1993:MFF, 722(0)364--368
• VanTilburg:1993:SKE, 741(0)71--86
• Vapnik--Chervonenkis, 744(0)279--287
• Varaiya, Pravin, 712(0)315--z
• Varaiya, Pravin, see Yee, James
• Vargas, J. R., 719(0)627--z
• Vargas:1993:MQP, 719(0)627--z
• Vargiu, F., 709(0)151--z
• Vargiu, F., see Di Battista, G.
• variable, 677(0)43--z, 686(0)90--z, 687(0)459--z, 711(0)714--z, 711(0)724--z, 713(0)108--z, 714(0)201--z, 718(0)83--104, 762(0)389--398
• Variable-Length, 726(0)49--z
• Variant, 679(0)93--z, 689(0)59--z, 719(0)822--z, 722(0)145--z
• variation, 747(0)310--z
• Various, 659(0)89--z, 682(0)33--z, 744(0)197--208
• Varricchio, S., 665(0)595--z
• Varricchio:1993:PTA, 665(0)595--z
• Varying, Time-, 708(0)19--z, 723(0)300--z
• varying, time-, 728(0)314--z
• Varzi, A. C., 728(0)326--z
• Varzi:1993:SRH, 728(0)326--z
• Vasconcelos, Vasco T., 715(0)524--z, 742(0)460--z
• Vasconcelos:1993:PTS, 715(0)524--z
• Vasconcelos:1993:TSC, 742(0)460--z
• Vassilakopoulos, M., 719(0)41--z
• Vassilakopoulos:1993:ARQ, 719(0)41--z
• Vaudenay, Serge, 740(0)587--593
• Vaudenay:1993:FHI, 740(0)587--593
• Vaughan, 711(0)142--z
• Vauzeilles, J., 747(0)121--z
• Vauzeilles, J., see Fouquere, C.
• Vazirani, V. V., 700(0)64--z
• Vazirani, V. V., see Garg, N.
• Vazqez, M., 720(0)523--z
• Vazqez, M., see Baaz, M.
• VC-Dimension, 744(0)251--264
• VC-Dimensions, 744(0)328--341
• VDM, 742(0)529--z
• vector, 678(0)48--z, 686(0)216--z, 686(0)328--z, 686(0)340--z, 686(0)346--z, 686(0)488--z, 687(0)48--z, 710(0)256--z, 719(0)149--z, 719(0)387--z, 719(0)822--z, 732(0)276--z, 759(0)191--z
• Vedder, K., 741(0)193--210
• Vedder:1993:SAM, 741(0)193--210
• Veglioni, S., 711(0)618--z
• Veglioni, S., see Parisi-Presicce, F.
• Vehicle, 686(0)638--z, 720(0)611--z, 762(0)486--495
• Veijalainen, J., 720(0)181--z
• Veijalainen:1993:HMT, 720(0)181--z
• Velbitskiy, I., 753(0)181--z
• Velbitskiy, I., see Ushakov, I.
• Veldhorst, M., 726(0)284--z
• Veldhorst, M., see Lenstra, J. K.
• Vellasco, M. M. B. R., 686(0)476--z
• Vellasco:1993:GNA, 686(0)476--z
• Veltman, B., 726(0)284--z
• Veltman, B., see Lenstra, J. K.
• Vemuri, B. C., 687(0)62--z
• Vemuri:1993:MRS, 687(0)62--z
• Veneris, A. G., 725(0)54--z
• Veneris, A. G., see Kirousis, L. M.
• Veni Madhavan, C. E., 762(0)31--37
• Veni Madhavan, C. E., see Furer, M.
• Venkatesan, Ramarathnam, 740(0)196--214
• Venkatesan, Ramarathnam, see Naor, Moni
• Venkatesan, S., 749(0)101--z
• Venkatesan, S., see Alagar, Sridhar
• Verbeeck, R., 687(0)487--z
• Verbeeck, R., see Vandermeulen, D.
• Verbeek, R., 700(0)227--z
• Verbeek, R., see Karpinski, M.
• verbs, 699(0)162--z
• Vergauwen, Bart, 715(0)447--z
• Vergauwen:1993:LLM, 715(0)447--z
• Verhoef, Chris, 715(0)477--z
• Verhoef, Chris, see Baeten, Jos C. M.
• verifiable, 718(0)296--z
• verification, 685(0)521--z, 689(0)405--z, 698(0)86--z, 698(0)158--z, 705(0)35--z, 705(0)162--z, 715(0)233--z, 717(0)11--z, 722(0)374--z, 724(0)60--z, 736(0)209--z, 739(0)412--z, 761(0)284--z
• verifier, 665(0)708--z
• verifying, 665(0)428--z, 711(0)311--z, 711(0)660--z, 727(0)13--z, 736(0)4--z
• Verifying, Self-, 713(0)325--z
• Verleysen, M., 686(0)340--z
• Verleysen:1993:LVC, 686(0)340--z
• Versatility, 698(0)194--z, 714(0)60--z
• Verschuren, J., 741(0)179--192
• Verschuren:1993:IOS, 741(0)179--192
• Version, 658(0)461--z, 696(0)258--z, 700(0)478--z, 720(0)24--z, 727(0)136--z, 733(0)317--z, 734(0)87--z, 740(0)183--195, 742(0)220--z
• Versioning, 696(0)111--z, 760(0)459--z
• versus, 659(0)254--z, 664(0)318--z, 685(0)352--z, 686(0)569--z, 700(0)227--z, 718(0)156--z, 761(0)94--z
• vertex, 657(0)60--z, 710(0)181--z
• Vertex-Connectivity, 726(0)236--z
• Vertex-Disjoint, 726(0)200--z
• Very, 658(0)163--z, 730(0)279--z
• Vessel, 687(0)94--z, 719(0)649--z, 719(0)687--z
• VHDL, 705(0)112--z, 705(0)134--z
• Vianu, V., 700(0)606--z
• Vianu, V., see Abiteboul, S.
• Vicario, E., 745(0)222--z
• Vicario, E., see Del Bimbo, A.
• Vicat, Catherine, 723(0)237--z
• Vicat:1993:CCA, 723(0)237--z
• Vicente, C. J. Perez, 686(0)161--z
• Vicente, C. J. Perez, see Arenas, A.
• Vicente, C., Perez-, 686(0)638--z
• Vico, F. J., 686(0)78--z
• Vico:1993:LRP, 686(0)78--z
• Vidal, A. R., Figueiras-, 686(0)525--z, 686(0)605--z
• Vidal, E., 686(0)210--z, 686(0)334--z
• Vidal, E., see Castano, M. A., see Perez, J.-C.
• Vidal, G., 714(0)391--z
• Vidal, G., see Alpuente, M.
• Video, 712(0)3--z, 712(0)81--z, 712(0)250--z, 712(0)274--z, 712(0)399--z
• Vienna, 757(0)248--263
• Viergever, M. A., 687(0)77--z, 687(0)212--z
• Viergever, M. A., see Haring, S., see Romeny, B. M. ter Haar
• Vieu, Laure, 716(0)25--z
• Vieu:1993:LFR, 716(0)25--z
• View, 671(0)272--z, 685(0)71--z, 706(0)111--z, 714(0)201--z, 717(0)100--z, 719(0)528--z, 719(0)543--z, 730(0)362--z, 740(0)260--279, 742(0)237--z, 757(0)512--z
• Viewed, 682(0)256--z
• Viewer-Centered, 745(0)307--z
• Viewing, 671(0)87--z, 696(0)93--z
• Viewing, Joint-, 712(0)106--z
• Viewpoints, 706(0)180--z, 720(0)401--z
• views, 711(0)382--z, 719(0)502--z, 742(0)220--z, 742(0)251--z
• Vigano, L., 728(0)11--z
• Vigano, L., see Armando, A.
• Viklund, L., 722(0)145--z
• Viklund, L., see Fritzson, P.
• Viksna, J., 744(0)164--172
• Viksna, Juris, 659(0)323--z
• Viksna:1993:LGQ, 744(0)164--172
• Viksna:1993:PIA, 659(0)323--z
• Vila, M. A., 747(0)73--z
• Vila, M. A., see Cubero, J. C.
• Villemaire, R., 700(0)325--z
• Villemaire, R., see Michaux, C.
• Villmann, T., 686(0)312--z
• Villmann, T., see Der, R.
• Vin, Harrick M., 712(0)56--z
• Vin:1993:ACA, 712(0)56--z
• Vincent, N., 719(0)726--z
• Vincent, N., see Boulecane, H.
• Vincent, P., St-, 720(0)502--z
• Vincentelli, Alberto, Sangiovanni-, 705(0)26--z
• Vinter, S., 731(0)147--z
• Vinter, S., see Tikku, S.
• VIP, 733(0)415--z
• Virbitskaite, I. B., 735(0)239--z
• Virbitskaite:1993:OSP, 735(0)239--z
• Virtual, 745(0)368--z, 755(0)355--371
• Vishkin, Uzi, 678(0)11--z
• Vishkin:1993:CPS, 678(0)11--z
• Visibility, 716(0)248--269
• Visible, 762(0)323--332
• vision, 662(0)vi--143, 686(0)620--z, 708(0)139--z, 708(0)183--z, 719(0)1--z, 719(0)10--z, 719(0)706--z, 719(0)711--z, 745(0)70--z, 745(0)276--z, 745(0)307--z
• Visual, 686(0)20--z, 686(0)24--z, 686(0)370--z, 708(0)106--z, 708(0)163--z, 719(0)363--z, 719(0)468--z, 719(0)732--z, 719(0)800--z, 719(0)813--z, 723(0)379--z, 733(0)429--z, 745(0)322--z, 753(0)181--z
• Visualisation, 685(0)143--z, 717(0)451--z, 753(0)152--z, 753(0)163--z
• Visualisation, Meta-, 720(0)756--z
• Visualization, 687(0)168--z, 722(0)341--z, 733(0)417--z, 734(0)105--z, 749(0)255--z
• Visualizing, 748(0)183--z
• Visually, 744(0)356--369, 753(0)272--z
• VITAL, 723(0)320--z
• Vitter, J. S., 665(0)640--z
• Vitter, J. S., see Sairam, S.
• Vlachantonis, N., 685(0)463--z, 720(0)673--z
• Vlachantonis:1993:CSO, 720(0)673--z
• Vlachantonis:1993:TRI, 685(0)463--z
• VLFash, 719(0)788--z
• Vliet, R. G., Van, 719(0)698--z
• Vlissides, John, 707(0)406--431
• Vlissides, John, see Gamma, Erich
• VLIWash, 757(0)49--z
• VLSI, 709(0)553--z, 732(0)219--z, 748(0)359--z, 749(0)350--z
• VLSI-Design, 671(0)176--z
• Vob, Angi, 671(0)110--z
• Vob, Angi, see Coulon, Carl-Helmut
• Vocabularies, 754(0)34--z
• Vogler, W., 700(0)532--z
• Vogler:1993:TTC, 700(0)532--z
• Voice, 753(0)242--z
• Voisard, Agnes, 716(0)341--z
• Voisard, Agnes, see Rigaux, Philippe
• Volker, 711(0)68--z
• Volta, Gary S., 716(0)215--z
• Volta:1993:IGA, 716(0)215--z
• Voltage-Controlled, 686(0)37--z
• Voltolina, M., 745(0)137--z
• Voltolina:1993:ODE, 745(0)137--z
• Volume, 686(0)714--z, 687(0)94--z, 687(0)293--z, 719(0)510--z, 719(0)669--z, 719(0)687--z, 732(0)246--z, 734(0)105--z
• von Braunmuhl, B., 665(0)5--z
• von Der Beeck, M., 717(0)313--z
• von Mayrhauser, Anneliese, 706(0)177--z, 706(0)183--z
• vonBraunmuhl:1993:ATW, 665(0)5--z
• vonDerBeeck:1993:ISA, 717(0)313--z
• vonHanxleden:1993:CAI, 757(0)97--111
• vonMayrhauser:1993:DS, 706(0)183--z
• vonMayrhauser:1993:RSS, 706(0)177--z
• Vorobyov, Sergei, 656(0)315--z
• Vorobyov:1993:COC, 656(0)315--z
• Voronkov, Andrei, 713(0)301--z
• Voronkov, Andrei, see Sazonov, Vladimir
• Voronoi, 716(0)202--z, 726(0)133--z, 761(0)218--z
• Vos, F., 687(0)132--z
• Vos, F., see Tagare, H. D.
• Voss, K., 719(0)123--z
• Voss, K., see Suesse, H.
• Vossen, G., 720(0)36--z, 760(0)267--z
• Vossen, G., see Gross-Hardt, M., see Van den Bussche, J.
• Vossos, G., 728(0)160--z
• Vossos:1993:DCO, 728(0)160--z
• voting, 718(0)244--z, 739(0)288--z
• Voxel, 687(0)487--z
• vs, 657(0)248--z, 762(0)353--362
• Vuillemin, Jean, 678(0)119--z
• Vuillemin, Jean, see Bertin, Patrice
• vulnerability, 718(0)327--z