Index file section V for pacmpl.bib
Last update: Sun Sep 1 02:29:01 MDT 2024
Return to index directory
V
-
v, 5(z)113--113, 7(z)233--233
-
V, RISC-, 8(z)21--21
-
v8-m, 1(z)88--88
-
Vafeiadis, Viktor, 2(z)17--17, 2(z)137--137, 3(z)135--135, 3(z)173--173,
4(z)11--11, 4(z)151--151, 5(z)43--43, 5(z)98--98, 6(z)22--22,
6(z)49--49, 6(z)152--152, 7(z)19--19, 7(z)26--26
-
Vafeiadis, Viktor, see D'Osualdo, Emanuele,
see Kokologiannakis, Michalis,
see Lahav, Ori, \see{Moiseenko, Evgenii,
see Raad, Azalea
-
Vaidya, Kapil, 2(z)31--31
-
Vaidya, Kapil, see Chalupa, Marek
-
Vákár, Matthijs, 2(z)60--60,
see {\'S}cibior, Adam
-
Vákár, Matthijs I. L., 7(z)54--54, 8(z)36--36,
see Smeding, Tom J.
-
Vale, Arthur Oliveira, 6(z)42--42, 7(z)38--38
-
Vale:2022:LOB, 6(z)42--42
-
Vale:2023:CTL, 7(z)38--38
-
valiant, 5(z)157--157
-
valid, 5(z)151--151, 7(z)200--200
-
validate, 2(z)113--113, 4(z)41--41, 6(z)148--148
-
validated, 3(z)142--142
-
validating, 4(z)146--146, 7(z)278--278
-
validation, 1(z)88--88, 2(z)60--60, 2(z)96--96, 4(z)221--221, 6(z)84--84,
6(z)159--159, 7(z)20--20, 8(z)49--49, 8(z)146--146
-
validity, 3(z)182--182, 4(z)136--136, 6(z)72--72, 7(z)6--6, 7(z)72--72,
7(z)200--200
-
Valizadeh, Mojtaba, 7(z)160--160
-
Valizadeh:2023:SBR, 7(z)160--160
-
Valliappan, Nachiappan, 6(z)118--118
-
Valliappan:2022:NFS, 6(z)118--118
-
valuable, 2(z)116--116, 2(z)162--162, 3(z)98--98
-
value, 2(z)116--116, 3(z)140--140, 3(z)145--145, 3(z)160--160,
3(z)176--176, 4(z)37--37, 4(z)67--67, 4(z)119--119, 4(z)206--206,
5(z)6--6, 5(z)20--20, 5(z)31--31, 5(z)92--92, 5(z)113--113,
5(z)148--148, 5(z)163--163, 6(z)4--4, 6(z)20--20, 6(z)70--70,
6(z)79--79, 6(z)83--83, 6(z)87--87, 7(z)5--5, 7(z)54--54, 7(z)65--65,
7(z)101--101, 7(z)149--149, 7(z)196--196, 7(z)200--200,
7(z)277--277, 7(z)297--297, 8(z)92--92, 8(z)100--100
-
value, call-by-, 3(z)114--114, 3(z)166--166, 4(z)27--27,
4(z)59--59, 4(z)119--119, 5(z)45--45, 5(z)95--95, 6(z)121--121,
7(z)25--25
-
value, call-by-push-, 4(z)15--15, 7(z)51--51
-
value-based, 6(z)116--116
-
Value-centric, 3(z)124--124
-
value-flow, 5(z)163--163
-
value-flow-based, 4(z)233--233
-
valued, real-, 2(z)87--87
-
Van den Broeck, Guy, 4(z)140--140
-
Van den Broeck, Guy, see Holtzen, Steven
-
Van den Vonder, Sam, 7(z)227--227
-
Van den Vonder, Sam, see Renaux, Thierry
-
Van Geffen, Jacob, 7(z)168--168
-
Van Geffen, Jacob, see Pailoor, Shankara
-
Van Horn, David, 1(z)12--12, 2(z)51--51, 2(z)132--132, 5(z)53--53,
7(z)171--171
-
Van Horn, David, see Darais, David,
see Guria, Sankha Narayan,
see Moy, Cameron,
see Nguy{\~{\^e}}n, Ph{\'u}c C.,
see Vazou, Niki
-
Van Muylder, Antoine, 4(z)4--4, 8(z)8--8
-
Van Muylder, Antoine, see Maillard, Kenji
-
Van Roy, Peter, 4(z)83--83
-
Van Strydonck, Thomas, 3(z)84--84, 5(z)6--6
-
Van Strydonck, Thomas, see Georges, Aïna Linn
-
Van Wyk, Eric, 1(z)98--98
-
Van Wyk, Eric, see Kaminski, Ted
-
vanAntwerpen:2018:ST, 2(z)114--114
-
Vandenbroucke, Alexander, 4(z)39--39
-
Vandenbroucke:2020:PFP, 4(z)39--39
-
vanderRest:2022:CUA, 6(z)105--105
-
vanderRest:2022:ITD, 6(z)192--192
-
Vandikas, Anthony, 4(z)13--13
-
Vandikas, Anthony, see Farzan, Azadeh
-
vanilla, 5(z)61--61
-
VanMuylder:2024:IOP, 8(z)8--8
-
Vanoni, 6(z)119--119
-
Vanoni, Gabriele, 5(z)51--51, 6(z)119--119, 8(z)84--84, 8(z)122--122
-
Vanoni, Gabriele, see Accattoli, Beniamino,
see Avanzini, Martin,
see Faggian, Claudia
-
VanRoy:2020:HOM, 4(z)83--83
-
VanStrydonck:2019:LCF, 3(z)84--84
-
Varga, Alexander, 8(z)116--116
-
Varga, Alexander, see Nelson, Tim
-
variability-aware, 4(z)157--157
-
variable, 2(z)87--87, 2(z)147--147, 3(z)189--189, 4(z)26--26, 4(z)37--37,
4(z)45--45, 4(z)55--55, 4(z)74--74, 5(z)31--31, 5(z)48--48,
5(z)74--74, 5(z)75--75, 5(z)94--94, 5(z)159--159, 6(z)10--10,
6(z)45--45, 6(z)53--53, 6(z)57--57, 6(z)65--65, 6(z)156--156,
6(z)178--178, 8(z)52--52, 8(z)106--106
-
variable-dependent, 4(z)25--25
-
variance, 3(z)11--11, 5(z)137--137
-
variant, 2(z)67--67, 3(z)20--20, 3(z)29--29, 3(z)189--189, 4(z)8--8,
4(z)11--11, 4(z)51--51, 4(z)157--157, 5(z)29--29, 5(z)129--129,
5(z)148--148, 6(z)101--101, 6(z)117--117, 6(z)119--119,
7(z)201--201, 8(z)119--119
-
variant-specific, 3(z)29--29
-
variate, 4(z)36--36
-
variation, 2(z)104--104, 2(z)150--150, 3(z)89--89, 4(z)61--61,
4(z)102--102, 8(z)32--32
-
variational, 2(z)117--117, 4(z)16--16, 6(z)26--26, 7(z)12--12
-
variety, 2(z)140--140, 3(z)9--9, 3(z)103--103, 3(z)144--144,
4(z)104--104, 4(z)125--125, 4(z)139--139, 4(z)178--178,
4(z)181--181, 4(z)212--212, 4(z)233--233, 5(z)131--131, 6(z)28--28,
6(z)63--63, 7(z)55--55, 7(z)68--68, 7(z)92--92, 7(z)119--119,
7(z)213--213, 8(z)53--53
-
various, 1(z)53--53, 2(z)115--115, 3(z)119--119, 3(z)160--160,
3(z)174--174, 3(z)189--189, 4(z)38--38, 4(z)71--71, 4(z)81--81,
4(z)88--88, 4(z)118--118, 4(z)161--161, 5(z)77--77, 5(z)125--125,
6(z)19--19, 6(z)73--73, 6(z)183--183, 7(z)174--174, 7(z)187--187,
7(z)220--220, 7(z)229--229, 7(z)292--292, 8(z)17--17, 8(z)71--71,
8(z)130--130, 8(z)132--132, 8(z)145--145
-
variously, 6(z)46--46
-
Varonka, Anton, 6(z)65--65
-
Varonka, Anton, see Karimov, Toghrul
-
Varshosaz, Mahsa, 7(z)193--193
-
Varshosaz:2023:FST, 7(z)193--193
-
Vartanian, Ara, 1(z)61--61
-
Vartanian, Ara, see Srinivasan, Venkatesh
-
varying, 3(z)144--144, 7(z)96--96
-
Vasconcelos, Vasco T., 1(z)38--38, 1(z)103--103, 4(z)67--67,
7(z)163--163
-
Vasconcelos, Vasco T., see Cogumbreiro, Tiago,
see Igarashi, Atsushi,
see Mordido, Andreia,
see Thiemann, Peter
-
Vasilakis, Nikos, 5(z)65--65
-
Vasilakis, Nikos, see Handa, Shivam
-
Vasilenko, Elizaveta, 6(z)112--112
-
Vasilenko:2022:SCC, 6(z)112--112
-
VASS, 8(z)4--4
-
Vassena, Marco, 5(z)49--49, 7(z)15--15
-
Vassena, Marco, see Michael, Alexandra E.
-
Vassena:2021:AES, 5(z)49--49
-
vast, 5(z)70--70
-
Vaswani, Kapil, 1(z)95--95
-
Vaswani, Kapil, see Parkinson, Matthew
-
Vazou, Niki, 2(z)53--53, 2(z)132--132, 4(z)24--24, 4(z)216--216,
6(z)112--112, 7(z)169--169, 8(z)70--70
-
Vazou, Niki, see Borkowski, Michael H.,
see Handley, Martin A. T.,
see Lehmann, Nico, \see{Liu, Yiyun,
see Vasilenko, Elizaveta
-
Vazou:2018:GLT, 2(z)132--132
-
Vazou:2018:RRC, 2(z)53--53
-
VC, 7(z)203--203
-
Veanes, Margus, 4(z)218--218, 7(z)148--148
-
Veanes, Margus, see Moseley, Dan,
see Turo{\v{n}}ov{\'a}, Lenka
-
Vecchio, Thomas, Del, 8(z)116--116
-
Vechev, Martin, 2(z)55--55, 2(z)156--156, 6(z)43--43, 7(z)138--138,
7(z)186--186, 8(z)96--96
-
Vechev, Martin, see Beurer-Kellner, Luca,
see Bielik, Pavol,
see Müller, Mark Niklas,
see Paradis, Anouk, \see{Singh, Gagandeep
-
vector, 2(z)104--104, 2(z)110--110, 3(z)189--189, 4(z)173--173,
4(z)233--233, 6(z)89--89, 7(z)87--87, 7(z)92--92, 8(z)4--4,
8(z)91--91
-
Vector, Bit-, 8(z)71--71
-
vector, bit-, 8(z)71--71
-
vector-parallel, 5(z)25--25
-
vectorization, auto-, 2(z)110--110
-
Vectorizing, 5(z)31--31
-
vectors, RRB-, 1(z)16--16
-
Vedurada, Jyothi, 2(z)138--138, 5(z)132--132
-
Vedurada, Jyothi, see Biswas, Ranadeep
-
Vedurada:2018:IRO, 2(z)138--138
-
vehicle, 2(z)93--93
-
Veidenbaum, Alexander, 2(z)126--126
-
Veidenbaum, Alexander, see Gong, Zhangxiaowen
-
Veileborg, Oskar Haarklou, 4(z)168--168
-
Veileborg, Oskar Haarklou, see M{\o}ller, Anders
-
Vekris, Panagiotis, 1(z)48--48
-
Vekris, Panagiotis, see Chaudhuri, Avik
-
Veltri, Niccolò, 3(z)4--4,
see M{\o}gelberg, Rasmus Ejlers
-
Ven, Leni, 7(z)50--50
-
Ven, Leni, see Li, Jianlin
-
Veneris, Andreas, 6(z)149--149
-
Veneris, Andreas, see Zhao, Zihan
-
Venet, Arnaud J., 4(z)14--14
-
Venet, Arnaud J., see Kim, Sung Kook
-
Veracity, 6(z)186--186
-
verbose, 5(z)106--106
-
Verbruggen, Gust, 5(z)100--100, 8(z)133--133
-
Verbruggen, Gust, see Zhang, Jialu
-
Verbruggen:2021:SPE, 5(z)100--100
-
VeriEQL, 8(z)132--132
-
verifiable, machine-, 8(z)82--82
-
verification-condition, 3(z)166--166
-
Verification-Preserving, 7(z)102--102
-
verified, 1(z)17--17, 1(z)87--87, 2(z)47--47, 2(z)165--165, 3(z)84--84,
3(z)141--141, 4(z)7--7, 4(z)16--16, 4(z)23--23, 4(z)44--44,
4(z)148--148, 4(z)184--184, 4(z)197--197, 4(z)204--204, 5(z)37--37,
5(z)40--40, 5(z)46--46, 5(z)84--84, 5(z)86--86, 5(z)145--145,
6(z)25--25, 6(z)55--55, 6(z)80--80, 6(z)97--97, 6(z)146--146,
6(z)173--173, 7(z)9--9, 7(z)47--47, 7(z)106--106, 7(z)107--107,
7(z)110--110, 7(z)131--131, 7(z)145--145, 7(z)152--152,
7(z)158--158, 7(z)217--217, 7(z)247--247, 7(z)290--290, 8(z)72--72,
8(z)74--74
-
Verified, Formally-, 7(z)116--116
-
Verified, Machine-, 8(z)82--82
-
verified, machine-, 4(z)208--208
-
verified, mechanically-, 7(z)145--145
-
verified, separation-logic-, 3(z)84--84
-
verifier, 3(z)166--166, 4(z)156--156, 5(z)145--145, 6(z)4--4, 6(z)43--43,
6(z)97--97, 7(z)77--77, 7(z)102--102, 7(z)258--258, 8(z)60--60,
8(z)69--69
-
verify, 2(z)47--47, 2(z)89--89, 3(z)118--118, 3(z)147--147, 3(z)171--171,
4(z)33--33, 5(z)22--22, 5(z)55--55, 5(z)66--66, 6(z)14--14,
6(z)36--36, 6(z)49--49, 6(z)116--116, 6(z)181--181, 7(z)144--144,
8(z)59--59, 8(z)85--85
-
verifying, 1(z)18--18, 1(z)25--25, 1(z)75--75, 1(z)109--109,
1(z)110--110, 2(z)56--56, 2(z)163--163, 3(z)104--104, 3(z)106--106,
3(z)119--119, 3(z)166--166, 3(z)172--172, 4(z)20--20, 4(z)33--33,
4(z)37--37, 4(z)45--45, 4(z)106--106, 4(z)146--146, 4(z)156--156,
4(z)166--166, 4(z)184--184, 4(z)216--216, 4(z)228--228,
4(z)231--231, 4(z)232--232, 5(z)4--4, 5(z)17--17, 5(z)56--56,
5(z)113--113, 5(z)135--135, 6(z)20--20, 6(z)28--28, 6(z)60--60,
6(z)80--80, 6(z)97--97, 6(z)127--127, 6(z)174--174, 6(z)189--189,
6(z)192--192, 7(z)1--1, 7(z)3--3, 7(z)71--71, 7(z)85--85, 7(z)88--88,
7(z)99--99, 7(z)202--202, 7(z)217--217, 7(z)224--224, 7(z)247--247,
7(z)259--259, 7(z)273--273, 7(z)288--288, 8(z)6--6, 8(z)22--22,
8(z)87--87, 8(z)146--146
-
Verilog, 4(z)87--87, 7(z)230--230
-
VeriSmart, 6(z)4--4
-
Veríssimo, Paulo, Esteves-, 3(z)138--138
-
Verona, 7(z)270--270
-
versatile, 2(z)67--67, 2(z)108--108, 6(z)10--10, 8(z)3--3, 8(z)96--96
-
Verscht, Lena, 7(z)67--67
-
Verscht, Lena, see Batz, Kevin
-
Verse, 7(z)203--203
-
version, 2(z)108--108, 2(z)126--126, 2(z)166--166, 3(z)100--100,
3(z)113--113, 3(z)133--133, 3(z)170--170, 3(z)178--178, 4(z)7--7,
4(z)61--61, 4(z)73--73, 4(z)81--81, 4(z)202--202, 5(z)50--50,
7(z)26--26, 7(z)68--68
-
version-based, 3(z)178--178
-
versus, 2(z)38--38, 6(z)102--102, 6(z)159--159
-
Verus, 7(z)85--85
-
very, 2(z)116--116, 3(z)105--105, 3(z)136--136, 3(z)138--138,
3(z)168--168, 3(z)181--181, 3(z)186--186, 4(z)8--8, 4(z)142--142,
5(z)101--101, 5(z)108--108, 5(z)143--143, 6(z)136--136, 7(z)2--2,
8(z)21--21, 8(z)114--114
-
Vezzosi, Andrea, 1(z)32--32, 1(z)33--33, 2(z)23--23, 3(z)87--87
-
Vezzosi, Andrea, see Abel, Andreas,
see Nuyts, Andreas
-
Vezzosi:2019:CAD, 3(z)87--87
-
viable, 5(z)18--18
-
Vial, Pierre, 2(z)6--6
-
Vial, Pierre, see Mazza, Damiano
-
vibrant, 2(z)99--99
-
vicious, 5(z)45--45
-
victim, 2(z)116--116
-
Viering, Malte, 5(z)124--124, 7(z)117--117
-
Viering, Malte, see Mangipudi, Shamiek
-
Viering:2021:MST, 5(z)124--124
-
view, 2(z)74--74, 2(z)152--152, 2(z)156--156, 4(z)85--85, 4(z)90--90,
5(z)66--66, 5(z)75--75, 5(z)120--120, 7(z)55--55, 7(z)235--235
-
viewed, 4(z)84--84, 4(z)95--95, 7(z)68--68, 7(z)294--294
-
viewpoint, 4(z)31--31
-
Vigilant, 8(z)125--125
-
Vigna, 5(z)148--148
-
Vigna, Sebastiano, 5(z)148--148
-
Vigna, Sebastiano, see Steele Jr., Guy L.
-
Vijayakumar, Hayawardh, 3(z)174--174
-
Vijayakumar, Hayawardh, see Padhye, Rohan
-
Vijayaraghavan, Muralidaran, 1(z)24--24
-
Vijayaraghavan, Muralidaran, see Choi, Joonwon
-
Vilhena, Paulo Emílio de, 4(z)33--33, 5(z)33--33
-
Villanyi, Agnes, 8(z)94--94
-
Villanyi, Agnes, see Yuan, Charles
-
Villard, Jules, 6(z)81--81
-
Villard, Jules, see Le, Quang Loc
-
Vindum, Simon Friis, 7(z)244--244
-
Vindum:2023:SMC, 7(z)244--244
-
violate, 3(z)117--117, 4(z)41--41, 5(z)154--154
-
violated, 2(z)109--109, 7(z)36--36
-
violating, 4(z)41--41, 4(z)103--103
-
violation, 3(z)173--173, 4(z)65--65, 4(z)176--176, 6(z)70--70,
6(z)78--78, 7(z)111--111
-
VIP, 6(z)20--20
-
virtual, 1(z)52--52, 2(z)109--109, 3(z)78--78, 3(z)120--120,
3(z)130--130, 3(z)133--133, 3(z)186--186, 4(z)20--20, 5(z)136--136,
6(z)127--127, 6(z)149--149, 7(z)165--165
-
virtuality, 1(z)45--45
-
virtually, 7(z)253--253
-
virtue, 4(z)80--80
-
Visibility, 6(z)33--33
-
visible, 4(z)200--200, 7(z)194--194
-
visibly, 5(z)151--151
-
vision, 3(z)96--96, 4(z)180--180, 5(z)20--20, 5(z)109--109, 5(z)153--153,
7(z)77--77
-
visit, 7(z)273--273
-
Visitors, 1(z)28--28
-
Visme, Marc de, 3(z)7--7, 4(z)63--63
-
Visme, Marc de, see Clairambault, Pierre,
see Dal Lago, Ugo
-
Visser, Eelco, 2(z)16--16, 2(z)114--114, 4(z)180--180, 5(z)22--22,
6(z)85--85, 6(z)140--140, 6(z)192--192
-
Visser, Eelco, see Antwerpen, Hendrik van,
see Pelsmaeker, Daniel A. A.,
see Poulsen, Casper Bach,
see Rest, Cas van der,
see Rouvoet, Arjen, \see{Zwaan, Aron
-
visual, 4(z)222--222, 6(z)7--7
-
visualisations, 6(z)7--7
-
visualising, 3(z)133--133
-
visualization, 4(z)49--49, 6(z)144--144
-
visualize, 8(z)17--17
-
Viswanathan, Mahesh, 2(z)145--145, 4(z)35--35, 5(z)8--8, 5(z)36--36,
7(z)45--45, 7(z)177--177
-
Viswanathan, Mahesh, see Al Thokair, Mosaad,
see Barthe, Gilles, \see{Mathur, Umang,
see Tunç, Hünkar Can
-
vital, 6(z)172--172
-
Vitek, Jan, 1(z)72--72, 1(z)84--84, 2(z)49--49, 2(z)113--113,
2(z)120--120, 3(z)153--153, 3(z)163--163, 4(z)181--181,
4(z)207--207, 4(z)220--220, 5(z)46--46, 5(z)101--101, 5(z)125--125,
5(z)150--150, 7(z)263--263
-
Vitek, Jan, see Barrière, Aurèle,
see Belyakova, Julia, \see{Bezanson, Jeff,
see Clebsch, Sylvan,
see Flückiger, Olivier,
see Goel, Aviral, \see{Krikava, Filip,
see Lopes, Cristina V.,
see Mehta, Meetesh Kalpesh,
see Nardelli, Francesco Zappa,
see Pelenitsyn, Artem,
see Turcotte, Alexi
-
Vitousek-Cimini-Boyland's, Siek-, 2(z)73--73
-
Vivien, Samuel, 7(z)145--145
-
Vivien, Samuel, see Kanabar, Hrutvik
-
VLIW, 4(z)129--129
-
VM, 1(z)55--55, 2(z)109--109, 4(z)190--190
-
VMs, 2(z)109--109, 3(z)184--184
-
VMSL, 7(z)165--165
-
vocabulary, 6(z)4--4
-
Voelter, Markus, 2(z)139--139
-
Voelter, Markus, see Szabó, Tamás
-
vogue, 5(z)25--25
-
Voichick, Finn, 6(z)146--146, 7(z)32--32
-
Voichick, Finn, see Li, Liyi
-
Voichick:2023:QUL, 7(z)32--32
-
Voirol, Nicolas, 3(z)166--166
-
Voirol, Nicolas, see Hamza, Jad
-
Voizard, Antoine, 1(z)31--31, 2(z)13--13, 3(z)101--101
-
Voizard, Antoine, see Parreaux, Lionel,
see Weirich, Stephanie
-
Vojnar, Tomá{\v{s}}, 2(z)4--4, 4(z)218--218,
see Holk, Luká{\v{s}},
see Turo{\v{n}}ov{\'a}, Lenka
-
volatile, 2(z)116--116, 2(z)137--137, 3(z)135--135, 4(z)160--160
-
volatile, Non-, 3(z)128--128
-
volatile, non-, 1(z)67--67, 2(z)137--137, 2(z)153--153,
3(z)128--128, 3(z)135--135, 4(z)11--11, 4(z)151--151, 5(z)47--47,
7(z)244--244
-
volatile-by-default, 1(z)49--49
-
Vollmer, Michael, 5(z)91--91
-
Vollmer, Michael, see Koparkar, Chaitanya
-
volume, 4(z)73--73
-
Vonder, Sam, Van den, 7(z)227--227
-
VOQC, 5(z)37--37
-
Vora, Keval, 3(z)156--156, 5(z)83--83
-
Vora, Keval, see Benavides, Zachary,
see Houshmand, Farzin
-
vous'', ``rendez-, 7(z)55--55
-
Voysey, Ian, 3(z)14--14
-
Voysey, Ian, see Omar, Cyrus
-
Vries, Edsko de, 6(z)91--91
-
Vries, Edsko de, see Koppel, James
-
VST-A, 8(z)69--69
-
Vu, Son Tuan, 5(z)142--142
-
Vu:2021:ROS, 5(z)142--142
-
Vukotic, Ivana, 3(z)138--138
-
Vukotic:2019:ATS, 3(z)138--138
-
vulnerabilities-such, 5(z)103--103
-
vulnerability, 2(z)116--116, 3(z)174--174, 3(z)189--189, 4(z)7--7,
4(z)132--132, 5(z)138--138, 5(z)161--161, 6(z)4--4, 6(z)78--78,
7(z)75--75, 7(z)143--143, 7(z)253--253
-
vulnerable, 2(z)116--116, 3(z)189--189, 4(z)162--162, 7(z)90--90,
7(z)253--253
-
Vytiniotis, Dimitrios, 1(z)95--95, 3(z)97--97, 4(z)89--89, 5(z)88--88
-
Vytiniotis, Dimitrios, see Parkinson, Matthew,
see Paszke, Adam, \see{Serrano, Alejandro,
see Shaikhha, Amir