Last update: Thu Jun 29 02:43:11 MDT 2023
Return to index directory
W
-
Wachter, Bram, De, 17(2)177--200
-
Wachter, Björn, 24(4)671--678, see Kiefer, Stefan
-
Wagner, Kim Ritter, 1(1)85--114
-
Wagner, Kim Ritter, see Nielsen, Mogens
-
Wahl, Thomas, 22(6)713--733
-
Wahl:2010:LAS, 22(6)713--733
-
Wait, 14(3)281--294
-
Waldén, Marina, 12(4)278--297, 26(2)197--201, 26(2)281--303,
see Boström, Pontus,
see Petre, Luigia, \see{Sere, Kaisa
-
Waldinger, Richard, 31(6)643--660
-
Waldinger, Richard, see Dershowitz, Nachum
-
Walker, D. J., 1(1)273--292
-
Walker:1989:AAM, 1(1)273--292
-
Walsh, Toby, 7(3)348--351
-
Walsh:1995:BR, 7(3)348--351
-
Walter, Rolf, 9(4)409--424
-
Walter, Rolf, see Kindler, Ekkart
-
WAM, 8(4)428--462, 8(5)539--564
-
Wamel, Jos van, 10(5)435--435
-
Wamel, Jos van, see Groote, Jan Friso
-
Wand, Mitchell, 9(1)49--67
-
Wand, Mitchell, see Palsberg, Jens
-
Wang, Chao, 23(6)781--805
-
Wang, Guohui, 32(4)417--437
-
Wang, Guohui, see Chen, Shanyan
-
Wang, Qi, 31(5)503--540
-
Wang, Qi, see Liu, Si
-
Wang, Shuling, 29(4)751--775
-
Wang, Xiaobing, 27(1)103--131
-
Wang, Xiaobing, see Ma, Qian
-
Wang:2011:SPA, 23(6)781--805
-
Wang:2017:CMV, 29(4)751--775
-
Want, 14(3)281--294
-
Ward, Martin, 26(5)993--1031
-
Ward:2014:PCD, 26(5)993--1031
-
Warner, 20(3)239--240
-
Warshall, 24(4)459--476
-
Wasowski, Andrzej, 30(1)1--1, 31(2)231--259
-
Wasowski, Andrzej, see Denney, Ewen,
see Dimovski, Aleksandar S.
-
Way, 12(6)485--500
-
weak, 28(1)109--143, 28(3)381--407, 32(1)1--32
-
weakest, 4(2)195--236, 6_1S_788_800
-
Weakness, 33(1)27--63
-
web, 17(3)277--318, 25(6)833--846, 27(4)613--640, 27(5)867--884
-
Weber, Matthias, 5(5)391--431, 8(1)86--107
-
Weber, Matthias, see Simons, Martin
-
Weber, Rainer, 8(2)127--161
-
Weber, Rainer, see St{\o}len, Ketil
-
Weber-Wulff, Debora, 5(2)121--151
-
Weber-Wulff:1993:PMP, 5(2)121--151
-
Weber:1993:DBP, 5(5)391--431
-
Wehrheim, Heike, 12(3)147--164, 20(2)161--204, 26(2)251--280,
30(5)597--625, 31(1)1--1, 31(5)457--458, 33(4)547--573,
33(6)827--827, 33(6)1037--1037
-
Wehrheim, Heike, see Ahrendt, Wolfgang,
see Cabot, Jordi, \see{Derrick, John,
see Fränzle, Martin,
see Möller, Michael,
see Russo, Alessandra,
see Schneider, Steve
-
Wehrheim:2000:DAT, 12(3)147--164
-
Weide, Bruce W., 23(5)607--626
-
Weide, Bruce W., see Sitaraman, Murali
-
Weidlich, Matthias, 28(4)529--530
-
Weidlich, Matthias, see Carbone, Marco
-
Weidmann, Nils, 33(6)1115--1145
-
Weidmann:2021:SCC, 33(6)1115--1145
-
weighted, 33(4)695--727
-
Weissenbacher, Georg, 22(2)105--128
-
Weissenbacher, Georg, see Kroening, Daniel
-
Welch, Peter H., 30(2)239--277
-
Welch, Peter H., see Pedersen, Jan B.
-
Wellings, A. J., 9(2)175--207
-
Wellings, A. J., see Fidge, C. J.
-
Wellings, Andy, 25(1)37--57
-
Wellings, Andy, see Cavalcanti, Ana
-
Wenzel, Makarius, 31(6)675--698
-
Wenzel, Makarius, see Paulson, Lawrence C.
-
Westphal, Bernd, 28(3)499--527
-
Westphal, Bernd, see Feo-Arenis, Sergio
-
What, 12(6)418--422, 14(3)281--294
-
When, 6(3)317--338
-
Where, 15(4)297--298
-
White, Black-, 28(2)325--341
-
White, Jerome, 23(5)649--679
-
White, Jerome, see Chandy, K. Mani
-
Whitley, Dave, 3(1)58--101
-
Whitley, Dave, see Stepney, Susan
-
Whittle, Jon, 13(3)403--421
-
Whittle:2002:PPF, 13(3)403--421
-
who, 21(5)393--395
-
Why, 14(2)99--107
-
wide-spectrum, 29(5)853--875
-
Wiik, Jonatan, 28(1)79--107
-
Wiik:2016:CBV, 28(1)79--107
-
Wijs, Anton, 30(1)3--43
-
Wijs, Anton, see Putter, Sander de
-
Wildman, Luke, 15(2)258--279
-
Wildman:2003:VVA, 15(2)258--279
-
Wilhelm, Reinhard, 33(6)1279--1280
-
Wilhelm:2021:FPL, 33(6)1279--1280
-
Williams, Alan, 5(2)152--176
-
Williams, Craig, 18(1)84--101
-
Williams, Craig, see Ural, Hasan
-
Williams, David M., 28(6)909--935, 32(2)251--273
-
Williams, David M., see Hoang, Thai Son
-
Williams:1993:ADP, 5(2)152--176
-
Williams:2020:LDD, 32(2)251--273
-
Williamson, Matthew, 25(2)319--341
-
Williamson, Matthew, see Subramani, K.
-
Wilson, 29(6)1121--1122
-
Wimmer, Ralf, 29(4)629--649
-
Wimmer, Ralf, see Hatefi, Hassan
-
window, 17(3)342--388
-
Window, Sliding-, 7(1)1--2
-
window, sliding-, 7(1)3--17
-
Wing, Jeanette, 12(3)145--146
-
Wing, Jeannette, 9(3)227--228, 11(6)591--615
-
Wing, Jeannette, see Jackson, Daniel
-
Wing, Jeannette M., 10(1)59--75
-
Wing, Jeannette M., see Leavens, Gary T.
-
Wing:1997:E, 9(3)227--228
-
Wing:2000:FWC, 12(3)145--146
-
Winskel, 10(2)171--186
-
Winskel, Glynn, 24(4)647--660
-
Winskel:2012:DCS, 24(4)647--660
-
Winter, Kirsten, 21(1)155--186, 24(2)249--266, 29(6)935--950,
31(2)133--163, 32(1)1--32
-
Winter, Kirsten, see Hayes, Ian J.,
see Lindsay, Peter A., \see{Smith, Graeme
-
wireless, 27(1)79--102, 29(6)1051--1086, 33(6)1249--1277
-
wise, Component-, 28(3)345--379
-
wise, UseCase-, 23(1)113--131
-
Wißmann, Thorsten, 33(4)695--727
-
Wissmann:2021:GPR, 33(4)695--727
-
witnessing, 33(6)1039--1066
-
Witt, Tobias, 30(5)545--569
-
Witt, Tobias, see Schneider, David
-
W{\l}adys{\l}aw, 26(5)863--864
-
Wolff, Burkhart, 19(1)63--91, 25(5)683--721
-
Wolff, Burkhart, see Basin, David,
see Brucker, Achim D.
-
Wolter, Uwe, 26(6)1115--1152
-
Wolter, Uwe, see Rossini, Alessandro
-
Woodcock, J., 27(5)975--1001
-
Woodcock, J., see Mota, A.
-
Woodcock, J. C. P., 8(4)479--489, 18(2)143--151
-
Woodcock, J. C. P., see Bicarregui, J. C.,
see Martin, A. P.
-
Woodcock, Jim, 7(3)266--288, 10(3)267--289, 12(3)145--146, 15(1)28--47,
15(2)146--181, 18(3)288--307, 19(4)415--416, 20(1)1--3, 20(1)5--19,
20(1)117--139, 21(1)3--32, 21(1)133--154, 23(2)151--151,
23(5)585--588, 24(3)303--303, 25(1)37--57, 25(1)133--158,
26(4)795--823, 27(1)167--192, 27(5)751--752, 29(1)1--2,
33(3)299--300, 33(3)437--455, 33(4)763--802, 33(6)923--924
-
Woodcock, Jim, see Cavalcanti, Ana,
see Chen, Xiaoping, \see{Cheng, Shu,
see Fantechi, Alessandro,
see Freitas, Leo, \see{Gleirscher, Mario,
see Jones, Cliff, \see{Kroening, Daniel,
see Liu, Zhiming, \see{Oliveira, Marcel,
see Proietti, Maurizio,
see Sinclair, Jane, \see{Wing, Jeanette,
see Zhao, Hengjun
-
Woodcock:2008:CME, 20(1)5--19
-
Woodcock:2012:E, 24(3)303--303
-
Woodcock:2015:E, 27(5)751--752
-
workbench, 30(1)163--192
-
workflow, 23(3)333--363
-
working, 17(2)201--221
-
World, 12(3)145--146
-
Worrell, James, 24(4)595--607, 24(4)671--678
-
Worrell, James, see Bouyer, Patricia,
see Kiefer, Stefan
-
worst, 27(5)917--949
-
wrappers, 5(3)181--207
-
Wray, J. P., 6(4)417--439
-
Wray:1994:CTD, 6(4)417--439
-
Wright, J. von, 2(1)247--272, 15(2)103--117
-
Wright, J. von, see Back, R. J. R.
-
Wright, Joakim von, 7(1)106--110, 9(5)469--483, 12(1)18--40,
12(5)313--349
-
Wright, Joakim von, see Back, Ralph-Johan,
see Back, Ralph
-
Wright, Stephen, 23(1)73--89
-
Wright:2011:UEB, 23(1)73--89
-
write, 6(5)580--584
-
Wu, Aixuan, 30(6)739--757
-
Wu, Aixuan, see Shi, Zhiping
-
Wu, Huihui, 33(3)325--341
-
Wu, Jinzhao, 30(2)219--237
-
Wu, Jinzhao, see Zhang, Hui
-
Wu, Kang-Nien, 21(3)259--275
-
Wu, Kang-Nien, see Tsay, Yih-Kuen
-
Wu, Nicolas, 26(6)1231--1269
-
Wu:2014:FRD, 26(6)1231--1269
-
Wu:2021:SVS, 33(3)325--341
-
Wulf, Martin, De, 17(3)319--341
-
Wulff, Debora, Weber-, 5(2)121--151
-
Wybe, 14(2)92--98
-
Wyble, Brad, 21(6)513--539
-
Wyble, Brad, see Su, Li
-
Wynn, M. T., 23(3)333--363
-
Wynn, M. T., see Aalst, W. M. P. van der