E-LIB Suche - Ergebnisse für: Jakobsen, Mathias

1

Papaya: Global Typestate Analysis of Aliased Objects:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,

Jakobsen, Mathias ; Ravier, Alice ; Dardha, Ornela - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

2

Behavioural separation with parallel usages:

, In: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs,

Golovanov, Iaroslav ; Hüttel, Hans ; Jakobsen, Mathias. - p. 51-58 , 2021

Link: https://dl.acm.org/doi/1..

3

Behavioural Types for Memory and Method Safety in a Core Ob..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav... - p. 105-124 , 2020

Link: https://doi.org/10.1007/..

4

What Do Danish Youth Want to Know About Sex? Twenty Years o..:

Graugaard, Christian ; Nielsen, Vibe Maria L. ; Jensen, Solveig Ø....
Journal of Sex & Marital Therapy. 43 (2016) 2 - p. 159-168 , 2016

Link: https://doi.org/10.1080/..

5

Hvordan skiller sluttårsakene i Forsvaret seg fra de i sivi..:

Jakobsen, Mathias ; Strøm, Benjamin
https://hdl.handle.net/10037/32782. , 2023

Link: https://hdl.handle.net/1..

6

Papaya: Global Typestate Analysis of Aliased Objects Extend..:

Jakobsen, Mathias ; Ravier, Alice ; Dardha, Ornela
http://arxiv.org/abs/2107.13101. , 2021

Link: http://arxiv.org/abs/210..

7

Papaya: Global Typestate Analysis of Aliased Objects:

Jakobsen, Mathias ; Ravier, Alice ; Dardha, Ornela
info:eu-repo/grantAgreement/EC/H2020/778233/. , 2021

Link: https://zenodo.org/recor..

8

Behavioural Types for Memory and Method Safety in a Core Ob..:

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav...
info:eu-repo/grantAgreement//778233/EU/Behavioural Application Program Interfaces/BEHAPI. , 2020

Link: https://hal.inria.fr/hal..

9

Context-Free Session Types for Applied Pi-Calculus:

Aagaard, Jens ; Hüttel, Hans ; Jakobsen, Mathias.
http://arxiv.org/abs/1808.08648. , 2018

Link: http://arxiv.org/abs/180..

10

Behavioural Types for Memory and Method Safety in a Core Ob..:

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav...
info:eu-repo/grantAgreement//778233/EU/Behavioural Application Program Interfaces/BEHAPI. , 2020

Link: https://inria.hal.scienc..

11

Behavioural Types for Memory and Method Safety in a Core Ob..:

Bravetti, Mario ; Francalanza, Adrian ; Golovanov, Iaroslav...
http://arxiv.org/abs/2002.12793. , 2020

Link: http://arxiv.org/abs/200..

12

Context-Free Session Types for Applied Pi-Calculus:

Jens Aagaard ; Hans Hüttel ; Mathias Jakobsen.
http://arxiv.org/pdf/1808.08648v1. , 2018

Link: https://doi.org/10.4204/..

13

Context-Free Session Types for Applied Pi-Calculus:

Aagaard, Jens ; Hüttel, Hans ; Steen Jakobsen, Mathias.
https://vbn.aau.dk/da/publications/4c35fc0f-d65b-4e65-a3d4-badf70f0d15a. , 2018

Link: https://vbn.aau.dk/da/pu..

14

Machine-learning vs. logistic regression for preoperative p..:

Michelsen, Christian ; Jørgensen, Christoffer C. ; Heltberg, Mathias...
BMC Anesthesiology. 23 (2023) 1 - p. , 2023

Link: https://doi.org/10.1186/..

15

Sex differences in lymphoma incidence and mortality by subt..:

Radkiewicz, Cecilia ; Bruchfeld, Johanna B. ; Weibull, Caroline E....
American Journal of Hematology. 98 (2022) 1 - p. 23-30 , 2022

Link: https://doi.org/10.1002/..