Last update: Tue Sep 5 02:16:07 MDT 2023
Return to index directory
V
-
V, HAS-, 2012(0)202--z
-
v. Bochmann, Gregor, 2040(0)138--z
-
Vaandrager, Frits, 2034(0)147--z, 2034(0)403--z
-
Vaandrager, Frits, see Behrmann, Gerd,
see Lynch, Nancy
-
Vachon, B., 1876(0)872--z
-
Vachon, B., see Saint-Jean, C.
-
Vague, 2005(0)584--z
-
Vagueness, 1980(0)207--z
-
Vahrenhold, Jan, 1982(0)183--z
-
Vahrenhold:2001:PPL, 1982(0)183--z
-
Valdats, M{\=a}ris, 2010(0)75--86, see Ambainis, Andris
-
Valero, Mateo, 1900(0)537--z, 1900(0)940--z
-
Valero, Mateo, see Müller, Silvia,
see Navarro, Carlos
-
Valero, Rodrigo, 1900(0)1206--z
-
Valero, Rodrigo, see Arnau, Vicente
-
Valero-García, Miguel, 1900(0)591--z,
see Díaz de Cerio, Luis
-
Validating, 1900(0)389--z, 1959(0)325--z
-
Validation, 1887(0)214--z, 1887(0)293--z, 1964(0)150--z, 1985(0)206--z,
1987(0)121--z, 1992(0)402--z, 2006(0)83--z, 2013(0)240--z,
2021(0)242--z, 2021(0)278--z, 2021(0)449--z, 2021(0)590--z,
2031(0)435--z, 2031(0)578--z
-
Valk, R., 2001(0)164--z
-
Valk:2001:CCO, 2001(0)164--z
-
Vallecillo, Antonio, 1964(0)256--z
-
Vallecillo:2001:NIO, 1964(0)256--z
-
Vallée-Rai, Raja, 2027(0)334--z,
see Pominville, Patrice
-
Vallejo, Edgar E., 2038(0)192--z
-
Vallejo:2001:ETM, 2038(0)192--z
-
Valuation, 2033(0)7--z
-
value, 1876(0)226--z, 1947(0)177--z, 1981(0)181--z, 2005(0)378--z,
2007(0)62--z, 2027(0)319--z, 2035(0)282--z
-
Value, Call-by-, 2030(0)246--z
-
Value-Passing, 1990(0)1--z
-
Valued, 2005(0)212--z, 2019(0)385--z
-
Valued, Array-, 2017(0)127--z
-
valued, Multi-, 2021(0)72--z, 2031(0)404--z, 2032(0)129--z
-
Valued, Three-, 2028(0)155--z
-
Van Assche, Gilles, 1978(0)134--z
-
Van Assche, Gilles, see Daemen, Joan
-
Van Baalen, Jeffrey, 1871(0)180--z
-
Van Belle, Werner, 1887(0)166--z
-
Van Der Hoeven, Steve, 2028(0)122--z
-
Van Der Hoeven, Steve, see Graunke, Paul
-
Van Gool, Luc, 2013(0)250--z, 2018(0)124--z, 2018(0)144--z
-
Van Gool, Luc, see Cornelis, Kurt,
see Turina, Andreas, \see{Zalesny, Alexey
-
Van Herreweghen, Els, 1962(0)140--z
-
Van Kempen, Luc, 1876(0)501--z
-
Van Kempen, Luc, see Nyssen, Edgard
-
Van Laer, Wim, 2049(0)102--z
-
Van Veldhuizen, David A., 1993(0)226--z
-
Van Veldhuizen, David A., see Zydallis, Jesse B.
-
Van Vlierberghe, Stef, 2043(0)380--z
-
Van Vlierberghe, Stef, see Waroquiers, Philippe
-
VanBelle:2001:AMR, 1887(0)166--z
-
vandenBerg:2001:FSV, 2041(0)137--z
-
vandenBerg:2001:LCJ, 2031(0)299--z
-
vandenBrand:2001:ASM, 2027(0)365--370
-
Vanderdonckt, Jean, 1946(0)227--z
-
Vanderdonckt, Jean, see Limbourg, Quentin
-
vanderLinden:2001:EES, 1951(0)244--z
-
vanderLinden:2001:I, 1951(0)1--z
-
Vandewalle, Joos, 1978(0)244--z, 2033(0)180--z, 2045(0)1--z
-
Vandewalle, Joos, see Claessens, Joris,
see Nakahara, Jr., Jorge,
see Vercauteren, Frederik
-
vanEijk:2001:GOO, 1986(0)260--z
-
vanEngelen:2001:AVC, 1985(0)206--z
-
vanEngelen:2001:ESA, 2027(0)118--z
-
VanHerreweghen:2001:NRS, 1962(0)140--z
-
VanLaer:2001:HUP, 2049(0)102--z
-
vanLamsweerde:2001:BFR, 2043(0)1--z
-
Vanneschi, Leonardo, 2038(0)51--z
-
Vanneschi, Leonardo, see Fernández, Francisco
-
vanNieuwpoort:2001:SEP, 1900(0)690--z
-
vanOmmering:2001:BPF, 1951(0)187--z
-
vanRaamsdonk:2001:THO, 2051(0)261--z
-
vanRijsbergen:2001:GIR, 1980(0)1--z
-
vanSomeren:2001:MCS, 2049(0)196--z
-
Vanstone, Scott A., 1962(0)105--z
-
Vanstone, Scott A., see Pintsov, Leon A.
-
Varadharajan, Vijay, 1995(0)88--z, 2015(0)171--z, 2040(0)20--z,
2052(0)27--z
-
Varadharajan, Vijay, see Hitchens, Michael,
see Mu, Yi
-
Varadharajan:2001:SNC, 2052(0)27--z
-
Vardanega, Tullio, 2043(0)392--z
-
Vardanega:2001:ACR, 2043(0)392--z
-
Vardi, GilaKamhi Y., 2031(0)420--z
-
Vardi, GilaKamhi Y., see Fisler, Kathi
-
Vardi, Moshe Y., 2030(0)276--z, 2031(0)1--z, 2031(0)528--z
-
Vardi, Moshe Y., see Chockler, Hana,
see King, Valerie
-
Vardi:2001:BVL, 2031(0)1--z
-
Variability, 1951(0)146--z, 2036(0)174--z, 2047(0)202--z
-
variable, 1993(0)624--z, 2005(0)114--122, 2005(0)170--z, 2008(0)1--z,
2010(0)551--z, 2012(0)202--z, 2027(0)102--z, 2035(0)513--z,
2035(0)568--z, 2037(0)203--z, 2051(0)306--z
-
Variant, 1992(0)64--z
-
variation, 2008(0)51--z
-
Varying, 2050(0)243--z
-
Vasques, Francisco, 2043(0)136--z
-
Vasques, Francisco, see Pinho, Luís Miguel
-
Vassilas, Nikolaos, 2049(0)318--z
-
Vassilas:2001:ITS, 2049(0)318--z
-
Vassiliadis, Stamatis, 1900(0)537--z, 1900(0)965--z
-
Vassiliadis, Stamatis, see Müller, Silvia,
see Stanca, Marian
-
Vaucheret, Claudio, 1930(0)107--z
-
Vaucheret, Claudio, see Pineda, Angel Fernandez
-
Vaudenay, Serge, 1965(0)340--z, 1978(0)64--z, 2012(0)57--z,
2012(0)189--z
-
Vaudenay, Serge, see Gilbert, Henri,
see Granboulan, Louis, \see{Joye, Marc
-
Vaudenay:2001:DID, 2012(0)189--z
-
vBochmann:2001:IQE, 2040(0)138--z
-
Vecellio, Gary, 2022(0)181--z
-
Vecellio, Gary, see Howell, Charles
-
vector, 1876(0)532--z, 1876(0)550--z, 1876(0)571--z, 1876(0)853--z,
1947(0)316--z, 2005(0)527--z, 2013(0)83--z, 2049(0)249--z
-
Vectorizable, 2026(0)28--z
-
Vectorization, 1982(0)123--z
-
vectorizing, Pseudo-, 1900(0)1023--z
-
Véhel, Jacques Lévy, 2037(0)325--z
-
Vehel:2001:ESE, 2037(0)325--z
-
Vehicle, 1876(0)357--z, 1900(0)829--z, 2005(0)49--z, 2034(0)133--z
-
Vehkomäki, Tuomo, 1951(0)135--z
-
Vehkomaki:2001:CSP, 1951(0)135--z
-
Veith, Helmut, 2000(0)176--z
-
Veith, Helmut, see Clarke, Edmund
-
Velasco, Juan R., 1887(0)226--z
-
Velasco, Juan R., see Botía, Juan A.
-
Veldhuizen, David A., Van, 1993(0)226--z
-
Velev, Miroslav N., 2031(0)252--z
-
Velev:2001:AAM, 2031(0)252--z
-
Veloso, Manuela, 1986(0)61--z, 2019(0)489--z, 2019(0)623--z
-
Veloso, Manuela, see Lenser, Scott,
see Riley, Patrick
-
Venkatasubramanian, Nalini, 2021(0)197--z
-
Venkatasubramanian:2001:FMR, 2021(0)197--z
-
Venkatesh, S., 1876(0)236--z
-
Venkatesh, S., see Lazarescu, M.
-
Vento, M., 2013(0)50--z
-
Vento, M., see Santo, M. De
-
Vento, Mario, 1876(0)447--z
-
Vento, Mario, see Foggia, Pasquale
-
Vera, Xavier, 1900(0)194--z
-
Vera:2001:FAA, 1900(0)194--z
-
Verbaeten, P., 2001(0)38--z
-
Verbaeten, P., see Holvoet, T.
-
Verbal, 2004(0)32--z
-
verbal, Non-, 2004(0)226--z
-
Verbrugge, Clark, 2027(0)334--z
-
Verbrugge, Clark, see Pominville, Patrice
-
Verbrugge, Rineke, 1986(0)150--z
-
Verbrugge, Rineke, see Dignum, Frank
-
Vercauteren, Frederik, 2045(0)1--z
-
Vercauteren:2001:MEV, 2045(0)1--z
-
Vergados, Ioannis, 1900(0)877--z
-
Vergados, Ioannis, see Bartzis, Constantinos
-
Vergauwen, Maarten, 2018(0)144--z
-
Vergauwen, Maarten, see Cornelis, Kurt
-
Verheul, Eric R., 1992(0)73--z, 2045(0)195--z
-
Verheul, Eric R., see Lenstra, Arjen K.
-
Verheul:2001:EXM, 2045(0)195--z
-
Verification, 1871(0)16--z, 1871(0)33--z, 1871(0)114--z, 1962(0)313--z,
2000(0)131--z, 2021(0)465--z, 2021(0)611--z, 2029(0)318--z,
2030(0)409--412, 2031(0)82--z, 2031(0)98--z, 2031(0)143--z,
2031(0)158--z, 2031(0)252--z, 2031(0)582--z, 2041(0)6--z,
2041(0)137--z, 2042(0)1--z, 2051(0)2--z
-
Verified, 2030(0)347--z
-
Verifiers, 2030(0)347--z
-
Verify, 1946(0)135--z
-
Verifying, 1946(0)65--z, 2011(0)37--z, 2021(0)364--z, 2029(0)300--z,
2051(0)137--z
-
Verikas, Antanas, 2013(0)40--z
-
Verikas:2001:UUD, 2013(0)40--z
-
Verkest, D., 2008(0)40--z
-
Verkest, D., see Marchal, P.
-
Verma, Dinesh, 1995(0)137--z
-
Verma:2001:PBS, 1995(0)137--z
-
Vernadat, F., 2001(0)473--z
-
Vernadat:2001:HLT, 2001(0)473--z
-
Vernier, F., 1946(0)35--z
-
Vernier-Mounier, I., 2021(0)590--z
-
Vernier-Mounier, I., see Doche, M.
-
Vernier:2001:FCC, 1946(0)35--z
-
Versa, 1900(0)379--z
-
Verschure, Paul, 2036(0)461--z
-
Verschure, Paul, see Pearce, Tim
-
Version, 1978(0)244--z, 1985(0)33--z, 1997(0)184--z, 2045(0)1--z
-
Versioning, 1944(0)101--z
-
versus, 1871(0)345--z, 1982(0)207--z, 1992(0)277--z, 2043(0)49--z
-
Vert, Jean-Philippe, 2004(0)423--z
-
Vert:2001:TCU, 2004(0)423--z
-
Very, 1876(0)337--z, 1959(0)103--z, 2005(0)346--z, 2035(0)519--z
-
Vesanto, Juha, 2035(0)513--z
-
Vesanto:2001:IIV, 2035(0)513--z
-
Vestb{\o}, A., 1947(0)333--z, see Adler, C.
-
Vestergaard, René, 2051(0)306--z
-
Vestergaard:2001:FFO, 2051(0)306--z
-
Vetland, V., 2047(0)239--z
-
Vetland, V., see Woodside, M.
-
Vetter, Michael, 1991(0)148--z
-
Vetter:2001:TFT, 1991(0)148--z
-
VHDL, 2038(0)36--z
-
Viamonte, Maria João, 1991(0)115--z
-
Viamonte:2001:MEM, 1991(0)115--z
-
Vice, 1900(0)379--z
-
Vicente, John B., 2000(0)34--z
-
Vicente, John B., see Campbell, Andrew T.
-
Vicente-Chicote, Cristina, 1876(0)716--z
-
Vicente-Chicote, Cristina,
see García-Mateos, Ginés
-
Vicinal, 2036(0)348--z
-
Vidal, Antonio M., 1981(0)316--z, 1981(0)355--z
-
Vidal, Antonio M., see Alonso, Pedro,
see Peinado, Jesús
-
Vidal, E., 1876(0)143--z, 1876(0)337--z, 1876(0)842--z
-
Vidal, E., see González, J., \see{Juan, A.,
see Mollineda, R. A.
-
Vidal, Germán, 2024(0)326--z, 2042(0)103--z,
see Albert, Elvira
-
Video, 1900(0)1086--z, 1980(0)93--z, 1989(0)157--z, 1989(0)381--z,
1989(0)407--z, 1998(0)176--z, 1998(0)278--z, 2005(0)540--z,
2013(0)349--z, 2018(0)144--z
-
Video-on-Demand, 1900(0)1110--z
-
VideoPlus, 2018(0)187--z
-
View, 1936(0)116--z, 1973(0)99--z, 1994(0)121--z, 2005(0)220--z,
2016(0)170--z, 2019(0)169--z, 2021(0)534--z, 2029(0)91--z,
2032(0)105--z, 2037(0)80--z
-
View, Multiple-, 1876(0)540--z
-
Viewers, 2019(0)159--z
-
Viewpoint, 1944(0)47--z, 2005(0)495--z, 2018(0)124--z
-
Vignola, Greta, 1944(0)47--z
-
Vignola, Greta, see Collet, Philippe
-
Vigo-Aguiar, Jesús, 1981(0)262--z
-
Vigo-Aguiar:2001:EPA, 1981(0)262--z
-
Vijaykrishnan, N., 1985(0)211--z
-
Vijaykrishnan, N., see Kandemir, M.
-
Vijaykrishnan, Narayanan, 2017(0)142--z
-
Vijaykrishnan, Narayanan, see Kandemir, Mahmut
-
Vilares, Jesús, 2004(0)336--z
-
Vilares, Manuel, 2004(0)483--z
-
Vilares:2001:APD, 2004(0)336--z
-
Vilares:2001:AVP, 2004(0)483--z
-
Villaret, Mateu, 2051(0)169--z
-
Villaret, Mateu, see Levy, Jordi
-
Villarroel, J. L., 2001(0)355--z
-
Villarroel, J. L., see Bañares, J. A.
-
Vincent, Regis, 1887(0)102--z
-
Vincent:2001:AIB, 1887(0)102--z
-
Vincentelli, Alberto, Sangiovanni-, 2034(0)5--6, 2034(0)175--z
-
Vinju, J. J., 2027(0)365--370
-
Vinju, J. J., see Brand, M. G. J. van den
-
Viol, Wilfried, Meyer-, 2014(0)159--z
-
Violard, Eric, 1900(0)668--z
-
Violard, Eric, see Gerner, Philippe
-
ViperRoos, 2019(0)527--z
-
Viroli, Mirko, 1972(0)34--z
-
Viroli, Mirko, see Moro, Gianluca
-
Virtual, 1900(0)22--z, 1900(0)1061--z, 1946(0)65--z, 1991(0)78--z,
2019(0)421--z, 2024(0)92--z, 2027(0)1--z
-
Vishkin, Uzi, 2026(0)95--z
-
Vishkin, Uzi, see Naishlos, Dorit
-
Visibility, 2010(0)247--z
-
Visible, 1876(0)211--z
-
Vision, 1998(0)91--z, 1998(0)115--z, 1998(0)131--z, 1998(0)148--z,
1998(0)184--z, 1998(0)278--z, 2000(0)328--z, 2005(0)229--z,
2018(0)218--z, 2019(0)149--z, 2019(0)179--z, 2019(0)209--z,
2019(0)385--z, 2036(0)127--z
-
Vision-Based, 1998(0)35--z, 1998(0)125--z, 1998(0)219--z, 2019(0)96--z,
2019(0)291--z
-
Visser, E., 2027(0)365--370
-
Visser, E., see Brand, M. G. J. van den
-
Visser, Eelco, 2051(0)357--z
-
Visser, J., 2027(0)365--370
-
Visser, J., see Brand, M. G. J. van den
-
Visser, Ubbo, 2019(0)391--z, 2019(0)421--z
-
Visser, Ubbo, see Drücker, Christian
-
Visser, Willem, 2031(0)284--z
-
Visser, Willem, see Pasareanu, Corina S.
-
Visser:2001:RFO, 2019(0)391--z
-
Visser:2001:SLP, 2051(0)357--z
-
Vistex, 2013(0)417--z
-
Visual, 1990(0)304--z, 1998(0)1--z, 1998(0)261--z, 2005(0)545--z,
2018(0)161--z, 2027(0)361--z, 2032(0)226--z, 2032(0)270--z,
2035(0)136--z, 2036(0)114--z, 2036(0)174--z
-
Visual, Audio-, 2032(0)214--z
-
Visualization, 1900(0)47--z, 1900(0)1323--z, 1947(0)296--z,
2000(0)311--z, 2004(0)437--z, 2005(0)90--z, 2032(0)81--z
-
Visualizing, 1900(0)133--z, 1982(0)147--z
-
Vitányi, Paul, 2000(0)219--z
-
Vitanyi:2001:QCC, 2000(0)219--z
-
Vitrià, Jordi, 1876(0)550--z, see Guillamet, David
-
Vitter, Jeffrey S., 1982(0)51--z
-
Vitter, Jeffrey S., see Arge, Lars
-
Vitulano, D., 1876(0)377--z
-
Vitulano, S., 1876(0)377--z
-
Vitulano, S., see Vitulano, D.
-
Vitulano:2001:TIH, 1876(0)377--z
-
Viviani, Roberto, 1995(0)73--z
-
Viviani:2001:TDS, 1995(0)73--z
-
Vivien, Frédéric, 1808(0)141--z, 1900(0)405--z,
see Darte, Alain
-
Vladutu, Liviu, 2035(0)587--z
-
Vladutu:2001:GRN, 2035(0)587--z
-
Vlasov, Plasma-, 1981(0)254--z
-
VLDC, 2004(0)483--z
-
VLEli, 2027(0)361--z
-
Vlierberghe, Stef, Van, 2043(0)380--z
-
VLIW, 2027(0)213--z
-
Vocabulary, 2013(0)127--z
-
Vocca, Paola, 2010(0)121--z
-
Vocca, Paola, see Clementi, Andrea E. F.
-
Vogt, Harald, 2041(0)90--z
-
Vogt, Harald, see Kehr, Roger
-
Vogt, Holger, 1992(0)137--z
-
Vogt, Holger, see Kügler, Dennis
-
Voice, 2012(0)1--z
-
Völk, Martin, 1900(0)851--z, see Karl, Wolfgang
-
Voltage, 2008(0)1--z, 2008(0)65--z
-
Volume, 1900(0)415--z, 1900(0)1095--z, 1900(0)1284--z, 1947(0)296--z,
1998(0)27--z
-
Volumetric, 2018(0)109--z
-
vonLaszewski:2001:GBA, 1900(0)22--z
-
Voronkov, Andrei, 2051(0)137--z
-
Voronkov, Andrei, see Korovin, Konstantin
-
Voros, Nikos S., 1964(0)150--z
-
Voros, Nikos S., see Terrier, François
-
Vortex, 2031(0)143--z
-
Voting, 1876(0)347--z, 1962(0)90--z, 1998(0)193--z, 2045(0)78--z
-
Voxel, 2018(0)109--z
-
VPN, 1995(0)39--z
-
VPRS, 2005(0)296--z
-
VRML, 1990(0)93--z
-
VRML97, 1981(0)47--z
-
Vrt'o, Imrich, 1900(0)927--z
-
Vrt'o, Imrich, see Dobrev, Stefan
-
vs, 1876(0)193--z, 1876(0)872--z, 1900(0)620--z, 2016(0)148--z,
2019(0)249--z, 2031(0)1--z, 2045(0)262--z
-
Vutukury, Srinivas, 1989(0)67--z
-
Vutukury:2001:SSM, 1989(0)67--z