Last update: Thu Jun 29 02:46:09 MDT 2023
Return to index directory
S
-
S4F, 176(3)205--234
-
Saarela, Aleksi, 180(4)375--393
-
Saarela:2021:SWL, 180(4)375--393
-
Saeid, Arsham Borumand, 174(2)137--165
-
Saeid, Arsham Borumand, see Keshavarzian, Nazanin
-
Safe, 188(3)127--178
-
Safety, 173(2)217--251
-
Sahla, Esa, 175(1)201--206
-
Sahla, Esa, see Halava, Vesa
-
Saidi, Ahmed Ait, 173(1)73--89
-
Saidi, Ahmed Ait, see Tioura, Abdelhamid
-
Sala, Pietro, 178(4)283--313
-
Sala, Pietro, see Combi, Carlo
-
Sambin, Giovanni, 176(1)61--78
-
Sambin, Giovanni, see Maschio, Samuele
-
Santamaria, Daniele Francesco, 176(3)349--384, 178(4)315--346
-
Santamaria, Daniele Francesco, see Cantone, Domenico
-
Santucci, Valentino, 174(3)201--228
-
Santucci, Valentino, see Baioletti, Marco
-
Satisfaction, 174(3)311--344
-
Satoh, Ken, 176(3)321--348
-
Satoh, Ken, see Alberti, Marco
-
Sauro, Luigi, 176(3)i--ii
-
Sauro, Luigi, see Della Monica, Dario
-
Scalable, 182(2)i--ii
-
scale, 172(2)129--142, 172(2)221--238, 172(3)299--325
-
Scattered, 179(4)361--384
-
Schauß, Manfred, Schmidt-, 185(3)247--283
-
Schedulability, 182(1)31--67
-
Scheduling, 177(3)203--234, 179(1)35--58
-
schemes, 188(3)127--178
-
Schewe, Klaus-Dieter, 177(1)1--37
-
Schewe, Klaus-Dieter, see Börger, Egon
-
Schlingloff, H., 179(2)i--ii
-
Schlingloff:2021:P, 179(2)i--ii
-
Schmidt-Schauß, Manfred, 185(3)247--283
-
Schmidt-Schauss:2022:NUM, 185(3)247--283
-
Schnoor, Henning, 177(2)95--113
-
Schnoor, Henning, see Berghammer, Rudolf
-
science, 182(2)i--ii
-
scope, 185(4)285--311
-
Search, 174(3)259--281, 176(3)271--297
-
Search, Meta-, 188(2)63--90
-
Second-order, 172(4)343--359, 186(1)89--120
-
secrecy, 185(4)285--311
-
secure, 185(4)285--311
-
securely, 185(4)285--311
-
Seidner, Charlotte, 183(1)97--123
-
Seidner, Charlotte, see Lime, Didier
-
Selection, 172(2)129--142, 176(1)79--102, 180(1)123--150,
182(2)111--179
-
Selective, 177(3)359--383
-
Self-Embedding, Non-, 180(1)103--122
-
Self-stabilisation, 185(1)27--82
-
Self-test, 188(1)41--61
-
Self-Verifying, 180(1)1--28
-
Semani{\v{c}}ov{\'a}-Fe{\v{n}}ov{\v{c}}{\'\i}kov{\'a}, Andrea,
174(1)1--13, 174(2)103--119, 185(2)99--113,
see Ahmad, Ali, \see{Ba{\v{c}}a, Martin,
see Bong, Novi
-
Semantics, 178(3)229--266, 180(3)179--249
-
Semi-Conditional, 181(2)189--211
-
semigroup, 179(4)385--397, 184(3)233--271
-
Sené, Sylvain, 181(2)163--188, see Perrot, Kévin
-
Sensitive, 182(2)111--179
-
Separating, 180(4)375--393
-
sequence, 188(1)41--61
-
Sequential, 177(3)385--415, 181(2)239--271
-
{\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}, Traian Florin, 173(2)191--215,
see Leu{\c{s}}tean, Ioana
-
Services, 176(3)349--384
-
Set, 172(4)399--412, 172(4)413--434, 176(1)17--41, 176(3)205--234,
177(3)275--296, 178(1)139--172, 178(4)283--313, 179(1)75--92,
179(4)399--416, 180(4)289--314, 181(1)37--69, 182(2)111--179,
182(3)243--255, 184(4)307--354
-
Set-based, 178(4)315--346
-
Set-theoretic, 176(3)349--384
-
Setting, 179(4)321--344
-
Shankar, Ramya A., 172(4)399--412
-
Shankar, Ramya A., see Tzacheva, Angelina A.
-
Shared, 183(3)203--242
-
Shevchenko, Nikolai A., 188(1)41--61
-
Shevchenko, Nikolai A., see Mrozek, Ireneusz
-
Shift, 185(4)285--311
-
Short, 172(3)261--297
-
Shortest, 180(4)315--331
-
Shuffling, 175(1)201--206
-
Sided, Two-, 180(1)29--51
-
Sidorova, Natalia, 183(3)i--ii
-
Sidorova, Natalia, see Janicki, Ryszard
-
Signatures, 176(2)141--166
-
Sijbers, Jan, 172(2)105--128
-
Sijbers, Jan, see Beirinckx, Quinten
-
Silent, 180(3)179--249
-
Silico, 174(3)283--310
-
{\v{S}}{\'\i}ma, Ji{\v{r}}{\'\i}, 184(4)307--354
-
Sima:2021:PTC, 184(4)307--354
-
Similar, 172(3)239--259
-
similarity, 172(3)299--325
-
Simple, 177(2)157--179, 181(2)189--211, 182(3)301--319
-
Simplify, 180(3)275--287
-
Simply-Typed, 177(3)385--415
-
Simson, 187(1)v--vii
-
Simulation, 172(2)105--128, 178(1)77--99, 181(2)213--238
-
Singh, Hargurbir, 173(2)217--251
-
Singh, Hargurbir, see Caltais, Georgiana
-
Singleton, 174(3)311--344
-
singular, 179(3)227--238
-
Sinisi, Stefano, 174(3)283--310
-
Sinisi:2020:OPT, 174(3)283--310
-
Size, 177(1)69--93, 181(2)99--127
-
Skeirik, Stephen, 173(4)315--382
-
Skeirik:2020:CBR, 173(4)315--382
-
Skeleton, 187(2)245--272
-
Skeptical, 176(3)235--269
-
Skew, 184(2)83--105
-
Skew-symmetrizable, 181(4)313--337
-
Skrzypczak, Micha{\l}, 180(4)i--ii, 183(3)243--291,
see Finkel, Olivier
-
Skrzypczak:2021:P, 180(4)i--ii
-
{\v{S}}lapal, Josef, 179(1)59--74
-
Slapal:2021:DJC, 179(1)59--74
-
{\'S}l{\k{e}}zak, Dominik, 182(2)i--ii
-
Slezak:2021:PIG, 182(2)i--ii
-
Slicing, 177(3)331--357
-
Small, 176(1)43--59, 185(2)185--199
-
Smarzewski, Ryszard, 172(4)379--397
-
Smarzewski, Ryszard, see Koczkodaj, Waldemar W.
-
SMT-Based, 187(2)103--138
-
Social, 172(2)169--186, 176(1)79--102
-
Sofronie-Stokkermans, Viorica, 173(2)91--138
-
Sofronie-Stokkermans:2020:PSV, 173(2)91--138
-
software, Hardware-, 173(2)139--176
-
Soler, Joan Ramon, 174(1)83--101
-
Soler, Joan Ramon, see Manyà, Felip
-
solution, 182(3)243--255
-
Solve, 173(1)73--89
-
Solver, 174(1)27--42, 174(3)229--258
-
Solving, 174(1)83--101, 179(1)35--58, 186(1)63--88
-
Song, Bosheng, 182(3)243--255
-
Song, Bosheng, see Jin, Yu
-
sorted, Many-, 173(2)191--215
-
sorted, Order-, 177(3)297--329
-
Soundness, 182(1)1--29
-
space, 172(1)73--95, 172(2)143--167, 172(3)299--325, 172(4)379--397,
174(2)167--183, 185(4)285--311, 186(1)63--88
-
Spanning, 176(2)103--128, 185(1)83--97
-
Special, 174(1)61--62
-
Sproston, Jeremy, 178(1)101--138
-
Sproston:2021:PTA, 178(1)101--138
-
Squares, 179(3)227--238, 184(4)297--306
-
stabilisation, Self-, 185(1)27--82
-
stable, 176(3)271--297
-
standard, non-, 185(4)285--311
-
state, 181(4)339--371
-
State, Finite-, 185(4)337--356
-
State-Based, 183(3)293--317
-
Static, 173(4)285--314, 179(1)35--58
-
statistically, 185(4)285--311
-
Stefanescu, Andrei, 173(4)315--382
-
Stefanescu, Andrei, see Skeirik, Stephen
-
Stefanescu, Gheorghe, 173(2)139--176
-
Stefanescu, Gheorghe, see Paduraru, Ciprian Ionut
-
Stein, Itamar, 178(3)173--185
-
Stein, Itamar, see Adinayev, Arthur
-
Steps, 183(1)67--96
-
Stochastic, 179(2)135--163, 181(1)1--35
-
Stoelinga, Mariëlle, 182(1)69--94,
see André, Étienne
-
Stojanovi{\'c}, Nenad, 174(2)185--199,
see Djordjevi{\'c}, Radosav
-
Stokkermans, Viorica, Sofronie-, 173(2)91--138
-
Stop-transitions, 175(1)143--172
-
Storage, 173(1)47--72, 177(2)115--139
-
storing, 185(4)285--311
-
Storti, Silvia Francesca, 172(2)169--186
-
Storti, Silvia Francesca, see Menegaz, Gloria
-
strategy, 172(2)187--202, 174(3)259--281
-
Streaming, 178(1)59--76
-
Strength, 174(1)1--13
-
Strictly, 180(1)29--51
-
string, 172(3)299--325, 175(1)41--58, 178(1)59--76, 178(3)173--185,
180(4)315--331
-
Strong, 184(1)49--82
-
Structural, 179(1)1--33, 183(3)319--342, 188(3)179--215
-
Structure, 176(1)17--41, 179(2)93--111, 179(3)239--274, 184(3)181--203,
185(1)83--97, 186(1)1--26
-
Structured, 176(2)183--203
-
Stubborn, 178(1)139--172
-
Study, 172(2)105--128, 179(2)165--182, 182(2)111--179
-
Su, Ezgi Iraz, 176(3)205--234
-
Su:2020:UAN, 176(3)205--234
-
Subdivision, 174(1)15--26
-
Subgraphs, 178(3)173--185
-
Subi, Carlos, 188(1)1--14
-
Subi, Carlos, see Gh., Behrooz Bagheri
-
Subregular, 180(1)123--150
-
Substitution, 175(1)201--206
-
such, 185(4)285--311
-
Sugeng, Kiki A., 174(2)103--119
-
Sugeng, Kiki A., see Bong, Novi
-
Sujana, G. Jessy, 182(3)285--299
-
Sujana:2021:EFB, 182(3)285--299
-
sum, 184(4)297--306
-
Super-resolution, 172(2)105--128
-
Sureson, Claude, 182(4)345--361
-
Sureson:2021:IAF, 182(4)345--361
-
surface, 179(1)59--74
-
Syau, Yu-Ru, 179(1)75--92
-
Syau:2021:VPG, 179(1)75--92
-
Symbolic, 177(3)235--273, 183(3)319--342
-
Symbols, 180(1)77--101
-
Symmetric, 172(4)343--359
-
symmetrizable, Skew-, 181(4)313--337
-
Syntactic, 186(1)45--62
-
Synthesis, 173(2)91--138, 175(1)97--122, 177(3)235--273, 178(1)31--57,
179(1)1--33, 183(1)1--31, 183(1)125--167, 187(2)139--165,
187(2)167--196
-
system, 173(2)91--138, 174(1)61--62, 175(1)59--95, 175(1)187--199,
176(1)43--59, 178(3)173--185, 179(1)35--58, 179(2)205--225,
180(1)53--76, 180(3)251--273, 181(4)339--371, 182(1)31--67,
182(2)181--218, 182(3)243--255, 183(1)1--31, 183(3)203--242,
185(4)285--311, 187(2)71--102
-
Szilard, 172(1)53--72
-
Szlufik, Stanislaw, 176(2)167--181
-
Szlufik, Stanislaw, see Przybyszewski, Andrzej W.
-
Szybowski, Jacek, 172(4)379--397
-
Szybowski, Jacek, see Koczkodaj, Waldemar W.