Index file section S for actainfo.bib

Last update: Wed Oct 2 02:00:11 MDT 2024

Return to index directory

S

S, 3(3)293--295
S. J., Donal T., MacVeigh, 7(4)361--394
S.1.3, 26(3)213--239
Saake, Gunter, 28(4)365--407, 41(7)475--524
Saake, Gunter, see Hülsmann, Klaus, see Schmitt, Ingo
Saarbrücken, 26(3)213--239
Saarinen, Mikko, 17(2)185--192
Saarinen, Mikko, see Räihä, Kari-Jouko
Saarlandes, 26(3)213--239
Sabel{\cprime}fel{\cprime}d, V. K., 10(2)127--155
Sabelfeld:1978:ATF, 10(2)127--155
Sabri, A., 52(7)573--592
Sabri, A., see Bernini, A.
Saccà, Domenico, 37(10)699--725, see Greco, Sergio
Sack, Jörg-Rüdiger, 22(2)171--186
Sack:1985:AMH, 22(2)171--186
saddle, 20(4)345--369
Sadri, F., Blanchet-, 48(1)25--41, 49(1)53--54
Sadri, Fereidoon, 50(4)257--287
Sadri, Fereidoon, see Chen, Dongfeng
Sadri:2011:ABP, Blanchet-, 49(1)53--54
Sadri:2012:EAB, Blanchet-, 48(1)25--41
SAFE, 42(4)227--290
safe, 42(6)429--500, 42(8)617--638, 45(7)479--536, 57(1)223--244
safety, 23(1)9--66, 55(8)703--732, 57(1)245--269
Safraless, 54(7)655--692
Sagiv, Mooly, 35(6)457--504
Sagiv, Yehoshua, 26(7)597--614, 32(1)1--26
Sagiv, Yehoshua, see Biskup, Joachim, see Litwin, Witold
Sagiv:1998:LBA, 35(6)457--504
Sagonas, Konstantinos, 54(8)789--818
Sagonas, Konstantinos, see Abdulla, Parosh Aziz
Sahin, Gokhan, 43(3)147--164
Sahin, Gokhan, see Arora, Amrinder
said, 8(1)61--73
Saito, Takashi, 37(1)1--19
Saito, Takashi, see Kobuchi, Youichi
Sakarovitch, Jacques, 18(1)109--115
Sakarovitch, Jacques, see Frougny, Christiane
Sakr, Mouhammad, 57(1)81--106
Sakr, Mouhammad, see Jacobs, Swen
Sala, Pietro, 53(6)547--585, 53(6)621--648
Sala, Pietro, see Combi, Carlo, see Montanari, Angelo
Salhi, Yakoub, 53(2)149--170
Salhi, Yakoub, see Condotta, Jean-François
Salkin, Harvey M., 13(4)379--382
Salkin, Harvey M., see Morito, Susumu
Salo, Tiia J., 50(4)257--287
Salo, Tiia J., see Chen, Dongfeng
Salomaa, A., 20(2)179--196
Salomaa, Arto, 3(4)357--364, 4(1)87--106, 8(1)75--96, 18(4)335--344, 30(5)441--457, 35(5)401--420, 36(8)665--672, z(z)z--z
Salomaa, Arto, see Culik II, Karel, see Ilie, Lucian, \see{Kari, Lila, see Mateescu, Alexandru, see Maurer, Hermann A., see Mihalache, V., \see{Nielsen, Mogens
Salomaa, Arto K., 2(z)40--49, 13(1)87--107
Salomaa, Arto K., see Maurer, Hermann A.
Salomaa, Kai, 53(1)67--85
Salomaa, Kai, see Han, Yo-Sub
Salomaa:1973:SFC, 2(z)40--49
Salowe, Jeffrey S., 29(5)395--414
Salowe, Jeffrey S., see Richards, Dana S.
Salvo, Ivano, 56(5)405--431
Salvo, Ivano, see Cenciarelli, Pietro
Salzberg, Betty, 27(3)195--215
Salzberg:1989:MSR, 27(3)195--215
Samadi, Mahboubeh, 60(2)145--178
Samadi:2023:DRV, 60(2)145--178
same, 8(2)177--192, 8(3)285--302, 17(3)245--265, 26(4)349--362, 29(2)161--210
Samelson, 15(1)1--2
Samet, Hanan, 30(5)425--439
Samet, Hanan, see Aref, Walid G.
Sammartino, Matteo, 52(1)5--33
Sammartino, Matteo, see Bruni, Roberto
Sampaio, A. C. A., 30(8)701--739
Sampaio, A. C. A., see Hoare, C. A. R.
Sampaio, Augusto, 48(7)363--396
Sampaio, Augusto, see Perna, Juan
sample, 57(3)657--670
San, 9(1)1--21
San Pietro, Pierluigi, 53(2)171--206
San Pietro, Pierluigi, see Bersani, Marcello M.
Sánchez, Alejandro, 52(6)525--557
Sanchez, Cesar, 53(2)87--88, 53(4)325--326
Sanchez, Cesar, see Finkbeiner, Bernd
Sánchez, César, 51(1)25--49, 52(6)525--557, see Bozzelli, Laura, see Sánchez, Alejandro
Sanchez:2015:PII, 52(6)525--557
Sanchez:2016:SIT, 53(2)87--88
Sanders, Beverly A., 35(2)91--129
Sanders, J. W., 41(7)383--414
Sanders, J. W., see Chen, Yifeng
Sanders:1998:DRM, 35(2)91--129
Sangiorgi, Davide, 29(6)623--643, 33(1)69--97, 35(5)353--400, 42(2)79--81
Sangiorgi, Davide, see Boreale, Michele, see De Nicola, Rocco, \see{Fachini, E.
Sangiorgi:1996:TBC, 33(1)69--97
Sankur, Ocan, 54(1)41--83
Sankur, Ocan, see Brenguier, Romain
Sanlaville, Eric, 35(9)795--811
Sanlaville:1998:MSA, 35(9)795--811
Sannella, D. T., 21(5)443--472
Sannella, Donald, 29(8)689--736
Sannella, Donald T., 25(3)233--281
Sannella:1984:STS, 21(5)443--472
Sannella:1988:TFD, 25(3)233--281
Sannella:1992:TFD, 29(8)689--736
Santean, Nicolae, 43(6)395--417, 46(3)193--207
Santean, Nicolae, see Câmpeanu, Cezar, see Konstantinidis, Stavros
Santone, Antonella, 34(6)449--489, 35(12)1037--1073, 38(8)531--564, 49(5)313--341
Santone, Antonella, see Barbuti, Roberto, see De Francesco, Nicoletta
Santone:2002:AVC, 38(8)531--564
Santone:2012:ARD, 49(5)313--341
Sarkar, Dipankar, 56(4)321--383, 59(6)725--759
Sarkar, Dipankar, see Bandyopadhyay, Soumyadip
Sassa, Masataka, 23(2)149--162, 37(9)671--697
Sassa, Masataka, see Morimoto, Shin-ichi, see Nakata, Ikuo
SAT, 36(9)761--803, 43(2)131--145
Satellite, 22(1)1--14
satisfiability, 28(1)1--6, 30(4)397--403, 53(2)171--206
satisfied, 8(1)61--73
satisfy, 8(1)61--73, 29(8)689--736, 60(3)317--329
satisfying, 8(1)61--73, 44(7)591--624
Sato, Takashi, 19(1)13--33, 19(2)167--182
Sato, Takashi, see Tsuda, Takao
Sattler, Jürgen, 14(3)257--269, see Commentz-Walter, Beate
Saturated, 18(1)65--78
saturés, 18(1)65--78
Saves, 30(5)409--423
Savický, Petr, 25(5)515--535, see Pudlák, Pavel
Savický, Petr, 34(4)245--256
Savicky:1997:EAT, 34(4)245--256
Savitch, Walter J., 2(z)249--252
Savitch:1973:NMA, 2(z)249--252
Savitt, S., 5(4)257--271
Savitt, S., see Giloi, Wolfgang K.
Sawa, Zden{\v{e}}k, 46(3)169--191
Sawa:2009:HEC, 46(3)169--191
Saxena, Sanjeev, 33(7)607--619
Saxena:1996:PIS, 33(7)607--619
Saxton, Lawrence V., 35(3)211--243
SB-tree, 29(3)241--265
Sc, 23(4)393--427
scalability, 34(7)543--556
scale, 8(3)243--266
SCARNG, 60(3)317--329
scattered, 27(1)81--95, 32(3)285--298, 39(5)307--314, 39(9)699--699, 45(7)593--608
SCCS, 28(5)447--452
Schaefer, Ina, 50(2)77--122, 55(4)269--307
Schaefer, Ina, see Bettini, Lorenzo, see Damiani, Ferruccio
Schaefer, Mark, 46(6)433--474
Schaefer, Mark, see Khomenko, Victor
Schaltkreise, 1(1)64--78
Schassberger, R., 15(3)251--263, 16(1)57--62
Schassberger, R., see Daduna, Hans
Schassberger:1981:RTD, 16(1)57--62
schedulability, 54(4)343--378
Schedule, 6(1)1--14
Scheduled, 29(4)375--382
schedulers, 14(3)195--220, 15(4)471--471, 55(6)461--488
schedules, 28(5)453--461, 39(8)597--612, 49(1)1--14
scheduling, 1(3)200--213, 2(z)1--11, 6(3)227--249, 7(2)217--226, 8(1)61--73, 8(2)153--175, 8(4)341--357, 17(1)31--41, 18(4)449--466, 20(2)113--120, 22(2)139--148, 26(7)679--696, 28(8)755--775, 29(4)375--382, 30(5)409--423, 31(6)503--512, 35(9)795--811, 36(4)287--293, 36(9)673--692, 40(4)303--315, 40(5)367--383, 41(2)83--97, 41(6)315--340, 44(7)571--590, 46(4)285--295, 52(4)393--442, 60(2)101--122
schema, 3(4)297--319, 20(2)171--178, 22(3)277--310, 41(7)475--524, 55(1)17--56
Schemata, 4(3)201--211
Schematic, 30(1)61--87
scheme, 6(1)61--75, 8(4)341--357, 20(4)345--369
schemes, 7(3)289--303, 8(3)243--266, 10(2)117--125, 10(2)127--155, 20(4)345--369, 24(4)417--432, 25(5)475--496, 28(8)777--799, 33(4)387--408, 34(1)1--22, 34(11)859--879, 40(9)657--674, 41(6)341--365, 42(6)501--514
Schenke, Michael, 36(1)1--65, 36(1)67--96
Schenke:1999:TDRa, 36(1)1--65
Schenke:1999:TDRb, 36(1)67--96
Schettini, Andrea, Maggiolo-, 29(6)623--643, 29(8)737--760, 33(6)523--546, 33(8)707--737, 34(5)367--388, 47(5)279--311
Schewe, Klaus-Dieter, 36(2)97--141, 53(5)469--492
Schewe, Klaus-Dieter, see Börger, Egon
Schewe, Sven, 48(5)291--315, 51(3)127--128, 54(7)625--654
Schewe, Sven, see Huang, Chung-Hao, see Peled, Doron, \see{Rabe, Markus N.
Schewe:1999:TTC, 36(2)97--141
Schicke-Uffmann, Jens-W., 57(3)313--320
Schicke-Uffmann, Jens-W., see Goltz, Ursula
Schiller, Elad, 40(9)609--636
Schiller, Elad, see Dolev, Shlomi
Schinko, Ayleen, 59(5)521--556
Schinko:2022:IAS, 59(5)521--556
Schkolnick, Mario, 9(1)1--21
Schkolnick, Mario, see Bayer, Rudolf
Schlachter, Uli, 55(7)575--611
Schlachter, Uli, see Best, Eike
Schlichtiger, Peter, 21(1)1--28
Schlichtiger, Peter, see Bayer, Rudolf
Schlumberger, Maurice, 3(1)25--35
Schlumberger:1973:ODM, 3(1)25--35
Schlüter, Maximilian, 57(3)671--687, see Jasper, Marc
Schmerl, Ulf R., 25(4)425--438
Schmerl:1988:RFT, 25(4)425--438
Schmid, Hans Albrecht, 6(3)227--249
Schmid:1976:EIC, 6(3)227--249
Schmidt, Diana, 22(4)379--395
Schmidt, Günter, 35(9)795--811, see Sanlaville, Eric
Schmidt, Gunther, 27(3)217--245
Schmidt, Karsten, 36(7)545--590
Schmidt, Ursula, 24(4)433--445
Schmidt:1987:LUP, 24(4)433--445
Schmidt:1989:DSD, 27(3)217--245
Schmidt:2000:HCS, 36(7)545--590
Schmitt, Alfred, 19(3)297--304
Schmitt, Ingo, 41(7)475--524
Schmitt:1983:NRO, 19(3)297--304
Schmitt:2005:CDS, 41(7)475--524
Schneider, Christian, 59(1)163--181
Schneider, Christian, see Kutrib, Martin
Schneider, Fred B., 22(1)35--45
Schneider, Hans Jürgen, 6(3)297--316
Schneider, Marco, 36(6)447--462
Schneider, Marco, see Dolev, Shlomi
Schneider:1976:GPG, 6(3)297--316
Schneider:1985:TET, 22(1)35--45
Schnelle, 1(z)139--144, 7(4)395--398
Schnorr, Claus-Peter, 1(z)345--359, 7(1)95--107, 11(1)71--77, 26(7)643--655
Schnorr:1972:EAZ, 1(z)345--359
Schnorr:1976:NCT, 7(1)95--107
Schoett, Oliver, 29(6)595--621
Schoett:1992:TIT, 29(6)595--621
Scholten, Dijkstra-, 35(12)1007--1036
Schönhage, A., 1(z)139--144
Schönhage, A. A., 7(4)395--398
Schonhage:1971:SBK, 1(z)139--144
Schonhage:1977:SMP, 7(4)395--398
Schöning, Uwe, 26(4)363--379, see Köbler, Johannes
Schorn, Peter, 29(4)383--394
Schorn, Peter, see Hinrichs, Klaus
Schorr--Waite, 11(3)211--221, 11(3)223--232
Schott, G., 1(z)360--374
Schott, René, 37(9)653--670, see Alonso, Laurent
Schott:1972:AAI, 1(z)360--374
Schrapp, Michael, 22(1)85--100
Schrapp, Michael, see Ottmann, Thomas
Schrod, 31(2)161--206
Schuler, P. F., 3(2)155--170, 4(4)359--371, 5(4)387--394
Schuler:1974:WCS, 3(2)155--170
Schuler:1975:NDC, 5(4)387--394
Schuler:1975:WAC, 4(4)359--371
Schuppan, Viktor, 53(3)247--299
Schuppan:2016:EUC, 53(3)247--299
Schürfeld, Ute, 19(2)183--194
Schurfeld:1983:NLB, 19(2)183--194
Schürmann, Carsten, 54(3)243--269, see Carbone, Marco
Schwarz, Christian, 60(1)79--100
Schwarz, Christian, see Kuske, Dietrich
Schwentick, Thomas, 55(1)17--56
Schwentick, Thomas, see Björklund, Henrik
Schwer, Sylviane R., 26(6)503--525
Schwer, Sylviane R., see Pierre, Laurent
Sciavicco, Guido, 53(3)207--246, 53(6)545--546
Sciavicco, Guido, see Aceto, Luca, see Bresolin, Davide
science, 14(4)337--357, 19(3)255--268, 21(2)125--169, 22(6)679--698, 24(4)381--393, 31(4)379--397, 60(3)317--329
scope, 8(3)221--242, 28(6)539--558, 31(7)601--627
Scott, 8(3)221--242
Scott, Dana, 31(1)1--3
Scott, Elizabeth, 40(6)459--489, 44(6)427--461
Scott:1994:NH, 31(1)1--3
Scott:2004:RND, 40(6)459--489
Scott:2007:BCT, 44(6)427--461
Scozzari, Francesca, 55(6)521--545
Scozzari, Francesca, see Amato, Gianluca
search, 1(1)14--25, 1(z)307--310, 4(1)1--9, 5(4)287--295, 6(2)171--185, 9(2)23--29, 11(4)341--362, 12(1)63--72, 13(1)39--52, 14(1)63--86, 14(2)119--133, 15(1)3--17, 15(2)99--113, 18(3)255--263, 18(4)345--359, 21(1)47--60, 22(1)85--100, 23(1)111--117, 24(3)277--298, 24(5)583--594, 26(1)123--130, 26(3)269--277, 26(7)597--614, 28(2)165--178, 30(3)233--248, 30(5)405--407, 31(8)729--740, 33(6)547--557, 34(8)597--635, 37(4)355--383, 37(10)743--763, 38(4)261--276, 41(2)99--110, 41(4)221--255, 43(4)243--264, 59(4)289--319, 61(1)53--66, z(z)z--99999999
searching, 4(4)293--298, 13(2)155--168, 18(4)361--376, 20(4)345--369, 24(5)565--582, 29(3)281--302
searchlight, 36(2)143--172
second, 25(3)283--303, 26(4)349--362, 30(1)1--59, 31(4)329--340, 60(4)453--465
second-Order, 11(1)31--55
secondary, 15(1)3--17, 27(5)423--452, 27(5)453--480, 43(4)243--264
secondly, 8(2)97--112
Secret-shared, 60(1)59--78
secretary', `director-, 1(2)115--138
secure, 50(7)403--436, 54(5)521--541, 60(1)59--78
Sedgewick, Robert, 7(4)327--355
Sedgewick:1977:AQP, 7(4)327--355
see, 1(1)35--63, 1(3)190--199, 1(z)214--224, 1(z)375--376, 2(4)335--355, 2(z)80--96, 2(z)189--190, 3(1)47--57, 3(3)296--296, 4(3)231--243, 5(4)297--332, 6(1)95--108, 6(3)317--318, 7(3)325--325, 8(2)97--112, 8(4)335--340, 8(4)383--384, 11(1)1--30, 11(1)57--60, 13(3)225--227, 13(3)229--256, 14(3)195--220, 15(1)83--98, 15(4)471--471, 16(3)347--362, 16(4)427--464, 18(2)171--179, 18(4)377--392, 19(2)115--150, 19(3)255--268, 21(4)375--391, 23(4)393--427, 23(5)487--505, 24(3)299--352, 26(1)19--23, 26(3)213--239, 26(3)241--267, 26(3)285--285, 26(5)501--501, 26(7)615--642, 26(8)787--787, 28(6)603--605, 28(6)607--610, 34(12)905--925, 35(6)541--541, 38(11)813--838, 40(8)603--607, 41(1)63--63, 48(1)25--41, 49(1)53--54, 54(1)3--39, 57(3)513--550, 57(3)591--626, 57(6)761--800, 57(6)829--829, 58(6)675--676, 58(6)677--677, 59(1)125--162, 59(2)283--283, 59(5)671--671
Séébold, Patrice, 29(1)95--107
seeking, parity-, 61(3)199--229
seems, 8(3)243--266
Seidel, Daniel, 48(3)191--211
Seidel, Heinrich, 30(8)773--785
Seidel:2011:RTL, 48(3)191--211
Seidl, Christoph, 55(4)269--307
Seidl, Christoph, see Damiani, Ferruccio
Seidl, Helmut, 26(6)527--542, 31(8)741--760
Seidl, Helmut, see Ferdinand, Christian
Seidl:1989:FDA, 26(6)527--542
Seiferas, Joel I., 8(2)177--192
Seiferas:1977:IAD, 8(2)177--192
Seino, Kazushi, 32(4)395--413
Seino, Kazushi, see Tomita, Etsuji
selected, 8(3)201--220, 46(2)155--168, 53(6)545--546, 54(1)1--2
selection, 17(3)327--348, 27(3)195--215, 29(5)415--423, 31(8)741--760, 36(9)735--760, 44(5)289--321, 53(1)1--22
Selective, 13(3)257--268
Self, 7(2)227--247
Self-embedded, 40(5)349--365
Self-Stabilization, 27(8)697--724
self-stabilization, 47(5)313--323
Self-Stabilizing, 32(3)189--207
self-stabilizing, 40(9)609--636, 57(1)271--304, 61(1)83--100
sema, 16(3)275--302
SEMANOL73, 6(2)109--131
SEMANTIC, 2(4)335--355
semantic, 3(2)135--153, 4(3)243--269, 5(4)297--332, 6(2)109--131, 7(3)325--325, 8(1)1--20, 8(2)97--112, 8(2)113--123, 8(2)125--144, 8(2)145--152, 8(3)221--242, 13(1)9--20, 14(1)1--20, 14(4)299--315, 14(4)337--357, 15(1)83--98, 15(4)385--424, 18(1)47--64, 19(1)97--113, 19(3)235--253, 20(1)35--57, 20(2)159--170, 20(3)249--260, 20(4)301--313, 21(3)293--320, 21(5)443--472, 21(6)599--627, 23(1)9--66, 24(1)33--55, 24(5)491--511, 25(1)1--14, 25(6)691--711, 26(1)25--57, 26(1)59--91, 26(4)309--332, 26(4)333--348, 26(5)409--419, 27(2)125--156, 27(3)217--245, 27(5)381--397, 27(6)505--517, 29(8)689--736, 30(6)537--568, 30(6)569--607, 31(1)27--54, 31(1)55--80, 31(1)81--104, 31(5)431--477, 32(3)271--284, 32(4)347--374, 32(7)627--645, 34(4)291--324, 34(9)701--735, 34(10)737--772, 35(5)353--400, 35(9)729--773, 35(10)813--857, 36(3)173--213, 37(1)1--19, 39(6)501--516, 43(1)1--43, 43(5)341--370, 46(4)255--284, 49(2)69--103, 50(1)15--39, 51(8)499--552, 52(4)393--442, 60(1)11--57
semantical, 5(4)297--332
Semantically, 8(3)243--266
Semantik, 5(4)297--332
semaphore, 1(2)115--138, 8(3)201--220, 8(4)335--340
semi-algebraic, 42(1)43--56
semi-online, 40(5)367--383, 44(7)571--590
Semi-synchronous, 46(1)29--42
semigroup, 10(4)341--367, 10(4)369--390, 22(2)203--227, 22(4)421--432, 29(5)483--498
Sen, Arunabha, 26(8)741--748
Sen, Sandeep, 29(1)1--15
Sen, Sandeep, see Rajasekaran, Sanguthevar
Sen:1989:SOF, 26(8)741--748
Sénizergues, Géraud, 33(3)281--296
Senizergues:1996:RSF, 33(3)281--296
sensing, 58(3)153--175
sensitive, 28(5)411--445
Sensitive, Context-, 2(z)249--252, 3(1)59--73, 3(2)155--170, 4(4)359--371, 9(4)309--329, 27(1)81--95
sensitive, context-, 3(2)155--170, 8(1)1--20, 41(4)293--314
sensitive, distribution-, 50(4)289--295
sensitive, order-, 37(1)21--43
Sensitivity, Context-, 5(4)387--394
Sentential, 2(z)40--49
Seo, Jeongbong, 50(7)359--380
Seo:2013:JSS, 50(7)359--380
Separation, 16(4)465--475, 34(3)231--243, 43(2)131--145
separator, 14(1)87--106
Separatoren, 14(1)87--106
September, 16(4)427--464
sequence, 18(2)171--179, 19(3)255--268, 24(3)353--362, 29(3)267--280, 29(3)281--302, 33(3)277--280, 35(5)421--440, 36(7)511--544, 43(6)419--429, 49(1)15--28, 49(3)139--172, 58(1)35--56, 60(1)1--10, 60(2)145--178
séquences, 19(3)255--268
sequencing, 1(2)115--138
sequential, 1(2)115--138, 2(z)162--171, 4(1)55--75, 11(3)241--258, 12(4)377--400, 15(3)281--302, 18(2)117--134, 22(6)663--678, 25(2)179--201, 29(3)241--265, 29(6)545--554, 33(8)739--757, 37(4)329--354, 37(6)385--448, 39(4)273--305, 39(5)315--389, 46(5)361--374
sequential, index-, 29(3)241--265
sequentialization, 51(6)347--418
Sequentielle, 4(1)55--75
séquentielles, 11(3)241--258
Sequnces, 1(z)345--359
Serazzi, Giuseppe, 23(3)255--266
Serazzi, Giuseppe, see Calzarossa, Maria
Serf, Bernd, 28(5)463--476
Serf, Bernd, see Kolla, Reiner
Serializability, 24(1)105--119
series, 8(3)201--220, 13(2)189--197, 15(2)129--139, 28(4)351--363, 48(1)19--24, 48(3)165--189
series--parallel, 55(2)153--189
series-parallel, 36(2)143--172
Serna, M. J., 33(4)387--408
Serna, M. J., see Díaz, J.
Sernadas, Amílcar, 25(6)625--661, 31(1)5--26, 35(9)729--773, see Costa, J. F., \see{Fiadeiro, Jos{\'e}
Sernadas, Cristina, 31(1)5--26, 35(9)729--773
Sernadas, Cristina, see Costa, J. F., see Sernadas, Amílcar
Sernadas:1998:DSO, 35(9)729--773
serve, 8(3)243--266
served, last-in-first-, 15(3)251--263
server, 18(3)319--334, 23(4)465--486, 26(3)241--267, 26(5)501--501, 26(8)787--787, 48(4)243--269
server, multi-, 37(11)881--919
Server, Single-, 31(7)629--650
service, 7(2)183--195, 12(3)245--284, 15(1)67--81, 15(3)251--263, 17(1)43--61, 22(2)139--148, 22(3)241--251, 40(3)159--210, 49(2)69--103
ses, 19(3)255--268
Seshia, Sanjit A., 54(7)693--726
Seshia, Sanjit A., see Jha, Susmit
session, 42(2)191--225, 54(3)243--269, 54(3)271--341, 56(7)553--583, 57(6)801--827
Session-based, 59(1)1--87
Sestoft, Peter, 27(6)505--517
Sestoft, Peter, see S{\o}ndergaard, Harald
set, 2(4)293--309, 2(z)172--179, 6(4)361--364, 7(1)35--60, 7(2)167--182, 8(2)97--112, 8(2)125--144, 8(4)325--334, 8(4)341--357, 10(2)203--208, 13(4)365--378, 20(1)103--111, 20(2)143--158, 20(3)249--260, 21(3)271--291, 21(6)643--674, 23(6)679--688, 24(5)565--582, 26(7)615--642, 27(4)315--342, 27(4)343--368, 28(1)83--94, 28(4)365--407, 34(2)109--133, 34(5)337--346, 34(11)859--879, 37(10)765--780, 38(9)599--619, 42(1)43--56, 42(8)617--638, 49(1)15--28, 54(4)379--398, 58(4)377--396, 59(4)505--519, 61(2)183--198
Set--Theoretic, 21(5)443--472
Set-Partitioning, 21(4)409--415
Sethi, Ravi, 6(1)1--14
Sethi, Ravi, see Coffman, Jr., E. G.
Sethuraman, J., 39(8)597--612
Sethuraman, J., see Coffman, E. G.
sets, multi-, 29(1)33--62
settings, 42(6)501--514
several, 7(2)123--136, 8(2)97--112, 8(2)177--192, 11(1)1--30, 12(2)159--175, 13(3)225--227, 18(4)377--392, 26(1)19--23, 26(7)615--642
sevice, 18(3)319--334
Seysen, Martin, 21(2)171--181
Seysen, Martin, see Blum, Norbert
Shabana, Hanan, 59(4)479--504
Shabana:2022:CSP, 59(4)479--504
shadow, 8(4)341--357
Shahriar, Md. Sumon, 46(7)475--507
Shahriar:2009:PKX, 46(7)475--507
shape, 8(4)359--370, 60(4)335--359
Shapiro, Alexander, 34(3)211--216
Shapiro:1997:GDM, 34(3)211--216
shared, 7(1)35--60, 33(1)1--20, 33(2)153--176, 59(5)521--556
shared, Secret-, 60(1)59--78
Shared-Memory, 21(6)599--627
Sharing, 4(1)11--47, 12(3)245--284, 25(6)677--689, 32(3)255--270
Sharing, Time-, 5(4)257--271
sharing, time-, 7(2)123--136
Sharir, Micha, 18(1)1--15
Sharir, Micha, see Dewar, Robert B. K.
Sharp, 26(5)409--419
Shawe-Taylor, John, 25(4)355--423
shed, 8(1)75--96
Shedler, Gerald S., 12(2)159--175, 15(4)347--363, 21(4)321--338
Shedler, Gerald S., see Iglehart, Donald L.
Sheikhi, Farnaz, 60(4)335--359
Sheikhi:2023:DDS, 60(4)335--359
Shekatkar, Snehal M., 60(2)179--208
Shekatkar, Snehal M., see Lodato, Ivano
shelf, Off-the-, 57(3)551--590
Shen, Hong, 36(5)405--424
Shen, Sheldon, 25(6)663--676
Shen:1988:CDD, 25(6)663--676
Shen:1999:FMV, 36(5)405--424
Shields, M. W., 12(2)109--158
Shields, M. W., see Lauer, P. E.
shift, 8(3)201--220
shifted, 8(2)177--192
shifting, 8(3)243--266
Shimakawa, Masaya, 54(7)655--692
Shimakawa, Masaya, see Tomita, Takashi
SHIN, 25(6)677--689
Shirazi, Kamaledin, Ghiasi-, 61(3)199--229
Shmueli, Oded, 20(2)171--178
Shmueli, Oded, see Goodman, Nathan
Shoham, Sharon, 53(4)327--356, 57(1)165--193
Shoham, Sharon, see Peleg, Hila
Shore, John E., 17(1)43--61
Shore:1982:ITA, 17(1)43--61
Short, 22(3)253--275, 31(5)479--502, 33(3)277--280
shortcomings, 3(1)47--57
shortest, 8(3)267--283, 54(6)545--587
Shostak, Robert E., 7(3)319--323
Shostak:1977:RUM, 7(3)319--323
should, 8(2)153--175
show, 6(3)227--249, 7(2)183--195, 8(1)21--36, 8(3)221--242, 8(3)267--283, 18(3)319--334, 27(6)505--517, 28(6)539--558, 28(6)603--605, 28(6)607--610, 31(7)601--627
showing, 29(3)281--302
shown, 8(1)1--20, 8(2)125--144, 8(2)177--192, 8(2)193--199, 8(3)201--220, 8(3)267--283, 8(4)341--357, 8(4)359--370, 8(4)371--382, 17(3)245--265, 20(3)249--260, 21(5)473--484, 31(4)379--397, 31(5)399--430
shrinkage, 51(7)419--447
Shrira, Liuba, 24(1)79--91
Shrira, Liuba, see Goldreich, Oded
Shuang, Yang, 51(6)339--346
Shuang, Yang, see Chunhua, Cao
shuffle, 34(4)257--266, 35(6)505--539, 35(8)689--707
Shusterman, Tal, 60(2)101--122
Shusterman, Tal, see Levin, Asaf
Shyamasundar, R. K., 28(1)7--41
Shyamasundar, R. K., see Lodaya, K.
Shyr, H. J., 35(8)689--707, 35(8)709--727, 43(3)173--194, 45(7)467--477, 47(4)209--219
Shyr, H. J., see Fan, Chen-Ming, see Li, Zheng-Zhu
Shyr:1998:BCS, 35(8)689--707
Sibeyn, Jop F., 35(7)543--566
Sibeyn:1998:LRM, 35(7)543--566
Sickert, Salomon, 52(2)269--297, 57(1)3--36
Sickert, Salomon, see Benes, Nikola, see Luttenberger, Michael
side, 7(4)357--360
sided, double-, 56(3)229--253
sided, One-, 48(3)149--163
sided, one-, 49(2)55--68
Siekmann, Jörg H., 13(1)67--86
Siekmann:1980:PCG, 13(1)67--86
Sieve, 17(4)477--485, 23(2)119--125
Sifakis, Joseph, 19(3)195--220, 23(5)507--527, 30(2)181--202
Sifakis, Joseph, see Graf, Susanne, see Nicollin, Xavier, see Queille, J.-P. P.
SIGFIDET, 1(3)173--189
signal, 59(2)183--209
signature, 54(5)521--541, 56(6)471--486
Signature-free, 54(5)501--520
significant, 8(4)359--370
significantly, 7(2)167--182
signs, 8(2)177--192
SIGPLAN, 4(3)231--243
Silberschatz, 28(6)603--605
Silberschatz, Abraham, 11(1)57--60, 16(1)1--13, 26(7)615--642, 28(6)607--610
Silberschatz, Abraham, see Kedem, Zvi M., see Roth, Mark A.
Silberschatz:1978:RSC, 8(4)335--340, 11(1)57--60
silent, 36(6)447--462, 57(3)465--512
Silva, Pedro V., 39(8)579--595
Silva:2003:NPP, 39(8)579--595
Simi, Maria, 10(1)85--94
Simi, Maria, see Montangero, Carlo
similar, 8(1)75--96, 8(4)303--314, 18(2)171--179
similarity, 24(3)353--362, 57(3)439--463
Simmons, Sean, 48(1)25--41, 49(1)53--54
Simmons, Sean, see Blanchet-Sadri, F.
Simon, 61(2)131--159
Simon, Hans-Ulrich, 26(8)771--785
Simon, Hans-Ulrich U., 20(3)227--248
Simon, Janos, 17(4)411--423
Simon, Janos, see JáJá, Joseph
Simon:1983:PMT, 20(3)227--248
Simon:1989:CRA, 26(8)771--785
Simovici, Dan A., 38(5)307--324
Simovici:2002:IMD, 38(5)307--324
simple, 1(z)336--344, 8(2)177--192, 8(3)201--220, 16(1)1--13, 17(1)43--61, 23(1)1--7, 27(6)505--517, 29(2)109--120, 33(2)177--202, 34(3)231--243, 39(6)469--499, 40(9)637--655, 53(2)89--147, 53(6)723--752, 60(3)317--329, 60(4)335--359, z(z)z--z
simpler, 28(6)559--574
Simplest, 30(5)441--457
simplification, 50(3)199--228
simplified, 8(2)177--192, 8(4)303--314, 20(2)171--178
simulating, 41(2)145--170
simulation, 7(1)35--60, 7(2)123--136, 8(1)61--73, 8(2)177--192, 12(2)159--175, 13(1)21--37, 15(4)347--363, 21(4)321--338, 21(4)339--374, 22(1)15--33, 28(7)611--629, 33(7)607--619, 42(8)583--602, 49(4)249--279, 51(2)107--125
simultanée, 3(4)321--345
simultaneous, 3(4)321--345, 8(4)325--334, 21(2)171--181, 30(3)267--278, 35(11)921--949
simultaneously, 8(4)325--334
since, 8(3)201--220, 18(4)377--392
Sindhu, Muddassar Azam, 58(6)611--651
Sindhu, Muddassar Azam, see Mazhar, Rabia
Singers, 58(4)451--462
Singh, Ambuj K., 30(6)503--535
Singh:1993:PRF, 30(6)503--535
single, 7(2)123--136, 8(4)303--314, 12(2)159--175, 14(2)157--174, 18(2)135--147, 18(3)319--334, 23(4)465--486, 26(7)679--696, 29(4)375--382, 36(4)287--293, 36(9)673--692, 42(1)21--42, 60(2)101--122
single-machine, 40(4)303--315
Single-Queue, 7(2)123--136
Single-Server, 31(7)629--650
Sintzoff, M., 5(1)1--236
Sintzoff, M., see Wijngaarden, Adriaan van
Sintzoff, Michel, 12(1)1--31
Sintzoff, Michel, see van Lamsweerde, Axel
Sipala, Paolo, 23(3)267--288
Sipala, Paolo, see Tamminen, Markku
Sirjani, Marjan, 47(1)33--66, 54(4)343--378
Sirjani, Marjan, see Jaghoori, Mohammad Mahdi
Siromoney, Rani, 32(7)681--703
Site, 26(6)543--557
Situational-Calculus, 16(4)371--426
six, 29(1)95--107
size, 3(1)1--23, 17(3)245--265, 19(2)183--194, 21(1)47--60, 22(2)171--186, 23(2)217--221, 23(6)689--696, 38(11)813--838, 41(1)63--63, 58(1)95--152, 58(4)357--375
size, lower-bounds-to-circuit-, 26(4)381--407
Size-depth, 12(3)227--243, 14(3)257--269
Sized, Dynamic-, 32(2)93--115
Sized, Variable-, 26(8)697--709
Skeen, Dale, 22(1)35--45
Skeen, Dale, see Schneider, Fred B.
skip, 31(8)775--792, 41(4)221--255
Skyum, Sven, 3(4)357--364, 4(1)87--106
Skyum, Sven, see Nielsen, Mogens
Slaats, Tijs, 55(6)489--520
Slaats, Tijs, see Debois, S{\o}ren
Slack, 17(1)31--41
slender, 36(9)805--815
slenderness, 35(7)625--636
Slices, 28(8)713--732
Slicings, 23(3)267--288
Slissenko, Anatol, 35(8)645--664
Slissenko, Anatol, see Beauquier, Danièle
Sloan, Robert H., 33(7)687--706
Sloan:1996:RRT, 33(7)687--706
Slobodová, Anna, 29(5)425--441
Slobodova:1992:CAM, 29(5)425--441
SLR, 23(4)361--392, 24(2)191--209
Slutzki, Giora, 18(4)393--409
Slutzki:1983:FSR, 18(4)393--409
small, 23(6)679--688, 32(1)79--92, 47(2)133--146
smallest, 58(4)427--450
Smid, Michiel H. M., 27(5)423--452, 27(5)453--480
Smid, Michiel H. M., see Overmars, Mark H.
Smid:1990:MRT, 27(5)453--480
Smit, Jos H. A. de, 26(3)241--267, 26(5)501--501, 26(8)787--787
Smith, Douglas R., z(z)z--99999999
Smith:19xx:SDG, z(z)z--99999999
Smits, Lieven, 42(1)43--56
Smits, Lieven, see Geerts, Floris
Smolka, Scott A., 25(3)333--354
Smolka, Scott A., see Reif, John H.
Smotherman, Mark, 23(6)621--642
Smotherman, Mark, see Geist, Robert
SMT, 54(8)729--764
SMT-based, 57(3)627--656
Snelting, Gregor, 28(5)411--445
Snelting:1991:CCR, 28(5)411--445
Snyder, Lawrence, 17(3)327--348
Snyder:1982:RSI, 17(3)327--348
so-called, 21(5)473--484
Sobel, A. E. K., 25(3)305--332
Sobel:1988:PSD, 25(3)305--332
Soffa, Mary Lou, 19(3)221--233
Soffa, Mary Lou, see Kearns, John P.
SOFTWARE, 18(3)289--298
software, 18(3)289--298, 23(6)607--619, 34(8)579--595, 34(10)737--772, 40(1)37--79, 50(2)77--122
Soininen, Eljas, Soisalon-, 12(4)339--369, 14(2)157--174, 17(4)435--449, 33(6)547--557, 37(10)743--763
Soisalon-Soininen, Eljas, 12(4)339--369, 14(2)157--174, 17(4)435--449, 33(6)547--557, 37(10)743--763
Soisalon-Soininen, Eljas, see Larsen, Kim S., see Nurmi, Otto
Soisalon-Soininen:1979:MTG, 12(4)339--369
Soisalon-Soininen:1980:SOE, 14(2)157--174
Soisalon-Soininen:1982:CRC, 17(4)435--449
Sokolowski, Stefan, 9(2)61--71
Soko{\l}owski, Stefan, 29(8)689--736, see Sannella, Donald
Sokolowski:1978:ATC, 9(2)61--71
Solow, Daniel, 34(9)687--700
Solow, Daniel, see Burnetas, Apostolos
solution, 5(4)297--332, 8(2)97--112, 8(3)201--220, 8(4)315--324, 13(4)379--382, 17(2)221--243, 20(3)249--260, 27(2)97--124, 28(6)539--558, 30(3)249--265, 30(5)441--457, 40(2)81--94, 56(7)619--648, 58(4)427--450, 59(6)709--724
solve, 45(3)211--236, 54(1)85--125
solved, 4(1)11--47, 8(4)325--334, 18(4)377--392, 20(3)249--260
Solves, 21(5)501--519
solving, 36(2)143--172, 43(2)131--145, 44(7)509--523, 48(7)409--415, 54(4)435--445, 56(7)619--648, 57(3)591--626, 58(6)675--676
somewhat, 8(4)303--314
Sommerhalder, R., 19(4)397--407
Sommerhalder:1983:PLR, 19(4)397--407
S{\o}ndergaard, 27(6)505--517
S{\o}ndergaard, Harald, 27(6)505--517
Sondergaard:1990:RTD, 27(6)505--517
Song, 58(4)451--462
Song, Lei, 55(6)461--488
Song, Lei, see Zhang, Lijun
Sonnenschein, Michael, 22(4)397--420
Sonnenschein:1985:GSC, 22(4)397--420
sophisticated, 60(4)335--359
Sorge, Manuel, 51(7)449--471
Sorge:2014:EHM, 51(7)449--471
sort, 27(3)195--215, 34(9)687--700
Sorted, 17(2)157--184, 27(3)195--215
sorted, Many-, 14(2)135--155
sorted, many-, 25(6)625--661
sorted, order-, 30(6)569--607
Sortierproblemen, 3(3)217--225
sorting, 3(3)217--225, 11(1)1--30, 13(3)225--227, 24(2)121--130, 26(1)19--23, 26(7)643--655, 27(1)73--80, 27(3)195--215, 29(1)1--15, 31(4)301--313, 32(1)79--92, 33(7)607--619, 36(9)735--760, 45(1)33--42
SOS, 57(6)759--760
Sotudeh, Gholamreza, 56(1)1--33
Sotudeh, Gholamreza, see Ebrahimi, Masoud
Soudjani, Sadegh Esmaeil Zadeh, 54(2)217--242
Soudjani:2017:DBN, 54(2)217--242
sound, 16(2)161--197, 20(1)59--101, 30(2)147--180, 59(1)125--162, 59(2)283--283, 61(3)199--229
Soundararajan, N., 23(2)193--215, 25(3)305--332
Soundararajan, N., see Sobel, A. E. K.
Soundararajan:1986:TCC, 23(2)193--215
SOUZ, 24(5)525--553
space, 8(2)193--199, 8(4)359--370, 9(4)293--307, 11(1)61--70, 12(1)33--61, 14(2)157--174, 17(4)411--423, 21(5)501--519, 22(4)379--395, 24(1)93--104, 24(3)353--362, 24(5)583--594, 26(5)473--484, 27(4)343--368, 31(4)301--313, 38(11)839--845, 52(2)133--152, 59(6)709--724
Space, Time-, 10(2)111--115, 27(7)627--663
Space-Bounded, 12(2)177--185
space-bounded, 33(7)621--630
space-time, 7(2)167--182
Spanier, Edwin H., 5(4)377--386
Spanier, Edwin H., see Ginsburg, Seymour
Spaniol, Otto, 22(1)1--14
Spaniol, Otto, see Bechtold, Michael
spanning, 6(2)171--185, 36(5)405--424, 55(8)703--732
Sparse, 7(4)361--394
Sparsification, 55(1)1--15
spatial, 29(4)335--373
special, 7(1)35--60, 8(2)125--144, 28(5)477--510, 36(12)983--1006, 51(3)127--128, 52(1)3--4, 52(2)107--108, 52(4)303--304, 53(2)87--88, 53(4)325--326, 53(6)545--546, 54(1)1--2, 54(6)543--544, 54(8)727--728, 55(2)89--90, 55(6)459--460, 55(8)625--626, 57(6)759--760
specialization, 36(12)927--982
specific, domain-, 53(4)387--424
specific, language-, 34(10)737--772
specification, 6(1)15--40, 8(1)1--20, 10(1)27--52, 12(2)109--158, 13(3)205--224, 14(2)135--155, 15(3)193--207, 15(4)425--445, 18(1)47--64, 19(1)97--113, 19(3)235--253, 22(5)537--578, 23(1)9--66, 23(5)507--527, 25(2)111--153, 25(3)233--281, 25(6)625--661, 27(7)583--625, 27(8)685--696, 28(3)187--230, 29(6)595--621, 29(8)689--736, 30(4)303--350, 30(6)569--607, 31(2)161--206, 31(4)329--340, 31(5)399--430, 31(7)601--627, 31(7)651--671, 32(8)705--778, 33(2)153--176, 34(10)737--772, 35(2)91--129, 35(9)729--773, 36(1)1--65, 36(1)67--96, 36(5)375--403, 40(4)265--301, 46(4)255--284, 51(3)221--260, 51(5)261--295, 52(2)107--108, 56(7)585--617, 57(1)3--36, 57(1)107--135
specification-building, 29(8)689--736
Specification-Oriented, 23(1)9--66
Specifications, LOG-, 30(2)147--180
specified, 8(2)113--123, 22(6)663--678, 34(10)737--772, 59(4)357--385
specifunction, 41(7)383--414
Specify, 34(9)667--686
Specifying, 36(8)591--616
Speckenmeyer, Ewald, 22(1)115--123
Speckenmeyer, Ewald, see Monien, Burkhard
spectrum, 55(8)703--732, 57(3)465--512
Speech, 18(4)431--448
Speeding, 21(4)375--391, 30(4)369--384
speeds, 58(4)451--462
speedup, 34(8)637--652, 38(11)847--858
Spehner, Jean-Claude, 24(3)353--362
Speicheroptimale, 7(3)269--287
spelling, 29(3)281--302
Spirn, Jeffrey R., 7(2)217--226
Spirn:1976:MQS, 7(2)217--226
Spitzen, Jay M., 4(2)127--144
Spitzen:1975:VSD, 4(2)127--144
splicing, 50(1)1--14
split, 21(1)113--123, 26(4)349--362, 26(5)421--438, 59(6)687--708
splitting, 1(4)290--306, 3(4)347--355, 26(4)349--362, 29(5)415--423, 42(8)583--602, 47(2)77--110
Spooner, Jakob T., 59(4)387--407
Spooner, Jakob T., see Erlebach, Thomas
Sprachen, 4(1)55--75
Springer-Verlag, 22(6)679--698, 34(10)737--772
sprout, 27(3)217--245, 41(1)1--18
Sprugnoli, Renzo, 35(2)167--179
Spuler, David, 30(5)405--407, 31(8)729--740
Spuler:1993:OBS, 30(5)405--407
Spuler:1994:OST, 31(8)729--740
Spyratos, N., 35(6)541--541
Spyratos, N., see Laurent, D.
Spyratos, Nicolas, 34(12)905--925
Spyratos, Nicolas, see Laurent, Dominique
SQL:1999, 43(5)341--370
square, 41(9)595--606
Srba, Jirí, 52(2)269--297, see Benes, Nikola
Srba, Ji{\v{r}}{\'\i}, 39(6)469--499
Srba:2003:SBS, 39(6)469--499
Srimani, Pradip K., 24(5)555--564, 32(6)597--609
Srimani, Pradip K., see Chowdhury, Shyamal K., see Sur, Sumit
Srinivasan, Sathyanarayanan, 56(5)433--446
Srinivasan:2019:PBA, 56(5)433--446
Stålmarck, Gunnar, 33(3)277--280
Staalmarck:1996:SRP, 33(3)277--280
Stability, 4(1)49--53
stability-preserving, 57(3)353--383
stabilization, 36(6)447--462
Stabilization, Self-, 27(8)697--724
stabilization, self-, 47(5)313--323
Stabilizing, Self-, 32(3)189--207
stabilizing, Self-, 40(9)609--636
stabilizing, self-, 57(1)271--304, 61(1)83--100
stable, 26(5)473--484, 27(3)247--286, 57(1)245--269
Stably, 31(4)301--313
Stacey, K. C., 13(1)1--8
stack, 8(2)113--123, 8(2)125--144, 24(6)695--709, 27(6)567--581, 29(5)395--414, 43(1)1--43, 46(7)509--531
Stack-Counter, 17(1)63--67
STACS'85, 22(6)679--698
STACS'93, 31(4)379--397
Stadel, Manfred, 9(4)309--329, 16(1)45--56
Stadel:1978:ZNK, 9(4)309--329
Stadel:1981:BVI, 16(1)45--56
Stafylopatis, Andreas N., 35(3)211--243
Stafylopatis, Andreas N., see Fernandez de la Vega, Wenceslas
Stage, 6(2)187--209
Stage, Three-, 20(2)197--206
Staggered, 13(4)299--324
Stahl, Christian, 49(2)69--103, 51(8)499--552
Stahl, Christian, see Vogler, Walter
Stahl, Saul, 24(4)447--459
Stahl:2012:TBS, 49(2)69--103
Staiger, Ludwig, 32(5)491--507
Staiger, Ludwig, see Jürgensen, H.
standard, 8(1)1--20, 8(2)177--192, 9(2)105--119, 19(1)97--113, 28(6)603--605, 35(10)859--874, 56(6)471--486
Standard, Non-, 31(1)55--80
Staphylopatis, A., 17(3)311--325
Staphylopatis:1982:PCP, 17(3)311--325
Starting, 40(9)657--674
state, 2(2)143--161, 8(2)177--192, 11(1)89--101, 17(3)349--364, 18(4)393--409, 21(1)89--100, 27(4)343--368, 28(6)539--558, 29(6)499--522, 32(8)705--778, 45(7)479--536, 48(5)271--290, 51(8)553--569, 52(2)133--152, 52(6)525--557, 53(1)67--85, 53(5)469--492, 58(3)177--194, 58(4)301--318, 59(1)163--181
state, finite-, 8(2)177--192, 46(3)169--191
State, Infinite-, 34(2)85--107
state, infinite-, 45(2)131--154
state, steady-, 15(3)251--263, 18(3)319--334
statechart, 38(4)235--259
stated, 8(1)61--73
stateless, 47(7)391--412, 50(4)229--255, 54(8)789--818, 58(4)397--425
statement, 2(4)335--355, 8(1)21--36, 8(4)303--314, 15(4)385--424, 20(1)35--57, 22(1)47--66
static, 6(3)227--249, 9(4)355--376, 23(3)255--266, 33(7)669--685, 34(10)737--772, 56(4)321--383, 58(1)1--34
Station, Two-, 26(3)241--267
station, two-, 26(5)501--501, 26(8)787--787
stationarity, 46(2)87--137
Stationary, Non-, 23(2)177--192
stationnaires, non-, 23(2)177--192
Statistic, Order-, 29(5)395--414
statistical, 15(4)347--363, 60(3)317--329
statistically, 12(2)159--175
status, 60(1)1--10
Staunstrup, J{\o}rgen, 18(4)361--376, see Eriksen, Ole
steady-state, 15(3)251--263, 18(3)319--334
stealing, 1(2)115--138
Stee, Rob van, 37(10)727--742, 41(9)595--606, 45(3)155--175
Stee, Rob van, see Epstein, Leah
Steensgaard-Madsen, J{\o}rgen, 12(1)73--94
Steensgaard-Madsen:1979:PCR, 12(1)73--94
Stef{\u{a}}nescu, Gheorghe \c, 33(4)317--350
Steffen, Bernhard, 57(3)671--687
Steffen, Bernhard, see Jasper, Marc
Steggles, L. J., 38(1)45--88
Steggles, L. J., see Meinke, K.
Steiner, 15(2)141--145, 23(2)223--229, 27(4)369--380, 37(3)193--211
stems, 8(2)125--144
Stenger, Marvin, 57(1)137--163
Stenger, Marvin, see Finkbeiner, Bernd
step, 1(2)115--138, 27(2)125--156, 40(4)235--263, 50(1)15--39, 53(1)35--65, 55(5)445--457, 60(4)453--465
step-counting, 8(3)267--283
Stephens, Robert, 34(7)491--541
Stephens:1997:SSP, 34(7)491--541
stepwise, 39(4)233--271, 48(4)213--242
Stewart, Iain A., 30(1)61--87, 46(7)509--531
Stewart, Iain A., see Quesada, Argimiro Arratia
Stewart:1993:LSC, 30(1)61--87
STG, 46(6)433--474
sticker, 35(5)401--420, 37(3)213--225
Sticky-free, 40(2)119--157
still, 55(2)129--152
Stimm, H., 1(z)345--359
Stimm, H., see Schnorr, Claus-Peter
stimulated, 26(7)615--642
Stirling, Colin, 21(5)417--441
Stirling, Colin, see Costa, Gerardo
stochastic, 7(2)167--182, 39(2)119--140, 49(4)203--224, 54(2)217--242, 54(6)589--623
Stockmeyer, Larry J., 7(3)289--303
Stockmeyer, Larry J., see Rosenberg, Arnold L.
Stolboushkin, Alexey P., 24(6)695--709, 25(6)593--624, 27(8)725--747
Stonebraker, 9(1)1--21
storage, 3(2)101--122, 3(4)297--319, 7(3)269--287, 7(3)289--303, 9(4)355--376, 14(2)107--117, 19(1)35--55, 22(4)397--420, 23(4)393--427, 27(6)567--581, 32(7)611--625
Store, 24(1)93--104
Store-and-Forward, 28(7)657--680
Stoß, 16(3)347--362
Stoß, H.-J., 2(z)80--96, 3(3)217--225, see Paul, Wolfgang J.
Stoss:1973:RPG, 2(z)80--96, 16(3)347--362
Strachey, 8(3)221--242
straightforward, 8(3)201--220
Strassen, 6(4)341--355
Strassen, Volker, 1(z)320--335, 2(z)64--79
Strassen:1972:BPG, 1(z)320--335
Strassen:1973:BPI, 2(z)64--79
strategy, 8(1)61--73, 8(2)125--144, 8(2)193--199, 8(4)341--357, 28(1)43--81, 29(1)63--94, 42(1)21--42, 43(1)1--43, 46(6)433--474, 51(3)129--163, 55(8)669--701, 57(1)81--106
stratified, 18(4)345--359, 22(1)85--100, 37(10)699--725
Strazovský, Oldrich, 45(2)131--154, see Brázdil, Tomás
Stream, 24(5)491--511, 27(5)381--397, 34(7)491--541
streams, 38(1)45--88
Strejcek, Jan, 41(7)415--434
Strejcek, Jan, see Kucera, Antonín
Strej{\v{c}}ek, Jan, 46(1)1--28, see Bozzelli, Laura
stretching, 39(2)97--117
Strichman, Ofer, 45(6)403--439
Strichman, Ofer, see Godlin, Benny
Strict, 43(3)173--194
strictness, 43(1)1--43, 48(3)191--211
string, 1(z)311--319, 16(1)63--85, 18(2)171--179, 24(3)353--362, 26(7)597--614, 29(3)281--302, 57(3)657--670, 59(6)709--724, 61(1)23--52, 61(2)161--181, z(z)z--z
String-Rewriting, 28(5)477--510
stringash, 61(1)23--52
strip, 38(10)673--693
strong, 15(2)153--166, 39(6)469--499, 47(7)375--389
stronger, 8(1)21--36
Strongest, 22(1)47--66
strongly, 8(4)303--314, 12(1)1--31, 46(8)591--607
Strothotte, Thomas, 22(2)171--186
Strothotte, Thomas, see Sack, Jörg-Rüdiger
structural, 29(8)761--778, 39(6)501--516, 40(6)385--430, 46(2)87--137, 56(6)537--552
structurally, 8(1)75--96
structure, 1(1)26--34, 1(4)290--306, 1(z)282--289, 2(4)293--309, 3(1)47--57, 3(2)171--186, 4(1)1--9, 4(2)127--144, 4(3)201--211, 4(4)299--310, 8(1)37--59, 8(3)267--283, 8(4)325--334, 9(3)243--261, 11(2)119--137, 12(2)95--108, 13(2)155--168, 17(2)157--184, 17(3)267--285, 17(4)451--476, 19(1)13--33, 19(1)57--84, 19(2)167--182, 21(3)239--250, 24(1)57--77, 26(3)193--211, 26(4)349--362, 27(4)315--342, 27(4)343--368, 28(1)83--94, 29(3)241--265, 29(4)335--373, 30(3)215--231, 31(1)81--104, 31(2)161--206, 32(3)255--270, 33(6)547--557, 34(5)367--388, 36(9)693--719, 37(1)21--43, 42(6)389--418, 44(5)361--376, 45(4)279--320, 46(5)375--401, 47(5)279--311, 50(4)289--295, 51(2)107--125, 58(6)611--651, 59(2)245--281, 60(3)317--329, z(z)z--99999999
structured, 1(3)173--189, 6(3)227--249, 8(1)37--59, 25(6)625--661, 35(1)1--15, 54(2)217--242
Structured, Log-, 33(4)351--385
structured, non-, 21(5)473--484
structured, Well-, 44(3)249--288
structuring, 8(4)325--334, 29(8)689--736
studied, 8(1)37--59, 8(1)61--73, 8(1)75--96, 29(3)281--302
study, 7(2)183--195, 18(1)47--64, 20(4)345--369, 26(1)123--130, 26(7)615--642, 27(6)505--517, 31(7)651--671, 49(5)295--312, 55(3)227--267, 57(6)761--800, 57(6)829--829
Sturmian, 36(12)983--1006
stuttering, 41(7)415--434
style, 6(3)227--249
style, denotational-, 29(8)689--736
style, Tomita-, 44(6)427--461
Su, Jianwen, 31(1)27--54, 31(6)513--524
Su, Jianwen, see Hull, Richard
Su:1994:DPS, 31(1)27--54
sub-fixpoint, 8(2)125--144
Sub-Parse, 33(6)511--522
Subclass, 22(4)379--395, 32(1)1--26
subexponential, 55(1)1--15
subexponential-time, 44(1)23--39
subexpressions, 2(3)191--213, 6(1)41--60
subject, 7(1)35--60, 43(4)243--264
Suboti{\'c}, Pavle, 53(4)387--424, see Leroux, Jérôme
subparts, 59(6)709--724
subpatterns, 59(6)709--724
subproblem, 28(6)539--558
Subramani, K., 46(2)155--168
Subramani:2009:RWS, 46(2)155--168
Subramanian, K. G., 28(5)477--510, 30(3)279--302, 31(2)161--206, 31(4)341--378
Subrecursive, 9(2)87--104, 9(2)183--193
subregular, 50(1)41--75
Subrekursive, 9(2)87--104, 9(2)183--193
subroutine, 2(z)311--333, 3(3)227--241
subsequence, 16(1)87--91, 18(2)171--179, 24(3)353--362, 35(5)421--440, 58(1)35--56, 61(3)315--329
subset, 8(2)125--144, 24(4)417--432, 33(3)281--296, 42(6)515--539, 61(2)101--113
subset-sum, 36(8)665--672
substantially, 8(3)201--220
substituting, 8(3)285--302
substitution, 5(4)377--386, 8(3)285--302, 10(4)323--339, 27(6)505--517, 28(4)365--407, 32(4)299--312
Substitution, Program-, 25(4)439--473
substring, 58(1)35--56
subtrees, 18(4)377--392
subtype, 30(6)569--607
Subtypes, 30(6)569--607
subtyping, 31(1)5--26, 32(8)705--778, 36(8)617--663, 42(2)191--225, 50(7)359--380
subword, 60(1)79--100
successfully, 7(2)137--152
Succinct, 23(3)325--356
succinctness, 8(4)303--314
such, 6(1)61--75, 7(2)137--152, 7(2)183--195, 8(1)61--73, 8(2)125--144, 17(3)245--265, 18(3)319--334, 21(3)239--250, 28(6)539--558, 29(8)689--736, 60(3)317--329
Sudborough, Ivan Hal, 22(4)379--395
Sudborough, Ivan Hal, see Chung, Moon-Jung
sufficient, 7(2)137--152, 8(1)61--73, 22(4)347--377, 24(4)395--415
Sufficient--completeness, 28(4)311--350
suffix, 20(4)371--389, 32(5)459--476, 33(7)631--639
suggested, 8(2)125--144, 8(4)315--324, 18(4)377--392
suggests, 7(2)137--152
suitable, 18(2)171--179
suite, 60(3)317--329
sum, 12(4)371--375, 13(2)109--114, 18(3)319--334, 24(4)417--432, 61(2)101--113
sum, subset-, 36(8)665--672
Summary, 22(2)171--186
Sundar, Rajamani, 32(3)255--270
Sundar, Rajamani, see Buchsbaum, Adam L.
Sung, Hua-Jung, 40(4)303--315
Sung, Hua-Jung, see Lee, Wen-Chiung
Suonio, R., Kurki-, 8(4)303--314
Supercube, 26(8)741--748
supérieurs, 19(3)255--268
Supersets, 28(8)733--754
Supertype, 32(8)705--778
Supnick, 33(6)559--569
Supowit, Kenneth J., 18(4)377--392
Supowit:1983:CDT, 18(4)377--392, 40(8)603--607
Support, 21(1)1--28
supporting, 34(10)737--772
supports, 8(4)325--334
suprema, 57(3)727--758
Sur, Sumit, 32(6)597--609
Sur:1995:IGN, 32(6)597--609
Suri, Rajan, 7(2)197--216
Suri, Rajan, see Denning, Peter J.
surjective, 20(1)103--111, 31(3)285--299
surjective, vertex-, 49(6)381--394
survey, 7(1)35--60, 14(3)271--294, 34(7)491--541, 45(7)537--564, 60(4)335--359
Survivability, 25(1)55--84
Sutner, Klaus, 26(1)93--122
Sutner:1988:MPA, 26(1)93--122
Suzuki, Ichiro, 19(4)325--338
Suzuki, Norihisa, 8(1)21--36
Suzuki, Norihisa, see Luckham, David C.
Suzuki:1983:TMS, 19(4)325--338
Svahnberg, Charlie, 41(6)341--365
Svahnberg, Charlie, see Klonowska, Kamilla
swapping, 8(4)359--370, 41(4)181--220
Sweeney, Peter F., 36(12)927--982
Sweeney, Peter F., see Tip, Frank
Sweep, 21(5)501--519, 29(4)383--394
switch, 49(5)295--312
switched, 57(1)245--269
Switching, 2(z)80--96, 4(1)49--53
switching, packet-, 7(2)183--195
Symblicit, 54(6)545--587
symbol, 8(3)285--302
Symbol, Two-, 20(2)133--142
symbolic, 29(3)281--302, 43(7)477--500, 51(5)297--325, 53(4)327--356, 56(1)1--33, 57(1)81--106, 57(3)627--656
symmetric, 1(4)290--306, 25(2)179--201, 57(1)271--304
symmetries, 36(7)545--590
Symmetry, 47(1)33--66
symportash, 41(2)145--170
Symposium, 53(6)545--546
Synchronic, 19(4)325--338
Synchronisationsgraphen, 2(2)143--161
Synchronizable, 23(5)597--605
synchronization, 1(2)115--138, 2(2)143--161, 5(4)297--332, 7(1)15--34, 8(4)325--334, 8(4)335--340, 16(2)219--235, 18(2)117--134, 19(1)57--84, 24(5)525--553, 30(4)351--367, 58(4)451--462, 59(4)479--504
synchronize, 8(4)325--334
synchronized, 17(1)21--29, 31(4)315--327, 37(6)449--465, 39(1)31--70, 60(3)257--278
synchronizing, 1(3)190--199, 1(z)375--376, 2(z)189--190, 8(3)201--220
synchronous, 44(7)525--569, 52(4)393--442, 57(3)313--320
synchronous, Semi-, 46(1)29--42
synchrony, 40(3)159--210
SYNT, 54(6)543--544, 57(1)1--1
syntactic, 5(4)297--332, 7(4)399--413, 28(4)351--363, 32(3)285--298, 33(5)457--462, 44(3)153--166
syntactically, 8(2)193--199
syntactiques, 7(4)399--413
syntax, 1(z)79--110, 4(2)183--192, 8(1)1--20
Syntax-Directed, 31(5)431--477
Syntax-Errors, 4(3)271--292
synthesis, 4(2)127--144, 7(1)35--60, 11(1)1--30, 13(3)225--227, 26(1)19--23, 27(1)73--80, 29(3)211--239, 33(4)297--315, 48(7)363--396, 51(3)127--128, 51(3)129--163, 51(3)165--192, 51(3)221--260, 52(1)35--60, 54(1)3--39, 54(1)41--83, 54(6)543--544, 54(6)589--623, 54(7)655--692, 54(7)693--726, 55(7)575--611, 55(8)669--701, 57(1)3--36, 57(1)37--79, 57(1)81--106, 57(1)107--135, 57(1)137--163, 57(1)165--193, 57(1)223--244, 57(1)245--269, 57(1)271--304, 59(5)671--671
Synthesized, 31(5)431--477
synthesizes, 38(4)235--259
synthesizing, 51(3)193--220, 53(4)425--457, 57(1)195--221, 58(5)497--528
Sys, 9(1)1--21
Syslo:Dzikiewicz:1975, 8(4)303--314
syst.OPTRAN, 26(3)213--239
Systä, Tarja, 38(4)235--259, see Mäkinen, Erkki
systematic, 22(1)47--66, 48(1)51--66
systematically, 6(1)61--75
système, 12(4)321--338
systèmes, 11(4)305--340
systèmes, tag-, 20(2)179--196
systems, -, 30(3)279--302, 31(8)761--773, 52(2)133--152
Systems, OL-, 3(4)357--364, 4(1)87--106
systems, pushdown-{CD}-, 50(4)229--255
Systems, Tag-, 20(2)179--196
systems, Tree-, 38(2)131--153
systolic, 18(4)335--344, 21(2)193--207, 24(6)595--632, 27(2)97--124, 29(6)623--643, 29(8)761--778, 38(1)45--88
Szeider, Stefan, 44(7)509--523
Szeider, Stefan, see Nishimura, Naomi
Szelepcsényi, Róbert, 26(3)279--284
Szelepcsenyi:1988:MFE, 26(3)279--284
Szpankowski, Wojciech, 24(2)173--190
Szpankowski:1987:ACR, 24(2)173--190
Szwarcfiter, J., 24(5)513--524
Szwarcfiter, J., see B{\l}a{\.{z}}ewicz, J.
Szwarcfiter, Jayme Luiz, 21(1)47--60
Szwarcfiter:1984:OMS, 21(1)47--60