Last update: Sat Jan 6 02:13:50 MST 2018
Return to index directory
V
-
Vacillating, 2321(0)88--z
-
Vágvölgyi, S., 2295(0)186--z,
see Câmpeanu, C.
-
Vainikko, E., 2329(0)633--z
-
Vainikko, E., see Tehver, M.
-
Vaitis, Michalis, 2266(0)131--z
-
Vaitis, Michalis, see Kyriakopoulou, Maria
-
Vakkari, Pertti, 2291(0)110--z
-
Vakkari:2002:SKS, 2291(0)110--z
-
Valdéz, José Guillermo, 2313(0)477--z
-
Valdez:2002:MEI, 2313(0)477--z
-
Valence, 2295(0)281--z, 2295(0)293--z
-
Valero, Mateo, 2327(0)133--z, 2327(0)271--z
-
Valero, Mateo, see Falcón, Ayose,
see Santana, Oliverio J.
-
Validating, 2280(0)83--z, 2318(0)241--z
-
Validation, 2290(0)342--z, 2290(0)383--z, 2290(0)388--z, 2290(0)401--z,
2323(0)72--z, 2324(0)131--z
-
Valley, 2329(0)266--z
-
Valmayor, Alfredo, Fernandez-, 2306(0)308--z
-
Valtr, Pavel, 2265(0)343--z
-
Valtr, Pavel, see Babilon, Robert
-
Valuated, 2295(0)281--z
-
value, 2287(0)197--z, 2311(0)300--z, 2327(0)106--z, 2328(0)851--z
-
Value, Call-by-, 2305(0)6--z
-
Value-Profile, 2304(0)307--z
-
Values, Truth-, 2309(0)222--z
-
Van Begin, Laurent, 2280(0)173--z
-
Van Begin, Laurent, see Delzanno, Giorgio
-
Van Belle, Terry, 2278(0)152--z
-
Van Wyk, Eric, 2304(0)128--z
-
VanBelle:2002:USM, 2278(0)152--z
-
Vangheluwe, Hans, 2306(0)174--z
-
Vangheluwe, Hans, see Lara, Juan de
-
Vankan, W. J., 2329(0)663--z
-
Vankan:2002:IEM, 2329(0)663--z
-
VanWyk:2002:FAG, 2304(0)128--z
-
Ványi, Róbert, 2279(0)280--z
-
Vanyi:2002:ECF, 2279(0)280--z
-
Vardi, Moshe Y., 2280(0)296--z
-
Vardi, Moshe Y., see Armoni, Roy
-
Vargas, Patrícia Amâncio, 2321(0)181--z
-
Vargas-Jarillo, C., 2329(0)391--z
-
Vargas-Jarillo, C., see González-Santos, G.
-
Vargas:2002:LAL, 2321(0)181--z
-
Variability, 2290(0)13--z, 2290(0)22--z, 2290(0)294--z, 2290(0)304--z,
2290(0)319--z, 2319(0)109--z
-
variable, 2280(0)83--z, 2281(0)482--z, 2304(0)247--z
-
Variable-Length, 2278(0)212--z
-
Variant, 2285(0)608--z
-
variation, 2278(0)37--z, 2319(0)109--z
-
Variety, 2303(0)144--z, 2328(0)418--z
-
Varjú, Erzsébet, Csuhaj-, 2295(0)359--z
-
Vasco, María Isabel González, 2286(0)105--z
-
Vasco:2002:HNP, 2286(0)105--z
-
Vasconcelos, Wamberto, 2222(0)297--z
-
Vasconcelos:2002:LML, 2222(0)297--z
-
Vasiliu, Adrian, 2265(0)438--z
-
Vasiliu, Adrian, see Sander, Georg
-
Vasilyeva, Ekaterina, 2328(0)770--z
-
Vasilyeva:2002:RUP, 2328(0)770--z
-
Vassilakis, Costas, 2291(0)86--z
-
Vassilakis, Costas, see Lepouras, George
-
Vassilakis, Helen, 2298(0)317--z
-
Vassilakis:2002:CFT, 2298(0)317--z
-
Vassilas, Nikolaos, 2308(0)203--z
-
Vassilas:2002:MGS, 2308(0)203--z
-
Vassiliadis, Stamatis, 2268(0)207--z, 2268(0)224--z, 2268(0)291--z,
2268(0)307--z
-
Vassiliadis, Stamatis, see Glossner, C. John,
see Kuzmanov, Georgi, \see{Sima, Mihai,
see Wong, Stephan
-
Vaszil, György, 2295(0)359--z,
see Csuhaj-Varjú, Erzsébet
-
Vazhev, I., 2328(0)797--z
-
Vazhev, I., see Kleymenov, A.
-
Vazirani, Umesh, 2286(0)12--z, 2292(0)208--z
-
Vazirani, Vijay V., 2292(0)198--z
-
Vazirani:2002:FTQ, 2292(0)208--z
-
Vazirani:2002:PDS, 2292(0)198--z
-
Vazirani:2002:QA, 2286(0)12--z
-
Vazirgiannis, Michalis, 2287(0)762--z, 2308(0)273--z
-
Vazirgiannis, Michalis, see Amanatidis, Christos,
see Halkidi, Maria
-
vector, 2308(0)346--z, 2308(0)355--z, 2313(0)282--z, 2326(0)231--z,
2329(0)147--z
-
Vedru, J., 2329(0)633--z
-
Vedru, J., see Tehver, M.
-
Veelaert, Peter, 2301(0)289--z
-
Veelaert:2002:CLS, 2301(0)289--z
-
Vegara, F., 2329(0)458--z
-
Vegara, F., see Benavent, X.
-
Vegas, Jesús, 2291(0)268--z
-
Vegas:2002:GUI, 2291(0)268--z
-
Vehicle, 2279(0)11--z, 2289(0)21--z
-
Veidenbaum, Alexander, 2327(0)120--z
-
Veidenbaum, Alexander, see Tang, Weiyu
-
Velázquez, Rodolfo, Torres-, 2279(0)173--z
-
Velez, Laura, 2313(0)118--z
-
Velez, Laura, see Pérez, Joaquín
-
Velocity, 2281(0)372--z
-
Vempala, Santosh, 2286(0)516--z
-
Vempala, Santosh, see Bornstein, Claudson F.
-
Venberg, Andrey V., 2328(0)756--z
-
Venberg, Andrey V., see Sevastjanov, Pavel V.
-
Vendors, 2319(0)123--z
-
Venkatesan, Ramarathnam, 2320(0)13--z
-
Venkatesan, Ramarathnam,
see Mihçak, M. Kivanç
-
Venneri, Betti, 2315(0)56--z
-
Venneri, Betti, see Bettini, Lorenzo
-
Verboseness, 2285(0)465--z
-
Verbrugge, Clark, 2304(0)325--z
-
Verbrugge, Clark, see Qian, Feng
-
Vercoustre, Anne-Marie, 2287(0)759--z
-
Vercoustre, Anne-Marie, see Fundulaki, Irini
-
Verdejo, M. F., 2313(0)301--z
-
Verdejo, M. F., see Barros, B.
-
Verification, 2280(0)21--z, 2280(0)173--z, 2280(0)205--z, 2280(0)221--z,
2280(0)465--z, 2286(0)400--z, 2289(0)120--z, 2289(0)225--z,
2294(0)208--z, 2294(0)225--z, 2294(0)317--z, 2303(0)5--z,
2305(0)262--z, 2306(0)15--z, 2306(0)218--z, 2313(0)460--z,
2318(0)60--z, 2318(0)148--z, 2318(0)170--z, 2318(0)205--z,
2318(0)246--z, 2328(0)247--z
-
Verified, 2328(0)803--z
-
Verify, 2318(0)187--z
-
Verifying, 2283(0)195--z, 2294(0)182--z, 2303(0)372--z
-
Verkest, Diederik, 2268(0)274--z
-
Verkest, Diederik, see Desmet, Dirk
-
Verlinden, Margriet, 2298(0)169--z
-
Verlinden:2002:SAW, 2298(0)169--z
-
Vernazza, Tullio, 2319(0)269--z
-
Vernazza, Tullio, see Sillitti, Alberto
-
Versatile, 2329(0)176--z
-
Version, 2277(0)233--z, 2285(0)347--z, 2286(0)196--z
-
Version, {N}-, 2278(0)172--z
-
Versioning, 2266(0)264--z, 2304(0)293--z
-
versus, 2222(0)206--z, 2310(0)219--z, 2317(0)338--z, 2327(0)425--z
-
vertex, 2265(0)124--z
-
Vertex-Biconnectivity, 2279(0)102--z
-
Vertex-Symmetry, 2328(0)35--z
-
Very, 2280(0)266--z, 2287(0)179--z, 2307(0)161--z, 2308(0)346--z
-
Vestb{\o}, A., 2329(0)494--z, see Helstrup, H.
-
{VHDL}-Descriptions, 2328(0)272--z
-
via, 2265(0)367--z, 2278(0)172--z, 2289(0)35--z, 2291(0)183--z,
2315(0)149--z
-
Viability, 2289(0)90--z
-
Vialle, Stéphane, 2326(0)92--z, see Dedu, Eugen
-
vibration, 2328(0)663--z
-
Vicedo, J. L., 2329(0)61--z
-
Vicedo, J. L., see Llopis, F.
-
Vicedo, José Luis, 2313(0)185--z,
see Llopis, Fernando
-
ViCo, 2317(0)249--z
-
Video, 2287(0)736--z, 2301(0)155--z, 2314(0)117--z, 2314(0)194--z,
2314(0)207--z, 2314(0)219--z, 2314(0)229--z, 2314(0)259--z,
2314(0)269--z, 2314(0)276--z, 2314(0)288--z, 2329(0)41--z
-
View, 2278(0)113--z, 2281(0)31--z, 2287(0)52--z, 2287(0)354--z,
2292(0)113--z, 2295(0)281--z, 2298(0)173--z, 2321(0)74--z,
2329(0)439--z
-
Viewer, 2317(0)221--z
-
Viganò, Luca, 2309(0)222--z, see Rasga, João
-
Vigna, Sebastiano, 2286(0)465--z
-
Vigna, Sebastiano, see Boldi, Paolo
-
Villaseñor, L., 2313(0)166--z, see Pineda, L. A.
-
Villela, Patricia Rayón, 2313(0)282--z
-
Villela:2002:IPR, 2313(0)282--z
-
Vincentelli, Alberto L., Sangiovanni-, 2289(0)76--z
-
Vincentelli, Alberto Sangiovanni, 2289(0)337--z
-
Vincentelli, Alberto Sangiovanni, see Palopoli, Luigi
-
Vincze, Markus, 2238(0)101--z
-
Vincze:2002:DAV, 2238(0)101--z
-
Vingralek, Radek, 2287(0)701--z, 2320(0)176--z
-
Vingralek, Radek, see Shapiro, William
-
Vingralek:2002:TDS, 2287(0)701--z
-
Vinju, Jurgen J., 2304(0)143--z
-
Vinju, Jurgen J., see Brand, Mark G. J. van den
-
Vink, E. P. de, 2285(0)583--z
-
Vink, E. P. de, see Baeten, J. C. M.
-
Vink, Erik de, 2296(0)29--z, 2315(0)191--z
-
Vink, Erik de, see Agray, Nesria,
see Groenewegen, Luuk
-
Vintan, Lucian, 2299(0)179--z
-
Vintan, Lucian, see Egan, Colin
-
Viroli, Mirko, 2315(0)364--z
-
Viroli:2002:TBM, 2315(0)364--z
-
Virtual, 2266(0)264--z, 2278(0)316--z, 2281(0)672--z, 2287(0)739--z,
2294(0)32--z, 2298(0)21--z, 2298(0)59--z, 2299(0)195--z,
2315(0)340--z, 2322(0)44--z, 2326(0)16--z, 2327(0)49--z,
2328(0)23--z, 2329(0)399--z, 2329(0)704--z
-
Viscosity, 2289(0)451--z
-
Visibility, 2265(0)422--z, 2301(0)326--z
-
Vision, 2238(0)39--z, 2238(0)51--z, 2238(0)74--z, 2238(0)101--z,
2279(0)222--z, 2292(0)148--z, 2308(0)378--z, 2308(0)413--z,
2313(0)11--z, 2314(0)50--z
-
Vision-Estimated, 2298(0)59--z
-
Visone, 2265(0)463--z
-
Visser, Eelco, 2304(0)143--z
-
Visser, Eelco, see Brand, Mark G. J. van den
-
Visser, Joost, 2319(0)331--z
-
Visser, Joost, see Jonge, Merijn de
-
Visser, Willem, 2318(0)242--z
-
Visser, Willem, see Groce, Alex
-
Vissers, Kees, 2268(0)18--z, 2268(0)224--z
-
Vissers, Kees, see Kienhuis, Bart,
see Sima, Mihai
-
ViSta, 2265(0)481--z
-
Visual, 2238(0)101--z, 2238(0)122--z, 2238(0)317--z, 2266(0)120--z,
2281(0)640--z, 2298(0)206--z, 2298(0)254--z, 2302(0)69--z,
2306(0)189--z, 2308(0)355--z, 2308(0)401--z, 2314(0)105--z,
2314(0)175--z, 2314(0)259--z, 2315(0)166--z, 2317(0)106--z,
2317(0)176--z, 2317(0)221--z, 2317(0)305--z, 2324(0)239--z,
2329(0)429--z
-
Visualisation, 2265(0)442--z, 2269(0)395--z
-
Visualising, 2269(0)58--z
-
Visualization, 2265(0)45--z, 2265(0)352--z, 2265(0)444--z,
2265(0)453--z, 2265(0)457--z, 2265(0)477--z, 2269(0)16--z,
2269(0)88--z, 2269(0)138--z, 2269(0)163--z, 2269(0)176--z,
2269(0)205--z, 2269(0)227--z, 2269(0)241--z, 2269(0)285--z,
2269(0)295--z, 2269(0)337--z, 2269(0)354--z, 2269(0)368--z,
2281(0)616--z, 2281(0)650--z, 2281(0)661--z, 2314(0)311--z,
2317(0)112--z, 2317(0)206--z, 2317(0)249--z, 2317(0)347--z,
2328(0)35--z
-
Visualize, 2317(0)279--z
-
Visualized, 2269(0)256--z
-
Visualizer, 2299(0)274--z
-
Visualizing, 2269(0)151--z, 2269(0)191--z, 2269(0)381--z, 2314(0)302--z
-
Visually, 2298(0)272--z
-
Vite-Hernández, René, 2313(0)494--z,
see Sánchez-Parra, Marino
-
Viterbi, 2288(0)50--z
-
Vittorini, V., 2324(0)233--z
-
Vittorini, V., see Franceschinis, Giuliana
-
Viviani, Giuseppe, 2287(0)753--z
-
Viviani, Giuseppe, see Damiani, Ernesto
-
Vladimirsky, Alexander, 2289(0)393--z
-
Vladimirsky, Alexander, see Sethian, James A.
-
Vlahavas, Ioannis, 2308(0)437--z
-
Vlahavas, Ioannis, see Bassiliades, Nick
-
Vlahavas, Ioannis P., 2308(0)72--z
-
Vlahavas:2002:CSC, 2308(0)72--z
-
Vlassis, N., 2238(0)39--z
-
Vlassis, N., see Kröse, B. J. A.
-
Vlissides, John, 2269(0)151--z
-
Vlissides, John, see Pauw, Wim De
-
VLIW, 2327(0)93--z
-
Vmgen, 2304(0)5--z
-
Vocabulary, 2298(0)86--z
-
Vocabulary, Out-of-, 2313(0)156--z
-
Voellmy, A., 2329(0)371--z
-
Voellmy, A., see Raney, B.
-
Voice-over-{IP}, 2324(0)289--z
-
Vok{\v{r}}{\'\i}nek, Jir{\'\i}, 2322(0)308--z,
see Ríha, Ale{\v{s}}
-
Volcano, 2296(0)253--z
-
Völker, M., 2324(0)51--z, see Bause, F.
-
Volkov, M. V., 2295(0)166--z
-
Volkov, M. V., see Ananichev, D. S.
-
Vollmer, Heribert, 2295(0)239--z
-
Vollmer, Heribert, see Schwentick, Thomas
-
Volmer, Stephan, 2314(0)36--z
-
Volmer:2002:FAN, 2314(0)36--z
-
Volume, 2308(0)390--z, 2328(0)703--z, 2329(0)813--z
-
Voting, 2286(0)415--z
-
Vouros, George, 2308(0)449--z
-
Vouros, George, see Partsakoulakis, Ioannis
-
Vowels-Oriented, 2296(0)253--z
-
Voxel, 2301(0)244--z
-
VPP, 2327(0)503--z
-
Vrba, Pavel, 2322(0)268--z
-
Vrba:2002:MHP, 2322(0)268--z
-
Vries, Wieke de, 2296(0)313--z
-
Vries:2002:PLC, 2296(0)313--z
-
Vrt'o, Imrich, 2265(0)96--z, 2265(0)115--z
-
Vrt'o, Imrich, see Djidjev, Hristo,
see Muñoz, Xavier
-
Vrtic, M., 2329(0)371--z
-
Vrtic, M., see Raney, B.
-
vs, 2295(0)166--z, 2298(0)206--z, 2315(0)291--z, 2316(0)153--z,
2317(0)112--z