Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
V
-
V, 10(1)88--89, 14(1)105--106, 15(1)98--100
-
V2, 143(z)1--8
-
Vaandrager, Frits, 209(z)z--99999999
-
Vaandrager, Frits, see Bos, Petra van den
-
Vaglini, Gigliola, 30(3)309--338, 54(2)291--311, 78(9)1346--1367
-
Vaglini, Gigliola, see De Francesco, Nicoletta,
see Santone, Antonella
-
Vain, Jueri, 20(1)113--140
-
Vain, Jueri, see Kurki-Suonio, Reino
-
Valderas, Pedro, 78(10)1987--2008
-
Valderas, Pedro, see Gil, Miriam
-
Valdés-Souto, Francisco, 135(z)105--121
-
Valdes-Souto:2017:APT, 135(z)105--121
-
Valdez, Edward Rolando, Núñez-, 207(z)z--99999999
-
Valencia, Frank, 100(z)84--104, 111(z)135--155
-
Valencia, Frank, see Pino, Luis F.
-
Valencia-García, Rafael, 95(z)1--2, 102(z)1--19, 121(z)1--2,
156(z)90--103,
see Paredes-Valverde, Mario Andrés,
see Salas-Zárate, María del Pilar
-
Valencia-Garcia:2014:SIS, 95(z)1--2
-
Valencia-Garcia:2016:SIK, 121(z)1--2
-
Valente, Andrea, 59(3)209--249
-
Valente, Andrea, see Giannini, Paola
-
Valente, Marco Tulio, 176(z)14--32, 191(z)z--99999999
-
Valente, Marco Tulio, see Alcocer, Juan Pablo Sandoval,
see Avelino, Guilherme
-
Valentin, Eduardo, 165(z)24--37
-
Valentin:2018:TOS, 165(z)24--37
-
Valero, Valentín, 77(3)290--313
-
Valero:2012:TWS, 77(3)290--313
-
valid, 97(z)405--425
-
Validated, 90(z)2--20
-
validating, 69(1)27--34, 149(z)3--8, 158(z)122--147, 201(z)z--99999999
-
validation, 9(2)179--205, 20(1)51--71, 44(1)101--129, 52(1)257--280,
75(9)796--807, 78(3)272--292, 97(z)405--425, 128(z)2--21,
131(z)76--93, 131(z)109--125, 161(z)18--33, 162(z)55--75
-
validity, type-, 6(3)273--290
-
Valiron, Benoît, 214(z)z--99999999,
see Brugière, Timothée Goubault de
-
Vallduví, 38(1)147--149
-
Vallecillo, Antonio, 68(3)111--113, 74(10)812--835, 90(z)67--70
-
Vallecillo, Antonio, see Buhnova, Barbora,
see Pierantonio, Alfonso,
see Roldán, Manuel
-
Valley, 2(1)89--89
-
Valloud, Andrés, 196(z)z--99999999
-
Valloud:2020:LWR, 196(z)z--99999999
-
Valmayor, A., Fernández-, 71(1)1--16
-
valuation, 215(z)z--99999999
-
value, 40(2)151--169, 43(2)129--159, 56(3)315--342, 64(1)97--114,
77(3)314--354, 94(z)18--31, 103(z)3--12, 133(z)175--193,
140(z)17--29, 214(z)z--99999999, 219(z)z--99999999,
225(z)z--99999999
-
Value, Call-by-, 184(z)z--99999999
-
value, call-by-, 31(1)47--73, 84(z)77--100, 187(z)z--99999999
-
value-based, 230(z)z--99999999
-
valued, 34(2)141--158
-
valued, Three-, 34(2)141--158, 175(z)37--62
-
valued, three-, 126(z)94--110
-
Valverde, B. Jiménez, 66(1)44--59,
see Vela, F. L. Gutiérrez
-
Valverde, Mario Andrés, Paredes-, 156(z)90--103
-
van, 15(1)95--97, 15(1)98--98, 24(1)97--99
-
van Ammers, Eric W., 30(3)251--286
-
Van Cutsem, Tom, 98(z)140--158, 98(z)422--438
-
Van Cutsem, Tom, see De Koster, Joeri
-
Van De Snepscheut, Jan L. A., 15(2)119--133
-
Van De Snepscheut, Jan L. A., see Hofstee, H. Peter
-
van de Snepscheut, Jan L. A., 7(1)55--60, 12(2)151--155
-
van de Snepscheut, Jan L. A., see Gries, David
-
Van De Vorst, J. G. G., 15(2)159--169
-
Van De Vorst, J. G. G., see Loyens, L. D. J. C.
-
Van den Berghe, Steven, 66(1)4--24
-
Van den Berghe, Steven, see Verstichel, Stijn
-
van den Broek, P. M., 24(1)63--81
-
van den Broek, P. M., see van Gilst, F. A.
-
van den Eijnde, J. P. H. W., 15(1)79--94, 22(1)3--19
-
van den Eijnde, J. P. H. W., see Backhouse, Roland C.
-
van der Nat, M., 7(1)23--33
-
van der Sommen, F. W., 29(3)327--334
-
Van Der Straeten, R., 78(2)168--194
-
Van Der Straeten, R., see Philips, E.
-
Van Der Straeten, Ragnhild, 87(z)62--94
-
Van Der Straeten, Ragnhild, see Joncheere, Niels
-
van der Woude, Jaap, 12(3)177--190
-
Van Deun, Joris, 90(z)2--20
-
Van Deun, Joris, see Backeljauw, Franky
-
van Diepen, N. W. P., 6(3)213--272
-
van Emde Boas, Peter, 24(2)183--185
-
Van Emmerik, Mike, 40(2)171--188
-
Van Emmerik, Mike, see Cifuentes, Cristina
-
van Gasteren, A. J. M., 22(1)3--19, 29(3)327--334
-
van Gasteren, A. J. M., see Backhouse, Roland C.,
see van der Sommen, F. W.
-
van Gilst, F. A., 24(1)63--81
-
Van Gorp, P., 85(z)5--40
-
Van Gorp, P., see Kolahdouz-Rahimi, S.
-
Van Gorp, Pieter, 85(z)1--4
-
Van Hentenryck, Pascal, 30(1)83--118, 38(1)27--71
-
Van Hentenryck, Pascal, see Cortesi, Agostino
-
Van Hoecke, Sofie, 66(1)4--24
-
Van Hoecke, Sofie, see Verstichel, Stijn
-
van Lamsweerde, Axel, 20(1)3--50
-
van Lamsweerde, Axel, see Dardenne, Anne
-
van Leeuwen, Jan, 10(2)107--137
-
van Leeuwen, Jan, see Tel, Gerard
-
van Ommering, R. C., 33(2)163--212
-
van Ommering, R. C., see Feijs, L. M. G.
-
Van Ryseghem, Benjamin, 96(z)34--51
-
Van Wyk, Eric, 61(3)189--189, 68(1)38--61, 75(1)39--54, 87(z)1--1,
96(z)511--526, 114(z)33--44, 132(z)2--28
-
Van Wyk, Eric, see Brabrand, Claus,
see Hedin, Görel, \see{Kaminski, Ted,
see Krishnan, Lijesh, \see{Martins, Pedro
-
vanAmmers:1998:PCC, 30(3)251--286
-
VanCutsem:2015:RTC, 98(z)422--438
-
Vandecappelle, Arnout, 72(3)71--135
-
Vandecappelle, Arnout, see Daylight, Edgar G.
-
vandenBerg:2024:FHO, 234(z)z--99999999
-
vandenBerg:2024:FRM, 231(z)z--99999999
-
vandenBos:2021:SIL, 209(z)z--99999999
-
vandenBrand:2000:GCS, 36(2)209--266
-
vandenBrand:2003:P, 47(1)1--1
-
vandenBrand:2006:AE, 61(3)245--264
-
vandenBrand:2007:GEI, 69(1)1--2
-
vandenBrand:2008:GEI, 72(1)1--2
-
vandenBrand:2010:GEI, 75(4)214--215
-
vandenBrand:2015:GEI, 98(z)1--2
-
vandenBrand:2015:ILT, 114(z)1--6
-
vandenBrand:2015:SER, 97(z)75--81
-
vandenBrand:2017:GEI, 134(z)1--3
-
Vandenbroucke, Alexander, 231(z)z--99999999
-
Vandenbroucke, Alexander, see Berg, Birthe van den
-
vandenEijnde:1990:LBR, 15(1)79--94
-
vandenHove:2017:DHC, 2(1)312--318, 150(z)75--86
-
vanderAalst:2002:CBS, 42(2)129--171, 44(3)343--344
-
vanderAalst:2002:CPI, 42(2)129--171, 44(3)343--344
-
vanderBurg:2014:DTD, 79(z)52--69
-
Vanderdonckt, Jean, 86(z)1--2
-
Vanderdonckt, Jean, see López-Jaquero, Víctor
-
vanderHoek:2004:DTP, 53(3)285--304
-
vanderNat:1986:ACD, 7(1)23--33
-
vanderSommen:1997:PME, 29(3)327--334
-
vanderSpek:2011:ADT, 76(12)1261--1274
-
vanderStorm:2014:DIO, 96(z)460--487
-
vanderStorm:2015:TMP, 97(z)143--149
-
vanderWoude:1989:PPS, 12(3)177--190
-
vandeSnepscheut:1986:DDI, 7(1)55--60
-
vandeSnepscheut:1990:F, 14(2)113--115
-
vanDeursen:1999:BRB, 34(2)159--161
-
vanDeursen:2000:PPR, 36(2)303--324
-
vanDeursen:2001:ESC, 40(2)189--211
-
vanDeursen:2006:DSS, 60(2)205--220
-
vanDeursen:2015:CBA, 97(z)173--180
-
Vandic, Damir, 94(z)32--52
-
Vandic, Damir, see Hogenboom, Frederik
-
vanDiepen:1986:PDT, 6(3)213--272
-
Vandin, Andrea, 99(z)75--94
-
Vandin, Andrea, see Bruni, Roberto
-
vanDooren:2014:MTC, 87(z)44--61
-
vanEerd:2023:IMS, 225(z)z--99999999
-
vanEijck:2000:TSL, 38(1)147--149
-
vanEijck:2015:UIU, 97(z)69--74
-
vanEmdeBoas:1995:BRB, 24(2)183--185
-
vanEmden:2014:MC, 84(z)3--21
-
vanEngelen:2004:AVC, 52(1)257--280
-
vanGastel:2011:DSF, 76(2)82--99
-
Vangheluwe, Hans, 76(12)1223--1246
-
Vangheluwe, Hans, see Meyers, Bart
-
vanGilst:1995:NPT, 24(1)63--81
-
VanGorp:2014:GEI, 85(z)1--4
-
vanHee:2007:LLH, 65(1)30--40
-
vanHeesch:2012:SEP, 77(5)551--576
-
VanHentenryck:1998:NCP, 30(1)83--118
-
Vanhoof, Wim, 105(z)44--72
-
Vanhoof, Wim, see Marcozzi, Michaël
-
vanLamsweerde:2011:HHR, 76(8)627--630
-
VanRyseghem:2014:SCR, 96(z)34--51
-
vanVulpen:2022:OPM, 213(z)z--99999999
-
VanWyk:2007:IAO, 68(1)38--61
-
VanWyk:2010:SEA, 75(1)39--54
-
Vanzetto, Hernán, 158(z)3--20, see Merz, Stephan
-
Vara, Jose Luis de la, 233(z)z--99999999
-
Vara, Juan M., 98(z)3--27
-
Vara, Juan M., see Jiménez, Álvaro
-
Va{\v{r}}ekov{\'a}, P., 76(10)877--890,
see Bene{\v{s}}, N.
-
Varela, Alberto S., Nuñez-, 196(z)z--99999999
-
Varela, G., 78(10)1971--1986
-
Varela, G., see Paz-Lopez, A.
-
Vargas-Solar, Genoveva, 215(z)z--99999999
-
Vargas-Solar, Genoveva,
see Neto, João Batista de Souza
-
variability, 53(3)255--258, 53(3)259--284, 53(3)285--304, 53(3)305--331,
53(3)333--352, 76(12)1075--1077, 78(12)2414--2432, 127(z)76--102,
159(z)1--27, 163(z)62--84, 169(z)1--17, 187(z)z--99999999
-
variability-aware, 105(z)145--170, 199(z)z--99999999
-
variable, 11(2)107--131, 16(1)49--88, 16(2)151--195, 47(2)203--220,
51(1)47--85, 80(z)91--105, 163(z)174--189, 216(z)z--99999999,
225(z)z--99999999, 233(z)z--99999999
-
variable, Four-, 111(z)339--362
-
variable, four-, 111(z)339--362
-
variable, shared-, 6(1)35--88
-
Variant, 29(3)327--334
-
Variant-based, 154(z)3--41
-
variants, 53(3)381--407
-
variation, 53(3)305--331, 53(3)353--380
-
various, 29(1)171--197
-
Varpaaniemi, Kimmo, 78(7)884--905
-
Varpaaniemi, Kimmo, see Iliasov, Alexei
-
Varró, Dániel, 44(2)205--227, 68(3)214--234, 98(z)80--99,
see Ujhelyi, Zoltán
-
Varró, Gergely, 44(2)205--227,
see Varró, Dániel
-
Varro:2002:DAT, 44(2)205--227
-
Varro:2007:MTL, 68(3)214--234
-
Varshosaz, Mahsa, 123(z)42--60, 168(z)171--185
-
Varshosaz, Mahsa, see Beohar, Harsh
-
Varshosaz:2018:BBM, 168(z)171--185
-
Vasconcelos, Pedro, 111(z)505--534
-
Vasconcelos, Pedro, see Rodrigues, Vítor
-
Vasconcelos, Vasco T., 77(6)661--662
-
Vasconcelos, Vasco T., see Field, John
-
Vasilescu, Bogdan, 89(z)251--272
-
Vasilescu:2014:HHS, 89(z)251--272
-
Vásquez, Mario, Linares-, 206(z)z--99999999, 225(z)z--99999999
-
Vásquez-Reynoso, Raysa, 207(z)z--99999999,
see Guzmán-Guzmán, Xiomarah
-
Vassallo, Carmine, 180(z)1--15
-
Vassallo:2019:LSE, 180(z)1--15
-
Vassilakis, C., 98(z)707--734
-
Vassilakis, C., see Margaris, D.
-
Vaswani, Kapil, 77(6)743--759
-
Vaswani, Kapil, see Lo, David
-
Vaucouleur, Sebastien, 63(2)130--146
-
Vaucouleur, Sebastien, see Eugster, Patrick
-
Vauttier, Sylvain, 127(z)24--49
-
Vauttier, Sylvain, see Mokni, Abderrahman
-
Vaziri-Farahani, Mandana, 28(2)273--299
-
Vaziri-Farahani, Mandana, see Wing, Jeannette M.
-
Vazquez-Reyes, Sodel, 121(z)176--189
-
Vazquez-Reyes, Sodel, see Velasco-Elizondo, Perla
-
Vazquez-Rodriguez, S., 78(10)1971--1986
-
Vazquez-Rodriguez, S., see Paz-Lopez, A.
-
VDM, 16(1)92--93, 20(1)51--71, 94(z)67--68, 197(z)z--99999999
-
vector, 21(2)115--139, 95(z)254--271, 226(z)z--99999999
-
Vectors, 21(2)115--139
-
Veerman, Niels, 57(2)129--163, 62(3)287--317
-
Veerman:2005:TLC, 57(2)129--163
-
Veerman:2006:AMM, 62(3)287--317
-
VeGAn-Tool, 230(z)z--99999999
-
vehicle, 148(z)88--106
-
Vela, F. L. Gutiérrez, 66(1)44--59
-
Vela, Francisco Luis Gutiérrez, 78(11)2259--2267,
see Figueroa-Martinez, Jose
-
Vela:2007:AAC, 66(1)44--59
-
Velardi, L., 133(z)116--153
-
Velardi, L., see Benerecetti, M.
-
Velasco-Elizondo, Perla, 121(z)176--189
-
Velasco-Elizondo:2016:KRI, 121(z)176--189
-
Velásquez, Camilo, Escobar-, 206(z)z--99999999,
225(z)z--99999999
-
Velázquez-Rodríguez, Camilo, 227(z)z--99999999
-
Velazquez-Rodriguez:2023:TCA, 227(z)z--99999999
-
Velder, Sergey, 97(z)163--172
-
Velder, Sergey, see Kogtenkov, Alexander
-
Ven, Kris, 76(12)1210--1222
-
Ven, Kris, see Mannaert, Herwig
-
Venet, A., 35(2)223--248
-
Venet:1999:AAP, 35(2)223--248
-
Venice, 30(1)3--49, 30(1)51--82, 30(1)119--155, 30(1)157--199,
30(1)201--226, 30(1)227--250
-
Venneri, Betti, 74(5)261--278, 76(11)992--1014
-
Venneri, Betti, see Bettini, Lorenzo
-
Verbeek, Eric, 67(2)162--198
-
Verbeek, Eric, see Ouyang, Chun
-
Verbowski, Chad, 53(2)143--164
-
Verbowski, Chad, see Wang, Yi-Min
-
Verebi, Ioana, 134(z)19--36
-
Verebi, Ioana, see Ganea, George
-
Vereda, Alejandro, Pérez-, 203(z)z--99999999
-
Vereijken, J. J. Jan Joris, 51(3)291--292
-
Vereijken, Jan Joris, 54(2)313--313
-
Vereijken:2004:PAT, 51(3)291--292
-
Vereijken:2005:EBR, 54(2)313--313
-
Verelst, Jan, 76(12)1210--1222
-
Verelst, Jan, see Mannaert, Herwig
-
Veres, Sandor M., 148(z)88--106
-
Veres, Sandor M., see Kamali, Maryam
-
Verheij, Arnout, 94(z)32--52
-
Verheij, Arnout, see Hogenboom, Frederik
-
Verhoef, C., 45(1)1--96, 54(2)143--211, 56(3)275--313, 56(3)315--342,
67(2)247--277, 71(1)17--56, 72(3)136--175, 74(11)900--933,
74(11)934--988, 77(3)314--354, 78(9)1368--1406, 130(z)37--68
-
Verhoef, C., see Delen, G. P. A. J.,
see Eveleens, J. L., \see{Klusener, A. S.,
see Kulk, G. P., \see{Kwiatkowski, L. M.,
see Peters, R. J.
-
Verhoef, Chris, 36(2)129--130, 36(2)209--266, 45(2)97--98,
45(2)193--243, 78(12)2360--2380, 98(z)551--588
-
Verhoef, Chris, see Baxter, Ira,
see Brand, Mark van den,
see Chikofsky, Elliot,
see Ganesan, Dharmalingam,
see Kwiatkowski, Lukasz M.,
see Sellink, Alex
-
Verhoef:2002:QIP, 45(1)1--96
-
Verhoef:2005:QAO, 56(3)275--313
-
Verhoef:2005:QVI, 56(3)315--342
-
Verhoef:2007:QEI, 67(2)247--277
-
Verhulst, Eric, 203(z)z--99999999
-
Verhulst, Eric, see Cledou, Guillermina
-
VeriFast, 82(z)77--97
-
Verifiable, 96(z)121--140
-
verification, co-, 216(z)z--99999999
-
verification-condition, 55(1)209--226
-
verified, 74(4)197--218, 74(4)238--257, 89(z)2--22, 106(z)30--53,
174(z)1--37, 216(z)z--99999999, 218(z)z--99999999
-
Verifier, 78(3)327--342
-
verify, 152(z)63--69, 172(z)117--134, 172(z)160--179, 210(z)z--99999999
-
verifying, 5(2)143--169, 24(2)105--128, 29(1)79--98, 29(1)99--122,
36(1)65--96, 42(1)39--47, 46(3)197--217, 74(4)197--218,
77(3)375--392, 77(12)1235--1271, 78(6)695--704, 82(z)44--55,
96(z)315--336, 97(z)157--162, 103(z)13--50, 113(z)191--220,
137(z)2--62, 148(z)3--25, 158(z)122--147, 187(z)z--99999999,
197(z)z--99999999, 201(z)z--99999999, 208(z)z--99999999,
215(z)z--99999999, 216(z)z--99999999, 228(z)z--99999999
-
Verlag, Springer-, 1(3)203--222
-
Verma, Nitika, 105(z)92--123
-
Verma, Nitika, see Banach, Richard
-
Vermaas, Rob, 72(1)52--70
-
Vermaas, Rob, see Bravenboer, Martin
-
Vermeulen, Frederik, 66(1)4--24
-
Vermeulen, Frederik, see Verstichel, Stijn
-
Vernadat, François, 132(z)209--225,
see Bourdil, Pierre-Alain
-
Vernageau, Yoann, 149(z)9--14
-
Vernageau, Yoann, see Daniel, Gwendal
-
Verrijn-Stuart, A. A., 7(1)23--33
-
Verrijn-Stuart, A. A., see van der Nat, M.
-
Versioned, 63(2)172--185
-
versions, 12(1)39--74, 27(1)1--35, 76(12)1177--1193, 89(z)88--104,
113(z)1--2, 160(z)1--2, 182(z)86--87, 191(z)z--99999999,
206(z)z--99999999, 218(z)z--99999999, 225(z)z--99999999
-
Verstichel, Stijn, 66(1)4--24
-
Verstichel:2007:ODM, 66(1)4--24
-
versus, 7(1)87--97
-
vertex, 4(3)323--333, 5(1)97--106
-
very, 42(1)11--27, 149(z)9--14
-
Veschetti, Adele, 225(z)z--99999999
-
Veschetti, Adele, see Crafa, Silvia
-
Vessels, 2(2)133--141
-
Viana, José Carlos, 191(z)z--99999999,
see Pinheiro, Pedro
-
Viana, Petrucio, 73(2)129--135
-
Viana, Petrucio, see Freitas, Renata de
-
Viana, Windson, 78(12)2381--2398
-
Viana, Windson, see Marinho, Fabiana G.
-
VIATRA2, 68(3)214--234
-
Vicious, 109(z)61--95
-
Vickers, 33(1)97--99
-
Vickers, Trevor, 14(2)281--304
-
Vickers, Trevor, see Morgan, Carroll
-
Vicky, 16(1)92--93
-
Victor, 13(1)117--119
-
Vidács, László, 74(7)399--413
-
Vidacs:2009:CPS, 74(7)399--413
-
Vidakovi{\'c}, Dragan, 230(z)z--99999999,
see Slivka, Jelena
-
Vidal, Germán, 102(z)142--157, 155(z)1--2
-
Vidal, Marzina, 197(z)z--99999999
-
Vidal, Santiago, 182(z)64--85, 219(z)z--99999999
-
Vidal, Santiago, see Maurel, Heloise
-
Vidal:2015:SEB, 102(z)142--157
-
Vidal:2018:PSS, 155(z)1--2
-
Vidal:2019:RAC, 182(z)64--85
-
Vidal:2020:DSL, 197(z)z--99999999
-
video, 10(2)218--219
-
Vieira, Bárbara, 78(7)796--812, 91(z)216--233,
see Almeida, J. Bacelar,
see Almeida, José Bacelar
-
Vieira, Gustavo M. D., 200(z)z--99999999
-
Vieira, Gustavo M. D., see Ugliara, Fellipe A.
-
Vieira, Hugo Torres, 204(z)z--99999999, 225(z)z--99999999
-
Vieira, Hugo Torres, see Audrito, Giorgio,
see Inverso, Omar
-
Viera, Marcos, 96(z)211--229, 114(z)45--56, 173(z)71--94
-
Viera, Marcos, see Fernandes, João Paulo
-
Viera:2014:AGM, 96(z)211--229
-
Viera:2015:CCC, 114(z)45--56
-
view, 11(1)65--86, 75(3)192--210, 76(12)1098--1112, 97(z)59--63,
152(z)70--98, 167(z)70--90
-
view, multi-, 167(z)1--24
-
Viewing, 78(10)1871--1891
-
viewpoints, 33(3)261--298, 78(9)1572--1599
-
Viger, Torin, 231(z)z--99999999
-
Viger, Torin, see Di Sandro, Alessio
-
Vigna, Sebastiano, 54(1)3--23
-
Vigna, Sebastiano, see Boldi, Paolo
-
Vigorous, 167(z)iii--iii
-
Vigueras, Guillermo, 78(6)715--724
-
Vigueras:2013:SMS, 78(6)715--724
-
Viho, Cesar, 29(1)123--146
-
Viho, Cesar, see Fernandez, Jean-Claude
-
viii, 9(1)101--105, 10(2)215--216
-
Villani, Maria Luisa, 78(9)1346--1367
-
Villani, Maria Luisa, see Santone, Antonella
-
Villano, Umberto, 40(2)235--263, 95(z)390--405
-
Villano, Umberto, see Cuomo, Antonio,
see Di Martino, Beniamino
-
Villanueva, Daniel, 121(z)16--33
-
Villanueva:2016:STS, 121(z)16--33
-
Villard, Jules, 100(z)28--60
-
Villard, Jules, see Lozes, Étienne
-
Villazón, Alex, 76(11)1015--1036
-
Villazon:2011:CAW, 76(11)1015--1036
-
Vincent, 230(z)z--99999999
-
Vincentelli, Alberto, Sangiovanni-, 77(2)96--112, 171(z)21--41
-
Vincenzi, A. M. R., 56(1)211--230
-
Vincenzi:2005:CTJ, 56(1)211--230
-
Vinel, Alexey, 191(z)z--99999999
-
Vinel, Alexey, see Pelliccione, Patrizio
-
Vinju, Jurgen, 75(1)3--20, 114(z)7--19
-
Vinju, Jurgen, see Basten, Bas,
see Camacho, Diego Ordóñez
-
Vinju, Jurgen J., 78(10)1751--1751, 97(z)1--1, 97(z)143--149,
134(z)1--3, 134(z)37--46
-
Vinju, Jurgen J., see Brand, Mark G. J. van den,
see Hills, Mark, \see{Storm, Tijs van der
-
Vinju:2013:PSS, 78(10)1751--1751
-
Vinju:2015:P, 97(z)1--1
-
Vink, E. P., de, 13(2)237--264
-
Vink, E. P. de, 76(8)711--735, 94(z)333--361
-
Vink, E. P. de, see Andova, S.
-
Vink, Erik de, 186(z)z--99999999
-
Vink, Erik de, see Azadbakht, Keyvan
-
violations, 105(z)73--91, 234(z)z--99999999
-
Virg{\'{\i}}nio, T{\'a}ssio, 231(z)z--99999999,
see Santana, Railana
-
Viroli, Mirko, 63(1)88--107, 66(3)181--183, 66(3)226--245, 73(2)59--75,
74(9)702--722, 76(1)1--2, 76(1)37--62, 78(5)556--568, 78(5)569--582,
78(6)633--656, 78(6)705--714, 110(z)3--22, 117(z)17--44,
166(z)146--166, 167(z)114--137, 203(z)z--99999999
-
Viroli, Mirko, see Audrito, Giorgio,
see Canal, Carlos, \see{Casadei, Matteo,
see Casadei, Roberto,
see Cimadamore, Maurizio,
see Damiani, Ferruccio,
see Molesini, Ambra, \see{Nardini, Elena,
see Omicini, Andrea,
see Ricci, Alessandro
-
Viroli:2007:EBO, 66(3)226--245
-
Viroli:2013:CSC, 78(5)556--568
-
Viroli:2013:OSP, 78(6)633--656
-
Viroli:2015:CMP, 110(z)3--22
-
virtual, 3(2)151--188, 46(3)283--306, 57(3)251--252, 57(3)275--294,
57(3)319--338, 57(3)339--356, 59(1)38--63, 74(10)836--860,
76(11)1037--1053, 79(z)146--157, 132(z)29--49, 173(z)3--20,
187(z)z--99999999, 231(z)z--99999999
-
virtualization, 91(z)188--215
-
virtualized, 78(4)412--421
-
VirtuosoNext, 203(z)z--99999999
-
visitors, 193(z)z--99999999
-
Viso, Elisa, 54(1)25--47
-
Viso, Elisa, see Rajsbaum, Sergio
-
Visser, Eelco, 72(1)52--70, 75(7)473--495, 76(5)347--348, 76(6)467--468,
78(10)1752--1769, 97(z)11--16
-
Visser, Eelco, see Bravenboer, Martin,
see Glück, Robert,
see Ramalingam, G.,
see Sloane, Anthony M.
-
Visser, Joost, 47(1)59--87, 76(6)516--539, 96(z)254--275
-
Visser, Joost, see Cunha, Alcino,
see Cunha, Jácome,
see Kuipers, Tobias
-
Visser:2015:UST, 97(z)11--16
-
Vissers, 15(1)98--98
-
visual, 8(3)231--274, 44(2)181--203, 44(2)205--227, 65(3)222--248,
79(z)224--240, 98(z)52--79, 104(z)1--1, 121(z)55--74,
121(z)128--152, 176(z)1--13, 227(z)z--99999999
-
visualization, 36(2)267--284, 59(1)64--81, 60(2)121--133, 70(2)111--126,
75(4)247--263, 88(z)82--91, 230(z)z--99999999
-
visualize, 79(z)6--22
-
visualizing, 74(7)446--469, 75(4)264--275, 79(z)101--115, 79(z)260--278
-
Visually, 89(z)298--319, 98(z)376--393
-
Vitek, J., 57(3)357--378
-
Vitek, J., see Palacz, K.
-
Vitek, Jan, 46(1)163--193, 57(2)164--186, 58(3)291--292, 71(3)213--241
-
Vitek, Jan, see Jagannathan, Suresh,
see Moir, Mark, \see{Zhao, Tian
-
Vitek:2003:CPS, 46(1)163--193
-
Vitoria, Nestor, Garay-, 78(11)2243--2244
-
Vittorini, V., 133(z)116--153
-
Vittorini, V., see Benerecetti, M.
-
Vivarès, F., 20(3)173--204
-
Vivares:1993:MJP, 20(3)173--204
-
Vizzotto, Juliana, Kaizer, 173(z)37--55
-
Vliet, H. van, 121(z)75--99
-
Vliet, H. van, see Graaf, K. A. de
-
Vlijmen, S. F. M. van, 130(z)37--68
-
Vlijmen, S. F. M. van, see Delen, G. P. A. J.
-
VLISP, 4(3)291--322
-
VLSI, 15(2)235--248
-
VM, 98(z)408--421
-
VMC, 224(z)z--99999999
-
Vodrázka, Jindrich, 147(z)54--77,
see Barták, Roman
-
Vogel, 38(1)147--149
-
Vogler, Heiko, 16(3)251--275
-
Vogler, Walter, 138(z)1--25
-
Vogler, Walter, see Müller, Richard
-
Vogler:1991:FDC, 16(3)251--275
-
Voice, 59(1)109--126
-
Voinea, Lucian, 65(3)222--248, 79(z)224--240
-
Voinea, Lucian, see Reniers, Dennie
-
Voinea:2007:VAS, 65(3)222--248
-
Voinot, Jérôme, 75(10)898--917,
see Héam, Pierre-Cyrille
-
Voisin, Frederic, 7(1)61--86
-
Voisin, Laurent, 94(z)130--143
-
Voisin, Laurent, see Déharbe, David
-
Voisin:1986:CTI, 7(1)61--86
-
Vojdani, Vesal, 120(z)1--24
-
Vojdani, Vesal, see Amato, Gianluca
-
vol, 24(2)186--187, 38(1)155--157
-
Volanschi, Nic, 75(3)85--105, 77(5)609--635
-
Volanschi, Nic, see Rinderknecht, Christian
-
Volanschi:2012:PMM, 77(5)609--635
-
volatility, 72(3)136--175
-
Voldby, Emil Palmelund, 231(z)z--99999999
-
Voldby, Emil Palmelund, see Harbo, Sean Kristian Remond
-
Völgyesi, P., 56(1)191--210
-
Volgyesi:2005:SCV, 56(1)191--210
-
Völker, Norbert, 42(1)101--113
-
Volker:2002:AVF, 42(1)101--113
-
Vollmer, A. M., 202(z)z--99999999
-
Vollmer, A. M., see López, L.
-
Volpano, Dennis, 32(1)49--72
-
Volpano, Dennis, see Smith, Geoffrey
-
Volpe, Paolo, 39(1)125--148, 49(1)89--123
-
Volpe, Paolo, see Comini, Marco
-
Volpe:2001:FOL, 39(1)125--148
-
volume, 5(3)323--323, 10(2)218--219, 11(1)101--106, 20(3)291--291,
20(3)293--299, 24(1)97--99, 24(3)287--287, 25(2)329--329,
26(1)273--273, 39(2)273--273, 40(2)265--265, 41(3)295--295,
42(2)273--273, 43(2)231--231
-
volunteer, 91(z)161--187
-
von Karger, Burghard, 26(1)99--115
-
von Karger, Burghard, see Berghammer, Rudolf
-
von Wright, J., 20(3)223--251
-
von Wright, J., see Back, R. J. R.
-
vonKarger:2000:CAR, 37(1)139--161
-
vonWright:2004:TRA, 51(1)23--45
-
Voorhoeve, Marc, 65(1)30--40
-
Voorhoeve, Marc, see Hee, Kees van
-
Vörös, András, 157(z)17--40
-
Voros:2018:IAP, 157(z)17--40
-
Vorst, J. G. G., Van De, 15(2)159--169
-
Vos, Tanja, 78(11)2245--2258
-
Vos, Tanja, see Condori-Fernández, Nelly
-
Voss, Sebastian, 154(z)89--133
-
Voss, Sebastian, see Becker, Klaus
-
Votintseva, Angelika, 55(1)81--115
-
Votintseva, Angelika, see Damm, Werner
-
VP, ACSR-, 42(1)49--60
-
Vraný, Jan, 96(z)17--33, 161(z)57--88,
see Hlopko, Marcel, \see{Kurs, Jan
-
Vries, Laurens, de, 24(2)149--158
-
Vries, Edsko de, 77(9)971--989
-
Vries, Edsko de, see Biggar, Paul
-
Vrzakova, Hana, 198(z)z--99999999
-
Vrzakova, Hana, see Bednarik, Roman
-
vs, 88(z)3--21, 151(z)48--60, 160(z)48--77
-
Vu, Linh Hong, 133(z)91--115
-
Vu, Thuy Duong, 73(2)95--128
-
Vu:2008:GEP, 73(2)95--128
-
Vu:2017:FMV, 133(z)91--115
-
vulnerability, 121(z)153--175, 171(z)42--66, 229(z)z--99999999,
234(z)z--99999999
-
Vulpen, Paul van, 213(z)z--99999999