Index file section W for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
W
-
W, 191(1)97--115
-
w-stuttering, 140(1)95--138
-
w.r.t., 225(1)177--184
-
Wachs, Garsia-, 180(1)309--324
-
Waczulík, Juraj, 143(2)335--342,
see Gubá{\v{s}}, Xaver
-
Wada, Koichi, 197(1)57--77, 201(1)233--248
-
Wada, Koichi, see Nakano, Koji
-
Wada:1998:EAM, 201(1)233--248
-
Wadler, P., 228(1)175--210
-
Wadler, P., see Maraist, J.
-
Wadler, Philip, 227(1)231--248
-
Wadler, Philip, see Turner, David N.
-
Wadsworth, C., 194(1)248--z--2
-
Wadsworth:1998:GRR, 194(1)248--z--2
-
Wagner, A., 194(1)243--z--2
-
Wagner, A., see Heckel, R.
-
Wagner, E. G., 140(1)179--199
-
Wagner, K. W., 148(2)181--z
-
Wagner, K. W., see Enjalbert, P.
-
Wagner, Kim Ritter, 184(1)61--104
-
Wagner, Klaus W., 163(1)245--258, 207(1)89--104
-
Wagner, Klaus W., see Baier, Herbert,
see Vollmer, Heribert
-
Wagner:1995:RMO, 140(1)179--199
-
Wagner:1997:LCC, 184(1)61--104
-
Wait-free, 220(1)211--245
-
walk, 145(1)381--390, 161(1)289--300, 169(2)147--160, 187(1)179--202,
187(1)z--z, 218(2)249--262
-
Walker, D., 195(2)259--289
-
Walker, D., see Philippou, A.
-
Walker, David, 206(1)127--162
-
Walker, David, see Liu, Xinxin
-
Walukiewicz, Igor, 163(1)99--116
-
Walukiewicz, Igor, see Niwi{\'n}ski, Damian
-
Wamel, Jos van, 177(2)425--458
-
Wan, Peng-Jun, 181(2)347--356, 194(1)123--136, 207(1)193--201
-
Wan:1997:CAC, 181(2)347--356
-
Wan:1998:CFC, 207(1)193--201
-
Wan:1998:TML, 194(1)123--136
-
Wang, Biing-Feng, 205(1)231--242
-
Wang, Farn, 181(1)195--225
-
Wang, Huaxiong, 205(1)329--336
-
Wang, Jer-Tsang, 196(1)259--288
-
Wang, Jer-Tsang, see Cho, Cheng-Hong
-
Wang, Jie, 181(2)229--245, 207(1)203--216
-
Wang, Jie, see Belanger, Jay
-
Wang, Jing, 191(1)219--228
-
Wang, Lusheng, 143(1)137--148, 215(1)359--370
-
Wang, Lusheng, see Jiang, Tao
-
Wang, Yue, 143(1)123--135
-
Wang, Yue, see Ito, Akira
-
Wang:1997:TLR, 181(1)195--225
-
Wang:1998:FDT, 191(1)219--228
-
Wang:1998:OPV, 207(1)203--216
-
Wang:1998:RSR, 205(1)329--336
-
Wang:1998:SCP, 205(1)231--242
-
Wang:1999:FTS, 215(1)359--370
-
Wareham, Harold T., 147(1)31--54
-
Wareham, Harold T., see Bodlaender, Hans L.
-
warehouse, 140(2)231--247
-
Warnow, Tandy J., 221(1)77--118
-
Warnow, Tandy J., see Erd{\H{o}}s, P{\'e}ter L.
-
Watanabe, Osamu, 205(1)317--327
-
Watanabe, Osamu, see Hemaspaandra, Lane A.
-
watermarking, 226(1)117--142
-
Wätjen, Dietmar, 194(1)35--55, see Fernau, Henning
-
wavelength, 194(1)123--136, 221(1)119--137
-
way, 223(1)143--178
-
way, one-, 141(1)331--335, 148(2)261--279, 156(1)281--287,
157(2)139--159, 174(1)217--230, 179(1)251--271
-
way, three-, 143(1)123--135
-
way, two-, 161(1)141--156, 169(2)161--184
-
WB, 146(1)25--68
-
weak, 143(1)149--158, 146(1)25--68, 146(1)185--197, 149(2)201--229,
150(1)161--191, 152(2)269--283, 154(2)145--163, 159(1)65--79,
159(2)271--317, 163(1)245--258, 165(1)97--131, 179(1)397--419,
180(1)229--241, 195(2)155--182, 198(1)239--247, 209(1)225--235
-
weak-image-finite, 179(1)397--419
-
weaker, 165(2)475--482, 184(1)195--236
-
weakest, 150(1)161--191
-
weakly, 152(2)269--283, 172(1)195--207, 223(1)193--197
-
Wegener, Ingo, 141(1)283--310, 205(1)45--60
-
Wegener, Ingo, see Bollig, Beate,
see Sieling, Detlef
-
Wegner, Peter, 192(2)315--351
-
Wegner:1998:IFC, 192(2)315--351
-
Weibel, Trudy, 185(2)393--410
-
Weibel:1997:OSR, 185(2)393--410
-
Weiermann, Andreas, 139(1)355--362
-
Weiermann:1995:TPT, 139(1)355--362
-
weighings, 181(2)347--356
-
weight, 162(2)341--349, 168(2)405--416, 181(2)337--345, 181(2)379--404
-
weighted, 141(1)283--310, 148(1)133--140, 153(1)271--300, 154(1)41--56,
157(2)215--225, 158(1)193--219, 165(2)441--461, 171(1)3--24,
188(1)1--44, 218(2)263--271
-
weighted, edge-, 191(1)229--243
-
weighted, integer-, 180(1)155--168
-
weighted, vertex-, 172(1)265--271
-
Weihl, William E., 149(1)151--178
-
Weihl, William E., see Fekete, Alan
-
Weihrauch, Klaus, 219(1)65--93, 219(1)421--437, 219(1)439--450
-
Weihrauch, Klaus, see Brattka, Vasco
-
Weihrauch:1999:CPM, 219(1)421--437
-
Weihrauch:1999:EGM, 219(1)439--450
-
well, 165(2)483--490, 166(1)221--262, 176(1)39--65, 176(1)235--282,
204(1)131--152
-
well-founded, 146(1)145--184, 166(1)221--262, 170(1)209--244,
170(1)383--406
-
well-nested, 147(1)211--248
-
well-typed, 151(2)297--352
-
wellorderings, 170(1)245--276--1, 176(1)329--335
-
Welzl, Emo, 181(1)3--15
-
Welzl, Emo, see Asano, Tetsuo
-
Werchner, Ralph, 162(2)283--296
-
Werchner, Ralph, see Mayr, Ernst W.
-
Westfechtel, B., 194(1)243--244
-
Westfechtel, B., see Heimann, P.
-
when, 159(2)355--356, 163(1)211--238
-
where, 215(1)305--323
-
which, 146(1)321--329, 148(1)165--170, 163(1)145--160, 225(1)177--184
-
{`While}, 219(1)379--420
-
while, 160(1)1--85
-
while-loops, 149(1)49--66
-
while-queries, 176(1)283--328
-
Whitesides, Sue, 169(1)23--37
-
Whitesides, Sue, see Eades, Peter
-
whose, 145(1)241--270
-
Why, 219(1)451--465
-
Wiber, Gilles, 141(1)1--52
-
Wiber, Gilles, see Gruau, Frédéric
-
wide-sense, 182(1)171--182
-
Widmayer, Peter, 181(1)3--15
-
Widmayer, Peter, see Asano, Tetsuo
-
width, 207(1)25--41
-
width, proper-path-, 137(2)253--268
-
width;, proper-path-, 137(2)253--268
-
width, tree-, 164(1)287--298
-
Wilf, 218(1)83--94, 218(1)135--141
-
Wilf, Herbert S., 159(1)5--13
-
Wilf:1996:RDP, 159(1)5--13
-
Wilke, T., 195(2)183--203
-
Wilke, T., see Peled, D.
-
Wilke, Thomas, 154(1)85--106
-
Wilke:1996:ACF, 154(1)85--106
-
Wilson, Debra Sue, 198(1)49--98
-
Wilson, Debra Sue, see Nadathur, Gopalan
-
Wimmel, Harro, 206(1)219--256
-
Wimmel, Harro, see Priese, Lutz
-
window-based, 186(1)43--81
-
Winkler, Stephan, 142(1)59--87
-
Winkler, Stephan, see Loogen, Rita
-
Win/Loss, 148(1)111--119
-
winning, 174(1)97--121
-
Winsborough, William, 202(1)163--192
-
Winsborough, William, see Cortesi, Agostino
-
Winskel, Glynn, 153(1)211--244, 170(1)297--348
-
Winskel, Glynn, see Nielsen, Mogens,
see Sassone, Vladimiro
-
Winter, 187(1)263--284
-
wireless, 145(1)95--109
-
Wirsing, M., 142(1)1--z
-
Wirsing, M., see Maluszynski, J.
-
Wirsing, Martin, 173(2)393--443
-
Wirsing, Martin, see Hennicker, Rolf
-
Wirth, Hans-C., 221(1)139--155
-
Wirth, Hans-C., see Krumke, Sven O.
-
wise, 3-, 148(1)133--140
-
withash, 156(1)39--70
-
witness, 147(1)137--147
-
Wojciechowski, 156(1)119--144
-
Wolper, P., 195(2)183--203
-
Wolper, P., see Peled, D.
-
Wolter, Andrea, 215(1)305--323
-
Wolter, Andrea, see Andreae, Thomas
-
Wong, Chung Kei, 160(1)271--281
-
Wong, Chung Kei, see Kaminski, Michael
-
Wong, Limsoon, 149(1)3--48
-
Wong, Limsoon, see Buneman, Peter
-
Wong, Man Hon, 149(1)179--199
-
Wong, Pak-Ken, 225(1)163--169
-
Wong:1995:CSS, 149(1)179--199
-
Wong:1999:OPC, 225(1)163--169
-
Wood, Derick, 164(1)123--140
-
Wood, Derick, see Salomaa, Kai
-
word, 146(1)321--329, 154(1)67--84, 154(2)387--394, 155(2)291--319,
155(2)349--363, 155(2)425--438, 156(1)119--144, 156(1)281--287,
158(1)35--51, 159(1)15--28, 159(1)43--63, 160(1)87--143,
161(1)141--156, 162(1)79--115, 163(1)1--54, 163(1)291--302,
163(1)309--315, 164(1)29--40, 164(1)165--183, 164(1)277--285,
165(2)295--309, 170(1)407--444, 172(1)67--89, 172(1)273--279,
174(1)1--21, 174(1)171--191, 178(1)129--154, 178(1)171--203,
178(1)205--224, 180(1)81--113, 180(1)341--352, 183(1)45--82,
183(1)83--92, 197(1)1--56, 197(1)57--77, 197(1)235--240,
198(1)1--47, 200(1)205--224, 204(1)87--98, 218(1)13--39,
218(1)41--59, 218(1)83--94, 218(1)95--106, 218(1)123--133,
218(1)135--141, 218(1)161--175, 223(1)73--85, 224(1)215--235,
225(1)129--148, 225(1)149--161, 547-z-122
-
Word, Max-, 157(2)161--183
-
word, n-, 163(1)145--160
-
word, three-, 163(1)145--160
-
word-extension, 201(1)151--170
-
word-lengths, 141(1)329--330
-
work, 178(1)37--76, 188(1)221--230
-
work, optimal-, 154(2)225--245
-
work-tape, 180(1)139--154
-
work-time, 164(1)299--310
-
working, 194(1)248--z
-
Workshop, 151(1)z--z, 157(1)z--z, 159(1)103--104, 168(2)z--z, 175(1)z--z,
187(1)z--z, 194(1)z--z
-
workstations, 196(1)31--44, 196(1)319--345
-
world, closed-, 182(1)183--202
-
world, real-, 192(2)315--351
-
Worsch, Thomas, 217(1)3--30
-
Worsch:1999:PTM, 217(1)3--30
-
worst, 137(1)159--176, 145(1)189--228, 164(1)59--72, 165(2)311--323,
181(1)3--15
-
worst-case, 148(1)141--156, 164(1)59--72, 172(1)281--291,
178(1)119--127, 180(1)243--268, 181(2)289--306, 190(2)151--166,
221(1)3--18, 223(1)1--72
-
worst-case-performance, 196(1)347--363
-
Woude, Jaap van der, 179(1)103--135
-
Woude, Jaap van der, see Doornbos, Henk
-
Woz{\'n}iakowski, Henryk, 219(1)301--318, 219(1)451--465,
see Novak, Erich
-
Wozniakowski:1999:WDI, 219(1)451--465
-
wp, 146(1)185--197
-
wp-calculus, 159(2)245--270
-
Wraith, Hagino-, 139(1)69--113
-
write, 174(1)193--202, 196(1)259--288, 220(1)267--319
-
write, concurrent-, 141(1)163--173
-
write, queue-, 196(1)3--29
-
writer, multi-, 149(2)257--298
-
writings, 215(1)31--49
-
writings, -, 215(1)31--49
-
Wu, Sue-Hwey, 176(1)1--38
-
Wu, Weili, 207(1)171--180, 223(1)193--197
-
Wu, Weili, see Du, Xiufeng,
see Gao, Sui-Xiang
-
Wu:1997:CBP, 176(1)1--38
-
Wythoff, 205(1)283--296