Index file section V for lncs1991.bib
Last update: Sun Jun 12 02:46:39 2016
Return to index directory
V
-
<v, 505(0)1--z
-
Vaccaro, U., 514(0)94--z, 576(0)101--113
-
Vaccaro, U., see Capocelli, R. M.,
see Cohen, G. D.
-
Vaccher, A., 549(0)445--z
-
Vaccher, A., see Brajnik, G.
-
Vacillatory, 560(0)121--z
-
Vadaparty, K., 566(0)524--z
-
Vadaparty, K., see Imielinski, T.
-
Vague, 521(0)106--z
-
Vagueness, 548(0)338--z
-
Vain, J., 571(0)327--z
-
Vain, J., see Kurki-Suonio, R.
-
Vainstein, F. S., 539(0)456--z
-
Vainstein:1991:EDC, 539(0)456--z
-
Vajda, I., 508(0)96--z
-
Vajda:1991:SCA, 508(0)96--z
-
Valduriez, P., 566(0)1--z
-
Valduriez, P., see Lanzelotte, R.
-
Valenzuela-Rendon, M., 496(0)338--z
-
Valenzuela-Rendon:1991:FCS, 496(0)338--z
-
Valette, R., 483(0)64--z, 524(0)296--z
-
Valette, R., see Cardoso, J.
-
Valette:1991:SIP, 524(0)296--z
-
validation, 502(0)433--z, 509(0)271--z, 520(0)277--z, 550(0)343--z
-
Valiveti, R. S., 529(0)405--z
-
Valiveti:1991:ALL, 529(0)405--z
-
Valley, 546(0)632--z
-
Valmari, A., 483(0)491--z, 527(0)361--z, 527(0)526--z
-
Valmari, A., see Kaivola, R.
-
Valmari, Antti, 531(0)156--z
-
Valmari:1991:RLT, 527(0)526--z
-
Valmari:1991:SAS, 531(0)156--z
-
Valmari:1991:SSR, 483(0)491--z
-
valuation, 542(0)172--z, 548(0)130--z
-
value, 497(0)276--z, 507(0)286--z, 521(0)327--z, 523(0)636--z,
542(0)368--z
-
value, call-by-, 520(0)161--z
-
Valued, Many-, 516(0)156--z
-
Valued, Multiple-, 521(0)269--z, 521(0)279--z, 533(0)248--z
-
valued, multiple-, 542(0)570--z
-
Valued, Real-, 508(0)113--z
-
Valued, Three-, 546(0)394--z
-
valued, three-, 520(0)277--z, 535(0)227--z, 549(0)28--z
-
valued, two-, 520(0)277--z
-
Value(s), 519(0)1--z
-
Van Acker, H., 569(0)54--z
-
Van Acker, H., see Moolenaar, R.
-
van Aert, A. H. J. M., 496(0)90--z
-
van Aert, A. H. J. M., see Lucasius, C. B.
-
Van Beirendonck, L., 498(0)79--z
-
Van Beirendonck, L., see Ahlsen, M.
-
Van Cleave, N., 507(0)329--z
-
Van Cleave, N., see Lewis, F. D.
-
van Delft, A., 506(0)220--z
-
van den Berg, Carel, 503(0)229--z, 503(0)259--z
-
van den Berg, Carel, see Kersten, Martin
-
Van den Bussche, J., 566(0)226--z
-
van den Elsen, P. A., 511(0)142--z
-
van der Linden, F. J., 550(0)101--z
-
van der Lubbe, J. C. A., 521(0)377--z
-
van der Sandt, Rob A., 546(0)259--z
-
van der Spek, Juul, 503(0)309--z
-
Van Dongen, V., 505(0)191--z
-
van Eekelen, M. C. J. D., 506(0)202--z, 516(0)354--z
-
van Eekelen, M. C. J. D., see Nocker, E. G. J. M. H.
-
van Eijl, C., 539(0)159--z
-
van Groningen, John, 523(0)592--z
-
van Groningen, John, see Smetsers, Sjaak
-
Van Hee, K. M., 496(0)4--z
-
Van Hee, K. M., see Eiben, A. E.
-
van Hee, K. M., 551(0)204--z, 551(0)683--z
-
Van Hentenryck, P., 528(0)395--z
-
van Katwijk, J., 571(0)547--z
-
van Katwijk, J., see Toetenel, H.
-
van Katwijk, Jan, 551(0)81--z
-
van Katwijk, Jan, see Plat, Nico
-
van Laarhoven, P. J. M., 496(0)109--z
-
van Laarhoven, P. J. M., see Ulder, N. L. J.
-
Van Leekwijck, Werner, 473(0)161--z
-
Van Leekwijck, Werner, see Preneel, Bart
-
Van Linden, Luc, 473(0)161--z
-
Van Linden, Luc, see Preneel, Bart
-
van Vlierberghe, S., 499(0)199--z
-
van Vlierberghe, S., see Willain, J.
-
vanDelft:1991:SPL, 506(0)220--z
-
vandenBerg:1991:LRP, 503(0)229--z
-
Vandenberghe, R. M., 548(0)338--z
-
Vandenberghe:1991:ERA, 548(0)338--z
-
VandenBussche:1991:EOC, 566(0)226--z
-
vandenElsen:1991:MGR, 511(0)142--z
-
vanderLinden:1991:SCC, 550(0)101--z
-
vanderLubbe:1991:MRM, 521(0)377--z
-
vanderSandt:1991:PAL, 546(0)259--z
-
vanderSpek:1991:PXI, 503(0)309--z
-
Vandewalle, Joos, 473(0)161--z, 547(0)141--z
-
Vandewalle, Joos, see Preneel, Bart
-
VanDongen:1991:MUR, 505(0)191--z
-
Vanecek, G., 525(0)361--z
-
Vanecek:1991:SIC, 525(0)361--z
-
vanEekelen:1991:PGR, 516(0)354--z
-
vanEijl:1991:ECW, 539(0)159--z
-
vanHee:1991:ET, 551(0)683--z
-
vanHee:1991:ZHL, 551(0)204--z
-
VanHentenryck:1991:OSC, 528(0)395--z
-
vanOorschot:1991:CPP, 537(0)576--z--1
-
vanOorschot:1991:KPA, 473(0)318--z
-
Vanroose, Peter, 473(0)306--z
-
Vanroose, Peter, see Smeets, Ben
-
Vanstone, Scott A., 576(0)252--266
-
Vanstone, Scott A., see Koyama, Kenji
-
Vardi, Moshe, 531(0)233--z
-
Vardi, Moshe, see Courcoubetis, Costas
-
Varela, F. J., 496(0)343--z
-
Varela, F. J., see Bersini, H.
-
variable, 507(0)170--z, 528(0)347--z, 530(0)34--z, 542(0)52--z,
543(0)178--z, 548(0)267--z
-
Variable-Grain, 506(0)331--z
-
Variable-Length, 510(0)575--z
-
Variable-Resolution, 497(0)721--z
-
variance, 511(0)23--z
-
variant, 496(0)193--z, 514(0)259--z, 533(0)128--z
-
variation, 515(0)17--z, 536(0)5--z
-
Various, 473(0)465--z
-
Varshamov, Gilbert-, 514(0)150--z
-
Varying, Time-, 508(0)132--z
-
Vasconcelos, W. V., 539(0)48--z
-
Vasconcelos:1991:JMC, 539(0)48--z
-
Vasell, Jesper, 505(0)101--z
-
Vasell, Jesper, see Vasell, Jonas
-
Vasell, Jonas, 505(0)101--z
-
Vasell:1991:FPA, 505(0)101--z
-
Vassallo, G., 549(0)385--z
-
Vassallo, G., see Gioiello, M.
-
Vauzeilles, J., 535(0)227--z
-
Vauzeilles:1991:NFI, 535(0)227--z
-
Vazirani, V. V., 510(0)728--z, 519(0)273--z
-
Vazirani, V. V., see Khuller, S.,
see Naor, D.
-
Vazzana, S., 504(0)26--z
-
Vazzana, S., see Formica, A.
-
VDM, 550(0)37--z, 551(0)45--z, 551(0)63--z, 551(0)279--z, 551(0)309--z,
551(0)324--z, 551(0)343--z, 551(0)371--z, 551(0)526--z,
551(0)619--z, 551(0)670--z, 551(0)675--z, 551(0)681--z,
551(0)697--z, 552(0)141--z
-
VDM-Reification, 551(0)406--z
-
VDM-SL, 551(0)220--z, 551(0)677--z, 551(0)693--z
-
vector, 496(0)193--z, 507(0)105--z, 519(0)473--z, 539(0)414--z
-
Vectorized, 531(0)44--z, 575(0)214--z
-
Vedenov, A. A., 496(0)284--z
-
Vedenov:1991:OIP, 496(0)284--z
-
Vegter, G., 519(0)425--z
-
Vegter:1991:DMV, 519(0)425--z
-
Vehicles, 507(0)220--z
-
Veklerov, E., 511(0)81--z
-
Veklerov, E., see Llacer, J.
-
Velardi, P., 549(0)250--z
-
Velardi, P., see Basili, R.
-
Veltink, G., 575(0)158--z
-
Veltink, G., see Mauw, S.
-
Vemuri, R., 575(0)125--z
-
Vemuri:1991:TPV, 575(0)125--z
-
ventricular, 511(0)343--z
-
Ventura, A., della, 521(0)488--z
-
Venturi, G., 511(0)444--z
-
Venturi, G., see Dellepiane, S.
-
Verb, 546(0)216--z, 546(0)621--z
-
Verbrugge, Nanda, 503(0)354--z
-
Verbrugge:1991:DTN, 503(0)354--z
-
Vercauteren, L., 496(0)104--z
-
Vercauteren, L., see Thierens, D.
-
Vercelli, G., 549(0)342--z
-
Vercelli:1991:TSB, 549(0)342--z
-
Vergamini, Didier, 531(0)353--z
-
Vergamini, Didier, see Madelaine, Eric
-
Verhoef, Marcel, 551(0)677--z
-
Verhoef, Marcel, see Plat, Nico
-
Verhoef, T. F., 498(0)502--z
-
Verhoef:1991:SMK, 498(0)502--z
-
Verifiable, 537(0)353--z, 576(0)129--140
-
Verification, 505(0)252--z, 507(0)234--z, 509(0)271--z, 510(0)93--z,
512(0)59--z, 527(0)250--z, 527(0)470--z, 527(0)526--z, 531(0)2--z,
531(0)33--z, 531(0)96--z, 531(0)116--z, 531(0)176--z, 531(0)214--z,
531(0)233--z, 531(0)302--z, 531(0)322--z, 551(0)629--z, 558(0)1--z,
571(0)193--z, 571(0)217--z, 571(0)237--z, 571(0)375--z,
571(0)393--z, 575(0)59--z, 575(0)103--z, 575(0)125--z, 575(0)181--z,
575(0)192--z, 575(0)214--z, 575(0)299--z, 575(0)310--z,
575(0)332--z, 575(0)410--z, 576(0)114--128
-
Verifier, 531(0)76--z, 537(0)378--z
-
Verify, 531(0)126--z
-
Verifying, 506(0)75--z, 531(0)23--z, 531(0)224--z, 555(0)283--z,
575(0)37--z, 575(0)354--z, 575(0)421--z
-
Vernadat, Francois, 531(0)96--z
-
Vernadat, Francois, see Lloret, Jean Christophe
-
Vernazza, G., 511(0)444--z
-
Vernazza, G., see Dellepiane, S.
-
Veron, A., 506(0)421--z, 569(0)17--z
-
Veron, A., see Dorochevsky, M.
-
Veron:1991:VMS, 506(0)421--z
-
Verri, M. C., 516(0)418--z
-
Verri, M. C., see Aguzzi, G.
-
version, 512(0)342--z, 519(0)141--z, 537(0)366--z--1, 542(0)62--z,
567(0)309--z, 567(0)405--z
-
Version-space, 549(0)198--z
-
Versioning, 566(0)355--z
-
versus, 497(0)675--z, 502(0)565--z, 529(0)265--z, 533(0)174--z,
557(0)94--z, 563(0)87--z
-
vertex, 560(0)278--z
-
Vertical, 497(0)323--z
-
VERY, 497(0)672--z
-
Very, 532(0)84--z
-
VHL-Language, 532(0)641--z
-
via, 483(0)457--z, 510(0)393--z, 514(0)65--z, 523(0)1--z, 524(0)277--z,
547(0)281--z, 557(0)294--z, 567(0)336--z
-
Vicente, B., de, 550(0)210--z
-
Vicinity, 483(0)165--z
-
VICTOR, 473(0)245--z
-
Vidal, A., Astie-, 514(0)114--z
-
Vidal-Naquet, G., 506(0)110--z
-
Vidal-Naquet, G., see Sami, Y.
-
Viergever, M. A., 511(0)142--z, 511(0)239--z
-
Viergever, M. A., see Romeny, B. M. ter Haar,
see van den Elsen, P. A.
-
view, 496(0)415--z, 528(0)147--z, 542(0)256--z, 542(0)520--z,
546(0)464--z, 548(0)176--z, 550(0)364--z, 550(0)472--z,
555(0)243--z, 566(0)189--z
-
Viewed, 544(0)125--z
-
Viewpoint, 549(0)38--z, 550(0)499--z
-
Vigna, S., 530(0)282--z
-
Vigna, S., see Degano, P.
-
Vigneron, L., 535(0)185--z
-
Vigneron, L., see Rusinowitch, M.
-
Vila, M.-A., 521(0)193--z
-
Vila, M.-A., see Gonzalez, A.
-
Vinay, V., 560(0)261--z
-
Vinay:1991:BCP, 560(0)261--z
-
Vincenzi, A., 534(0)166--z
-
Vincenzi, A., see Mascari, G.
-
Vink, E. P., de, 506(0)27--z
-
Virtual, 496(0)13--z, 506(0)421--z, 555(0)25--z
-
Vishkin, U., 510(0)363--z
-
Vishkin:1991:SPA, 510(0)363--z
-
Vishnubhotla, Sarma R., 507(0)220--z, 507(0)227--z
-
Vishnubhotla:1991:MBP, 507(0)227--z
-
Vishnubhotla:1991:RTP, 507(0)220--z
-
Visibility, 497(0)323--z, 519(0)425--z, 519(0)437--z, 528(0)63--z,
553(0)277--z, 560(0)369--z
-
Visible, 519(0)412--z
-
VISICOM, 504(0)435--z
-
vision, 497(0)721--z, 498(0)579--z, 548(0)328--z, 549(0)312--z,
549(0)322--z, 549(0)332--z, 566(0)453--z
-
Visit-Oriented, 545(0)114--z
-
Visual, 504(0)435--z, 549(0)415--z, 550(0)37--z, 551(0)670--z,
565(0)500--z
-
Visualization, 507(0)154--z, 555(0)91--z
-
Viterbi, 514(0)259--z
-
Vivona, D., 521(0)307--z
-
Vivona, D., see Benvenuti, P.
-
Vlaminck, K., De, 551(0)597--z
-
Vlierberghe, S., van, 499(0)199--z
-
Vlot, Marnix, 503(0)365--z
-
Vlot:1991:PA, 503(0)365--z
-
VLSI, 496(0)134--z, 497(0)496--z, 507(0)206--z, 507(0)307--z,
565(0)196--z
-
Voas, J., 550(0)308--z
-
Voas:1991:DFM, 550(0)308--z
-
Vocabulary, 546(0)153--z
-
Vogel, Gretchen, 507(0)412--z
-
Vogel:1991:DES, 507(0)412--z
-
Vogler, W., 483(0)1--z, 510(0)495--z, 532(0)676--z
-
Vogler, W., see Brauer, W.
-
Vogler:1991:DHP, 510(0)495--z
-
Vogler:1991:RER, 532(0)676--z
-
Vogt, H., 528(0)231--z
-
Vogt, Harald, 545(0)256--z
-
Vogt, Harald, see Swierstra, Doaitse
-
Vogt:1991:EIE, 528(0)231--z
-
voice, 542(0)1--z
-
Voigt, H.-M., 496(0)373--z
-
Voigt:1991:MSD, 496(0)373--z
-
Voisard, A., 525(0)75--z
-
Voisard:1991:TTG, 525(0)75--z
-
Volker, N., 544(0)35--z
-
Volker, N., see Partsch, H. A.
-
Vollmar, R., 565(0)137--z
-
Vollmar:1991:SRS, 565(0)137--z
-
Vollmer, Heribert, 533(0)389--z
-
Vollmer, J., 528(0)425--z
-
Vollmer:1991:EGE, 528(0)425--z
-
Vollmer:1991:GLT, 533(0)389--z
-
Volpano, Dennis M., 523(0)15--z
-
Volpano:1991:CMT, 523(0)15--z
-
volume, 511(0)486--z, 525(0)63--z, 555(0)290--z
-
volume, D-, 511(0)501--z
-
Voluntary, 571(0)87--z
-
von Eicken, Thorsten, 523(0)50--z
-
von Eicken, Thorsten, see Schauser, Klaus Erik
-
von Gudenberg, J. Wolff, 499(0)110--z
-
von Laszewski, G., 496(0)165--z
-
von Luck, Kai, 546(0)455--z, 546(0)703--z
-
von Luck, Kai, see Klose, Gudrun
-
vonGudenberg:1991:MST, 499(0)110--z
-
vonLaszewski:1991:PGP, 496(0)165--z
-
vonLuck:1991:CCL, 546(0)703--z
-
Voorbraak, F., 548(0)344--z
-
Voorbraak:1991:PMS, 548(0)344--z
-
Voorhoeve, M., 551(0)204--z, 551(0)683--z
-
Voorhoeve, M., see van Hee, K. M.
-
Vorc'h, R., 541(0)264--z
-
Vorch:1991:GPC, 541(0)264--z
-
Vornberger, O., 496(0)160--z
-
Vornberger, O., see Kroger, B.
-
Voronkov, A. A., 567(0)383--z
-
Voronkov, A. A., see Boley, H.
-
Voronoi, 519(0)54--z, 553(0)227--z, 553(0)265--z
-
Voss, C., 514(0)150--z
-
Voss, J., 555(0)306--z
-
Voss, J., see Six, H.-W.
-
Voss:1991:AGF, 514(0)150--z
-
Voxel, 511(0)23--z
-
Vree, W. G., 505(0)119--z, 528(0)99--z
-
Vree, W. G., see Langendoen, K. G.,
see Milikowski, R.
-
Vrijer, Roel, de, 516(0)26--z
-
Vrto, I., 529(0)190--z, 529(0)390--z
-
Vrto, I., see Chlebus, B. S.,
see Schroder, H.
-
vs., 498(0)356--z, 499(0)326--z, 542(0)256--z, 544(0)3--z
-
VSF, 509(0)53--z
-
Vuketic, B., 539(0)477--z
-
Vuketic, B., see Zhang, L.