Til studerende
Til ph.d.er
Til medarbejdere
Institutter og fakulteter
Bibliotek
Presse

pure preprints

Sortér efter: Dato | Forfatter | Titel

Reinhard, T., Timany, A. & Jacobs, B. (2020). A separation logic to verify termination of busy-waiting for abrupt program exit. I FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (s. 26-32). Association for Computing Machinery. https://doi.org/10.1145/3427761.3428345

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit.

Hobisch, M. & Kara, S. (2021). Automated Feeding and Fermentation Phase Transitions for the Production of Unspecific Peroxygenase by Pichia pastoris. bioRxiv https://doi.org/10.1101/2021.07.29.454275

Pelck, J. S. & Labouriau, R. (2021). Conditional Inference for Multivariate Generalised Linear Mixed Models. arXiv:stat.ME. https://arxiv.org/abs/2107.11765

Enevoldsen, K., Hansen, L. & Nielbo, K. L. (2021). DaCy: A Unified Framework for Danish NLP. ArXiv. https://arxiv.org/abs/2107.05295

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. (2021). Extracting functional programs from Coq, in Coq.

Thomsen, S. E. & Spitters, B. (2020). Formalizing Nakamoto-Style Proof of Stake.

Enevoldsen, K., Danielsen, A. A., Rohde, C., Jefsen, O. H., Nielbo, K. L. & Østergaard, S. D. (2021). Monitoring of COVID-19 Pandemic-related Psychopathology using Machine Learning. medRxiv. https://www.medrxiv.org/content/10.1101/2021.07.13.21259962v1

Pelck, J. S. & Labouriau, R. (2021). Multivariate Generalised Linear Mixed Models With Graphical Latent Covariance Structure. arXiv:stat.ME.

Pelck, J. S., Holthusen, H., Edelenbos, M., Luca, A. & Labouriau, R. (2021). Multivariate Methods for Detection of Rubbery Rot in Storage Apples by Monitoring Volatile Organic Compounds: An Example of Multivariate Generalised Mixed Models.

Svendsen, S. C. (2021). Practical I/O-Efficient Multiway Separators.

Giusti, F. & Podestà, F. (2023). Real semisimple Lie groups and balanced metrics. Revista Matemática Iberoamericana, 39 (2), 711–729. https://doi.org/10.4171/rmi/1391

Timany, A., Gregersen, S. O., Stefanesco, L., Gondelman, L., Nieto, A. & Birkedal, L. (2021). Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic.

Zhang, Y.-X. & Mølmer, K. (2021). Universal free-fermion multiply-excited eigenstates and their experimental signatures in 1D arrays of two-level atoms.

Pelck, J. S. & Labouriau, R. (2020). Using Multivariate Generalised Linear Mixed Models for Studying Roots Development: An Example Based on Minirhizotron Observations. ArXiv. https://arxiv.org/abs/2011.00546

Nielbo, K. L., Hæstrup, F., Enevoldsen, K., Vahlstrup, P. B., Baglini, R. B. & Roepstorff, A. (2021). When no news is bad news--Detection of negative events from news media content. ArXiv. https://arxiv.org/pdf/2102.06505.pdf

Baglini, R. B., Nielbo, K. L., Hæstrup, F., Enevoldsen, K., Vahlstrup, P. B. & Roepstorff, A. (2021). When no news is bad news: Detection of negative events from news media content. Abstract fra Digital Humanities Benelux , Leiden, Belgien.

Revideret 24.11.2022