Dahl, J. F., Gregersen, S. B., Andersen, U.
, Schulz, H.-J., Sode, L., Madsen, J.
& Corredig, M. (2024).
Characterization of high protein anisotropic structures using Rheological fingerprint by large-deformation Lissajous curves.
Science Talks,
9, Artikel 100283.
https://doi.org/10.1016/j.sctalk.2023.100283
Branzei, S., Hosseini, H.
& Miltersen, P. B. (2015).
Characterization and Computation of Equilibria for Indivisible Goods. I
Algorithmic Game Theory: 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28–30, 2015, Proceedings (s. 244-255). Springer VS.
https://doi.org/10.1007/978-3-662-48433-3_19
Sükösd, Z., Knudsen, B., Anderson, J. WJ., Novák, A.
, Kjems, J. & Pedersen, C. N. S. (2013).
Characterising RNA secondary structure space using information entropy.
B M C Bioinformatics,
14 (Suppl 2), 1-9. Artikel S22.
https://doi.org/10.1186/1471-2105-14-S2-S22
Hansen, R. T., Borghegn, N. W.
, Gundtoft, P. H., Nielsen, K. A., Balslev-Clausen, A. & Viberg, B. (2023).
Change in treatment preferences in pediatric diaphyseal forearm fractures: a Danish nationwide register study of 36,244 fractures between 1997 and 2016.
Acta Orthopaedica. Supplementum (Print Edition),
94, 32-37.
https://doi.org/10.2340/17453674.2023.7132
Evangelista Belo, J. M., Feuchtner, T., Hwang, C., Lunding, R. S., Lystbæk, M. N., Pfeuffer, K. & Rasmussen, T. A. (2021).
Challenges of XR Transitional Interfaces in Industry 4.0. I H.-C. Jetter, J.-H. Schröder, J. Gugenheimer, M. Billinghurst, C. Anthes, M. Khamis & T. Feuchtner (red.),
ISS'21 Workshop Proceedings: Transitional Interfaces in Mixed and Cross-Reality: A new frontier? https://doi.org/10.18148/kops/352-2-1jsg9yzf5d0qs0
Brewer, R. S., Verdezoto, N., Rasmussen, M. K., Entwistle, J. M., Grønbæk, K., Blunck, H. & Holst, T. (2015).
Challenge: Getting Residential Users to Shift Their Electricity Usage Patterns. I S. Kalyanaraman, D. P. Seetharam & R. Shorey (red.),
The sixth ACM International Conference on Future Energy Systems (ACM e-Energy) (s. 83-88). Association for Computing Machinery.
https://doi.org/10.1145/2768510.2770934
Georges, A. L., Guéneau, A., Van Strydonck, T.
, Timany, A., Trieu, A., Devriese, D.
& Birkedal, L. (2024).
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
Journal of the ACM,
71(1), Artikel 3.
https://doi.org/10.1145/3623510
Nielsen, M., Aranda, J. A., Di Giusto, C. & Valencia, F. (2007).
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. I Z. Shao (red.),
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings (s. 383-398). Springer.
https://doi.org/10.1007/978-3-540-76637-7_26
Grönvall, E.
, Kinch, S., Petersen, M. G. & Rasmussen, M. K. (2014).
Causing Commotion with a Shape-changing Bench: Experiencing Shape-Changing Interfaces in Use. I M. Jones, P. Palanque, A. Schmidt & T. Grossman (red.),
CHI'14, SIGCHIConference on Human Factors in Computing Systems : Proceedings (s. 2559-2568). Association for Computing Machinery.
https://doi.org/10.1145/2556288.2557360
Krieg-Brückner, B.
, Mosses, P. D. & Mosses, P. D. (red.) (2004).
Casl Syntax. I
Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 71-112). Springer.
Krieg-Brückner, B.
, Mosses, P. D. & Mosses, P. D. (red.) (2004).
Casl Summary. I
Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 1-69). Springer.
Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T.
, Mosses, P. D., Sannella, D., Tarlecki, A.
& Mosses, P. D. (red.) (2004).
Casl Semantics. I
Casl Reference Manual, The Complete Documentation of the Common Algebraic Specification Language (2960 i Lecture Notes in Computer Science udg., s. 115-271). Springer.
Astesiano, E., Bidoit, M., Krieg-Brückner, B.
, Mosses, P. D., Sannella, D. & Tarlecki, A. (2002).
CASL: The Common Algebraic Specification Language.
Theoretical Computer Science,
286(2), 153-196.