Department of Computer Science

Search results

• Artefact for Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

  Johansen, N. S. (Contributor), Kær, L. B. (Contributor), Madsen, A. L. (Contributor), Nielsen, K. Ø. (Contributor), Srba, J. (Contributor) & Tollund, R. G. (Contributor), Zenodo, 2022

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

  Dataset

• Evaluation Artifacts for: Solving String Theories involving Regular Membership Predicates Using SAT

  Kulczynski, M. (Creator), Lotz, K. (Creator), Nowotka, D. (Creator) & Poulsen, D. B. (Creator), Zenodo, 2022

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

  Dataset

• Additional file 1 of Seroprevalence of SARS-CoV-2 antibodies in social housing areas in Denmark

  Johansen, I. S. (Creator), ?stergaard, L. (Creator), Nielsen, S. D. (Creator), Kristensen, J. H. (Creator), Wiese, L. (Creator), Nielsen, P. B. (Creator), Skov, R. (Creator), Ethelberg, S. (Creator), Bundgaard, H. (Creator), Erikstrup, C. (Creator), Koch, A. (Creator), Krause, T. G. (Creator), Nielsen, C. (Creator), Iversen, K. (Creator), Aagaard, B. (Creator), Ellermann-Eriksen, S. (Creator), S?kmose, S. G. (Creator), Vangsted, A.-M. (Creator), Simonsen, L. (Creator), Ullum, H. (Creator), Fomsgaard, A. (Creator), Ostrowski, S. R. (Creator), Fischer, T. K. (Creator), Hasselbalch, R. B. (Creator), Nielsen, H. (Creator), Folke, F. (Creator), Fogh, K. (Creator), Scharff, B. F. S. S. (Creator), Andersen, B. (Creator), Lippert, F. (Creator), J?rgensen, C. S. (Creator), Holm, D. K. (Creator), Eriksen, A. R. R. (Creator), Norsk, J. (Creator) & Kristensen, E. S. (Creator), Figshare, 2022

  DOI: 10.6084/m9.figshare.19159309.v1, https://springernature.figshare.com/articles/journal_contribution/Additional_file_1_of_Seroprevalence_of_SARS-CoV-2_antibodies_in_social_housing_areas_in_Denmark/19159309/1

  Dataset

• Seroprevalence of SARS-CoV-2 antibodies in social housing areas in Denmark

  Fogh, K. (Creator), Eriksen, A. R. R. (Creator), Hasselbalch, R. B. (Creator), Kristensen, E. S. (Creator), Bundgaard, H. (Creator), Nielsen, S. D. (Creator), Jørgensen, C. S. (Creator), Scharff, B. F. S. S. (Creator), Erikstrup, C. (Creator), Sækmose, S. G. (Creator), Holm, D. K. (Creator), Aagaard, B. (Creator), Norsk, J. (Creator), Nielsen, P. B. (Creator), Kristensen, J. H. (Creator), Østergaard, L. (Creator), Ellermann-Eriksen, S. (Creator), Andersen, B. (Creator), Nielsen, H. (Creator), Johansen, I. S. (Creator), Wiese, L. (Creator), Simonsen, L. (Creator), Fischer, T. K. (Creator), Folke, F. (Creator), Lippert, F. (Creator), Ostrowski, S. R. (Creator), Ethelberg, S. (Creator), Koch, A. (Creator), Vangsted, A.-M. (Creator), Krause, T. G. (Creator), Fomsgaard, A. (Creator), Nielsen, C. (Creator), Ullum, H. (Creator), Skov, R. (Creator) & Iversen, K. (Creator), Figshare, 2022

  DOI: 10.6084/m9.figshare.c.5837485.v1, https://springernature.figshare.com/collections/Seroprevalence_of_SARS-CoV-2_antibodies_in_social_housing_areas_in_Denmark/5837485/1

  Dataset

• SARS-CoV-2 antibody prevalence among homeless people and shelter workers in Denmark: a nationwide cross-sectional study

  Eriksen, A. R. R. (Creator), Fogh, K. (Creator), Hasselbalch, R. B. (Creator), Bundgaard, H. (Creator), Nielsen, S. D. (Creator), Jørgensen, C. S. (Creator), Scharff, B. F. S. S. (Creator), Erikstrup, C. (Creator), Sækmose, S. G. (Creator), Holm, D. K. (Creator), Aagaard, B. (Creator), Kristensen, J. H. (Creator), Bødker, C. A. (Creator), Norsk, J. B. (Creator), Nielsen, P. B. (Creator), Østergaard, L. (Creator), Ellermann-Eriksen, S. (Creator), Andersen, B. (Creator), Nielsen, H. (Creator), Johansen, I. S. (Creator), Wiese, L. (Creator), Simonsen, L. (Creator), K.Fischer, T. (Creator), Folke, F. (Creator), Lippert, F. (Creator), Ostrowski, S. R. (Creator), Ethelberg, S. (Creator), Koch, A. (Creator), Vangsted, A.-M. (Creator), Krause, T. (Creator), Fomsgaard, A. (Creator), Nielsen, C. (Creator), Ullum, H. (Creator), Skov, R. (Creator) & Iversen, K. (Creator), Figshare, 2022

  DOI: 10.6084/m9.figshare.c.6067880.v1, https://springernature.figshare.com/collections/SARS-CoV-2_antibody_prevalence_among_homeless_people_and_shelter_workers_in_Denmark_a_nationwide_cross-sectional_study/6067880/1

  Dataset

• Resources for Lothbrok: Optimizing SPARQL Queries over Decentralized Knowledge Graphs

  Aebeloe, C. (Contributor), Montoya, G. (Contributor) & Hose, K. (Contributor), Zenodo, 2022

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

  Dataset

• Code-level experimental result data of deep learning based diagnosis code prediction using patient medication history

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

  DOI: 10.7910/dvn/olnjma, https://dataverse.harvard.edu/citation%3FpersistentId=doi:10.7910/DVN/OLNJMA

  Dataset

• Artifact for "NetStack: A Game Approach to Synthesizing Consistent Network Updates"

  Schmid, S. (Creator), Schrenk, B. C. (Creator) & Torralba, Á. (Creator), Zenodo, 2022

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

  Dataset

• DEIS-Tools/libprlearn: 1.0.8

  Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Mikučionis, M. (Creator), Zenodo, 10 Sept 2021

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

  Dataset

• DEIS-Tools/libstrategy: 1.0.8b

  Jensen, P. G. (Creator), Jørgensen, K. Y. (Creator) & Rendal, R. (Creator), Zenodo, 10 Sept 2021

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

  Dataset

• Muscuskeletal model for Trend Validation of Metabolic Models Against Measurements Using Indirect Calorimetry

  Lentz-Nielsen, N. (Creator), Boysen, M. (Creator), Munk-Hansen, M. (Creator), Laursen, A. (Creator), Steffensen, M. (Creator), Keller Engelund, B. (Creator), Iversen, K. (Creator) & de Zee, M. (Creator), Zenodo, 3 Sept 2021

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

  Dataset

• Testing isomorph theory with high pressure diffraction on glass-forming liquid

  Niss, K. (Creator), Markus, A. (Creator), Julio, C. G. (Creator), Erik, L. (Creator), David, N. (Creator), Friis, P. H. (Creator) & SMEDSKJAER, M. M. (Creator), Institut Laue-Langevin (ILL), 24 Aug 2021

  DOI: 10.5291/ill-data.6-05-1045, https://doi.ill.fr/10.5291/ILL-DATA.6-05-1045

  Dataset

• A Survey of European Cybersecurity in Higher Education Programs

  Dragoni, N. (Creator), Massacci, F. (Creator), Lluch-Lafuente, A. (Creator) & Schlichtkrull, A. (Creator), IEEE DataPort, 15 Jul 2021

  DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs

  Dataset

• A Theory of Scrum Team Effectiveness: Dataset and Supplementary Materials

  Verwijs, C. (Creator) & Russo, D. (Creator), Zenodo, 2021

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

  Dataset: Supplementary material

• Code, Benchmarks, and Data of Faster Stackelberg Planning via Symbolic Search and Information Sharing

  Torralba, A. (Contributor) & Speicher, P. (Contributor), Zenodo, 2021

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

  Dataset

• Artefact for: Automatic Synthesis of Transiently Correct Network Updates via Petri Games

  Didriksen, M. (Creator), Jensen, P. G. (Creator), Jønler, J. F. (Creator), Katona, A.-I. (Creator), Lama, S. D. L. (Creator), Lottrup, F. B. (Creator), Shajarat, S. (Creator) & Srba, J. (Creator), Zenodo, 2021

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

  Dataset

• Models for "Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds"

  Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Rasmussen, M. R. (Creator) & Srba, J. (Creator), Zenodo, 2021

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

  Dataset

• Replication Package of: "From Anecdote to Evidence: The Relationship Between Personality and Need for Cognition"

  Russo, D. (Creator), Arredondo, A. R. M. (Creator) & Stol, K.-J. (Creator), Zenodo, 2021

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

  Dataset

• Code and Benchmarks from the paper "Automatic Instance Generation for Classical Planning"'

  Torralba, A. (Creator), Seipp, J. (Creator), Sievers, S. (Creator), Torralba, A. (Contributor), Seipp, J. (Contributor) & Sievers, S. (Contributor), Zenodo, 2021

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

  Dataset

• Repeatability Package for: Improvements in Unfolding of Colored Petri Nets

  Bilgram, A. (Contributor), Jensen, P. G. (Contributor), Pedersen, T. (Contributor), Srba, J. (Contributor) & Taankvist, P. H. (Contributor), Zenodo, 2021

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

  Dataset

• Reproducibility Package: Automata-Driven Partial Order Reduction and Guided Search for LTL

  Gjøl Jensen, P. (Creator), Srba, J. (Creator), Jensen Ulrik, N. (Creator) & Mejlby Virenfeldt, S. (Creator), Zenodo, 2021

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

  Dataset

• Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"

  Jensen, P. G. (Creator), Schmid, S. (Creator), Schou, M. K. (Creator), Srba, J. (Creator), Vanerio, J. (Creator) & Duijn, I. V. (Creator), Zenodo, 2021

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

  Dataset

• A core ontology for modeling life cycle sustainability assessment on the Semantic Web with Accompanying Database

  Ghose, A. (Contributor), Lissandrini, M. (Contributor), Hansen, E. R. (Contributor) & Weidema, B. P. (Contributor), Zenodo, 2021

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

  Dataset

• Generating Instructions at Different Levels of Abstraction

  The, 2. I. C. O. C. L. 2. (Creator), Hoffmann, J. (Creator), Höller, D. (Creator), Köhn, A. (Creator), Koller, A. (Creator), Torralba, Á. (Creator) & Wichlacz, J. (Creator), Underline Science Inc., 8 Dec 2020

  DOI: 10.48448/9ecx-eq63, https://underline.io/lecture/6296-generating-instructions-at-different-levels-of-abstraction

  Dataset: Supplementary material

• COGNET: The Planetary Cognition Delivery Network

  The, E. A. C. O. H. C. A. C. 2. (Creator), Hosio, S. (Creator) & van Berkel, N. (Creator), Underline Science Inc., 26 Oct 2020

  DOI: 10.48448/0hr8-xb79, https://underline.io/lecture/4741-cognet-the-planetary-cognition-delivery-network

  Dataset: Supplementary material