Last update: Thu Jun 29 02:46:00 MDT 2023
Return to index directory
S
-
S, Smrithy G., 161(3)299--316
-
S-kR-RRWW-automata, 136(1)85--112
-
S:2018:DIM, 161(3)299--316
-
S4, 161(1)191--218
-
S5, 124(4)465--482
-
Saarela, Aleksi, 110(1)197--200, 162(2)223--235
-
Saarela, Aleksi, see Karhumäki, Juhani
-
Saarela:2018:SWE, 162(2)223--235
-
Saaty, Thomas L., 144(3)213--221
-
Saaty:2016:CPC, 144(3)213--221
-
Sabri, Khair Eddin, 112(4)305--335
-
Sabri:2011:AFS, 112(4)305--335
-
SAC, 166(2)139--140
-
Saccà, Francesco, 115(1)125--139,
see Bertoni, Alberto
-
Sadahiro, Taizo, 117(1)249--264
-
Sadahiro, Taizo, see Nakano, Fumihiko
-
Sadgal, Mohamed, 162(4)259--281
-
Sadgal, Mohamed, see Ennaji, Fatima Zohra
-
Sadhu, Sanjib, 164(1)119--138
-
Sadhu:2019:TCC, 164(1)119--138
-
Saetti, Alessandro, 107(2)167--197, 149(1)209--240
-
Saetti, Alessandro, see Gerevini, Alfonso,
see Vallati, Mauro
-
Saeys, Yvan, 142(1)53--86
-
Saeys, Yvan, see Vluymans, Sarah
-
Safe, 109(3)305--321, 112(1)73--87, 129(1)101--115, 143(1)89--100
-
Safe, Type-, 130(1)67--97
-
Safeness, 101(1)29--43
-
Safety, 131(1)55--80
-
Sagara, Kaoru, 98(1)123--142
-
Sagara, Kaoru, see Abe, Akinori
-
Saha, Indrajit, 106(1)45--73
-
Saha, Sriparna, 163(4)351--374
-
Saha, Sriparna, see Mishra, Sumit
-
Saha:2011:USL, 106(1)45--73
-
Saito, J. H., 124(1)111--132
-
Saito:2013:SAP, 124(1)111--132
-
Saka, Yasushi, 118(4)419--461
-
Saka, Yasushi, see Batmanov, Kirill
-
Sakai, Hiroshi, 130(3)343--376
-
Sakai:2014:ABR, 130(3)343--376
-
Sakama, Chiaki, 155(3)261--292
-
Sakama:2017:RAF, 155(3)261--292
-
Sakowski, Sebastian, 128(4)463--474
-
Sakowski, Sebastian, see Krasi{\'n}ski, Tadeusz
-
Sakurai, Yuko, 158(1)41--61
-
Sakurai, Yuko, see Ihara, Takamasa
-
Salehi, Saeed, 159(3)279--296
-
Salehi:2018:AMT, 159(3)279--296
-
Salesman, 136(3)199--208, 164(2)157--180
-
Salgado, María, Martos-, 113(3)313--341, 131(1)55--80
-
Salo, Ville, 126(2)263--300, 132(1)131--152
-
Salo:2013:CCS, 126(2)263--300
-
Salo:2014:PS, 132(1)131--152
-
Salomaa, Arto, 110(1)z--z, 116(1)237--249, 120(1)71--74, 154(1)vii--vii
-
Salomaa, Arto, see Karhumäki, Juhani,
see P{\u{a}}un, Gheorghe
-
Salomaa, Kai, 109(4)405--424, 110(1)143--158, 120(1)71--74
-
Salomaa, Kai, see Gao, Yuan,
see Piao, Xiaoxue, \see{Salomaa, Arto
-
Salomaa:2012:MIS, 116(1)237--249
-
Salomaa:2012:SYM, 120(1)71--74
-
Salwicki, Andrzej, 122(3)227--274
-
Salwicki, Andrzej, see Langmaack, Hans
-
SAM, 128(1)17--33
-
Samar, Raza, 161(3)249--273
-
Samar, Raza, see Masood, Zaheer
-
Samples, 117(1)103--125
-
Sampling, 107(2)267--287, 127(1)209--223, 146(2)219--230
-
Sand-glass, 109(4)425--462
-
Sandhu, Jasminder Kaur, 160(3)303--341
-
Sandhu:2018:NFR, 160(3)303--341
-
Sandpile, 115(1)107--124, 143(3)261--286
-
Sandrasagra, Barbara, 144(3)223--240
-
Sandrasagra:2016:CRP, 144(3)223--240
-
Sang, Yongxuan, 129(4)395--412
-
Sang, Yongxuan, see You, Lin
-
Sangachin, Mohaddeseh, Mohamadi-, 153(4)327--346
-
Sangnier, Arnaud, 143(3)287--316
-
Sangnier, Arnaud, see Delzanno, Giorgio
-
Sans, Thierry, 130(1)67--97
-
Sans, Thierry, see Cervesato, Iliano
-
Santana, Fabiana T., 112(4)337--363
-
Santana, Fágner L., 112(4)337--363,
see Santana, Fabiana T.
-
Santana:2011:FIQ, 112(4)337--363
-
Santiago, Regivan H. N., 112(4)337--363
-
Santiago, Regivan H. N., see Santana, Fabiana T.
-
Santini, Francesco, 111(3)257--279, 124(4)383--401, 134(3)261--285,
140(3)263--278, 166(2)139--140
-
Santini, Francesco, see Bistarelli, Stefano
-
Santo, José Espírito, 121(1)83--120, 170(1)111--138
-
Santo:2012:CSN, 121(1)83--120
-
Santo:2019:DSC, 170(1)111--138
-
Santucci, Valentino, 167(1)133--158
-
Santucci:2019:TPB, 167(1)133--158
-
Sanz, Ramon, Alonso-, 138(1)1--16
-
Sarkar, Anasua, 99(1)13--27
-
Sarkar, Anasua, see Maulik, Ujjwal
-
Sarkar, Apurba, 159(3)297--325, 162(1)73--100
-
Sarkar:2018:FSTa, 159(3)297--325
-
Sarkar:2018:FSTb, 162(1)73--100
-
Sarkissian, Henri Der, 163(1)1--20
-
Sarkissian:2018:DCV, 163(1)1--20
-
Sarma, Jayalal, 145(4)471--483, 152(2)123--144
-
Sarma, Jayalal, see Komarath, Balagopal,
see Koroth, Sajin
-
Sarma, Samar Sen, 124(1)197--229
-
Sarma, Samar Sen, see Pal, Sankar K.
-
SAT, 102(1)115--127, 120(3)375--395, 131(3)441--450
-
SAT-Based, 120(2)181--203
-
SAT-based, 102(3)467--487, 119(3)373--392, 143(1)173--205
-
SAT-solvers, 165(3)321--344
-
Satellite, 101(4)305--320
-
Satisfaction, 99(2)125--145, 109(1)27--81, 109(1)83--119
-
Satisfiability, 105(1)163--187, 107(2)249--266, 123(1)59--76,
124(4)427--448, 136(4)297--316, 143(1)51--71, 163(2)165--188,
166(4)297--347
-
satisfiability, Herbrand-, 150(1)49--71
-
Sato, Kota, 126(2)247--261
-
Sato, Kota, see Imai, Katsunobu
-
Savi{\'c}, Milo{\v{s}}, 162(4)237--258
-
Savic:2018:GBA, 162(4)237--258
-
Saving, 108(1)23--42
-
Savonnet, Marinette, 162(4)259--281
-
Savonnet, Marinette, see Ennaji, Fatima Zohra
-
Sawa, Zden{\v{e}}k, 123(1)97--106
-
Sawa:2013:ECS, 123(1)97--106
-
Sawicka, Anna, 135(4)403--417, 165(3)345--361
-
Sawicka, Anna, see Kacprzak, Magdalena
-
Sawicka:2019:TET, 165(3)345--361
-
sawtooth, Multi-, 133(1)87--104
-
Say, A. C. Cem, 123(1)107--134
-
Say, A. C. Cem, see Yakaryilmaz, Abuzer
-
Sburlan, Drago{\c{s}}, 134(1)67--82, see Ciobanu, Gabriel
-
SBVR, 124(4)543--560
-
Scalable, 98(1)15--32, 119(3)337--355, 128(3)255--280
-
Scalar, 129(4)395--412
-
scale, 130(3)317--342, 131(3)425--440, 160(3)303--341
-
Scaled, 127(1)413--428
-
Scatena, Guido, 112(1)1--17
-
Scatena, Guido, see Barbuti, Roberto
-
Scattered, 99(3)325--338, 99(4)473--480, 152(1)51--86
-
Scenarios, 103(1)105--128, 120(2)181--203, 137(1)117--142
-
Schabanel, Nicolas, 126(2)121--156
-
Schabanel, Nicolas, see Arrighi, Pablo
-
Schachte, Peter, 158(4)297--326
-
Schachte, Peter, see Amadini, Roberto
-
Schaefer, Gerald, 119(1)113--120
-
Schaefer:2012:RMF, 119(1)113--120
-
Schaub, Torsten, 147(1)1--25, 147(1)63--91
-
Schaub, Torsten, see Abseher, Michael,
see Bomanson, Jori
-
Scheduler, 145(4)405--427
-
Scheduling, 108(1)1--21, 122(4)297--313, 138(4)435--455, 139(1)43--65,
161(1)191--218, 167(1)93--132
-
Scheele, Stephan, 130(1)125--162
-
Scheele, Stephan, see Mendler, Michael
-
Schema, 106(2)295--319, 124(3)271--295
-
Schemata, 125(2)101--133
-
Scheme, 98(2)277--281, 101(4)321--333, 104(4)385--392, 114(3)319--323,
120(1)59--70, 127(1)209--223, 129(4)365--375, 130(4)467--490,
133(1)87--104, 150(2)179--210, 160(4)409--445
-
schemes, 109(2)189--200, 112(4)365--376, 114(3)345--357, 116(1)237--249,
126(1)103--119
-
Schettini, Andrea, Maggiolo-, 102(1)19--34, 103(1)1--29,
120(3)259--274
-
Schewe, Klaus-Dieter, 124(3)271--295
-
Schewe, Klaus-Dieter, see Ma, Hui
-
Schiopu, Camelia, 163(2)189--204
-
Schiopu:2018:MFP, 163(2)189--204
-
Schlachter, Uli, 154(1)1--13
-
Schlachter, Uli, see Badouel, Eric
-
Schlingloff, Bernd-Holger, 153(3)173--198
-
Schlingloff, Bernd-Holger, see Chai, Ming
-
Schlingloff, Holger, 157(4)i--ii, 165(3)i--iii
-
Schlingloff, Holger, see Czaja, Ludwik,
see Penczek, Wojciech
-
Schlund, Maximilian, 113(3)205--228
-
Schlund, Maximilian, see Esparza, Javier
-
Schmid, Stefan, 109(4)383--403
-
Schmid, Stefan, see Locher, Thomas
-
Schmitt, Dominique, 123(4)417--445
-
Schmitt:2013:ATC, 123(4)417--445
-
Schmitz, Sylvain, 161(4)317--349
-
Schmitz, Sylvain, see Bérard, Béatrice
-
Schneider, Markus, 132(2)177--202
-
Schneider, Markus, see Viswanathan, Ganesh
-
Schnorr, 141(1)95--114
-
Schnörr, Christoph, 125(3)285--312, 135(1)73--102,
see Deni{\c{t}}iu, Andreea,
see Petra, Stefania
-
Schnörr, Claudius, 135(1)73--102,
see Deni{\c{t}}iu, Andreea
-
Schröder, Andreas, 125(3)285--312,
see Petra, Stefania
-
Schrödinger, 145(2)207--219, 166(2)87--110
-
Schubert, Aleksy, 170(1)v--vi
-
Schubert, Aleksy, see Altenkirch, Thorsten
-
Schubert, Tobias, 107(2)139--166
-
Schubert, Tobias, see Lewis, Matthew
-
Schüller, Peter, 149(1)159--207
-
Schuller:2016:MVF, 149(1)159--207
-
Schumann, Andrew, 133(2)271--285, 144(3)241--254
-
Schumann:2014:TOO, 133(2)271--285
-
Schumann:2016:TSO, 144(3)241--254
-
Schürr, Andy, 118(1)z--z, see Rensink, Arend
-
Schützenberger, Kleene-, 112(2)171--191
-
Schwoon, Stefan, 161(4)317--349
-
Schwoon, Stefan, see Bérard, Béatrice
-
Scicluna, James, 146(4)379--402
-
Scicluna:2016:GIP, 146(4)379--402
-
science, 98(4)z--z, 122(3)227--274, 170(1)207--221
-
Scientific, 128(3)281--302
-
Scientist, 103(1)323--332
-
SCIFF, 124(4)365--381
-
Sciortino, Marinella, 134(3)319--333
-
Sciortino, Marinella, see Castiglione, Giusi
-
Scope, 151(1)145--159
-
Score, 165(2)99--137
-
Scott, 127(1)17--33
-
Scozzari, Francesca, 106(2)149--173
-
Scozzari, Francesca, see Amato, Gianluca
-
scrambling, 162(2)119--141
-
Search, 99(2)207--226, 107(2)167--197, 107(2)223--248, 107(2)289--311,
113(2)117--150, 126(4)319--333, 127(1)307--323, 131(1)139--166,
136(4)461--474, 137(2)273--290, 138(4)387--409, 152(2)145--166,
156(1)21--41, 161(1)191--218
-
search, Arc-, 146(3)255--269
-
Searching, 101(1)115--123, 152(4)411--433
-
Sebillo, Monica, 132(2)267--290
-
Sebillo, Monica, see Bimonte, Sandro
-
Sebti, Nadia Ouali, 156(1)69--94
-
Sebti, Nadia Ouali, see Mignot, Ludovic
-
Second-Order, 100(1)1--17, 106(2)259--272, 118(1)177--205,
170(1)223--240
-
Second-order, 111(4)413--422, 114(3)271--285, 153(4)327--346
-
secret, 114(3)345--357, 137(3)369--386
-
Secure, 134(3)261--285
-
Secure, Forward-, 111(2)241--256, 114(1)103--103
-
Security, 102(1)19--34, 102(1)63--76, 112(4)365--376, 120(3)295--309,
130(4)423--466, 143(1)73--87
-
see, 105(1)35--55, 109(4)481--481, 111(2)241--256, 114(1)103--103,
129(1)133--147
-
Séébold, Patrice, 116(1)251--263
-
Seebold:2012:LOF, 116(1)251--263
-
Seed, 131(2)187--203
-
Seeking, 156(1)43--68
-
Segers, Hilde, 125(3)223--237
-
Segers:2013:DTM, 125(3)223--237
-
Segmental, 132(4)461--483
-
Segmentation, 98(2)199--231, 128(4)475--501, 163(1)1--20
-
Seismic, 146(2)211--217
-
Seki, Shinnosuke, 101(3)215--236, 107(1)1--18, 110(1)201--215,
138(1)61--76
-
Seki, Shinnosuke, see Cui, Bo,
see Ibarra, Oscar H., \see{Kari, Lila
-
Selection, 98(2)167--181, 101(4)271--285, 127(1)273--288,
136(4)405--431, 140(3)357--372, 163(2)111--138, 166(2)141--166
-
Selective, 134(3)395--414
-
Selectors, 155(1)209--232
-
Self-Adaptation, 98(1)87--106
-
Self-Assembly, 143(1)35--49, 155(1)131--162
-
Self-avoiding, 117(1)19--33
-
Self-Correcting, 138(4)457--482
-
Self-Indexed, 111(3)313--337
-
Self-Modifying, 129(1)27--36
-
Self-organized, 118(4)419--461
-
Self-Organizing, 129(1)37--48
-
Self-Reference, 111(3)281--311
-
Semantic, 99(2)187--205, 101(1)9--27, 103(1)137--172, 106(2)295--319,
108(3)249--265, 109(2)135--160, 109(3)355--368, 112(1)1--17,
112(4)263--280, 114(1)73--101, 118(1)177--205, 119(1)61--86,
119(3)249--264, 121(1)153--184, 131(3)373--388, 132(3)423--438,
138(1)207--225, 140(1)89--121, 142(1)213--236, 147(4)387--414,
150(2)143--177, 153(1)57--86, 153(1)125--146, 155(3)293--319,
158(1)217--238, 158(4)327--352, 161(1)53--74, 164(4)327--344,
165(3)205--244, 166(4)297--347, 169(1)31--55
-
Semantical, 140(3)247--262
-
Semantics*, 140(3)279--305
-
semantics, Bio-, 160(1)53--80
-
Semelparous, 103(1)219--233
-
Semeniuk--Polkowska, Maria, 133(2)241--255
-
Semeniuk--Polkowska, Maria, see Polkowski, Lech
-
Semeniuk-Polkowska, Maria, 127(1)65--80, 129(1)149--159,
142(1)269--284
-
Semeniuk-Polkowska, Maria, see Polkowski, Lech
-
Semeniuk-Polkowska:2013:NEA, 127(1)65--80
-
Semi-analytic, co-, 164(4)359--373
-
Semi-conditional, 138(1)127--144
-
Semi-Deterministic, 146(4)431--459
-
Semi-quantitative, 160(1)81--100
-
Semi-supervised, 130(2)201--218
-
Semi-Thue, 116(1)189--204
-
Semi-totalistic, 126(2)247--261
-
Semi-Uniformity, 134(1)129--152
-
Semidefinite, 152(1)33--50, 153(4)327--346
-
semigroup, 116(1)1--13
-
Semilinear, 123(1)97--106, 138(1)61--76
-
Senni, Valerio, 119(3)281--300, 124(4)483--502, 127(1)115--134
-
Senni, Valerio, see Fioravanti, Fabio
-
Sense, 119(1)61--86
-
Sensing, 101(4)286--304
-
Sensitive, 137(2)291--304
-
Sensitivity, 163(4)351--374
-
Sensor, 160(3)303--341
-
Sentences, 130(2)179--199, 164(4)327--344
-
Separability, 113(3)179--203
-
separated, 154(1)37--46
-
Separating, 99(3)315--324
-
Separation, 115(1)125--139, 138(1)45--60, 152(4)397--409
-
sequence, 110(1)175--182, 114(3)301--308, 116(1)123--128,
117(1)199--213, 120(2)111--144, 130(2)247--261, 138(4)411--434,
140(2)123--127, 141(2)115--134, 145(3)257--277, 149(3)297--309,
153(3)173--198, 158(1)217--238, 163(3)253--266, 163(3)267--273,
169(1)31--55
-
Sequent, 150(1)119--142, 161(1)191--218
-
Sequential, 99(2)125--145, 138(3)373--386, 139(1)43--65, 145(4)485--509
-
Sergioli, Giuseppe, 115(1)1--14
-
Sergioli, Giuseppe, see Beltrametti, Enrico
-
Seriation, 146(3)293--304
-
series, 112(2)171--191, 117(1)229--248, 166(2)87--110
-
Serina, Ivan, 102(3)287--323, 107(2)167--197, 149(1)209--240,
167(1)v--vii
-
Serina, Ivan, see Gerevini, Alfonso E.,
see Gerevini, Alfonso,
see Maratea, Marco, \see{Vallati, Mauro
-
Serre, Olivier, 160(4)361--384
-
Serre, Olivier, see Carayol, Arnaud
-
Servais, Frédéric, 122(1)1--30,
see Reynier, Pierre-Alain
-
server, Client-, 109(3)255--264
-
Service, 98(1)33--47, 108(1)151--180, 111(3)339--355, 112(1)47--71,
113(3)295--311, 120(2)181--203, 128(1)129--141, 137(2)253--271,
149(1)101--132, 157(4)403--425
-
Set-based, 127(1)273--288
-
Set-pairs, 117(1)189--198
-
Set-theoretic, 115(2)247--264, 150(1)49--71
-
Set-theoretical, 99(3)339--354
-
Sets-based, 142(1)117--143
-
Settings, 148(1)157--172, 149(4)419--449
-
Setty, Yaki, 103(1)235--246, 118(4)403--417
-
Setty:2010:MBU, 103(1)235--246
-
Setty:2012:EMM, 118(4)403--417
-
Several, 104(1)71--91, 170(1)111--138
-
Sevilla, 134(1)153--166
-
Sgarro, Andrea, 118(3)245--252, 141(4)297--310
-
Sgarro, Andrea, see Bortolussi, Luca
-
SHA-3, 169(4)331--343
-
Shah, Rahul, 163(3)245--251
-
Shah, Rahul, see Ganguly, Arnab
-
Shaheen, Tanzeela, 165(1)75--98
-
Shaheen:2019:GPG, 165(1)75--98
-
Shakiba, Ali, 139(3)307--328
-
Shakiba:2015:AST, 139(3)307--328
-
Shallit, Jeffrey, 116(1)223--236, 123(2)135--142
-
Shallit, Jeffrey, see Mousavi, Hamoon,
see Rampersad, Narad
-
Shallow, 151(1)77--89
-
Shalu, M. A., 145(1)81--91
-
Shalu:2016:GJA, 145(1)81--91
-
Shanker, N. R., 101(4)305--320
-
Shanker:2010:EMI, 101(4)305--320
-
Shannon, 118(3)245--252
-
Shao, Mingwen, 126(4)397--414
-
Shao, Zuhua, 104(4)385--392, 141(1)95--114
-
Shao:2010:BPB, 104(4)385--392
-
Shao:2013:VBA, 126(4)397--414
-
Shao:2015:CBF, 141(1)95--114
-
Shared, 105(1)163--187, 119(3)265--280
-
Sharing, 107(2)139--166, 114(3)345--357, 137(3)369--386
-
Sharma, Rajendra Kumar, 137(3)369--386
-
Sharma, Rajendra Kumar, see Kumar, Sachin
-
Sharma, Shailza, 168(2)335--351
-
Sharma:2019:NTS, 168(2)335--351
-
Sharygina, Natasha, 150(1)1--24
-
Sharygina, Natasha, see Alberti, Francesco
-
Shaw, Dipan Lal, 163(4)375--393
-
Shaw:2018:AAT, 163(4)375--393
-
She, Yanhong, 107(1)67--83, 111(2)223--239
-
She:2011:RTDa, 107(1)67--83
-
She:2011:RTDb, 111(2)223--239
-
Shedding, 103(1)31--52
-
Sheet, 151(1)145--159
-
Shelah--Stupp, 159(4)327--359
-
Shemyakov, Anton, 162(2)205--221
-
Shemyakov, Anton, see Ryzhikov, Andrew
-
Shen, Alexander, 132(1)1--14
-
Shen, Alexander, see Rumyantsev, Andrei
-
Sheng, 120(1)71--74
-
Shi, Hong, 132(3)381--399
-
Shi, Hong, see An, Shuang
-
Shi, Xiaolong, 136(3)219--230, 149(4)451--470
-
Shi, Xiaolong, see Kong, Yuan,
see Wu, Tingfang
-
Shift, 111(2)147--161, 147(1)1--25
-
Shift-free, 155(1)187--207
-
Shifting, 98(2)321--336
-
Shiganov, Alexander E., 104(3)239--253
-
Shiganov, Alexander E., see Lozhkin, Sergei A.
-
Shim, Kyung-Ah, 112(4)365--376
-
Shim:2011:SPC, 112(4)365--376
-
Shin, Kilho, 152(1)87--105
-
Shin:2017:IDC, 152(1)87--105
-
Shivers, Olin, 103(1)247--287
-
Shivers:2010:BRU, 103(1)247--287
-
Shkarin, Andrei, 141(2)245--258, 141(2)259--274
-
Shkarin, Andrei, see Shkarin, Roman
-
Shkarin, Roman, 141(2)245--258, 141(2)259--274
-
Shkarin, Roman, see Shkarin, Andrei
-
Shkarin:2015:GOD, 141(2)245--258
-
Shkarin:2015:OSG, 141(2)259--274
-
Shock, 131(3)299--312
-
Shop, 167(1)93--132
-
SHOQ, 135(4)433--449
-
Short, 128(4)445--462, 132(1)113--129
-
Shorter, 145(2)171--187
-
Shortest, 159(3)297--325, 162(1)73--100
-
Shoukourian, Arsen, 105(4)417--434
-
Shoukourian, Arsen, see Grigoryan, Hayk
-
Shows, 149(1)133--158
-
Shu, Lan, 128(4)503--526
-
Shu, Lan, see Wang, Zhaohao
-
shuffle, 116(1)35--44, 128(1)113--128, 129(1)117--132
-
Shur, Arseny M., 132(1)15--31
-
Shur, Arseny M., see Idiatulina, Lidia A.
-
Shvay, Adrian, 99(3)339--354
-
Shvay, Adrian, see Rytsar, Bohdan
-
side, 130(2)231--246
-
sided, One-, 126(1)1--35, 153(4)347--366
-
Sided, Two-, 137(4)425--455
-
Sidorova, Natalia, 122(1)59--83
-
Sidorova, Natalia, see Hee, Kees M. van
-
Sidorowicz, El{\.z}bieta, 114(2)105--128,
see Borowiecki, Piotr
-
Sidoruk, Teofil, 165(3)321--344
-
Sidoruk, Teofil, see Niewiadomski, Artur
-
Sieniek, Marcin, 140(2)129--172, 140(2)173--203
-
Sieniek, Marcin, see Ryszka, Iwona
-
Sieve, 156(2)179--185
-
Sight-limited, 158(1)149--169
-
Sign, 152(1)13--31
-
signal, 98(1)33--47, 112(4)337--363, 118(4)371--384, 153(1)29--55,
168(2)249--268
-
Signaling, 160(1)167--179
-
Signalling, 160(1)1--25
-
Signature, 104(4)385--392, 112(4)365--376, 114(3)319--323,
126(1)103--119, 129(4)365--375, 141(1)95--114, 145(2)171--187,
150(2)179--210, 160(4)409--445
-
Signcryption, 107(1)105--109, 112(4)365--376
-
Signed, 141(1)1--36
-
Significance, 136(4)405--431
-
Sijbers, Jan, 125(3)223--237, 135(1)21--42
-
Sijbers, Jan, see Bleichrodt, Folkert,
see Segers, Hilde
-
Sikora, Marek, 123(2)143--170, 123(2)171--197, 149(4)419--449
-
Sikora, Marek, see Wróbel, {\L}ukasz
-
Sikora:2013:CCH, 123(2)143--170
-
Sikora:2013:RDR, 123(2)171--197
-
Sikorski, Rasiowa-, 156(3)255--280
-
Silaghi, Marius, 158(1)63--91
-
Silaghi, Marius, see Matsui, Toshihiro
-
Silva, Alexandra, 150(3)347--377
-
Silva, Alexandra, see Jeannin, Jean-Baptiste
-
Silva, Joao, Marques-, 102(3)363--389, 107(2)249--266
-
Silva, Pedro V., 101(4)257--270
-
Silva, Pedro V., see Konstantinidis, Stavros
-
Silver, 164(2)195--205
-
{\v{S}}{\'\i}ma, Ji{\v{r}}{\'\i}, 152(4)397--409
-
Sima:2017:TSB, 152(4)397--409
-
Simeoni, Marta, 160(1)27--52
-
Simeoni, Marta, see Baldan, Paolo
-
similarity, 106(1)75--91, 119(3)319--336, 127(1)307--323,
127(1)325--340, 133(2)149--163, 136(4)461--474, 141(4)275--295,
152(2)145--166, 152(3)273--287, 152(4)373--396, 156(1)43--68,
156(2)209--235
-
Similarity-Based, 101(3)187--213
-
Simi{\'n}ski, Krzysztof, 123(3)331--350
-
Siminski:2013:CMV, 123(3)331--350
-
Simitsis, Alkis, 128(3)303--335
-
Simitsis:2013:HAF, 128(3)303--335
-
{\v{S}}imkus, Mantas, 159(1)123--146, see Gottlob, Georg
-
Simone, Robert de, 108(1)91--118
-
Simone, Robert de, see Potop-Butucaru, Dumitru
-
Simonsen, Jakob Grue, 170(4)339--365
-
Simonsen, Jakob Grue, see Ketema, Jeroen
-
Simple, 105(3)319--339, 108(3)287--304, 109(3)237--253, 119(3)249--264,
139(2)115--126, 144(3)279--289, 163(2)205--223, 169(3)211--235,
170(1)111--138
-
Simpler, 145(2)171--187
-
Simplification, 164(2)243--257
-
Simplified, 165(2)139--156
-
Simplifying, 118(3)225--244
-
Simpson, Alex, 150(3)317--346
-
Simpson, Alex, see Mio, Matteo
-
{\v{S}}im{\r{u}}nek, Milan, 166(4)349--378,
see Rauch, Jan
-
Simson, Daniel, 109(4)425--462, 123(4)447--490, 124(3)309--338,
124(3)339--364, 139(2)153--184, 139(2)185--209, 139(3)249--275,
145(1)19--48, 145(1)49--80, 153(4)367--398
-
Simson, Daniel, see Kasjan, Stanis{\l}aw,
see Makuracki, Bartosz
-
Simson:2011:MAS, 109(4)425--462
-
Simson:2013:ADM, 123(4)447--490
-
Simson:2013:FCS, 124(3)309--338
-
Simson:2013:TAM, 124(3)339--364
-
Simson:2016:SACa, 145(1)19--48
-
Simson:2016:SACb, 145(1)49--80
-
Simsun, 117(1)155--177
-
Simulated, 124(1)111--132, 147(2)289--313
-
Simulating, 136(3)269--284, 153(1)87--103
-
Simulation, 108(1)23--42, 125(3)223--237, 126(2)121--156, 129(1)49--67,
133(2)165--179, 136(3)253--267, 155(1)131--162, 160(1)181--198,
163(1)93--109, 164(2)139--155
-
Simulation-based, 160(1)167--179
-
Simulator, 139(2)211--227
-
Simultaneous, 136(4)405--431
-
Singh, Brajesh Kumar, 114(3)271--285
-
Singh, Brajesh Kumar, see Gangopadhyay, Sugata
-
Singh, Pankaj Kumar, 166(3)251--271
-
Singh, Pankaj Kumar, see Tiwari, Surabhi
-
Single, 110(1)201--215
-
singular, 151(1)145--159, 151(1)161--171
-
Sirjani, Marjan, 107(1)19--42
-
Sirjani, Marjan, see Hojjat, Hossein
-
Siromoney, Rani, 155(1)209--232
-
Siromoney, Rani, see Fernau, Henning
-
Situations, 98(1)123--142
-
Six-dimensional, 146(2)219--230
-
Size, 104(3)239--253, 112(2)119--135, 115(1)125--139, 149(3)297--309
-
Skarbek, Wladyslaw, 168(2)i--ii
-
Skarbek, W{\l}adys{\l}aw, 168(2)89--184, 168(2)287--310,
see Pilarczyk, Rafa{\l}
-
Skarbek:2019:F, 168(2)i--ii
-
Skarbek:2019:STN, 168(2)89--184
-
Skaruz, Jaroslaw, 135(4)451--466, 147(2)289--313
-
Skaruz, Jaroslaw, see Niewiadomski, Artur
-
Skeleton, 125(3)343--359, 130(2)247--261
-
Skew, 116(1)111--122, 167(3)159--191
-
Skolem, 170(1)1--14
-
Skowron, Andrzej, 100(1)141--157, 109(3)339--354, 115(2)z--z,
119(3)421--437, 126(2)z--z, 126(4)z--z, 128(1)159--176,
129(1)69--84, 133(2)181--196, 142(1)213--236, 143(1)1--18,
154(1)95--108, 157(4)371--384, 165(3)263--281, 165(3)283--302
-
Skowron, Andrzej, see Bazan, Jan G.,
see Cervelle, Julien, \see{Dutta, Soma,
see Jankowski, Andrzej,
see Peters, James F.,
see Szczuka, Marcin, \see{Wang, Guoyin,
see Yao, JingTao
-
Skowron:2010:ASR, 100(1)141--157
-
Skowron:2012:RSB, 119(3)421--437
-
Skrobanek, Pawe{\l}, 147(4)387--414, see Magott, Jan
-
Skrzypczak, Andrzej, 132(3)315--330
-
Skrzypczak, Andrzej, see Pa{\l}kowski, {\L}ukasz
-
Skrzypczak, Micha{\l}, 98(4)337--349, 119(1)87--111,
see Boja{\'n}czyk, Miko{\l}aj,
see Hummel, Szczepan
-
Slabodkin, Mikhail, 145(3)229--242
-
Slabodkin, Mikhail, see Itsykson, Dmitry
-
{\'S}l{\k{e}}zak, Dominik, 111(1)z--z, 119(3)319--336, 127(1)445--459,
137(2)z--z, 148(1)z--z, 161(3)275--297, 167(3)193--217,
see Ciucci, Davide, \see{Janusz, Andrzej,
see Michalak, Marcin, \see{Wu, Wei-Zhi
-
Slezak:2013:TDR, 127(1)445--459
-
Slezak:2015:P, 137(2)z--z
-
SLGAD, 102(3)429--466
-
S{\l}owi{\'n}ski, Roman, 115(1)25--56, 126(4)377--395, 127(1)161--176,
132(3)315--330, see Deng, Weibin,
see Greco, Salvatore,
see Pa{\l}kowski, {\L}ukasz
-
{\'S}lusarczyk, Gra{\.z}yna, 124(1)91--110,
see Grabska, Ewa
-
Smaglichenko, Alexander V., 146(2)211--217
-
Smaglichenko, Alexander V., see Smaglichenko, Tatyana A.
-
Smaglichenko, Tatyana A., 146(2)211--217
-
Smaglichenko:2016:MFM, 146(2)211--217
-
Smaill, Alan, 102(2)209--228
-
Smaill, Alan, see Wilson, Sean
-
Small, 110(1)295--308, 138(1)17--29, 138(1)227--250, 138(1)251--258,
145(2)143--150, 145(3)279--312, 149(4)451--470, 160(3)303--341
-
Smart, 135(4)341--353
-
SMC4AC, 152(3)223--271
-
Smirnov, Kolmogorov-, 117(1)103--125
-
Smith, Jonathan D. H., 156(3)331--359
-
Smith, Jonathan D. H., see Romanowska, Anna B.
-
Smooth, 146(3)293--304
-
Smoothness, 143(3)261--286
-
SMT, 135(4)451--466, 147(2)289--313
-
SMT-Based, 135(4)467--482
-
SMT-based, 152(4)411--433
-
Smyth, W. F., 163(3)275--289
-
Smyth, W. F., see Mhaskar, Neerja
-
Smyth, William F., 110(1)183--195, 139(2)115--126
-
Smyth, William F., see Alatabbi, Ali,
see Ilie, Lucian
-
Sniffing, 160(3)281--301
-
SOAP, 137(2)253--271
-
SoBT-RFW, 142(1)237--267
-
Soccer, 131(2)241--251
-
Socci, Samanta, 125(3)329--342, 141(2)191--205
-
Socci, Samanta, see Bilotta, Stefano,
see Frosini, Andrea
-
Socha, Stanislawa, Bazan-, 143(1)1--18, 147(2)193--207
-
Social, 127(1)479--494, 129(3)225--250, 130(3)317--342, 137(2)253--271,
150(2)221--230, 162(4)259--281
-
Sofronie-Stokkermans, Viorica, 156(3)361--411
-
Sofronie-Stokkermans:2017:RTLa, 156(3)361--411
-
Sofronie-Stokkermans:2017:RTLb, 156(3)361--411
-
Soft, 111(3)257--279, 115(2)189--202, 124(1)231--250, 134(3)261--285,
137(4)457--491, 141(1)71--93, 152(2)107--122, 152(3)297--321,
152(4)373--396
-
Software, 112(1)103--117, 119(2)163--185, 128(1)47--63, 131(2)253--278,
141(2)233--243
-
Soh, Takehide, 102(3)467--487
-
Soh:2010:SBM, 102(3)467--487
-
Sokoban, 124(4)561--575
-
Sokolov, Danil, 137(1)143--170
-
Sokolov, Danil, see Fernandes, Johnson
-
Sokolov, Dmitry, 132(1)113--129, 145(3)229--242
-
Sokolov, Dmitry, see Itsykson, Dmitry
-
Solanki, Monika, 111(3)339--355
-
Solanki, Monika, see Lomuscio, Alessio
-
Solé, Marc, 113(3)343--376
-
Sole:2011:LRB, 113(3)343--376
-
solid, 135(1)73--102
-
Soliton, 145(2)207--219
-
Solomakhin, Dmitry, 124(4)543--560
-
Solomakhin:2013:LBR, 124(4)543--560
-
Soltys, Michael, 114(2)129--147, 144(3)223--240, 144(3)291--307
-
Soltys, Michael, see Herman, Grzegorz,
see Koczkodaj, Waldemar W.,
see Sandrasagra, Barbara
-
solution, 100(1)19--41, 102(3)363--389, 109(2)179--188, 110(1)59--76,
111(2)203--222, 113(1)63--77, 125(1)95--99, 132(4)501--517,
133(1)19--34, 136(3)285--296, 145(2)207--219, 146(3)231--254,
151(1)135--143, 152(1)13--31, 158(1)149--169, 166(2)87--110,
166(2)111--137
-
Solvability, 99(4)435--471, 103(1)173--202, 151(1)91--108
-
Solve, 130(2)231--246, 152(1)13--31
-
solvers, SAT-, 165(3)321--344
-
Solving, 99(2)125--145, 102(3)467--487, 105(1)57--78, 107(2)139--166,
107(2)z--z, 109(4)425--462, 113(1)1--18, 114(3)359--373,
124(1)1--25, 124(4)561--575, 125(3)313--328, 126(4)301--318,
133(4)421--431, 135(3)295--308, 136(3)199--208, 138(4)457--482,
149(1)35--60, 152(2)145--166, 165(3)321--344, 167(1)59--92,
167(1)93--132
-
Son, Nguyen Hung, 157(4)i--ii
-
Son, Nguyen Hung, see Czaja, Ludwik
-
Son, Tran Cao, 158(1)171--216
-
Son, Tran Cao, see Le, Tiep
-
S{\o}ndergaard, Harald, 158(4)297--326,
see Amadini, Roberto
-
Song, Bosheng, 139(2)211--227, 144(1)77--107
-
Song, Bosheng, see Macías-Ramos, Luis F.
-
Song, Jiefu, 162(4)311--359
-
Song, Jiefu, see Ravat, Franck
-
Song, Tao, 136(3)253--267, 139(2)211--227
-
Song, Tao, see Macías-Ramos, Luis F.
-
Song, Yinglei, 145(2)151--170
-
Song:2016:NGT, 145(2)151--170
-
Song:2016:TSP, 144(1)77--107
-
Sorel, Yves, 108(1)91--118
-
Sorel, Yves, see Potop-Butucaru, Dumitru
-
S{\o}rensen, Mathias Grund, 140(1)89--121,
see Mateo, José Antonio
-
Sorites, 157(4)371--384
-
Sornkhom, Panupong, 130(4)423--466
-
Sornkhom, Panupong, see Permpoontanalarp, Yongyuth
-
Sorrentino, Loredana, 139(3)277--305, 159(1)175--195
-
Sorrentino, Loredana, see Malvone, Vadim,
see Mogavero, Fabio
-
Sorted, Two-, 166(1)29--56
-
Sorting, 115(4)395--417
-
Sosík, Petr, 134(1)167--182, 138(1)45--60,
see Pérez-Jiménez, Mario J.,
see P{\u{a}}un, Andrei
-
Sosnowski, {\L}ukasz, 129(4)341--364, see Szczuka, Marcin
-
Souici-Meslati, Labiba, 139(1)91--114
-
Souici-Meslati, Labiba, see Zekri, Meriem
-
Soukup, Ond{\v{r}}ej, 152(1)51--86, see Meduna, Alexander
-
Sound, 107(1)85--104, 128(1)17--33
-
Soundness, 121(1)1--41, 131(1)55--80, 131(1)81--101, 140(1)89--121
-
source, 141(2)259--274
-
space, 99(1)1--12, 100(1)141--157, 107(2)289--311, 107(4)345--378,
108(1)23--42, 114(2)129--147, 115(1)15--24, 115(2)219--232,
115(4)279--295, 122(4)297--313, 122(4)357--399, 124(1)231--250,
125(1)1--20, 126(2)157--181, 127(1)135--149, 127(1)193--207,
127(1)357--367, 128(1)159--176, 131(2)205--215, 131(3)351--371,
133(4)433--448, 136(1)139--155, 136(4)461--474, 138(1)113--125,
138(3)351--371, 139(3)307--328, 141(1)37--55, 142(1)105--115,
142(1)145--160, 146(2)197--209, 148(1)157--172, 151(1)109--133,
153(3)221--233, 158(4)353--368, 163(3)245--251, 165(2)157--191,
166(2)87--110
-
Space, Constant-, 134(1)111--128
-
space, Hilbert-, 115(1)1--14
-
space, Orientation-, 146(2)219--230
-
Spaced, 131(2)187--203
-
Spanning, 140(2)205--219
-
Spans, 118(1)1--33
-
Sparse, 152(2)123--144
-
Sparsity, 155(4)449--480
-
Spatial, 118(4)327--343
-
Spatially, 138(1)193--205
-
Spatiotemporal, 98(1)33--47
-
Spearman, 118(3)245--252
-
special, 98(1)z--z, 116(1)z--z, 136(1)1--35, 144(3)291--307, 153(1)v--vi,
166(2)139--140
-
Special-Purpose, 114(3)221--237
-
Specialising, 153(1)57--86
-
specialization, 119(3)281--300
-
Specialization-based, 124(4)483--502
-
Specialized, 147(2)173--191
-
Species, 103(1)219--233
-
Species-Driven, 154(1)47--63
-
Specific, 163(4)325--337
-
Specification, 112(4)305--335, 135(4)355--369
-
Specified, 112(2)219--238, 126(4)335--351
-
Spectral, 124(3)309--338, 125(1)21--49, 139(2)153--184, 139(2)185--209,
145(1)19--48, 145(1)49--80
-
Spectrometry, 103(1)89--104
-
Spehner, Jean-Claude, 123(4)417--445
-
Spehner, Jean-Claude, see Schmitt, Dominique
-
Sphere, 153(3)221--233
-
Spicher, Antoine, 160(1)119--142
-
Spicher, Antoine, see Delaplace, Franck
-
Spie{\.z}, Stanis{\l}aw, 114(3)345--357
-
Spiez:2012:RCT, 114(3)345--357
-
Spike, 134(1)167--182, 134(1)183--200, 156(2)187--208
-
Spiking, 110(1)271--293, 111(4)423--436, 111(4)453--464, 134(1)167--182,
134(1)183--200, 134(1)201--218, 136(3)219--230, 136(3)231--240,
136(3)253--267, 149(4)451--470, 150(2)231--240, 156(2)187--208,
164(2)139--155
-
Splicing, 110(1)329--342
-
Sprock, Andreas, 110(1)59--76
-
Sprock, Andreas, see Böckenhauer, Hans-Joachim
-
Spyratos, Nicolas, 99(3)263--292
-
Spyratos, Nicolas, see Jen, Tao-Yuan
-
Square, 125(1)71--94, 127(1)49--64, 144(3)241--254
-
Square-free, 132(1)109--112
-
Srba, Ji{\v{r}}{\'\i}, 140(1)89--121, 161(4)351--381,
see Dalsgaard, Andreas E.,
see Mateo, José Antonio
-
Srebrny, Marian, 102(1)115--127, 114(3)345--357
-
Srebrny, Marian, see Spie{\.z}, Stanis{\l}aw
-
Srebrny:2010:SPE, 102(1)115--127
-
Sroka, Jacek, 128(3)z--z, 141(4)367--398, 156(1)95--123
-
Sroka, Jacek, see Hidders, Jan
-
Sroka:2015:GHW, 141(4)367--398
-
Sroka:2017:DHW, 156(1)95--123
-
SSWSNs, 160(3)303--341
-
stable, 100(1)159--180, 103(1)69--87, 110(1)45--57, 146(1)1--34
-
Stack, 155(1)59--88
-
stage, Two-, 168(2)335--351
-
Stages, 129(4)341--364
-
Stahl, Christian, 108(1)151--180
-
Stahl, Christian, see Wolf, Karsten
-
Stampanoni, Marco, 155(4)341--361
-
Stampanoni, Marco, see Arcadu, Filippo
-
standard, 109(2)189--200, 150(2)179--210, 160(4)409--445,
161(3)219--248
-
Standpoint, 108(3)181--196
-
Stanek, Martin, 114(3)319--323
-
Stanek, Martin, see Rja{\v{s}}ko, Michal
-
St{\u{a}}nic{\u{a}}, Pantelimon, 146(3)271--292,
see Mandal, Bimal
-
Stannett, Mike, 138(1)193--205
-
Stannett, Mike, see Csuhaj-Varjú, Erzsébet
-
Star, 109(2)161--178, 116(1)79--92
-
Star-Free, 116(1)35--44
-
state, 99(3)325--338, 109(2)161--178, 110(1)231--239, 116(1)79--92,
119(3)281--300, 120(3)359--374, 123(1)15--42, 125(1)1--20,
126(2)247--261, 128(4)445--462, 129(1)177--192, 133(2)305--322,
144(2)161--182, 160(3)255--279, 163(1)93--109, 168(1)1--24,
169(1)123--150
-
state, Infinite-, 150(1)1--24
-
State-Automata, Two-, 112(2)157--170
-
State-dependent, 151(1)109--133
-
Statecharts, 147(4)387--414
-
Stateless, 110(1)111--123, 116(1)129--140
-
Statements, 147(2)315--336
-
Static, 102(3)325--361
-
Statistical, 113(2)117--150, 157(4)443--461
-
Statistics, 117(1)1--17, 130(4)467--490
-
Statman, Richard, 111(2)203--222
-
Statman, Richard, see Intrigila, Benedetto
-
Stavrinos, Yiorgos, 121(1)275--302
-
Stavrinos:2012:TLU, 121(1)275--302
-
Steering, 129(1)49--67
-
Stefanescu, Alin, 153(1)105--124
-
Stefanescu, Alin, see Stoenescu, Teodor
-
Stefanescu, Gheorghe, 131(3)313--336
-
Stefanescu, Gheorghe, see Banu-Demergian, Iulia Teodora
-
Stefanowski, Jerzy, 148(1)51--64
-
Stefanowski, Jerzy, see Napierala, Krystyna
-
Steganographic, 118(3)281--289
-
Steganography, 98(2)321--336, 109(2)121--134
-
Steggles, Jason, 153(1)1--28
-
Steggles, Jason, see Alhumaidan, Abdullah
-
Steinberg, Benjamin, 116(1)65--77
-
Steinberg, Benjamin, see Diekert, Volker
-
Steinby, Magnus, 112(4)281--303
-
Steinby, Magnus, see Martin, Gabriela
-
Steinhöfel, Kathleen K., 104(3)201--217,
see Albrecht, Andreas A.
-
Stell, John G., 165(1)75--98
-
Stell, John G., see Shaheen, Tanzeela
-
Stencel, Krzysztof, 119(3)337--355, 120(3)359--374, 128(1)47--63,
129(1)177--192, 135(4)483--501, 135(4)537--551, 143(1)z--z,
147(2)z--z
-
Stencel, Krzysztof, see Czaja, Ludwik,
see D{\k{a}}browski, Robert,
see Leszczy{\'n}ski, Pawe{\l},
see Przymus, Piotr,
see Wi{\'s}niewski, Piotr
-
Stenosis, 147(2)193--207
-
Step, 127(1)429--443, 137(1)143--170, 163(4)325--337
-
step, Big-, 103(1)137--172
-
Step, Multi-, 133(1)55--85
-
step, Step-by-, 154(1)15--24
-
Step-by-step, 154(1)15--24
-
Stepaniuk, Jaroslaw, 127(1)429--443, 128(1)159--176
-
Stepaniuk, Jaroslaw, see Peters, James F.
-
Stepaniuk, Jaros{\l}aw, 98(2)199--231, 100(1)141--157, 109(3)339--354,
119(3)421--437, 147(2)241--259, 148(1)107--122,
see Kopczy{\'n}ski, Maciej,
see Ma{\l}yszko, Dariusz,
see Skowron, Andrzej,
see Szczuka, Marcin
-
Stepaniuk:2013:FST, 127(1)429--443
-
Stephen, 109(4)369--381
-
Stepie{\'n}, Lidia, 102(1)115--127, see Srebrny, Marian
-
Stereo-matching, 138(4)457--482
-
Stergiou, Kostas, 102(3)229--261
-
Stergiou, Kostas, see Balafoutis, Thanasis
-
Sticht, Martin, 161(1)191--218
-
Sticht:2018:MAD, 161(1)191--218
-
Stimulation, 163(1)41--62
-
Stochastic, 118(4)327--343, 122(3)173--206, 126(2)121--156,
131(3)351--371, 134(1)183--200, 140(2)205--219, 150(2)143--177,
160(1)143--165, 160(1)167--179, 160(1)181--198, 160(4)361--384
-
Stoenescu, Teodor, 153(1)105--124
-
Stoenescu:2017:BAB, 153(1)105--124
-
Stokkermans, Viorica, Sofronie-, 156(3)361--411
-
Stoklosa, Janusz, 114(3)239--269
-
Stoklosa, Janusz, see Chmiel, Krzysztof
-
Stopping, 120(2)145--164
-
Storage, 119(3)337--355, 163(4)395--411
-
Straccia, Umberto, 124(4)503--519, 140(3)373--391
-
Straccia, Umberto, see Lisi, Francesca A.
-
Strand, 164(2)181--194, 164(2)243--257, 164(2)277--288
-
Strass, Hannes, 155(3)i--iii
-
Strass, Hannes, see Gaggl, Sarah Alice
-
strategy, 102(3)229--261, 108(1)1--21, 124(1)1--25, 124(1)47--61,
130(1)1--20, 138(1)145--158, 140(3)329--355, 156(2)187--208,
159(1)175--195, 160(4)361--384, 163(2)205--223
-
Strategy-proof, 158(1)41--61
-
Stream, 114(3)309--318, 160(3)343--359
-
Streaming, 164(1)119--138
-
string, 101(3)157--171, 131(3)485--497, 134(1)51--65, 136(3)231--240,
138(4)411--434, 139(2)115--126, 145(4)485--509, 158(4)297--326,
163(3)275--289
-
String-Rewriting, 112(2)219--238
-
Strip, 102(3)467--487
-
Strong, 121(1)227--252, 141(1)57--69, 144(3)255--261, 170(1)139--176
-
Strongly, 121(1)83--120, 148(3)369--392, 162(2)183--203
-
Structural, 106(1)75--91, 135(4)387--401, 140(1)61--87
-
Structure, 98(2)257--275, 100(1)77--98, 101(1)1--7, 108(3)337--369,
109(1)83--119, 112(1)39--45, 115(1)1--14, 115(1)25--56,
115(4)265--277, 115(4)297--325, 118(1)97--134, 123(3)365--380,
127(1)81--97, 127(1)461--477, 129(3)251--277, 133(2)211--226,
134(3)219--259, 135(3)269--293, 136(3)241--252, 138(1)145--158,
141(1)1--36, 142(1)1--19, 147(4)477--491, 154(1)95--108,
155(1)1--29, 155(4)363--372, 159(3)257--277, 163(3)245--251,
165(3)363--380
-
Structured, 136(4)381--404, 146(1)35--82
-
Structuring, 149(4)363--383
-
Strulo, Ben, 102(1)77--96
-
Strulo, Ben, see Lomuscio, Alessio
-
Stubborn, 113(3)377--397
-
Stuckey, Peter J., 158(4)297--326
-
Stuckey, Peter J., see Amadini, Roberto
-
Study, 99(2)207--226, 102(3)391--427, 117(1)279--285, 123(3)351--363,
125(1)21--49, 125(3)223--237, 128(1)1--15, 139(4)347--367,
141(2)207--231, 142(1)161--181, 147(2)223--240, 149(1)35--60,
156(1)69--94, 163(1)41--62, 165(3)245--261, 166(4)349--378
-
Study*, 146(2)145--177
-
Studying, 162(2)223--235, 165(3)303--319
-
Stupp's, Shelah-, 159(4)327--359
-
Sturmian, 116(1)25--33, 145(3)257--277
-
Style, 153(1)125--146
-
Style, Hoare-, 118(1)135--175
-
Su, Kaile, 158(1)149--169
-
Su, Kaile, see Liu, Chanjuan
-
Su, Yansen, 156(2)187--208
-
Su:2017:SNS, 156(2)187--208
-
Subclasses, 161(4)383--421
-
Subformula, 106(2)119--147
-
Subgraphs, 111(4)437--451
-
subgroup, 116(1)111--122, 145(3)323--340
-
Subintervals, 131(2)217--240
-
Sublinear, 136(1)139--155
-
submodule, 116(1)51--63
-
Subramanian, K. G., 136(3)285--296, 155(1)209--232
-
Subramanian, K. G., see Fernau, Henning,
see Niu, Yunyun
-
SubRule, 127(1)209--223
-
subsequence, 99(4)409--433, 129(4)329--340
-
subset, 110(1)321--328, 147(1)27--61, 162(2)205--221
-
Subshifts, 126(2)263--300, 132(1)131--152
-
subspace, 98(1)71--86
-
Substitutable, 146(4)403--430
-
Substitution, 120(1)29--58
-
substring, 99(3)325--338, 110(1)183--195, 163(3)267--273
-
Substructural, 130(1)67--97
-
Subsumption, 156(3)361--411
-
Subtree, 111(4)373--390, 119(2)187--231
-
Subtyping, 121(1)203--226
-
Subwords, 116(1)223--236
-
Such, 114(3)287--299
-
Suchenek, Marek A., 120(1)75--92
-
Suchenek:2012:EYP, 120(1)75--92
-
Suffices, 164(4)375--386
-
Sufficiently, 124(1)175--196
-
Suffixes, 116(1)223--236
-
Suganya, S., 151(1)109--133
-
Suganya, S., see Kailasavalli, S.
-
Sui, Yuefei, 99(3)293--314, 123(4)401--416
-
Sui, Yuefei, see Jiang, Feng
-
Suitable, 163(1)1--20
-
Sullivan, Shaun, 117(1)287--309
-
Sullivan:2012:BFO, 117(1)287--309
-
sum, 134(3)395--414, 141(1)57--69, 155(4)321--340, 156(2)187--208
-
Sun, Guanghong, 137(3)403--412
-
Sun, Jun, 131(1)81--101
-
Sun, Jun, see Liu, GuanJun
-
Sun, Junwei, 164(2)259--275
-
Sun, Ping, 151(1)1--48
-
Sun, Ping, see Zhang, Yudong
-
Sun, Zhonghua, 164(2)181--194
-
Sun, Zhonghua, see Cui, Guangzhao
-
Sun:2015:HON, 137(3)403--412
-
Sun:2019:NCS, 164(2)259--275
-
Sunil, K. S., 145(4)471--483
-
Sunil, K. S., see Komarath, Balagopal
-
Super, 146(2)219--230, 168(2)335--351
-
Super-resolution, 163(1)41--62
-
Superposition, 104(3)185--200, 157(4)321--339
-
Superstrings, 99(3)325--338
-
Supervised, 106(1)45--73, 141(4)275--295, 148(1)133--155
-
supervised, Semi-, 130(2)201--218
-
Support, 99(3)263--292, 107(1)85--104, 124(4)543--560, 136(1)37--58,
144(3)263--278
-
Supported, 148(1)107--122
-
Supporting, 124(1)91--110
-
Suraj, Zbigniew, 101(1)115--123, 126(4)335--351, 127(1)257--272,
128(1)193--207, 135(4)503--519, 143(1)151--171
-
Suraj, Zbigniew, see Pancerz, Krzysztof
-
Suraj:2010:TIS, 101(1)115--123
-
Suraj:2013:NCF, 128(1)193--207
-
Suraj:2013:RCT, 126(4)335--351
-
Suraj:2014:ANV, 135(4)503--519
-
Suraj:2016:IFI, 143(1)151--171
-
Sure, Almost-, 110(1)343--359
-
Surla, Bojana Dimi{\'c}, 162(4)237--258,
see Savi{\'c}, Milo{\v{s}}
-
Sürmeli, Jan, 146(1)1--34, see Triebel, Marvin
-
Surveillance, 127(1)561--576
-
Survey, 112(2)239--261, 116(1)129--140, 130(1)99--123, 136(3)269--284,
138(1)61--76, 142(1)53--86, 151(1)1--48, 163(1)63--91
-
Survival, 149(4)419--449
-
Surynek, Pavel, 135(3)295--308, 137(4)517--548
-
Surynek:2014:IBC, 135(3)295--308
-
Surynek:2015:COP, 137(4)517--548
-
Surynková, Petra, 135(3)295--308, see Surynek, Pavel
-
Suslin, Quillen-, 164(1)41--59
-
{\v{S}}uster, Borislav, 104(3)z--z,
see Hromkovi{\v{c}}, Juraj
-
Sutner, K., 104(1)141--160, 138(1)259--272
-
Sutner, Klaus, 109(4)369--381
-
Sutner, Klaus, see Ésik, Zoltán
-
Sutner:2010:CAD, 104(1)141--160
-
Sutner:2015:IT, 138(1)259--272
-
Sutre, Grégoire, 169(1)123--150,
see Jan{\v{c}}ar, Petr
-
Svystun, Adam, 168(2)311--333
-
Svystun, Adam, see P{\k{e}}{\'s}ko, Maciej
-
Swarm, 105(4)341--374, 133(4)345--366, 139(1)43--65, 163(2)205--223,
167(1)133--158
-
Sweep-Line, 131(1)27--53
-
{\'S}wieboda, Wojciech, 132(3)423--438
-
Swieboda:2014:IMS, 132(3)423--438
-
Swierstra, Wouter, 102(2)177--207
-
Swierstra, Wouter, see Löh, Andres
-
Swiniarski, Roman, 100(1)141--157, 119(3)421--437
-
Swiniarski, Roman, see Skowron, Andrzej
-
Swiniarski, Roman W., 129(1)69--84, 133(2)181--196
-
Swiniarski, Roman W., see Jankowski, Andrzej
-
Switalski, Piotr, 147(2)289--313, 157(4)403--425, 165(3)321--344
-
Switalski, Piotr, see Niewiadomski, Artur
-
Switching, 116(1)111--122, 141(2)135--150
-
Syau, Yu-Ru, 153(3)271--290, 159(4)429--450
-
Syau:2017:NSV, 153(3)271--290
-
Syau:2018:NSR, 159(4)429--450
-
Syllabic, 131(3)409--424
-
Syllogisms, 114(3)359--373
-
Syllogistic, 124(4)427--448
-
SyLVaaS, 149(1)101--132
-
Symbolic, 111(2)147--161, 132(4)501--517, 142(1)337--371, 145(1)19--48,
145(1)49--80, 145(2)207--219, 152(3)223--271, 153(1)105--124,
168(2)89--184
-
Symbols, 138(1)17--29, 162(1)43--72
-
Symmetric, 116(1)15--23, 116(1)205--222, 146(3)255--269, 149(3)241--261
-
Symportash, 139(2)211--227, 164(2)207--225
-
Symposium, 166(2)139--140
-
Synak, Piotr, 127(1)445--459
-
Synak, Piotr, see {\'S}l{\k{e}}zak, Dominik
-
Synapses, 134(1)201--218, 149(4)451--470, 150(2)231--240,
156(2)187--208
-
Synchronising, 120(3)259--274
-
Synchronizable, 122(1)59--83
-
Synchronization, 98(2)283--320, 158(4)385--407, 162(2)205--221,
164(2)259--275
-
Synchronizing, 132(1)95--108, 162(2)183--203
-
Synchronous, 108(1)1--21, 129(1)27--36, 132(4)439--459
-
Synchrotron, 141(2)233--243, 141(2)259--274
-
Syntactic, 116(1)175--187, 119(1)61--86
-
Syntactocentric, 106(2)211--231
-
Synthesis, 99(3)339--354, 101(1)1--7, 104(3)219--225, 112(1)39--45,
122(1)147--172, 126(4)335--351, 130(1)1--20, 133(2)211--226,
140(1)39--59, 154(1)1--13, 154(1)25--36, 169(1)1--30, 169(1)57--84
-
Synthesize, 113(3)295--311
-
Synthesizing, 120(3)205--229
-
SystemC, 107(1)19--42
-
Syta, Adam, Radziwo{\'n}czyk-, 98(4)337--349
-
Sza{\l}as, Andrzej, 100(1)53--76, 102(1)97--113, 127(1)135--149,
see Doherty, Patrick,
see Dunin-K{\c{e}}plicz, Barbara,
see Nguyen, Linh Anh
-
Szcz{\k{e}}ch, Izabela, 127(1)161--176,
see Greco, Salvatore
-
Szcze{\'s}niak, Bo{\.z}ena, Wo{\'z}na-, 119(3)373--392,
122(4)401--420, 135(4)553--568, 143(1)173--205, 152(4)411--433,
157(4)443--461
-
Szczuka, Marcin, 109(3)339--354, 127(1)369--384, 129(4)341--364
-
Szczuka, Marcin, see Nguyen, Sinh Hoa
-
Szczuka:2011:FAQ, 109(3)339--354
-
Szczuka:2014:UDK, 129(4)341--364
-
Szczur, Adam, 143(1)19--34, 165(3)263--281
-
Szczur, Adam, see Bazan, Jan G.
-
Szeider, Stefan, 123(1)z--z
-
Szeider, Stefan, see Ciabattoni, Agata
-
Szel{\k{a}}g, Marcin, 126(4)377--395, see Deng, Weibin
-
Szilard, 123(4)381--399
-
Szilard, Andrew L., 120(1)71--74
-
Szilard, Andrew L., see Salomaa, Arto
-
Szko{\l}a, Jaros{\l}aw, 129(1)37--48,
see Czy{\.z}ewska, Marta
-
Szmidt, Janusz, 114(3)309--318
-
Szmidt, Janusz, see Mroczkowski, Piotr
-
Szpyrka, Marcin, 129(1)161--176, 143(1)19--34
-
Szpyrka, Marcin, see Bazan, Jan G.
-
Szpyrka:2014:FDA, 129(1)161--176
-
Szreter, Maciej, 101(1)9--27, 111(3)339--355, 112(1)47--71,
120(2)181--203, 135(4)451--466
-
Szreter, Maciej, see Doliwa, Dariusz,
see Knapik, Micha{\l},
see Lomuscio, Alessio,
see Niewiadomski, Artur
-
Szwarc, Ryszard, 132(4)485--500
-
Szwarc, Ryszard, see Koczkodaj, Waldemar W.
-
Szybowski, Jacek, 137(3)355--367, 144(3)291--307
-
Szybowski, Jacek, see Koczkodaj, Waldemar W.
-
Szyku{\l}a, Marek, 111(4)437--451,
see Kisielewicz, Andrzej
-
Szymanik, Jakub, 164(4)i--iii
-
Szymanik:2019:I, 164(4)i--iii