Index file section S for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
S
-
S.{\v{Z}}{\'a}k, 238(1)347--362, see Savick{\'y}, P.
-
Sabater, A., Fúster-, 259(1)679--688
-
Sabelfeld, V., 238(1)1--29
-
Sabelfeld:2000:TEL, 238(1)1--29
-
Sadakane, Kunihiko, 295(1)251--261
-
Sadakane, Kunihiko, see Koo, Chiu-Yuen
-
Sadowski, Zenon, 288(1)181--193
-
Sadowski:2002:OPP, 288(1)181--193
-
Sadri, F., Blanchet-, 270(1)401--419, 289(1)297--312,
314(1)189--216, 329(1)177--202
-
Sáenz, Carlos, Loría-, 236(1)209--232
-
Safari, Mohammad Ali, 321(2)405--414
-
Safari, Mohammad Ali, see Albert, Michael H.
-
Safavi-Naini, Rei, 269(1)1--21
-
Safavi-Naini:2001:BAG, 269(1)1--21
-
safe, 290(2)1175--1199, 318(1)197--223
-
safety, 296(1)59--74, 302(1)93--121, 313(1)57--71
-
Sagonas, Konstantinos, 254(1)465--499
-
Sagonas:2001:LFO, 254(1)465--499
-
Sahinalp, S. Cenk, 321(1)95--101
-
Sahinalp, S. Cenk, see Muthukrishnan, S.
-
Sakai, Yoshifumi, 241(1)37--50
-
Sakai, Yoshifumi, see Takimoto, Eiji
-
Sakakibara, Naoto, 312(2)251--266
-
Sakakibara, Naoto, see Hashiguchi, Kosaburo
-
Sakakibara, Yasubumi, 264(1)3--23
-
Sakakibara, Yasubumi, see Kobayashi, Satoshi
-
Sakamoto, Hiroshi, 231(2)297--308, 298(1)21--50
-
Sakamoto, Kensaku, 287(1)59--71
-
Sakamoto, Kensaku, see Hagiya, Masami
-
Sakamoto:2000:IDP, 231(2)297--308
-
Sakamoto:2003:LEF, 298(1)21--50
-
Sakarovitch, Jacques, 292(1)45--63, 293(1)55--82, 328(1)77--96
-
Sakarovitch, Jacques, see Béal, Marie-Pierre,
see d'Alessandro, Flavio,
see Lombardy, Sylvain
-
Saks, Michael, 287(2)393--418
-
Saks, Michael, see Anderson, Eric J.
-
Sakuma, Tadashi, 235(2)309--324, 263(1)9--16
-
Sakuma, Tadashi, see Fukuda, Komei
-
Sakuma:2000:FCC, 235(2)309--324
-
Salbany, S., 305(1)135--158
-
Salbany, S., see Hardie, K. A.
-
Sales, Cláudia Linhares, 321(2)171--194
-
Sales:2004:DFP, 321(2)171--194
-
salesman, 285(1)3--24, 289(1)845--852
-
salesmen, 313(3)377--392
-
Salger, Frank, 318(3)243--296
-
Salger, Frank, see Majster-Cederbaum, Mila
-
Salibra, Antonino, 249(1)197--240
-
Salibra:2000:AML, 249(1)197--240
-
Salomaa, A., 233(1)279--286
-
Salomaa, A., see Nishida, T. Y.
-
Salomaa, Arto, 250(1)163--178, 259(1)689--698, 270(1)701--738,
281(1)25--30, 281(1)537--553, 287(1)3--38, 292(1)263--281,
301(1)187--200, 320(2)315--329
-
Salomaa, Arto, see Amos, Martyn,
see Dassow, Jürgen,
see Honkala, Juha,
see Mihalache, Valeria,
see Rozenberg, Grzegorz
-
Salomaa, K., 231(1)103--111
-
Salomaa, Kai, 234(1)167--176, 276(1)245--259
-
Salomaa:2000:AFA, 234(1)167--176
-
Salomaa:2000:EIR, 231(1)103--111
-
Salomaa:2002:DES, 276(1)245--259
-
Salomaa:2002:UTW, 281(1)537--553
-
Salomaa:2003:CSF, 292(1)263--281
-
Salomaa:2003:WCD, 301(1)187--200
-
Salomaa:2004:SCR, 320(2)315--329
-
Salvy, Bruno, 276(1)1--15, 287(2)593--617
-
Salvy, Bruno, see Cori, Robert,
see Nicodème, Pierre
-
Sambin, Giovanni, 305(1)347--408
-
Sambin:2003:SPF, 305(1)347--408
-
same, 294(1)233--267
-
Sami, Rahul, 304(1)215--236
-
Sami, Rahul, see Feigenbaum, Joan
-
sample, 329(1)203--221
-
sampling, 246(1)265--278, 310(1)479--488
-
sand, 262(1)525--556
-
Sandberg, Sven, 310(1)365--378
-
Sandberg, Sven, see Björklund, Henrik
-
Sander, J. W., 246(1)195--225, 270(1)857--863
-
Sander:2000:CFL, 246(1)195--225
-
Sander:2002:RCF, 270(1)857--863
-
Sanders, Beverly, 243(1)339--361
-
Sanders, Beverly, see Meier, David
-
Sandpile, 322(2)383--407
-
sandpiles, 276(1)1--15
-
Sangiorgi, Davide, 274(1)1--1
-
Sangiorgi:2002:E, 274(1)1--1
-
Sannella, Donald, 250(1)xv--xvi, 286(2)153--196
-
Sannella, Donald, see Astesiano, Egidio,
see Ausiello, Giorgio
-
Sano, Shinya, 314(1)97--120
-
Sano:2004:BWG, 314(1)97--120
-
Sant, Paul, 326(1)409--418
-
Sant, Paul, see Gibbons, Alan
-
Sântean, N., 267(1)3--16, see Câmpeanu, C.
-
Santi, Paolo, 290(2)1149--1174
-
Santi, Paolo, see Caruso, Antonio
-
Santini, Massimo, 282(2)259--270
-
Santini, Massimo, see Boldi, Paolo
-
Santis, Alfredo De, 250(1)143--161, 314(3)351--374
-
Santis, Alfredo De, see Ateniese, Giuseppe,
see Bonis, Annalisa De
-
Santocanale, Luigi, 295(1)341--370
-
Santocanale:2003:EDL, 295(1)341--370
-
Santoro, Nicola, 282(2)221--222, 291(1)29--53, 301(1)355--379
-
Santoro, Nicola, see Flocchini, Paola,
see Lodi, Elena
-
Saraswat, V. A., 278(1)223--255
-
Saraswat, V. A., see Gupta, V.
-
Sarkar, Palash, 276(1)133--146
-
Sarkar, Palash, see Maitra, Subhamoy
-
Sarkar, U. K., 237(1)407--421
-
Sarkar:2000:DCA, 237(1)407--421
-
Sassone, Vladimiro, 322(3)423--426
-
Sassone:2004:P, 322(3)423--426
-
SAT, 265(1)109--129, 265(1)131--146, 265(1)159--185, 287(1)59--71,
289(1)69--83, 329(1)1--45
-
SAT, 3-, 329(1)303--313
-
satisfaction, 244(1)189--203, 259(1)287--305, 265(1)265--283,
287(1)167--185, 288(1)85--100, 322(2)313--334, 329(1)93--113
-
satisfiability, 265(1)147--157, 265(1)187--197, 290(1)291--353,
302(1)417--430, 320(2)345--372, 320(2)373--394
-
satisfies, 307(1)31--46
-
satisfying, 277(1)105--117, 290(1)545--564
-
Sato, Masahiko, 272(1)223--245
-
Sato, Masahiko, see Kameyama, Yukiyoshi
-
Sato, Masako, 298(1)89--110
-
Sato, Masako, see Mukouchi, Yasuhito
-
Sattar, A., 268(2)179--198
-
Sattar, A., see Rao, M. R. K. Krishna
-
saturated, 309(1)125--156
-
Sauerhoff, Martin, 301(1)45--78
-
Sauerhoff:2003:ABF, 301(1)45--78
-
Saunders, Shane, 293(3)535--556
-
Saunders:2003:ISP, 293(3)535--556
-
Savage, John E., 255(1)423--436
-
Savage, John E., see Fischer, Paul F.
-
Savický, P., 238(1)347--362, 238(1)495--498
-
Savicky:2000:DTL, 238(1)495--498
-
Savicky:2000:ROL, 238(1)347--362
-
Sawada, J., 307(2)303--317
-
Sawada, J., see Chandran, L. S.
-
Sawada, Joe, 301(1)321--340, 301(1)477--489
-
Sawada, Joe, see Ellis, John
-
Sawada:2003:FAG, 301(1)477--489
-
say, 315(2)469--510
-
SC-hyperdecidability, 255(1)569--591
-
Scalar, 296(3)405--434
-
scale, large-, 292(2)431--446
-
scale, multi-, 325(1)3--24
-
scale-sensitive, 261(1)81--90
-
scaling, 310(1)181--231
-
scans, 255(1)423--436
-
Scarabotti, Fabio, 307(1)93--102
-
Scarabotti, Fabio, see Ceccherini-Silberstein, Tullio
-
Scarcello, Francesco, 270(1)761--777
-
Scarcello, Francesco, see Gottlob, Georg
-
scattered, 237(1)423--427, 245(1)115--133, 246(1)279--284
-
SCCS, 294(1)151--181
-
Scedrov, Andre, 294(3)333--333, 294(3)525--549
-
Scedrov, Andre, see Girard, Jean-Yves,
see Kanovich, Max I.
-
scenarios, 287(1)131--144
-
Schachte, Peter, 293(3)557--577
-
Schachte:2003:PGI, 293(3)557--577
-
Schächter, Vincent, 325(1)25--44,
see Chabrier-Rivier, Nathalie
-
Schädlich, Frank, 329(1)1--45, see Coja-Oghlan, Amin
-
Schaefer, Marcus, 262(1)241--256
-
Schaefer, Marcus, see Fenner, Stephen
-
Schaeffer, Gilles, 292(1)165--183, 307(2)385--401
-
Schaeffer, Gilles, see Cori, Robert,
see Poulalhon, Dominique
-
Schaeffer, Jonathan, 252(1)151--175
-
Schaeffer, Jonathan, see Junghanns, Andreas
-
Schäfer, Guido, 326(1)431--442, see Leonardi, Stefano
-
Schalk, Andrea, 254(1)35--61, 294(1)183--231, 315(1)83--107
-
Schalk, Andrea, see Hyland, Martin,
see Ingólfsdóttir, Anna
-
Schalk:2004:PVS, 315(1)83--107
-
Schaps, Mary, 314(1)173--187
-
Schaps, Mary, see Amir, Amihood
-
Schaub, T., 238(1)489--494
-
Schaub, T., see Besnard, Ph.
-
schedulability, 310(1)117--134
-
schedulers, 298(2)347--363
-
schedules, 289(1)473--484, 298(2)317--324
-
scheduling, 235(1)109--141, 246(1)239--252, 253(1)119--152,
255(1)33--50, 262(1)437--458, 268(1)67--90, 268(1)133--143,
285(1)101--117, 287(2)429--448, 290(3)1883--1895, 292(1)145--164,
292(3)639--652, 295(1)251--261, 299(1)439--450, 302(1)239--256,
302(1)489--495, 306(1)319--338, 310(1)527--537, 312(2)267--280,
313(1)119--132, 320(2)199--212, 324(2)147--160, 324(2)201--218,
324(2)325--335, 325(3)467--478, 325(3)479--488
-
Schellekens, M. P., 278(1)159--194, 305(1)409--432, 315(1)135--149
-
Schellekens, M. P., see Künzi, H. P.
-
Schellekens:2003:CPM, 305(1)409--432
-
Schellekens:2004:CBP, 315(1)135--149
-
Schellinx, Harold, 294(3)353--378
-
Schellinx, Harold, see Danos, Vincent
-
Schéma, 246(1)151--194
-
schemas, 290(1)831--862
-
scheme, 237(1)105--122, 240(2)487--494, 261(1)179--209, 306(1)543--551,
322(1)17--39, 325(2)329--344
-
schemes, 238(1)1--29, 240(2)471--485, 245(2)255--280, 254(1)543--556,
270(1)341--359, 275(1)283--310, 276(1)315--354, 283(1)243--268,
296(3)511--534, 314(3)351--374, 320(2)269--291, 324(2)147--160,
326(1)103--116
-
Schettini, Andrea, Maggiolo-, 290(1)465--498, 309(1)503--527
-
Schiper, André, 254(1)297--316, 291(1)79--101,
see Guerraoui, Rachid,
see Pedone, Fernando
-
Schlechta, Karl, 266(1)819--838
-
Schlechta:2001:EUM, 266(1)819--838
-
Schmidt, David A., 278(1)111--140
-
Schmidt, David A., see Fiech, Adrian
-
Schmitt, Lothar M., 259(1)1--61, 310(1)181--231
-
Schmitt, Matthias, 313(3)377--392
-
Schmitt, Matthias, see Fekete, Sándor P.
-
Schmitt:2001:TGA, 259(1)1--61
-
Schmitt:2004:TGA, 310(1)181--231
-
Schneider, Karl-Michael, 293(2)365--389
-
Schneider:2003:TPA, 293(2)365--389
-
Schnitger, Juraj Hromkovi{\v{c}}and Georg, 262(1)1--24
-
Schnitger:2001:PVI, 262(1)1--24
-
Schnoebelen, Ph, 256(1)63--92, 274(1)89--115, 297(1)297--315
-
Schnoebelen, Ph., see Finkel, A.,
see Laroussinie, F., \see{Lugiez, D.
-
Schobbens, P.-Y., 274(1)151--182
-
Schobbens:2002:ART, 274(1)151--182
-
Schöning, Uwe, 289(1)69--83, see Dantsin, Evgeny
-
Schoofs, L., 287(1)167--185
-
Schoofs, L., see Naudts, B.
-
Schost, Éric, 329(1)223--235, see Bostan, Alin
-
Schott, René, 324(1)107--131
-
Schott:2004:TOP, 324(1)107--131
-
Schröder, 255(1)345--361, 307(2)327--335
-
Schröder, Matthias, 284(2)519--538
-
Schröder, Tobias, 260(1)71--86, 308(1)131--143,
see Gumm, H. Peter
-
Schroder:2002:EA, 284(2)519--538
-
Schuierer, Sven, 261(2)267--295, 310(1)527--537
-
Schuierer, Sven, see López-Ortiz, Alejandro
-
Schultz, Ulrik P., 248(1)243--287
-
Schultz, Ulrik P., see Danvy, Olivier
-
Schulz, Klaus U., 266(1)113--157
-
Schulz:2001:CCS, 266(1)113--157
-
Schürmann, Carsten, 266(1)1--57
-
Schurmann:2001:PRH, 266(1)1--57
-
Schuster, Peter M., 305(1)433--455
-
Schuster:2003:UEA, 305(1)433--455
-
Schuurman, Petra, 237(1)105--122
-
Schuurman:2000:PTA, 237(1)105--122
-
Schwabe, Eric J., 325(3)391--407
-
Schwabe:2004:EDM, 325(3)391--407
-
Schwartz, Fernando, 304(1)485--497
-
Schwartz, Fernando, see Dartnell, Pablo
-
Schwefel, Hans-Paul, 287(1)101--130
-
Schwefel, Hans-Paul, see Beyer, Hans-Georg
-
Schwentick, Thomas, 275(1)633--674
-
Schwentick, Thomas, see Neven, Frank
-
Schwichtenberg, Helmut, 318(1)3--27
-
Schwichtenberg, Helmut, see Aehlig, Klaus
-
Schwoon, Stefan, 313(3)447--462
-
Schwoon, Stefan, see Holzer, Markus
-
Sci, 234(1)323--323, 234(1)325--326, 254(1)691--694, 255(1)697--697,
266(1)997--998, 299(1)795--795, 302(1)497--498, 311(1)527--527,
347(1)437--440, 352(1)347--348, 377(1)282--283, 817(z)81--82
-
science, 257(1)85--105, 286(2)323--366, 322(1)175--179
-
scientific, 281(1)3--23, 315(2)405--417
-
scientifique, 281(1)3--23
-
Sciortino, M., 273(1)99--117
-
Sciortino, M., see Mignosi, F.
-
Scollo, G., 293(2)237--241
-
Scollo, G., see Nijholt, A.
-
scopes, 275(1)215--258
-
score, SP-, 259(1)63--79
-
scoring, 239(2)309--338
-
Scott, D. S. Dana S., 315(1)35--59
-
Scott, D. S. Dana S., see Bauer, Andrej
-
Scott, P. J., 318(1)121--137
-
Scott, P. J., see Hofmann, M.
-
Scott, Sandy, 306(1)431--447
-
Scott, Sandy, see Halldórsson, Magnús M.
-
Scozzari, Francesca, 277(1)149--184
-
Scozzari:2002:LOG, 277(1)149--184
-
Scutellà, A., 240(1)3--47, see Bonsangue, M. M.
-
search, 232(1)55--90, 232(1)133--163, 232(1)187--229, 232(1)299--333,
249(2)243--263, 250(1)201--217, 252(1)83--104, 252(1)121--149,
252(1)151--175, 252(1)177--196, 252(1)217--256, 261(2)267--295,
270(1)309--324, 270(1)877--893, 270(1)913--919, 276(1)435--444,
287(1)131--144, 289(1)69--83, 289(1)629--647, 289(1)649--703,
297(1)425--445, 310(1)135--146, 313(3)499--509, 313(3)511--525,
324(2)253--271, 329(1)47--70, 329(1)303--313
-
search, -, 289(1)629--647
-
search, Proof-, 232(1)5--53
-
searching, 240(2)429--446, 262(1)569--582, 270(1)71--109,
282(2)285--302, 285(1)73--88, 287(2)571--584, 299(1)273--288,
310(1)527--537, 320(1)3--13, 321(1)41--57
-
second, 244(1)205--217
-
second-order, 237(1)1--32, 244(1)63--94, 275(1)311--346, 281(1)177--206,
299(1)1--36, 308(1)227--237, 309(1)469--502, 325(2)329--344
-
secondary, 306(1)471--484
-
Secrecy, 298(3)387--415
-
secret, 240(2)471--485, 295(1)123--140, 314(3)351--374
-
Secret-sharing, 246(1)285--298
-
section, 301(1)79--101
-
secure, 243(1)363--389, 287(2)535--561, 320(2)269--291
-
security, 290(1)1057--1106
-
Seda, Anthony Karel, 305(1)187--219
-
Seda, Anthony Karel, see Hitzler, Pascal
-
See, 47(2)149--158, 127(1)181--186, 155(2)447--457, 202(1)1--54,
212(1)261--303, 231(1)59--74, 234(1)323--323, 234(1)325--326,
254(1)691--694, 255(1)697--697, 266(1)997--998, 272(1)41--68,
289(1)457--471, 295(1)279--294, 298(1)179--206, 299(1)795--795,
300(1)91--160, 302(1)497--498, 311(1)527--527, 327(3)241--253,
347(1)437--440, 352(1)347--348, 377(1)282--283, 817(z)81--82
-
Séébold, Patrice, 292(1)1--1, 292(1)283--298, 307(1)179--197
-
Seebold:2003:F, 292(1)1--1
-
Seebold:2003:LFP, 307(1)179--197
-
Seebold:2003:SGT, 292(1)283--298
-
seen, 329(1)315--323
-
Segala, Roberto, 282(1)101--150
-
Segala, Roberto, see Kwiatkowska, Marta
-
segmenting, 262(1)257--267
-
Seibert, Sebastian, 285(1)3--24, 285(1)89--99, 326(1)137--153
-
Seibert, Sebastian, see Böckenhauer, Hans-Joachim
-
Seibert:2002:HPS, 285(1)89--99
-
Seiden, Steve, 282(2)381--395, 324(2)201--218, 324(2)219--251
-
Seiden, Steve, see Feder, Tomás,
see Fleischer, Rudolf
-
Seiden, Steven, 324(2)147--160
-
Seiden, Steven, see Augustine, John E.
-
Seiden, Steven S., 262(1)437--458, 268(1)133--143, 324(2)183--200
-
Seiden, Steven S., see Mendel, M.,
see Noga, John
-
Seiden:2001:PMS, 262(1)437--458
-
Seiden:2002:MCM, 282(2)381--395
-
Sekar, R. C., 254(1)187--223
-
Sekar, R. C., see Ramesh, R.
-
Seki, S., 246(1)131--150
-
Seki, S., see Nishida, T. Y.
-
Seldin, Jonathan P., 243(1)199--215
-
Seldin:2000:GSS, 243(1)199--215
-
selected, 240(2)299--318
-
selection, 301(1)119--142
-
selective, 155(2)447--457, 234(1)323--323
-
selective, -, 155(2)447--457
-
selective, P-, 155(2)447--457
-
self-avoiding, 304(1)129--156
-
self-dual, 235(2)283--308, 263(1)311--332
-
self-reducibility, 302(1)457--466
-
self-reduction, 235(1)171--181
-
self-reductions, random-, 268(2)199--219
-
Self-stabilization, 235(1)143--144, 293(1)219--236
-
Self-stabilizing, 266(1)653--692, 308(1)449--515
-
Selinger, Peter, 309(1)43--63
-
Selinger:2003:OIF, 309(1)43--63
-
Selman, Alan L., 234(1)273--286
-
Selman, Alan L., see Pavan, A.
-
Selman, B., 265(1)1--1
-
Selman, B., see Dubois, O.
-
Selmi, Carla, 255(1)151--162, 273(1)185--196
-
Selmi, Carla, see Néraud, Jean
-
semantic, 234(1)309--321, 238(1)275--311, 240(1)3--47, 240(1)49--90,
243(1)409--447, 247(1)257--276, 254(1)501--542, 254(1)557--589,
258(1)1--98, 258(1)523--553, 260(1)3--25, 266(1)237--248,
266(1)489--512, 269(1)47--82, 269(1)231--282, 275(1)259--282,
275(1)521--560, 277(1)47--103, 278(1)25--51, 278(1)53--89,
281(1)369--421, 281(1)471--498, 286(1)33--63, 286(2)293--322,
290(1)465--498, 290(1)531--544, 290(1)975--1019, 291(3)329--349,
294(1)151--181, 294(1)307--331, 294(3)335--351, 294(3)439--471,
294(3)525--549, 308(1)429--447, 309(1)65--109, 309(1)469--502,
315(1)1--2, 315(1)209--256, 315(1)257--305, 316(1)191--213,
318(1)29--55, 318(3)409--433, 323(1)129--189, 327(1)135--154
-
Semenov, A., 304(1)1--33
-
Semenov, A., see Muchnik, An.
-
Semi-clairvoyant, 324(2)325--335
-
semi-complete, 258(1)435--451
-
semi-continuous, 234(1)109--133
-
Semi-definite, 235(1)25--42
-
Semi-dynamic, 250(1)201--217
-
semi-lattice, 271(1)69--95
-
semi-Markov, 282(1)5--32
-
semidecision, 155(2)447--457
-
semigroup, 245(1)135--148, 250(1)365--391, 257(1)107--114, 262(1)25--36,
297(1)271--280, 302(1)295--317, 324(1)87--105
-
semilattices, 316(1)75--87
-
semilinear, 312(2)379--399
-
Seminar, 313(3)539--543
-
seminorms, 284(2)259--267
-
Semiperiodic, 292(1)111--130
-
Semiretracts, 307(1)117--127
-
semiring, 255(1)611--614, 262(1)161--189, 298(3)417--469,
318(3)355--372, 324(1)3--33
-
semivaluations, 315(1)135--149
-
Sendra, J. R. J. Rafael, 315(2)627--650
-
Sendra, J. R. J. Rafael, see Pérez-Díaz, Sonia
-
Sendra, Juana, 315(2)627--650
-
Sendra, Juana, see Pérez-Díaz, Sonia
-
Senellart, Jean, 237(1)239--262
-
Senellart:2000:FPM, 237(1)239--262
-
Sengupta, Rimli, 237(1)197--212
-
Sengupta:2000:NCB, 237(1)197--212
-
Sénizergues, Géraud, 231(2)309--334, 251(1)1--166,
281(1)555--608
-
Senizergues:2000:CFS, 231(2)309--334
-
Senizergues:2001:DRC, 251(1)1--166
-
Senizergues:2002:BSD, 281(1)555--608
-
sense, 291(1)29--53, 301(1)355--379
-
sense, Wide-, 314(3)375--386
-
sense, wide-, 261(2)323--328
-
sensitive, 290(1)117--160
-
sensitive, scale-, 261(1)81--90
-
sensitivity, 248(1)3--27, 301(1)341--354
-
sensitivity, Growth-, 307(1)103--116
-
separable, 290(1)599--635
-
separable, max-, 293(1)45--54
-
separable, non-, 233(1)201--215
-
separate, 248(1)99--145, 313(2)209--228
-
separating, 231(1)47--57, 318(1)57--78
-
separation, 274(1)231--276, 284(1)25--51, 297(1)367--384,
302(1)239--256, 313(2)229--265
-
separator, 237(1)57--79
-
sequence, 244(1)267--270, 244(1)271--281, 259(1)63--79, 259(1)379--403,
259(1)679--688, 271(1)47--58, 289(1)105--136, 292(1)263--281,
293(1)189--217, 296(1)117--144, 296(1)179--192, 301(1)285--312,
304(1)1--33, 304(1)59--86, 304(1)365--385, 307(1)3--29,
309(1)529--554, 312(2)337--358, 321(1)95--101, 325(3)361--372,
326(1)213--227, 326(1)409--418, 329(1)251--269
-
sequent, 243(1)199--215, 294(3)411--437
-
sequentiability, 313(1)105--117
-
sequential, 234(1)177--201, 242(1)71--89, 254(1)1--33, 267(1)141--155,
276(1)377--405, 295(1)41--64, 314(1)287--292, 314(3)459--466
-
sequentiality, 292(1)45--63, 327(3)349--373
-
{\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}, Traian-Florin, 310(1)233--246
-
Serbanuta:2004:EPM, 310(1)233--246
-
Sere, Kaisa, 240(1)91--115, 290(1)937--973
-
Sere, Kaisa, see Hedman, Eric J.,
see Rönkkö, Mauno
-
Serena, David, 326(1)155--185
-
Serena, David, see Gonzalez, Teofilo F.
-
serial, 247(1)39--81, 279(1)3--27
-
series, 244(1)117--134, 269(1)469--498, 289(1)205--223, 292(2)431--446,
293(1)115--139, 295(1)65--83, 308(1)1--53, 314(3)387--429
-
series--parallel, 304(1)237--247
-
Series-parallel, 237(1)347--380
-
Serna, M. J., 307(3)531--547
-
Serna, M. J., see Díaz, J.
-
Serna, Maria, 259(1)217--231, 281(1)291--309, 292(3)639--652
-
Serna, Maria, see Díaz, Josep,
see Jung, Hermann
-
Serna:2001:PAS, 259(1)217--231
-
Sernadas, A., 308(1)393--427
-
Sernadas, A., see Mateus, P.
-
Sernadas, C., 308(1)393--427
-
Sernadas, C., see Mateus, P.
-
Serre, Olivier, 310(1)79--116
-
Serre:2004:VLL, 310(1)79--116
-
server, 268(1)145--160, 289(1)335--354, 306(1)305--317, 324(2)289--312,
324(2)337--345, 324(2)347--359
-
server, single-, 268(1)91--105
-
service, 282(2)303--318, 328(1)19--37
-
ses, 246(1)151--194
-
Sessa, Maria I., 238(1)221--246, 275(1)389--426
-
Sessa, Maria I., see Pacini, Giuliano
-
Sessa:2002:ARS, 275(1)389--426
-
sessions, 299(1)451--475
-
set, 155(2)447--457, 231(1)47--57, 231(1)75--87, 231(2)253--273,
232(1)187--229, 233(1)33--50, 233(1)107--127, 234(1)323--323,
240(2)257--269, 246(1)107--116, 248(1)29--98, 257(1)85--105,
266(1)951--974, 270(1)561--590, 273(1)69--79, 273(1)143--165,
273(1)185--196, 281(1)351--367, 283(1)223--242, 284(2)279--318,
287(2)501--514, 289(1)105--136, 289(1)705--725, 289(1)871--876,
289(2)953--962, 292(1)221--235, 296(1)15--25, 296(3)435--452,
299(1)1--36, 299(1)327--346, 302(1)457--466, 302(1)467--474,
303(2)491--516, 304(1)35--57, 305(1)221--235, 306(1)85--100,
306(1)177--194, 309(1)413--468, 310(1)287--307, 312(2)379--399,
312(2)401--431, 315(1)83--107, 321(1)41--57, 322(2)409--422,
325(2)171--214, 326(1)57--67, 329(1)325--330
-
set, point-, 305(1)473--489
-
set-pairing, 322(1)147--173
-
Set-sharing, 277(1)3--46
-
setting, 296(1)27--46
-
Settle, Amber, 276(1)83--109, 320(2)213--228
-
Settle, Amber, see Berthiaume, A. André
-
Settle:2002:SSF, 276(1)83--109
-
Seventeen, 321(2)415--421
-
Severi, Paula, 298(2)275--302
-
Severi, Paula, see Dezani-Ciancaglini, Mariangiola
-
Sewell, Peter, 274(1)183--230
-
Sewell:2002:RRB, 274(1)183--230
-
Seynhaeve, Franck, 258(1)453--490
-
Seynhaeve:2001:GSU, 258(1)453--490
-
Sgall, Ji í, 287(2)387--391, 287(2)419--428,
see Anderson, Eric, \see{Azar, Yossi
-
Sgall, Ji{\v{r}}{\'\i}, 238(1)495--498, 259(1)663--670, 295(1)1--1,
313(3)473--484, 324(2)289--312, see Chrobak, Marek,
see Král', Daniel,
see Savický, P.
-
Sgall:2001:SDG, 259(1)663--670
-
Sgall:2003:F, 295(1)1--1
-
Sgarbas, Kyriakos N., 301(1)103--117
-
Sgarbas:2003:OID, 301(1)103--117
-
Shachnai, Hadas, 282(2)303--318, 321(1)103--123
-
Shachnai, Hadas, see Itai, Alon
-
Shachnai:2004:TBO, 321(1)103--123
-
shadows, 307(3)493--502
-
Shagrir, Oron, 317(1)105--114
-
Shagrir:2004:STA, 317(1)105--114
-
Shahar, E., 256(1)93--112
-
Shahar, E., see Kesten, Y.
-
Shahbazyan, K., 322(1)181--201
-
Shahbazyan:2004:ELA, 322(1)181--201
-
Shahrokhi, Farhad, 245(2)281--294
-
Shahrokhi:2000:NLB, 245(2)281--294
-
Shallit, Jeffrey, 270(1)659--675, 295(1)107--121, 307(1)3--29
-
Shallit, Jeffrey, see Allouche, Jean-Paul,
see Cautis, Sabin
-
Shallit:2002:TSI, 270(1)659--675
-
Shamir, Eli, 284(1)25--51
-
Shamir, Eli, see Fine, Shai
-
Shan, Erfang, 296(1)89--98
-
Shan, Erfang, see Kang, Liying
-
Shankar, Priti, 242(1)125--142
-
Shankar:2000:NAL, 242(1)125--142
-
shape, 304(1)315--339
-
shaped, well-, 296(1)145--165
-
Shapiro, Ehud, 325(1)141--167
-
Shapiro, Ehud, see Regev, Aviv
-
Shapiro, Louis W., 307(2)403--413
-
Shapiro:2003:BRG, 307(2)403--413
-
shared, 298(3)529--556, 324(2)161--182
-
sharing, 240(2)471--485, 255(1)449--481, 278(1)195--221, 294(3)379--409,
295(1)123--140, 304(1)215--236, 314(3)351--374, 326(1)431--442
-
sharing, pair-, 277(1)3--46
-
sharing, Secret-, 246(1)285--298
-
sharing, Set-, 277(1)3--46
-
Sharma, Arun, 261(1)31--56, 268(2)323--349, 284(1)143--160,
288(2)195--196, 298(2)365--383
-
Sharma, Arun, see Case, John,
see Jain, Sanjay, \see{Martin, Eric,
see Watanabe, Osamu
-
sharpened, 326(1)137--153
-
Shasha, Zhang-, 306(1)471--484
-
Shavit, Nir, 269(1)163--201
-
Shavit, Nir, see Riany, Yaron
-
Sheard, Tim, 248(1)211--242
-
Sheard, Tim, see Taha, Walid
-
Shekhar, Shashi, 258(1)555--571
-
Shekhar:2001:OPD, 258(1)555--571
-
Shelah, Saharon, 230(1)117--129
-
Shelah, Saharon, see Baldwin, John T.
-
shelf, 279(1)3--27
-
shellability, Tree-, 262(1)633--647
-
shelling, 263(1)9--16
-
Shen, A., 271(1)111--123
-
Shen, A., see Romashchenko, A.
-
Shen, Alexander, 271(1)47--58, 271(1)69--95, 271(1)125--129
-
Shen, Alexander, see Chernov, Alexei,
see Durand, Bruno
-
Shen, Yi-Dong, 266(1)441--461, 328(3)271--287
-
Shen:2001:LCL, 266(1)441--461
-
Shen:2002:LOK, 271(1)125--129
-
Shen:2004:EGS, 328(3)271--287
-
Sheng, Li, 304(1)201--214
-
Sheng:2003:RAT, 304(1)201--214
-
Shenker, Scott, 304(1)215--236
-
Shenker, Scott, see Feigenbaum, Joan
-
shepherds, 282(2)223--229
-
Shibata, Yusuke, 298(1)253--272
-
Shibata, Yusuke, see Kida, Takuya
-
shifting, 282(2)353--380
-
shifts, 259(1)199--216, 262(1)349--375, 270(1)935--946, 299(1)477--493,
321(2)395--404
-
Shii, Ken-ichiro, 272(1)177--195
-
Shii, Ken-ichiro, see Hayashi, Susumu
-
Shikishima-Tsuji, Kayoko, 262(1)583--632
-
Shikishima-Tsuji, Kayoko, see Kobayashi, Yuji
-
Shin, Chan-Su, 296(1)47--58
-
Shin, Chan-Su, see Cheong, Otfried
-
Shinohara, Ayumi, 292(2)377--385, 292(2)465--479, 298(1)253--272,
328(1)97--111
-
Shinohara, Ayumi, see Hayashi, Yosuke,
see Hirao, Masahiro, \see{Kida, Takuya,
see Miyamoto, Satoru
-
Shinohara, Takeshi, 241(1)191--209, 298(1)1--4
-
Shinohara:2000:IIU, 241(1)191--209
-
Shinohara:2003:F, 298(1)1--4
-
Shmatikov, Vitaly, 283(2)419--450
-
Shmatikov:2002:FSA, 283(2)419--450
-
shogi, 252(1)105--119
-
shop, 237(1)105--122, 285(1)101--117
-
short, 244(1)267--270, 289(1)473--484, 289(1)845--852
-
shortest, 234(1)85--107, 255(1)641--648, 263(1)113--121, 293(3)535--556,
296(1)167--177, 297(1)83--102, 312(1)47--74, 315(2)371--404,
326(1)155--185
-
shortest-path, 289(1)85--104
-
Shoukourian, Yu, 322(1)181--201
-
Shoukourian, Yu., see Shahbazyan, K.
-
should, 270(1)895--911
-
show, 279(1)3--27, 315(2)419--452
-
showing, 315(2)405--417
-
Shparlinski, Igor, 233(1)309--317
-
Shparlinski, Igor, see Karpinski, Marek
-
Shragowitz, Eugene, 262(1)257--267
-
Shragowitz, Eugene, see Lu, Bing
-
shrinking, 237(1)149--158
-
shuffle, 245(1)115--133, 250(1)31--53, 273(1)47--67, 273(1)271--282,
312(2)433--461
-
shuffling, domino-, 303(2)267--301
-
Shum, K. P., 306(1)123--137
-
Shum, K. P., see Zhang, Liang
-
side, 237(1)423--427, 329(1)315--323
-
sided, one-, 304(1)485--497
-
sided, two-, 270(1)659--675
-
Siegel, Anne, 319(1)145--176
-
Siegel, Anne, see Arnoux, Pierre
-
Siegelmann, H. T. Hava T., 320(2)449--464
-
Siegelmann, H. T. Hava T., see Ben-Hur, Asa
-
signed, 259(1)513--531, 301(1)381--397
-
significant, 276(1)133--146, 315(2)405--417
-
signing, 283(2)419--450
-
signs, 303(2)409--416
-
Sikorski, Rasiowa-, 286(2)323--366
-
Silberstein, Tullio, Ceccherini-, 307(1)93--102, 307(1)103--116
-
Silberztein, Max, 231(1)33--46
-
Silberztein:2000:IFT, 231(1)33--46
-
Silva e Silva, Paulo, 318(3)373--408
-
Silva e Silva, Paulo, see Broda, Sabine
-
Silva, Paulo, Silva e, 318(3)373--408
-
Silva, Manuel, 254(1)1--33
-
Silva, Manuel, see Recalde, Laura
-
Silva, Pedro V., 255(1)569--591, 289(1)727--754, 289(1)755--782,
292(1)245--262, 307(1)199--215
-
Silva, Pedro V., see Almeida, Jorge,
see Mignosi, Filippo,
see Restivo, Antonio
-
Silva:2002:ESA, 289(1)727--754
-
Silva:2003:HPT, 307(1)199--215
-
Silverman, Joseph H., 235(1)163--170
-
Silverman, William, 325(1)141--167
-
Silverman, William, see Regev, Aviv
-
Silverman:2000:DIP, 235(1)163--170
-
Silvestri, Riccardo, 262(1)501--523, 299(1)751--761, 302(1)337--364
-
Silvestri, Riccardo, see Borchert, Bernd,
see Clementi, Andrea E. F.
-
Sim, Jeong Seop, 262(1)557--568
-
Sim-like, 289(1)829--843
-
Sim:2001:APS, 262(1)557--568
-
{\v{S}}{\'\i}ma, Ji{\v{r}}{\'\i}, 306(1)353--372
-
Sima:2003:ETC, 306(1)353--372
-
Simanovskis, Raimonds, 268(2)367--393
-
Simanovskis, Raimonds, see Aps{\=\i}tis, Kalvis
-
Simari, G. R. Guillermo Ricardo, 290(1)499--529
-
Simari, G. R. Guillermo Ricardo,
see Chesñevar, Carlos Iván
-
Simeone, Bruno, 282(2)353--380
-
Simeone, Bruno, see Becker, Ronald
-
Simeoni, M., 325(1)45--67
-
Simeoni, M., see Antoniotti, M.
-
Simi, G., 319(1)447--454
-
Simi, G., see Frosini, A.
-
Simi, Giulia, 299(1)37--63
-
Simi, Giulia, see Magnoni, Letizia
-
similar, 315(2)469--510
-
similarity, 276(1)111--132, 293(2)345--363, 312(2)337--358
-
similarity-based, 275(1)389--426
-
Simon, Hans, 284(1)1--2
-
Simon, Hans, see Fischer, Paul
-
Simon, Hans U., 240(2)471--485
-
Simon, Hans U., see Hofmeister, Thomas
-
Simon, Hans-Ulrich, 288(2)197--215
-
Simon, Hans-Ulrich, see Balcázar, José L.
-
Simon, Janos, 237(1)429--437, 276(1)83--109, 320(2)213--228
-
Simon, Janos, see Berthiaume, A. André,
see Settle, Amber
-
Simon:2000:BCA, 237(1)429--437
-
Simone, 239(1)97--139
-
Simone, Robert de, 274(1)1--1
-
Simone, Robert de, see Sangiorgi, Davide
-
Simonot, Marianne, 254(1)63--94
-
Simonot, Marianne, see Monin, François
-
simple, 238(1)477--482, 243(1)217--241, 263(1)99--111, 263(1)113--121,
266(1)935--950, 270(1)843--856, 271(1)69--95, 276(1)417--424,
289(1)425--456, 292(2)481--495, 298(1)179--206, 306(1)269--289,
308(1)227--237, 310(1)365--378, 314(3)303--334, 329(1)203--221,
377(1)282--283
-
simpler, 295(1)189--203
-
Simplification, 239(1)165--185
-
simplified, 281(1)555--608, 321(1)5--12
-
simplify, 315(2)469--510
-
Simplot, D., 233(1)51--74
-
Simplot, D., see Robilliard, D.
-
simply, 305(1)221--235
-
Simpson, Alex, 294(1)31--60
-
Simpson, Alex, see Bucalo, Anna
-
Simpson, Jamie, 301(1)321--340
-
Simpson, Jamie, see Ellis, John
-
simulation, 238(1)275--311, 242(1)219--235, 245(1)3--25, 246(1)117--129,
254(1)363--377, 255(1)555--568, 263(1)231--234, 282(1)33--51,
304(1)103--128, 304(1)185--200, 309(1)157--176, 327(1)71--108
-
simultaneous, 243(1)167--184, 284(2)397--417
-
Singhal, Mukesh, 290(2)1127--1148
-
Singhal, Mukesh, see Cao, Guohong
-
single, 241(1)25--35, 315(2)469--510, 320(2)199--212
-
single-machine, 299(1)439--450
-
single-server, 268(1)91--105
-
Sinha, Rakesh K., 296(3)511--534
-
Sinha:2003:AOD, 296(3)511--534
-
Siniolakis, Constantinos J., 301(1)119--142
-
Siniolakis, Constantinos J.,
see Gerbessiotis, Alexandros V.
-
Sipma, Henny B., 253(1)27--60
-
Sipma, Henny B., see Bj{\o}rner, Nikolaj S.
-
Sistla, A. Prasad, 258(1)491--522
-
Sistla, A. Prasad, see Emerson, E. Allen
-
Sittampalam, Ganesh, 269(1)135--162
-
Sittampalam, Ganesh, see Moor, Oege de
-
Sivakumar, D., 240(2)257--269, 255(1)641--648
-
Sivakumar, D., see Cai, Jin-Yi,
see Kumar, S. Ravi
-
size, 242(1)59--69, 255(1)615--625, 295(1)371--386, 307(3)549--565,
315(2)469--510, 320(1)123--134, 320(2)495--503, 325(2)273--284,
327(3)319--347
-
size, stack-, 270(1)441--461
-
size-increasing, non-, 318(1)3--27
-
skeleton, Onbeta-, 262(1)459--471
-
sketch, 246(1)151--194
-
skew, 315(2)371--404
-
skewsymmetric, 315(2)453--468
-
Skordev, G., 259(1)379--403
-
Skordev, G., see Barbé, A.
-
Slany, W., 313(3)427--446
-
Slany, W., see Harary, F.
-
Slany, Wolfgang, 289(1)829--843
-
Slany:2002:EPS, 289(1)829--843
-
{\v{S}}lapal, J., 305(1)457--471
-
Slapal:2003:COD, 305(1)457--471
-
SLD, 275(1)389--426
-
SLD-derivations, 238(1)221--246
-
slender, 233(1)279--286, 255(1)667--677
-
sliding, 321(2)405--414
-
Slissenko, 303(1)3--5
-
Slissenko, A., 315(2)371--404
-
Slissenko, A., see Burago, D.
-
Slissenko, Anatol, 275(1)347--388
-
Slissenko, Anatol, see Beauquier, Danièle
-
SLS-resolution, 328(3)271--287
-
Slutzki, Giora, 270(1)591--608
-
Slutzki, Giora, see Bergman, Clifford
-
small, 233(1)129--145, 250(1)55--69, 287(1)239--249, 297(1)487--507,
307(3)549--565, 315(2)405--417, 326(1)45--56
-
smaller, 276(1)83--109, 315(2)469--510
-
smallest, 289(1)853--859
-
smartest, 324(2)361--380
-
Smith, Andrew D., 306(1)407--430
-
Smith, Andrew D., see Evans, Patricia A.
-
Smith, Barbara M., 265(1)265--283
-
Smith, Carl, 284(1)1--2
-
Smith, Carl, see Fischer, Paul
-
Smith, Carl H., 261(1)91--117, 298(1)1--4
-
Smith, Carl H., see Ambainis, Andris,
see Shinohara, Takeshi
-
Smith, Martin C., 252(1)105--119
-
Smith, Martin C., see Beal, Donald F.
-
Smith:2001:CAP, 265(1)265--283
-
Smolin, John A., 292(3)589--596
-
Smolin, John A., see Horodecki, Pawel
-
smooth, 303(2)447--462
-
smooth-functions, 241(1)25--35
-
Smoothness, 292(2)431--446
-
Smotrovs, Juris, 268(2)367--393
-
Smotrovs, Juris, see Aps{\=\i}tis, Kalvis
-
Smyth, Michael B., 305(1)1--2
-
Smyth, Michael B., see Kopperman, Ralph
-
Smyth, W. F., 249(2)289--303, 249(2)343--355, 262(1)557--568
-
Smyth, W. F., see Fran{\v{e}}k, Franti{\v{s}}ek,
see Sim, Jeong Seop
-
Smyth:2000:RPC, 249(2)343--355
-
snapshot, 269(1)163--201
-
Snatzke, Raymond Georg, 313(3)499--509
-
Snatzke:2004:NRE, 313(3)499--509
-
Snir, Sagi, 243(1)217--241
-
Snir, Sagi, see Moran, Shlomo
-
snooping, 276(1)407--415
-
social, 320(1)71--87
-
sofic, 259(1)199--216, 262(1)349--375
-
Soft, 318(1)163--180
-
software, 248(1)201--210, 285(2)519--560
-
Sohn, M. Y. Moo Young, 320(2)485--494
-
Sohn, M. Y. Moo Young, see Kang, Liying
-
Sohoni, Milind, 290(1)221--239
-
Sohoni, Milind, see Mukund, Madhavan
-
Sokoban, 252(1)151--175
-
Sokolova, Ana, 327(1)3--22
-
Sokolova, Ana, see Bartels, Falk
-
Sokratova, O. V., 301(1)31--43
-
Sokratova, O. V., see Kelarev, A. V.
-
Sokratova, Olga, 255(1)611--614
-
Sokratova:2001:MLR, 255(1)611--614
-
solid, 262(1)333--347, 284(2)319--345
-
Solis-Oba, Roberto, 306(1)543--551
-
Solis-Oba, Roberto, see Jansen, Klaus
-
Solitaire, 313(3)325--338
-
solitaire, Peg-, 321(2)383--394
-
Solovay, 284(2)269--277
-
Soloviev, Sergei, 303(1)245--260
-
Soloviev:2003:CEG, 303(1)245--260
-
solution, 242(1)377--401, 242(1)403--475, 244(1)267--270,
252(1)121--149, 252(1)197--215, 259(1)129--143, 259(1)663--670,
276(1)83--109, 287(2)387--391, 287(2)473--499, 293(1)115--139,
297(1)399--424, 302(1)179--189, 305(1)433--455, 313(1)17--29,
314(3)303--334, 325(2)249--271, 328(1)187--201, 328(1)203--219
-
solvable, 301(1)79--101, 301(1)427--437
-
solve, 231(2)193--203, 237(1)407--421, 259(1)183--197, 315(2)593--625
-
solved, 320(2)175--185
-
solvers, 289(1)313--334
-
solving, 230(1)195--206, 285(1)101--117, 291(2)183--201, 315(2)335--369
-
Sommese, Andrew J., 315(2)651--669
-
Sommese:2004:NFM, 315(2)651--669
-
SONET, 276(1)33--50
-
Song, Fangmin, 235(1)171--181
-
Song, Xiaoyu, 300(1)161--179
-
Song, Xiaoyu, see Mohamed, Otmane Aït
-
Song:2000:SRL, 235(1)171--181
-
Sontag, Eduardo D., 262(1)161--189
-
Sontag, Eduardo D., see DasGupta, Bhaskar
-
S{\o}rensen, Morten Heine, 269(1)317--361,
see Barthe, Gilles
-
S{\o}rensen, Morten Heine B., 266(1)773--818,
see Barthe, Gilles
-
sorted, mono-, 308(1)227--237
-
sorting, 231(1)75--87, 255(1)649--658, 285(1)25--42, 289(1)51--67,
289(1)205--223, 289(1)517--529
-
SOS, 280(1)163--192
-
Sosík, Petr, 289(1)485--501, 301(1)187--200, 306(1)101--112,
see Salomaa, Arto
-
Sosik:2002:UCW, 289(1)485--501
-
Sosik:2003:WCD, 306(1)101--112
-
sound, 266(1)489--512, 323(1)443--471
-
soundness, 278(1)271--301, 309(1)177--193
-
source, 233(1)287--295, 235(2)325--337
-
Sourd, Francis, 292(1)145--164
-
Sourd, Francis, see Chrétienne, Philippe
-
SP-score, 259(1)63--79
-
Spaccamela, Alberto, Marchetti-, 259(1)287--305, 268(1)1--1,
287(2)429--448, 324(2)325--335
-
space, 237(1)327--345, 247(1)229--255, 259(1)99--128, 261(1)81--90,
270(1)287--308, 275(1)69--77, 277(1)105--117, 278(1)159--194,
284(2)347--372, 287(2)501--514, 289(1)629--647, 290(1)599--635,
292(1)185--197, 294(3)439--471, 295(1)171--187, 296(3)435--452,
300(1)235--258, 305(1)17--42, 305(1)43--76, 305(1)77--84,
305(1)111--134, 305(1)159--186, 305(1)277--297, 305(1)299--310,
315(1)35--59, 315(2)469--510, 316(1)105--111, 318(1)29--55,
319(1)83--101, 328(3)221--244
-
space, constant-, 299(1)763--774
-
space, Log-, 296(1)117--144
-
space, state-, 262(1)161--189
-
space-bounded, 259(1)475--492
-
space-efficient, 246(1)227--238, 321(1)25--40, 325(3)361--372
-
space-time, 246(1)117--129
-
spaces, T0-, 275(1)79--109
-
Spaink, H., 292(3)653--665
-
Spaink, H., see Rozenberg, G.
-
spanners, 310(1)329--354
-
spanning, 326(1)137--153
-
sparse, 240(2)257--269, 255(1)607--610, 266(1)887--934, 277(1)119--147,
297(1)367--384, 299(1)1--36, 307(3)549--565, 315(2)525--555
-
sparsification, 304(1)341--364
-
spatial, 254(1)423--463, 263(1)205--210, 284(2)207--240, 322(3)517--565
-
special, 259(1)145--182, 289(1)401--423, 302(1)35--44, 319(1)385--409
-
specialization, 248(1)201--210
-
specific, 279(1)3--27
-
specification, 236(1)35--132, 239(1)3--40, 247(1)141--190,
247(1)257--276, 258(1)1--98, 260(1)3--25, 280(1)69--103,
285(2)187--243, 285(2)359--405, 285(2)407--439, 286(2)153--196,
286(2)197--245, 286(2)367--475, 291(3)351--385, 293(2)447--475,
298(2)325--346, 328(1)19--37
-
specified, 275(1)347--388
-
specifying, 260(1)119--138, 280(1)35--68
-
spectra, 276(1)133--146, 320(1)71--87
-
spectral, 299(1)211--229, 320(2)155--174
-
spectrum, 307(3)549--565
-
speed, 243(1)307--338, 290(1)355--406
-
Speeding, 310(1)309--328
-
Spehner, Jean-Claude, 324(1)107--131
-
Spehner, Jean-Claude, see Schott, René
-
Spencer, Joel, 313(3)353--369
-
Spencer, Joel, see Dumitriu, Ioana
-
Sperner, 307(3)515--529
-
spernerity, 263(1)355--377
-
spherical, 306(1)269--289
-
Spielman, Daniel A., 261(2)253--266
-
Spielman, Daniel A., see Kiwi, Marcos
-
Spies, Klaus, Ambos-, 306(1)177--194
-
Spight, William L., 252(1)23--43
-
Spight:2001:ETM, 252(1)23--43
-
Spiking, 287(1)251--265
-
spin, 265(1)69--77
-
Spinrad, Jeremy, 296(3)405--434
-
Spinrad, Jeremy, see Arenas, Marcelo
-
Spirakis, P., 287(2)515--534
-
Spirakis, P., see Flajolet, P.
-
Spirakis, Paul, 291(1)1, 292(3)639--652
-
Spirakis, Paul, see Jung, Hermann,
see Kutten, Shay
-
splay, 314(3)459--466
-
splicing, 231(2)157--170, 231(2)275--296, 234(1)135--166, 264(1)3--23,
325(1)3--24
-
Split, 315(2)453--468
-
Splittable, 276(1)33--50
-
sporadic, 313(1)119--132
-
SPP, 320(2)495--503
-
Spreen, Dieter, 212(1)261--303, 262(1)473--499, 266(1)997--998,
305(1)1--2
-
Spreen, Dieter, see Kopperman, Ralph
-
Spreen:1999:FPL, 212(1)261--303, 266(1)997--998
-
Spreen:2001:CFP, 212(1)261--303, 266(1)997--998
-
Spreen:2001:RVN, 262(1)473--499
-
Spring, 240(2)379--405
-
Springintveld, Jan, 254(1)225--257
-
Springintveld:2001:TTA, 254(1)225--257
-
Sproston, Jeremy, 282(1)101--150
-
Sproston, Jeremy, see Kwiatkowska, Marta
-
Sprugnoli, Renzo, 242(1)109--124, 282(2)337--352, 285(1)73--88
-
Sprugnoli, Renzo, see Merlini, Donatella
-
Spruit, Paul, 254(1)591--661
-
Spruit:2001:RDU, 254(1)591--661
-
Spyratos, Nicolas, 308(1)429--447
-
Spyratos, Nicolas, see Loyer, Yann
-
SQL, 296(3)379--404
-
squad, 244(1)243--256, 259(1)129--143, 276(1)83--109, 314(3)303--334
-
square, 237(1)447--454, 315(2)405--417, 319(1)411--421, 320(2)465--483
-
Squaring, 292(1)45--63
-
Srba, Ji{\v{r}}{\'\i}, 266(1)605--630
-
Srba:2001:BPA, 266(1)605--630
-
\'Sr\=\i, 281(1)609--628
-
Srinivasan, A., 240(2)447--469
-
Srinivasan, A., see Poulakidas, A. S.
-
Srinivasan, Aravind, 304(1)477--484
-
Srinivasan, Aravind, see Gasarch, William
-
Sritharan, R., 259(1)233--244
-
Sritharan, R., see Hoàng, Chính T.
-
Srivastava, Jaideep, 266(1)365--405
-
Srivastava, Jaideep, see Wijesekera, Duminda
-
st-connectivity, 237(1)327--345
-
stabbing, 246(1)53--72
-
stability, 255(1)687--696, 285(1)3--24, 315(2)469--510, 328(3)355--361
-
stabilization, Self-, 235(1)143--144, 293(1)219--236
-
stabilizing, Self-, 266(1)653--692, 308(1)449--515
-
stable, 233(1)297--308, 266(1)489--512, 269(1)23--46, 276(1)261--279,
286(1)65--95, 301(1)463--475, 302(1)191--210, 306(1)391--405,
306(1)431--447, 325(3)439--465, 328(3)355--361
-
Stabler, Edward P., 293(2)345--363
-
Stabler:2003:SSW, 293(2)345--363
-
stably, 305(1)77--84, 316(1)259--296, 328(3)221--244
-
stack, 289(1)205--223, 299(1)307--326, 299(1)603--631
-
stack-size, 270(1)441--461
-
Stadtherr, Hans, 261(1)119--156
-
Stadtherr, Hans, see Erlebach, Thomas
-
stage, 314(3)375--386
-
stage, multi-, 248(1)211--242
-
stage, two-, 237(1)105--122
-
Staiger, Ludwig, 284(2)455--466
-
Staiger:2002:KCR, 284(2)455--466
-
Stamate, Daniel, 308(1)429--447
-
Stamate, Daniel, see Loyer, Yann
-
stamping, time-, 290(1)221--239
-
standard, 273(1)5--9, 277(1)185--217
-
standard, non-, 321(2)233--248
-
standard-type, non-, 272(1)69--112
-
star, 233(1)233--245, 262(1)215--227, 309(1)381--412
-
star-free, 234(1)167--176
-
state, 47(2)149--158, 230(1)149--166, 231(2)181--191, 237(1)485--494,
266(1)195--235, 266(1)605--630, 270(1)935--946, 287(1)251--265,
287(1)299--311, 289(1)853--859, 292(3)589--596, 300(1)161--179,
301(1)451--462, 302(1)257--274, 313(1)145--158, 314(3)303--334,
320(2)315--329
-
state, Finite-, 283(2)419--450, 310(1)1--33, 313(1)93--104
-
state, finite-, 231(1)17--32, 258(1)409--433, 267(1)131--140,
270(1)677--700, 313(1)105--117
-
state, infinite-, 256(1)145--167
-
state, n-, 47(2)149--158
-
state-space, 262(1)161--189
-
Statecharts, 290(1)465--498
-
statements, 322(1)147--173
-
static, 258(1)523--553, 276(1)315--354, 285(1)73--88
-
statistical, 234(1)233--254, 265(1)3--67, 265(1)199--225
-
statistics, 230(1)1--37, 287(2)593--617, 297(1)261--270
-
Stearns, Richard E., 295(1)41--64
-
Stearns, Richard E., see Barrett, Chris
-
Stee, Rob van, 299(1)439--450, 306(1)305--317, 324(2)201--218
-
Stee, Rob van, see Epstein, Leah,
see Feder, Tomás
-
Stefano, Gabriele Di, 276(1)315--354, 297(1)83--102
-
Stefano, Gabriele Di, see Cicerone, Serafino
-
Steger, Angelika, 261(1)119--156
-
Steger, Angelika, see Erlebach, Thomas
-
Steinberg, Benjamin, 289(1)727--754
-
Steinberg, Benjamin, see Silva, Pedro V.
-
Steiner, 235(1)205--216, 237(1)213--238, 262(1)83--99, 295(1)387--402,
297(1)103--117, 304(1)237--247, 306(1)55--67, 324(2)313--324
-
Steinhöfel, K., 285(1)101--117
-
Steinhofel:2002:CSA, 285(1)101--117
-
Stengel, Bernhard von, 268(1)3--16
-
Stengel, Bernhard von, see Ambühl, Christoph
-
STeP, 253(1)27--60
-
step, 244(1)205--217, 290(1)465--498, 319(1)385--409
-
Stephan, Frank, 241(1)115--141, 244(1)135--165, 259(1)427--454,
268(2)221--273, 268(2)323--349, 284(1)161--180, 288(2)309--341,
298(1)145--177, 298(2)365--383, 313(2)209--228
-
Stephan, Frank, see Case, John,
see Jain, Sanjay, \see{Kaufmann, Susanne,
see Martin, Eric, \see{Merkle, Wolfgang,
see Ott, Matthias
-
Stephan:2001:LAS, 268(2)221--273
-
Stephan:2002:LCA, 288(2)309--341
-
Stevens, Brett, 297(1)399--424, 321(1)125--148
-
Stevens:2003:AOS, 297(1)399--424
-
Stevens:2004:PA, 321(1)125--148
-
Stewart, Iain A., 275(1)283--310, 314(1)1--43
-
Stewart, Iain A., see Feder, Tomás
-
Stewart:2002:PSA, 275(1)283--310
-
Steyaert, Jean-Marc, 263(1)1--1
-
Steyaert, Jean-Marc, see Chang, Gerard
-
Stiebe, Ralf, 276(1)377--405
-
Stiebe, Ralf, see Fernau, Henning
-
Stiglic, Anton, 259(1)671--678
-
Stiglic:2001:CDC, 259(1)671--678
-
still, 297(1)3--23
-
Stinson, Douglas R., 250(1)143--161
-
Stinson, Douglas R., see Ateniese, Giuseppe
-
Stirling, Colin, 255(1)1--31
-
Stirling:2001:DDE, 255(1)1--31
-
stochastic, 262(1)69--81, 285(1)101--117, 327(3)269--300
-
Stoltenberg-Hansen, V., 284(2)207--240
-
Stoltenberg-Hansen, V., see Blanck, J.
-
Stolzenburg, Frieder, 290(1)499--529
-
Stolzenburg, Frieder, see Chesñevar, Carlos Iván
-
Stomp, Frank, 290(1)59--78
-
Stomp:2002:CSP, 290(1)59--78
-
Stone, 290(1)599--635, 327(1)109--134
-
stop, 303(2)409--416
-
storage, 243(1)363--389, 299(1)687--706
-
Storage-to-tree, 329(1)115--158
-
Storch, Tobias, 320(1)123--134
-
Storch:2004:RRR, 320(1)123--134
-
Stougie, Leen, 268(1)91--105, 295(1)279--294, 352(1)347--348
-
Stougie, Leen, see Feuerstein, Esteban,
see Krumke, Sven O.
-
Stoye, Jens, 270(1)843--856
-
Stoye:2002:SFD, 270(1)843--856
-
Strahm, Thomas, 329(1)159--176
-
Strahm:2004:PTC, 329(1)159--176
-
Strand, 287(1)39--58
-
Straßburger, Lutz, 309(1)213--285
-
Strassburger:2003:MCS, 309(1)213--285
-
Strassen, 315(2)469--510
-
strategic, 298(1)235--251
-
strategy, 230(1)167--193, 252(1)83--104, 261(2)267--295, 282(2)285--302,
285(1)43--53, 287(2)571--584, 289(1)629--647, 294(1)269--305,
302(1)35--44, 306(1)269--289, 311(1)479--525, 314(1)45--55,
314(3)375--386, 322(1)175--179
-
Stratified, 254(1)663--676, 318(1)29--55
-
stream, 258(1)99--129, 288(1)45--83, 296(1)27--46, 308(1)1--53,
312(1)3--15, 323(1)191--233
-
street, 285(1)89--99
-
Streicher, Thomas, 316(1)191--213
-
Streicher, Thomas, see Reus, Bernhard
-
stretching, bin-, 268(1)17--41
-
Strictly, 238(1)483--488
-
Strictness, 272(1)69--112
-
string, 155(2)447--457, 230(1)39--48, 243(1)489--498, 249(2)289--303,
249(2)305--311, 249(2)313--324, 262(1)557--568, 264(1)25--51,
266(1)59--79, 271(1)69--95, 271(1)131--143, 288(1)45--83,
301(1)321--340, 303(1)35--51, 321(2)283--290, 321(2)383--394,
327(3)301--317
-
String-matching, 320(2)187--198
-
string-rewriting, 262(1)583--632
-
string-tensor, 310(1)181--231
-
Strip, 242(1)109--124
-
strip-like, 282(2)337--352
-
strong, 235(2)309--324, 239(1)141--164, 240(2)271--298, 243(1)307--338,
254(1)95--149, 262(1)191--213, 269(1)317--361, 272(1)223--245,
283(1)29--66, 290(1)429--463, 293(2)243--259, 302(1)239--256,
322(1)17--39
-
stronger, 292(3)723--732
-
strongly, 289(1)277--295, 299(1)477--493
-
Strooper, Paul, 266(1)195--235
-
Strooper, Paul, see Lermer, Karl
-
structural, 235(1)89--107, 244(1)135--165, 250(1)101--124,
258(1)131--168, 276(1)245--259, 292(1)33--43, 293(1)13--24,
293(2)345--363
-
structure, 233(1)91--106, 235(1)3--23, 238(1)31--80, 245(2)203--216,
248(1)243--287, 254(1)1--33, 254(1)337--361, 257(1)85--105,
257(1)115--151, 258(1)233--267, 258(1)453--490, 259(1)81--98,
260(1)87--117, 262(1)525--556, 268(2)221--273, 269(1)451--468,
270(1)205--222, 270(1)287--308, 270(1)827--841, 275(1)311--346,
276(1)111--132, 278(1)303--321, 280(1)35--68, 283(2)333--380,
288(1)181--193, 289(1)191--204, 289(1)401--423, 289(2)977--995,
290(2)1149--1174, 292(2)431--446, 292(3)667--677, 303(2)431--445,
303(2)463--490, 306(1)471--484, 309(1)213--285, 311(1)463--478,
320(1)35--50, 320(2)269--291, 322(1)41--67, 322(1)181--201,
322(2)409--422, 323(1)129--189, 325(3)425--437, 328(3)245--269
-
structured, 260(1)27--55, 286(2)197--245, 309(1)357--380,
315(2)581--592
-
structured, Well-, 256(1)63--92
-
structures, ZPC-, 267(1)17--34
-
Structuring, 299(1)179--210
-
Student, 322(2)245--265
-
Studer, Thomas, 254(1)677--681
-
Studer, Thomas, see Probst, Dieter
-
study, 234(1)1--57, 234(1)233--254, 238(1)81--130, 270(1)441--461,
299(1)585--602
-
Sturmian, 242(1)283--300, 249(2)289--303, 255(1)363--376, 273(1)5--9,
303(2)463--490, 304(1)365--385, 321(2)395--404
-
style, Gentzen-, 243(1)199--215, 303(1)245--260
-
styles, 322(2)297--312
-
Su, Jianwen, 289(1)165--189, 289(1)191--204, 328(1)19--37
-
Su, Jianwen, see Fu, Xiang,
see Ibarra, Oscar H.
-
subclass, 230(1)247--256, 259(1)217--231, 298(2)347--363
-
subdomination, 296(1)89--98
-
subgraph, 250(1)1--30, 262(1)459--471, 289(2)997--1008, 304(1)129--156,
314(1)121--171, 319(1)411--421, 326(1)137--153
-
subgroup, 242(1)247--281, 307(1)77--92
-
Subiono, 293(1)13--24
-
Subiono, see Woude, Jacob van der
-
sublinear, 233(1)297--308
-
sublogarithmic, 259(1)475--492
-
submodular, 235(2)239--256, 250(1)179--200, 287(2)563--570
-
submonoids, 289(1)727--754
-
subregion, 240(2)447--469
-
Subresultants, 297(1)199--239
-
subsequence, 292(2)465--479, 321(2)405--414
-
/subsequence, super-, 320(2)247--267
-
subsequential, 292(1)131--143
-
subset, 267(1)17--34, 288(1)181--193, 290(1)1021--1056, 292(1)85--96,
293(1)83--113, 305(1)43--76, 310(1)355--363, 322(1)203--219
-
subsets, -, 293(1)83--113
-
subshifts, 237(1)307--325, 262(1)191--213
-
substantially, 315(2)469--510
-
substitution, 127(1)181--186, 238(1)183--220, 255(1)323--344,
266(1)407--440, 269(1)83--134, 281(1)177--206, 301(1)439--450,
303(1)187--213, 307(1)47--75, 319(1)241--279, 327(1)155--174
-
substring, 267(1)61--82, 306(1)407--430
-
/substring, super-, 320(2)247--267
-
substring-preprocessing, 290(1)59--78
-
substructures, 259(1)341--357
-
subsume, 280(1)123--135
-
subsumption, 273(1)225--248
-
subsymbolic, 255(1)295--321
-
subsystems, 257(1)79--84
-
subterm, 254(1)187--223
-
Subtractive, 254(1)151--185
-
subtrees, 233(1)33--50
-
subtype, 277(1)105--117
-
subtyping, 266(1)273--309, 278(1)111--140
-
subword, 273(1)225--248
-
successful, 248(1)201--210
-
succession, 281(1)351--367
-
successor, 257(1)51--77
-
succinct, 328(1)161--170
-
succinctness, 313(1)159--172
-
such, 279(1)3--27
-
Sudac, Olivier, 257(1)185--239
-
Sudac:2001:PNT, 257(1)185--239
-
Sudborough, Ivan Hal, 237(1)183--195
-
Sudborough, Ivan Hal, see Kim, Changwook
-
sufficient, 230(1)1--37, 289(1)853--859
-
sufficient, -, 230(1)1--37
-
suffix, 270(1)843--856, 299(1)763--774, 302(1)223--238, 302(1)401--416,
304(1)87--101
-
suggest, 315(2)405--417
-
suggested, 270(1)701--738
-
Sugihara, Kokichi, 235(2)325--337
-
Sugihara:2000:TDC, 235(2)325--337
-
Suites, 242(1)91--108
-
sum, 262(1)101--115, 263(1)145--158, 266(1)819--838, 281(1)235--249,
322(1)203--219
-
sum, cycle-, 254(1)663--676
-
Sumitomo, Ryosuke, 272(1)177--195
-
Sumitomo, Ryosuke, see Hayashi, Susumu
-
Sun, Jianhua, 304(1)461--469
-
Sun, Jianhua, see Cheng, Xiaoyan
-
Sun, Xiaoming, 326(1)399--408
-
Sun, Xiaoming, see Li, Minming
-
Sünderhauf, Philipp, 278(1)141--158,
see Flagg, Robert C.
-
sup-lattices, 305(1)311--346
-
Super, 304(1)461--469
-
super-recursive, 317(1)1--11
-
super-/subsequence, 320(2)247--267
-
super-/substring, 320(2)247--267
-
Super-tasks, 317(1)105--114
-
super-Turing, 317(1)61--69
-
superimposed, 306(1)223--243
-
supernondeterministic, 313(1)159--172
-
support, 248(1)99--145, 273(1)283--294
-
supporting, 289(1)85--104, 326(1)103--116
-
Suraj, Mandayam, 270(1)287--308
-
Suraj, Mandayam, see Case, John
-
surface, 234(1)255--272, 263(1)123--137, 263(1)263--274, 283(1)109--150
-
surfaces, 26-, 283(1)29--66
-
Suri, N., 290(2)1223--1251
-
Suri, N., see Walter, C. J.
-
survey, 231(2)217--251, 245(2)217--253, 263(1)211--229, 264(1)155--167,
278(1)25--51, 288(1)21--43, 292(1)131--143, 299(1)107--121,
322(2)383--407
-
Sussman, Jeremy, 291(1)103--131
-
Sussman:2002:BPE, 291(1)103--131
-
Sussmann, Yoram J., 242(1)237--245
-
Sussmann, Yoram J., see Khuller, Samir
-
Sutherland, Ian M., 325(3)391--407
-
Sutherland, Ian M., see Schwabe, Eric J.
-
Sutner, K., 295(1)371--386, 296(2)365--375, 325(2)317--328
-
Sutner, Klaus, 230(1)49--73
-
Sutner:2000:ACP, 230(1)49--73
-
Sutner:2003:CAI, 296(2)365--375
-
Sutner:2003:SPA, 295(1)371--386
-
Sutner:2004:CRC, 325(2)317--328
-
Suzuki, Yasuhiro, 324(1)61--85
-
Suzuki, Yasuhiro, see P{\u{a}}un, Gheorghe
-
{\v{S}}vec, Martin, 306(1)449--469, see Meduna, Alexander
-
SVP, 285(1)55--71
-
Swaminathan, Ram, 240(2)487--494
-
Swaminathan, Ram, see Annexstein, Fred S.
-
swans, 317(1)1--11
-
Swenson, Krister M., 325(3)347--360
-
Swenson, Krister M., see Marron, Mark
-
Swierstra, S. D., 290(2)1201--1222
-
Swierstra, S. D., see Prasetya, I. S. W. B.
-
Swift, Terrance, 254(1)465--499
-
Swift, Terrance, see Sagonas, Konstantinos
-
Swinging, 243(1)93--165
-
switches, 324(2)161--182
-
switching, 261(2)241--251
-
Sýkora, Ondrej, 245(2)281--294, see Shahrokhi, Farhad
-
Sylvester, 259(1)623--638
-
symbol, 302(1)431--456, 327(3)269--300
-
symbolic, 243(1)467--475, 256(1)93--112, 256(1)145--167, 287(2)515--534,
290(1)695--740
-
symbolical, 319(1)423--439
-
symmetric, 261(2)297--303, 306(1)535--542, 312(2)321--335,
314(3)375--386, 322(2)237--244
-
symmetrically, 297(1)425--445
-
symmetry, 240(2)379--405, 289(1)105--136, 291(2)143--157,
295(1)323--339, 313(3)427--446, 319(1)281--305
-
synchronization, 243(1)217--241, 244(1)243--256, 255(1)511--538,
259(1)129--143, 281(1)31--36, 310(1)35--60, 314(3)303--334,
320(2)213--228
-
synchronized, 254(1)1--33, 255(1)377--399, 299(1)231--271
-
Synchronizing, 295(1)223--232, 327(3)225--239
-
synchronous, 307(1)129--138
-
syntactic, 266(1)365--405, 267(1)121--129, 303(1)35--51, 327(3)319--347
-
syntactical, 290(1)1107--1113
-
syntax, 266(1)1--57, 286(2)293--322, 327(1)155--174
-
syntenic, 326(1)29--43
-
synthesis, 266(1)407--440, 298(2)347--363, 303(1)7--34
-
Synthesizing, 261(1)31--56
-
system, banded-, 289(1)313--334
-
system, min,max,+-, 293(1)13--24
-
Systolic, 233(1)1--18
-
Szegedy, Mario, 321(1)149--170
-
Szegedy:2004:CBF, 321(1)149--170
-
Szeider, Stefan, 289(1)503--516
-
Szeider, Stefan, see Fleischner, Herbert
-
Székely, László A., 245(2)281--294,
see Shahrokhi, Farhad
-
Szepietowski, Andrzej, 250(1)31--53
-
Szepietowski, Andrzej, see J{\c{e}}drzejowicz, Joanna
-
Szpankowski, Wojciech, 289(1)649--703, 326(1)213--227
-
Szpankowski, Wojciech, see Janson, Svante,
see Knessl, Charles
-
Szwarcfiter, Jayme L., 306(1)391--405
-
Szwarcfiter, Jayme L., see Dias, Vânia M. F.