Sheng, Q. Z., Wang, G., Jensen, C. S. & Xu, G. (Eds.) (2012).
Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings. Springer. Lecture Notes in Computer Science Vol. 7235
https://doi.org/10.1007/978-3-642-29253-8
Hansen, K. A., Liu, T. X. & Malekian, A. (Eds.) (2022).
Web and Internet Economics: 18th International Conference, WINE 2022, Troy, NY, USA, December 12-15, 2022, Proceedings. Springer. Lecture Notes in Computer Science Vol. 13778
https://doi.org/10.1007/978-3-031-22832-2
Brânzei, S., Filos-Ratsikas, A.
, Miltersen, P. B. & Zeng, Y. (2017).
Walrasian pricing in multi-unit auctions. In K. G. Larsen, H. L. Bodlaender & J.-F. Raskin (Eds.),
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 (Vol. 83, pp. 80:1-80:14). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.MFCS.2017.80
Kaspersen, M. H., Bilstrup, K.-E. K., Van Mechelen, M.
, Hjorth, H. A., Bouvin, N. O. & Petersen, M. G. (2021).
VotestratesML: A High School Learning Tool for Exploring Machine Learning and its Societal Implications. In
Proceedings of 5th FabLearn Europe / MakeEd Conference 2021 Article 3466728 Association for Computing Machinery.
https://doi.org/10.1145/3466725.3466728
Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L. (2023).
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A.
Proceedings of the ACM on Programming Languages ,
7, 1438-1462.
https://doi.org/10.1145/3591279
Vernica, T., Lipman, R., Kramer, T., Kwon, S. & Bernstein, W. Z. (2022).
Visualizing Standardized Model-Based Design and Inspection Data in Augmented Reality.
Journal of Computing and Information Science in Engineering,
22(4), Article 041001.
https://doi.org/10.1115/1.4053154
Madsen, J., Sode, L.
, Dahl, J. F., Corredig, M. & Schulz, H.-J. (2022).
Visual Exploration of Rheological Test Results from Soft Materials. In
Proceedings - 2022 1st International Workshop on Visualization in Testing of Hardware, Software, and Manufacturing, TestVis 2022 (pp. 1-7). IEEE.
https://doi.org/10.1109/TestVis57757.2022.00006
Bardam, S. K., Mathisen, A., Rädle, R.
, Klokmose, C. N. & Elmqvist, N. (2018).
Vistrates: A Component Model for Ubiquitous Analytics.
IEEE Transactions on Visualization and Computer Graphics,
25(1), 586-596. Article 8440803.
https://doi.org/10.1109/TVCG.2018.2865144
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
Bardram, J. E., Bossen, C., Lykke-Olesen, A., Madsen, K. H., Nielsen, R. & MacDonald, N. (Ed.) (2002).
Virtual Video Prototyping of Pervasive Healthcare Systems. In
Proceedings of the conference on Designing interactive systems: processes, practices, methods, and techniques (pp. 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. In
Proceedings of the Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (pp. 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. In J. Garcia-Alfaro, J. L. Muñoz-Tapia, G. Navarro-Arribas & M. Soriano (Eds.),
Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2021 International Workshops, DPM 2021 and CBT 2021 (pp. 173-191). Springer.
https://doi.org/10.1007/978-3-030-93944-1_12
Hansen, T. R. & Bardram, J. E. (2005).
Video prototype of the interactive operating theatre. Pictures, Video and sound recordings (digital)
Zander, P.-O. (2009).
Verksamhetsteori. In S. Hrastinski (Ed.),
Nätbaserad utbildning: en introduktion Studentlitteratur.
Gondelman, 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. Article 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. Article 4.
https://doi.org/10.1145/2818638
Hansen, 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. In A. L. Lafuente & A. Mavridou (Eds.),
Formal Methods for Industrial Critical Systems (pp. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1