Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2022). Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model). In O. Dunkelman & S. Dziembowski (Eds.), Advances in Cryptology – EUROCRYPT 2022 (pp. 397-426). Springer. https://doi.org/10.1007/978-3-031-07085-3_14
Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. In Z. Dargaye & C. Schneidewind (Eds.), 4th International Workshop on Formal Methods for Blockchains (FMBC 2022) Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.FMBC.2022.2
Thomsen, E. M., Sonne, A., Bertelsen, M., Vermeulen, E., Ganswindt, A., Wang, T. & Ochala, J. (2022). Fine-regulation of myosin relaxed states in vertebrate muscle. The FASEB Journal, 36(S1). https://doi.org/10.1096/fasebj.2022.36.S1.R4611
Volvakh, N. E., Kurbanov, R. N., Zykina, V. S., Murray, A. S., Stevens, T., Költringer, C. A., Volvakh, A. O., Malikov, D. G., Taratunina, N. A. & Buylaert, J. P. (2022). First high-resolution luminescence dating of loess in Western Siberia. Quaternary Geochronology, 73, Article 101377. https://doi.org/10.1016/j.quageo.2022.101377
Molnar, L., Bodi, A., Pal, A., Bhardwaj, A., Hambsch, F.-J., Benko, J. M., Derekas, A., Ebadi, M., Joyce, M., Hasanzadeh, A., Kolenberg, K., Lund, M. B., Nemec, J. M., Netzel, H., Ngeow, C. .-C., Pepper, J., Plachy, E., Prudil, Z., Siverd, R. J. ... Ricker, G. R. (2022). First Results on RR Lyrae Stars with the TESS Space Telescope: Untangling the Connections between Mode Content, Colors, and Distances. Astrophysical Journal, 258(1), Article 8. https://doi.org/10.3847/1538-4365/ac2ee2
Brendborg, J., Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022). Fixation Maximization in the Positional Moran Process. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9, AAAI Technical Track on Multiagent Systems), 9304-9312. https://doi.org/10.1609/aaai.v36i9.21160
Filos-Ratsikas, A., Hansen, K. A., Hogh, K. & Hollender, A. (2022). FIXP-membership via Convex Optimization: Games, Cakes, and Markets. In 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) (pp. 827-838). IEEE. https://doi.org/10.1109/FOCS52979.2021.00085
Menail, H. A., Cormier, S. B., Ben Youssef, M., Jørgensen, L. B., Vickruck, J. L., Morin, P., Boudreau, L. H. & Pichaud, N. (2022). Flexible Thermal Sensitivity of Mitochondrial Oxygen Consumption and Substrate Oxidation in Flying Insect Species. Frontiers in Physiology, 13, Article 897174. https://doi.org/10.3389/fphys.2022.897174
Madsen, M., Starup, J. L. & Lhoták, O. (2022). Flix: A Meta Programming Language for Datalog. In Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) (pp. 202-206). CEUR-WS.org. https://ceur-ws.org/Vol-3203/short8.pdf
Nielsen, K. H. (2022). For hårdt, for blødt, for stift. Weekendavisen, Sektion 4 (Ideer), 10.
Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. In Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings: 42nd Annual International Cryptology Conference, CRYPTO 2022, Procerdings (pp. 400-430). Springer, Cham. https://doi.org/10.1007/978-3-031-15979-4_14
Pani, M., Provino, A., Smetana, V., Shtender, V., Bernini, C., Mudring, A. V. & Manfrinetti, P. (2022). Four ternary silicides in the La-Ni-Si system: from polyanionic layers to frameworks. CrystEngComm, 24(47), 8219-8228. https://doi.org/10.1039/d2ce01007k
Pries, J., Weber, H., Benke-Jacob, J., Kaban, I., Wei, S., Wuttig, M. & Lucas, P. (2022). Fragile-to-Strong Transition in Phase-Change Material Ge3Sb6Te5. Advanced Functional Materials, 32(31), Article 2202714. https://doi.org/10.1002/adfm.202202714
Sen, S., Mandal, S., Sen, A., Gopal, R., Ben Ltaief, L., Turchini, S., Catone, D., Zema, N., Coreno, M., Richter, R., Mudrich, M., Krishnan, S. R. & Sharma, V. (2022). Fragmentation dynamics of doubly charged camphor molecule following C 1s Auger decay. Physical Chemistry Chemical Physics, 24(5), 2944-2957. https://doi.org/10.1039/D1CP05176H
Julian, I., Pedersen, C. M., Jensen, A. B., Baden, A. K., Hueso, J. L., Friderichsen, A. V., Birkedal, H., Mallada, R. & Santamaria, J. (2022). From bench scale to pilot plant: A 150x scaled-up configuration of a microwave-driven structured reactor for methane dehydroaromatization. Catalysis Today, 383, 21-30. https://doi.org/10.1016/j.cattod.2021.04.013
Blevins, A. S., Bassett, D. S., Scott, E. K. & Vanwalleghem, G. C. (2022). From calcium imaging to graph topology. Network Neuroscience, 6(4), 1125-1147. https://doi.org/10.1162/netn_a_00262
Bilstrup, K. E. K., Kaspersen, M. H., Assent, I., Enni, S. & Petersen, M. G. (2022). From Demo to Design in Teaching Machine Learning. In Proceedings of the 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022 (pp. 2168-2178). Association for Computing Machinery. https://doi.org/10.1145/3531146.3534634
Asmussen, S. & Bladt, M. (2022). From PH/MAP to ME/RAP. Queueing Systems, 100(3-4), 173-175. https://doi.org/10.1007/s11134-022-09755-w
Siebeneichler, S., Dorn, K. V., Ovchinnikov, A., Papawassiliou, W., da Silva, I., Smetana, V., Pell, A. J. & Mudring, A.-V. (2022). Frustration and 120° Magnetic Ordering in the Layered Triangular Antiferromagnets AFe(PO3F)2 (A = K, (NH4)2Cl, NH4, Rb, and Cs). Chemistry of Materials, 34(17), 7982-7994. https://doi.org/10.1021/acs.chemmater.2c01916
Ishai, Y., Patra, A., Patranabis, S., Ravi, D. & Srinivasan, A. (2022). Fully-Secure MPC with Minimal Trust. In Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (pp. 470–501). Springer. https://doi.org/10.1007/978-3-031-22365-5_17
Karovicova, I., White, T. R., Nordlander, T., Casagrande, L., Ireland, M. & Huber, D. (2022). Fundamental stellar parameters of benchmark stars from CHARA interferometry: III. Giant and subgiant stars. Astronomy and Astrophysics, 658, Article A48. https://doi.org/10.1051/0004-6361/202142100
Karovicova, I., White, T. R., Nordlander, T., Casagrande, L., Ireland, M. & Huber, D. (2022). Fundamental stellar parameters of benchmark stars from CHARA interferometry: II. Dwarf stars. Astronomy and Astrophysics, 658, Article A47. https://doi.org/10.1051/0004-6361/202141833
Mikkelsen, P. S. (2022). Gael Hamke Bugt - Young Sund. (1 ed.) Xsirius Books.
Nielsen, K. H. (2022). Gaia overvinder alt. Weekendavisen, Sektion 4 (Ideer), 5.