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. 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/2818638Aguirre, V. S., Chaplin, W. J., Bedding, T. R.
, Christensen-Dalsgaard, J., Kjeldsen, H., Weiss, A., Serenelli, A. M., García, R. A., Mathur, S., Pinsonneault, M. H., Casagrande, L., Basu, S., Campante, T. L., Monteiro, M. J. P. F. G., Miglio, A., Elsworth, Y., Hekker, S., Huber, D., Ballot, J. ... Uddin, K. (2012).
Verifying asteroseismically determined parameters of Kepler stars using Hipparcos parallaxes: Self-consistent stellar properties and distances.
Astrophysical Journal,
757(1), 99.
https://doi.org/10.1088/0004-637X/757/1/99
Verner, G. A., Chaplin, W. J., Basu, S., Brown, T. M., Hekker, S., Huber, D.
, Karoff, C., Mathur, S., Metcalfe, T. S., Mosser, B., Quirion, P.-O., Appourchaux, T., Bedding, T. R.
, Bruntt, H., Campante, T. L., Elsworth, Y., García, R. A.
, Handberg, R., Régulo, C. ... Girouard, F. R. (2011).
Verification of the Kepler Input Catalog from Asteroseismology of Solar-type Stars.
The Astrophysical Journal Letters,
738(2).
https://doi.org/10.1088/2041-8205/738/2/L28Hansen, 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.3580685Lund, M. S., Nielsen, V. H., Bendixen, C., Kargo Sørensen, M. & Jensen, J. (1998).
Verdenskongres i husdyrgenetik.
Jordbrugsforskning,
2, 19-23.
Dang Diem Tuong, Borowiec, B., Clifford, A. M., Filogonio, R., Somo, D., Do Thi Thanh Huong, Nguyen Thanh Phuong
, Wang, T., Bayley, M. & Milsom, W. K. (2018).
Ventilatory responses of the clown knifefish, Chitala ornata, to hypercarbia and hypercapnia.
Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology,
188(4), 581-589.
https://doi.org/10.1007/s00360-018-1150-9Tuong, D. D.
, Huong, D. T. T., Phuong, N. T.
, Bayley, M. & Milsom, W. K. (2019).
Ventilatory responses of the clown knifefish, Chitala ornata, to arterial hypercapnia remain after gill denervation.
Journal of Comparative Physiology B: Biochemical, Systemic, and Environmental Physiology,
189(6), 673-683.
https://doi.org/10.1007/s00360-019-01236-6Ezat, M. M., Rasmussen, T. L., Thornalley, D. J. R.
, Olsen, J., Skinner, L. C., Honisch, B. & Groeneveld, J. (2017).
Ventilation history of Nordic Seas overflows during the last (de)glacial period revealed by species-specific benthic foraminiferal
14C dates.
Paleoceanography,
32(2), 172-181.
https://doi.org/10.1002/2016PA003053Malte, H. & Lomholt, J. P. (1998).
Ventilation and gas exchange. I J. M. Jørgensen, J. P. Lomholt, R. E. Weber & H. Malte (red.),
The Biology of Hagfishes (1 udg., s. 223-234). Chapman and Hall.
Joyce, W., Williams, C. J. A., Crossley, D. A.
& Wang, T. (2018).
Venous pressures and cardiac filling in turtles during apnoea and intermittent ventilation.
Journal of Comparative Physiology B: Biochemical, Systems, and Environmental Physiology,
188(3), 481-490.
https://doi.org/10.1007/s00360-017-1132-3
Sandersen, P., Jørgensen, F.
, Larsen, N. K., Westergaard, J. & Auken, E. (2009).
Vendsysselprojektet - Geologiske tolkninger af den geofysiske kortlægning. Abstract fra Temadag: TEM - nyeste udviklinger og geologisk/hydrologisk tolkning, Aarhus, Geologisk Institut, Danmark.
Underwood, J. G., Procino, I.
, Christiansen, L., Maurer, J. & Stapelfeldt, H. (2015).
Velocity map imaging with non-uniform detection: Quantitative molecular axis alignment measurements via Coulomb explosion imaging.
Review of Scientific Instruments,
86(7), Artikel 073101.
https://doi.org/10.1063/1.4922137Nissen, H. D.
, Sherson, M. G., Lemaire, J. L., Clénet, Y., Rouan, D.
& Field, D. (2006).
Velocities of gas in star-forming regions: 70AU resolution and 1 km/s results for OMC1.. Poster-session præsenteret på Protostars and Planets V 2005, Hawaii.
Kobek-Kjeldager, C., Leishman, E. M., Verlaat, J. A., Wehrs, A., Thodberg, K., Foldager, L. & Herskin, M. S. (2026).
Velfærd hos smågrise under lange transporter – Del B: Adgang til vand på lange transporter. DCA - Nationalt Center for Fødevarer og Jordbrug. Rådgivningsnotat fra DCA - Nationalt Center for Fødevarer og Jordbrug
