Orlandi, C., Ostrovsky, R., Rao, V., Sahai, A. & Visconti, I. (2014).
Statistical Concurrent Non-malleable Zero Knowledge. I Y. Lindell (red.),
Theory of Cryptography: 11th Theory of Cryptography Conference, TCC 2014, 2014. Proceedings (s. 167-191). Springer Publishing Company.
https://doi.org/10.1007/978-3-642-54242-8_8
Woodcock, J., Andersen, M. S., Aranha, D. F., Hallerstede, S., Hansen, S. T., Jakobsen, N. K.
, Kulik, T., Larsen, P. G., Macedo, H. D., Martin, C. I. I. & Norrild, V. A. M. (2023).
State of the Art Report: Verified Computation.
https://doi.org/10.48550/arXiv.2308.15191
Hachisuka, T., Jarosz, W., Bouchard , G., Christensen, P., Frisvad, J. R., Wenzel, J., Henrik Wann, J., Kaschalk, M., Knaus, C., Selle, A. & Spencer, B. (2012).
State of the Art in Photon-Density Estimation: Course notes. I
SIGGRAPH '12 ACM SIGGRAPH 2012 Courses Association for Computing Machinery.
https://doi.org/10.1145/2343483.2343489
Hachisuka, T., Jarosz, W., Georgiev, I., Kaplanyan, A., Nowrouzezahrai, D. & Spencer, B. (2013).
State of the Art in Photon-Density Estimation: Course notes. I
Proceeding, SA '13 SIGGRAPH Asia 2013 Courses Association for Computing Machinery.
https://doi.org/10.1145/2542266.2542281
Bouras, C.
, Caragiannis, I., Gkamas, A., Protopapas, N., Sardelis, T. & Sgarbas, K. (2023).
State of the Art Analysis of Resource Allocation Techniques in 5G MIMO Networks. I
37th International Conference on Information Networking, ICOIN 2023 (s. 632-637). IEEE.
https://doi.org/10.1109/ICOIN56518.2023.10049018Agarwal, P., Chatterjee, K., Pathak, S.
, Pavlogiannis, A. & Toman, V. (2021).
Stateless Model Checking Under a Reads-Value-From Equivalence. I A. Silva, K. Rustan & M. Leino (red.),
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: Proceedings (Bind 1, s. 341-366). Springer.
https://doi.org/10.1007/978-3-030-81685-8_16Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015).
Stateless Model Checking of Event-Driven Applications. I
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (s. 57-73). Association for Computing Machinery.
https://doi.org/10.1145/2814270.2814282
Abate, C.
, Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hriţcu, C., Maillard, K.
& Spitters, B. (2021).
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. I
Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 IEEE.
https://doi.org/10.1109/CSF51468.2021.00048Abate, C.
, Haselwarter, P. G., Rivas, E., Muylder, A. V., Winterhalter, T., Hritcu, C., Maillard, K.
& Spitters, B. (2021).
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. (s. 397). Cryptology ePrint Archive.
https://eprint.iacr.org/2021/397Haselwarter, P. G., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C.
, Sidorenco, N., Hriţcu, C., Maillard, K.
& Spitters, B. (2023).
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.
ACM Transactions on Programming Languages and Systems,
45(3), 61. Artikel 15.
https://doi.org/10.1145/3594735
Aardal, M. A., Adj, G.
, F. Aranha, D., Basso, A., Canales Martínez, I. A., Chávez-Saab, J., Corte-Real Santos, M., Dartois, P., De Feo, L., Duparc, M., Komada Eriksen, J., Fouotsa, T. B., Filho, D. L. G., Hess, B., Kohel, D., Leroux, A., Longa, P., Maino, L., Meyer, M. ... Wesolowski, B. (2025).
SQIsign 2.0: Algorithm specifications and supporting documentation.
https://sqisign.org/spec/sqisign-20250205.pdf
Sanggaard, K. W., Bechsgaard, J. S., Fang, X.
, Duan, J., Dyrlund, T. F., Gupta, V., Jiang, X., Cheng, L., Fan, D., Feng, Y., Han, L., Huang, Z., Wu, Z., Liao, L.
, Settepani, V., Thøgersen, I. B., Vanthournout, B., Wang, T., Zhu, Y.
... Wang, J. (2014).
Spider genomes provide insight into composition and evolution of venom and silk.
Nature Communications,
5, Artikel 3765.
https://doi.org/10.1038/ncomms4765
Goel, A.
, Hall-Andersen, M. N., Kaptchuk, G. & Spooner, N. (2023).
Speed-Stacking: Fast Sublinear Zero-Knowledge Proofs for Disjunctions. I C. Hazay & M. Stam (red.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 347-378). Springer.
https://doi.org/10.1007/978-3-031-30617-4_12Bovo, R., Giunchi, D., Sidenmark, L., Newn, J.
, Gellersen, H., Costanza, E. & Heinis, T. (2023).
Speech-Augmented Cone-of-Vision for Exploratory Data Analysis. I
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 162 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581283Bainson, A. B., Boyarski, A.
, Hermanns, J., Petsinis, P., Aavad, N., Larsen, C. D., Swayne, T.
, Mottin, D., Bronstein, A. M.
& Karras, P. (2023).
Spectral Subgraph Localization. I
The Second Learning on Graphs Conference (Bind 231, s. 231:7:1-7:11)
https://proceedings.mlr.press/v231/bainson24a/bainson24a.pdf
Tsitsulin, A.
, Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2019).
Spectral graph complexity. I L. Liu & R. White (red.),
The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019 (s. 308-309). Association for Computing Machinery.
https://doi.org/10.1145/3308560.3316589Dalsgaard, B., Magård, E., Fjeldså, J., Martín González, A. M., Rahbek, C.
, Olesen, J. M., Ollerton, J., Alarcón, R., Cardoso Araujo, A., A. Cotton, P., Lara, C., Graco Machado, C., Sazima, I., Sazima, M.
, Timmermann, A., Watts, S.
, Sandel, B. S., J. Sutherland, W.
& Svenning, J.-C. (2011).
Specialization in Plant-Hummingbird Networks Is Associated with Species Richness, Contemporary Precipitation and Quaternary Climate-Change Velocity.
P L o S One,
6(10).
https://doi.org/10.1371/journal.pone.0025891
Cramer, R.
, Damgård, I., Escudero, D., Scholl, P. & Xing, C. (2018).
SPDΖ2k: Efficient MPC mod 2k for Dishonest Majority. I H. Shacham & A. Boldyreva (red.),
Advances in Cryptology - CRYPTO 2018 (Bind 10992, s. 769-798). Springer VS.
https://doi.org/10.1007/978-3-319-96881-0_26Cozza, V., Messina, A., Montesi, D., Arietta, L.
& Magnani, M. (2013).
Spatio-temporal keyword queries in social networks. I B. Catania, G. Guerrini & J. Pokorný (red.),
Advances in Databases and Information Systems: 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings (s. 70-83). Springer Publishing Company.
https://doi.org/10.1007/978-3-642-40683-6_6Prentow, T. S., Ruiz-Ruiz, A.
, Blunck, H., Stisen, A. & Kjærgaard, M. B. (2015).
Spatio-temporal Facility Utilization Analysis from Exhaustive WiFi Monitoring.
Pervasive and Mobile Computing,
16(B), 305–316.
https://doi.org/10.1016/j.pmcj.2014.12.006
Cao, X., Chen, L., Cong, G.
, Jensen, C. S., Qu, Q., Skovsgaard, A., Wu, D. & Yiu, M. L. (2012).
Spatial Keyword Querying: Invited Paper.
Lecture Notes in Computer Science,
7532, 16-29 .
https://doi.org/10.1007/978-3-642-34002-4_2Lystbæk, M. N., Pfeuffer, K., Langlotz, T.
, Grønbæk, J. E. & Gellersen, H. (2024).
Spatial Gaze Markers: Supporting Effective Task Switching in Augmented Reality. I F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (red.),
CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the CHI Conference on Human Factors in Computing Systems Artikel 633 Association for Computing Machinery.
https://doi.org/10.1145/3613904.3642811
