Aarhus Universitets segl

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

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).
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
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
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
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.
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
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.
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.
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
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.
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)
Højsgaard, S. (2003). Modern chemometrical methods in relation to agricultural sciences - is it the light at the end of the tunnel. I Bilag til Temamøde om Biometrianvendelse i planteforskningen (s. 35-42)
Williams, A. I., Murtagh, D. J., Fayer, S. E., Andersen, S. L., Chevallier, J., Kövér, Á., Van Reeth, P., Humberston, J. W. & Laricchia, G. (2015). Moderation and diffusion of positrons in tungsten meshes and foils. Journal of Applied Physics, 118(10), Artikel 105302. https://doi.org/10.1063/1.4930033
Cui, L., Fang, Z., Liu, Y., Chen, M., Yin, C., Wang, J., Wang, Z., Dong, M., Kang, S. & Liu, P. (2019). Moderate NaNO 2 etching enables easy crystallinity optimization of g-C 3 N 4 with superior photoreduction performance. Inorganic Chemistry Frontiers, 6(5), 1304-1311. https://doi.org/10.1039/c9qi00113a