Aarhus University Seal

Publications

The most recently published scientific articles from the Department of Biology. The overview shows the Department's publications with the latest at the top:

Sort by: Date | Author | Title

Ito, K. & Skibsted, E. (2020). Spectral theory on manifolds. In The Role of Metrics in the Theory of Partial Differential Equations (Vol. 85, pp. 193-203). Mathematical Society of Japan. https://doi.org/10.2969/aspm/08510193
Strachan, J. B., Dyett, B. P., Jones, N. C., Hoffmann, S. V., Valery, C. & Conn, C. E. (2021). Reduction of enzymatic degradation of insulin via encapsulation in a lipidic bicontinuous cubic phase. Journal of Colloid and Interface Science, 592, 135-144. https://doi.org/10.1016/j.jcis.2021.02.027
Timany, A. & Birkedal, L. (2021). Reasoning about monotonicity in separation logic. In Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) (pp. 91-104). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439931
Abrego, N., Roslin, T., Huotari, T., Ji, Y., Schmidt, N. M., Wang, J., Yu, D. W. & Ovaskainen, O. (2021). Accounting for species interactions is necessary for predicting how arctic arthropod communities respond to climate change. Ecography, 44(6), 885-896. https://doi.org/10.1111/ecog.05547
Damsgaard, A., Sergienko, O. & Adcroft, A. (2021). The Effects of Ice Floe-Floe Interactions on Pressure Ridging in Sea Ice. Journal of Advances in Modeling Earth Systems, 13(7), Article e2020MS002336. https://doi.org/10.1029/2020MS002336
Damsgaard, A., Suckale, J., Li, D., Kasmalkar, I., Amundson, J., Goren, L. & Cabrales-Vargas, A. (2019). A new continuum model for subglacial till based on granular rheology. Abstract from International Glaciological Society Symposium on Glacial Erosion and Sedimentation, Madison, United States.
Kasmalkar, I., Damsgaard, A., Goren, L., Suckale, J. & Cabrales-Vargas, A. (2019). Subglacial sediment beds resist fast ice flow by facilitating meltwater drainage. Abstract from AGU Fall Meeting 2019, San Francisco, United States.
Suckale, J., Kasmalkar, I., Damsgaard, A., Mantelli, E., Cabrales-Vargas, A., Li, D., Goren, L. & Elsworth, C. (2019). Progress on understanding the subglacial hydrology over till beds with ramifications for ice dynamics and sediment transport. Abstract from International Glaciological Society Symposium on Glacial Erosion and Sedimentation, Madison, United States.
Damsgaard, A., Suckale, J. & Goren, L. (2020). The role of granular mechanics and porous flow for ice sheet behavior in a changing climate. Abstract from 7th European Seminar on Computing (ESCO) 2020, Pilsen, Czech Republic.
Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2021). Optimal Prediction of Synchronization-Preserving Races. Proceedings of the ACM on Programming Languages , 5(POPL), Article 36. https://doi.org/10.1145/3434317
Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. (2021). Extracting smart contracts tested and verified in Coq. In C. Hritcu & A. Popescu (Eds.), CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021 (pp. 105-121). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439934
Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. https://doi.org/10.1109/FormaliSE52586.2021.00014
Holding, J. M., Brown, K., Huntington, H. P., Bhatt, U. S., Carmack, E. C., Wassmann, P. & Quesada, C. M. D. (2020). An Arctic Marine Ecosystem Conceptual Model: The Interactions Matrix Revealed. Poster session presented at Ocean Sciences Meeting 2020, San Diego, California, United States. https://agu.confex.com/agu/osm20/meetingapp.cgi/Paper/652009
Geurts, M. M. G., Clausen, J. D., Arnou, B., Montigny, C., Lenoir, G., Corey, R. A., Jaxel, C., Møller, J. V., Nissen, P., Andersen, J. P., Le Maire, M. & Bublitz, M. (2020). The SERCA residue Glu340 mediates interdomain communication that guides Ca2+transport. Proceedings of the National Academy of Sciences (PNAS), 117(49), 31114-31122. https://doi.org/10.1073/pnas.2014896117
Bailey, S., Sroga, G. E., Hoac, B., Katsamenis, O. L., Wang, Z., Bouropoulos, N., McKee, M. D., Sørensen, E. S., Thurner, P. J. & Vashishth, D. (2020). The role of extracellular matrix phosphorylation on energy dissipation in bone. eLife, 9, 1-19. Article e58184. https://doi.org/10.7554/eLife.58184
Hansen, B., Voutchkova, D. D., Sandersen, P. B. E., Kallesøe, A., Thorling, L., Møller, I., Madsen, R. B., Jakobsen, R., Aamand, J., Maurya, P. & Kim, H. (2021). Assessment of complex subsurface redox structures for sustainable development of agriculture and the environment. Environmental Research Letters, 16(2), Article 025007. https://doi.org/10.1088/1748-9326/abda6d
Ateniese, G., Francati, D., Magri, B. & Venturi, D. (2021). Immunization against complete subversion without random oracles. Theoretical Computer Science, 859, 1-36. https://doi.org/10.1016/j.tcs.2021.01.002
Pilatowsky-Cameo, S., Villaseñor, D., Bastarrachea-Magnani, M. A., Lerma-Hernández, S., Santos, L. F. & Hirsch, J. G. (2021). Ubiquitous quantum scarring does not prevent ergodicity. Nature Communications, 12, Article 852. https://doi.org/10.1038/s41467-021-21123-5
Shahsavar, A., Stohler, P., Bourenkov, G., Zimmermann, I., Siegrist, M., Guba, W., Pinard, E., Sinning, S., Seeger, M. A., Schneider, T. R., Dawson, R. J. P. & Nissen, P. (2021). Structural insights into the inhibition of glycine reuptake. Nature, 591(7851), 677-681. https://doi.org/10.1038/s41586-021-03274-z
Troullinou, G., Kondylakis, H., Lissandrini, M. & Mottin, D. (2021). SOFOS: Demonstrating the Challenges of Materialized View Selection on Knowledge Graph. In Proceedings of the 2021 International Conference on Management of Data (SIGMOD/PODS '21) (pp. 2789–2793). Association for Computing Machinery. https://doi.org/10.1145/3448016.3452765

Sort by: Date | Author | Title