Last update: Tue Oct 28 02:00:08 MDT 2025
Return to index directory
S
-
SAAP-2017, 52(z)25--25
-
Sachdeva, Shelly, 82(z)z--99999999
-
Sachdeva, Shelly, see Soni, Kanika
-
Sadredini, Mohammad Hadi, 61(z)z--99999999
-
Sadredini, Mohammad Hadi, see Diyanati, Ahmad
-
safety, 78(z)z--99999999
-
safety-critical, 78(z)z--99999999
-
Saffran, João, 62(z)z--99999999
-
Saffran:2021:LSP, 62(z)z--99999999
-
Sahraoui, Houari, 74(z)z--z
-
Sahraoui, Houari, see Siabdelhadi, Ahmed
-
Saiz, Diego, García-, 60(z)z--z
-
Sallaberry, Arnaud, 56(z)z--99999999
-
Sallaberry, Arnaud, see Goel, Rohan
-
Salle, Amleto, Di, 76(z)z--99999999
-
Salman, Hamzeh Eyal, 78(z)z--99999999
-
Salman:2024:ABC, 78(z)z--99999999
-
Samimi-Dehkordi, Leila, 51(z)193--213
-
Samimi-Dehkordi:2019:LPL, 51(z)193--213
-
SAMOS, 51(z)57--74
-
sampling, 83(z)z--z
-
Sánchez, Pablo, 60(z)z--z, see Vega, Alfonso de la
-
Sanders, Ian, 51(z)214--221
-
Sanders, Ian, see Ewert, Sigrid
-
Sang, Jun, 51(z)112--130
-
Sang, Jun, see Akbar, Muhammad Azeem
-
Saniie, Jafar, 65(z)z--99999999
-
Saniie, Jafar, see Hentrich, David
-
Sant'Anna, Francisco, 69(z)z--99999999
-
Santander, Maximilian Ignacio Willembrinck, 80(z)z--99999999
-
Santander, Maximilian Ignacio Willembrinck,
see Bourcier, Valentin
-
SantAnna:2022:SEP, 69(z)z--99999999
-
Santucci, G., 52(z)10--24
-
Santucci, G., see Angelini, M.
-
Santucci, Giuseppe, 51(z)28--47
-
Santucci, Giuseppe, see Siqueira Silva, Isabel Cristina
-
Sap, Duygu, 85(z)z--99999999
-
Sap:2025:RSA, 85(z)z--99999999
-
{\v{S}}arenac, Bal{\v{s}}a, 80(z)z--z
-
Sarenac:2024:NAR, 80(z)z--z
-
Sarma, Anita, 53(z)22--37
-
Sarma, Anita, see Kuttal, Sandeep Kaur
-
Sasano, Isao, 84(z)z--99999999
-
Sasano, Isao, see Bin Atique, Md Monir Ahammod
-
Sasso Freitas, Carla Maria, Dal, 51(z)28--47
-
Satchell, Christopher, 57(z)z--99999999
-
Satchell, Christopher, see Schlötterer, Jörg
-
SBFL, 66(z)z--99999999
-
SBLP, 69(z)z--99999999
-
scalable, 51(z)1--14, 76(z)z--99999999
-
scene, 74(z)z--99999999
-
Schaefer, Ina, 63(z)z--99999999, 70(z)z--99999999
-
Schaefer, Ina, see Bordis, Tabea,
see Nieke, Michael
-
schedules, 67(z)z--z
-
schema, 51(z)28--47
-
schemes, 58(z)z--99999999
-
Schlötterer, Jörg, 57(z)z--99999999
-
Schlotterer:2020:QSQ, 57(z)z--99999999
-
Schmalzing, David, 76(z)z--99999999
-
Schmalzing, David, see Pfeiffer, Jérôme
-
Schobbens, Pierre-Yves, 73(z)z--99999999
-
Schobbens, Pierre-Yves, see Ouared, Abdelkader
-
Scholliers, Christophe, 79(z)1--35
-
Scholliers, Christophe, see Lauwaerts, Tom
-
Schöne, René, 57(z)z--99999999, see Mey, Johannes
-
Schultz, David, 70(z)z--99999999
-
Schultz, David, see Bordis, Tabea
-
Schultz, Ulrik Pagh, 59(z)z--99999999
-
Schultz, Ulrik Pagh, see Pearce, David
-
Scott, Elizabeth, 58(z)z--z
-
Scott, Elizabeth, see Binsbergen, L. Thomas van
-
Screening, 80(z)z--99999999
-
Scribner, J. Adam, 73(z)z--99999999
-
Scribner, J. Adam, see Park, Kyungjin
-
seamless, 63(z)z--99999999
-
search, 52(z)26--43, 57(z)z--99999999
-
Sebastián, Gabriel, 56(z)z--z
-
Sebastian:2020:CGU, 56(z)z--z
-
security, 52(z)25--25, 53(z)9--21, 56(z)z--99999999
-
Sedhain, Abim, 79(z)z--99999999
-
Sedhain:2024:DIS, 79(z)z--99999999
-
Sedrakyan, Gayane, 50(z)19--38
-
Sedrakyan:2019:GCL, 50(z)19--38
-
seed, 78(z)z--99999999
-
seeking, 79(z)z--99999999
-
segments, 71(z)z--99999999
-
Seidl, Christoph, 63(z)z--99999999
-
Seidl, Christoph, see Nieke, Michael
-
Seifert, Christin, 57(z)z--99999999
-
Seifert, Christin, see Schlötterer, Jörg
-
Seipp, Karsten, 50(z)1--18
-
Seipp:2019:TVG, 50(z)1--18
-
Selected, 69(z)z--99999999
-
selection, 60(z)z--z, 81(z)z--99999999, 83(z)z--z
-
semantics, 51(z)222--240, 57(z)z--99999999, 69(z)z--99999999,
79(z)z--99999999
-
semi-automatic, 82(z)z--z
-
semiotics, 56(z)z--99999999
-
sensemaking, 74(z)z--99999999
-
sensitive, Context-, 73(z)z--99999999
-
sensitive, context-, 51(z)241--260
-
Sensitive, flow-, 57(z)z--z
-
sensitive, flow-and-context-, 51(z)1--14
-
September, 84(z)z--99999999
-
sequence, 74(z)z--99999999
-
sequenced, 58(z)z--99999999
-
service, 57(z)z--99999999, 73(z)z--99999999
-
services, web-, 75(z)z--99999999
-
Sestoft, Peter, 57(z)z--99999999, 69(z)z--99999999
-
Sestoft, Peter, see Bock, Alexander Asp
-
set, 78(z)z--99999999
-
Shamdasani, Jetendr, 52(z)72--87
-
Shamdasani, Jetendr, see Arshad, Bilal
-
Sharbaf, Mohammadreza, 71(z)z--z
-
Sharbaf:2022:ARM, 71(z)z--z
-
sheet-defined, 57(z)z--99999999, 69(z)z--99999999
-
shell, 57(z)1--18
-
Shepherd, Brooke, 53(z)22--37
-
Shepherd, Brooke, see Kuttal, Sandeep Kaur
-
Shepherd, David, 69(z)z--z
-
Shepherd, David, see Fronchetti, Felipe
-
Sheykhahmadloo, Behrooz Shahi, 61(z)z--99999999
-
Sheykhahmadloo, Behrooz Shahi, see Diyanati, Ahmad
-
Shi, Ke, 59(z)z--99999999
-
Shi:2020:PAP, 59(z)z--99999999
-
Shingarov, Boris, 80(z)1--14
-
Shingarov:2024:TDV, 80(z)1--14
-
shots, 52(z)103--112
-
Shrawankar, Urmila, 69(z)z--99999999
-
Shrawankar, Urmila, see Mishra, Prerna
-
Siabdelhadi, Ahmed, 74(z)z--z
-
Siabdelhadi:2023:MBL, 74(z)z--z
-
sign, 52(z)88--102
-
signal, 54(z)z--z
-
Silva, Isabel Cristina, Siqueira, 51(z)28--47
-
Silva, Anderson Faustino da, 73(z)z--99999999, 74(z)z--99999999
-
Silva, Anderson Faustino da, see Queiroz, Nilton Luiz
-
Silva, Edson de Araújo, 62(z)z--99999999
-
Silva, Marisa do Carmo, 72(z)z--99999999
-
Silva, Marisa do Carmo,
see Barbosa, Gabriel Diniz Junqueira
-
Silva:2021:SMD, 62(z)z--99999999
-
Silver, Cindy E., Hmelo-, 73(z)z--99999999
-
Sim, Kevin, 71(z)z--99999999
-
Sim, Kevin, see Chapman, Peter
-
similar, 78(z)z--99999999
-
Simmons, Andrew J., 58(z)z--99999999
-
Simmons, Andrew J., see Khalajzadeh, Hourieh
-
simple, 54(z)z--99999999, 72(z)z--99999999
-
Simpson, Noah J., 54(z)z--99999999
-
Simpson, Noah J., see Dube, Matthew P.
-
Singh, Divjot, 79(z)z--99999999, 83(z)z--99999999
-
Singh, Harshita, 68(z)z--99999999
-
Singh, Manpreet, 78(z)z--99999999, 81(z)z--99999999
-
Singh, Robbert Gurdeep, 79(z)1--35
-
Singh, Robbert Gurdeep, see Lauwaerts, Tom
-
Singh, Vikram, 83(z)z--z
-
Singh, Vikram, see Kumar, Lov
-
Singh:2022:MHC, 68(z)z--99999999
-
Singh:2024:EAU, 79(z)z--99999999
-
Singh:2024:EIS, 81(z)z--99999999
-
Singh:2024:ISF, 78(z)z--99999999
-
Singh:2025:NFE, 83(z)z--99999999
-
single, 52(z)88--102, 83(z)z--99999999
-
singly, 74(z)z--99999999
-
Sipio, Claudio, Di, 78(z)z--99999999
-
Siqueira Silva, Isabel Cristina, 51(z)28--47
-
SiqueiraSilva:2019:VAS, 51(z)28--47
-
site, 84(z)z--99999999
-
size, 74(z)z--99999999
-
sketch-based, 74(z)z--99999999
-
sketching, 75(z)z--99999999
-
skills, 83(z)z--99999999
-
Slama Souei, Wafa, Ben, 77(z)z--z
-
slicing, 63(z)z--99999999
-
Slifka, Jan, 85(z)z--99999999
-
Slifka:2025:ANS, 85(z)z--99999999
-
Sliman, Layth, 77(z)z--z
-
Sliman, Layth, see Ben Slama Souei, Wafa
-
Slivnik, Bo{\v{s}}tjan, 73(z)z--99999999
-
Slivnik:2022:CSP, 73(z)z--99999999
-
Smalltalk, 78(z)z--99999999
-
smart, 60(z)z--99999999, 77(z)z--z, 85(z)z--99999999
-
Smirnov, Georgi, 51(z)48--56
-
Smirnov, Georgi, see Almeida, José João
-
Smith, Ross T., 75(z)z--z
-
Smith, Ross T., see Drogemuller, Adam
-
Smits, Jeff, 57(z)z--z
-
Smits:2020:FDS, 57(z)z--z
-
Sochor, Hannes, 78(z)z--99999999
-
Sochor:2024:FBG, 78(z)z--99999999
-
social, 58(z)z--99999999
-
Söderberg, Emma, 57(z)z--99999999, see Mey, Johannes
-
software, 50(z)39--48, 51(z)112--130, 52(z)26--43, 58(z)z--99999999,
61(z)z--z, 66(z)z--99999999, 70(z)z--99999999, 78(z)z--99999999,
80(z)z--99999999, 81(z)z--99999999, 84(z)z--99999999,
85(z)z--99999999
-
Solomon, Helen, 79(z)z--99999999
-
Solomon, Helen, see Sedhain, Abim
-
solution, 52(z)10--24, 68(z)z--99999999, 75(z)z--99999999,
84(z)z--99999999
-
solver-aided, 77(z)z--99999999
-
Solvi, 78(z)z--z
-
solving, 51(z)48--56
-
Soni, Kanika, 82(z)z--99999999
-
Soni:2025:MVQ, 82(z)z--99999999
-
Soto, Mauricio, 69(z)z--z
-
Soto, Mauricio, see Fronchetti, Felipe
-
Souei, Wafa, Ben Slama, 77(z)z--z
-
sound, 50(z)84--101
-
source, 60(z)z--99999999, 74(z)z--99999999
-
sourced, differently-, 81(z)z--z
-
spatio, 52(z)88--102
-
SPEC, 66(z)z--99999999
-
special, 52(z)25--25, 54(z)z--99999999, 56(z)z--99999999,
58(z)z--99999999, 59(z)z--99999999, 74(z)z--99999999,
76(z)z--99999999
-
Specific, 75(z)z--99999999
-
Specific, Domain-, 70(z)z--z, 83(z)z--99999999, 84(z)z--z
-
specific, domain-, 50(z)70--83, 51(z)193--213,
62(z)z--99999999, 72(z)z--99999999, 74(z)z--99999999, 76(z)z--z
-
specification, 57(z)z--z, 60(z)z--99999999
-
specifying, 85(z)z--z
-
speedup, 74(z)z--99999999
-
spreadsheets, 57(z)z--99999999, 69(z)z--99999999, 73(z)z--99999999
-
Srisa-an, Witawas, 52(z)55--71
-
Srisa-an, Witawas, see Tsutano, Yutaka
-
Srivastava, Saksham Sahai, 66(z)z--99999999
-
Srivastava, Saksham Sahai, see Dutta, Arpita
-
St-Denis, Richard, 77(z)z--99999999
-
St-Denis:2023:CTS, 77(z)z--99999999
-
Stack, 84(z)z--99999999
-
StackOverflow, 61(z)z--99999999
-
stage, multi-, 51(z)222--240
-
state, 73(z)z--99999999, 79(z)z--99999999, 85(z)z--z
-
stateful, 72(z)1--13
-
static, 52(z)25--25, 57(z)1--18
-
statistical, 79(z)z--99999999
-
Stein, Gordon, 73(z)z--99999999
-
Stein, Gordon, see Brady, Corey
-
Steinböck, Daniel, 57(z)z--99999999,
see Waldner, Manuela
-
step, Multi-, 52(z)10--24
-
Stepwise, 60(z)z--99999999
-
sticky-note, 61(z)z--z
-
Stokke, Knut Anders, 74(z)z--99999999
-
Stokke:2023:DSL, 74(z)z--99999999
-
stores, 82(z)z--99999999
-
stories, 58(z)z--99999999
-
stream, 65(z)1--14, 73(z)z--99999999
-
stress, 82(z)z--99999999
-
string, 62(z)z--99999999, 81(z)z--99999999
-
Strong, Glenn, 84(z)z--99999999
-
Strong:2025:SLT, 84(z)z--99999999
-
structure, 67(z)z--99999999, 74(z)z--99999999
-
structured, 65(z)1--14
-
students, 73(z)z--99999999, 74(z)z--99999999
-
study, 52(z)113--124, 56(z)z--99999999, 56(z)z--z, 59(z)z--99999999,
66(z)z--99999999, 69(z)z--z, 74(z)z--99999999, 80(z)z--99999999,
81(z)z--z, 84(z)z--99999999
-
Suárez-García, Gorka, 58(z)z--99999999,
see López-Fraguas, Francisco J.
-
subchaining, 50(z)70--83
-
subjective, 84(z)z--99999999
-
success, 51(z)112--130, 58(z)z--99999999
-
succinct, 75(z)z--99999999
-
suggesting, 79(z)z--99999999
-
suite, 57(z)z--99999999
-
Suman, Maloji, 52(z)88--102
-
Suman, Maloji, see Ravi, Sunitha
-
Sumitani, Rafael Fontes, 84(z)z--99999999
-
Sumitani:2025:MEC, 84(z)z--99999999
-
summarizer, 69(z)z--99999999
-
Sun, Guodao, 53(z)53--62
-
Sun, Jiaze, 81(z)z--z
-
Sun, Jiaze, see Tian, Zhenzhou
-
Sun, Ling-Yun, 55(z)z--z
-
Sun, Ling-Yun, see You, Wei-Tao
-
Sun:2019:AAB, 53(z)53--62
-
Sunyé, Gerson, 71(z)z--z, see Sharbaf, Mohammadreza
-
support, 58(z)z--99999999, 63(z)z--99999999, 67(z)z--99999999,
81(z)z--99999999, 84(z)z--99999999
-
supported, tool-, 51(z)173--192
-
Supporting, 51(z)88--96, 78(z)z--99999999, 84(z)z--99999999
-
surprisingly, 72(z)z--99999999
-
surveillance, 53(z)53--62
-
survey, 58(z)z--99999999, 62(z)z--99999999, 63(z)z--z, 84(z)z--99999999,
85(z)z--99999999
-
Surveying, 73(z)1--12
-
sustainability, 85(z)z--99999999
-
switching, 57(z)z--99999999
-
Symeonidis, Andreas L., 85(z)z--99999999
-
Symeonidis, Andreas L., see Malamas, Nikolaos
-
Symposium, 69(z)z--99999999
-
synthesis, 62(z)z--99999999, 70(z)z--99999999
-
Syriani, Eugene, 76(z)z--99999999, 80(z)z--99999999
-
Syriani, Eugene, see David, Istvan
-
Syriani:2024:SAS, 80(z)z--99999999
-
system, 51(z)97--111, 51(z)131--142, 51(z)261--279, 52(z)103--112,
53(z)1--8, 54(z)z--99999999, 57(z)z--99999999, 59(z)z--99999999,
60(z)z--99999999, 62(z)z--99999999, 68(z)z--z, 77(z)z--99999999,
78(z)z--99999999, 83(z)z--99999999, 85(z)z--99999999
-
system-agnostic, 85(z)z--99999999
-
system-based, 74(z)z--99999999
-
systematic, 56(z)z--99999999, 56(z)z--z, 58(z)z--99999999,
59(z)z--99999999, 74(z)z--99999999, 75(z)z--99999999,
80(z)z--99999999, 84(z)z--99999999
-
Szabo, Daniel P., 85(z)z--99999999
-
Szabo, Daniel P., see Sap, Duygu