Index file section S for tcs2010.bib

Last update: Sun Mar 31 03:12:29 MDT 2019

Return to index directory

S

S., Srinivasa Rao, 438(1)74--88
S., Srinivasa Rao, see Munro, J. Ian
Sá, Vinícius G. P. de, 412(22)2370--2379
Sá, Vinícius G. Pereira de, 540(z)70--81, see Fonseca, Guilherme D. da
Saarela, Aleksi, 454(1)172--177
Saarela, Aleksi, see Huova, Mari
Saari, Kalle, 432(1)77--84
Saari, Kalle, see Matomäki, Kaisa
Saba, Andrea, 431(1)13--39
Saba, Andrea, see Pinna, G. Michele
Sabato, Sivan, 411(29)2696--2711
Sabato, Sivan, see Shamir, Ohad
Sabel, David, 411(11)1521--1541
Sabel, David, see Schmidt-Schauß, Manfred
Sabia, Juan, 411(44)3894--3904
Sabia, Juan, see Herrero, María Isabel
Sablik, M., 412(30)3800--3821
Sablik, M., see Delacourt, M.
Sach, Benjamin, 483(z)68--74
Sach, Benjamin, see Clifford, Raphaël
Sadahiro, Taizo, 412(4)307--319
Sadahiro, Taizo, see Okazaki, Ryotaro
Sadakane, Kunihiko, 411(16)1889--1894, 412(39)5176--5186, 444(1)60--76, 532(z)14--30
Sadakane, Kunihiko, see Czyzowicz, Jurek, see Do, Huy Hoang, \see{Hon, Wing-Kai, see Nonaka, Yoshiaki
Sadasivam, Sadish, 411(7)995--1003
Sadasivam:2010:NCO, 411(7)995--1003
Sadeghi, Mohammad-Reza, 495(z)25--36
Sadeghi, Mohammad-Reza, see Dehghan, Ali
Sadeghian, Sina, 550(z)36--50
Sadeghian, Sina, see Fazli, MohammadAmin
Sadri, F., Blanchet-, 411(49)4263--4271, 412(29)3752--3758, 428(1)1--9, 432(1)21--27, 443(1)35--45, 475(z)34--46, 485(z)16--37, 506(z)17--28, 524(z)41--47, 530(z)42--57
Sæther, Sigve Hortemo, 535(z)16--24, see Oum, Sang-il
Safari, MohammadAli, 463(1)26--34
Safari:2012:HWH, 463(1)26--34
safe, 412(28)3337--3357, 428(1)80--90, 515(z)19--45
safety, 412(33)4227--4227, 493(z)116--138, 538(z)167--182, 560(z)219--234
Sagols, Feliú, 412(15)1301--1312
Sagols:2011:TDV, 412(15)1301--1312
Sagot, Marie-France, 457(1)1--9
Sagot, Marie-France, see Acuña, Vicente
Sagraloff, Michael, 491(z)1--32
Sagraloff, Michael, see Berberich, Eric
Saha, Ankan, 519(z)88--102
Saha, Ankan, see Zhang, Xinhua
Saheb-Djahromi, N., 502(z)64--75
Saheb-Djahromi, N., see Métivier, Y.
{\c{S}}ahin, Erol, 411(21)2140--2154, see Gökçe, Fatih
Sahlqvist, 424(1)1--19
Sahu, Sudheer, 412(17)1592--1605
Sahu, Sudheer, see Reif, John H.
Saito, Masahico, 454(1)5--22
Saito, Masahico, see Angeleska, Angela
Saitoh, Toshiki, 411(43)3859--3866, 497(z)13--19
Saitoh, Toshiki, see Kiyomi, Masashi, see Umesato, Takuya
Sakabe, Toshiki, 464(1)72--89
Sakabe, Toshiki, see Nagashima, Masanori
Sakai, Masahiko, 464(1)72--89
Sakai, Masahiko, see Nagashima, Masanori
Sakurada, Hideki, 411(22)2239--2259
Sakurada, Hideki, see Hasuo, Ichiro
Sala, Pietro, 493(z)98--115, 560(z)269--291
Sala, Pietro, see Bresolin, Davide
Salesman, 531(z)54--65, 540(z)156--168
Salimov, P., 412(27)2911--2921
Salimov, P., see Avgustinovich, S. V.
Salimov, Pavel, 528(z)101--107
Salimov, Pavel, see Rampersad, Narad
Salinger, Alejandro, 412(32)4200--4211
Salinger, Alejandro, see Arroyuelo, Diego
Salo, Ville, 559(z)91--107
Salo:2014:RPN, 559(z)91--107
Salomaa, Arto, 411(16)1818--1827, 429(1)1--20, 432(1)85--93, 454(1)2--4, 466(z)87--96
Salomaa, Arto, see Ausiello, Giorgio, see Rozenberg, Grzegorz
Salomaa, Kai, 411(38)3507--3515, 412(41)5668--5677, 429(1)273--281, 454(1)231--239
Salomaa, Kai, see Calude, Cristian S., see Clarridge, Adam, \see{Piao, Xiaoxue
Salomaa:2010:CME, 411(16)1818--1827
Salomaa:2012:FSG, 466(z)87--96
Salomaa:2012:SOW, 432(1)85--93
Salomon, Antoine, 519(z)46--67
Salomon:2014:RSB, 519(z)46--67
Salvail, L., 560(z)62--81
Salvail, L., see Alléaume, R.
Salvail, Louis, 560(z)12--26
Salvail, Louis, see Damgård, Ivan
Salvy, Bruno, 412(35)4469--4470
Salvy:2011:PFF, 412(35)4469--4470
Sámal, R., 521(z)92--106
Samal:2014:GGC, 521(z)92--106
Samatova, Nagiza F., 411(26)2520--2536, 530(z)1--11
Samatova, Nagiza F., see Chen, Wenbin, see Hendrix, William
same, 543(z)68--78
Samei, Rahim, 558(z)35--50
Samei:2014:AMP, 558(z)35--50
Sami, Rahul, 411(1)293--300
Sami, Rahul, see Du, Ye
Sammartino, Matteo, 546(z)188--224
Sammartino, Matteo, see Montanari, Ugo
Sampaio, Augusto, 433(1)60--97
Sampaio, Augusto, see Naumann, David A.
Sampaio, L., 475(z)1--12
Sampaio, L., see Araujo, J.
Sampaio, Rudini, 487(z)50--64
Sampaio, Rudini, see Campos, Victor
Sampaio, Rudini M., 533(z)15--25
Sampaio, Rudini M., see Campêlo, Manoel
Sampaio, Rudini Menezes, 412(29)3555--3567
Sampaio, Rudini Menezes, see Hoppen, Carlos
sample, 519(z)103--126, 529(z)2--10, 558(z)77--106
samplers, 502(z)55--63
sampling, 411(26)2591--2601, 417(1)2--11, 442(1)2--12, 450(1)31--42, 502(z)227--238, 512(z)67--83, 552(z)83--98, 558(z)77--106
Samuel, Émilie, 498(z)76--99, see Higuera, Colin de la
San Pietro, Pierluigi, 542(z)17--31
San Pietro, Pierluigi, see Bouchy, Florent
sand, 411(3)594--601, 436(1)35--53, 504(z)52--72
Sanders, Peter, 412(24)2588--2601
Sanders, Peter, see Brodal, Gerth St{\o}lting
sandpile, 412(30)3964--3974, 533(z)1--14
Sangiorgi, Davide, 411(19)1928--1948
Sangiorgi, Davide, see Lanese, Ivan
Sangnier, Arnaud, 411(22)2298--2316
Sangnier, Arnaud, see Demri, Stéphane
Sankowski, Piotr, 412(16)1470--1483
Sankowski, Piotr, see Frandsen, Gudmund Skovbjerg
Santaroni, Federico, 447(1)74--84
Santaroni, Federico, see Italiano, Giuseppe F.
Santis, Alfredo, De, 411(1)213--227, 412(41)5684--5699, 510(z)62--86
Santo, José Espírito, 412(11)1027--1032
Santo:2011:NPS, 412(11)1027--1032
Santoro, Nicola, 411(14)1583--1598, 469(z)53--68, 472(z)28--45
Santoro, Nicola, see Dobrev, Stefan, see Flocchini, Paola
Santos, Carlos Pereira dos, 527(z)37--49
Santos, Carlos Pereira dos, see Carvalho, Alda
Santos, Nuno, 496(z)170--183
Santos, Vinícius Fernandes dos, 510(z)127--135, see Dourado, Mitre C.
Santos:2013:OPB, 496(z)170--183
Sarma, Atish Das, 412(23)2544--2555
Sarma:2011:BOS, 412(23)2544--2555
Sartiani, C., 492(z)88--116
Sartiani, C., see Colazzo, D.
Sassone, Vladimiro, 464(1)113--129
Sassone, Vladimiro, see Dezani-Ciancaglini, Mariangiola
Sasturkar, Amit, 412(44)6208--6234
Sasturkar:2011:PAA, 412(44)6208--6234
SAT, 411(50)4333--4356, 435(1)43--55, 529(z)61--68, 560(z)147--157
sat, 506(z)115--121
SAT, 3-, 524(z)1--26
SAT, XOR-, 421(1)25--55
satisfaction, 440(0)29--38, 461(1)86--105, 472(z)81--89, 526(z)18--27
satisfiability, 412(47)6612--6623, 450(1)92--108, 461(1)55--64, 481(z)85--99, 501(z)82--92, 505(z)55--73
satisfy, 526(z)1--17
Satoh, Ken, 411(2)301--323
Satoh, Ken, see Kaneiwa, Ken
Satti, Srinivasa Rao, 554(z)64--73
Satti, Srinivasa Rao, see Elmasry, Amr
Sattler-Klein, Andrea, 411(4)823--833
Sattler-Klein:2010:SCR, 411(4)823--833
saturated, 537(z)72--86
Sau, Ignasi, 412(50)7018--7028, 444(1)3--16
Sau, Ignasi, see Adler, Isolde, see Bermond, Jean-Claude
Sauer, 558(z)35--50
Sauerwald, Thomas, 411(14)1599--1612, 412(24)2623--2641, 520(z)27--42
Sauerwald, Thomas, see Berenbrink, Petra, see Elsässer, Robert
Sauerwald:2010:SSA, 411(14)1599--1612
Saumell, Maria, 412(29)3589--3597
Saumell, Maria, see Mitsche, Dieter
Saurabh, Saket, 411(7)1045--1053, 412(23)2536--2543, 412(29)3530--3536, 412(50)7001--7008, 461(1)65--75, 511(z)77--84, 526(z)90--96
Saurabh, Saket, see Crowston, Robert, see Fomin, Fedor V., \see{Golovach, Petr, see Kumar, Mrinal, see Lokshtanov, Daniel, see Misra, Neeldhara
Saurin, Alexis, 435(1)106--138
Saurin:2012:BTB, 435(1)106--138
Sava, Ecaterina, 411(44)3917--3922
Sava, Ecaterina, see Huss, Wilfried
Savenkov, Vadim, 411(7)935--957
Savenkov, Vadim, see Pichler, Reinhard
Sawada, J., 475(z)103--112, 502(z)46--54
Sawada, J., see Karim, S.
Sawada:2013:GCF, 502(z)46--54
Sayegh, Robert, 412(52)7087--7098
Sayegh, Robert, see Kulik, Ariel
scalability, 412(51)7075--7086, 425(1)126--141
scalable, 411(26)2459--2466, 513(z)25--37
scalar, 547(z)18--33
scale, 551(z)22--38
scale, multi-, 412(8)892--900, 488(z)15--45
Scalosub, Gabriel, 489(z)75--87
Scalosub, Gabriel, see Kesselman, Alex
scanner, 412(32)4161--4172
Scarani, Valerio, 560(z)27--32
Scarani:2014:BPQ, 560(z)27--32
Scarcello, Francesco, 522(z)95--114
Scarcello, Francesco, see Greco, Gianluigi
Scatena, Guido, 419(1)2--16
Scatena, Guido, see Barbuti, Roberto
scattered, 411(4)751--764, 412(22)2356--2369, 509(z)70--85, 533(z)46--63
scenarios, 429(1)87--97, 429(1)118--127, 439(1)30--40, 477(z)57--66
Schäfer, Philipp M., 510(z)127--135, see Dourado, Mitre C.
Schaffner, Christian, 560(z)12--26
Schaffner, Christian, see Damgård, Ivan
Schaffrath, Gregor, 496(z)184--194
Schaffrath, Gregor, see Even, Guy
Schapira, Michael, 457(1)45--58
Schapira, Michael, see Comi, Marco
Schapire, Robert E., 411(29)2670--2683
Schapire, Robert E., see Mukherjee, Indraneel
Scharf, Ludmila, 442(1)2--12
Scharf, Ludmila, see Alt, Helmut
Schauer, Joachim, 411(49)4217--4234
Schauer, Joachim, see Darmann, Andreas
Schauß, Manfred, Schmidt-, 411(11)1521--1541
Schechter, L. Menasché, 412(37)4946--4966, see Benevides, Mario R. F.
scheduler, 412(40)5541--5561, 467(z)53--67, 467(z)68--88, 484(z)70--92, 538(z)70--83, 554(z)229--253
schedules, 411(3)672--676, 554(z)191--206
scheduling, 411(16)1877--1882, 411(31)2890--2898, 411(40)3553--3562, 411(40)3578--3586, 411(40)3587--3600, 411(40)3642--3650, 411(44)3947--3955, 412(3)246--256, 412(3)270--274, 412(4)275--280, 412(7)583--593, 412(8)642--653, 412(12)1081--1091, 412(12)1092--1098, 412(12)1122--1139, 412(22)2380--2386, 412(29)3650--3657, 412(29)3731--3737, 412(32)4212--4225, 412(39)5211--5224, 412(39)5225--5231, 412(39)5333--5339, 412(45)6269--6278, 412(48)6666--6674, 412(48)6712--6719, 413(1)2--20, 413(1)160--175, 414(1)1--8, 416(1)87--94, 422(1)39--51, 434(1)1--10, 434(1)45--52, 438(1)55--61, 443(1)1--9, 445(1)75--81, 457(1)35--44, 457(1)174--180, 458(1)113--130, 460(1)10--15, 462(1)80--87, 468(z)114--121, 470(z)93--104, 477(z)57--66, 482(z)86--95, 487(z)95--102, 489(z)58--66, 491(z)94--102, 497(z)31--38, 497(z)108--111, 501(z)1--10, 508(z)54--65, 510(z)102--110, 511(z)13--22, 518(z)117--123, 521(z)62--72, 521(z)123--134, 530(z)12--22, 540(z)13--26, 543(z)24--36, 543(z)37--45, 543(z)46--51, 543(z)120--125, 550(z)1--20, 553(z)64--73, 555(z)9--22
Scheideler, Christian, 428(1)18--35, 453(1)1--1, 457(1)137--148, 512(z)119--129
Scheideler, Christian, see Clouser, Thomas, see Dolev, Shlomi, \see{Jacob, Riko, see Nor, Rizal Mohd
Schellekens, M., 487(z)65--73
Schellekens, M., see Early, D.
schemas, 412(35)4545--4557
schemata, 411(7)1121--1139
scheme, 411(40)3614--3624, 412(4)419--429, 412(8)796--804, 412(45)6382--6389, 412(48)6786--6793, 447(1)38--43, 531(z)66--76
schemes, 411(10)1251--1260, 412(8)662--674, 412(8)753--764, 412(41)5684--5699, 412(52)7087--7098, 417(1)95--107, 418(1)106--115, 422(1)15--38, 444(1)17--27, 468(z)114--121, 476(z)67--83, 510(z)62--86, 535(z)38--45, 559(z)3--19
Scherfenberg, Marc, 412(32)4173--4186
Scherfenberg, Marc, see Knauer, Christian
Schettini, Andrea, Maggiolo-, 411(50)4291--4322, 412(43)5976--6001, 431(1)96--116, 529(z)11--45, 551(z)1--21
Schewe, Klaus-Dieter, 549(z)101--126
Schewe, Sven, 467(z)53--67, 503(z)61--88
Schewe, Sven, see Konur, Savas, see Rabe, Markus N.
Schewe:2014:TFK, 549(z)101--126
Schicho, Josef, 479(z)99--119
Schicho, Josef, see Hodorog, Madalina
Schiermeyer, Ingo, 412(50)7009--7017
Schiermeyer, Ingo, see Kardos, Frantisek
Schiller, Elad M., 411(26)2459--2466, 412(40)5631--5647
Schiller, Elad M., see Dolev, Shlomi, see Hoepman, Jaap-Henk
Schindelhauer, Christian, 453(1)98--109, 553(z)27--36
Schindelhauer, Christian, see Wendeberg, Johannes
Schiper, André, 412(40)5513--5514, 496(z)170--183, see Dolev, Shlomi, \see{Santos, Nuno
Schirmer, Stefanie, 483(z)51--67
Schirmer:2013:FAA, 483(z)51--67
Schluter, Natalie, 411(3)677--690
Schluter, Natalie, see ÓDúnlaing, Colm
Schmaltz, Julien, 413(1)87--105
Schmaltz, Julien, see Heidarian, Faranak
Schmid, Markus L., 518(z)80--95
Schmid, Markus L., see Reidenbach, Daniel
Schmid, Stefan, 457(1)137--148, 496(z)184--194
Schmid, Stefan, see Even, Guy, see Jacob, Riko
Schmid, Ulrich, 412(40)5580--5601, 412(40)5602--5630
Schmid, Ulrich, see Biely, Martin, see Robinson, Peter
Schmidt, David A., 430(1)23--42
Schmidt, Matthew C., 411(26)2520--2536
Schmidt, Matthew C., see Hendrix, William
Schmidt-Schauß, Manfred, 411(11)1521--1541
Schmidt-Schauss:2010:GCL, 411(11)1521--1541
Schmidt:2012:ILT, 430(1)23--42
Schmied, Richard, 414(1)92--99
Schmied:2012:AED, 414(1)92--99
Schmitz, Sylvain, 411(38)3469--3480
Schmitz, Sylvain, see Héam, Pierre-Cyrille
Schneider, Jan, 412(50)6948--6958
Schneider, Jan, see Maßberg, Jens
Schneider, Johannes, 412(32)4151--4160, 509(z)40--50
Schneider, Johannes C., 412(29)3510--3523
Schneider, Johannes C., see Reidenbach, Daniel
Schneider, Thomas, 505(z)55--73
Schneider, Thomas, see Meier, Arne
Schneider:2011:BCM, 412(32)4151--4160
Schneider:2013:SBD, 509(z)40--50
Schnitger, Georg, 412(45)6351--6358
Schnitger, Georg, see Jukna, Stasys
Schnoor, Ilka, 432(1)38--51
Schnoor, Ilka, see Elberfeld, Michael
Schnyder, 494(z)112--121
Scholz, Sven-Bodo, 513(z)25--37
Scholz, Sven-Bodo, see Dash, Santanu Kumar
Schost, Éric, 412(22)2219--2236, see Drevet, Charles-Éric
Schouery, Rafael C. S., 540(z)103--114
Schouery, Rafael C. S., see Fernandes, Cristina G.
Schröder, 502(z)210--216
Schubert, Aleksy, 549(z)17--35
Schubert, Aleksy, see Fujita, Ken-etsu
Schulte, Oliver, 411(7)1054--1074
Schulte, Oliver, see Berenbrink, Petra
Schulz, Klaus U., 412(22)2340--2355
Schulz, Klaus U., see Mitankin, Petar
Schützenberger, Kleene-, 412(12)1140--1153
Schwarick, Martin, 412(26)2884--2908
Schwarick:2011:IBM, 412(26)2884--2908
Schwartz, Jarett, 432(1)21--27
Schwartz, Jarett, see Blanchet-Sadri, F.
Schwartz, Oded, 411(31)2847--2863
Schwartz, Oded, see Armon, Amitai
Schweer, Nils, 555(z)43--54
Schweer, Nils, see Fekete, Sándor P.
Schweitzer, Pascal, 463(1)62--72, 513(z)65--76
Schweitzer, Pascal, see Eades, Peter, see Megow, Nicole
Schweller, Robert, 497(z)39--54
Schweller, Robert, see Chen, Zhixiang
Schwentick, Thomas, 411(4)702--715
Schwentick, Thomas, see Björklund, Henrik
Schwoon, Stefan, 449(1)2--22, 493(z)66--79
Schwoon, Stefan, see Baldan, Paolo, see Haar, Stefan
Sci, 412(29)3795--3796, 412(43)6112--6113, 412(52)7169--7170, 423(1)75--75, 428(1)91--91, 475(z)126--127, 487(z)103--105, 491(z)136--136, 492(z)117--122, 547(z)122, 562(z)660--661, 602(z)158--159, 648(z)116, 651(z)87--88, 683(z)31--32
Sciacca, Eva, 431(1)75--95
Sciacca, Eva, see Coppo, Mario
Sciavicco, Guido, 493(z)98--115, 560(z)269--291
Sciavicco, Guido, see Bresolin, Davide
science, 454(1)95--108, 503(z)115--115
Sciortino, M., 411(38)3414--3422, 450(1)81--91
Sciortino, M., see Castiglione, G.
SCJ, 552(z)83--98
score, 464(1)90--112, 525(z)138--149
Scott, 424(1)20--45, 546(z)17--29
Scott, Alexander, 500(z)25--43
Scott, Alexander, see Meeks, Kitty
Scott, Allan, 411(43)3845--3858
Scott, Dana S., 546(z)17--29
Scott, Dana S., see Bauer, Andrej
Scott:2010:PPE, 411(43)3845--3858
screening, 412(3)217--224
SDP-based, 470(z)1--9
Seager, Suzanne, 539(z)28--37
Seager:2014:LBR, 539(z)28--37
seals, 411(10)1283--1310
search, 411(43)3867--3872, 412(3)192--197, 412(6)543--559, 412(12)1033--1053, 412(15)1392--1405, 412(32)4200--4211, 412(37)4905--4918, 412(41)5752--5759, 425(1)117--125, 434(1)45--52, 436(1)106--117, 462(1)39--58, 463(1)96--113, 482(z)48--59, 507(z)61--71, 509(z)70--85, 511(z)13--22, 520(z)62--74, 525(z)30--41, 532(z)2--13, 545(z)39--58
search, prefix-, 483(z)75--84
Searchable, 412(39)5176--5186
searching, 412(12)1208--1219, 412(24)2699--2699, 412(35)4688--4703, 412(41)5700--5713, 412(50)6879--6896, 447(1)85--99, 454(1)23--29, 463(1)1--1, 495(z)37--49, 507(z)100--113, 525(z)23--29, 530(z)23--41, 540(z)2--12
Sebej, Juraj, 449(1)85--92
Sebej, Juraj, see Jirásková, Galina
second, 411(2)410--444, 412(22)2296--2311, 552(z)44--51, 683(z)31--32
second-order, 412(38)4969--4988
Second-Price, 540(z)103--114
secondary, 411(26)2423--2432, 418(1)71--81
secondary, Primary-, 518(z)117--123
secondary, super-, 540(z)133--142
secret, 418(1)106--115, 510(z)62--86
secret, multi-, 445(1)52--62
secure, 411(19)1974--1994, 411(40)3614--3624, 412(35)4471--4481, 412(40)5631--5647, 414(1)38--46, 462(1)39--58, 469(z)1--14, 478(z)76--100, 539(z)87--105, 560(z)12--26
secure, CCA-, 491(z)83--93
secure, provably-, 412(41)5684--5699
security, 411(1)213--227, 412(31)4007--4043, 412(33)4227--4227, 542(z)1--16
Seda, Anthony K., 412(1)1--1, 412(1)v--x
Seda, Anthony K., see Woods, Damien
Sedgewick, Bob, 412(35)4469--4470
Sedgewick, Bob, see Salvy, Bruno
See, 174(1)203--216, 218(1)95--106, 344(2)279--297, 380(1)143--163, 400(1)19--45, 410(8)812--817, 411(31)2999--3000, 411(34)3048--3054, 411(38)3423--3435, 412(1)2--21, 412(4)487--492, 412(29)3451--3462, 412(29)3795--3796, 412(39)5409--5419, 412(41)5649--5655, 412(43)6112--6113, 412(45)6451--6454, 412(52)7169--7170, 423(1)50--58, 423(1)75--75, 428(1)91--91, 429(1)144--154, 448(1)94--96, 465(z)73--74, 469(z)15--23, 475(z)126--127, 487(z)103--105, 491(z)136--136, 492(z)117--122, 524(z)34--40, 547(z)122, 552(z)44--51, 557(z)59--65, 562(z)660--661, 602(z)158--159, 618(z)135--141, 648(z)116, 651(z)87--88
Séébold, Patrice, 412(39)5492--5497, 428(1)92--97, see Richomme, Gwénaël
seed, 466(z)64--86, 483(z)171--181, 522(z)62--76
seed, short-, 419(1)17--25
seeking, 457(1)76--85
seeking, knowledge-, 519(z)127--139
Segal, Michael, 453(1)88--97
Segal, Michael, see Nutov, Zeev
Segev, Danny, 483(z)96--103
Segev, Danny, see Elberfeld, Michael
segment, 412(15)1313--1324, 412(31)3975--3991, 412(41)5656--5667, 412(52)7133--7146, 497(z)20--30, 519(z)29--45
segmentation, 412(15)1338--1349, 412(15)1419--1433, 412(15)1434--1441, 529(z)46--60
Seki, Shinnosuke, 411(3)617--630, 412(8)714--728, 418(1)116--120, 454(1)81--87, 501(z)11--19
Seki, Shinnosuke, see Chiniforooshan, Ehsan, see Cui, Bo, \see{Czeizler, Elena, see Ibarra, Oscar H.
Seki:2012:ASI, 418(1)116--120
Selamat, M., 412(41)5789--5795
Selamat, M., see Turaev, S.
Selamat, Mohd Hasan, 449(1)134--144
Selamat, Mohd Hasan, see Turaev, Sherzod
Seldin, Jonathan P., 412(37)4905--4918
Seldin:2011:SRC, 412(37)4905--4918
Select, 411(16)1763--1769
selection, 411(6)926--934, 411(7)958--966, 411(7)986--994, 411(34)3129--3135, 411(44)4017--4022, 412(6)502--516, 412(6)534--542, 412(24)2564--2576, 421(1)1--14, 426(1)1--12, 428(1)58--79, 449(1)64--73, 498(z)107--114, 498(z)115--123, 499(z)113--116, 535(z)1--15, 554(z)64--73
selective, 540(z)89--102
self-affine, 469(z)119--126
self-assembly, 412(1)145--158, 412(1)159--165, 412(17)1592--1605, 499(z)23--37
self-awareness, 512(z)98--118
self-destructible, 412(17)1592--1605
self-index, 532(z)14--30
Self-Localization, 453(1)98--109
self-organizing, 466(z)37--63
self-similar, 482(z)96--110
self-stabilization, 457(1)137--148
self-stabilizing, 411(14)1567--1582, 411(14)1599--1612, 412(33)4247--4259, 412(33)4336--4349, 412(33)4361--4371, 412(40)5515--5526, 412(40)5527--5540, 412(40)5541--5561, 412(40)5631--5647, 428(1)18--35, 428(1)47--57, 428(1)80--90, 444(1)28--39, 512(z)2--14, 512(z)49--66, 552(z)99--108
selfish, 411(1)44--57, 411(1)174--187, 412(22)2296--2311, 412(50)7049--7058, 414(1)1--8, 447(1)26--37, 448(1)9--20, 452(1)107--116, 495(z)66--80, 507(z)17--33
selfish-computer, 411(26)2459--2466
selfishness, 482(z)9--19, 507(z)17--33
Selivanov, Victor, 412(8)853--864
Selivanov, Victor, see Glaßer, Christian
sell, 558(z)144--158
Sellami, Tarek, 543(z)68--78
Sellami, Tarek, see Arnoux, Pierre
semantic, 411(11)1372--1386, 411(19)1928--1948, 411(37)3348--3371, 411(47)4123--4147, 412(11)931--961, 412(17)1557--1580, 412(20)1884--1902, 412(21)2142--2161, 412(25)2701--2713, 412(25)2746--2765, 412(38)5043--5069, 412(38)5070--5094, 412(44)6135--6192, 415(1)60--85, 431(1)165--180, 435(1)21--42, 455(1)31--65, 480(z)43--68, 492(z)40--69, 515(z)19--45, 517(z)34--74, 537(z)42--71, 546(z)188--224, 551(z)1--21, 560(z)364--379
semi-dynamical, 440(0)29--38
semi-linear, 416(1)1--16
semi-metric, 508(z)26--34
semi-online, 412(12)1092--1098, 412(29)3731--3737, 443(1)1--9, 457(1)35--44, 489(z)58--66, 521(z)62--72, 531(z)37--46
Semi-projective, 480(z)26--42
semi-synchronous, 498(z)10--27
semigroup, 411(7)1004--1012, 411(7)1115--1120, 412(8)654--661, 412(8)765--772, 412(15)1419--1433, 529(z)96--110, 557(z)115--119
semilinear, 501(z)11--19
semiring, 420(1)56--63, 534(z)45--52, 534(z)86--100
Sempere, José M., 456(1)18--29, see Campos, Marcelino
Semple, Charles, 513(z)129--136
Semple, Charles, see Linz, Simone
Semukhin, Pavel, 412(19)1805--1820, 558(z)35--50
Semukhin, Pavel, see Jain, Sanjay, see Samei, Rahim
Sen, Sandeep, 442(1)1--1
Sen, Sandeep, see Nandy, Subhas C.
Sené, Sylvain, 504(z)12--25, see Noual, Mathilde
Sensing, 412(15)1325--1337
sensitive, cost-, 538(z)2--15
Sensitive, Locality-, 530(z)89--101
sensitivity, 411(44)3917--3922, 412(29)3524--3529, 412(41)5796--5801, 468(z)83--91
sensor, 412(33)4336--4349, 412(35)4471--4481, 412(40)5631--5647, 412(50)6913--6925, 413(1)87--105, 418(1)37--47, 447(1)38--43, 447(1)100--106, 453(1)1--1, 458(1)61--75, 463(1)114--122, 472(z)60--80, 497(z)139--153, 497(z)173--180, 498(z)46--57, 507(z)2--16, 518(z)32--41, 552(z)99--108, 553(z)1--1, 553(z)2--17
sentences, 477(z)67--75
Seo, Jae Hong, 542(z)44--62
Seo, Jae Woo, 491(z)83--93
Seo:2013:PIC, 491(z)83--93
Seo:2014:RHI, 542(z)44--62
separable, 546(z)17--29
separated, 500(z)68--89
separation, 412(33)4312--4324, 461(1)27--44, 537(z)72--86
sequence, 411(6)919--925, 411(16)1770--1784, 411(26)2602--2611, 411(40)3635--3641, 411(44)3883--3893, 411(44)3932--3937, 412(8)753--764, 412(15)1364--1377, 412(22)2268--2281, 412(23)2486--2495, 412(29)3413--3417, 412(35)4738--4741, 412(41)5656--5667, 412(43)5976--6001, 412(52)7133--7146, 414(1)47--54, 414(1)76--91, 423(1)30--49, 431(1)165--180, 445(1)52--62, 462(1)1--11, 466(z)87--96, 468(z)59--68, 479(z)22--42, 483(z)115--133, 502(z)217--226, 525(z)130--137, 528(z)32--39, 532(z)14--30, 542(z)83--97, 552(z)1--12, 556(z)25--33, 556(z)45--54
sequence-based, 411(2)360--376
sequence-dependent, 434(1)45--52
sequence-dependent, past-, 438(1)55--61
sequent, 474(z)98--116
sequential, 412(28)3122--3128, 499(z)88--97
sequentialization, 412(20)1958--1978
Sereno, Matteo, 412(43)6036--6057
Sereno, Matteo, see Cordero, Francesca
series, 411(48)4162--4178, 412(3)192--197, 412(8)736--752, 414(1)76--91, 534(z)45--52
Series-parallel, 412(22)2356--2369
Serna, M., 463(1)114--122
Serna, M., see Àlvarez, C.
Serna, Maria, 412(48)6675--6695, 412(50)6855--6878
Serna, Maria, see Gabarró, Joaquim, see Àlvarez, Carme
server, 412(7)563--572, 412(43)6036--6057
service, 411(37)3328--3347, 412(48)6736--6749, 434(1)1--10, 489(z)58--66, 496(z)113--124, 546(z)52--62
service-oriented, 503(z)1--30
sessions, 538(z)2--15
set-based, 456(1)2--17
Seto, Kazuhisa, 411(7)1182--1191
Seto, Kazuhisa, see Iwama, Kazuo
setoids, 546(z)145--163
sets, clause-, 492(z)70--87
setting, 546(z)225--236
setups, 434(1)45--52
Sevastyanov, Sergey V., 412(35)4536--4544
Sevastyanov:2011:TCA, 412(35)4536--4544
seven, 518(z)1--9
several, 457(1)35--44, 513(z)129--136
SFTs, 505(z)81--92
Sgall, Jirí, 514(z)75--83, see Chrobak, Marek
Sgall, Ji{\v{r}}{\'\i}, 411(1)131--137, see Chrobak, Marek
Shachnai, Hadas, 411(40)3553--3562, 412(52)7087--7098, 460(1)42--53, 553(z)91--105
Shachnai, Hadas, see Albagli-Kim, Sivan, see Flammini, Michele, \see{Kulik, Ariel
Shachnai:2012:MCR, 460(1)42--53
shadowing, 174(1)203--216
Shah, Rahul, 412(29)3579--3588, 475(z)113--119
Shah, Rahul, see Hon, Wing-Kai
Shah, Shalin, 491(z)71--77
Shah, Shalin, see Cheng, Eddie
Shah, Tariq, 529(z)96--110
Shah, Vyom, 491(z)71--77
Shah, Vyom, see Cheng, Eddie
Shah:2014:CNA, 529(z)96--110
shallow, 411(50)4333--4356
Shalom, Mordechai, 411(40)3553--3562, 412(52)7109--7121, 540(z)40--52, 560(z)190--206
Shalom, Mordechai, see Flammini, Michele, see Gözüpek, Didem
Shalom:2014:OOB, 560(z)190--206
Shamir, Boaz, Patt-, 412(29)3717--3730, 489(z)75--87, 530(z)12--22
Shamir, Ohad, 411(29)2696--2711
Shamir:2010:LGI, 411(29)2696--2711
Shan, Erfang, 524(z)78--89
Shan, Erfang, see Wei, Qi
Shan, Shan, 412(3)265--269
Shan, Shan, see Wang, Feng
Shang, Yun, 434(1)53--86
Shang:2012:TCB, 434(1)53--86
Shankar, Bal Sri, 506(z)115--121
Shankar, Bal Sri, see Misra, Neeldhara
Shanker, O., 411(26)2454--2458
Shanker:2010:CND, 411(26)2454--2458
Shankland, Carron, 412(17)1557--1580
Shankland, Carron, see McCaig, Chris
Shanthi, A. S., 501(z)34--40
Shanthi, A. S., see Rajasingh, Indra
Shao, Zhendong, 411(34)3287--3292, 487(z)74--81
Shao:2010:LCG, 411(34)3287--3292
Shao:2013:LMP, 487(z)74--81
shape, 442(1)2--12, 504(z)52--72, 555(z)43--54
shaped, non-{U}-, 473(z)100--123
shaped, star-, 445(1)36--51
shaped, subtree-, 411(7)1038--1044
Shapiro, Rudin-, 412(35)4742--4746
Sharan, Roded, 483(z)96--103
Sharan, Roded, see Elberfeld, Michael
shared, 509(z)3--24
Sharifani, P., 412(39)5232--5238
Sharifani, P., see Ghareghani, N.
sharing, 411(3)660--671, 411(11)1521--1541, 418(1)106--115, 445(1)52--62, 494(z)49--62, 520(z)43--50
Sharma, Vikram, 412(29)3639--3649
Sharma, Vikram, see Manjunath, Madhusudan
Sharp, 411(40)3714--3730
Shawe-Taylor, John, 473(z)4--28
Shawe-Taylor, John, see Lever, Guy
Shawi, R., El, 554(z)254--262
Shawi, Radwa, El, 497(z)112--122
She, Kun, 471(z)1--11
She, Kun, see Tang, Jianguo
Sheen, Dongwoo, 412(50)7029--7043
Sheen, Dongwoo, see Luo, Zhongxuan
Sheinwald, Dafna, 426(1)66--74
Sheinwald, Dafna, see Kent, Carmel
Shen, Alexander, 411(29)2632--2646, 412(4)482--486
Shen, Alexander, see Andreev, Mikhail, see Vovk, Vladimir
Shen, Hong, 432(1)58--63
Shen, Hong, see Guo, Longkun
Shen, Yi-Dong, 415(1)60--85
Shen, Yi-Dong, see Wang, Yisong
Shen, Yilin, 447(1)107--119
Shen, Yong, 411(40)3614--3624
Shen, Yong, see Yu, Gang
Shen, Yue-Hong, 522(z)24--33
Shen, Yue-Hong, see Zhang, Yi-Hao
Shen, Zhizhang, 557(z)101--114
Shen, Zhizhang, see Cheng, Eddie
Shen:2012:NTA, 447(1)107--119
Shende, Sunil, 481(z)37--50
Shende, Sunil, see Ganchev, Antoniy
Sheng, 450(1)1--1
Sherman, David, 412(45)6279--6289
Sherman, David, see Cheng, Eddie
Shi, Feng, 554(z)207--216
Shi, Yan, 412(3)265--269
Shi, Yan, see Wang, Feng
Shi, Yaoyun, 411(1)293--300, 411(26)2612--2618
Shi, Yaoyun, see Du, Ye, \see{Zhang, Zhiqiang
Shi, Yishuo, 535(z)54--58
Shi, Yishuo, see Zhang, Yaping
Shi, Yongtang, 412(35)4531--4535
Shi, Yongtang, see Chen, Lily
Shi:2014:APM, 554(z)207--216
Shieh, Min-Zheng, 412(4)339--344
Shieh, Min-Zheng, see Chen, Li-Jui
Shields, A., 560(z)62--81
Shields, A., see Alléaume, R.
shift-commuting, 174(1)203--216
shifts, 174(1)203--216, 506(z)79--101
shifts, Tree-, 459(1)16--25
Shih, Wei-Kuan, 411(31)2878--2889
Shih, Wei-Kuan, see Chen, Yen-Chiu
Shih, Yuan-Kang, 412(35)4513--4530
Shih:2011:OOD, 412(35)4513--4530
Shiloni, Asaf, 412(41)5771--5788
Shiloni:2011:RAE, 412(41)5771--5788
Shimony, Solomon Eyal, 487(z)1--16
Shimony, Solomon Eyal, see Fried, Dror
Shin, Sujin, 411(16)1809--1817, 412(39)5387--5399
Shin:2010:CMM, 411(16)1809--1817
Shin:2011:PCR, 412(39)5387--5399
Shma, Amnon, Ta-, 419(1)17--25
Shmueli, Oded, 412(52)7087--7098
Shmueli, Oded, see Kulik, Ariel
Shoaran, M., 412(35)4545--4557
Shoaran:2011:ESS, 412(35)4545--4557
Shokoufandeh, Ali, 411(7)1104--1114, 500(z)68--89
Shokoufandeh, Ali, see Abrahamson, Jeff, see Csaba, Béla
Shokrieh, Farbod, 417(1)66--73
Shokrieh, Farbod, see Kalyanasundaram, Subrahmanyam
shop, 412(48)6712--6719, 416(1)87--94, 491(z)94--102, 524(z)78--89
shoreline, 447(1)85--99
short, 412(11)1022--1026, 439(1)1--8, 465(z)21--27, 476(z)67--83, 479(z)4--21, 494(z)144--160, 509(z)97--112, 516(z)133--138
short-seed, 419(1)17--25
shortcuts, 497(z)55--67
shorter, 411(3)677--690
shortest, 411(7)1013--1037, 411(34)3042--3047, 412(4)391--401, 412(39)5205--5210, 471(z)12--26, 510(z)1--12, 520(z)43--50, 522(z)44--53, 560(z)121--130
shortest-path, 516(z)1--19
Shortest-Path-Distance, All-Pairs-, 411(34)3293--3300
shortest-paths, all-, 411(14)1626--1637
shot, one-, 485(z)85--106
Shparlinski, Igor E., 547(z)117--121
Shparlinski:2014:EPS, 547(z)117--121
shrinking, 412(8)853--864
Shu, Jinlong, 447(1)136--143
Shu, Jinlong, see Yu, Guanglong
shuffle, 454(1)38--50, 521(z)8--28
shuffle-exchange, 411(16)1669--1684, 522(z)24--33
Shuffled, 489(z)1--20
Shur, Arseny M., 411(34)3209--3223
Shur:2010:GRC, 411(34)3209--3223
Shvartsman, Alexander, 411(14)1543--1543
Shvartsman:2010:EP, 411(14)1543--1543
Shyamasundar, Rudrapatna K., 412(32)4212--4225
Shyamasundar, Rudrapatna K., see Narang, Ankur
Si, Chengyong, 551(z)55--65
Si:2014:ECT, 551(z)55--65
Sibilio, Eleonora, 412(47)6585--6611
Sibilio, Eleonora, see Merro, Massimo
sided, 526(z)58--74
sided, One-, 516(z)127--132
sided, two-, 174(1)203--216
Sideri, Martha, 412(12)1054--1065
Sideri, Martha, see Ito, Takehiro
Sidiropoulos, Anastasios, 438(1)13--27
Sidiropoulos, Anastasios, see Christodoulou, George
Sidorowicz, Elzbieta, 557(z)50--58
Sidorowicz, Elzbieta, see Borowiecki, Mieczyslaw
Siemons, Johannes, 525(z)23--29
Siemons, Johannes, see Apostolico, Alberto
sieve, 546(z)244--256
sign, 412(35)4715--4720, 447(1)136--143
signal, 412(1)57--67, 412(23)2486--2495, 412(42)5960--5973, 412(43)6036--6057, 453(1)2--13, 453(1)98--109
signaling, non-, 486(z)27--42
signalling, 456(1)30--50
signature, 411(4)739--750, 412(8)796--804, 412(12)1220--1242, 412(15)1392--1405, 461(1)106--114, 469(z)1--14, 476(z)67--83, 527(z)73--82, 535(z)38--45, 548(z)54--67
signcryption, 411(40)3614--3624, 412(45)6382--6389
signed, 524(z)1--26
signer, 412(8)796--804
significant, 412(18)1686--1695
Sikora, Florian, 530(z)66--79
Sikora, Florian, see Blin, Guillaume
Silberstein, Tullio, Ceccherini-, 412(4)300--306, 506(z)79--101
silent, non-, 412(33)4336--4349
Silva, Alexandra, 412(38)4967--4968
Silva, Alexandra, see Jacobs, Bart
Silva, Ana, 487(z)50--64
Silva, Ana, see Campos, Victor
Silva, Leila, 433(1)60--97
Silva, Leila, see Naumann, David A.
Silveira, Rodrigo I., 412(29)3589--3597
Silveira, Rodrigo I., see Mitsche, Dieter
Silverbush, Dana, 483(z)96--103
Silverbush, Dana, see Elberfeld, Michael
Silvestre, Yannick, 475(z)47--58
Silvestre, Yannick, see Bretto, Alain
Sim, Jeong Seop, 412(39)5239--5246, 468(z)92--101
Sim, Jeong Seop, see Amir, Amihood, see Lee, Taehyung
Simi, Giulia, 412(46)6531--6536
Simi, Giulia, see Marini, Claudio
similar, 411(22)2174--2201, 530(z)23--41, 532(z)14--30, 547(z)70--81
similar, self-, 482(z)96--110
similarity, 498(z)58--75
Siminelakis, Paris, 539(z)68--86
Siminelakis, Paris, see Fotakis, Dimitris
Simmons, Sean, 475(z)34--46
Simmons, Sean, see Blanchet-Sadri, F.
Simon, Hans Ulrich, 412(19)1756--1766, 519(z)68--87
Simon, Hans Ulrich, see Darnstädt, Malte
Simone, Robert de, 458(1)113--130
Simone, Robert de, see Millo, Jean-Vivien
simple, 411(4)730--738, 411(7)958--966, 411(10)1236--1250, 411(25)2368--2383, 411(26)2619--2622, 411(29)2741--2756, 411(37)3328--3347, 411(40)3578--3586, 412(1)68--82, 412(1)97--112, 412(1)113--123, 412(4)487--492, 423(1)75--75, 444(1)52--59, 454(1)30--37, 468(z)102--113, 469(z)92--104, 479(z)174--186, 483(z)2--9, 487(z)95--102, 494(z)112--121, 512(z)98--118, 524(z)90--102, 532(z)40--50, 543(z)46--51, 545(z)2--19, 556(z)2--12
simpler, 411(22)2174--2201
simplicity, 412(1)178--182, 470(z)23--35
Simplification, 412(43)6036--6057
Simpson, Jamie, 218(1)95--106, 501(z)41--48, 547(z)122, 550(z)66--78
Simpson, Jamie, see Fraenkel, Aviezri S., see Glen, Amy
Simpson:2014:PCW, 550(z)66--78
simulating, 412(30)3856--3865, 412(43)6083--6100
simulation, 411(1)266--276, 411(22)2239--2259, 413(1)21--35, 417(1)66--73, 431(1)75--95, 431(1)181--206, 485(z)1--15, 529(z)11--45, 537(z)42--71, 560(z)348--363
simultaneity, 431(1)13--39
simultaneous, 419(1)50--72, 543(z)112--119
simultaneously, 556(z)25--33
Sinaimeri, B., 412(39)5315--5324, 468(z)23--36
Sinaimeri, B., see Calamoneri, T., see Monti, A.
since, 411(22)2174--2201
sine, log-, 479(z)4--21
single, 411(7)1140--1145, 411(22)2174--2201, 411(34)3042--3047, 411(40)3578--3586, 412(3)270--274, 412(4)275--280, 420(1)89--98, 432(1)52--57, 434(1)1--10, 434(1)45--52, 445(1)75--81, 477(z)57--66, 478(z)41--50, 482(z)1--8, 501(z)72--81, 521(z)51--61
single-hop, 453(1)65--74
single-machine, 411(16)1877--1882, 438(1)55--61, 543(z)37--45
singular, 479(z)150--162, 479(z)163--173
singularity, 479(z)99--119
SINR, 453(1)2--13, 553(z)64--73
Sioutas, Spyros, 526(z)58--74
Sioutas, Spyros, see Brodal, Gerth St{\o}lting
Sitters, René, 423(1)11--18, 460(1)70--77, see Chan, Ho-Leung, see Elbassioni, Khaled
sixtieth, 412(28)3033--3034
size, 411(16)1828--1841, 412(8)765--772, 412(29)3731--3737, 434(1)87--97, 436(1)54--70, 454(1)231--239, 468(z)37--49, 545(z)20--38, 551(z)102--115
size, constant-, 422(1)15--38, 469(z)1--14, 539(z)87--105
size, linear-, 554(z)50--63
Size--energy, 412(8)773--782
Size-constrained, 412(3)240--245
size-cost, 449(1)23--36
Skala, Matthew, 412(32)4200--4211
Skala, Matthew, see Arroyuelo, Diego
Skapin, Gaëlle, Largeteau-, 466(z)2--19
skeleton, 412(4)458--477
skew, 412(22)2393--2397
skip, 428(1)18--35, 512(z)119--129
Skolem--Pisot, 411(40)3625--3634
Skowron, Andrzej, 412(42)5816--5819, 412(42)5939--5959, 454(1)240--260
Skowron, Andrzej, see Nguyen, Hung Son
Skowron:2011:ISM, 412(42)5939--5959
Skowron:2012:IIS, 454(1)240--260
Skutella, Martin, 412(7)561--562
Skutella, Martin, see Kaklamanis, Christos
Sladoje, N., 412(15)1338--1349
Sladoje, N., see Malmberg, F.
{\'S}lezak, Dominik, 412(42)5960--5973, see Szczuka, Marcin
slicing, 411(11)1372--1386
sliding, 412(30)3822--3837, 554(z)82--94
slim, 557(z)1--27
slow-to-stop, 411(38)3507--3515
small, 411(16)1895--1897, 411(38)3423--3435, 412(1)57--67, 412(16)1457--1469, 412(22)2219--2236, 412(29)3501--3509, 412(29)3795--3796, 412(39)5458--5465, 482(z)111--114, 487(z)50--64, 518(z)80--95, 552(z)83--98
small-step, 435(1)21--42
small-world, 514(z)96--104
smaller, 412(41)5802--5807, 450(1)10--21
smaller-values, next-, 412(22)2451--2456
Smallest, 411(26)2623--2627
Smart, 412(19)1756--1766
Smid, Michiel, 555(z)55--70
Smid, Michiel, see Babu, Jasine
smooth, 412(45)6327--6339
SMT, 435(1)43--55
Smula, Jasmin, 453(1)29--43, 554(z)95--108
Smula, Jasmin, see Böckenhauer, Hans-Joachim, see Holzer, Stephan
Smyth, W. F., 483(z)149--161, 506(z)102--114, 531(z)77--89
Smyth, W. F., see Daykin, David E., see Daykin, Jacqueline W., see Flouri, Tomás
snap-stabilizing, 412(33)4285--4296, 496(z)89--112
snapshot, 411(21)2081--2083
Snoeyink, Jack, 412(32)4161--4172, 532(z)1--1
Snoeyink, Jack, see Biedl, Therese, see Lu, Pinyan
snowflake, 528(z)40--56
Soares, R., 475(z)1--12
Soares, R., see Araujo, J.
Sobriety, 546(z)93--98
social, 411(29)2729--2740, 412(3)265--269, 412(24)2602--2610, 412(30)3932--3946, 514(z)21--35, 514(z)96--104, 535(z)1--15, 550(z)36--50, 554(z)263--274, 556(z)13--24
sofic, 174(1)203--216, 506(z)79--101
software, 455(1)2--30, 455(1)66--97, 458(1)29--48
Sohn, Moo Young, 412(22)2387--2392, 535(z)46--53
Sohn, Moo Young, see Hu, Fu-Tao, see Zhao, Yancai
Sokol, Dina, 525(z)103--110
Sokol:2014:SDT, 525(z)103--110
Sokolova, Ana, 412(28)3072--3089, 412(38)5095--5110
Sokolova, Ana, see Andrés, Miguel E.
Sokolova:2011:PSC, 412(38)5095--5110
Sokolsky, Oleg, 413(1)2--20
Sokolsky, Oleg, see Philippou, Anna
Soler-Toscano, Fernando, 495(z)81--95
Soler-Toscano, Fernando, see Cordón-Franco, Andrés
Soliman, Sylvain, 412(21)2108--2127, 412(26)2827--2839
Soliman, Sylvain, see De Maria, Elisabetta, see Rizk, Aurélien
Solimando, Alessandro, 560(z)251--268
Solimando:2014:VXD, 560(z)251--268
Solis-Oba, Roberto, 411(34)3287--3292, 487(z)74--81
Solis-Oba, Roberto, see Shao, Zhendong
Solnon, Christine, 412(15)1392--1405, 498(z)76--99
Solnon, Christine, see Gosselin, Stéphane, see Higuera, Colin de la
Solomon, Reed-, 520(z)111--123
Soloveichik, David, 344(2)279--297, 412(43)6112--6113
Soloveichik:2005:CPB, 344(2)279--297, 412(43)6112--6113
Soloveichik:2011:ECP, 344(2)279--297, 412(43)6112--6113
solution, 411(6)837--853, 411(7)967--975, 411(25)2345--2358, 411(47)4102--4122, 412(28)3090--3100, 466(z)64--86, 478(z)127--131, 479(z)163--173, 491(z)33--46, 511(z)137--146, 528(z)12--31, 529(z)61--68, 540(z)53--61, 552(z)83--98, 552(z)109--111
Solvability, 412(12)1066--1080
solvable, 412(4)281--299
solve, 448(1)47--55, 468(z)1--11, 551(z)39--54
solved, 473(z)100--123
solver, 411(50)4333--4356
solving, 411(6)888--896, 412(35)4715--4720, 435(1)43--55, 440(0)29--38, 492(z)1--39, 496(z)69--88, 506(z)115--121, 530(z)1--11, 538(z)70--83, 544(z)74--83, 560(z)219--234
somatic, 412(6)517--533
Song, Fu, 549(z)127--145
Song, Jian, 414(1)9--19, 423(1)1--10, 457(1)86--100
Song, Jian, see Broersma, Hajo, see Golovach, Petr A.
Song, Tao, 499(z)88--97, 529(z)61--68, 529(z)82--95
Song, Tao, see Jiang, Keqin
Song, Xiaoyu, 412(17)1606--1613, 412(25)2746--2765
Song, Xiaoyu, see Li, Yongjian, see Yang, Guowu
Song, Yinglei, 535(z)25--30
Song:2014:ECM, 549(z)127--145
Song:2014:IPA, 535(z)25--30
Song:2014:SNP, 529(z)82--95
Song:2014:TFS, 529(z)61--68
Sorbi, Andrea, 412(46)6531--6536
Sorbi, Andrea, see Marini, Claudio
Soria, Michèle, 412(35)4469--4470, see Salvy, Bruno
Sorrentino, Marianna, 412(46)6531--6536
Sorrentino, Marianna, see Marini, Claudio
sort, 511(z)13--22
sort, bubble-, 421(1)62--69
sortable, 412(8)695--702
sorted, two-, 560(z)307--325
sorters, 412(22)2282--2295
sorting, 412(8)822--834, 412(24)2564--2576, 423(1)11--18, 426(1)66--74, 439(1)1--8, 459(1)26--41, 491(z)127--135, 513(z)109--123
SOS, 412(28)3045--3071
Sosík, Petr, 412(51)7075--7086, 488(z)78--95, see Manrique, Daniel
Sosik:2013:SPM, 488(z)78--95
Soskova, M. I., 412(18)1669--1685
Soskova, M. I., see Arslanov, M. M.
Sotelo, David, 416(1)87--94
Sotelo, David, see Poggi, Marcus
Souissi, Samia, 412(33)4350--4360
Souissi:2011:OBF, 412(33)4350--4360
Soukhal, A., 511(z)13--22
Soukhal, A., see Lenté, Ch.
Soulignac, Francisco J., 426(1)75--90
Soulignac, Francisco J., see Lin, Min Chih
sound, 412(31)4044--4072
source, 411(34)3042--3047, 412(3)225--232, 457(1)1--9, 457(1)76--85, 479(z)22--42
Souto, André, 411(26)2602--2611, see Antunes, Luís
Spaccamela, Alberto, Marchetti-, 412(8)633--641, 412(24)2563--2563, 457(1)1--9, 514(z)1--1
space, 380(1)143--163, 411(6)837--853, 411(44)3894--3904, 412(3)217--224, 412(7)563--572, 412(30)3822--3837, 412(33)4285--4296, 412(36)4841--4850, 412(40)5541--5561, 412(42)5902--5908, 412(46)6469--6483, 426(1)1--12, 429(1)169--179, 431(1)40--55, 444(1)3--16, 457(1)111--127, 459(1)42--54, 460(1)54--69, 467(z)1--11, 478(z)118--126, 483(z)68--74, 492(z)117--122, 507(z)72--82, 508(z)26--34, 529(z)2--10, 529(z)69--81, 533(z)26--36, 546(z)93--98, 554(z)135--149, 557(z)120--127
space, constant-, 483(z)2--9
space, logarithmic-, 469(z)127--133
space, metric-, 411(47)4102--4122
space, state-, 517(z)1--33
Space-efficient, 482(z)60--72, 552(z)99--108
spaceash, 542(z)83--97
spanner, 412(8)846--852, 453(1)54--64, 547(z)1--17
spanning, 411(25)2406--2413, 411(38)3493--3506, 412(4)365--374, 412(22)2237--2252, 412(23)2459--2467, 412(45)6290--6302, 418(1)92--105, 438(1)48--54, 447(1)2--12, 465(z)61--72, 498(z)46--57, 500(z)68--89, 506(z)55--78, 526(z)41--57, 560(z)158--171
sparse, 411(38)3516--3526, 411(44)3894--3904, 412(8)846--852, 412(16)1445--1456, 412(45)6390--6408, 421(1)1--14, 425(1)117--125, 439(1)41--57, 472(z)104--109, 479(z)22--42, 511(z)137--146, 526(z)120--129, 547(z)117--121, 552(z)109--111
sparse, -, 439(1)41--57
spatial, 412(43)5976--6001, 440(0)29--38, 529(z)11--45, 543(z)79--89
Spatially, 431(1)219--234
special, 411(3)617--630, 412(24)2699--2699, 412(29)3604--3615, 412(46)6464--6468, 425(1)2--3, 429(1)144--154, 455(1)1--1, 463(1)1--1, 540(z)1--1, 540(z)89--102, 560(z)217--218, 562(z)660--661
specialization, 411(7)1054--1074
specialized, 411(22)2174--2201
specification, 411(2)360--376, 412(26)2827--2839, 412(28)3145--3174, 412(48)6770--6785, 415(1)39--59, 433(1)20--42, 455(1)98--122, 515(z)1--18, 517(z)102--142, 534(z)24--44
specifying, 474(z)98--116, 503(z)31--60
spectrum, 538(z)54--69
speed, 411(40)3587--3600
speed-up, 489(z)37--47
Speeding, 525(z)103--110
Speedup, 412(4)478--481
speedups, 551(z)66--83
Speranza, M. Grazia, 531(z)54--65
Speranza, M. Grazia, see Angelelli, Enrico
Sperner, 412(28)3140--3144
sphere, 419(1)50--72, 425(1)58--74, 508(z)66--73
spies, 463(1)35--53
Spies, Klaus, Ambos-, 412(18)1652--1668, 494(z)2--12
spike, 499(z)88--97
spiking, 411(6)906--918, 499(z)88--97, 529(z)82--95
Spin, 461(1)2--16
Spinella, Salvatore, 431(1)75--95
Spinella, Salvatore, see Coppo, Mario
Spirakis, P. G., 412(48)6750--6760
Spirakis, P. G., see Nikoletseas, S.
Spirakis, Paul, 432(1)64--76
Spirakis, Paul, see Kontogiannis, Spyros
Spirakis, Paul G., 411(26)2459--2466, 411(40)3714--3730, 412(22)2434--2450, 412(46)6469--6483, 448(1)9--20, 477(z)76--95, 512(z)98--118, 521(z)107--122
Spirakis, Paul G., see Chatzigiannakis, Ioannis, see Dolev, Shlomi, see Efthymiou, Charilaos, see Fotakis, Dimitris, see Mertzios, George B., see Michail, Othon
Spitters, Bas, 411(37)3386--3402
Spitters, Bas, see O'Connor, Russell
splicing, 411(6)865--877, 411(25)2414--2422, 411(48)4149--4161, 436(1)2--22
Split, 506(z)29--42
splitting, 411(31)2978--2986, 412(18)1669--1685, 412(39)5315--5324, 412(52)7087--7098
Spoto, Fausto, 484(z)16--40
Spoto, Fausto, see Nikoli{\'c}, Durica
spread, 550(z)36--50
spreading, 412(24)2602--2610
Sprock, Andreas, 554(z)95--108
Sprock, Andreas, see Böckenhauer, Hans-Joachim
Sprugnoli, R., 411(1)148--163, 412(27)2988--3001
Sprugnoli, R., see Merlini, D.
spy-bad, 463(1)35--53
Spy-good, 463(1)35--53
squad, 547(z)46--69, 559(z)108--117
square, 218(1)95--106, 411(49)4235--4241, 412(15)1301--1312, 412(29)3752--3758, 412(39)5458--5465, 454(1)164--171, 499(z)38--50, 502(z)98--117, 508(z)35--40, 530(z)42--57, 544(z)60--73, 547(z)46--69, 547(z)122, 554(z)135--149
square-free, 429(1)128--133, 482(z)1--8
square-orthogonal, 554(z)150--168
squares, least-, 411(31)2818--2826
squares, three-, 428(1)1--9
Srba, Jirí, 537(z)3--28, see Byg, Joakim
Sreenivasaiah, Karteek, 524(z)90--102
Sreenivasaiah, Karteek, see Mahajan, Meena
Srinathan, Kannan, 496(z)2--16
Srinathan, Kannan, see Mehta, Abhinav
Srinivasan, Aravind, 412(24)2577--2587
Srinivasan, Aravind, see Azar, Yossi
Srinivasan, Venkatakumar, 457(1)45--58
Srinivasan, Venkatakumar, see Comi, Marco
Srivastav, Anand, 555(z)23--34
Srivastav, Anand, see El Ouali, Mourad
Srivastava, Ajitesh, 466(z)20--36
Srivastava, Ajitesh, see Ganguly, Niloy
SSS, 412(33)4227--4227
St. John, Katherine, 513(z)129--136
St. John, Katherine, see Linz, Simone
stability, 411(3)594--601, 411(16)1828--1841, 411(21)2127--2139, 412(50)6855--6878, 558(z)51--61, 559(z)20--33
stability-based, 428(1)58--79
Stabilization, 412(33)4227--4227, 412(40)5562--5579
stabilization, self-, 457(1)137--148
stabilizing, 411(14)1558--1566, 412(33)4228--4246, 412(33)4297--4311, 412(33)4325--4335, 512(z)119--129
stabilizing, Loosely-, 444(1)100--112
stabilizing, Self-, 412(40)5541--5561, 428(1)47--57, 512(z)49--66
stabilizing, self-, 411(14)1567--1582, 411(14)1599--1612, 412(33)4247--4259, 412(33)4336--4349, 412(33)4361--4371, 412(40)5515--5526, 412(40)5527--5540, 412(40)5631--5647, 428(1)18--35, 428(1)80--90, 444(1)28--39, 512(z)2--14, 552(z)99--108
stabilizing, snap-, 412(33)4285--4296, 496(z)89--112
stabilizing, super-, 500(z)90--112
stable, 411(16)1750--1762, 432(1)10--20, 437(1)35--68, 463(1)26--34, 524(z)126--133, 540(z)53--61
stable, super-, 412(50)7059--7065
Stacho, Juraj, 476(z)47--66
Stacho, Juraj, see Habib, Michel
Stacho, L., 412(18)1696--1704
Stacho, L., see Czyzowicz, J.
Stachowiak, Grzegorz, 475(z)92--102
Stachowiak, Grzegorz, see Bienkowski, Marcin
stack, 412(8)695--702, 502(z)88--97
stage, two-, 524(z)78--89
Staiger, Ludwig, 412(22)2253--2261
Staiger, Ludwig, see Calude, Cristian S.
Stainer, Julien, 512(z)67--83
Stainer, Julien, see Frey, Davide
Stalph, Patrick O., 425(1)126--141
Stalph:2012:RMS, 425(1)126--141
Stamatakis, Alexandros, 524(z)48--58
Stamatakis, Alexandros, see Kobert, Kassian
Stamirowska, Zuzanna, 554(z)263--274
Stamirowska, Zuzanna, see Georgiou, Konstantinos
Stamoulis, Georgios, 540(z)115--132
Stamoulis, Georgios, see Mastrolilli, Monaldo
stamp, 497(z)13--19
standard, 411(22)2174--2201, 412(12)1220--1242, 412(31)3975--3991, 412(39)5232--5238
standard, non-, 412(41)5714--5727, 543(z)52--67
Stapleton, Gem, 411(1)91--112
Stapleton:2010:GTA, 411(1)91--112
star, 411(34)3090--3109, 412(18)1729--1744, 412(50)6938--6947, 429(1)98--107, 475(z)13--20, 499(z)38--50, 516(z)28--39
star-free, 450(1)68--80, 454(1)129--135
star-shaped, 445(1)36--51
Starosta, S., 412(41)5649--5655, 465(z)73--74
Starosta, S., see Balková, L'.
Starosta, {\v{S}}., 475(z)120--125, see Balkov{\'a}, L'.
Starosta, Stepán, 518(z)42--63, 533(z)37--45, see Jajcayová, Tatiana, see Pelantová, Edita
Starosta, {\v{S}}t{\v{e}}p{\'a}n, 412(12)1111--1121
Starosta:2011:TPR, 412(12)1111--1121
starting, 412(45)6371--6381
state, 411(2)566--580, 411(16)1770--1784, 411(21)2081--2083, 411(22)2317--2330, 412(1)22--32, 412(1)33--56, 412(21)2095--2107, 412(40)5562--5579, 412(41)5668--5677, 429(1)98--107, 429(1)169--179, 429(1)273--281, 430(1)51--72, 430(1)117--125, 434(1)53--86, 437(1)82--102, 449(1)93--105, 449(1)106--118, 450(1)10--21, 450(1)68--80, 450(1)92--108, 454(1)164--171, 473(z)46--60, 479(z)22--42, 486(z)50--60, 496(z)17--33, 499(z)38--50, 499(z)98--112, 510(z)87--93
state, finite-, 557(z)87--100
state, infinite-, 493(z)80--97
state-based, 458(1)61--75
state-space, 517(z)1--33
stateless, 411(3)581--593
Static, 412(35)4661--4674
Stationary, 411(1)113--130
statistical, 412(21)2162--2187, 428(1)58--79
statistics, 447(1)44--52, 527(z)1--36
status, 414(1)9--19
Stearns, Richard E., 412(30)3932--3946
Stearns, Richard E., see Barrett, Chris
Stee, Rob van, 411(1)44--57, 423(1)11--18, 423(1)59--74, 482(z)9--19, 489(z)88--98
Stee, Rob van, see Chan, Ho-Leung, see Chen, Xujin, see Christodoulou, George, see Epstein, Leah
Stefanek, Anton, 413(1)106--141
Stefanek, Anton, see Hayden, Richard A.
Stefano, Gabriele, Di, 411(7)1013--1037
Steffen, Björn, 554(z)22--39, see Bianchi, Maria Paola
Steffy, Daniel E., 491(z)71--77
Steffy, Daniel E., see Cheng, Eddie
steganography, 505(z)27--41
Stege, Ulrike, 411(43)3845--3858
Stege, Ulrike, see Scott, Allan
Steggles, L. J., 431(1)207--218
Steggles, L. J., see Banks, Richard
Stehn, F., 412(4)375--382
Stehn, F., see Knauer, C.
Steinberg, Benjamin, 412(39)5487--5491
Steinberg:2011:CCO, 412(39)5487--5491
Steinby, Magnus, 412(8)736--752
Steinby, Magnus, see Fülöp, Zoltán
Steiner, 414(1)76--91, 438(1)96--101, 500(z)90--112, 505(z)2--10
Steiner, group-, 416(1)55--64
Steiner, Wolfgang, 412(45)6303--6315
Steiner, Wolfgang, see Grabner, Peter J.
Steinová, Monika, 429(1)144--154, 562(z)660--661, see Hosoda, Jun
Steinwandt, Rainer, 501(z)49--51
Steinwandt, Rainer, see Klingler, Lee
Stell, John, 412(34)4452--4468
Stell:2011:RBA, 412(34)4452--4468
Stelldinger, Peer, 506(z)1--16
Stelldinger, Peer, see Bera, Sahadev
step, 544(z)74--83
step, big-, 435(1)21--42
step, last-, 558(z)107--124
step, small-, 435(1)21--42
Stephan, Frank, 411(29)2741--2756, 412(19)1805--1820, 412(22)2253--2261, 473(z)1--3, 482(z)73--85, 558(z)5--17
Stephan, Frank, see Becerra-Bonache, Leonor, see Calude, Cristian S., \see{Gao, Ziyuan, see Hutter, Marcus, \see{Jain, Sanjay
Stepped, 528(z)57--78
Sterkenburg, T. F., 412(52)7133--7146
Sterkenburg, T. F., see Barmpalias, George
Stewart, Iain A., 411(31)2912--2924, 452(1)132--147
Stewart, Iain A., see Lai, Pao-Lien
Stewart:2012:GTE, 452(1)132--147
Steyaert, Jean-Marc, 540(z)133--142
Steyaert, Jean-Marc, see Tran, Van Du T.
Stich, Slater, 432(1)21--27
Stich, Slater, see Blanchet-Sadri, F.
Stigler, Brandilyn, 412(26)2816--2826
Stigler, Brandilyn, see Dimitrova, Elena
stigmergetic, 411(21)2116--2126
Stillman, Michael, 412(26)2816--2826
Stillman, Michael, see Dimitrova, Elena
STM, 444(1)113--127
stochastic, 411(20)2052--2077, 412(21)2162--2187, 412(30)3932--3946, 412(30)3947--3963, 419(1)50--72, 431(1)117--136, 431(1)165--180, 431(1)181--206, 493(z)80--97, 495(z)96--112, 514(z)36--60, 516(z)121--126, 519(z)46--67
Stoelinga, Mariëlle, 413(1)36--57, see Katoen, Joost-Pieter
Stolar, Rudolf, 494(z)49--62
Stolar, Rudolf, see Cibulka, Josef
Stoller, Scott D., 412(44)6208--6234
Stoller, Scott D., see Sasturkar, Amit
Stoltz, Gilles, 412(19)1832--1852, 558(z)1--4
Stoltz, Gilles, see Bshouty, Nader H., see Bubeck, Sébastien
Stone, 430(1)88--116
stop, slow-to-, 411(38)3507--3515
storage, 460(1)42--53, 512(z)28--40
storage, bounded-quantum-, 560(z)12--26
storeless, 435(1)21--42
stories, 457(1)1--9
Stougie, Leen, 412(8)633--641, 457(1)1--9
Stougie, Leen, see Acuña, Vicente, see Bonifaci, Vincenzo
St{\o}vring, Kristian, 411(47)4102--4122, see Birkedal, Lars
Strand, Robin, 412(15)1350--1363, 412(15)1364--1377, 448(1)80--93
Strand, Robin, see Nagyand, Benedek
Strand:2011:DDF, 412(15)1350--1363
Strand:2012:DTC, 448(1)80--93
Strash, Darren, 447(1)44--52, 514(z)96--104
Strash, Darren, see Eppstein, David
strata, 558(z)77--106
strategic, 412(52)7147--7168, 481(z)37--50
strategically-zero-sum, 432(1)64--76
strategy, 411(2)504--541, 412(6)543--559, 412(15)1406--1418, 412(17)1581--1591, 412(35)4675--4687, 421(1)70--73, 463(1)96--113, 476(z)24--37, 481(z)9--17, 493(z)80--97, 509(z)97--112, 539(z)68--86, 555(z)43--54, 560(z)235--250
strategy-proof, 472(z)90--103, 497(z)154--163
stratified, 558(z)77--106
Straub, Armin, 479(z)4--21
Straub, Armin, see Borwein, Jonathan M.
Strauss, C., Goodman-, 411(7)1085--1093
stream, 411(4)765--782, 411(37)3372--3385, 412(28)3378--3403, 436(1)23--34, 552(z)44--51, 683(z)31--32
Stream, W-, 411(44)3994--4004
streaming, 411(34)3048--3054, 412(23)2544--2555, 412(35)4545--4557, 494(z)13--23, 507(z)72--82, 648(z)116
Streicher, T., 412(25)2701--2713
Streicher, T., see Keimel, K.
strict, 411(11)1372--1386, 450(1)22--30, 486(z)4--10, 506(z)17--28
strictly, 532(z)80--90
string, 411(4)730--738, 411(49)4235--4241, 412(6)534--542, 412(22)2253--2261, 412(29)3537--3544, 412(29)3579--3588, 412(39)5239--5246, 412(45)6359--6370, 416(1)33--54, 421(1)15--24, 426(1)66--74, 432(1)1--9, 432(1)28--37, 438(1)1--12, 438(1)62--73, 443(1)25--34, 454(1)23--29, 460(1)94--103, 468(z)92--101, 477(z)96--108, 481(z)9--17, 483(z)2--9, 483(z)134--148, 483(z)171--181, 495(z)50--65, 498(z)107--114, 506(z)102--114, 525(z)23--29, 525(z)30--41, 525(z)111--129, 530(z)1--11, 542(z)98--107, 550(z)51--58, 554(z)95--108
string-matching, 483(z)85--95
string-regulated, 412(43)6101--6111
strip, 412(7)583--593, 412(29)3759--3774, 440(0)14--28
strip, multiple-, 412(3)233--239
strong, 411(2)410--444, 411(40)3787--3794, 412(11)1027--1032, 412(20)1903--1915, 412(45)6409--6419, 417(1)74--94, 428(1)47--57, 447(1)74--84, 459(1)55--68, 491(z)71--77, 520(z)97--110, 546(z)63--92
stronger, 434(1)87--97, 542(z)1--16
strongly, 411(3)691--700, 411(7)1085--1093, 449(1)54--63, 560(z)269--291
structural, 412(38)5043--5069, 449(1)93--105, 480(z)69--103, 522(z)95--114, 537(z)97--104, 554(z)109--118
structure, 400(1)19--45, 411(1)188--212, 411(19)1949--1973, 411(26)2423--2432, 411(38)3460--3468, 411(40)3527--3552, 412(1)159--165, 412(8)892--900, 412(18)1705--1717, 412(20)1941--1957, 412(22)2451--2456, 412(25)2766--2775, 412(32)4187--4199, 412(37)4893--4904, 412(39)5176--5186, 412(49)6809--6842, 412(50)6879--6896, 417(1)36--49, 418(1)48--70, 429(1)164--168, 438(1)28--33, 447(1)44--52, 459(1)113--119, 468(z)12--22, 475(z)47--58, 475(z)126--127, 483(z)51--67, 493(z)98--115, 497(z)112--122, 502(z)1--3, 502(z)239--248, 503(z)109--114, 504(z)3--4, 504(z)52--72, 508(z)41--53, 516(z)78--85, 521(z)29--41, 527(z)1--36, 540(z)133--142, 546(z)3--6, 546(z)32--51, 546(z)145--163, 550(z)107--112, 559(z)34--41, 560(z)292--306
structured, 411(26)2475--2486, 412(28)3145--3174, 511(z)54--65, 517(z)102--142, 530(z)12--22
structured, lattice-, 457(1)111--127
structuring, 433(1)20--42
stuck, 412(29)3537--3544
study, 412(37)4946--4966, 425(1)34--57, 435(1)21--42, 468(z)1--11, 473(z)46--60, 497(z)31--38, 502(z)118--142, 553(z)64--73
Sturm, 412(27)2942--2954
Sturmian, 411(7)1146--1166, 412(29)3413--3417, 428(1)92--97, 429(1)265--272, 432(1)77--84, 454(1)199--205, 500(z)57--67
style, 549(z)17--35
style, church-, 435(1)77--105
Su, Guifu, 471(z)74--83
Su, Shenghui, 412(39)5374--5386, 426(1)91--117
Su:2011:AGR, 412(39)5374--5386
Su:2012:PKC, 426(1)91--117
Su:2013:NGT, 471(z)74--83
sub, 540(z)70--81
sub-logarithmic, 558(z)107--124
sub-pixel, 412(15)1338--1349
subclass, 412(36)4795--4804, 475(z)66--72, 516(z)78--85
sub(di)graphs, 438(1)48--54
subdivision, 412(35)4493--4503, 443(1)10--24
subgraph, 411(31)2784--2797, 412(18)1696--1704, 412(35)4629--4635, 412(48)6761--6769, 423(1)25--29, 447(1)44--52, 460(1)26--33, 485(z)69--84, 498(z)76--99, 513(z)53--64, 514(z)61--74, 522(z)34--43, 526(z)90--96, 535(z)54--58, 543(z)1--8, 550(z)21--35
subject, 412(12)1081--1091
subjective-information, 488(z)2--14
sublinear, 412(32)4110--4122, 560(z)131--146
Sublinear-time, 548(z)68--78
submodular, 476(z)109--117
subpermutations, 412(29)3555--3567
Subramani, K., 518(z)128--134
Subramani, K., see Ruggieri, Salvatore
subregular, 449(1)64--73
subset, 412(27)2942--2954, 421(1)1--14, 456(1)89--99, 499(z)113--116, 511(z)66--76
subshift, 174(1)203--216
substitutability, 412(19)1821--1831
substitutions, 454(1)178--188, 543(z)68--78
substring, 525(z)42--54, 530(z)23--41, 544(z)60--73
substructural, 412(31)3992--4006
substructure, 447(1)107--119
subsums, 525(z)130--137
subtraction, 412(8)729--735, 421(1)70--73, 422(1)52--58
subtree-shaped, 411(7)1038--1044
subtrees, 470(z)10--22
subword, 412(41)5728--5743, 418(1)116--120, 420(1)80--88, 432(1)21--27, 432(1)85--93, 468(z)69--82, 550(z)107--112
Succinct, 412(24)2668--2678, 412(39)5176--5186, 438(1)74--88, 513(z)38--52, 532(z)80--90
succinctness, 411(2)454--469, 411(31)2987--2998, 499(z)98--112
such, 412(45)6420--6431, 482(z)96--110
Suchan, Karol, 411(7)1167--1181, 444(1)17--27
Suchan, Karol, see Fomin, Fedor V., see Nisse, Nicolas
Sudborough, Hal, 411(44)3965--3970
Sudborough, Hal, see Morales, Linda
Sudborough, I. H., 552(z)52--82
Sudborough, I. H., see Miller, Zevi
Sudborough, I. Hal, 421(1)15--24
Sudborough, I. Hal, see Chitturi, Bhadrachalam
Sudholt, Dirk, 411(14)1599--1612, 411(21)2084--2100, 412(17)1629--1644, 545(z)20--38, 551(z)66--83
Sudholt, Dirk, see Doerr, Benjamin, see Lässig, Jörg, see Rowe, Jonathan E., see Sauerwald, Thomas
Sudholt:2010:RAB, 411(21)2084--2100
Sudo, Yuichi, 444(1)100--112
Sudo:2012:LSL, 444(1)100--112
sufficient, 411(50)4323--4332, 557(z)66--75
suffix, 412(27)2964--2973, 412(29)3604--3615, 457(1)27--34, 483(z)171--181
suffix-, 449(1)37--53
suffix-free, 510(z)87--93
Sugimoto, Akihiro, 412(15)1378--1391
Sugimoto, Akihiro, see Thibault, Yohan
sum, 411(7)986--994, 412(29)3639--3649, 412(35)4738--4741, 412(39)5176--5186, 412(39)5239--5246, 412(39)5458--5465, 418(1)1--13, 501(z)101--108
sum, strategically-zero-, 432(1)64--76
sum-max, 540(z)143--155
Sum-Radii, 540(z)27--39
Sumii, Eijiro, 411(51)4358--4378
Sumii:2010:BLP, 411(51)4358--4378
Summarizing, 414(1)76--91
Summers, Scott M., 412(1)145--158, 412(1)159--165
Summers, Scott M., see Doty, David, see Patitz, Matthew J.
Sums, All-Partial-, 412(15)1419--1433
Sun, He, 494(z)144--160
Sun, He, see Kao, Ming-Yang
Sun, Hongyang, 550(z)1--20
Sun, Xiaoming, 412(29)3524--3529, 468(z)83--91
Sun, Xiaoming, see Gao, Yihan
Sun, Yanjing, 418(1)92--105
Sun, Yanjing, see Xu, Hongli
Sun, Yi, 471(z)74--83
Sun, Yi, see Su, Guifu
Sun, Zheng, 411(1)174--187
Sun, Zheng, see Li, Xiang-Yang
Sun, Zhengya, 456(1)89--99
Sun:2011:ILB, 412(29)3524--3529
Sun:2012:GSR, 456(1)89--99
Sun:2014:EEM, 550(z)1--20
Sung, Wing-Kin, 412(39)5176--5186, 444(1)60--76, 532(z)14--30
Sung, Wing-Kin, see Czyzowicz, Jurek, see Do, Huy Hoang, \see{Hon, Wing-Kai
Suni{\'c}, Zoran, 506(z)79--101, see Ceccherini-Silberstein, Tullio
sup-interpretations, 467(z)30--52
super, 520(z)75--86
super-secondary, 540(z)133--142
super-stabilizing, 500(z)90--112
super-stable, 412(50)7059--7065
supergraph, 412(35)4629--4635
superimposition, 412(4)402--418
Supermartingales, 411(29)2647--2669
superstring, 522(z)44--53
Supervised, 519(z)68--87
supplier, Buyer-, 412(7)614--625
supply, 413(1)2--20
support, 411(22)2174--2201, 479(z)81--98, 534(z)45--52
suppressions, 411(29)2729--2740
surely, 551(z)116--131
Surer, P., 477(z)6--31
Surer, P., see Loridant, B.
surface, 412(16)1492--1507, 484(z)56--69, 528(z)57--78, 545(z)76--93
surface-level, 447(1)100--106
surfers, 526(z)1--17
Suri, S., 444(1)52--59
Suri, S., see Bilò, D.
Suri, Subhash, 522(z)13--23
Suri, Subhash, see Bopardikar, Shaunak D.
surjective, vertex-, 457(1)86--100
survey, 412(1)159--165, 412(38)5095--5110, 467(z)30--52, 560(z)62--81
Survivable, 514(z)105--115
surviving, 411(40)3651--3660, 412(8)913--921, 416(1)65--70, 457(1)158--165, 518(z)22--31
Susilo, Willy, 412(39)5498--5512, 462(1)39--58, 469(z)1--14, 520(z)51--61, 527(z)83--96
Susilo, Willy, see Au, Man Ho, see Chen, Xiaofeng, \see{Fang, Liming, see Wang, Yang, \see{Yang, Guomin
Sutner, Klaus, 412(1)183--190
Sutner:2011:CPO, 412(1)183--190
Sutton, Andrew M., 425(1)58--74, 545(z)59--75, 545(z)94--107
Sutton, Andrew M., see Kötzing, Timo, see Whitley, Darrell
Sutton:2012:CMB, 425(1)58--74
Suzuki, Akira, 505(z)74--80
Suzuki, Ichiro, 411(26)2433--2453
Suzuki, Ichiro, see Yamashita, Masafumi
Suzuki, Yusuke, 513(z)65--76
Suzuki, Yusuke, see Eades, Peter
Suzuki:2013:EFL, 505(z)74--80
SVD, 421(1)1--14
Svensson, Ola, 477(z)57--66
Svensson, Ola, see Mastrolilli, Monaldo
Svobodová, Milena, 412(41)5714--5727, 543(z)52--67, see Frougny, Christiane
Svozil, Karl, 560(z)82--90
Svozil:2014:NCC, 560(z)82--90
SVR, 412(42)5885--5901
swap, 411(16)1763--1769, 411(43)3814--3822, 557(z)34--49
swarm, 411(21)2081--2083, 411(21)2084--2100, 411(21)2101--2115, 411(21)2140--2154
Swarts, Jacobus, 477(z)32--47
Swarts, Jacobus, see MacGillivray, Gary
sweep-line, 429(1)169--179
switching, 429(1)30--35, 452(1)107--116, 473(z)61--76, 493(z)116--138
Sylvester, 412(16)1484--1491
symbol, 2-, 460(1)78--88
symbolic, 411(10)1261--1282, 412(25)2746--2765, 412(30)3838--3855, 447(1)2--12, 458(1)76--112, 538(z)124--139, 560(z)364--379
symbolic-numeric, 479(z)43--69, 491(z)1--32
symmetric, 411(4)739--750, 411(31)2818--2826, 412(8)773--782, 494(z)36--48, 502(z)143--152, 505(z)74--80, 533(z)1--14, 537(z)97--104, 547(z)18--33
symmetries, 411(34)3235--3246, 412(8)675--685, 518(z)42--63
Symmetry, 509(z)40--50
synapses, 529(z)82--95
synchronisation, 411(20)1999--2018
synchronization, 412(12)1243--1262, 412(40)5631--5647, 413(1)87--105, 453(1)14--28, 534(z)2--23, 547(z)46--69, 559(z)108--117
synchronized, 411(44)3932--3937, 449(1)74--84
synchronizer, 509(z)25--39
synchronizing, 498(z)1--9
synchronous, 411(1)58--69, 411(14)1599--1612, 411(40)3787--3794, 412(37)4853--4866, 412(40)5602--5630, 412(41)5752--5759, 496(z)34--49, 509(z)70--85
synchronous, semi-, 498(z)10--27
synchrony, 496(z)2--16
Syntactic, 449(1)37--53
synthesis, 412(17)1606--1613, 412(21)2162--2187, 412(29)3701--3716, 467(z)30--52, 493(z)116--138, 515(z)96--122, 553(z)2--17
Synthesizing, 499(z)23--37
systematic, 411(22)2174--2201, 554(z)2--21
SystemC, 496(z)50--68
Szaniawski, Konstanty, Junosza-, 505(z)42--54
Szczuka, Marcin, 412(42)5960--5973
Szczuka:2011:FNN, 412(42)5960--5973
Szeider, Stefan, 481(z)85--99
Szeider, Stefan, see Ordyniak, Sebastian
Szepesvári, Csaba, 411(29)2712--2728, 473(z)77--99, 519(z)1--3, see Antos, András, see Kivinen, Jyrki
Szilard, 537(z)87--96
Szörényi, Balázs, 519(z)68--87, see Darnstädt, Malte
Szpankowski, Wojciech, 412(35)4469--4470
Szpankowski, Wojciech, see Salvy, Bruno
Szreder, B., 483(z)171--181
Szreder, B., see Christou, M.
Szwarcfiter, Jayme L., 412(29)3693--3700, 426(1)75--90, 440(0)60--72, 460(1)16--25, 510(z)127--135
Szwarcfiter, Jayme L., see Centeno, Carmen C., see Dourado, Mitre C., \see{Lin, Min Chih, see Pinto, Paulo E. D.