Last update: Fri Apr 26 02:15:38 MDT 2024
Return to index directory
S
-
Sack, Jörg-Rüdiger -R., 3(1)72--88, see Datta, Amitava
-
Safe, 9(3)191--z
-
Safety, 12(2)189--198
-
Sagiv, Mooly, 5(4)361--z
-
Sagiv, Mooly, see Ross, John L.
-
Sajaniemi, Jorma, 13(3)149--161
-
Sajaniemi, Jorma, see Byckling, Pauli
-
Sakkinen, Markku, 15(1)32--52
-
Sakkinen:2013:TFF, 15(1)32--52
-
Salminen, A., 4(1)3--36
-
Salminen, A., see Paakki, J.
-
Salowe, Jeffrey S., 5(2)115--127
-
Salowe, Jeffrey S., see Ganley, Joseph L.
-
Samet, H., 3(3)280--291
-
Samet, H., see Ang, C.-H.
-
Sandström, Kim, 12(4)361--378, see Lilius, Johan
-
Santoro, Nicola, 1(1)111--134, 4(4)317--329
-
Santoro, Nicola, see Bodlaender, Hans L.,
see Israeli, Amos
-
Santos, André L., 13(3)196--213
-
Santos:2006:MDA, 13(3)196--213
-
Sassone, V., 10(2)163--z
-
Sassone:2003:DBC, 10(2)163--z
-
Satisfaction, 3(4)405--424
-
Satisfiability, 3(4)388--404
-
Scalable, 13(4)215--239
-
Scandinavian, 1(4)389--401, 1(4)402--432, 1(4)433--457, 1(4)458--474,
1(4)475--492, 1(4)493--515, 3(4)295--322, 3(4)323--336,
3(4)337--351, 3(4)352--366, 3(4)388--404, 3(4)405--424,
3(4)425--439
-
Scenarios, 13(3)162--179
-
Schaudt, Barry F., 1(2)268--272
-
Schaudt, Barry F., see Krussel, John W.
-
Schedulability, 11(2)129--z
-
Scheduling, 7(3)204--z, 14(3)173--201
-
Schellekens, Michel, 13(4)340--346
-
Schellekens:2006:SDT, 13(4)340--346
-
Scheme, 6(4)363--z
-
schemes, 8(3)366--z
-
Schenk, Eric, 1(4)402--432
-
Schenk:1994:PDL, 1(4)402--432
-
Schlude, Konrad, 14(3)151--172
-
Schlude, Konrad, see Cieliebak, Mark
-
Schneider, G., 11(2)194--z
-
Schneider:2004:CIK, 11(2)194--z
-
Schnoebelen, Ph, 9(2)118--z
-
Schnoebelen, Ph., see Labroue, A.
-
Schuierer, S., 9(1)32--z
-
Schuierer, S., see Hammar, M.
-
Schuierer, Sven, 1(4)458--474, 8(2)179--z
-
Schuierer, Sven, see Ottmann, Thomas
-
Schuierer:1994:TAC, 1(4)458--474
-
Schwarz, Christian, 2(1)3--27
-
Schwarz, Christian, see Golin, Mordecai
-
Scott, P. J., 2(2)181--220
-
Scott, P. J., see Mendler, Nax P.
-
Searching, 3(3)203--219, 11(4)356--z
-
Security, 10(4)337--z
-
Seely, R. A. G., 2(2)181--220
-
Seely, R. A. G., see Mendler, Nax P.
-
Segal, M., 10(3)225--z, 11(4)344--z
-
Segal, M., see Bereg, S.
-
Segal:2003:POF, 10(3)225--z
-
Segala, Roberto, 2(2)250--273
-
Segala:1995:PSP, 2(2)250--273
-
Segmented, 2(4)397--406
-
Seiden, Steven S., 6(2)148--z
-
Seiden:1999:ROM, 6(2)148--z
-
Seidl, H., 9(4)335--z, 11(1)41--z
-
Seidl, H., see Berlea, A., \see{Nielson, F.
-
Seidl, Helmut, 3(1)41--62, 5(4)304--z, 7(4)375--z
-
Seidl, Helmut, see Fecht, Christian
-
Seidl:1996:LGS, 3(1)41--62
-
Seidl:2000:CBI, 7(4)375--z
-
Selected, 1(3)275--316, 1(3)317--331, 1(3)332--345, 1(3)346--363,
1(3)364--385, 1(4)389--401, 1(4)402--432, 1(4)433--457,
1(4)458--474, 1(4)475--492, 1(4)493--515, 9(2)69--z, 9(2)70--z,
9(2)102--z, 9(2)118--z, 9(3)189--z, 9(3)191--z, 9(3)209--z,
9(3)231--z, 9(3)248--z, 9(4)267--z, 9(4)269--z, 9(4)301--z,
9(4)335--z, 9(4)373--z, 9(4)405--z, 9(4)436--z, 9(z)145--z,
9(z)261--z, 10(1)1--1, 10(1)2--z, 10(1)13--z, 10(1)21--z, 10(1)29--z,
10(1)40--z, 10(1)52--z, 10(2)69--z, 10(2)70--z, 10(2)99--z,
10(2)134--z, 10(2)163--z
-
Selection, 6(2)162--z
-
Self-stabilization, 12(1)18--26
-
Self-stabilizing, 11(1)1--z
-
Selftypes, 4(3)259--286
-
Selonen, P., 11(3)235--z
-
Selonen:2004:TUP, 11(3)235--z
-
Semantic, 4(3)287--302, 8(3)391--407
-
semantics, 2(2)274--302, 3(2)144--187
-
Sen, Sandeep, 6(2)194--z
-
Sen:1999:DSA, 6(2)194--z
-
Sensitive, Distribution-, 6(2)194--z
-
Sensitive, Output-, 6(2)137--z
-
Separability, 7(3)164--z
-
Separated, Well-, 8(4)409--423
-
September, 10(1)1--1, 10(1)2--z, 10(1)13--z, 10(1)21--z, 10(1)29--z,
10(1)40--z, 10(1)52--z
-
sequence, 7(3)241--z, 8(4)463--472
-
Sere, K., 11(2)73--z
-
Sere, Kaisa, 6(3)213--z, 8(1)1--z, 8(2)193--z
-
Sere:1999:GEF, 6(3)213--z
-
Sere:2001:GEF, 8(1)1--z
-
Sere:2001:SVD, 8(2)193--z
-
Sere:2004:GEF, 11(2)73--z
-
Series, Time-, 8(4)409--423
-
Service, 14(4)245--263
-
Service-Constrained, 3(4)367--387
-
Set, 7(3)178--z, 12(3)308--318
-
sets, 1(4)475--492, 2(1)28--40, 3(3)220--237, 5(2)128--142, 8(4)409--423
-
Shared, 4(3)233--258
-
Sharir, Micha, 7(3)227--z
-
Sharir, Micha, see Agarwal, Pankaj K.
-
Sharp, R., 10(4)337--z
-
Sharp, R., see Pilegaard, H.
-
Shende, Sunil, 14(3)202--215
-
Shende, Sunil, see Kranakis, Evangelos
-
Shinohara, A., 10(1)2--z
-
Shinohara, A., see Baba, K.
-
Shinohara, Ayumi, 4(2)172--186
-
Shinohara, Ayumi, see Karpinski, Marek
-
Short, 4(2)172--186
-
Shortest, 2(3)303--325, 4(4)342--356, 6(4)403--z
-
Shut-Down, 7(3)204--z
-
Shvartsman, Alex Allister, 2(2)146--180
-
Shvartsman, Alex Allister, see Kanellakis, Paris C.
-
Siikarla, M., 11(3)235--z
-
Siikarla, M., see Selonen, P.
-
Siikarla, Mika, 13(3)180--195
-
Siikarla:2006:TUM, 13(3)180--195
-
Siket, István, 15(1)3--17, see Harsu, Maarit
-
similarity, 8(4)409--423
-
Simple, 2(1)3--27, 4(3)259--286, 8(1)22--z
-
Simplified, 13(4)340--346
-
SIMS, 14(4)245--263
-
simulation, 2(1)51--69, 2(2)250--273
-
Singh, Satnam, 6(3)299--z
-
Singh, Satnam, see Lillieroth, Carl Johan
-
Sivertsen, T., 11(1)12--z
-
Sivertsen:2004:UVU, 11(1)12--z
-
Size, 14(4)282--300
-
Sj{\o}berg, D. I. K., 9(3)231--z, see Arisholm, E.
-
Sj{\o}berg, Dag I. K., 4(1)123--149, 7(2)65--z,
see Opdahl, Andreas L.
-
Sjoberg:1997:PWP, 4(1)123--149
-
Skyum, S{\o}ren, 3(4)323--336, see Husfeldt, Thore
-
Skyum, Sven, 1(4)387--z
-
Skyum:1994:GEF, 1(4)387--z
-
Sleumer, Nora H., 6(2)137--z
-
Sleumer:1999:OSC, 6(2)137--z
-
Slicing, 13(1)22--45
-
Sloper, Christian, 12(3)308--318
-
Sloper, Christian, see Prieto, Elena
-
Slutzki, Giora, 3(4)352--366
-
Slutzki, Giora, see Fernández-Baca, David
-
Smid, M., 9(1)13--z
-
Smid, M., see Narasimhan, G.
-
Smid, Michiel, 2(1)3--27, 12(1)1--17
-
Smid, Michiel, see Golin, Mordecai,
see Krizanc, Danny
-
Smolka, Gert, 7(4)257--z
-
Smolka:2000:GEF, 7(4)257--z
-
Smyth, W. F., 10(1)21--z, 10(1)40--z
-
Smyth, W. F., see Franek, F.,
see Iliopoulos, C. S.
-
Sobocinski, P., 10(2)163--z
-
Sobocinski, P., see Sassone, V.
-
Software, 6(1)1--z, 6(1)4--z, 6(3)241--z, 7(2)65--z, 7(2)126--z,
7(2)143--z, 9(3)231--z, 11(3)211--z, 12(4)321--342, 14(4)282--300,
14(4)301--320
-
solution, 3(1)41--62, 4(2)151--166, 13(1)117--126
-
Solvable, 2(4)496--501
-
Solver, 9(4)335--z
-
S{\o}raas, Lars, 4(1)37--65, see Efremidis, Sofoklis G.
-
sort, 3(3)271--279
-
sorting, 1(1)38--49, 10(3)238--z, 13(4)340--346, 14(1)126--150
-
Soundaralakshmi, Subbiah, 8(2)179--z
-
Soundaralakshmi, Subbiah, see Ottmann, Thomas
-
source, 7(2)143--z
-
Source, Source-to-, 5(3)235--z
-
Source-to-Source, 5(3)235--z
-
Soza-Pollman, Héctor, 5(1)70--85,
see Baeza-Yates, Ricardo A.
-
space, 7(4)258--z, 15(1)53--74
-
Space, Time-, 6(2)162--z
-
Space-Efficient, 10(1)21--z, 11(4)374--z
-
Spanning, 3(4)352--366, 6(4)446--z, 12(3)308--318
-
Sparse, 1(3)332--345
-
Sparsification, 3(4)352--366
-
specialization, 1(1)3--37
-
specification, 1(3)275--316, 2(3)358--395, 5(1)19--49, 5(1)50--69,
8(1)65--z, 8(3)298--z, 9(4)301--z, 9(4)373--z, 12(2)116--132,
13(1)22--45, 14(1)65--86
-
Specifying, 14(4)301--320
-
Speed, 6(2)181--z
-
Spelberg, R. F. Lutje, 8(1)88--z
-
Spelberg:2001:PRT, 8(1)88--z
-
Split, 3(3)271--279
-
Splitting, 8(1)88--z
-
Sprague, Alan P., 3(3)256--270
-
Sprague, Alan P., see Natarajan, Sridhar
-
stabilization, Self-, 12(1)18--26
-
stabilizing, Self-, 11(1)1--z
-
Staging, 12(2)189--198
-
standard, 7(4)348--z
-
Staron, M., 11(3)254--z
-
Staron:2004:CSP, 11(3)254--z
-
state, 12(1)18--26, 15(1)53--74
-
State, -, 12(1)18--26
-
State, Finite-, 4(2)187--216
-
State-based, 9(4)405--z
-
Static, 13(1)98--116
-
Statically, 6(1)72--z
-
Steffen, Bernhard, 1(3)364--385, 2(2)89--125, 7(4)375--z, 8(1)65--z
-
Steffen, Bernhard, see Burkart, Olaf,
see Hungar, Hardi, \see{Jonsson, Bengt,
see Seidl, Helmut
-
Steiner, 5(2)115--127
-
Steps, 3(2)131--143
-
Stojmenovic, Ivan, 3(1)63--71
-
Stojmenovic, Ivan, see Akl, Selim G.
-
St{\o}len, Ketil, 12(2)157--188,
see Runde, Ragnhild Kobro
-
Stop-and-Wait, 12(3)251--274
-
Storage, 3(3)280--291
-
Störrle, H., 11(3)279--z
-
Storrle:2004:SNU, 11(3)279--z
-
St{\o}vring, Kristian, 13(1)117--126
-
Stovring:2006:HOB, 13(1)117--126
-
Streaming, 13(4)328--339
-
Stretch, 9(1)13--z
-
string, 4(2)172--186, 8(4)437--462, 9(1)54--z, 10(1)2--z, 10(1)40--z,
10(3)185--z, 11(4)321--z
-
String-Matching, 4(2)217--231
-
Stringology, 10(1)1--1, 10(1)2--z, 10(1)13--z, 10(1)21--z, 10(1)29--z,
10(1)40--z, 10(1)52--z
-
Strong, 5(2)87--104
-
structural, 1(1)135--156, 12(4)361--378
-
Structure, 3(3)238--255, 4(1)3--36, 7(4)348--z, 12(3)308--318
-
structured, 2(2)274--302, 2(3)358--395, 11(3)279--z, 13(1)2--21
-
Structured, Tree-, 4(4)357--379
-
Structuring, 8(2)193--z
-
Study, 6(4)372--z, 11(2)75--z, 11(3)254--z, 12(3)229--250
-
Style, Mendler-, 6(3)343--z
-
sub-quartic, 3(4)295--322
-
Subexponential, 8(3)324--z
-
subgraph, 1(4)475--492, 14(1)87--108
-
sublinear, 3(4)425--439
-
Subramani, K., 13(4)309--327
-
Subramani:2006:CPD, 13(4)309--327
-
subsequence, 2(4)444--461, 11(1)35--z
-
subset, 14(3)151--172
-
subtrees, 3(4)295--322
-
Subtyping, 5(1)19--49, 9(4)405--z
-
Subworkshop, 6(1)129--z, 7(2)143--z, 9(z)261--z
-
Succinct, 9(4)335--z, 12(1)40--66
-
Suffix, 10(1)52--z, 12(1)40--66
-
sum, 7(3)185--z, 8(4)473--474, 14(3)151--172
-
Summary, 6(1)129--z, 7(2)143--z, 9(z)261--z
-
Sun, H., 9(4)269--z
-
Sun, H., see Amnell, T.
-
Sundaram, R., 3(4)367--387
-
Sundaram, R., see Marathe, M. V.
-
Sung, W. K., 3(4)295--322
-
Sung, W. K., see Lam, T. W.
-
Supersequence, 2(3)303--325
-
Supertree, 4(3)303--316
-
Support, 9(3)231--z
-
supporting, 1(3)332--345, 14(4)301--320
-
survey, 1(1)94--110
-
Sutinen, E., 11(4)321--z
-
Sutinen:2004:ASM, 11(4)321--z
-
Sveholm, Glen, 12(4)361--378
-
Sveholm, Glen, see Lilius, Johan
-
SWAT, 1(4)389--401, 1(4)402--432, 1(4)433--457, 1(4)458--474,
1(4)475--492, 1(4)493--515, 3(4)295--322, 3(4)323--336,
3(4)337--351, 3(4)352--366, 3(4)388--404, 3(4)405--424,
3(4)425--439
-
Switch, 6(4)372--z
-
switching, 14(1)109--125
-
Symmetry, 3(3)203--219
-
Synchronisation, 10(2)70--z
-
Synthesis, 8(1)43--z, 9(4)269--z, 12(2)68--88
-
Synthesize, 3(2)89--119
-
Synthesizing, 2(3)338--357
-
Systä, Tarja, 13(3)162--179, 14(4)338--355, 15(1)3--17,
see Harsu, Maarit,
see Koskinen, Johannes,
see Räihä, Outi
-
system, 1(1)77--93, 2(3)338--357, 4(4)380--413, 5(4)304--z, 6(1)36--z,
7(4)258--z, 7(4)312--z, 8(1)2--z, 8(1)65--z, 8(1)121--z, 8(1)159--z,
9(2)118--z, 11(2)75--z, 11(2)165--z, 11(2)194--z, 12(4)361--378,
13(1)127--145, 13(4)266--293, 14(1)65--86
-
Systematic, 3(2)89--119
-
Szirbucz, Tamás, 15(1)18--31, see Herczeg, Zoltán