Christensen, S., Jensen, K., Mailund, T., Weber, H. (Ed.), Ehrig, H. (Ed.) & Reisig, W. (Ed.) (2001).
State Space Methods for Timed Petri Nets. In
Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology" (pp. 33-42). DFG-Forschergruppe Petri Net Technologie.
Christensen, S., Kristensen, L. M., Aalst, W. M. P. V. D. (Ed.), Colom, J.-M. (Ed.), Kordon, F. (Ed.), Kotsis, G. (Ed.) & Moldt, D. (Ed.) (2003).
State Space Analysis of Hierarchical Coloured Petri Nets.
LINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation, (1), 1-16.
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. In
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. In
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. In
37th International Conference on Information Networking, ICOIN 2023 (pp. 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. In A. Silva, K. Rustan & M. Leino (Eds.),
Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: Proceedings (Vol. 1, pp. 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. In
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 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. In
Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021 IEEE.
https://doi.org/10.1109/CSF51468.2021.00048
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. Article 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, Article 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. In C. Hazay & M. Stam (Eds.),
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 (pp. 347-378). Springer.
https://doi.org/10.1007/978-3-031-30617-4_12
Tsitsulin, A.
, Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2019).
Spectral graph complexity. In L. Liu & R. White (Eds.),
The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019 (pp. 308-309). Association for Computing Machinery.
https://doi.org/10.1145/3308560.3316589