Index file section S for tcs2005.bib
Last update: Thu Jun 29 04:16:31 MDT 2023
Return to index directory
S
-
S, 398(1)1--11
-
S-semantics, 410(46)4692--4703
-
S4, 388(1)173--180, 403(2)406--408
-
SA-ES, 334(1)35--69
-
Saabas, Ando, 373(3)273--302
-
Saabas:2007:CNS, 373(3)273--302
-
Saad, R., 409(3)497--510
-
Saad, R., see Abouelaoualim, A.
-
Saari, Kalle, 380(3)377--387
-
Saari, Kalle, see Lepistö, Arto
-
Sabater, A., Fúster-, 409(3)530--536
-
Sabelfeld, Andrei, 402(2)82--101
-
Sabelfeld, Andrei, see Askarov, Aslan
-
Saberi, Amin, 408(2)188--198
-
Saberi, Amin, see Codenotti, Bruno
-
Sablik, Mathieu, 400(1)1--18
-
Sablik:2008:DDC, 400(1)1--18
-
sacrificing, 351(1)111--118
-
Sadahiro, Taizo, 359(1)133--147
-
Sadahiro:2006:MPT, 359(1)133--147
-
Sadakane, Kunihiko, 331(1)23--36, 335(1)93--107, 387(3)258--272
-
Sadakane, Kunihiko, see Choy, Charles,
see Larsson, N. Jesper
-
Sadakane:2005:CAL, 331(1)23--36
-
Sadikov, A., 349(2)268--281
-
Sadikov:2005:BPM, 349(2)268--281
-
Sadot, Avital, 391(3)276--290
-
Sadot, Avital, see Amir-Kroll, Hila
-
Sadri, F., Blanchet-, 385(1)179--192, 410(8)793--800,
410(8)968--972
-
Sáez, Pablo, 410(8)973--976
-
Saez:2009:QAC, 410(8)973--976
-
safe, 399(3)220--235, 410(6)614--628
-
safe, type-, 365(1)23--66
-
safely, 375(1)109--119
-
safety, 389(1)56--72
-
{\v{S}}afr{\'a}nek, D., 410(33)3128--3148, see Barnat, J.
-
Sagan, Bruce E., 359(1)282--298
-
Sagan, Bruce E., see Björner, Anders
-
Sagot, Marie-France, 362(1)248--254, 374(1)91--110, 395(2)171--192
-
Sagot, Marie-France, see Crochemore, Maxime,
see Lemaitre, Claire,
see Rodrigues, Estela M.
-
Sahinalp, S. C., 369(1)239--249
-
Sahinalp, S. C., see Bebek, G.
-
Sahinalp, Suleyman Cenk, 368(3)195--195
-
Sahinalp:2006:P, 368(3)195--195
-
Sahu, Sudheer, 410(15)1428--1439
-
Sahu, Sudheer, see Reif, John H.
-
SAIL, 395(2)135--136
-
Saitou, 369(1)448--455
-
Sakai, Yoshifumi, 410(27)2759--2766
-
Sakai:2009:CLT, 410(27)2759--2766
-
Sakama, Chiaki, 338(1)127--152
-
Sakama:2005:ODT, 338(1)127--152
-
Sakarovitch, Jacques, 332(1)141--177, 356(1)224--244
-
Sakarovitch, Jacques, see Lombardy, Sylvain
-
Saker, Christopher J., 359(1)231--238
-
Saker, Christopher J., see Higgins, Peter M.
-
Sakkalis, T., 365(3)184--198
-
Sakkalis, T., see Abe, K.
-
Salamon, Gábor, 410(50)5273--5284
-
Salamon:2009:AMI, 410(50)5273--5284
-
Salehi, Saeed, 347(1)1--35, 377(1)1--24
-
Salehi, Saeed, see Petkovi{\'c}, Tatjana
-
Salehi:2007:TAV, 377(1)1--24
-
Salibra, A., 354(1)4--23
-
Salibra, A., see Berline, C.
-
Salinas, L., 396(1)10--27, 396(1)247--253
-
Salinas, L., see Goles, E.
-
Salinas:2008:CS, 396(1)10--27
-
Salmela, Petri, 410(24)2345--2351
-
Salmela, Petri, see Cassaigne, Julien
-
Salomaa, Arto, 340(2)188--203, 362(1)222--231, 376(1)60--69,
383(2)140--152, 407(1)250--257
-
Salomaa, Arto, see Han, Yo-Sub
-
Salomaa, Kai, 345(2)304--330, 366(3)182--193, 376(1)60--69,
383(2)140--152, 387(2)113--124, 387(2)125--135, 387(2)147--154,
410(27)2537--2548, 410(30)2961--2971, 410(35)3198--3208,
410(35)3250--3260, 410(35)3290--3302, 410(37)3438--3446
-
Salomaa, Kai, see Biegler, Franziska,
see Cordy, Brendan, \see{Czeizler, Elena,
see Domaratzki, Michael, \see{Han, Yo-Sub,
see Piao, Xiaoxue, \see{Salomaa, Arto
-
Salomaa:2005:CBS, 340(2)188--203
-
Salomaa:2006:ICQ, 362(1)222--231
-
Salomaa:2007:SCC, 383(2)140--152
-
Salomaa:2008:SHA, 407(1)250--257
-
Salomaa:2009:DDC, 410(37)3438--3446
-
Salson, M., 410(43)4350--4359
-
Salson:2009:FSA, 410(43)4350--4359
-
Salvo, Aleksej, Di, 383(1)23--33
-
Samatova, Nagiza F., 410(21)2024--2032
-
Samatova, Nagiza F., see Chen, Wenbin
-
Sambin, Giovanni, 405(1)11--23
-
Sambin, Giovanni, see Ciraulo, Francesco
-
same, 368(1)1--29, 393(1)166--181
-
Sami, Rahul, 343(1)114--132, 378(2)175--189
-
Sami, Rahul, see Feigenbaum, Joan
-
sample, 369(1)44--66
-
sampling, 348(1)3--14, 407(1)134--154, 410(18)1648--1665,
410(18)1730--1745
-
Sanches, C. A. A., 407(1)342--348
-
Sanches:2008:PTS, 407(1)342--348
-
Sánchez-Couso, José-Ramón, 355(3)327--353
-
Sanchez-Couso:2006:RBS, 355(3)327--353
-
sand, 381(1)1--28, 410(38)3962--3974
-
sandpiles, 369(1)463--469, 381(1)1--28
-
sandwich, 381(1)57--67
-
Sangiorgi, Davide, 330(3)439--473, 350(2)188--212
-
Sangiorgi, Davide, see Carayol, Arnaud,
see Deng, Yuxin
-
Sankowski, Piotr, 410(44)4480--4488
-
Sankowski:2009:MWB, 410(44)4480--4488
-
Sannella, Donald, 350(2)163--163, 389(3)337--340, 402(2)81--81
-
Sannella, Donald, see Montanari, Ugo
-
Sannella:2006:P, 350(2)163--163
-
Sannella:2007:SLF, 389(3)337--340
-
Santean, Nicolae, 410(24)2336--2344, 410(24)2431--2441,
410(35)3236--3249
-
Santean, Nicolae, see Brzozowski, Janusz,
see Câmpeanu, Cezar,
see Rampersad, Narad
-
Sântean, Nicolae, 330(1)23--34,
see Câmpeanu, Cezar
-
Santhanam, Narayana P., 332(1)293--311
-
Santhanam, Narayana P., see Jevti{\'c}, Nikola
-
Santini, Gabriele, 357(1)230--240
-
Santini, Gabriele, see De Jaeger, Frédéric
-
Santis, A., De, 374(1)261--276
-
Santis, Alfredo, De, 407(1)213--230
-
Santis, Alfredo De, 369(1)169--182
-
Santis, Alfredo De, see Blundo, Carlo
-
Santocanale, Luigi, 333(1)265--296
-
Santocanale:2005:ACC, 333(1)265--296
-
Santoro, Nicola, 337(1)147--168, 384(2)232--249, 385(1)34--48,
399(1)101--117, 402(1)67--80, 407(1)412--447
-
Santoro, Nicola, see Das, Shantanu,
see Dobrev, Stefan, \see{Flocchini, Paola
-
Santoro:2007:ASN, 384(2)232--249
-
Santoyo, Miguel, 406(1)136--145
-
Santoyo:2008:AOI, 406(1)136--145
-
Sanwalani, Vishal, 349(1)40--51
-
Sanwalani, Vishal, see Díaz, Josep
-
Sarracco, Fabiano, 384(2)201--221
-
Sarracco, Fabiano, see Klasing, Ralf
-
Sarshar, Nima, 355(1)48--64
-
Sarshar:2006:SPS, 355(1)48--64
-
Sassone, Vladimiro, 333(1)297--327, 335(2)331--372, 373(1)41--69,
389(3)337--340, 390(2)127--128, 410(41)4067--4084
-
Sassone, Vladimiro, see Barbanera, Franco,
see Bruni, Roberto,
see ElSalamouny, Ehab,
see Sannella, Donald
-
Sassone:2005:LRC, 333(1)297--327
-
Sassone:2008:FSS, 390(2)127--128
-
SAT, 337(1)347--359, 354(3)339--353, 371(1)54--61
-
SAT, 3-, 372(2)218--241, 407(1)359--369
-
SAT-assignments, 393(1)260--279
-
SAT-based, 404(3)256--274, 404(3)293--307
-
Satgraphs, 352(1)47--56
-
satisfaction, 348(2)187--206, 348(2)357--365, 410(18)1629--1647,
410(38)3856--3874
-
satisfiability, 332(1)123--139, 332(1)515--541, 348(2)311--320,
394(1)84--111, 407(1)359--369, 410(30)2920--2934
-
Sato, Masako, 364(1)98--114
-
Sato, Masako, see Uemura, Jin
-
Satoh, Ken, 348(1)58--69
-
Satoh:2005:LTR, 348(1)58--69
-
Satta, Giorgio, 395(2)235--254
-
Satta, Giorgio, see Nederhof, Mark-Jan
-
saturated, non-, 410(15)1417--1427
-
saturated, semi-, 410(41)4044--4066
-
Sau, Ignasi, 410(38)3751--3760
-
Sau, Ignasi, see Amini, Omid
-
Sauerhoff, Martin, 334(1)177--225
-
Sauerhoff:2005:QBP, 334(1)177--225
-
Sauerwald, T., 410(36)3414--3427
-
Sauerwald, T., see Elsässer, R.
-
Saunders, Shane, 370(1)94--109
-
Saunders:2007:SSP, 370(1)94--109
-
Saurabh, Saket, 351(3)446--458
-
Saurabh, Saket, see Raman, Venkatesh
-
Savage, John E., 408(2)241--261
-
Savage, John E., see Rachlin, Eric
-
Sawada, J., 341(1)73--90
-
Sawada:2005:OVE, 341(1)73--90
-
Saxena, Amitabh, 401(1)27--35
-
Saxena, Amitabh, see Hemaspaandra, Lane A.
-
say, 410(4)376--383
-
Say, A. C. Cem, 410(20)1932--1941
-
Say, A. C. Cem, see Yakaryilmaz, Abuzer
-
Sburlan, Drago{\c{s}}, 372(2)136--151, 404(1)26--39,
see Brijder, Robert,
see Cavaliere, Matteo
-
Scala, 410(2)202--220
-
Scalable, 355(1)48--64
-
scalar, 372(1)37--45
-
scale, 410(45)4588--4600
-
Scale-free, 344(1)15--29
-
scaled, 349(1)40--51
-
scaled-integer, 351(1)74--81
-
scaling, 410(45)4580--4587, 410(51)5317--5333
-
scan, 410(21)2223--2233
-
Scanning, 406(1)90--96
-
Scarcello, Francesco, 410(38)3901--3924
-
Scarcello, Francesco, see Greco, Gianluigi
-
scattered, 382(2)109--119, 389(1)73--81, 410(1)108--112,
410(21)1961--1969
-
Scedrov, Andre, 353(1)118--164, 367(1)57--87
-
Scedrov, Andre, see Butler, Frederick,
see Mitchell, John C.
-
scenarios, 359(1)378--399, 410(12)1190--1216
-
Schabanel, Nicolas, 348(2)294--310, 355(1)96--103, 362(1)1--16,
410(47)4844--4855
-
Schabanel, Nicolas, see Duchon, Philippe,
see Fatès, Nazim,
see Lebhar, Emmanuelle,
see Regnault, Damien
-
Schaefer, Mark, 388(1)243--266
-
Schaefer:2007:CRC, 388(1)243--266
-
Schaeffer, G., 408(2)174--187
-
Schaeffer, G., see Aleardi, L. Castelli
-
Schäfer, Guido, 341(1)216--246, 401(1)96--106,
see Brenner, Janina
-
Schafer:2005:TMS, 341(1)216--246
-
Schedulability, 354(2)301--317
-
scheduler, 401(1)77--84
-
schedules, 362(1)238--247, 407(1)389--399
-
scheduling, 332(1)447--460, 337(1)134--146, 351(3)425--436,
352(1)181--189, 352(1)250--265, 354(2)272--300, 359(1)400--417,
359(1)430--439, 361(2)226--240, 361(2)241--256, 361(2)257--274,
362(1)115--126, 362(1)273--281, 363(3)257--265, 365(1)83--108,
369(1)157--168, 369(1)323--337, 372(1)94--102, 374(1)49--57,
374(1)159--169, 374(1)196--202, 377(1)110--125, 380(1)87--99,
381(1)234--240, 393(1)102--108, 393(1)133--146, 393(1)204--210,
393(1)211--219, 393(1)287--293, 396(1)158--179, 396(1)200--211,
396(1)283--289, 401(1)85--95, 401(1)96--106, 401(1)107--119,
402(2)142--155, 406(3)173--186, 409(3)477--485, 410(8)776--792,
410(8)830--836, 410(8)973--976, 410(17)1589--1598,
410(21)2099--2109, 410(21)2196--2206, 410(21)2291--2294,
410(27)2581--2591, 410(27)2663--2674, 410(27)2732--2745,
410(36)3348--3356, 410(38)3597--3605, 410(38)3761--3768,
410(38)3875--3881, 410(38)3975--3981, 410(47)4856--4863,
410(47)4864--4873, 410(47)5039--5046, 410(47)5112--5121,
410(47)5182--5187, 410(47)5188--5190
-
Scheideler, Christian, 410(6)453--466
-
Scheideler, Christian, see Awerbuch, Baruch
-
Scheihing, Rodrigo, 410(43)4432--4443
-
Scheihing, Rodrigo, see Baeza-Yates, Ricardo
-
Schellekens, M. P., 365(3)237--246
-
Schellekens, M. P., see Künzi, H.-P. A.
-
Schellhorn, Gerhard, 336(2)403--435
-
Schellhorn:2005:ARG, 336(2)403--435
-
schemas, 373(1)1--18
-
scheme, 369(1)230--238, 372(1)115--121, 385(1)101--114, 393(1)14--22,
396(1)277--282, 410(8)736--744, 410(47)5082--5092
-
schemes, 333(1)3--66, 333(3)347--353, 345(2)345--358, 347(1)288--298,
352(1)71--84, 359(1)123--132, 359(1)400--417, 366(1)3--59,
369(1)169--182, 378(3)271--291, 382(2)151--156, 389(1)250--264,
396(1)113--144, 403(2)409--415, 407(1)213--230, 407(1)370--388,
407(1)511--523, 410(8)886--899, 410(21)1970--1981,
410(52)5491--5504
-
Schettini, Andrea, Maggiolo-, 395(1)77--100, 410(33)3085--3109
-
Schewe, Klaus-Dieter, 355(2)167--196, 360(1)459--459
-
Schewe, Klaus-Dieter, see Hartmann, Sven
-
Schiermeyer, Ingo, 389(1)330--335
-
Schiermeyer, Ingo, see Le, Van Bang
-
Schindelhauer, Christian, 410(11)1030--1041
-
Schindelhauer, Christian, see Jakoby, Andreas
-
Schmid, Ute, 354(1)98--117
-
Schmid, Ute, see Gust, Helmar
-
Schmidl, Daniel, 410(38)3826--3838
-
Schmidl, Daniel, see Wittmann, Dominik M.
-
Schmidt, Matthew C., 410(21)2024--2032
-
Schmidt, Matthew C., see Chen, Wenbin
-
Schneider, Gerardo, 379(1)231--265, 390(1)1--26
-
Schneider, Gerardo, see Asarin, Eugene,
see Asarinp, Eugene
-
Schneider, Johannes C., 410(21)2148--2161
-
Schneider, Johannes C., see Reidenbach, Daniel
-
Schnitger, Georg, 330(1)135--144, 380(1)100--114, 410(30)2972--2981
-
Schnitger, Georg, see Hromkovi{\v{c}}, Juraj
-
Schnoebelen, Ph, 353(1)249--271
-
Schnoebelen, Ph., see Laroussinie, F.
-
Schnoebelen, Philippe, 358(2)315--333
-
Schnoebelen, Philippe, see Ku{\v{c}}era, Anton{\'\i}n
-
Schönherr, Jens, 404(3)293--307
-
Schonherr:2008:SFV, 404(3)293--307
-
Schost, Éric, 347(1)299--305, 392(1)37--65, 407(1)155--181,
410(27)2659--2662, see Bostan, Alin,
see Dahan, Xavier, \see{Garg, Sanchit
-
Schost:2005:TNE, 347(1)299--305
-
Schratzberger, B., 391(1)138--149
-
Schratzberger:2008:CAB, 391(1)138--149
-
Schreyer, Jens, 349(1)92--98
-
Schreyer, Jens, see Kohl, Anja
-
Schröder, 346(2)455--468
-
Schröder, Lutz, 331(1)215--247, 353(1)1--25, 366(1)121--143,
390(2)230--247, 410(12)1217--1260,
see Hausmann, Daniel
-
Schroder:2005:ASC, 331(1)215--247
-
Schroder:2006:HPC, 353(1)1--25
-
Schroder:2008:ECM, 390(2)230--247
-
Schroder:2009:HIH, 410(12)1217--1260
-
Schulte, Wolfram, 343(3)370--412
-
Schulte, Wolfram, see Gurevich, Yuri
-
Schulz, Andreas S., 410(17)1589--1598
-
Schulz, Andreas S., see Immorlica, Nicole
-
Schumacher, Linus J., 410(11)1003--1012
-
Schumacher, Linus J., see Danos, Vincent
-
Schuppen, Jan H. van, 388(1)199--226
-
Schuppen, Jan H. van, see Komenda, Jan
-
Schur, 409(2)255--268
-
Schürmann, Klaus-Bernd, 395(2)220--234
-
Schurmann:2008:CSA, 395(2)220--234
-
Schuster, Peter, 405(1)101--115
-
Schuster, Peter M., 405(1)3--10
-
Schuster, Peter M., see Bridges, Douglas
-
Schuster:2008:ZSF, 405(1)101--115
-
Schützenberger, 401(1)243--248
-
Schützenberger, 334(1)71--98
-
Schützenberger, Lyndon-, 366(3)194--198
-
Schwarz, B., 345(2)260--295
-
Schwarz, B., see Böhler, E.
-
Schweikardt, Nicole, 350(2)325--344, 380(1)199--217, 401(1)191--205
-
Schweikardt, Nicole, see Grohe, Martin,
see Hernich, André
-
Schweikardt:2006:EPM, 350(2)325--344
-
Schwichtenberg, Helmut, 357(1)202--214
-
Schwichtenberg:2006:APT, 357(1)202--214
-
Schwiegelshohn, Uwe, 362(1)238--247
-
Schwiegelshohn, Uwe, see Hussein, Mohamed Eid
-
Schwinghammer, J., 364(3)338--356
-
Schwinghammer, J., see Niehren, J.
-
Sci, 343(3)482--508, 347(1)437--440, 352(1)347--348, 368(1)168--194,
377(1)282--283, 378(1)131--131, 395(1)132--133, 403(1)130--131,
403(2)409--415, 412(43)6112--6113, 475(z)126--127, 492(z)117--122
-
science, 343(1)1--3, 371(1)1--3, 390(2)127--128, 405(1)116--163
-
scientific, 355(3)371--381
-
Sciortino, M., 385(1)152--166, 387(3)236--248, 387(3)298--312,
410(43)4372--4381
-
Sciortino, M., see Castiglione, G.,
see Epifanio, C., \see{Giancarlo, R.,
see Mantaci, S.
-
Sciortino, Marinella, 359(1)214--230
-
Sciortino, Marinella, see Fici, Gabriele
-
Scollo, G., 354(1)1--3
-
Scollo, G., see Nijholt, A.
-
score, 349(2)168--183
-
Scott, Geoffrey, 410(8)793--800
-
Scott, Geoffrey, see Blanchet-Sadri, F.
-
Scott, Philip, 350(2)252--274
-
Scott, Philip, see Haghverdi, Esfandiar
-
sealing, 375(1)169--192
-
search, 339(1)35--48, 339(1)129--165, 348(2)262--276, 349(2)245--267,
349(2)268--281, 355(1)48--64, 355(3)327--353, 359(1)418--429,
360(1)42--76, 361(1)2--17, 361(1)57--71, 370(1)265--278,
374(1)170--180, 378(1)32--40, 378(1)78--86, 378(3)292--315,
384(2)201--221, 386(1)94--113, 386(1)114--131, 393(1)72--80,
393(1)231--239, 402(2)190--198, 407(1)182--191, 407(1)532--544,
410(37)3563--3571
-
search-tree, 371(3)155--168
-
searching, 361(2)342--355, 370(1)240--253, 387(3)284--297,
399(3)157--157, 399(3)158--168, 399(3)169--178, 399(3)236--245,
410(14)1307--1318, 410(44)4457--4470, 410(51)5365--5373
-
second, 375(1)201--226
-
second-order, 343(1)207--236, 394(1)1--38, 410(42)4190--4203
-
secondary, 335(1)29--51, 335(1)53--66, 389(1)278--294, 395(1)47--56,
410(4)294--301
-
secrecy, 378(2)198--207
-
secret, 384(2)184--200, 389(3)512--527
-
sector, 349(1)40--51
-
secure, 336(2)343--365, 365(1)67--82, 401(1)52--61, 407(1)511--523,
410(6)467--480, 410(47)5093--5111
-
secure, provably-, 407(1)213--230
-
Securing, 364(3)311--317
-
security, 338(1)393--425, 340(1)1--2, 352(1)280--287, 367(1)2--32,
367(1)88--122, 367(1)203--227, 367(1)228--256, 402(2)156--171,
402(2)172--189
-
Sedwards, Sean, 391(3)216--238, 404(1)40--51
-
Sedwards, Sean, see Cavaliere, Matteo
-
See, 295(1)279--294, 298(1)179--206, 327(3)241--253, 344(2)279--297,
347(1)437--440, 352(1)347--348, 355(2)167--196, 356(3)265--290,
360(1)459--459, 366(1)3--59, 367(3)336--346, 368(1)168--194,
371(1)72--82, 377(1)282--283, 378(1)131--131, 380(1)143--163,
386(1)3--37, 395(1)132--133, 400(1)19--45, 403(1)130--131,
403(2)409--415, 410(8)812--817, 412(43)6112--6113,
412(45)6451--6454, 475(z)126--127, 492(z)117--122
-
Séébold, Patrice, 410(8)943--948,
see Halava, Vesa
-
seed, 351(1)101--110
-
Seeing, 401(1)153--164
-
seeking, Subthreshold-, 361(1)2--17
-
Seeman, Nadrian C., 410(15)1448--1460
-
Seeman, Nadrian C., see Jonoska, Nata{\v{s}}a
-
Seese, Detlef, 351(3)372--393
-
Seese, Detlef, see Hlin{\v{e}}n{\'y}, Petr
-
Segal, Michael, 393(1)294--300
-
Segal:2008:CCF, 393(1)294--300
-
Segala, Roberto, 365(1)83--108, 369(1)348--360
-
Segala, Roberto, see Cheung, Ling,
see Dolev, Shlomi
-
Segev, Danny, 369(1)384--395
-
Segev, Danny, see Levin, Asaf
-
segment, 393(1)294--300, 407(1)349--358
-
Segmental, 349(3)420--428
-
Seiden, Steven S., 332(1)63--81
-
Seiden:2005:NBR, 332(1)63--81
-
Sekerinski, Emil, 331(2)429--455
-
Sekerinski:2005:VRF, 331(2)429--455
-
Seki, Shinnosuke, 410(24)2393--2400
-
Seki, Shinnosuke, see Kari, Lila
-
Sekigawa, Hiroshi, 409(2)282--291, 409(2)311--317
-
Sekigawa, Hiroshi, see Shirayanagi, Kiyoshi
-
Sekigawa:2008:NPZ, 409(2)282--291
-
SELECT, 347(1)214--238
-
select, 387(3)332--347, 387(3)348--359
-
Selected, 330(3)375--376, 342(1)1--2, 390(2)127--128
-
selected-internal, 381(1)288--291
-
selecting, 349(2)245--267, 410(47)4801--4811
-
selection, 377(1)151--156, 381(1)29--32, 382(2)151--156, 382(3)262--279,
390(1)120--125
-
Selective, 388(1)290--318
-
self-assembling, 410(4)332--346
-
self-assembly, 374(1)74--81, 404(1)61--75, 410(4)384--405,
410(15)1417--1427, 410(16)1495--1515
-
Self-deployment, 402(1)67--80
-
Self-dual, 391(1)39--50
-
Self-improved, 377(1)139--150
-
self-organizing, 410(6)514--532
-
self-stabilizing, 349(3)475--483, 399(1)118--127, 410(6)514--532,
410(6)581--594, 410(14)1336--1345
-
selfish, 343(1)27--41, 348(2)226--239, 369(1)157--168, 393(1)37--53,
406(3)187--206, 410(17)1589--1598, 410(36)3305--3326
-
Selivanov, Victor L., 345(2)448--472, 365(3)258--282, 405(1)116--163
-
Selivanov:2005:RDD, 345(2)448--472
-
Selivanov:2006:TDS, 365(3)258--282
-
Selivanov:2008:FHR, 405(1)116--163
-
Selman, Alan L., 370(1)60--73, 385(1)167--178, 410(21)2011--2023
-
Selman, Alan L., see Glaßer, Christian,
see Pavan, A.
-
semantic, 331(1)215--247, 331(2)291--323, 333(1)199--224, 336(1)89--124,
336(2)235--284, 337(1)1--50, 338(1)17--63, 340(1)102--153,
342(1)1--2, 342(1)28--55, 343(1)177--206, 343(3)370--412,
343(3)482--508, 345(1)27--59, 346(1)58--95, 351(1)111--118,
351(2)240--257, 353(1)1--25, 354(3)421--440, 357(1)215--229,
360(1)386--414, 360(1)440--458, 366(1)121--143, 367(1)88--122,
371(3)183--199, 373(1)19--40, 373(3)163--181, 373(3)213--237,
373(3)273--302, 375(1)3--19, 375(1)41--75, 375(1)227--270,
379(1)1--19, 379(1)120--141, 379(1)210--230, 388(1)290--318,
389(3)337--340, 389(3)446--483, 389(3)484--511, 391(3)190--215,
395(1)77--100, 398(1)150--169, 398(1)217--242, 402(2)234--248,
409(1)1--23, 409(1)110--125, 410(12)1109--1128, 410(41)4044--4066,
410(46)4724--4746
-
semantics, S-, 410(46)4692--4703
-
Semenov, Cobham-, 391(1)20--38
-
Semi-formal, 404(3)293--307
-
Semi-on-line, 337(1)134--146
-
semi-online, 339(2)293--314, 372(1)69--80, 377(1)110--125,
393(1)211--219, 410(8)776--792, 410(47)5047--5062
-
semi-ordered, 410(8)837--846
-
semi-random, 386(1)114--131
-
semi-saturated, 410(41)4044--4066
-
semi-streaming, 348(2)207--216
-
semi-Thue, 330(1)145--169
-
semiautomata, 356(1)46--57, 410(35)3236--3249
-
semidefinite, 410(19)1847--1862
-
semigroup, 330(1)117--121, 352(1)57--70, 353(1)272--290, 355(3)274--290,
369(1)300--313, 401(1)206--216, 410(47)5022--5038
-
semimeasures, 382(3)247--261
-
Seminormal, 392(1)113--127
-
semiretract, 369(1)314--322
-
semiring, 346(1)135--160, 347(1)423--431, 354(1)72--81, 403(2)192--201
-
semisimple, 331(1)3--21, 410(50)5202--5214
-
semistructured, 385(1)11--33
-
Sen, Koushik, 336(2)209--234
-
Sen, Koushik, see Artho, Cyrille
-
Sen, Sandeep, 410(1)84--93
-
Sen, Sandeep, see Baswana, Surender
-
Sendra, J. Rafael, 359(1)344--368
-
Sendra, J. Rafael, see Pérez-Díaz, Sonia
-
Sendra, Juana, 359(1)344--368
-
Sendra, Juana, see Pérez-Díaz, Sonia
-
Sengupta, Samik, 385(1)167--178
-
Sengupta, Samik, see Pavan, A.
-
Sénizergues, Géraud, 330(1)145--169,
see Matiyasevich, Yuri
-
sense, Wide-, 352(1)232--239
-
sensing, 371(1)20--33, 402(1)16--28
-
sensitive, 345(2)235--247
-
sensitive, context-, 358(1)88--103, 375(1)76--108
-
sensitivity, 384(1)87--91, 400(1)1--18
-
sensor, 344(1)15--29, 344(1)30--46, 344(1)69--85, 344(1)86--99,
370(1)254--264, 393(1)81--89, 402(1)2--15, 402(1)43--55,
402(1)56--66, 402(1)67--80, 406(3)240--247, 410(2)254--280,
410(6)500--513, 410(6)546--569, 410(14)1346--1354,
410(52)5515--5528
-
sentences, 364(2)196--211, 389(1)73--81
-
separability, 381(1)274--279
-
Separable, 346(1)161--182
-
Separating, 410(19)1903--1912
-
separation, 351(2)258--275, 351(3)394--406, 375(1)227--270,
375(1)308--334, 386(3)218--235, 388(1)267--289, 389(1)162--171,
407(1)496--510, 410(38)3769--3781
-
separator, 343(1)158--176, 370(1)229--239, 389(1)295--306
-
sequence, 331(1)23--36, 332(1)559--566, 337(1)379--389, 338(1)184--199,
339(1)68--87, 351(1)101--110, 352(1)288--292, 355(3)303--314,
358(1)56--64, 359(1)255--281, 367(3)324--335, 370(1)19--33,
374(1)25--40, 382(3)247--261, 389(1)118--124, 392(1)101--112,
393(1)231--239, 400(1)62--69, 407(1)349--358, 410(1)1--15,
410(8)958--962, 410(11)1054--1060, 410(24)2316--2322,
410(27)2759--2766, 410(30)2795--2803, 410(30)2864--2869,
410(38)3573--3588, 410(41)4094--4110, 410(43)4327--4340,
410(43)4391--4401, 410(43)4414--4422
-
Sequencing, 332(1)559--566
-
sequential, 343(1)237--281, 343(3)482--508, 347(1)239--275, 348(1)3--14,
352(1)108--135, 356(1)224--244, 358(1)65--74, 369(1)67--81,
371(3)247--264, 379(1)120--141, 379(1)142--165, 395(1)24--30,
409(3)351--363, 409(3)601--616, 410(26)2529--2535,
410(30)2982--2991
-
{\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}, Traian Florin, 410(12)1109--1128,
see Popescu, Andrei
-
Serena, David, 369(1)427--435
-
Serena, David, see Gonzalez, Teofilo F.
-
Seress, A., 407(1)488--495
-
Seress, A., see Balogh, J.
-
serial, 359(1)440--448, 396(1)247--253
-
series, 346(2)418--438, 359(1)440--448, 360(1)440--458, 366(3)199--227,
366(3)248--271, 374(1)214--228, 400(1)144--158, 401(1)243--248,
408(1)55--65
-
series, tree-to-tree-, 339(2)200--240
-
Serna, M. J., 382(2)120--130
-
Serna, M. J., see Díaz, J.
-
Serna, Maria, 332(1)123--139, 349(1)40--51, 381(1)197--217,
406(3)240--247
-
Serna, Maria, see Díaz, Josep,
see Àlvarez, Carme
-
Serna:2005:ANB, 332(1)123--139
-
Sernadas, A., 379(1)142--165
-
Sernadas, A., see Chadha, R.
-
Seroussi, Gadiel, 395(2)203--219
-
Seroussi, Gadiel, see Jacquet, Philippe
-
Serre, Olivier, 350(2)345--372
-
Serre:2006:GWC, 350(2)345--372
-
Serrière, Fabrice, 332(1)497--513,
see Bazgan, Cristina
-
Servedio, Rocco A., 350(1)13--23, 384(1)66--76, 405(3)209--222,
410(19)1747--1748
-
Servedio, Rocco A., see Atici, Alp,
see Hellerstein, Lisa,
see Hutter, Marcus
-
Servedio:2006:LEM, 350(1)13--23
-
server, 369(1)285--299, 381(1)280--287, 408(2)116--128
-
service, 336(2)285--309, 340(1)102--153, 409(3)417--431, 410(6)500--513
-
services, e-, 341(1)344--363
-
Serwe, Wendelin, 351(2)131--145
-
Serwe, Wendelin, see Garavel, Hubert
-
Seshia, Sanjit A., 338(1)153--183
-
Seshia, Sanjit A., see Flanagan, Cormac
-
session, 368(1)64--87, 410(2)142--167
-
SET, 332(1)497--513
-
set, 330(1)171--191, 331(1)143--214, 332(1)19--45, 332(1)313--336,
338(1)184--199, 341(1)162--195, 341(1)364--378, 342(2)173--228,
347(1)370--392, 347(1)393--414, 348(2)240--250, 351(1)61--73,
351(1)119--128, 351(3)446--458, 352(1)1--7, 352(1)159--180,
352(1)226--231, 355(2)127--138, 355(2)167--196, 358(2)273--292,
359(1)231--238, 360(1)459--459, 362(1)140--161, 363(1)60--68,
365(3)258--282, 366(3)182--193, 369(1)211--229, 370(1)229--239,
377(1)126--138, 380(3)363--372, 381(1)241--247, 382(2)109--119,
382(3)262--279, 383(1)86--101, 384(2)222--231, 385(1)49--59,
385(1)60--70, 385(1)202--213, 385(1)241--263, 387(2)167--176,
389(1)295--306, 393(1)54--71, 397(1)77--93, 405(1)188--197,
406(1)15--23, 406(1)31--42, 406(1)55--62, 406(1)97--118,
406(3)215--224, 407(1)330--341, 409(3)333--340, 410(8)661--669,
410(8)756--765, 410(8)812--817, 410(8)949--957, 410(8)968--972,
410(12)1159--1189, 410(14)1328--1335, 410(14)1369--1376,
410(21)2011--2023, 410(21)2184--2195, 410(24)2442--2452,
410(36)3428--3435, 410(38)3804--3813, 410(38)3882--3892,
410(38)3995--4000, 410(45)4534--4542, 410(47)5122--5127,
410(50)5236--5243, 410(52)5455--5466, 412(45)6451--6454
-
set, World-, 403(2)265--284
-
set-agreement, 410(6)570--580
-
set-up, 401(1)172--180
-
set-valued, 410(38)3743--3750
-
Sethia, Saurabh, 343(1)42--71
-
Sethia, Saurabh, see Aichholzer, Oswin
-
setting, 397(1)114--128, 400(1)84--99, 401(1)236--242
-
setups, 410(8)670--687
-
Sevastyanov, S. V., 361(2)257--274
-
Sevastyanov, S. V., see Ageev, A. A.
-
several, 347(1)214--238, 351(1)101--110
-
Severe, 355(2)228--242
-
Sgall, Ji{\v{r}}{\'\i}, 377(1)55--64, 410(47)5112--5121,
see Epstein, Leah
-
Sgall:2009:PSO, 410(47)5112--5121
-
Shachnai, Hadas, 410(47)5112--5121
-
Shachnai, Hadas, see Sgall, Ji{\v{r}}{\'\i}
-
Shah, Rahul, 387(3)313--331
-
Shah, Rahul, see Gupta, Ankur
-
Shah, Shrenik, 410(19)1903--1912
-
Shah, Shrenik, see Feldman, Vitaly
-
Shallit, Jeffrey, 339(1)19--34, 345(2)359--369, 381(1)177--182,
391(1)126--137, 410(24)2401--2409, 410(24)2431--2441,
410(30)2795--2803, 410(37)3461--3470, 410(47)5010--5021
-
Shallit, Jeffrey, see Ackerman, Margareta,
see Allouche, Jean-Paul,
see Ilie, Lucian, \see{Kao, Jui-Yi,
see Krieger, Dalia, \see{Rampersad, Narad
-
Shalom, B. Riva, 409(3)438--449
-
Shalom, B. Riva, see Amir, Amihood
-
Shalom, Mordechai, 384(2)250--262
-
Shalom:2007:MNA, 384(2)250--262
-
Shamir, Boaz, Patt-, 370(1)254--264
-
Shan, Erfang, 359(1)299--305
-
Shan, Erfang, see Xu, Guangjun
-
Shang, Weiping, 381(1)241--247
-
Shang:2007:AMC, 381(1)241--247
-
Shankland, Carron, 351(2)129--130
-
Shankland, Carron, see Maharaj, Savi
-
Shao, Zhendong, 400(1)230--233
-
Shao:2008:IUB, 400(1)230--233
-
shape, 392(1)5--22, 406(1)72--79
-
shape, L-, 359(1)69--76
-
shaped, point-, 369(1)197--210
-
shared, 332(1)461--485
-
shared-variable, 410(2)128--141
-
sharing, 365(1)143--168, 369(1)269--284, 401(1)96--106,
410(46)4704--4723
-
sharing, Resource-, 332(1)447--460
-
Sharma, Arun, 350(1)103--124, 364(1)62--76, 382(3)170--182
-
Sharma, Arun, see Martin, Eric,
see Martin, Éric
-
Sharma, Vikram, 409(2)292--310
-
Sharma:2008:CRR, 409(2)292--310
-
sharp, C-, 336(2)235--284
-
Sharygina, Natasha, 388(1)227--242
-
Sharygina, Natasha, see Cook, Byron
-
Shawe-Taylor, John, 382(3)232--246
-
Shawe-Taylor, John, see Ambroladze, Amiran
-
sheds, 336(2)235--284
-
Sheikh, Numan, 409(3)364--381
-
Sheikh, Numan, see Abbasi, Sarmad
-
shelf, 352(1)71--84
-
Shen, Alexander, 384(1)77--86
-
Shen, Alexander, see Muchnik, Andrej
-
Shen, Ruiming, 344(2)103--119
-
Shen, Ruiming, see Lu, Hongtao
-
Shen, Xiaojun, 409(3)477--485
-
Shen, Zhizhang, 410(52)5481--5490
-
Shen:2008:DGP, 409(3)477--485
-
Shen:2009:SAS, 410(52)5481--5490
-
Shende, Sunil, 409(3)341--350
-
Shende, Sunil, see Ganchev, Antoniy
-
Sherali--Adams, 410(21)2054--2063
-
Sherman, 409(2)255--268
-
Shewchuk, 408(2)163--173
-
Shi, Peng, 378(2)190--197
-
Shi, Peng, see Cheng, Gang
-
Shi, Qiaosheng, 378(3)237--252, 410(52)5515--5528
-
Shi, Qiaosheng, see Ben-Moshe, Boaz,
see Bhattacharya, Binay
-
Shi, Qingmin, 332(1)109--121
-
Shi, Yaoyun, 344(2)335--345
-
Shi, Yongqiang, 390(1)110--119
-
Shi:2005:NFA, 332(1)109--121
-
Shi:2005:QCT, 344(2)335--345
-
Shi:2008:OPA, 390(1)110--119
-
Shieh, Min-Zheng, 396(1)50--62
-
Shieh:2008:JMA, 396(1)50--62
-
Shields, C. O., 410(36)3372--3390
-
Shields, C. O., see Chitturi, B.
-
shift, 345(2)190--205, 383(2)200--243, 410(43)4423--4431
-
shifts, beta-, 410(47)4878--4891
-
Shigezumi, Takeya, 410(45)4588--4600
-
Shigezumi, Takeya, see Miyoshi, Naoto
-
Shimol, Yehuda, Ben-, 410(21)2174--2183
-
Shin, Kilho, 410(19)1847--1862
-
Shin, Sujin, 410(27)2675--2684
-
Shin, Sujin, see Hong, Soonjo
-
Shin:2009:PSP, 410(19)1847--1862
-
Shinohara, Ayumi, 341(1)379--384, 410(8)900--913
-
Shinohara, Ayumi, see Matsubara, Wataru,
see Troní{\v{c}}ek, Zden{\v{e}}k
-
Shinohara, Takeshi, 397(1)1--3, 397(1)150--165
-
Shinohara, Takeshi, see Case, John,
see Ng, Yen Kaow
-
Shinwell, Mark R., 342(1)28--55
-
Shinwell:2005:MSF, 342(1)28--55
-
Shirayanagi, Kiyoshi, 409(2)311--317
-
Shirayanagi:2008:NGB, 409(2)311--317
-
Shivers, Olin, 375(1)137--168
-
Shivers, Olin, see Might, Matthew
-
Shoaran, Maryam, 410(1)62--77
-
Shoaran:2009:FTC, 410(1)62--77
-
Shoham, Yoav, 343(1)97--113
-
Shoham:2005:NCC, 343(1)97--113
-
shop, 400(1)137--143
-
shop, open-, 407(1)389--399
-
short, 339(2)315--332, 351(3)351--359, 381(1)230--233, 389(1)190--218,
407(1)21--28, 410(8)736--744
-
shorter, 370(1)110--120
-
shortest, 369(1)427--435, 370(1)94--109, 383(1)23--33, 389(1)1--11,
410(1)84--93, 410(18)1648--1665, 410(38)3925--3941,
410(51)5374--5381
-
shortest-path, 333(3)347--353
-
shortest-path, all-, 389(1)250--264
-
shot, 410(17)1607--1615
-
shot, One-, 410(27)2562--2580
-
Shoudai, Takayoshi, 350(1)63--90
-
Shoudai, Takayoshi, see Suzuki, Yusuke
-
should, 351(1)82--100
-
show, 331(1)3--21, 347(1)214--238, 377(1)126--138
-
shrinking, 409(3)530--536
-
Shu, Jinlong, 410(1)78--83
-
Shu, Jinlong, see Liu, Ruifang
-
shuffle, 332(1)47--61, 341(1)263--275, 380(3)401--410, 391(1)75--89,
410(38)3711--3724
-
shuffle, word-, 377(1)73--92
-
Shvartsman, Alex A., 333(3)433--454
-
Shvartsman, Alex A., see Fernández, Antonio
-
Shvartsman, Alexander, 369(1)348--360
-
Shvartsman, Alexander, see Dolev, Shlomi
-
Shvartsman, Alexander A., 347(1)130--166, 383(1)59--85, 410(6)451--452
-
Shvartsman, Alexander A., see Georgiou, Chryssis,
see Lavallée, Ivan
-
Shyamasundar, R. K., 354(1)153--168
-
Shyamasundar, R. K., see Kundaji, Rohit N.
-
Shyr--Yu, 410(47)4874--4877
-
Sibeyn, Jop, 333(3)329--330
-
Sibeyn, Jop, see Peleg, David
-
Sibeyn, Jop F., 331(1)53--72, 383(1)86--101
-
Sibeyn, Jop F., see Luccio, Flaminia L.
-
Sibeyn:2005:FGB, 331(1)53--72
-
side, 368(1)1--29
-
sided, one-, 332(1)417--446
-
Siders, Ryan, 394(3)197--207
-
Siders, Ryan, see Koepke, Peter
-
Sidi, Moshe, 344(1)86--99
-
Sidi, Moshe, see Stupp, Gideon
-
Sieben, Nándor, 409(3)333--340, see Fisher, Edgar
-
Siebert, Heike, 391(3)258--275
-
Siebert:2008:TCL, 391(3)258--275
-
Sieling, Detlef, 334(1)177--225
-
Sieling, Detlef, see Sauerhoff, Martin
-
Sierpinski, 410(4)384--405
-
signal, 343(3)443--481, 364(1)132--142, 409(2)241--254,
410(42)4262--4291
-
signal, mixed-, 404(3)293--307
-
signalling, 404(1)97--111, 410(11)1003--1012
-
signature, 370(1)186--200, 382(3)209--220, 389(1)100--117,
396(1)277--282, 410(8)736--744
-
signed, 410(24)2308--2315
-
significantly, 331(1)3--21, 351(1)101--110
-
signing, contract-, 367(1)33--56
-
signs, 410(38)3949--3961
-
Sigwalt-Abram, Aurélie, Goulon-, 344(2)298--334
-
Siksek, Samir, 410(30)2864--2869
-
Siksek, Samir, see Bugeaud, Yann
-
Silberstein, Tullio, Ceccherini-, 400(1)225--229
-
Silva, Manuel, 391(1)126--137
-
Silva, Manuel, see Kao, Jui-Yi
-
Silva, Pedro V., 340(2)443--456, 400(1)182--224, 409(3)537--548
-
Silva, Pedro V., see Pin, Jean-Éric,
see Rhodes, John
-
Silva:2008:RSP, 409(3)537--548
-
Silvestri, Francesco, 402(2)221--233
-
Silvestri, Riccardo, 343(1)27--41, 384(2)161--167, 399(1)38--53
-
Silvestri, Riccardo, see Ambühl, Christoph,
see Calamoneri, Tiziana,
see Clementi, Andrea E. F.
-
Silvestri:2008:LCO, 402(2)221--233
-
Silvi, S., 408(1)17--30
-
Silvi, S., see Credi, A.
-
similar, 355(1)37--47, 368(1)1--29
-
similarity, 353(1)26--52, 368(1)1--29, 395(2)268--282, 407(1)583--586,
410(24)2365--2376
-
Simon, Hans Ulrich, 350(1)40--48, 382(3)262--279, 387(1)1--3
-
Simon, Hans Ulrich, see Forster, Jürgen
-
Simon:2007:CWS, 382(3)262--279
-
Simon:2007:GEF, 387(1)1--3
-
Simone, Caterina, De, 355(3)364--370, 389(1)91--99
-
Simonet, Geneviève, 409(3)601--616, see Berry, Anne
-
Simonsen, Jakob Grue, 410(47)4878--4891
-
Simonsen:2009:CCL, 410(47)4878--4891
-
simple, 298(1)179--206, 348(2)251--261, 352(1)57--70, 355(2)243--260,
363(2)124--134, 368(3)231--246, 372(1)115--121, 376(1)42--51,
377(1)282--283, 380(3)363--372, 384(1)92--103, 385(1)101--114,
386(1)73--93, 386(1)114--131, 389(1)1--11, 391(1)150--163,
395(1)24--30, 396(1)277--282, 403(1)104--120, 404(1)127--141,
410(19)1807--1825, 410(26)2455--2462, 410(30)2947--2956,
410(38)3761--3768, 410(45)4543--4553
-
simpler, 377(1)181--204, 387(3)220--235
-
simplex, 361(2)210--225
-
Simplicial, 410(52)5443--5454
-
simplicity, 347(1)90--129
-
simplification, 410(8)997--1000
-
Simplifying, 351(3)303--313
-
Simplot-Ryl, Isabelle, 363(2)108--123
-
Simplot-Ryl, Isabelle, see Bailly, Arnaud
-
Simpson, Carlos, 392(1)128--140
-
Simpson, Jamie, 374(1)58--65, 401(1)165--171
-
Simpson, Jamie, see Puglisi, Simon J.
-
Simpson:2007:IPW, 374(1)58--65
-
Simpson:2008:ACC, 392(1)128--140
-
Sims, Élodie-Jane, 351(2)258--275
-
Sims:2006:ESL, 351(2)258--275
-
simulate, 408(1)83--96
-
simulated, 367(3)324--335, 386(1)73--93
-
Simulating, 409(3)411--416
-
simulation, 333(1)171--197, 336(2)403--435, 338(1)275--314, 355(1)6--24,
408(1)17--30, 410(33)3085--3109, 410(33)3149--3165
-
simultaneous, 410(21)1986--1992
-
Sinclair, Alistair, 407(1)359--369
-
Sinclair, Alistair, see Maneva, Elitza
-
single, 333(3)347--353, 348(2)217--225, 355(3)261--273, 362(1)115--126,
362(1)273--281, 363(3)257--265, 369(1)230--238, 374(1)49--57,
374(1)159--169, 393(1)102--108, 393(1)287--293, 410(8)745--755,
410(8)830--836, 410(27)2754--2758
-
Single-edge, 410(1)1--15
-
single-minded, 337(1)390--398
-
singular, near-, 392(1)92--100
-
singularity, 351(1)82--100, 359(1)111--122
-
singularization, 391(1)138--149
-
{\v{S}}{\'\i}r, Zbyn{\v{e}}k, 392(1)141--157
-
Sir:2008:CSR, 392(1)141--157
-
site, 408(2)151--162
-
Sivadasan, Naveen, 341(1)216--246
-
Sivadasan, Naveen, see Schäfer, Guido
-
Sivignon, Isabelle, 406(1)72--79
-
Sivignon, Isabelle, see Coeurjolly, David
-
six, 410(30)2889--2909
-
size, 330(2)205--220, 340(2)394--407, 341(1)379--384, 359(1)176--187,
363(2)234--246, 374(1)203--213, 380(1)47--68, 380(1)100--114,
384(1)104--110, 387(2)167--176, 403(1)104--120, 406(1)43--54,
407(1)474--487, 410(8)933--942, 410(27)2754--2758,
410(30)2972--2981, 410(35)3188--3197, 410(35)3281--3289,
410(43)4432--4443, 410(47)4864--4873
-
size, alphabet-, 410(35)3223--3235
-
size, Linear-, 410(11)1054--1060
-
size, Polynomial-, 357(1)35--52
-
SJF, 359(1)430--439
-
skew, 366(3)199--227, 367(3)273--285, 400(1)230--233
-
skip, 352(1)136--158
-
Skjernaa, Bjarke, 332(1)515--541
-
Skjernaa, Bjarke, see Byskov, Jesper Makholm
-
Skodinis, K., 332(1)199--232
-
Skodinis, K., see Brandenburg, F. J.
-
{\v{S}}koviera, Martin, 349(1)112--120,
see Má{\v{c}}ajov{\'a}, Edita
-
Skutella, Martin, 379(3)387--404
-
Skutella, Martin, see Hall, Alex
-
S{\l}adkowski, Jan, 358(1)15--22, see Miakisz, Katarzyna
-
{\v{S}}lapal, Josef, 405(1)164--175
-
Slapal:2008:QUD, 405(1)164--175
-
Slavnov, Sergey, 357(1)215--229
-
Slavnov:2006:GSL, 357(1)215--229
-
slicing, 343(3)509--528, 359(1)200--213, 360(1)23--41,
410(11)1061--1072
-
sliding, 410(8)914--925
-
sliding-block, 343(1)72--96
-
Sloan, Robert H., 382(3)198--208
-
Sloan:2007:RTF, 382(3)198--208
-
Sloper, Christian, 351(3)437--445
-
Sloper, Christian, see Prieto, Elena
-
slopes, 377(1)157--169, 410(38)3655--3669
-
slow, 405(3)237--255
-
small, 332(1)405--415, 340(2)394--407, 351(3)351--359, 362(1)171--195,
372(2)152--164, 387(3)249--257, 393(1)287--293, 395(2)171--192,
407(1)474--487, 409(2)186--199, 410(4)406--416, 410(4)443--450,
410(36)3406--3413
-
Small-World, 410(47)4975--4988
-
small-world, 355(1)96--103
-
smallest, 347(1)214--238, 350(1)40--48, 362(1)33--53
-
Smith, Jason R., 363(2)135--148
-
Smith, Jason R., see Câmpeanu, Cezar
-
Smolka, G., 364(3)338--356
-
Smolka, G., see Niehren, J.
-
Smolka, S. A., 410(33)3149--3165
-
Smolka, S. A., see Bartocci, E.
-
smooth, 341(1)293--310, 352(1)306--317, 393(1)166--181
-
smoothed, 341(1)216--246, 378(3)253--270, 378(3)292--315
-
Smyth, Michael B., 365(3)169--170, 405(1)1--2
-
Smyth, Michael B., see Kopperman, Ralph
-
Smyth, W. F., 401(1)165--171, 410(43)4295--4302
-
Smyth, W. F., see Puglisi, Simon J.
-
Smyth:2009:NAP, 410(43)4295--4302
-
snake, 410(16)1486--1494
-
snapshots, 410(42)4180--4189
-
SNP, 410(30)2982--2991
-
Soares, José, 389(1)133--142,
see Martinez, Fábio Viduani
-
Soboci{\'n}ski, Pawe{\l}, 333(1)297--327, 410(41)4001--4005,
see Carbone, Marco,
see Sassone, Vladimiro
-
social, 369(1)116--135
-
sofic, 340(2)381--393, 345(2)190--205, 356(1)6--13, 410(43)4423--4431
-
Soft, 403(2)192--201
-
software, 331(2)367--396, 390(2)127--128, 404(3)256--274,
410(46)4672--4691
-
Soguet, David, 410(14)1307--1318
-
Soguet, David, see Nisse, Nicolas
-
Sohler, Christian, 331(1)37--52, 410(47)5082--5092
-
Sohler, Christian, see Batu, Tu{\=g}kan,
see Czumaj, Artur
-
Soittola, 393(1)196--203
-
solar, 410(45)4580--4587
-
Soliman, Sylvain, 403(1)52--70
-
Soliman, Sylvain, see Fages, François
-
Solis-Oba, Roberto, 352(1)250--265, 361(2)131--132
-
Solis-Oba, Roberto, see Frederickson, Greg N.,
see Jansen, Klaus
-
Solitaire, 410(50)5252--5260
-
Solitar, Baumslag-, 339(2)344--371
-
Solomon, Noam, 384(2)168--183
-
Solomon, Noam, see Dinitz, Yefim
-
Solomon, Reed-, 379(3)348--360
-
Soloveichik, David, 344(2)279--297, 412(43)6112--6113
-
Soloveichik:2005:CPB, 344(2)279--297, 412(43)6112--6113
-
Soloveichik:2011:ESC, 344(2)279--297, 412(43)6112--6113
-
Soltys, Michael, 348(2)321--333
-
Soltys:2005:PHC, 348(2)321--333
-
solution, 332(1)337--366, 346(2)254--264, 348(2)277--293, 362(1)17--32,
366(1)3--59, 371(1)54--61, 372(2)165--182, 374(1)191--195,
389(1)152--161, 403(2)409--415, 407(1)359--369, 410(21)2064--2071,
410(38)3814--3825
-
solvability, 352(1)342--346
-
solvable, 345(1)122--138
-
solve, 349(3)361--381, 372(2)218--241
-
solved, 351(1)111--118
-
solving, 349(2)123--139, 370(1)94--109, 383(2)200--243, 395(1)31--46,
401(1)217--227, 404(1)76--87, 407(1)155--181, 408(1)55--65,
409(2)229--240
-
solving, CSC-, 388(1)243--266
-
Solymosi, József, 363(1)11--17, see Adamy, Udo
-
Soma, N. Y., 407(1)342--348
-
Soma, N. Y., see Sanches, C. A. A.
-
Son, Sang Hyuk, 410(27)2632--2640
-
Son, Sang Hyuk, see Park, Jung-Heum
-
SONET, 349(3)337--346, 384(2)250--262
-
Song, Xiaoyu, 334(1)259--274
-
Song, Xiaoyu, see Yang, Guowu
-
Sopena, Éric, 410(21)2033--2044, see Guignard, Adrien
-
Sorbi, A., 410(27)2701--2713
-
Sorbi, A., see De Carli, F.
-
Sorbi, Andrea, 410(4)283--284
-
Sorbi, Andrea, see Bonizzoni, Paola
-
Sorrentino, Francesco, 410(8)886--899
-
Sorrentino, Francesco, see Ferrante, Alessandro
-
sort, 369(1)44--66
-
Sorted, 354(1)142--152
-
sorted, many-, 373(1)70--91
-
sorting, 387(3)249--257, 387(3)258--272, 410(8)711--717,
410(11)1030--1041, 410(36)3372--3390, 410(38)3725--3732,
410(44)4457--4470
-
SOS, 373(3)238--272, 409(2)200--210
-
Sosík, Petr, 330(2)251--266, 332(1)47--61, 334(1)131--159,
369(1)183--196, 372(2)196--217, 396(1)264--270,
see Domaratzki, Michael,
see Freund, Rudolf, \see{Ibarra, Oscar H.,
see Kari, Lila
-
Soto, M., 410(8)670--687
-
Soto, M., see Kiwi, M.
-
Souissi, Samia, 396(1)97--112
-
Souissi, Samia, see Défago, Xavier
-
sound, 343(3)482--508, 394(1)112--133
-
soundness, 368(1)1--29
-
source, 348(2)217--225, 372(1)81--93
-
Soyer, O., 408(1)83--96
-
Soyer, O., see Dematté, L.
-
Spaccamela, Alberto Marchetti, 410(27)2725--2731
-
Spaccamela, Alberto Marchetti, see Diaz, Josep
-
Spaccamela, Alberto, Marchetti-, 410(14)1346--1354
-
space, 339(1)35--48, 341(1)91--137, 341(1)138--149, 346(1)28--57,
351(1)2--13, 351(2)131--145, 354(3)379--390, 365(3)199--205,
368(1)1--29, 368(1)30--49, 371(1)4--19, 378(1)78--86,
380(1)143--163, 383(2)132--139, 385(1)127--136, 387(3)249--257,
389(1)250--264, 405(1)24--34, 405(1)35--40, 405(1)73--74,
405(1)88--100, 405(1)198--205, 407(1)342--348, 410(11)1081--1092,
410(37)3553--3562, 410(38)3606--3615, 492(z)117--122
-
space--time, 405(1)50--63
-
space--times, 405(1)64--72
-
Space-aware, 373(1)41--69
-
space-bounded, 334(1)177--225
-
Spagnuolo, M., 392(1)5--22
-
Spagnuolo, M., see Biasotti, S.
-
Spakowski, Holger, 349(3)382--391, 410(38)3995--4000
-
Spakowski, Holger, see Erdélyi, Gábor,
see Hemaspaandra, Edith
-
Spandl, Christoph, 410(38)3606--3615
-
Spandl, Christoph, see Müller, Johannes
-
spanner, 337(1)249--277, 347(1)54--75, 383(1)34--44, 399(1)83--100,
410(36)3406--3413
-
spanning, 355(1)80--95, 378(1)32--40, 381(1)218--229, 385(1)101--114,
396(1)28--34, 410(8)877--885, 410(8)926--932, 410(21)2001--2010,
410(50)5273--5284
-
sparse, 347(1)54--75, 354(1)72--81, 356(1)104--117, 379(3)361--376,
381(1)274--279, 386(1)114--131, 399(1)83--100, 407(1)134--154,
407(1)458--473, 409(2)180--185, 409(2)200--210, 410(47)5158--5181
-
spatial, 330(3)475--499, 353(1)165--207, 356(3)440--467, 358(2)293--314,
365(3)206--215
-
Spatial-behavioral, 402(2)120--141
-
special, 333(1)1--1, 345(1)1--1, 345(1)v--ix, 354(2)169--172,
363(3)289--300, 370(1)121--130, 391(1)1--2, 395(2)135--136,
399(3)157--157, 410(43)4293--4294, 410(44)4445--4445
-
specialized, 351(1)111--118
-
species, 347(1)36--53, 370(1)299--308
-
specific, player-, 410(17)1552--1563
-
specification, 343(3)305--331, 343(3)482--508, 351(2)131--145,
351(2)146--166, 351(2)184--202, 353(1)228--248, 354(1)42--71,
358(2)315--333, 367(1)88--122, 382(1)3--23, 410(12)1217--1260,
410(12)1261--1271, 410(42)4262--4291
-
specified, 409(3)341--350
-
specify, 351(1)111--118
-
spectra, 410(38)3670--3684
-
spectral, 410(1)78--83, 410(11)1081--1092
-
spectrum, 405(1)101--115
-
speed, 351(1)14--26, 360(1)209--227, 410(45)4580--4587
-
Spenke, Ines, 369(1)338--347
-
Spenke, Ines, see Koch, Ronald
-
Speranza, Maria Grazia, 393(1)211--219
-
Speranza, Maria Grazia, see Angelelli, Enrico
-
Sperber, Heike, 410(47)4989--4999
-
Sperber, Heike, see Gassner, Elisabeth
-
spike, 410(30)2982--2991
-
spiking, 372(2)196--217, 386(1)57--72, 395(1)57--76, 410(24)2352--2364,
410(26)2478--2488
-
Spinrad, Jeremy, 349(1)2--21
-
Spinrad, Jeremy, see Bodlaender, Hans L.
-
Spirakis, P., 343(1)133--157, 406(3)215--224
-
Spirakis, P., see Gairing, M.,
see Nikoletseas, S.
-
Spirakis, P. G., 410(8)745--755, 410(50)5261--5272
-
Spirakis, P. G., see Kaporis, A. C.,
see Nikoletseas, S.
-
Spirakis, Paul, 333(3)373--400, 348(2)226--239, 381(1)44--56,
402(1)56--66, 410(6)595--613, 410(36)3305--3326
-
Spirakis, Paul, see Busch, Costas,
see Fotakis, Dimitris,
see Koukopoulos, Dimitrios,
see Mavronicolas, Marios,
see Nikoletseas, Sotiris
-
Spirakis, Paul G., 349(1)40--51, 359(1)400--417, 407(1)134--154,
410(8)933--942, 410(17)1551--1551, 410(17)1599--1606
-
Spirakis, Paul G., see Díaz, Josep,
see Efraimidis, Pavlos S.,
see Efthymiou, Charilaos,
see Kontogiannis, Spyros C.
-
Spirakis:2009:P, 410(17)1551--1551
-
Spiwack, Arnaud, 398(1)243--260
-
Spiwack, Arnaud, see Liquori, Luigi
-
splicing, 334(1)71--98, 340(2)349--363, 358(1)75--87, 371(1)72--82,
378(1)131--131, 386(1)132--150, 410(4)406--416, 410(47)4937--4960
-
split, 374(1)181--190
-
splittable, 369(1)338--347
-
Splitting, 375(1)109--119
-
Spoerhase, J., 410(47)5128--5137
-
Spoerhase:2009:CPP, 410(47)5128--5137
-
Spohr, Hendrik, 403(2)160--175
-
Spohr, Hendrik, see Baaz, Matthias
-
sponsored, 407(1)182--191
-
Spoto, Fausto, 388(1)53--82
-
Spoto:2007:OCI, 388(1)53--82
-
spreading, 399(1)71--82, 410(27)2714--2724
-
Spreen, Dieter, 365(3)169--170, 405(1)1--2, 405(1)176--187
-
Spreen, Dieter, see Kopperman, Ralph
-
Spreen:2008:ISR, 405(1)176--187
-
Springer, 336(2)235--284
-
square, 339(1)19--34, 363(1)69--75, 380(3)373--376, 382(3)221--231,
384(2)263--286, 396(1)10--27, 409(2)269--281, 410(38)3942--3948
-
square-free, 396(1)254--257, 410(38)3893--3900
-
Srba, J., 410(41)4026--4043
-
Srba, J., see Bene{\v{s}}, N.
-
Sritharan, R., 381(1)57--67, 381(1)260--265
-
Sritharan, R., see Brandstädt, Andreas,
see Figueiredo, C. M. H. de
-
SRPT, 359(1)430--439
-
st, 357(1)35--52, 408(2)224--240
-
stability, 344(2)103--119, 351(1)14--26
-
stabilization, 409(2)311--317, 410(4)426--442
-
stabilizers, 400(1)169--181, 410(30)2935--2946
-
stabilizing, self-, 349(3)475--483, 399(1)118--127,
410(6)581--594, 410(14)1336--1345
-
stabilizing, Self-, 410(6)514--532
-
stable, 343(1)237--281, 368(1)124--148, 370(1)229--239, 379(3)317--328,
381(1)162--176, 389(1)295--306, 400(1)84--99, 409(2)229--240,
410(8)933--942
-
Stachowiak, Grzegorz, 354(3)354--366
-
Stachowiak:2006:FPC, 354(3)354--366
-
Stackelberg, 410(8)745--755
-
stage, four-, 410(43)4350--4359
-
stage, three-, 372(1)103--107
-
stage, Two-, 408(2)213--223
-
stagnation, 341(1)247--262
-
Staiger, Ludwig, 381(1)33--43, 383(2)187--199, 410(24)2323--2335
-
Staiger, Ludwig, see Calude, Cristian S.,
see Jürgensen, Helmut
-
Staiger:2007:KCI, 383(2)187--199
-
stale, 410(36)3357--3371
-
stamps, Time-, 356(1)255--262
-
standard, 336(2)235--284, 339(2)272--292, 341(1)276--292,
380(3)330--354, 380(3)393--400, 382(1)71--83, 394(1)112--133,
410(30)2804--2810
-
standard, non-, 389(1)143--151
-
star, 337(1)370--378, 339(2)257--271, 351(3)437--445, 396(1)191--199,
410(8)766--775, 410(52)5481--5490
-
star-duality, 391(1)39--50
-
Stärk, 336(2)235--284
-
Stark, Ian, 390(2)248--270
-
Stärk, Robert F., 336(2)235--284, 336(2)343--365, 343(3)482--508,
see Börger, Egon,
see Nanchen, Stanislas
-
Stark:2005:FSV, 343(3)482--508
-
Stark:2008:FAM, 390(2)248--270
-
start-up, 396(1)200--211
-
starting, 351(1)101--110
-
state, 330(1)23--34, 330(1)101--116, 330(2)287--298, 336(2)205--207,
336(2)343--365, 338(1)315--349, 343(3)482--508, 346(1)161--182,
351(2)131--145, 353(1)291--316, 365(1)143--168, 376(1)17--29,
383(2)140--152, 387(1)18--31, 387(2)155--166, 403(2)382--405,
404(3)293--307, 405(1)88--100, 409(1)126--136, 410(20)1923--1931,
410(20)1952--1959, 410(24)2377--2392, 410(24)2401--2409,
410(24)2431--2441, 410(27)2537--2548, 410(30)2961--2971,
410(35)3272--3280, 410(35)3290--3302, 410(37)3504--3512,
410(47)5010--5021
-
state, finite-, 346(1)113--134, 349(3)392--406, 358(2)315--333,
370(1)110--120, 373(1)92--114
-
state, infinite-, 330(3)577--607, 358(2)315--333
-
state-alternating, 337(1)183--216
-
State-complexity, 410(35)3223--3235
-
state-extended, 394(1)134--140
-
stateless, 366(1)98--120
-
statements, 405(1)50--63
-
static, 330(3)475--499, 349(2)184--201, 405(1)64--72, 410(33)3110--3127
-
Static, Quasi-, 381(1)44--56
-
stationary, 405(3)237--255
-
statistical, 364(1)132--142, 378(1)101--116, 410(21)2207--2222
-
statistics, 356(1)153--169, 410(21)2223--2233, 410(38)3743--3750
-
Stauffer, Alexandre O., 355(1)80--95
-
Stauffer:2006:LHE, 355(1)80--95
-
Stav, Uri, 410(47)4920--4927
-
Stav, Uri, see Alon, Noga
-
steady, 404(3)293--307
-
Stearns, Richard E., 386(1)3--37, 395(1)132--133
-
Stearns, Richard E., see Barrett, Chris
-
Stee, Rob van, 377(1)55--64, 407(1)85--96
-
Stee, Rob van, see Epstein, Leah
-
Steel, Graham, 367(1)257--270
-
Steel:2006:FAP, 367(1)257--270
-
Stefaneas, Petros, 379(1)210--230
-
Stefaneas, Petros, see Diaconescu, R{\u{a}}zvan
-
Stefansen, Christian, 410(2)168--201
-
Stefansen, Christian, see Field, John
-
Steffen, Bernhard, 404(3)185--185
-
Steffen, Bernhard, see Margaria, Tiziana
-
Steffen, Martin, 331(2)251--290
-
Steffen, Martin, see Ábrahám, Erika
-
Steinberg, B., 341(1)1--21
-
Steinberg, B., see Auinger, K.
-
Steinberg, Benjamin, 359(1)101--110
-
Steinberg, Benjamin, see Arnold, Fredrick
-
Steinby, Magnus, 377(1)1--24, 410(37)3495--3503
-
Steinby, Magnus, see Salehi, Saeed
-
Steinby:2009:DSD, 410(37)3495--3503
-
Steiner, 381(1)288--291, 389(1)133--142, 406(3)207--214,
410(11)1093--1098, 410(36)3428--3435
-
Steiner, George, 355(3)261--273
-
Steiner, George, see Kolliopoulos, Stavros G.
-
Stenico, Marco, 404(1)97--111
-
Stenico, Marco, see Geisweiller, Nil
-
Stephan, Frank, 350(1)103--124, 364(1)62--76, 364(1)115--131,
382(3)170--182, 384(1)49--65, 397(1)114--128, 405(3)207--208,
410(19)1796--1806
-
Stephan, Frank, see Case, John,
see Jain, Sanjay, \see{Long, Philip M.,
see Martin, Eric, \see{Martin, {\'E}ric
-
stepped, 380(3)251--265, 380(3)317--329
-
steps, 343(3)482--508
-
Stevens, Brett, 410(52)5403--5414
-
Stevens, Brett, see Danziger, Peter
-
Stewart, Iain A., 393(1)182--195
-
Stewart, Iain A., see Broersma, Hajo
-
Steyaert, Jean-Marc, 335(1)67--92
-
Steyaert, Jean-Marc, see Waldispühl, Jérôme
-
STG, 388(1)243--266
-
Stibor, T., 403(1)11--32
-
Stibor, T., see Timmis, J.
-
Stiebe, Ralf, 410(35)3261--3271
-
Stiebe, Ralf, see Dassow, Jürgen
-
still, 331(1)3--21, 377(1)126--138
-
stochastic, 364(1)77--97, 382(1)42--70, 387(1)4--17, 408(1)66--82,
408(2)213--223, 410(33)3039--3064, 410(33)3085--3109,
410(47)4844--4855
-
Stoelinga, Mariëlle, 345(1)139--170,
see Alfaro, Luca de
-
Stojakovi{\'c}, Milo{\v{s}}, 363(1)11--17, see Adamy, Udo
-
Stoltenberg-Hansen, V., 365(3)216--236
-
Stoltenberg-Hansen, V., see Hamrin, G.
-
Stone, 405(1)11--23
-
Stone, Daniell-, 359(1)28--42
-
stop, fail-, 410(8)736--744
-
storage, 372(1)115--121
-
Storch, Tobias, 386(1)114--131
-
Storch:2007:FLC, 386(1)114--131
-
Stougie, Leen, 295(1)279--294, 352(1)347--348, 407(1)231--241,
410(14)1346--1354
-
Stougie, Leen, see Korteweg, Peter,
see Krumke, Sven O.
-
Stoye, Jens, 395(2)220--234, 410(51)5300--5316
-
Stoye, Jens, see Bergeron, Anne,
see Schürmann, Klaus-Bernd
-
Straccia, Umberto, 342(2)351--381
-
Straccia, Umberto, see Loyer, Yann
-
straight-line, 407(1)258--273, 410(27)2659--2662
-
strands, 410(15)1448--1460
-
Strassen, Alder-, 331(1)3--21
-
Strategic, 409(3)530--536
-
strategy, 349(2)140--157, 352(1)232--239, 354(2)187--210,
354(2)230--249, 361(1)18--37, 361(1)57--71, 368(1)1--29,
405(3)285--296, 410(8)933--942, 410(36)3391--3405
-
strategyproof, Group-, 401(1)96--106
-
stratification, 342(2)382--415
-
Straube, Bernd, 404(3)293--307
-
Straube, Bernd, see Schönherr, Jens
-
Straubing, Howard, 356(1)73--89
-
Straubing, Howard, see Chaubard, Laura
-
Strauss, Chaim, Goodman-, 410(16)1534--1549
-
Strauss, Martin J., 410(18)1730--1745
-
Strauss, Martin J., see Ishai, Yuval
-
stream, 343(3)443--481, 353(1)291--316, 378(3)211--222, 403(2)176--191,
407(1)302--309
-
streaming, 380(1)199--217, 410(19)1765--1780, 410(36)3406--3413
-
streaming, semi-, 348(2)207--216
-
Strej{\v{c}}ek, Jan, 394(1)134--140,
see K{\v{r}}et{\'\i}nsk{\'y}, Mojm{\'\i}r
-
strength, 330(3)501--551
-
stretch, 359(1)430--439, 383(1)23--33, 410(36)3406--3413
-
strict, 347(1)306--324, 380(3)330--354, 389(1)82--90, 410(4)384--405
-
strict, -, 380(3)330--354
-
strict, Non-, 410(46)4704--4723
-
strictly, 342(1)3--27, 410(38)3982--3987
-
strictness, 388(1)290--318
-
strike, 377(1)55--64
-
string, 332(1)391--404, 346(2)189--199, 352(1)240--249, 352(1)266--279,
359(1)329--343, 370(1)1--18, 372(1)115--121, 374(1)74--81,
375(1)137--168, 387(2)93--102, 395(2)135--136, 395(2)220--234,
395(2)268--282, 401(1)165--171, 408(2)106--115, 410(11)1099--1108,
410(30)2999--3005, 410(38)3925--3941, 410(38)3942--3948,
410(43)4295--4302, 410(43)4341--4349, 410(43)4360--4371,
410(50)5227--5235, 410(51)5334--5346
-
string-matching, 410(30)2804--2810
-
strip, 410(38)3792--3803
-
strong, 341(1)196--215, 379(1)84--119, 398(1)63--81, 398(1)114--128,
401(1)27--35, 410(42)4204--4215
-
strongly, 343(1)237--281, 362(1)54--62, 377(1)268--270, 381(1)57--67,
410(8)661--669, 410(17)1607--1615
-
Strothmann, Dirk, 389(1)278--294
-
Strothmann:2007:AAD, 389(1)278--294
-
structural, 336(1)3--31, 336(1)181--203, 347(3)441--464, 354(3)421--440,
368(3)205--216, 388(1)290--318, 404(1)156--169, 409(3)549--556,
410(30)2834--2839
-
structure, 334(1)71--98, 335(1)29--51, 335(1)53--66, 343(1)133--157,
349(3)347--360, 353(1)63--70, 356(1)104--117, 358(2)173--199,
363(2)211--223, 365(3)258--282, 375(1)137--168, 378(2)165--174,
379(1)266--285, 379(3)405--417, 387(3)313--331, 388(1)199--226,
389(1)278--294, 390(2)127--128, 395(1)47--56, 400(1)19--45,
405(1)24--34, 407(1)310--317, 410(4)294--301, 410(15)1440--1447,
410(15)1448--1460, 410(21)2295--2300, 410(27)2619--2631,
410(36)3305--3326, 410(41)4111--4159, 410(43)4402--4413,
410(46)4626--4671, 410(52)5505--5514, 475(z)126--127
-
structured, 336(2)235--284, 344(2)298--334, 373(1)1--18, 407(1)155--181
-
structured, tree-, 387(3)284--297
-
structured, well-, 372(2)125--135
-
structuring, 360(1)42--76
-
Strusevich, Vitaly A., 369(1)230--238
-
Strusevich, Vitaly A., see Kellerer, Hans
-
Struth, Georg, 351(2)221--239
-
Struth, Georg, see Möller, Bernhard
-
Stubbe, Isar, 373(1)142--160
-
Stubbe:2007:TDD, 373(1)142--160
-
Stüber, Torsten, 403(2)221--238
-
Stuber:2008:WMD, 403(2)221--238
-
student, 340(2)186--187, 375(1)346--350
-
study, 351(1)82--100, 356(3)356--373, 410(12)1159--1189,
410(47)4844--4855, 410(52)5455--5466
-
Stupp, Gideon, 344(1)86--99
-
Stupp:2005:EUR, 344(1)86--99
-
Sturmian, 339(1)88--102, 340(2)204--219, 340(2)220--239, 341(1)276--292,
346(2)469--489, 352(1)31--46, 356(1)118--125, 372(1)15--25,
380(3)304--316, 380(3)393--400, 407(1)569--573, 410(30)2804--2810,
410(30)2864--2869, 410(38)3589--3596, 410(43)4372--4381
-
stuttering, 368(1)50--63
-
Su, Chi-Shiang, 410(27)2581--2591
-
Su, Jianwen, 341(1)344--363, 409(3)417--431
-
Su, Jianwen, see Dang, Zhe,
see Gerede, Cagdas E.
-
Su, Zhendong, 345(1)122--138
-
Su:2005:CPS, 345(1)122--138
-
Su:2009:NHA, 410(27)2581--2591
-
sub-matrix, 410(47)4801--4811
-
sub-recursive, 348(2)130--147
-
sub-recursive, -, 348(2)130--147
-
subadditive, 363(3)289--300
-
subclass, 340(2)349--363, 364(1)115--131, 381(1)248--259,
410(47)5072--5081
-
subdivided, 365(3)199--205
-
subdivision-constrained, 410(8)877--885
-
subexponential, 349(3)347--360
-
subgraph, 355(1)80--95, 374(1)149--158, 381(1)260--265, 385(1)1--10,
385(1)101--114, 401(1)144--152, 407(1)545--553, 410(14)1388--1400,
410(21)2045--2053, 410(38)3640--3654
-
subgroup, 380(1)115--126
-
subject, 410(38)3975--3981
-
Subjective-cost, 378(2)175--189
-
sublanguages, 397(1)233--246
-
sublinear, 381(1)183--196
-
sublinear-time, 410(47)5082--5092
-
sublogarithmic, 341(1)138--149, 345(2)473--504
-
submodularity, 401(1)36--51
-
submonoids, 352(1)57--70, 356(1)245--254, 391(1)90--98
-
subnet, 332(1)461--485
-
subregular, 410(35)3209--3222
-
subregularly, 410(35)3261--3271
-
subsequence, 341(1)379--384, 370(1)1--18, 378(3)223--236,
395(2)255--267, 409(3)394--404, 410(27)2759--2766,
410(43)4360--4371, 410(51)5347--5353
-
subset, 351(1)2--13, 351(3)351--359, 382(2)151--156, 385(1)241--263,
409(3)537--548
-
subset-sum, 407(1)342--348
-
subshifts, 391(1)20--38, 410(37)3504--3512
-
subshifts, -, 391(1)20--38
-
subspace-learning, 405(3)237--255
-
substitutability, 378(2)143--152
-
substitution, 333(1)91--125, 346(2)469--489, 351(2)258--275,
369(1)183--196, 380(3)251--265, 380(3)317--329, 389(1)118--124,
410(12)1159--1189, 410(21)2084--2098, 410(38)3893--3900
-
substring, 410(8)900--913
-
substructures, 391(1)150--163
-
Subthreshold-seeking, 361(1)2--17
-
subtle, 368(1)1--29, 395(2)158--170
-
subtrees, 362(1)33--53, 369(1)256--268, 370(1)299--308
-
subtyping, 357(1)167--185, 398(1)217--242
-
subword, 340(2)188--203, 362(1)222--231, 363(2)211--223, 389(1)318--329,
407(1)250--257, 410(21)2084--2098, 410(38)3573--3588
-
successive, 410(18)1648--1665
-
successors, 410(38)3982--3987
-
succinct, 330(2)299--310, 348(2)334--356, 379(3)405--417,
408(2)174--187
-
succinctly, 387(3)284--297
-
such, 351(1)82--100, 368(1)1--29
-
Suchan, Karol, 410(1)35--43
-
Suchan:2009:MIC, 410(1)35--43
-
Sudborough, I. H., 410(36)3372--3390
-
Sudborough, I. H., see Chitturi, B.
-
Sudborough, I. Hal, 410(8)711--717
-
Sudborough, I. Hal, see Bein, Wolfgang W.
-
Suderman, Matthew, 359(1)148--175
-
Suderman, Matthew, see Di Giacomo, Emilio
-
Sudholt, Dirk, 410(26)2511--2528
-
Sudholt:2009:IPM, 410(26)2511--2528
-
suffice, 348(2)217--225
-
sufficient, 330(2)251--266, 346(2)335--357, 385(1)71--77,
410(47)5145--5157
-
suffix, 352(1)240--249, 363(2)211--223, 385(1)127--136, 387(3)249--257,
387(3)258--272, 395(2)220--234, 407(1)290--301, 408(2)106--115,
410(37)3471--3480, 410(37)3553--3562, 410(43)4391--4401,
410(51)5354--5364
-
suffix-free, 410(27)2537--2548
-
suffix-tree-based, inexact-, 335(1)3--14
-
Sui, Jie, 332(1)391--404
-
Sui, Jie, see He, Longtao
-
Sui, Yuefei, 368(1)149--160
-
Sui, Yuefei, see Zhang, Zaiyue
-
suitable, 343(3)482--508
-
suites, 404(3)219--234
-
Sulanke, Robert A., 346(2)455--468
-
Sulanke:2005:TDN, 346(2)455--468
-
sum, 357(1)70--99, 361(2)133--149, 377(1)151--156, 377(1)229--237,
409(2)269--281
-
sum, maximum-, 407(1)349--358
-
sum, subset-, 407(1)342--348
-
sum-type, 396(1)28--34
-
Sumii, Eijiro, 375(1)169--192
-
Sumii:2007:BDS, 375(1)169--192
-
summary, 385(1)264--285, 410(19)1847--1862
-
summation, 409(2)255--268
-
Summers, Scott M., 410(4)384--405
-
Summers, Scott M., see Lathrop, James I.
-
sums, maximum-, 362(1)162--170
-
Sun, Aries Wei, 393(1)1--13
-
Sun, Aries Wei, see Bu, Tian-Ming
-
Sun, He, 410(11)1073--1080
-
Sun, Xiaoming, 384(1)87--91, 410(8)727--735
-
Sun, Xiaoming, see Zhang, Yuchen
-
Sun, Zheng, 354(3)379--390
-
Sun, Zheng, see Reif, John H.
-
Sun, Zhi-Wei, 330(1)59--79
-
Sun, Zhi-Wei, see Dang, Zhe
-
Sun:2007:BSW, 384(1)87--91
-
Sun:2009:TIR, 410(11)1073--1080
-
Sung, Wing-Kin, 335(1)93--107, 352(1)240--249, 363(1)60--68
-
Sung, Wing-Kin, see Choy, Charles,
see Huynh, Trinh N. D.,
see Jansson, Jesper
-
super, 339(2)257--271
-
supercover, 406(1)8--14
-
superlinear, 345(2)345--358
-
superpolynomial, 410(50)5215--5226
-
superstring, 410(51)5374--5381
-
supertrees, 362(1)33--53
-
supply, 363(3)278--288
-
support, 368(1)1--29, 392(1)141--157, 410(8)933--942
-
Suresh, S. P., 367(1)228--256
-
Suresh, S. P., see Ramanujam, R.
-
surface, 346(2)281--299, 365(3)184--198, 380(3)251--265, 380(3)317--329,
392(1)66--91, 392(1)92--100, 392(1)141--157, 410(52)5481--5490
-
surface-thinning, 406(1)119--135
-
Suri, Siddharth, 348(2)207--216
-
Suri, Siddharth, see Feigenbaum, Joan
-
survey, 334(1)3--33, 337(1)217--239, 344(2)243--278, 395(1)101--131,
395(2)137--157, 395(2)171--192, 397(1)4--56, 397(1)194--232,
410(4)443--450
-
survivable, 410(21)2122--2125
-
Surya, Sumati, 405(1)188--197
-
Surya:2008:CST, 405(1)188--197
-
Susilo, Willy, 410(8)736--744
-
Susilo:2009:SFS, 410(8)736--744
-
suspicious, 410(6)546--569
-
Suzuki, Ichiro, 399(3)220--235, 400(1)84--99
-
Suzuki, Ichiro, see Cheng, Christine,
see Dumitrescu, Adrian
-
Suzuki, Tomoko, 393(1)90--101
-
Suzuki, Toshio, 347(1)90--129
-
Suzuki, Toshio, see Yamakami, Tomoyuki
-
Suzuki, Yusuke, 350(1)63--90
-
Suzuki:2006:OTT, 350(1)63--90
-
Suzuki:2008:MOG, 393(1)90--101
-
Swapping, 383(1)23--33
-
swaps, 385(1)115--126
-
swarm, 410(14)1355--1368
-
Swept, 392(1)66--91
-
Switched, 365(1)83--108
-
switches, 409(3)477--485
-
switching, 339(2)333--343
-
symbol-wise, 410(27)2759--2766
-
symbolic, 337(1)51--104, 338(1)393--425, 366(1)163--179, 370(1)34--47,
380(3)276--285, 394(1)112--133, 410(47)4878--4891
-
symbolic-probabilistic, 353(1)228--248
-
symbolically, 351(1)82--100
-
symbols, 363(2)162--181
-
symmetric, 384(1)87--91, 396(1)63--70, 396(1)223--246, 398(1)114--128
-
Symmetrized, 391(1)164--177
-
symmetry, 345(2)386--405, 346(2)307--334, 358(1)121--141, 378(1)78--86,
410(15)1440--1447, 410(27)2779--2783
-
symport/antiport, 358(1)88--103
-
Synapses, 408(1)66--82
-
synchronisation, 367(1)139--161
-
synchronization, 356(1)170--185, 380(1)23--36, 387(2)113--124,
402(2)102--119
-
synchronized, 341(1)263--275, 410(35)3198--3208
-
synchronized, block-, 337(1)119--133
-
synchronizing, 330(1)3--13, 359(1)101--110, 359(1)306--328,
376(1)30--41, 391(3)216--238, 410(37)3513--3519, 410(38)3925--3941
-
synchronous, 358(2)229--254, 366(3)297--315, 376(1)52--59,
384(2)232--249, 386(3)218--235
-
synchronousash, 410(2)168--201
-
synopses, 371(3)227--246, 379(3)418--436
-
syntactic, 350(2)234--251, 352(1)57--70, 375(1)76--108, 394(1)64--83
-
syntax, 343(1)177--206, 353(1)1--25
-
syntax-directed, 410(37)3495--3503
-
synthesis, 367(3)336--346, 403(1)130--131, 408(1)41--54
-
systematic, 330(1)81--99
-
systems., 368(1)1--29
-
Szabó, Csaba, 407(1)591--595,
see Horváth, Gábor
-
Szabó, Sándor, 359(1)449--454
-
Szabo:2006:CCR, 359(1)449--454
-
Szeider, Stefan, 337(1)347--359, 351(3)351--359, 410(21)2045--2053
-
Szeider, Stefan, see Fellows, Michael R.,
see Fleischner, Herbert,
see Hoory, Shlomo
-
Szepesvári, Csaba, 410(19)1876--1902,
see Audibert, Jean-Yves
-
Szörényi, Balázs, 382(3)198--208,
see Sloan, Robert H.
-
Szpankowski, Wojciech, 368(3)217--230, 395(2)203--219
-
Szpankowski, Wojciech, see Jacquet, Philippe,
see Lonardi, Stefano
-
Szwarcfiter, Jayme L., 337(1)240--248
-
Szwarcfiter, Jayme L., see Dias, Vânia M. F.