Publikationer

Følg med i de senest publicerede videnskabelige artikler fra Faculty of Natural Sciences. Oversigten viser fakultetets publikationer med de nyeste øverst.

Sortér efter: Dato | Forfatter | Titel

Haselwarter, P. G., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2025). Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic. Advance online publication.

Kromm, F. E. H., Møller, S. L. B., Jensen, A. S., Wørmer, G. J., Rasmussen, M. H., B. Svenningsen, E., Tørring, T. & Poulsen, T. B. (2026). Modular Total Synthesis of Lasalocid Acid A through Direct C(sp³)–C(sp³) Attached Ring Construction. Journal of the American Chemical Society, 148(1), 249-257. https://doi.org/10.1021/jacs.5c11543

Da Rocha Pinto, P., Dinsdale-Young, T., Gardner, P. & Sutherland, J. (2016). Modular termination verification for non-blocking concurrency. I P. Thiemann (red.), Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (Bind 9632, s. 176-201). Springer. https://doi.org/10.1007/978-3-662-49498-1_8

Diprima, D., Paulsen, T. T., Pulcinella, A., Bonciolini, S., Gabbey, A. L., Stuhr, R., Poulsen, T. B. & Noël, T. (2025). Modular Synthesis of Substituted Lactams via a Deoxygenative Photochemical Alkylation-Cyclization Cascade of Secondary Amides in Flow. JACS Au, 5(9), 4584-4592. https://doi.org/10.1021/jacsau.5c00884

Risager, M. S. & Petridis, Y. N. (2004). Modular symbols have a normal distribution. Geometric and Functional Analysis, 14(5), 1013 - 1043.

Mosses, P. D. (2004). Modular Structural Operational Semantics. Journal of Logical and Algebraic Methods in Programming, 60-61, 195-228.

Mosses, P. D. (2005). Modular Structural Operational Semantics. BRICS Report Series, (RS-05-7).

Marionneau, V., Sassus Bourda, F., Aguirre, A. & Birkedal, L. (2026). Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic. I K. Stark, Y. Zakowski, N. Swamy & N. Tabareau (red.), CPP 2026 - Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2026 (s. 368-382) https://doi.org/10.1145/3779031.3779109

Stewart, J. M., Li, S., Tang, A. A., Klocke, M. A., Gobry, M. V., Fabrini, G., Di Michele, L., Rothemund, P. W. K. & Franco, E. (2024). Modular RNA motifs for orthogonal phase separated compartments. Nature Communications, 15(1), Artikel 6244. https://doi.org/10.1038/s41467-024-50003-x

Li, K. H., Aguirre, A., Gregersen, S. O., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2025). Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(ICFP), 276-305. https://doi.org/10.1145/3747514

Birkedal, L. (2014). Modular reasoning about concurrent higher-order imperative programs. Abstract fra ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA. https://doi.org/10.1145/2535838.2537849

Klose, K. & Ostermann, K. (2010). Modular Logic Metaprogramming. I W. R. Cook & S. Clarke (red.), Proceedings of the ACM international conference on Object oriented programming systems languages and applications. OOPSLA '10 (s. 484-503). Association for Computing Machinery. https://doi.org/10.1145/1869459.1869499

Mosses, P. D., Karsai, G. (red.) & Visser, E. (red.) (2004). Modular Language Descriptions. I Ikke angivet (3286 i Lecture Notes in Computer Science udg., s. 489-490). Springer.

Hóu, Z., Clouston, R., Goré, R. & Tiu, A. (2018). Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Transactions on Computational Logic, 19(2), 1-35. Artikel 13. https://doi.org/10.1145/3197383

Peternier , A., Binder, W., Ernst, E. & Hirschfeld, R. (red.) (2014). MODULARITY 2014 - Proceedings of the 13th International Conference on Modularity (Formerly AOSD). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=84900004198&partnerID=8YFLogxK

Christensen, H. B. (2000). Modularisation of Software Configuration Management I W. Weck & J. Gutknecht (red.), Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000. Proceedings (s. 134-146). Springer. https://doi.org/10.1007/10722581_12

Grove, J. (1999). Modular functors, TQFTs, and moduli spaces of vector bundles. Department of Mathematical Sciences , University of Aarhus.

Andersen, J. E., Borot, G. & Orantin, N. (2018). Modular functors, cohomological field theories and topological recursion. I C.-C. M. Liu & M. Mulase (red.), Proceedings of Symposia in Pure Mathematics: Topological Recursion and its Influence in Analysis, Geometry, and Topology (Bind 100, s. 1-58). American Mathematical Society. https://arxiv.org/pdf/1509.01387.pdf

Andersen, J. E. & Ueno, K. (2012). Modular functors are determined by their genus zero data. Quantum Topology, 3(3/4), 255-291. https://doi.org/10.4171/QT/29

Hofer, C. & Ostermann, K. (2010). Modular Domain-Specific Language Components in Scala. I Proceedings of the ninth International Conference on Generative Programming and Component Engineering (s. 83-92). Association for Computing Machinery. https://doi.org/10.1145/1868294.1868307

Gothelf, K. V., Thomsen, A., Nielsen, M., Clo, E. & Brown, R. S. (2004). Modular DNA-Programmed Assembly of Linear and Branched Conjugated Nanostructures. Journal of the American Chemical Society, 126, 1044-1046.

Gothelf, K. V., Thomsen, A., Nielsen, M., Cló, E. & Brown, R. S. (2004). Modular DNA-programmed assembly of linear and branched conjugated nanostructures. J. Amer. Chem. Soc., 126, 1044-1046.

Frumin, D., Timany, A. & Birkedal, L. (2024). Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proceedings of the ACM on Programming Languages , 8(POPL), Artikel 12. https://doi.org/10.1145/3632854

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Modular call graph construction for security scanning of Node.js applications. I C. Cadar & X. Zhang (red.), ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (s. 29-41). Association for Computing Machinery. https://doi.org/10.1145/3460319.3464836

Opazo, F., Eiden, L., Hansen, L., Rohrbach, F., Wengel, J., Kjems, J. & Mayer, G. (2015). Modular Assembly of Cell-targeting Devices Based on an Uncommon G-quadruplex Aptamer. Molecular Therapy - Nucleic Acids, 4, Artikel e251. https://doi.org/10.1038/mtna.2015.25

Friis, N. A., Mandrup, O. A., Lykkemark, S., Castrillon, C. & Kristensen, P. (2012). Modular and aggregation resistant Vh antibodies from a phage display library.

Hjermitslev, H. H. (2009). Modtagelsen. I P. C. Kjærgaard, D. Demontis, B. K. Ehlers, H. H. Hjermitslev, J. Madsen & J. G. Sørensen (red.), evolution.dk

Olsen, B. E., Normand, S., Svenning, J.-C., Timmermann, K., Kragh, T., Kaae, B. C., Madsen, N. & Strange, N. (2023). Mod robuste økosystemer: Anbefalinger til en dansk lov om biodiversitet. Biodiversitetsrådet.

Ockelmann, K. W. & Cedhagen, T. (2019). Modiolus cimbricus sp. nov. (Bivalvia: Mytilidae) endemic in the Kattegat-Skagerrak. European Journal of Taxonomy, 556(556), 1-13. https://doi.org/10.5852/ejt.2019.556

Smedskjær, M. M., Yue, Y., Deubener, J., Gunnlaugsson, H. P. & Mørup, S. (2010). Modifying glass surfaces via internal diffusion. Journal of Non-Crystalline Solids, 356(6-8), 290-298. https://doi.org/10.1016/j.jnoncrysol.2009.12.004

Britz, D. (2006). Modified Thomas algorithm for the digital simulation of the catalytic EC' mechanism under Cottrellian conditions. International Journal of Electrochemical Science, 1, 1-11.

Barndorff-Nielsen, O. E. (1991). Modified signed log likelihood ratio. Biometrika, 78(3), 557-563. https://doi.org/10.1093/biomet/78.3.557

Johansen, S. G. (2013). Modified base-stock policies for continuous-review, lost-sales inventory models with Poisson demand and a fixed lead time. International Journal of Production Economics, 143(2), 379-384. https://doi.org/10.1016/j.ijpe.2012.02.021

Jeppesen, J., Beniczky, S., Fuglsang Frederiksen, A., Sidenius, P. & Johansen, P. (2017). Modified automatic R-peak detection algorithm for patients with epilepsy using a portable electrocardiogram recorder. Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017, 4082-4085. https://doi.org/10.1109/EMBC.2017.8037753

Wang, Z. X., Ding, X. M., Li, Z., Zhan, Y. Q., Bergenti, I., Dediu, V. A., Taliani, C., Xie, Z. T., Ding, B. F., Hou, X. Y., Zhang, W. H. & Xu, F. Q. (2007). Modification of the organic/La0.7Sr0.3MnO3 interfaceby in situ gas treatment. Applied Surface Science, 253, 9081-9084.

Kjærsgaard, N. L. (2022). Modification of protein and DNA for use in multifunctional biomolecular constructs. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Jensen, C. M. (2007). Modification of Peptides: Development of SMI2 Promoted C-C bond Forming Reactions & Synthesis of Serine Protease Inhibitors & Determination of the Oligomerisation State of Alamethicin. Aarhus Universitetsforlag.

Ibsen, C. J. S. & Birkedal, H. (2010). Modification of bone-like apatite nanoparticle size and growth kinetics by alizarin red S. Nanoscale, 2(11), 2478-2486. https://doi.org/10.1039/c0nr00488j

Skrydstrup, T. & Hansen, S. G. (2006). Modification of Amino Acids, Peptides, and Carbohydrates Through Radical Chemistry. I Radicals in Synthesis, Topics in Current Chemistry (Bind 264, s. 135-). Springer.

Lund-Hansen, L. C., Skyum, P. & Christiansen, C. (1996). Modes of stratification in a semi-enclosed bay at the North Sea - Baltic sea transition. Estuarine, Coastal and Shelf Science, 42, 45-54.

Landa, H., Reznik, B., Drewsen, M. & Retzker, A. (2012). Modes of oscillation in radiofrequency Paul traps. New Journal of Physics, 14. https://doi.org/10.1088/1367-2630/14/9/093023

Celerier, J., Sandiford, M., Hansen, D. L. & Quigley, M. (2005). Modes of active intraplate deformation, Flinders Ranges, Australia. Tectonics, 24.

Langanke, K. & Poves, A. (2000). Modern Shell Model Applications. NuPECC News, 10, 16.

Protzenko, J. & Spitters, B. (2024). Modernizing FIPS for safe languages and verified libraries. Afhandling præsenteret på NIST Workshop on Formal Methods within Certification Programs (FMCP 2024), Rockville, Maryland, USA. https://www.nist.gov/system/files/documents/2024/06/11/08-ProtzenkoSpitters.pdf

Brancour, C., Fukuyama, T., Mukai, Y., Skrydstrup, T. & Ryu, I. (2013). Modernized low pressure carbonylation methods in batch and flow employing common acids as a CO source. Organic Letters, 15(11), 2794-2797. https://doi.org/10.1021/ol401092a

Seidenkrantz, M.-S., Rytter, F., Jennings, A., Knudsen, K. L. & Eiriksson, J. (2002). Modern Foraminiferal Distribution off North and West Iceland. (s. 118-119).

Kragh, H. (1979). Moderne imperialisme. Hovedområdet, (8), 6-7.

Sørensen, J. G., Pertoldi, C., Loeschcke, V. & Kristensen, T. N. (2006). Moderne bevaringsbiologi - nye opgaver og nye muligheder i DNA-tidsalderen. Aktuel Naturvidenskab, (6), 24-27.

Rytter, F., Knudsen, K. L., Seidenkrantz, M.-S. & Eiríksson, J. (2002). Modern distribution of benthic foraminifera on the North Icelandic shelf and slope. Journal of Foraminiferal Research, 32, 217-244.

Bartels-Jónsdóttir, H. B., Knudsen, K. L., Schönfeld, J. & Eiríksson, J. (2006). Modern distribution of benthic foraminifera from the Tagus prodelta and estuary, Portugal. I Anuario do Instituto de Geociencias (Bind 29-1, s. 581)

Viser resultater 23401 til 23450 ud af 53853

469

Revideret 05.03.2026

NAT websupport