Department of Computer Science

Search results

• MABRAVO: Multicast Algorithm for Broadcast and Routing over AoIs in Voronoi Overlays

  Albano, M. (Creator), Code Ocean, 1 Sept 2020

  DOI: 10.24433/co.1722184.v1, https://doi.org/10.24433%2Fco.1722184.v1

  Dataset

• MIMIC Prescriptions result files

  Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Lip, G. Y. H. (Creator), Larsen, T. B. (Creator), Skjøth, F. (Creator) & Hansen, E. R. (Creator), Harvard Dataverse, 3 May 2020

  DOI: 10.7910/dvn/5vtbme, https://dataverse.harvard.edu/citation?persistentId=doi:10.7910/DVN/5VTBME

  Dataset

• Experiments for "It's Time to Play Safe: Shield Synthesis for Timed Systems"

  Palmisano, A. (Creator), Lorber, F. (Creator), Könighofer, B. (Creator), Jensen, P. G. (Creator), Bloem, R. (Creator) & Guldstrand, K. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.3903227, https://zenodo.org/record/3903227

  Dataset

• Artifact for "Partial Order Reduction for Reachability Games"

  Bønneland, F. M. (Creator), Jensen, P. G. (Creator), Larsen, K. G. (Creator), Mũniz, M. (Creator) & Srba, J. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4058161, https://zenodo.org/record/4058161

  Dataset

• Reproducibility Package for Extended Abstract Dependency Graphs.

  Enevoldsen, S. (Contributor), Larsen, K. (Contributor) & Srba, J. (Contributor), Zenodo, 2020

  DOI: 10.5281/zenodo.3691837, https://zenodo.org/record/3691837

  Dataset

• The Daily Life of Software Engineers during the COVID-19 Pandemic -- Replication Package

  Russo, D. (Creator), Hanel, P. H. P. (Creator), Altnickel, S. (Creator) & Van Berkel, N. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4104390, https://zenodo.org/record/4104390

  Dataset

• The Agile Success Model

  Russo, D. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4739364, https://zenodo.org/record/4739364

  Dataset

• TACAS 21 Artifact Evaluation VM - Ubuntu 20.04 LTS

  Hyberts, S. H. (Creator), Jensen, P. G. (Creator) & Neele, T. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4041464, https://zenodo.org/record/4041464

  Dataset

• Repetability for "Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction"

  Jensen, P. G. (Creator), Cassez, F. (Creator) & Larsen, K. G. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.3952856, https://zenodo.org/record/3952856

  Dataset

• Experiments for "Automata Theoretic Approach to Verification of MPLS Networks under Link Failures"

  Jensen, P. G. (Creator), Jensen, H. T. (Creator), Duijn, I. V. (Creator), Jensen, J. S. (Creator), Krøgh, T. B. (Creator), Madsen, J. S. (Creator), Schmid, S. (Creator), Srba, J. (Creator) & Thorgersen, M. T. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.3888242, https://zenodo.org/record/3888242

  Dataset

• level0.xlsx

  Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Lip, G. Y. H. (Creator), Larsen, T. B. (Creator) & Skjøth, F. (Creator), Harvard Dataverse, 2020

  DOI: 10.7910/dvn/5vtbme/gx3kka, https://dataverse.harvard.edu/file.xhtml?persistentId=doi:10.7910/DVN/5VTBME/GX3KKA

  Dataset

• level1.xlsx

  Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Lip, G. Y. H. (Creator), Larsen, T. B. (Creator) & Skjøth, F. (Creator), Harvard Dataverse, 2020

  DOI: 10.7910/dvn/5vtbme/vapoyf, https://dataverse.harvard.edu/file.xhtml?persistentId=doi:10.7910/DVN/5VTBME/VAPOYF

  Dataset

• appendix.pdf

  Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Lip, G. Y. H. (Creator), Larsen, T. B. (Creator) & Skjøth, F. (Creator), Harvard Dataverse, 2020

  DOI: 10.7910/dvn/5vtbme/0iue8v, https://dataverse.harvard.edu/file.xhtml?persistentId=doi:10.7910/DVN/5VTBME/0IUE8V

  Dataset

• Well-being and Productivity of Software Professionals during a Pandemic

  Russo, D. (Creator), Hanel, P. (Creator), Altnickel, S. (Creator) & Van Berkel, N. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4271923, https://zenodo.org/record/4271923

  Dataset

• level4.xlsx

  Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Lip, G. Y. H. (Creator), Larsen, T. B. (Creator) & Skjøth, F. (Creator), Harvard Dataverse, 2020

  DOI: 10.7910/dvn/5vtbme/yqmlfl, https://dataverse.harvard.edu/file.xhtml?persistentId=doi:10.7910/DVN/5VTBME/YQMLFL

  Dataset

• level2.xlsx

  Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Lip, G. Y. H. (Creator), Larsen, T. B. (Creator) & Skjøth, F. (Creator), Harvard Dataverse, 2020

  DOI: 10.7910/dvn/5vtbme/fj4kct, https://dataverse.harvard.edu/file.xhtml?persistentId=doi:10.7910/DVN/5VTBME/FJ4KCT

  Dataset

• level3.xlsx

  Hansen, E. R. (Creator), Sagi, T. (Creator), Hose, K. (Creator), Lip, G. Y. H. (Creator), Larsen, T. B. (Creator) & Skjøth, F. (Creator), Harvard Dataverse, 2020

  DOI: 10.7910/dvn/5vtbme/fkrw9v, https://dataverse.harvard.edu/file.xhtml?persistentId=doi:10.7910/DVN/5VTBME/FKRW9V

  Dataset

• Artifact for "AalWiNes: A Fast and Quantitative What-If Analysis Tool for MPLS Networks"

  Jensen, P. G. (Creator), Kristiansen, D. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator), Schrenk, B. C. (Creator) & Srba, J. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4056504, https://zenodo.org/record/4056504

  Dataset

• Atrial fibrillation and anticoagulation in patients with breast cancer

  D’Souza, M. (Creator), Smedegaard, L. (Contributor), Madelaire, C. (Creator), Bang, C. (Creator), Nielsen, D. (Creator), Torp-Pedersen, C. (Creator), Gislason, G. (Creator), Schou, M. (Creator) & Fosbøl, E. (Creator), Taylor & Francis, 9 Jul 2019

  DOI: 10.6084/m9.figshare.8832512.v1, https://tandf.figshare.com/articles/Atrial_fibrillation_and_anticoagulation_in_patients_with_breast_cancer/8832512/1

  Dataset: Supplementary material

• Supplementary_Material – Supplemental material for Association between anti-diabetes treatments and cardiovascular risk in diabetes patients with and without coronary artery disease

  Jensen, L. O. (Creator), Gyldenkerne, C. (Creator), Raungaard, B. (Creator), Olesen, K. K. W. (Creator), Thim, T. (Creator), Sørensen, H. T. (Creator), Madsen, M. (Creator), Bøtker, H. E. (Creator) & Maeng, M. (Creator), Sage Journals, 1 Jan 2019

  DOI: 10.25384/sage.7951745.v1, https://doi.org/10.25384%2Fsage.7951745.v1

  Dataset: Supplementary material

• Software Artifact for the paper "ADTLang: A Programming Language Approach to Attack-Defense Trees"

  Hansen, R. R. (Creator), Larsen, K. G. (Creator), Legay, A. (Creator), Jensen, P. G. (Creator) & Poulsen, D. B. (Creator), Zenodo, 2019

  DOI: 10.5281/zenodo.3534293, https://zenodo.org/record/3534293

  Dataset

• Association between anti-diabetes treatments and cardiovascular risk in diabetes patients with and without coronary artery disease

  Gyldenkerne, C. (Creator), Olesen, K. K. W. (Creator), Madsen, M. (Creator), Thim, T. (Creator), Jensen, L. O. (Creator), Raungaard, B. (Creator), Sørensen, H. T. (Creator), Bøtker, H. E. (Creator) & Maeng, M. (Creator), Figshare, 2019

  DOI: 10.25384/sage.c.4459535.v1, https://doi.org/10.25384%2Fsage.c.4459535.v1

  Dataset: Supplementary material

• Association between anti-diabetes treatments and cardiovascular risk in diabetes patients with and without coronary artery disease

  Gyldenkerne, C. (Creator), Olesen, K. K. W. (Creator), Madsen, M. (Creator), Thim, T. (Creator), Jensen, L. O. (Creator), Raungaard, B. (Creator), Sørensen, H. T. (Creator), Bøtker, H. E. (Creator) & Maeng, M. (Creator), Figshare, 2019

  DOI: 10.25384/sage.c.4459535, https://sage.figshare.com/collections/Association_between_anti-diabetes_treatments_and_cardiovascular_risk_in_diabetes_patients_with_and_without_coronary_artery_disease/4459535

  Dataset

• Artifact for "Teaching Stratego to Play Ball : Optimal Synthesis for Continuous Space MDPs"

  Jensen, P. G. (Creator), Zenodo, 2019

  DOI: 10.5281/zenodo.3268381, https://zenodo.org/record/3268381

  Dataset

• Data from: Genome-wide SNP data unveils the globalization of domesticated pigs

  Yang, B. (Creator), Cui, L. (Creator), Perez-Enciso, M. (Creator), Traspov, A. (Creator), Crooijmans, R. P. M. A. (Creator), Zinovieva, N. (Creator), Schook, L. B. (Creator), Archibald, A. (Creator), Gatphayak, K. (Creator), Knorr, C. (Creator), Triantafyllidis, A. (Creator), Alexandri, P. (Creator), Semiadi, G. (Creator), Hanotte, O. (Creator), Dias, D. (Creator), Dovč, P. (Creator), Uimari, P. (Creator), Iacolina, L. (Creator), Scandura, M. (Creator), Groenen, M. A. M. (Creator), Huang, L. (Creator) & Megens, H.-J. (Creator), Dryad, 23 Aug 2018

  DOI: 10.5061/dryad.30tk6, https://datadryad.org/stash/dataset/doi:10.5061/dryad.30tk6

  Dataset