Research Output

Filter
Book
2017

Multiscale Modeling of Complex Molecular Structure and Dynamics with MBN Explorer

Solov'yov, I. A., Korol, A. V. & Solov'yov, A. V., 2017, Springer International Publishing: Springer. 451 p.

Research output: Book/anthology/thesis/reportBookResearchpeer-review

2016

Life - As a matter of Fat. Lipids in a Membrane Biophysics Perspective

Mouritsen, O. G. & Bagatolli, L., 2016, Springer. 298 p. (The Frontiers Collection).

Research output: Book/anthology/thesis/reportBookResearchpeer-review

2015

Algues marines: Propriétés, usages, recettes

Mouritsen, O. G., 2015, Paris: Delachaux et Niestlé. 287 p.

Research output: Book/anthology/thesis/reportBookCommunication

Fornemmelse for smag

Mouritsen, O. G. & Styrbæk, K., 2015, København: Nyt Nordisk Forlag Arnold Busck. 332 p.

Research output: Book/anthology/thesis/reportBookCommunication

MBN Explorer: Dynamics of Biomolecular Systems and Self-organization

Solov'yov, I., Sushko, G., Verkhovtsev, A., Korol, A. & Solov'yov, A., 2015, St. Petersburg State Polytechnic University: Polytechnic University Publishing House. 112 p.

Research output: Book/anthology/thesis/reportBookResearchpeer-review

MBN Explorer: Simulations of Nanomaterials Structure and Dynamics

Solov'yov, I., Sushko, G., Verkhovtsev, A., Korol, A. & Solov'yov, A., 2015, St. Petersburg State Polytechnic University: Polytechnic University Publishing House. 102 p.

Research output: Book/anthology/thesis/reportBookResearchpeer-review

Smagen af jul

Mouritsen, O. G. & Styrbæk, K., 2015, København: Nyt Nordisk Forlag Arnold Busck. 98 p.

Research output: Book/anthology/thesis/reportBookCommunication

鮮味的祕密:大腦與舌尖聯合探索神祕第五味!:收錄39道天然鮮味食譜: Umami: unlocking the secrets of the fifth taste

Mouritsen, O. G., Styrbæk, K. & Yagi, L. (Translator), 2015, Taipei, Taiwan: La vie. 274 p.

Research output: Book/anthology/thesis/reportBookCommunication

2014

Proving termination and memory safety for programs with pointer arithmetic

Ströder, T., Giesl, J., Brockschmidt, M., Frohn, F., Fuhs, C., Hensel, J. & Schneider-Kamp, P., 2014

Research output: Book/anthology/thesis/reportBookResearchpeer-review

Proving termination of programs automatically with AProVE

Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S. & Thiemann, R., 2014

Research output: Book/anthology/thesis/reportBookResearchpeer-review

Vida ¿una cuestíon de grasas? Una perspectiva desde la biofísica de membranas

Bagatolli, L. & Mouritsen, O. G., 3. Dec 2014, Ecuador: Yachay. 287 p.

Research output: Book/anthology/thesis/reportBookResearchpeer-review

2012

RNA folding algorithms with G-quadruplexes

Lorenz, R., Bernhart, S. H., Externbrink, F., Qin, J., Höner Zu Siederdissen, C., Amman, F., Hofacker, I. L. & Stadler, P. F., 2012

Research output: Book/anthology/thesis/reportBookResearchpeer-review

2010

Artificial Life XII: Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, Odense, Denmark, August 19-23, 2010

Fellermann, H. (ed.), Dörr, M. (ed.), Hanczyc, M. M. (ed.), Laursen, L. L. (ed.), Maurer, S. E. (ed.), Merkle, D. (ed.), Monnard, P-A. (ed.), Støy, K. (ed.) & Rasmussen, S. (ed.), 2010, MIT Press.

Research output: Book/anthology/thesis/reportBookResearchpeer-review

Lazy abstraction for size-change termination

Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 2010

Research output: Book/anthology/thesis/reportBookResearchpeer-review

2004

Modeling Lipid-Sterol Bilayers: Applications to Structural Evolution, Lateral Diffusion, and Rafts

Zuckermann, M. J., Ipsen, J. H., Miao, L., Mouritsen, O. G., Nielsen, M., Polson, J., Thewalt, J., Vattulainen, I. & Zhu, H., 2004

Research output: Book/anthology/thesis/reportBookResearchpeer-review