Index file section V for lncs1992.bib
Last update: Fri Mar 23 02:19:00 MDT 2018
Return to index directory
V
-
Vaandrager, F., 600(0)397--z, 630(0)436--z
-
Vaandrager, F., see Lynch, N.
-
Vaandrager:1992:ATT, 630(0)436--z
-
Vademecum, 649(0)1--z
-
Vadillo-Zorita, J. A., 608(0)661--z
-
Vadillo-Zorita, J. A., see Diaz-Ilarraza, A.
-
Vajtersic, M., 634(0)807--z
-
Vajtersic:1992:VMP, 634(0)807--z
-
Vakarelov, D., 633(0)1--z
-
Vakarelov:1992:MTA, 633(0)1--z
-
Vale, Z. A., 604(0)581--z
-
Vale:1992:ESA, 604(0)581--z
-
Valence, 627(0)155--z
-
Valero, M., 589(0)298--z
-
Valero, M., see Labarta, J.
-
Valiant, L. G., 621(0)1--z
-
Valiant, L. G., see Gerbessiotis, A. V.
-
Validating, 593(0)425--z, 600(0)502--z
-
Validation, 593(0)445--z, 603(0)197--z, 635(0)223--z, 640(0)167--z
-
Valley, K., 608(0)601--z
-
Valley:1992:EES, 608(0)601--z
-
Valmari, A., 630(0)207--z
-
Valmari, A., see Kaivola, R.
-
Valsamidis, T., 605(0)97--z
-
Valsamidis, T., see Osmon, P.
-
Value, Call-by-, 598(0)41--z
-
Value, Lambda-, 598(0)41--z
-
Value-Passing, 650(0)319--z
-
valued, infinite-, 626(0)272--z
-
Valued, Many-, 620(0)139--z, 624(0)107--z, 633(0)304--z
-
Valued, Multiple-, 607(0)758--z
-
Van de Merckt, T., 604(0)471--z
-
van de Riet, R., 645(0)162--z
-
van de Riet, R., see Buitelaar, P.
-
Van den Bussche, Jan, 646(0)326--z
-
van Denneheuvel, S., 633(0)65--z
-
van Denneheuvel, S., see Kwast, K. L.
-
van der Hoek, W., 620(0)503--z
-
van der Hoek, Wiebe, 592(0)474--z
-
van der Weide, Th. P., 593(0)364--z
-
van der Weide, Th. P., see ter Hofstede, A. H. M.
-
Van Dongen, V. H., 634(0)613--z
-
Van Gelder, Allen, 646(0)171--z
-
Van Gelder, Allen, see Abiteboul, Serge
-
van Glabbeek, R. J., 609(0)89--z
-
van Glabbeek, R. J., see Czaja, I.
-
Van Gucht, Dirk, 646(0)326--z
-
Van Gucht, Dirk, see Van den Bussche, Jan
-
van Harmelen, F., 649(0)89--z
-
van Heijst, G., 599(0)112--z
-
Van Hentenryck, P., 631(0)311--z
-
Van Hentenryck, P., see Englebert, V.
-
Van Herreweghen, Els, 648(0)155--z
-
Van Herreweghen, Els, see Molva, Refik
-
van Kleij, R., 634(0)583--z
-
van Kreveld, M., 621(0)352--z, 652(0)80--z
-
van Kreveld, M., see Agarwal, P. K.,
see de Berg, M.
-
van Liere, R., 614(0)108--z
-
van Liere, R., see Bulterman, D. C. A.
-
Van Marcke, K., 608(0)234--z
-
VandeMerckt:1992:ISL, 604(0)471--z
-
VandenBussche:1992:HFS, 646(0)326--z
-
vanderHoek:1992:GME, 620(0)503--z
-
vanderHoek:1992:SCL, 592(0)474--z
-
Vandewalle, Joos, 648(0)419--434
-
Vandewalle, Joos, see Daemen, Joan
-
VanDongen:1992:PTM, 634(0)613--z
-
vanHarmelen:1992:DNR, 649(0)89--z
-
vanHeijst:1992:UGD, 599(0)112--z
-
Vanilla, 649(0)192--z
-
VanInwegen, Myra, 607(0)711--z
-
VanInwegen, Myra, see Chirimar, Jawahar
-
vanKleij:1992:MSD, 634(0)583--z
-
VanMarcke:1992:IE, 608(0)234--z
-
Vanneste, P., 602(0)124--z
-
Vanneste, P., see Bertels, K.
-
Vanwelkenhuysen, J., 604(0)59--z
-
Vanwelkenhuysen:1992:SMB, 604(0)59--z
-
Varaiya, P., 653(0)315--z
-
Varaiya:1992:CVA, 653(0)315--z
-
Vardi, M. Y., 623(0)450--z
-
Vardi, M. Y., see Kolaitis, P. G.
-
Vardi, Moshe, 646(0)113--z
-
Vardi, Moshe, see Abiteboul, Serge
-
Variability, 627(0)201--z
-
variable, 607(0)35--z, 607(0)507--z, 626(0)272--z, 631(0)260--z,
641(0)192--z
-
Variant, 634(0)789--z
-
variants, 626(0)164--z, 634(0)67--z
-
Variety, 572(0)210--z, 624(0)501--z
-
Various, 642(0)170--z
-
Vasconcelos, Vasco, 612(0)141--z
-
Vasconcelos:1992:TSA, 612(0)141--z
-
Vassilakis, C., 605(0)279--z
-
Vassilakis, C., see Spiliopoulou, M.
-
Vassileva, J., 602(0)581--z
-
Vassileva:1992:DCC, 602(0)581--z
-
Vautz, R., 614(0)217--z
-
Vautz, R., see Cordes, R.
-
Vazirani, V. V., 623(0)366--z
-
Vazirani:1992:SCT, 623(0)366--z
-
vector, 609(0)215--z, 634(0)809--z, 634(0)811--z
-
Vector, Raster-, 639(0)65--z
-
Vectorial, 634(0)411--z
-
vehicles, 653(0)315--z
-
Velauthapillai, Mahendran, 642(0)151--z, 642(0)197--z
-
Velauthapillai, Mahendran, see Daley, Robert P.,
see Gasarch, William I.
-
Veloso-Peixoto, M., 629(0)284--z
-
Veloso-Peixoto, M., see Guessarian, I.
-
Venkatasubramanian, N., 637(0)134--z
-
Venkatasubramanian:1992:SDG, 637(0)134--z
-
Verbarg, K., 594(0)186--z
-
Verbarg, K., see Noltemeier, H.
-
Verboseness, 620(0)21--z
-
Verbs, 627(0)219--z
-
Vereshchagin, N. K., 620(0)186--z
-
Vereshchagin, N. K., see Hemachandra, L. A.
-
Verge, H., Le, 605(0)397--z
-
Verifiability, 642(0)197--z
-
Verification, 592(0)114--z, 600(0)252--z, 600(0)485--z, 600(0)573--z,
604(0)225--z, 605(0)381--z, 607(0)735--z, 607(0)748--z,
620(0)452--z, 630(0)62--z, 630(0)317--z, 630(0)456--z, 640(0)167--z,
646(0)231--z, 648(0)141--z, 652(0)241--z
-
Verified, 607(0)753--z, 624(0)403--z, 630(0)518--z
-
Verifier, 623(0)28--z
-
Verify, 630(0)355--z
-
Verifying, 600(0)28--z, 630(0)162--z
-
Vermeerbergen, A., 634(0)467--z
-
Vermeerbergen, A., see Roch, J. L.
-
Vermeir, D., 623(0)499--z
-
Vermeir, D., see Laenens, E.
-
Veron, A., 631(0)39--z
-
Veron, A., see Dorochevsky, M.
-
Veron, Andre, 624(0)469--z
-
Veron, Andre, see Dorochevsky, Michel
-
Verrijn-Stuart, A. A., 593(0)481--z
-
Verrijn-Stuart:1992:MII, 593(0)481--z
-
Verschaetse, K., 631(0)296--z, 649(0)70--z
-
Verschaetse, K., see De Schreye, D.
-
Verschaetse:1992:DLS, 631(0)296--z
-
Vershinin, Konstantine, 607(0)663--z
-
Vershinin:1992:OML, 607(0)663--z
-
Version, 596(0)89--z, 618(0)175--z
-
Versioning, 618(0)42--z
-
versus, 609(0)292--z, 626(0)134--z, 635(0)146--z, 642(0)197--z
-
vertex, 570(0)148--z, 650(0)269--z
-
Verun, Ufuk, 603(0)242--z
-
Verun, Ufuk, see Elrad, Tzilla
-
Very, 634(0)411--z
-
Vesel, A., 604(0)505--z
-
Vesel, A., see Zalik, B.
-
Vesztergombi, G., 591(0)238--z
-
Vesztergombi:1992:MPP, 591(0)238--z
-
VHDL, 636(0)242--z
-
VI, EKS-, 624(0)504--z
-
via, 601(0)115--z, 623(0)672--z, 624(0)202--z, 626(0)353--z, 630(0)62--z,
642(0)232--z
-
Vianu, Victor, 646(0)113--z
-
Vianu, Victor, see Abiteboul, Serge
-
Video, 614(0)10--z, 614(0)230--z, 614(0)375--z, 640(0)395--z,
645(0)322--z
-
Videophone, 614(0)358--z
-
Vielle, Laurent, 624(0)504--z
-
Vielle:1992:EVS, 624(0)504--z
-
Vieville, C., 602(0)148--z
-
Vieville, C., see Clement, D.
-
view, 591(0)102--z, 593(0)507--z, 599(0)1--z, 607(0)178--z, 613(0)131--z,
618(0)78--z, 622(0)183--z, 623(0)380--z, 627(0)39--z, 627(0)61--z,
628(0)67--87, 632(0)364--z, 639(0)179--z, 640(0)194--z,
643(0)128--132, 643(0)156--160, 645(0)262--z, 645(0)423--z,
646(0)99--z, 646(0)407--z, 648(0)193--z
-
Viewpoint, 602(0)258--z, 621(0)388--z, 627(0)171--z
-
Vigilance, 602(0)405--z
-
Viklund, Lars, 641(0)312--z
-
Viklund:1992:IOH, 641(0)312--z
-
Vila, Ll., 604(0)185--z
-
Vila:1992:IPC, 604(0)185--z
-
Vilers, P., 602(0)148--z
-
Vilers, P., see Clement, D.
-
Villano, M., 608(0)491--z
-
Villano:1992:PSM, 608(0)491--z
-
Villard, G., 634(0)467--z, 634(0)557--z
-
Villard, G., see Roch, J. L.
-
Vilo, J., 631(0)485--z
-
Vilo:1992:IAG, 631(0)485--z
-
Virtual, 605(0)635--z, 634(0)121--z, 634(0)441--z, 634(0)785--z
-
virtual-circuit, 653(0)175--z
-
Virtually, 637(0)179--z
-
Vishkin, U., 629(0)81--z, 650(0)1--z, 650(0)135--z
-
Vishkin, U., see Berkman, O.
-
Vishkin:1992:MPAa, 629(0)81--z
-
Vishkin:1992:MPAb, 650(0)1--z
-
Visibility, 621(0)388--z, 650(0)219--z
-
Visible, 608(0)103--z
-
vision, 604(0)185--z, 617(0)1--z, 617(0)161--z, 628(0)1--4, 628(0)5--34,
654(0)87--z
-
Visual, 604(0)294--z, 645(0)226--z, 654(0)16--z
-
Visual, SUPER-, 645(0)340--z
-
Visualization, 591(0)102--z, 602(0)87--z, 634(0)55--z, 634(0)79--z,
634(0)103--z, 634(0)847--z, 644(0)241--z
-
Vital, 630(0)162--z
-
Vitanyi, P. M. B., 623(0)1--z
-
Vitanyi, P. M. B., see Li, M.
-
Vitek, Jan, 641(0)236--z
-
Vitek:1992:CTA, 641(0)236--z
-
Vittal, J., 611(0)169--z
-
Vittal:1992:FCA, 611(0)169--z
-
Vivet, M., 608(0)515--z
-
Vivet, M., see Labat, J.-M.
-
Vlcek, T., 617(0)316--z
-
Vlcek, T., see Marik, V.
-
VLDC, 644(0)148--z
-
VLSI, 605(0)515--z, 634(0)807--z
-
VLSI-Hardware-Realization, 634(0)789--z
-
Vob, A., 622-0-V-z
-
Vob:1992:F, 622-0-V-z
-
Vogler, W., 609(0)292--z, 623(0)605--z
-
Vogler, W. (Walter), 625(0)1--z, 625(0)9--32, 625(0)33--z,
625(0)75--130, 625(0)131--182, 625(0)183--216, 625(0)217--238
-
Vogler:1992:ACP, 623(0)605--z
-
Vogler:1992:ARB, 625(0)183--216
-
Vogler:1992:ARI, 625(0)131--182
-
Vogler:1992:BPR, 625(0)75--130
-
Vogler:1992:I, 625(0)1--z
-
Vogler:1992:PCD, 625(0)33--z
-
Vogler:1992:PNT, 625(0)9--32
-
Vogler:1992:POS, 625(0)217--238
-
Vogler:1992:PWV, 609(0)292--z
-
Vogt, H., 631(0)130--z
-
Vogt, H., see Pennings, M.
-
Voinov, Alexander, 624(0)357--z
-
Voinov:1992:NCO, 624(0)357--z
-
Vollath, H., 634(0)205--z
-
Vollath, H., see Horton, G.
-
Volta, Gary S., 639(0)348--z
-
Volta, Gary S., see Timpf, Sabine
-
von der Beeck, M., 635(0)18--z
-
von der Beeck, M., see Starke, G.
-
von Karger, B., 641(0)141--z
-
von Karger, B., see Buth, Bettina
-
von Martial, F. (Frank), 610-0-xii
-
von Mayrhauser, Anneliese, 640(0)245--z
-
vonMayrhauser:1992:SIS, 640(0)245--z
-
Vornberger, Oliver, 594(0)330--z
-
Vornberger, Oliver, see Kroger, Berthold
-
Voronkov, A., 626(0)411--z
-
Voronkov, Andrei, 592(0)486--z, 601(0)43--z, 607(0)648--z
-
Voronkov:1992:CPS, 626(0)411--z
-
Voronkov:1992:HOF, 601(0)43--z
-
Voronkov:1992:LPB, 592(0)486--z
-
Voronkov:1992:TPN, 607(0)648--z
-
Voronoi, 570(0)113--z, 606(0)1--z, 621(0)399--z
-
Vosselman, G. (George), 628(0)1--4, 628(0)5--34, 628(0)35--44,
628(0)45--50, 628(0)51--66, 628(0)67--87, 628(0)88--111,
628(0)112--122, 628(0)123--143, 628(0)144--162, 628(0)181--184,
628(0)185--186, 628(0)187--188
-
Vosselman:1992:CMM, 628(0)5--34
-
Vosselman:1992:CPD, 628(0)187--188
-
Vosselman:1992:CVM, 628(0)1--4
-
Vosselman:1992:DCP, 628(0)185--186
-
Vosselman:1992:EFO, 628(0)123--143
-
Vosselman:1992:EMB, 628(0)67--87
-
Vosselman:1992:FDR, 628(0)35--44
-
Vosselman:1992:ITS, 628(0)51--66
-
Vosselman:1992:MIB, 628(0)181--184
-
Vosselman:1992:PDC, 628(0)45--50
-
Vosselman:1992:RIM, 628(0)112--122
-
Vosselman:1992:SPT, 628(0)144--162
-
Vosselman:1992:TSM, 628(0)88--111
-
Vossen, P., 627(0)137--z
-
Vossen, P., see Meijs, W.
-
Vous, Rendez-, 603(0)312--z
-
VPL, 605(0)769--z
-
Vrain, C., 593(0)278--z
-
Vrain, C., see Fouque, G.
-
Vree, W. G., 637(0)165--z
-
Vree, W. G., see Langendoen, K. G.
-
Vreeswijk, G., 633(0)189--z
-
Vreeswijk:1992:RDA, 633(0)189--z
-
Vrto, I., 570(0)159--z, 570(0)214--z, 605(0)53--z
-
Vrto, I., see Hromkovic, J., \see{Sykora, O.
-
vs., 594(0)330--z, 631(0)260--z, 645(0)1--z
-
Vyskoc, J., 629(0)162--z
-
Vyskoc, J., see Cai, J.