Aarhus University Seal

Publications

Follow the latest publications from the Faculty of Natural Sciences.

Sort by: Date | Author | Title

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
Madsen, M. (2015). Static Analysis of Dynamic Languages. Department of Computer Science, Aarhus University.
Chamizo Calvo, E., Santos, F. J., Lopez-Gutierrez, J. M., Padilla, S., Garcia-Leon, M., Heinemeier, J., Schnabel, C. & Scognamiglio, G. (2015). Status report of the 1 MV AMS facility at the Centro Nacional de Aceleradores. Nuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms, 361, 13-19. https://doi.org/10.1016/j.nimb.2015.02.022
Zenoviene, R., Tautvaisiene, G., Nordström, B., Stonkute, E. & Barisevicius, G. (2015). Stellar substructures in the solar neighbourhood IV. Kinematic Group 1 in the Geneva-Copenhagen survey. Astronomy & Astrophysics (A&A), 576, Article A113. https://doi.org/10.1051/0004-6361/201425088
Bizjak, A. & Birkedal, L. (2015). Step-indexed logical relations for probability. In A. Pitts (Ed.), Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (pp. 279-294 ). Springer VS. https://doi.org/10.1007/978-3-662-46678-0_18
Da Rocha Pinto, P., Dinsdale-Young, T. & Gardner, P. (2015). Steps in Modular Specifications for Concurrent Modules: (Invited Tutorial Paper). Electronic Notes in Theoretical Computer Science, 319, 3-18. https://doi.org/10.1016/j.entcs.2015.12.002
Grezes, C., Julsgaard, B., Kubo, Y., Ma, W. L., Stern, M., Bienfait, A., Nakamura, K., Isoya, J., Onoda, S., Ohshima, T., Jacques, V., Vion, D., Esteve, D., Liu, R. B., Mølmer, K. & Bertet, P. (2015). Storage and retrieval of microwave fields at the single-photon level in a spin ensemble. Physical Review A, 92(2), Article 020301(R). https://doi.org/10.1103/PhysRevA.92.020301
Gentsch, N., Mikutta, R., Alves, RJE., Barta, J., Capek, P., Gittel, A., Hugelius, G., Kuhry, P., Lashchinskiy, N., Palmtag, J., Richter, A., Santruckova, H., Schnecker, J., Shibistova, O., Urich, T., Wild, B. & Guggenberger, G. (2015). Storage and transformation of organic matter fractions in cryoturbated permafrost soils across the Siberian Arctic. Biogeosciences, 12, 4525-4542. https://doi.org/10.5194/bg-12-4525-2015
Cermak, J., Bosansky, B. & Gatti, N. (2015). Strategy Effectiveness of Game-Theoretical Solution Concepts in Extensive-Form General-Sum Games. Abstract from International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey. http://dl.acm.org/citation.cfm?id=2773450&CFID=719158965&CFTOKEN=25615646
Son, W. & Afshani, P. (2015). Streaming Algorithms for Smallest Intersecting Ball of Disjoint Balls. In R. Jain, S. Jain & F. Stephan (Eds.), Theory and Applications of Models of Computation: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings (pp. 189-199 ). Springer VS. https://doi.org/10.1007/978-3-319-17142-5
Brodal, G. S., Nielsen, J. A. S. & Truelsen, J. (2015). Strictly Implicit Priority Queues: On the Number of Moves and Worst-Case Time. In F. Dehne, J.-R. Sack & U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Proceedings (pp. 91-102). Springer VS. https://doi.org/10.1007/978-3-319-21840-3_8
Levinsen, J., Massignan, P., Bruun, G. & Parish, M. (2015). Strong-coupling ansatz for the one-dimensional Fermi gas in a harmonic potential. Science Advances, 1, Article e1500197. https://doi.org/10.1126/sciadv.1500197
Kierspel, T., Wiese, J., Mullins, T., Robinson, J., Aquila, A., Barty, A., Bean, R., Boll, R., Boutet, S., Bucksbaum, P., N. Chapman, H., Christensen, L., Fry, A., Hunter, M., Koglin, J. E., Liang, M., Mariani, V., Morgan, A., Natan, A. ... Küpper, J. (2015). Strongly aligned gas-phase molecules at free-electron lasers. Journal of Physics B: Atomic, Molecular and Optical Physics, 48(20), Article 204002. https://doi.org/10.1088/0953-4075/48/20/204002
Salami Dehkharghani, A. (2015). Strongly Interacting One-Dimensional Bose Systems and Bose Polarons. Poster session presented at WE-Heraeus-Seminar on 'Cold Atoms meet Quantum Field Theory, Bad Honnef, Germany.
Hsiao, Y. C. E., Burns, C. R., Contreras, C., Höflich, P., Sand, D., Marion, G. H., Phillips, M. M., Stritzinger, M., Gonzalez-Gaitan, S., Mason, R. E., Folatelli, G., Parent, E., Gall, C., Amanullah, R., Anupama, G. C., Arcavi, I., Banerjee, D. P. K., Beletsky, Y., Blanc, G. A. ... Yaron, O. (2015). Strong near-infrared carbon in the Type Ia supernova iPTF13ebh. Astronomy & Astrophysics (A&A), 578, Article A9. https://doi.org/10.1051/0004-6361/201425297
Morueta-Holme, N., Engemann, K., Sandoval-Acuna, P., Jonas, J. D., Segnitz, R. M. & Svenning, J.-C. (2015). Strong upslope shifts in Chimborazo's vegetation over two centuries since Humboldt. Proceedings of the National Academy of Sciences (PNAS), 112(41), 12741-12745. https://doi.org/10.1073/pnas.1509938112
Yatime, L., Maasch, C., Hoehlig, K., Klussmann, S., Andersen, G. R. & Vater, A. (2015). Structural basis for the targeting of complement anaphylatoxin C5a using a mixed L-RNA/L-DNA aptamer. Nature Communications, 6, 1-13. Article 6481. https://doi.org/10.1038/ncomms7481
Zocher, G., Vilstrup, J., Heine, D., Hallab, A., Goralski, E., Hertweck, C., Stahl, M., Schäberle, T. F. & Stehle, T. (2015). Structural basis of head to head polyketide fusion by CorB. Chemical Science, 6(11), 6525-6536. https://doi.org/10.1039/c5sc02488a
Brodersen, D. E. (2015). Structural Biology. Poster session presented at MBG årsmøde, Aarhus, Denmark.
Bauers, S. R., Wood, S. R., Jensen, K. M. Ø., Blichfeld, A. B., Iversen, B. B., Billinge, S. J. L. & Johnson, D. C. (2015). Structural Evolution of Iron Antimonides from Amorphous Precursors to Crystalline Products Studied by Total Scattering Techniques. Journal of the American Chemical Society, 137(30), 9652-9658. https://doi.org/10.1021/jacs.5b04838
Brodersen, D. E. (2015). Structural Insights Into The Bacterial Carbon-Phosphorus Lyase Machinery. Poster session presented at Gordon Research Conference, Waterville Valley, NH, United States.
Bublitz, M., Nass, K., Drachmann, N. D., Markvardsen, A. J., Gutmann, M. J., Barends, T. R. M., Mattle, D., Shoeman, R. L., Doak, R. B., Boutet, S., Messerschmidt, M., Seibert, M. M., Williams, G. J., Foucar, L., Reinhard, L., Sitsel, O., Gregersen, J. L., Clausen, J. D., Boesen, T. ... Schlichting, I. (2015). Structural studies of P-type ATPase-ligand complexes using an X-ray free-electron laser. IUCrJ, 2(Pt 4), 409-420. https://doi.org/10.1107/S2052252515008969