Bizjak, A.
& Birkedal, L. (2015).
Step-indexed logical relations for probability. I A. Pitts (red.),
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (s. 279-294 ). Springer VS.
https://doi.org/10.1007/978-3-662-46678-0_18
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.10049018
Agarwal, 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_16
Jensen, 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.00048
Abate, 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/397
Haselwarter, 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
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_12
Bovo, R., Giunchi, D., Sidenmark, L., Newn, J.
, Gellersen, H., Costanza, E. & Heinis, T. (Accepteret/In press).
Speech-Augmented Cone-of-Vision for Exploratory Data Analysis. I
CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 162
https://doi.org/10.1145/3544548.3581283
Bainson, A. B., Hermanns, J.
, Petsinis, P., Aavad, N., Larsen, C. D., Swayne, T., Boyarski, A.
, Mottin, D., Bronstein, A. M.
& Karras, P. (Accepteret/In press).
Spectral Subgraph Localization. I
The Second Learning on Graphs Conference Proceedings of Machine Learning Research.
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.3316589
Dalsgaard, 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_26
Cozza, 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_6
Prentow, 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