Index file section V for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
Return to index directory
V
-
Vaandrager, Frits W., 29(4)303--334
-
Vaandrager, Frits W., see Baeten, Jos C. M.
-
vacations, 47(1)67--75, 55(7)613--624
-
Vacchi, Edoardo, 51(7)419--447
-
Vacchi, Edoardo, see Cazzola, Walter
-
Vaglini, Gigliola, 32(4)347--374, 49(5)313--341
-
Vaglini, Gigliola, see Bernardeschi, Cinzia,
see Santone, Antonella
-
Vagner, Ladislav, 44(1)1--21, 44(1)73--73
-
Vagner:2007:PLPa, 44(1)1--21
-
Vagner:2007:PLPb, 44(1)73--73
-
Vágvölgyi, Sándor, 34(1)59--84, 48(5)317--361,
see Fülöp, Zoltán
-
Vagvolgyi:2011:CRC, 48(5)317--361
-
Vaidyanathan, Ramachandran, 32(1)79--92
-
Vaidyanathan:1995:PIS, 32(1)79--92
-
Vaishnavi, Vijay K., 14(2)119--133
-
Vaishnavi:1980:OMS, 14(2)119--133
-
Vajnovszki, V., 52(7)573--592
-
Vajnovszki, V., see Bernini, A.
-
Vajnovszki, Vincent, 38(11)793--811
-
Vajnovszki:2002:GVM, 38(11)793--811
-
Vakgroep, 27(6)567--581
-
Valent, 24(4)447--459
-
Valent, -, 24(4)447--459
-
valid, 26(7)615--642
-
Validated, 11(2)103--117
-
validation, 7(2)137--152, 14(2)135--155, 59(6)725--759
-
Valk, Rüdiger, 21(6)643--674, 24(1)33--55, 33(3)233--254,
33(7)669--685, 34(2)85--107
-
Valk:1985:RVS, 21(6)643--674
-
Valkema, Erich, 18(1)109--115
-
Valkema, Erich, see Frougny, Christiane
-
Valmari, Antti, 52(2)207--234, 57(3)353--383
-
Valmari:2015:CUL, 52(2)207--234
-
Valmari:2020:ACB, 57(3)353--383
-
value, 8(2)125--144, 8(2)145--152, 8(4)335--340, 26(7)615--642,
28(6)603--605, 28(6)607--610, 29(3)281--302, 29(6)663--687,
54(8)729--764
-
valued, 8(2)125--144
-
Valued, Three-, 21(3)251--269
-
Valuedness, 27(8)749--780
-
Valverde, A., 32(1)61--78
-
Valverde, A., see de Guzmán, I. P.
-
van, 5(4)353--375, 8(2)193--199, 14(2)175--193, 21(6)559--584,
29(5)461--481
-
Van Begin, Laurent, 44(3)249--288
-
Van Begin, Laurent, see Geeraerts, Gilles
-
van de Vorst, Johannes G. G., 26(1)1--17
-
Van den Bussche, Jan, 30(5)489--502, 35(8)637--643, 42(1)43--56,
43(6)371--393, 58(1)35--56
-
Van den Bussche, Jan, see Engels, Steven,
see Geerts, Floris, \see{Janssen, Wim
-
van Gasteren, A. J. M., 23(1)1--7
-
van Gasteren, A. J. M., see Dijkstra, Edsger W.
-
Van Gucht, Dirk, 38(9)621--648
-
Van Gucht, Dirk, see Giannella, Chris
-
Van Hentenryck, Pascal, 32(3)209--253
-
Van Hentenryck, Pascal, see Le Charlier, Baudouin
-
van Lamsweerde, Axel, 12(1)1--31
-
van Leeuwen, Jan, 11(4)373--386, 17(3)267--285, 18(4)345--359
-
van Leeuwen, Jan, see Overmars, Mark H.
-
van Westrhenen, S. C., 19(4)397--407
-
van Westrhenen, S. C., see Sommerhalder, R.
-
vandenBos:1991:PCO, 28(6)511--538
-
VandenBussche:1993:MDC, 30(5)489--502
-
VandenBussche:1998:CUF, 35(8)637--643
-
vandeVorst:1988:FDP, 26(1)1--17
-
vanGlabbeek:2001:RAE, 37(4)229--327
-
vanGlabbeek:2015:CF, 52(2)175--205
-
vanGlabbeek:2015:SICa, 52(1)3--4
-
vanGlabbeek:2015:SICb, 52(4)303--304
-
vanGlabbeek:2023:RBS, 60(1)11--57
-
vanLamsweerde:1979:FDS, 12(1)1--31
-
vanLeeuwen:1979:ULC, 11(4)373--386
-
vanLeeuwen:1983:SBS, 18(4)345--359
-
vanStee:2001:RJC, 37(10)727--742
-
Vansummeren, Stijn, 41(6)367--381
-
Vansummeren:2005:CDT, 41(6)367--381
-
Vantilborgh, H., 6(3)251--275
-
Vantilborgh, H., see Courtois, P.-J.
-
vanwijngaarden, 14(2)175--193
-
vanWijngaarden:1975:RRA, 5(1)1--236
-
Várány, Vince, 46(1)29--42
-
Varany:2009:SST, 46(1)29--42
-
Vardi, Moshe Y., 19(4)305--324, 23(3)231--244
-
Vardi, Moshe Y., see Makowsky, Johann A.
-
Vardi:1983:IMD, 19(4)305--324
-
variable, 2(z)172--179, 6(1)61--75, 6(2)133--151, 8(2)145--152,
13(2)169--188, 16(1)15--30, 17(2)135--141, 18(4)377--392,
19(3)297--304, 21(1)47--60, 22(5)475--498, 33(2)153--176,
33(2)177--202, 59(1)1--35
-
Variable-Sized, 26(8)697--709
-
Variablenmengen, 2(z)172--179
-
variance, 13(1)21--37, 32(7)611--625, 38(4)261--276
-
Variants, 19(4)357--367
-
variation, 3(4)357--364, 4(1)87--106, 36(9)735--760
-
varied, 8(1)61--73
-
variety, 31(7)601--627
-
various, 7(2)167--182, 8(3)243--266, 16(1)45--56
-
Varjú, Erzsébet, Csuhaj-, 36(11)913--926, 41(4)257--272
-
Varricchio, Stefano, 29(5)483--498, 31(6)539--557, 36(9)817--835,
38(6)409--436
-
Varricchio, Stefano, see Carpi, Arturo,
see de Luca, Aldo,
see Intrigila, Benedetto
-
Varshney, Pramod K., 32(1)79--92
-
Varshney, Pramod K., see Vaidyanathan, Ramachandran
-
Varshneya, Rahul, 53(4)425--457
-
Varshneya, Rahul, see Essen, Christian von
-
varying, 48(4)243--269
-
Vasilakis, Manolis, 61(2)101--113
-
Vasilakis, Manolis, see Alonistiotis, Giannis
-
Vasile, Cristian Ioan, 49(6)395--412
-
Vasile:2012:PEN, 49(6)395--412
-
Vasudevan, Sridhar, 17(2)143--155
-
Vasudevan:1982:ILF, 17(2)143--155
-
Vaszil, György, 58(4)263--279, see Bordihn, Henning
-
VBI-002729, 26(3)241--267
-
VBI-002730, 27(3)247--286
-
\vCern\'y, 46(8)591--607
-
VDM, 31(5)399--430
-
vector, 8(4)303--314, 15(3)309--318, 20(1)103--111, 21(6)643--674,
26(6)503--525, 34(1)23--57, 42(6)501--514
-
Vega, Wenceslas, Fernandez de la, 35(3)211--243
-
Velardo, Fernando, Rosa-, 50(7)403--436
-
Venable, K. Brent, 53(2)87--88
-
Venable, K. Brent, see Sanchez, Cesar
-
Veneris, Andreas G., 32(2)155--170
-
Veneris, Andreas G., see Kirousis, Lefteris M.
-
Venkatesan, Shankar M., 34(3)231--243
-
Venkatesan, Shankar M., see Djidjev, Hristo N.
-
Venneri, Betti, 42(2)143--190
-
Venneri, Betti, see Bettini, Lorenzo
-
Vereijken, Jan Joris, 34(10)773--803
-
Vereijken, Jan Joris, see Engelfriet, Joost
-
verification, 4(2)127--144, 4(2)145--182, 14(2)135--155, 18(2)149--169,
20(4)329--344, 21(2)125--169, 25(6)625--661, 32(8)705--778,
36(11)837--912, 38(8)531--564, 42(8)639--671, 43(3)195--222,
43(6)431--447, 47(1)1--31, 48(4)213--242, 52(4)337--392,
53(4)357--385, 53(6)723--752, 54(2)191--215, 54(2)217--242,
56(2)161--203, 59(1)1--35, 60(2)145--178
-
verified, 31(5)399--430
-
verifier, 8(1)21--36
-
verify, 34(9)667--686
-
verifying, 40(6)431--458, 50(3)199--228
-
VeriSoft, 43(1)45--71
-
Verlag, Springer-, 22(6)679--698, 34(10)737--772
-
Vernetzungsstruktur, 3(2)171--186
-
Verraedt, R., 17(1)69--87
-
Verraedt, R., see Rozenberg, Grzegorz
-
verschiedener, 16(1)45--56
-
version, 4(3)231--243, 8(2)177--192, 14(3)221--242, 22(6)679--698,
27(6)567--581, 27(7)627--663, 31(4)379--397, 31(5)399--430,
32(8)705--778, 33(1)69--97
-
versus, 3(3)265--283, 4(2)193--200, 14(4)391--403, 27(1)81--95,
34(1)23--57, 37(7)467--509, 42(1)43--56, 47(7)375--389, 58(1)1--34,
58(1)35--56
-
vertex, 8(4)303--314, 22(1)115--123, 34(5)337--346, 44(7)509--523
-
vertex-surjective, 49(6)381--394
-
very, 18(2)181--206, 60(3)317--329
-
vesicle, 58(1)57--93
-
viable, 17(3)245--265, 31(7)601--627
-
Vianu, Victor, 25(1)55--84
-
Vianu:1988:DSU, 25(1)55--84
-
Vicard, J., 11(2)103--117
-
Vicard, J., see Adams, C.
-
Vide, Carlos, Martín-, 38(2)117--129, 38(10)695--720,
39(6)517--529, 41(4)257--272, 43(5)331--339
-
Vidyasankar, K., 24(1)105--119, 26(7)597--614, 33(2)177--202
-
Vidyasankar, K., see Haldar, S.,
see Litwin, Witold
-
Vidyasankar:1987:GTS, 24(1)105--119
-
view, 3(2)123--133, 8(1)75--96, 40(3)159--210, 44(5)289--321,
57(3)329--351
-
Viewed, 8(4)303--314
-
Vincent, Millist, 38(5)325--342
-
Vincent, Millist, see Liu, Jixue
-
Vincent, Millist W., 36(3)173--213, 44(3)207--247
-
Vincent:1999:SFR, 36(3)173--213
-
Vincent:2007:EBF, 44(3)207--247
-
Virtual, 4(1)11--47, 6(4)365--386, 28(5)463--476
-
Visentin, Terry I., 43(8)521--533
-
Visentin, Terry I., see Currie, James D.
-
Vishkin, Uzi, 21(4)339--374
-
Vishkin, Uzi, see Mehlhorn, Kurt
-
Visibly, 51(1)25--49
-
visit, 26(7)597--614
-
Visit, One-, 16(3)275--302
-
visiting, 38(11)793--811
-
vital, 36(5)405--424
-
Vlaminck, Karel, De, 10(3)209--228
-
VLSI, 18(4)335--344, 34(6)429--447
-
VLSI-Multiplier, 24(4)363--380
-
Vogler, 52(2)107--108
-
Vogler, Heiko, 26(1)131--192, 31(5)431--477, 51(5)297--325,
56(5)447--469
-
Vogler, Heiko, see Engelfriet, Joost,
see Fülöp, Zoltán,
see Kühnemann, Armin
-
Vogler, W., 43(2)73--130
-
Vogler, W., see Corradini, F.
-
Vogler, Walter, 26(4)333--348, 26(7)657--677, 27(2)125--156,
38(11)735--792, 40(2)95--118, 43(5)307--330, 46(3)209--235,
46(6)433--474, 49(2)69--103, 51(8)499--552, 52(4)305--336,
57(3)513--550, 58(6)677--677, 59(5)521--556
-
Vogler, Walter, see Corradini, Flavio,
see Habel, Annegret,
see Khomenko, Victor,
see Lüttgen, Gerald,
see Schinko, Ayleen,
see Stahl, Christian, \see{Taubner, Dirk
-
Vogler:1989:FSD, 26(4)333--348
-
Vogler:2014:TFB, 51(8)499--552
-
Vogler:2020:LTB, 57(3)513--550, 58(6)677--677
-
Vogler:2021:CLT, 57(3)513--550, 58(6)677--677
-
Voigtländer, Janis, 48(3)191--211, see Seidel, Daniel
-
Vojnar, Tom, 47(1)1--31
-
Vojnar, Tom, see Habermehl, Peter
-
Vojnar, Tomás, 53(4)357--385, 56(3)205--228,
see Abdulla, Parosh Aziz,
see Fiedor, Tomás
-
Vol.2, 1(3)190--199
-
Volkov, M. V., 59(4)479--504
-
Volkov, M. V., see Shabana, Hanan
-
vollständig, PSPACE-, 13(1)59--66, 15(2)167--191
-
Vollständigkeitssatz, 1(1)64--78
-
Volumes, 25(6)715--735
-
von Wright, J., 27(7)583--625, 31(2)105--135, 36(4)295--334
-
von Wright, J., see Back, R. J. R.
-
vonEssen:2016:SES, 53(4)425--457
-
vonWright:1994:LDR, 31(2)105--135
-
vorgeschriebener, 9(2)87--104
-
Vorobyov, Sergey G., 31(5)399--430
-
Vorst, Johannes G. G., van de, 26(1)1--17
-
Voss, Klaus, 21(1)89--100
-
Voss, Klaus, see Best, Eike
-
vs, 19(1)1--11
-
Vu, Thuy Duong, 39(6)501--516
-
Vu, Thuy Duong, see Fokkink, Wan
-
Vugt, Nikè van, 37(3)213--225,
see Hoogeboom, Hendrik Jan
-
Vuillemin, Jean, 3(1)25--35
-
Vuillemin, Jean, see Schlumberger, Maurice
-
Vyncke, R., 9(2)73--86
-
Vyncke, R., see Paredaens, Jan