Index file section W for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
W
-
Wadsack, Jörg P., 6(3)203--218, see Burmester, Sven
-
Wagenhals, Lee W., 2(2)168--181
-
Wagenhals:1998:CEM, 2(2)168--181
-
Wagner, Robert, 6(3)203--218
-
Wagner, Robert, see Burmester, Sven
-
Wahls, Tim, 19(1)31--52
-
Wahls, Tim, see Rivera, Víctor
-
Walker, Adam, 19(3)367--390
-
Walker, Adam, see Jacobs, Swen
-
Wallenburg, Angela, 17(6)695--707
-
Wallenburg, Angela, see Hoang, Duc
-
Walter, Maximilian, 25(5)733--746
-
Walter, Maximilian, see Bure{\v{s}}, Tom{\'a}{\v{s}}
-
wands, 17(6)757--781
-
Wang, Chao, 7(2)143--155, 18(4)393--407
-
Wang, Chao, see Adhikari, Kiran, \see{Li, Bing
-
Wang, Farn, 6(1)77--97, 17(2)223--243
-
Wang, Jingyi, 20(6)689--704
-
Wang, Wenxi, 22(5)601--615
-
Wang, Wenxi, see Usman, Muhammad
-
Wang, Zhifu, 25(4)557--573
-
Wang, Zhifu, see Mamouras, Konstantinos
-
Wang:2004:EVT, 6(1)77--97
-
Wang:2015:MCF, 17(2)223--243
-
Wang:2018:LPM, 20(6)689--704
-
Warken, Markus, 10(4)297--307
-
Warken:2008:TAP, 10(4)297--307
-
Wasowski, Andrzej, 9(5)471--487, 17(1)17--45, 19(5)585--603
-
Wasowski, Andrzej, see David, Alexandre,
see Dimovski, Aleksandar S.,
see Larsen, Kim G.
-
W{\k{a}}sowski, Andrzej, 14(6)703--720,
see David, Alexandre
-
Wassyng, Alan, 8(4)337--354, 20(1)95--117
-
Wassyng, Alan, see Pantelic, Vera
-
Wassyng:2006:STS, 8(4)337--354
-
Watanabe, Edson, 14(6)673--702
-
Watanabe, Edson, see Gomes, Adriano
-
Watanabe, Yosinori, 7(2)102--117
-
Watanabe, Yosinori, see Cabodi, Gianpiero
-
waves, 12(2)89--95, 24(3)371--394
-
WCET, 15(1)53--63
-
weak, 1(1)6--8, 20(2)179--194
-
weak-memory, 22(6)709--728
-
weakest, 13(5)405--417
-
web, 7(4)351--360, 8(6)565--585, 10(4)371--381, 10(6)473--476,
10(6)477--492, 10(6)493--502, 11(6)419--425, 11(6)441--451,
11(6)453--468, 11(6)469--484, 11(6)485--501, 13(2)107--109,
13(2)131--149, 13(2)151--166, 13(2)181--200, 15(2)125--147,
16(3)269--283, 21(2)221--246, 24(4)511--527
-
Web-based, 3(4)405--416, 13(2)111--129
-
Weber, Michael, 3(4)486--497, 7(2)184--194, 12(2)97--111
-
Weber, Michael, see Kindler, Ekkart,
see Leucker, Martin
-
Weber, Tjark, 13(5)419--429
-
Weber:2010:EVM, 12(2)97--111
-
Weber:2011:SSN, 13(5)419--429
-
Wedel, L. von, 6(3)186--202
-
Wedel, L. von, see Schopfer, G.
-
Wehrle, Martin, 18(1)41--56, 18(4)449--467
-
Wehrle, Martin, see Bogomolov, Sergiy
-
Wehrle:2016:DPR, 18(1)41--56
-
weight, light-, 3(3)286--313
-
weighted, 10(5)425--441, 18(4)409--426
-
Weik, Norman, 24(3)331--350
-
Weik:2022:DMA, 24(3)331--350
-
Weimer, Westley, 13(2)111--129
-
Weimer, Westley, see Dobolyi, Kinga
-
Weininger, Maximilian, 25(3)249--266
-
Weininger, Maximilian, see Jüngermann, Florian
-
Weise, C., 1(1)64--85
-
Weise, C., see Larsen, Kim G.
-
Weise, Carsten, 1(1)31--48
-
Weise, Carsten, see Braun, Volker
-
Weissberg, Osnat, 4(3)335--348
-
Weissberg, Osnat, see Copty, Fady
-
Weissenbacher, Georg, 22(5)565--581
-
Weissenbacher, Georg, see Metzler, Patrick
-
well, 25(2)185--204
-
Wells, Lisa, 9(3)213--254
-
Wells, Lisa, see Jensen, Kurt
-
Wendehals, Lothar, 6(3)203--218
-
Wendehals, Lothar, see Burmester, Sven
-
Wendler, Philipp, 21(1)1--29, 24(4)661--661
-
Wendler, Philipp, see Beyer, Dirk
-
Wenzel, Sven, 17(3)267--289
-
Wenzel, Sven, see Bürger, Jens
-
Wermelinger, Michel, 9(5)415--416
-
Wermelinger:2007:ISS, 9(5)415--416
-
Wesselink, Wieger, 24(5)735--756
-
Wesselink, Wieger, see Neele, Thomas
-
Weyuker, Elaine J., 18(3)335--353
-
Weyuker, Elaine J., see Enoiu, Eduard P.
-
Whalen, Michael W., 8(4)303--319
-
Whalen, Michael W., see Miller, Steven P.
-
What, 4(1)1--7, 8(3)180--194, 14(3)349--382, 21(2)203--219,
23(4)579--600
-
Why, 8(1)1--3
-
Why3, 17(6)709--727
-
Widder, Josef, 23(5)797--821, 23(5)823--823
-
Widder, Josef, see Bertrand, Nathalie
-
Widening, 8(1)57--76, 9(3)413--414, 14(2)145--165
-
wider, 12(1)1--7
-
Wiegard, Harald, 19(2)187--203
-
Wiegard, Harald, see Ladenberger, Lukas
-
Wiels, Virginie, 12(1)1--7, 19(2)133--140
-
Wiels, Virginie, see Ameur, Yamine Ait,
see Boniol, Frédéric
-
Wijs, Anton, 13(1)21--35, 18(2)169--185, 20(5)493--497
-
Wijs, Anton, see Bosnacki, Dragan
-
Wijs, Anton J., 11(5)375--392
-
Wijs:2009:SSP, 11(5)375--392
-
Wijs:2016:MCF, 18(2)169--185
-
will, 6(2)102--116
-
Willemse, Tim A. C., 24(3)325--330, 24(3)441--472, 24(5)735--756
-
Willemse, Tim A. C., see Beek, Maurice H. ter,
see Bunte, Olav, \see{Neele, Thomas
-
Williams, Poul F., 5(1)4--14
-
Williams:2003:SCU, 5(1)4--14
-
Wilson, Jeffery, 16(1)67--80
-
Wilson, Jeffery, see Snyder, Jason
-
Wilson, Thomas, Given-, 22(5)563--564
-
Wiltsche, Clemens, 20(2)195--210
-
Wiltsche, Clemens, see Kwiatkowska, Marta
-
Win, Toh Ne, 6(1)67--76
-
Win:2004:USE, 6(1)67--76
-
Windmüller, Stephan, 16(5)569--591,
see Neubauer, Johannes
-
Wing, Jeannette M., 4(3)261--265
-
Wing:2003:PA, 4(3)261--265
-
wireless, 20(5)547--561
-
Wirsing, Martin, 22(4)389--397, 23(5)679--684, 25(5)617--624
-
Wirsing, Martin, see Bliudze, Simon,
see De Nicola, Rocco
-
Wirsing:2023:REC, 25(5)617--624
-
Witnessing, 17(6)757--781
-
Witting, Katrin, 10(3)223--231
-
Witting:2008:NAO, 10(3)223--231
-
Wojtczak, Dominik, 21(3)325--349
-
Wojtczak, Dominik, see Fearnley, John
-
Wolff, Burkhart, 7(3)233--247
-
Wolff, Burkhart, see Brucker, Achim D.
-
Wolper, Pierre, 1(1)6--8
-
Wolper:1997:MFW, 1(1)6--8
-
Wolpers, Andreas, 3(1)66--77
-
Wolpers, Andreas, see Autexier, Serge
-
Wong, Kenny, 13(2)107--109
-
Wong, Kenny, see Zou, Ying
-
Wong, Peter Y. H., 14(5)567--588, 17(1)107--119
-
Wong-Toi, Howard, 1(1)110--122
-
Wong-Toi, Howard, see Henzinger, Thomas A.
-
Wong:2012:ATS, 14(5)567--588
-
Wong:2015:TAB, 17(1)107--119
-
Woodcock, Jim, 7(3)248--267, 19(1)73--96
-
Woodcock, Jim, see Butterfield, Andrew,
see Ye, Kangfeng
-
word-level, 3(2)182--192
-
work, 9(3)327--352
-
workarounds, 10(6)493--502, 20(6)665--688
-
workbench, 18(6)581--586
-
workflow, 10(1)15--28, 16(1)31--48, 17(3)321--338, 18(6)575--580,
18(6)607--628, 18(6)629--651, 20(4)467--491
-
workloads, 13(3)207--221
-
workshop, 2(3)203--207, 7(2)87--88
-
world, real-, 22(2)183--194, 25(2)185--204
-
worlds, 25(2)185--204
-
worst-case, 4(4)437--455, 11(2)133--152, 21(5)515--543
-
Wu, Ji, 13(2)107--109
-
Wu, Ji, see Zou, Ying
-
Wu, Wenyuan, 22(6)655--666
-
Wu, Wenyuan, see Li, Yi
-
Wuillemin, Pierre-Henri, 19(3)281--308
-
Wuillemin, Pierre-Henri, see Hillah, Lom Messan
-
Wuttke, Jochen, 18(1)1--19
-
Wuttke, Jochen, see Pezzé, Mauro
-
Wyk, Eric, Van, 11(3)203--215