Index file section V for lncs1995b.bib

Last update: Fri Aug 30 02:10:24 MDT 2024               

Return to index directory

V

• v2, 978(0)79--z
• Vaandrager, F., 962(0)190--z
• Vaandrager:1995:VDS, 962(0)190--z
• Vadetis, 1000(0)101--z
• Vadis, 1012(0)334--z
• Vaillant, R., 970(0)262--269
• Vaillant, R., see Najman, L.
• Vakali, A., 978(0)594--z
• Vakali, A., see Manolopoulos, Y.
• Valderruten Vidal, A., 989(0)76--z
• ValderrutenVidal:1995:ISR, 989(0)76--z
• Valente, R., 991(0)210--z
• Valente, R., see Passos, E.
• Valentine, S. H., 967(0)183--z
• Valentine:1995:ERS, 967(0)183--z
• Validated, 981(0)245--z
• Validating, Self-, 975(0)321--z
• Validation, 966(0)167--z, 1000(0)78--z
• Valkovsky, V. B., 1015(0)166--z
• Valkovsky:1995:PRG, 1015(0)166--z
• Valley, Ridge-, 970(0)661--667
• Valleys, 970(0)270--277
• Valpiani, A., 992(0)217--z
• Valpiani, A., see Carassa, A.
• Valuation, 1020(0)142--z
• value, 958(0)48--z, 970(0)326--333, 1020(0)121--z
• Value, Boundary-, 964(0)427--z
• Value-Passing, 1026(0)294--z
• Valued, Set-, 999(0)311--z
• Van Beek, P., 976(0)240--257
• Van Beek, P., see Dechter, R.
• Van Caneghem, M., 976(0)481--498
• Van Caneghem, M., see Guerinik, N.
• Van de Riet, R., 1021(0)146--z
• Van de Riet, R., see Burg, J.
• Van de Wouwer, G., 970(0)538--543
• Van de Wouwer, G., see Livens, S.
• Van den Berg, H., 954(0)338--z
• Van den Berghe, T., 1012(0)437--z
• Van den Berghe, T., see Pirotte, A.
• Van Den Bussche, J., 1013(0)213--z
• Van Den Bussche, J., see Abiteboul, S.
• Van der Goot, R., 969(0)509--z
• Van der Hoek, A., 1005(0)305--309
• Van der Hoek, W., 981(0)185--z, 992(0)402--z
• Van der Hoek, W., see Van Linder, B.
• Van der Meyden, R., 959(0)81--z
• Van der Meyden, R., see Chan, E. P. F.
• Van Dyck, D., 970(0)538--543
• Van Dyck, D., see Livens, S.
• Van Es, B., 1022(0)269--z
• Van Es, B., see Hartel, P. H.
• Van Espen, P. J. M., 974(0)483--z
• Van Espen, P. J. M., see Kindratenko, V. V.
• Van Gemund, A. J. C., 977(0)299--z
• Van Gool, L., 970(0)1--8, 970(0)25--32, 970(0)894--899
• Van Gool, L., see Pajdla, T., see Ungureanu, D.
• Van Hentenryck, P., 976(0)564--587, 983(0)330--z
• Van Hentenryck, P., see Ramachandran, V.
• Van Hung, D., 1023(0)365--z
• Van Hung, D., see Chan, P.
• Van Laer, W., 997(0)80--z
• Van Laer, W., see De Raedt, L.
• Van Leeuwen, J., 969(0)37--z, 1017(0)181--z
• Van Leeuwen, J., see Bodlaender, H. L., see Flammini, M.
• Van Linder, B., 981(0)185--z, 992(0)402--z
• Van Oorschot, P. C., 1025(0)1--z
• Van Rijsbergen, C. J., 1000(0)549--z
• Van Run, P., 976(0)258--275
• Van Run, P., see Bacchus, F.
• Van Santen, P., 1012(0)475--z
• Van Santen, P., see Tambouris, E.
• Van Tilborg, H. C. A., 1025(0)169--z
• VandenBerg:1995:EGD, 954(0)338--z
• VanderGoot:1995:SSP, 969(0)509--z
• VanderHoek:1995:DCM, 1005(0)305--309
• Vandewalle, J., 1008(0)275--z, 1025(0)132--z
• Vandewalle, J., see Daemen, J., \see{Radu, C.
• Vandromme, D., 964(0)453--z
• Vandromme, D., see Kessy, E.
• VanGemund:1995:CTP, 977(0)299--z
• VanGool:1995:GGS, 970(0)1--8
• VanHentenryck:1995:CSC, 976(0)564--587
• Vanhoof, K., 1010(0)325--334
• Vanhoof, K., see Surma, J.
• VanLinder:1995:AMY, 981(0)185--z
• VanLinder:1995:SBH, 992(0)402--z
• VanOorschot:1995:DCS, 1025(0)1--z
• VanRijsbergen:1995:IRI, 1000(0)549--z
• VanTilborg:1995:ACA, 1025(0)169--z
• Varaiya, P., 999(0)128--z, 999(0)359--z
• Varaiya, P., see Deshpande, A., \see{Puri, A.
• Vardi, M. Y., 962(0)408--z, 1000(0)471--z
• Vardi, M. Y., see Kupferman, O.
• Vardi:1995:AAP, 1000(0)471--z
• Variability, 1005(0)216--240
• variable, 968(0)262--z, 970(0)326--333, 976(0)1--17, 976(0)258--275, 977(0)41--z, 993(0)181--190, 999(0)61--z, 1018(0)294--z, 1018(0)354--z, 1021(0)226--z
• Variable-Length, 975(0)429--z, 1025(0)282--z
• Variance, 974(0)253--z
• variation, 985(0)69--z
• Various, 969(0)299--z
• Varying, Time-, 1021(0)366--z
• Vasko, J., 974(0)615--z
• Vasko, J., see Choi, H.-K.
• Vassila, A., 998(0)415--z
• Vassila:1995:IAM, 998(0)415--z
• Vaudenay, S., 1008(0)286--297
• Vaudenay:1995:NMC, 1008(0)286--297
• Vavak, F., 993(0)224--233
• Vavak:1995:LBA, 993(0)224--233
• Vazhenin, A., 964(0)294--z
• Vazhenin:1995:PIS, 964(0)294--z
• Vazirani, V. V., 959(0)650--z
• Vazirani:1995:PDS, 959(0)650--z
• VBR, 1018(0)258--z
• VBR, RED-, 1018(0)258--z
• VC-Dimensions, 1017(0)1--z
• Vckovski, A., 988(0)351--z
• Vckovski, A., see Bucher, F.
• VDM, 967(0)114--z
• Veale, T., 984(0)75--86
• Veale, T., see Cunningham, P.
• vector, 974(0)411--z, 974(0)643--z, 1012(0)481--z, 1024(0)51--z, 1024(0)66--z
• Vectorization, 964(0)241--z, 966(0)429--z
• Vectorized, 974(0)347--z
• Vedova, G., Della, 1017(0)303--z
• Vedrine, F., 983(0)400--z
• Vedrine:1995:BTA, 983(0)400--z
• Vehicle, 978(0)632--z, 991(0)473--z
• Vehicle, Single-, 959(0)617--z
• Veillon, F., 970(0)705--710
• Veillon:1995:JIT, 970(0)705--710
• Veith, H., 969(0)66--z
• Veith, H., see Gottlob, G.
• Velauthapillai, M., 961(0)162--z, 997(0)201--z
• Velauthapillai, M., see Gasarch, W. I., see Kalyanasundaram, B.
• Velocity, 1024(0)51--z
• Veloso, M., 990(0)165--z, 1010(0)169--180
• Veloso, M., see Haigh, K. Z., \see{Teller, A.
• Veloso, S. R. M., 991(0)112--z
• Veloso, S. R. M., see Zaverucha, G.
• Vemuri, B. C., 1024(0)347--z
• Vemuri:1995:MAK, 1024(0)347--z
• Venable, J., 1021(0)318--z
• Venable:1995:ISE, 1021(0)318--z
• Venetsanopoulos, A. N., 974(0)649--z
• Venetsanopoulos, A. N., see Lin, H.
• Vengroff, D. E., 979(0)295--z
• Vengroff, D. E., see Arge, L.
• Veni Madhavan, C. E., 959(0)203--z
• Veni Madhavan, C. E., see Rengarajan, S.
• Venkatesan, S. M., 1017(0)62--z
• Venkatesan, S. M., see Djidjev, H. N.
• Venkatesh, G., 1023(0)88--z, 1023(0)103--z
• Venkatesh, G., see Gandhe, M., see Satpathy, M.
• Vento, M., 974(0)68--z
• Vento, M., see Cordella, L. P.
• Ventre, G., 1018(0)16--z
• Ventre, G., see Ferrari, D.
• Verb, 991(0)300--z
• Vercelli, G., 992(0)303--z
• Vercelli, G., see Frixione, M.
• Verheij, B., 990(0)213--z
• Verheij:1995:ADA, 990(0)213--z
• Verheul, J. C., 968(0)332--z
• Verheul:1995:TTR, 968(0)332--z
• Verifiable, 979(0)523--z
• verification, 955(0)440--z, 962(0)190--z, 962(0)204--z, 971(0)186--z, 971(0)229--z, 971(0)261--z, 971(0)308--z, 974(0)521--z, 974(0)737--z, 987(0)21--z, 987(0)103--z, 987(0)206--224, 987(0)278--z, 998(0)275--z, 999(0)61--z, 999(0)359--z, 999(0)436--z, 1000(0)471--z, 1009(0)92--z, 1009(0)285--z, 1009(0)317--z, 1009(0)339--z, 1009(0)371--z, 1009(0)388--z, 1019(0)153--z, 1023(0)396--z, 1024(0)107--z, 1026(0)484--z
• verification-oriented, 987(0)293--z
• Verified, 982(0)63--80
• Verifier, 963(0)325--z, 964(0)36--z, 1004(0)52--z
• Verify, 989(0)59--z
• verifying, 962(0)395--z, 966(0)287--z, 982(0)279--298, 987(0)35--z, 987(0)246--z, 999(0)405--z, 1026(0)96--z
• Verilog, 975(0)198--z
• Vermeer, M., 1021(0)89--z
• Vermeer:1995:RER, 1021(0)89--z
• Veron, P., 1025(0)264--z
• Veron:1995:CHI, 1025(0)264--z
• Versatile, 1021(0)77--z
• Version, 989(0)191--z, 989(0)205--z, 991(0)49--z, 1005(0)61--79
• Versioning, 1005(0)118--135
• versus, 961(0)155--z, 964(0)320--z, 979(0)409--z, 980(0)1--z, 985(0)245--z, 988(0)193--z
• vertex, 955(0)415--z, 1004(0)142--z, 1023(0)34--z, 1026(0)37--z
• Vertex-Connectivity, 1004(0)274--z
• Vertex-Connectivity, Four-, 1004(0)274--z
• Vertex-Symmetric, 979(0)341--z
• Very, 970(0)440--447, 971(0)340--z, 1025(0)100--z
• Vesselovski, G., 964(0)117--z
• Vesselovski:1995:MAC, 964(0)117--z
• Vessels, 1024(0)355--z
• VHDL, 971(0)277--z, 975(0)208--z, 987(0)293--z, 987(0)311--z
• VHDL'87, 987(0)328--z
• VHDL-Based, 975(0)218--z
• Viable, 999(0)128--z
• Viala, M., 964(0)273--z
• Viala, M., see Pic, M. M.
• vibration, 994(0)263--276
• Vidal, A., Valderruten, 989(0)76--z
• Vidal, V., 1021(0)101--z
• Vidal:1995:RAS, 1021(0)101--z
• Video, 970(0)440--447, 974(0)179--z, 975(0)429--z, 979(0)538--z, 1018(0)89--z, 1018(0)101--z, 1018(0)130--z, 1018(0)166--z, 1018(0)170--z, 1018(0)258--z, 1018(0)342--z, 1024(0)1--z, 1024(0)491--z, 1024(0)493--z
• Video-on-Demand, 1018(0)251--z, 1018(0)294--z, 1018(0)330--z
• Viehstaedt, Gerhard, 1015(0)17--25
• Viehstaedt:1995:GED, 1015(0)17--25
• Vienna, 964(0)142--z
• Viennot, L., 1017(0)372--z
• Viennot, L., see Gustedt, J.
• Vieville, T., 974(0)307--z
• Vieville, T., see Enciso, R.
• VIEW, 978(0)114--z, 978(0)554--z
• View, 955(0)13--z, 967(0)434--z, 969(0)563--z, 970(0)138--145, 970(0)154--161, 970(0)778--783, 974(0)307--z, 978(0)38--z, 978(0)91--z, 978(0)247--z, 989(0)324--z, 1006(0)258--z, 1012(0)31--z, 1013(0)503--z, 1013(0)539--z, 1018(0)41--z, 1021(0)158--z, 1021(0)181--z, 1021(0)447--z, 1024(0)241--z
• View-Synchronous, 972(0)72--z
• Vieweg, S., 973(0)96--z, 973(0)136--z
• Vieweg, S., see Kappel, G., see Rausch-Schott, K. G.
• Viewpoint, 967(0)449--z, 978(0)334--z, 989(0)1--z
• Vignes, G., 1021(0)158--z
• Vignes, G., see Srinivasan Hands, P.
• Vilares Ferro, M., 989(0)76--z
• Vilares Ferro, M., see Valderruten Vidal, A.
• Villard, G., 980(0)1--z
• Villard, G., see Gautier, T.
• Villavicencio, A., 991(0)300--z, 991(0)321--z
• Villavicencio, A., see McFetridge, P.
• Villavicencio, F., 991(0)321--z
• Villavicencio, F., see Villavicencio, A.
• Villavicencio:1995:PST, 991(0)321--z
• Vin, H. M., 1018(0)273--z
• Vin, H. M., see Goyal, P.
• Vinay, V., 1004(0)52--z
• Vinay, V., see Lokam, S. V.
• Vinck, B., 977(0)41--z
• Vinck:1995:QAD, 977(0)41--z
• Vingerhoeds, R. A., 1010(0)67--76
• Vingerhoeds, R. A., see Netten, B. D.
• Vinitski, S., 974(0)265--z
• Vinitski:1995:TSM, 974(0)265--z
• Vink, E., De, 962(0)363--z
• Violard, E., 966(0)131--z
• Violard, E., see Genaud, S.
• Virding, R., 986(0)313--z, 986(0)343--z
• Virding, R., see Armstrong, J.
• Virding:1995:GCC, 986(0)343--z
• Virtual, 971(0)138--z, 988(0)69--z
• Visibility, 959(0)51--z, 988(0)279--z
• Visible, 1004(0)22--z
• vision, 964(0)356--z, 966(0)501--z, 970(0)912--919, 970(0)920--925, 974(0)375--z, 974(0)748--z, 975(0)68--z, 980(0)301--z, 981(0)257--z, 992(0)279--z, 994(0)19--50, 994(0)51--64, 994(0)65--76, 994(0)77--88, 994(0)89--100, 994(0)101--108, 994(0)109--124, 994(0)125--138, 994(0)139--154, 994(0)155--166, 994(0)167--176, 994(0)177--190, 994(0)191--206, 994(0)207--216, 994(0)217--232, 994(0)233--248, 994(0)249--262, 994(0)263--276, 994(0)277--296, 994(0)297--312, 994(0)313--326, 994(0)327--346, 994(0)347--359, 1000(0)505--z, 1016(0)xii--193, 1024(0)1--z, 1024(0)25--z, 1024(0)33--z, 1025(0)213--z
• Vision-Based, 970(0)717--722, 974(0)313--z
• Visited, 963(0)222--z
• Visits, 978(0)564--z
• Viskari, J., 1005(0)138--144
• Viskari:1995:RAC, 1005(0)138--144
• VISPAT, 964(0)180--z
• Visser, W., 1010(0)335--346
• Visser:1995:RKE, 1010(0)335--346
• Vista, D., 985(0)245--z
• Vista, D., see Consens, M. P.
• visual, 970(0)326--333, 970(0)802--807, 970(0)832--837, 970(0)894--899, 974(0)153--z, 974(0)301--z, 974(0)629--z, 976(0)499--514, 978(0)103--z, 982(0)24--25, 985(0)182--z, 988(0)223--z, 991(0)191--z, 1016(0)xii--193, 1024(0)25--z, 1024(0)489--z, 1024(0)518--z
• Visualization, 964(0)180--z, 967(0)510--z, 985(0)197--z, 989(0)28--z, 1024(0)51--z, 1024(0)355--z
• Visualizing, 1017(0)116--z
• VITAL, 985(0)182--z
• Vitanyi, P., 955(0)315--z, 969(0)106--z, 1000(0)518--z
• Vitanyi, P., see Li, M.
• Vitanyi:1995:AAP, 955(0)315--z
• Vitanyi:1995:PNC, 969(0)106--z
• Vitoria, A., 990(0)69--z
• Vitoria:1995:RPC, 990(0)69--z
• Vitter, J., Scott, 955(0)194--z
• Vitter, J. S., 979(0)295--z
• Vitter, J. S., see Arge, L.
• Vitulano, S., 974(0)429--z, 1024(0)520--z
• Vitulano:1995:BIS, 974(0)429--z
• Vitulano:1995:CAD, 1024(0)520--z
• Vlassov, V., 964(0)288--293
• Vlassov:1995:MEP, 964(0)288--293
• Vlcek, T., 973(0)427--z, 978(0)642--z
• Vlcek, T., see Campr, V., \see{Kouba, Z.
• VLSI, 974(0)127--z
• Vo, K.-P., 989(0)109--z
• Vo, K.-P., see Chen, Y.-F.
• Vocabulary, 1020(0)59--z
• Vogel, J., 965(0)283--z
• Vogel, J., see Jancar, P.
• Vogel, P., 978(0)68--z
• Vogel, P., see Boehm, C.
• Vogler, W., 962(0)299--z, 962(0)313--z
• Vogler, W., see Brinksma, E.
• Vogler:1995:FAS, 962(0)299--z
• Vojtas, P., 1012(0)487--z
• Vojtas:1995:LPR, 1012(0)487--z
• Vojtek, V., 967(0)510--z
• Vojtek, V., see Mikusiak, L.
• Volden, E., 970(0)206--213
• Volden:1995:IRC, 970(0)206--213
• Volkov, V. A., 958(0)30--z
• Volkov, V. A., see Kapitonova, Y. V.
• Vollmer, J., 1019(0)264--z
• Vollmer, J., see Knoop, J.
• Volume, 1024(0)223--z
• Von Henke, F., 1009(0)239--z
• Von Wright, J., 971(0)245--z
• Von Wright, J., see Laangbacka, T.
• Von zur Gathen, J., 1004(0)208--z
• Vonder Muehll, H., 964(0)186--z
• Vonder Muehll, H., see Huesler, R.
• VonHenke:1995:CDM, 1009(0)239--z
• VonzurGathen:1995:OGP, 1004(0)208--z
• VOODOO, 1005(0)61--79
• Voracek, J., 970(0)631--636
• Voracek:1995:TNC, 970(0)631--636
• Voronoi, 955(0)109--z, 965(0)333--z, 979(0)238--z, 979(0)280--z
• Voss, A., 984(0)136--150
• Voss, A., see Schaaf, J. W.
• Voss, K., 970(0)9--16, 970(0)464--471, 970(0)562--567
• Voss, K., see Neubauer, R., \see{Suesse, H.
• Voss:1995:MBI, 970(0)562--567
• Vossen, G., 978(0)574--z, 1000(0)560--z, 1013(0)429--z
• Vossen, G., see Bauzer-Medeiros, C., see Fahrner, C.
• Vossen:1995:DTM, 1000(0)560--z
• Votta, L. G., 989(0)44--z
• Votta:1995:DPI, 989(0)44--z
• VPN, 998(0)185--z, 998(0)249--z
• Vranesic, Z. G., 966(0)567--z
• Vranesic, Z. G., see Jaseemuddin, M.
• Vrt'o, I., 1017(0)252--z
• Vrt'o, I., see Rolim, J.
• vs, 955(0)346--z, 962(0)264--z, 963(0)325--z, 974(0)115--z, 988(0)431--z, 990(0)237--z, 994(0)277--296, 1020(0)42--z
• Vu, D. T., 964(0)326--z
• Vu, D. T., see Goossens, B.
• Vullinghs, T., 982(0)341--356
• Vullinghs:1995:LGF, 982(0)341--356
• Vulnerability, 1017(0)197--z
• VuSystem, 1018(0)76--z