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.