Søndergaard, E., Gormsen, L. C., Nellemann, B., Vestergaard, E. T., Christiansen, J. S. & Nielsen, S. (2009).
Visceral fat mass is a strong predictor of circulating ghrelin levels in premenopausal women.
European Journal of Endocrinology,
160(3), 375-9.
https://doi.org/10.1530/EJE-08-0735
Lex, A.
, Schulz, H.-J., Streit, M., Partl, C. & Schmalstieg, D. (2011).
VisBricks: Multiform Visualization of Large, Inhomogeneous Data.
IEEE Transactions on Visualization and Computer Graphics,
17(12), 2291-2300.
https://doi.org/10.1109/TVCG.2011.250Bardram, J. E., Bossen, C.
, Lykke-Olesen, A., Madsen, K. H., Nielsen, R. & MacDonald, N. (red.) (2002).
Virtual Video Prototyping of Pervasive Healthcare Systems. I
Proceedings of the conference on Designing interactive systems: processes, practices, methods, and techniques (s. 167-177). Association for Computing Machinery.
Bardram, J. E., Bossen, C., Lykke-Olesen, A., Madsen, K. H. & Nielsen, R. (2002).
Virtual Video Prototyping for Healthcare Systems. I
Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (s. 167 - 177). Association for Computing Machinery.
Sørensen, T. S., Beerbaum, P.
, Mosegaard, J., Rasmusson, A., Schaeffter, T., Austin, C., Razavi, R. & Greil, G. F. (2008).
Virtual Cardiotomy based on 3D Magnetic Resonance Imaging for Preoperative Planning in Congenital Heart Disease.
Pediatric Radiology,
38, 1314-1322.
https://doi.org/10.1007/s00247-008-1032-5
Ganesh, C.
, Orlandi, C., Tschudi, D. & Zohar, A. (2022).
Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies. I J. Garcia-Alfaro, J. L. Muñoz-Tapia, G. Navarro-Arribas & M. Soriano (red.),
Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2021 International Workshops, DPM 2021 and CBT 2021 (s. 173-191). Springer.
https://doi.org/10.1007/978-3-030-93944-1_12Burattin, A., Miksch, S., Sadiq, S.
, Schulz, H.-J. & Vrotsou, K. (2025).
VESPA: Visual Event-Stream Progressive Analytics. Afhandling præsenteret på 2nd Visual Process Analytics Workshop (VIPRA'25), Seville, Spanien.
https://vipra-workshop.github.io/homepage/papers/BPM_2025_paper_280.pdfGondelman, L., Hinrichsen, J. K., Pereira, M.
, Timany, A. & Birkedal, L. (2023).
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.
Proceedings of the ACM on Programming Languages ,
7(ICFP), 847-877. Artikel 217.
https://doi.org/10.1145/3607859
Dodds, M., Jagannathan, S., Parkinson, M. J.
, Svendsen, K. & Birkedal, L. (2016).
Verifying custom synchronisation constructs using higher-order separation logic.
ACM Transactions on Programming Languages and Systems,
38/2(2), 4:1 - 4:72. Artikel 4.
https://doi.org/10.1145/2818638Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.),
Formal Methods for Industrial Critical Systems (s. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O.
, Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022).
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
International Journal on Software Tools for Technology Transfer,
24(6), 999-1024.
https://doi.org/10.1007/s10009-022-00686-8
Ateniese, G., Chen, L.
, Francati, D., Papadopoulos, D. & Tang, Q. (2023).
Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting). I A. Boldyreva & V. Kolesnikov (red.),
Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part II (s. 63-93). Springer.
https://doi.org/10.1007/978-3-031-31371-4_3Sidenmark, L., Clarke, C., Newn, J.
, Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (2023).
Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 257 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3580685Attema, T., Cascudo, I., Cramer, R.
, Damgård, I. & Escudero, D. (2022).
Vector Commitments over Rings and Compressed Σ -Protocols. I E. Kiltz & V. Vaikuntanathan (red.),
Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (Bind Part 1, s. 173-202). Springer.
https://doi.org/10.1007/978-3-031-22318-1_7Borowski, M., Murray, L.
, Bagge, R., Kristensen, J. B., Satyanarayan, A.
& Klokmose, C. N. (2022).
Varv: Reprogrammable Interactive Software as a Declarative Data Structure. I
CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 492 Association for Computing Machinery.
https://doi.org/10.1145/3491102.3502064
