Index file section V for lncs1995a.bib

Last update: Mon Mar 13 02:22:13 MDT 2017               

Return to index directory

V

• V, 907(0)457--z
• V, CEL-, 919(0)799--z
• {V}-Comprehensions, 953(0)220--z
• {V}-Structures, 903(0)305--z
• Vaario, J., 929(0)421--z
• Vaario:1995:FS, 929(0)421--z
• Vaccaro, U., 944(0)135--z, 944(0)171--z
• Vaccaro, U., see Bermond, J.-C., see Blundo, C.
• Vainio, M., 929(0)733--z
• Vainio:1995:OPR, 929(0)733--z
• Vajtersic, M., 919(0)520--z
• Vajtersic:1995:HPV, 919(0)520--z
• Valderrama, E., 930(0)114--z
• Valderrama:1995:RTN, 930(0)114--z
• Valenca, J. M., 906(0)420--z
• Valenca, J. M., see Sernadas, A.
• Valencia, A., 929(0)843--z
• Valencia, A., see Ouzounis, C.
• Valero, V., 935(0)490--z
• Valero:1995:TPT, 935(0)490--z
• Valetto, G., 913(0)200--z
• Valetto:1995:EPT, 913(0)200--z
• Valibouze, A., 948(0)456--z
• Valibouze:1995:CGG, 948(0)456--z
• Valid, 937(0)144--z
• Validating, 905(0)3--z, 926(0)78--z
• Validation, 895(0)375--z
• Vallee, R., 945(0)255--z
• Vallee:1995:IT, 945(0)255--z
• Valori, V., 926(0)64--z
• Valori, V., see Campanai, M.
• value, 893(0)208--z, 945(0)159--z
• value, call-by-, 902(0)381--z
• Value-Based, 892(0)186--z
• valued, 3-, 928(0)29--z
• Valued, Many-, 945(0)440--z
• Valued, Multi-, 930(0)389--z
• valued, Multiple-, 945(0)428--z
• Van Bakel, S., 914(0)279--z
• Van Brummen, J., 919(0)335--z
• Van Brummen, J., see Pimentel, A. D.
• Van de Merckt, T., 912(0)200--z
• Van de Pol, J., 902(0)350--z
• Van de Riet, R. P., 932(0)26--z
• Van de Riet, R. P., see Burg, J. F. M.
• Van De Vanter, M. L., 896(0)251--z
• Van de Velde, S., 920(0)292--z
• Van de Velde, S., see Hoogeveen, H.
• Van den Berg, J., 904(0)298--z
• Van den Brand, M. G. J., 915(0)803--z
• Van den Bussche, J., 951(0)1--z
• Van den Bussche, J., see Kuijpers, B.
• Van den Elsen, P. A., 905(0)219--z
• Van den Elsen, P. A., see Maintz, J. B. A.
• Van der Hoek, W., 928(0)189--z, 945(0)440--z, 946(0)277--z
• Van der Hoek, W., see Godo, L., see Van Linder, B., \see{Witteveen, C.
• Van der Torre, L. W. N., 946(0)412--z
• Van der Torre, L. W. N., see Tan, Y.-H.
• Van der Ven, H., 919(0)448--z
• Van der Ven, H., see Vogels, M. E. S.
• Van der Woude, J., 953(0)159--z
• Van der Woude, J., see Backhouse, R.
• Van Driessche, R., 919(0)392--z
• Van Eekelen, M. C. J. D., 925(0)183--z
• Van Eijk, C. A. J., 901(0)110--z
• Van Geldrop, R., 953(0)159--z
• Van Geldrop, R., see Backhouse, R.
• Van Gijzen, M., 919(0)723--z
• Van Gucht, D., 951(0)14--z
• Van Gucht, D., see Vandeurzen, L.
• Van Hemmen, J. L., 888(0)75--z, 888(0)121--z
• Van Hemmen, J. L., see Wimbauer, S.
• Van Hentenryck, P., 910(0)293--z
• Van Hulst, M., 947(0)197--z
• Van Hulst, M., see De Boer, F. S.
• Van Kemenade, C. H. M., 929(0)934--z
• Van Kemenade, C. H. M., see Eiben, A. E.
• Van Kemenade, V., 919(0)837--z
• Van Konijnenburg, E., 919(0)526--z
• Van Konijnenburg, E., see Brezany, P.
• Van Linder, B., 946(0)277--z
• Van Luenen, W. T. C., 931(0)205--z
• Van Oeyen, J., 919(0)398--z
• Van Oeyen, J., see Joosen, W.
• Van Renesse, R., 938(0)58--z
• Van Roy, P., 923(0)11--z
• Van Roy, P., see Podelski, A.
• Van Waveren, G. M., 919(0)156--z
• VanBakel:1995:HNT, 914(0)279--z
• VandeMerckt:1995:MKR, 912(0)200--z
• VandenBerg:1995:STC, 904(0)298--z
• VandenBrand:1995:AME, 915(0)803--z
• VandePol:1995:SFT, 902(0)350--z
• Vandermeulen, D., 905(0)77--z, 905(0)195--z
• Vandermeulen, D., see Collignon, A., see Maes, F.
• Vandeurzen, L., 951(0)14--z
• Vandeurzen:1995:DLL, 951(0)14--z
• VanDeVanter:1995:PLB, 896(0)251--z
• vanDijk:1995:LCP, 950(0)23--34
• VanDriessche:1995:DLB, 919(0)392--z
• VanEekelen:1995:CMS, 925(0)183--z
• VanEijk:1995:ESS, 901(0)110--z
• VanGijzen:1995:PIS, 919(0)723--z
• VanHemmen:1995:NCT, 888(0)75--z
• VanHentenryck:1995:DIE, 910(0)293--z
• VanKemenade:1995:PNS, 919(0)837--z
• VanLinder:1995:DDR, 946(0)277--z
• VanLuenen:1995:LCU, 931(0)205--z
• Vanneschi, M., 919(0)7--z
• Vanneschi, M., see Bacci, B.
• VanRenesse:1995:NAG, 938(0)58--z
• Vanter, M. L., Van De, 896(0)251--z
• VanWaveren:1995:PSR, 919(0)156--z
• Varaiya, P. P., 939(0)253--z
• Varaiya, P. P., see Krishnan, S. C.
• Varani, M., 926(0)224--z
• Varani, M., see Bruno, G.
• Vardi, M. Y., 939(0)267--z
• Vardi:1995:ATA, 939(0)267--z
• Variability, High-, 949(0)127--z
• variable, 914(0)179--z, 915(0)394--z, 923(0)205--z, 933(0)136--z, 934(0)151--z, 937(0)230--z, 945(0)409--z, 947(0)452--z
• Variable-Length, 944(0)581--z
• Variance, 930(0)551--z, 945(0)241--z
• variants, 950(0)445--449
• variate, 945(0)210--z
• variation, 917(0)427--z, 948(0)96--z
• Varieties, 911(0)99--z, 945(0)171--z
• Various, 901(0)126--z, 911(0)427--z
• Varona, P., 930(0)650--z
• Varona:1995:IXN, 930(0)650--z
• Varricchio, S., 904(0)380--z
• Varricchio, S., see Bergadano, F.
• Varying, 930(0)419--z
• varying, time-, 917(0)67--z
• Vascular, 905(0)449--z
• Vaudenay, Serge, 950(0)47--57, 950(0)77--85, 950(0)356--365
• Vaudenay, Serge, see Chabaud, Florent, see Naccache, David, see Schnorr, Claus P.
• VC-dimension, 904(0)337--z
• VCG, 894(0)194--z
• Vckovski, A., 951(0)117--z
• Vckovski, A., see Blott, S.
• vector, 919(0)508--z, 930(0)589--z, 930(0)948--z, 950(0)389--399, 950(0)389--z
• Veenhof, H. M., 940(0)136--z
• Veenhof:1995:OSJ, 940(0)136--z
• Vega, L., Gonzalez-, 911(0)332--z, 948(0)232--z
• Vehel, F., Levy-dit-, 948(0)341--z
• Vehicle, 929(0)625--z
• Velde, S., Van de, 920(0)292--z
• Velocity, 930(0)589--z
• Veloso, S. R. M., 928(0)175--z
• Veloso, S. R. M., see Da Silva, J. C. P.
• Ven, H., Van der, 919(0)448--z
• Venable, J. R., 932(0)255--z
• Venable, J. R., see Grundy, J. C.
• Ventilation, 934(0)79--z
• Ventilator, 934(0)433--z
• ventricular, 919(0)248--z
• Verbaeten, P., 924(0)14--z
• Verbaeten, P., see Bijnens, S.
• Vergauwen, B., 939(0)142--z
• Vergauwen, B., see Andersen, H. R.
• Verhoef, T. F., 932(0)168--z
• Verhoef:1995:FFI, 932(0)168--z
• Verifiable, 921(0)50--z, 921(0)168--z
• verification, 895(0)375--z, 901(0)92--z, 901(0)110--z, 901(0)146--z, 901(0)185--z, 901(0)203--z, 901(0)239--z, 901(0)258--z, 901(0)292--z, 915(0)795--z, 917(0)133--z, 921(0)64--z, 933(0)354--z, 935(0)374--z, 936(0)66--z, 936(0)292--z, 936(0)353--z, 936(0)461--z, 939(0)1--z, 939(0)31--z, 939(0)70--z, 939(0)127--z, 939(0)180--z, 939(0)409--z, 945(0)180--189, 952(0)215--z
• Verification, Hardware-, 901(0)1--z
• Verificationash, 939(0)367--z
• verified, 902(0)365--z
• Verifying, 918(0)338--z, 936(0)431--z, 939(0)42--z, 939(0)395--z, 939(0)437--z
• Verleysen, M., 930(0)404--z, 930(0)696--z, 930(0)704--z
• Verleysen, M., see Thissen, P., see Voz, J.-L.
• Vermeir, D., 946(0)207--z
• Vermeir, D., see Geerts, P.
• Vermesan, O., 930(0)794--z
• Vermesan:1995:MVA, 930(0)794--z
• Veronese, S., 919(0)248--z
• Veronese:1995:CSW, 919(0)248--z
• Veronis, J., 898(0)19--z
• Veronis, J., see Ide, N.
• version, 918(0)217--z, 919(0)826--z, 932(0)96--z, 932(0)112--z
• Versioning, 940(0)155--z
• versus, 895(0)263--z, 904(0)38--z, 904(0)125--z, 904(0)272--z, 930(0)505--z, 944(0)455--z, 944(0)475--z
• vertex, 903(0)130--z
• Vertical, 905(0)184--z
• Vertically, 890(0)261--z
• Vessels, 905(0)392--z
• Vetland, V., 919(0)79--z
• Vetland, V., see Pozzetti, E.
• Vezolle, P., 919(0)658--z
• Vezolle:1995:PCE, 919(0)658--z
• via, 892(0)92--z, 904(0)112--z, 917(0)171--z, 919(0)366--z, 919(0)508--z, 934(0)405--z
• Viana, L., 930(0)298--z
• Viana:1995:CBC, 930(0)298--z
• Vianu, V., 893(0)294--z
• Vianu, V., see Lifschitz, S.
• Viari, A., 937(0)366--z
• Viari, A., see Sagot, M.-F.
• Vicente, M. L., 945(0)241--z
• Vicente, M. L., see Pardo, J. A.
• Vico, F. J., 930(0)486--z
• Vico, V., 926(0)224--z
• Vico, V., see Bruno, G.
• Vico:1995:CRN, 930(0)486--z
• Vidal, E., 930(0)433--z
• Vidal, E., see Castatho, M. A.
• Video, 916(0)253--z, 930(0)875--z
• Viehstaedt, G., 932(0)243--z
• Viehstaedt:1995:GRM, 932(0)243--z
• Viergever, M. A., 905(0)219--z, 905(0)351--z
• Viergever, M. A., see Maintz, J. B. A., see Vincken, K. L.
• View, 893(0)294--z, 900(0)571--z, 913(0)189--z, 914(0)352--z, 926(0)148--z, 929(0)95--z, 930(0)404--z, 933(0)412--z, 935(0)1--z, 951(0)29--z
• View, Multi-, 913(0)179--z
• Viewpoint, 913(0)2--z, 930(0)260--z
• Viktor, H. L., 930(0)611--z
• Viktor:1995:EDR, 930(0)611--z
• Vila, A., 932(0)366--z
• Vila, A., see Narat, V.
• Vilaritho, D. L., 930(0)860--z
• Vilaritho:1995:ONN, 930(0)860--z
• Vilarrubla, S., 930(0)627--z
• Vilarrubla, S., see Monte, E.
• Vilda, P., Gomez-, 930(0)252--z, 930(0)963--z
• Villa, R., 930(0)114--z, 930(0)121--z
• Villa, R., see Valderrama, E.
• Villa:1995:NPA, 930(0)121--z
• Viller, S., 913(0)2--z
• Viller, S., see Sommerville, I.
• Vinci, 894(0)266--z
• Vincken, K. L., 905(0)351--z
• Vincken:1995:PHS, 905(0)351--z
• Vingralek, R., 893(0)148--z
• Vingralek:1995:UTM, 893(0)148--z
• virtual, 905(0)70--z, 905(0)163--z, 905(0)282--z, 905(0)287--z, 905(0)549--z, 938(0)121--z
• Viruses, 929(0)170--z
• Vishkin, U., 937(0)386--z
• Vishkin:1995:TPS, 937(0)386--z
• Visibility, 894(0)147--z, 894(0)167--z, 911(0)1--z
• Visibility, Rectangle-, 894(0)159--z
• Vision-Based, 905(0)13--z
• Vismara, L., 903(0)242--z
• Vismara, L., see Di Battista, G.
• Visser, E., 915(0)803--z
• Visser, E., see Van den Brand, M. G. J.
• Vista, 888(0)75--z
• Visual, 894(0)218--z, 894(0)274--z, 896(0)211--z, 930(0)15--z, 930(0)260--z, 945(0)577--z, 950(0)1--12
• Visualisation, 905(0)40--z
• Visualization, 894(0)12--z, 905(0)3--z, 905(0)47--z, 905(0)471--z, 905(0)487--z, 905(0)542--z, 907(0)253--z, 913(0)119--z, 916(0)209--z, 945(0)545--z
• Visualization, Graph-, 894(0)266--z
• Vitek, Jan, 952(0)253--z
• Vitek, Jan, see Driesen, Karel
• Vlachantonis, N., 891(0)373--z
• Vlachantonis, N., see Herzig, R.
• Vlachoutsis, S., 919(0)856--z
• Vlachoutsis, S., see Lonsdale, G.
• Vlasie, D. R., 923(0)247--z
• Vlasie:1995:CHC, 923(0)247--z
• VLSI, 919(0)520--z, 930(0)696--z, 930(0)712--z, 930(0)728--z, 930(0)794--z, 930(0)815--z
• Vocabulary, 898(0)219--z
• Voda, P. J., 918(0)231--z, 933(0)324--z
• Voda, P. J., see Komara, J.
• Voda:1995:SBF, 933(0)324--z
• Voecking, B., 900(0)291--z
• Voecking, B., see Meyer auf der Heide, F.
• Vogels, M. E. S., 919(0)448--z
• Vogels:1995:NSC, 919(0)448--z
• Vogler, W., 944(0)636--z
• Vogler:1995:LSL, 944(0)636--z
• Vogt, F., 894(0)226--z
• Vogt:1995:TGT, 894(0)226--z
• Vohra, R., 920(0)29--z
• Vohra, R., see Bertsimas, D.
• Voigt, H.-M., 899(0)123--z
• Voigt:1995:SGO, 899(0)123--z
• Volkert, J., 919(0)235--z
• Volkert, J., see Grabner, S.
• Vollebregt, E. A. H., 919(0)136--z
• Vollebregt, E. A. H., see Roest, M. R.
• Volume, 905(0)399--z, 905(0)481--z, 905(0)495--z, 905(0)523--z
• Volumetric, 905(0)30--z
• Von Boetticher, N., 945(0)577--z
• Von Boetticher, N., see Bothe, H. H.
• Von Eicken, T., 938(0)58--z
• Von Eicken, T., see Van Renesse, R.
• Von Karger, B., 915(0)232--z, 947(0)180--z
• Von Karger, B., see Berghammer, R.
• Von Olnhausen, J. E., 939(0)127--z
• Von Olnhausen, J. E., see Jagadeesan, L. J.
• Von zur Gathen, J., 911(0)311--z
• Von zur Gathen, J., see Gao, S.
• VonKarger:1995:AAT, 915(0)232--z
• Voorhoeve, M., 935(0)45--z
• Voorhoeve, M., see Basten, T.
• Voosen, D., Schlierkamp-, 899(0)142--z
• Vos, J. B., 919(0)837--z
• Vos, J. B., see Van Kemenade, V.
• Voss, K., 935(0)23--z
• Voss:1995:PNI, 935(0)23--z
• votes, 917(0)164--z
• voting, 921(0)393--z
• Vounckx, J., 919(0)372--z
• Vounckx:1995:RMP, 919(0)372--z
• Vouros, G., 898(0)175--z
• Vouros, G., see Karkaletsis, E.
• Vovk, V. G., 904(0)237--z
• Vovk:1995:MDL, 904(0)237--z
• Voz, J.-L., 930(0)404--z
• Voz:1995:PVS, 930(0)404--z
• VPF, 951(0)368--z
• VR-Representable, 894(0)177--z
• Vries, F.- J., De, 914(0)257--z
• Vrieze, O. J., 931(0)83--z
• Vrieze:1995:KN, 931(0)83--z
• Vrisk, G., 934(0)437--z
• Vrisk, G., see Zeilinger, G.
• Vrt'o, I., 894(0)131--z, 903(0)256--z
• Vrt'o, I., see Shahrokhi, F.
• vs., 892(0)440--z, 900(0)361--z, 929(0)179--z, 938(0)121--z, 944(0)384--z
• Vuskovic, K., 920(0)321--z
• Vuskovic, K., see Conforti, M.