Department of Computer Science

Search results

• The Impact of Working From Home on the Success of Scrum Projects: A Multi-Method Study

  Cucolas, A.-A. (Creator) & Russo, D. (Creator), Zenodo, 24 Jun 2022

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

  Dataset

• Data for domains without generator for the ICAPS 2021 paper "Automatic Instance Generation for Classical Planning"'

  Torralba, Á. (Creator), Seipp, J. (Creator) & Sievers, S. (Creator), Zenodo, 22 Jun 2022

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

  Dataset

• Tutorial for the 2022 ACM SIGMOD Conference: Spatial Data Quality in the IoT Era: Management and Exploitation

  Li, H. (Creator), Tang, B. (Creator), Lu, H. (Creator), Cheema, M. A. (Creator) & Jensen, C. S. (Creator), Zenodo, 17 Jun 2022

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

  Dataset

• Models for "Optimal Control Strategies for Stormwater Detention Ponds"

  Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator), Srba, J. (Creator) & Zhao, G. (Creator), Zenodo, 30 May 2022

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

  Dataset

• The Project of Efficient and Error-bounded Spatiotemporal Quantile Monitoring in Edge Computing Environments

  Li, H. (Creator), Yi, L. (Creator), Tang, B. (Creator), Lu, H. (Creator) & Jensen, C. S. (Creator), Zenodo, 25 May 2022

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

  Dataset

• Repeatability package for: Methods for Efficient Unfolding of Colored Petri Nets

  Kristensen, A. B. (Creator), Jensen, P. G. (Creator), Pedersen, T. (Creator), Srba, J. (Creator) & Taankvist, P. H. (Creator), Zenodo, 6 Apr 2022

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

  Dataset

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

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

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

  Dataset

• Distributed Fleet Management in Noisy Environments via Model-Predictive Control: Reproducibility package for the accepted ICAPS '22 submission

  Bøgh, S. (Creator), Jensen, P. G. (Creator), Kristjansen, M. (Creator), Nyman, U. (Creator) & Larsen, K. G. (Creator), Zenodo, 25 Mar 2022

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

  Dataset

• PDDL Generators

  Seipp, J. (Creator), Torralba, Á. (Creator) & Hoffmann, J. (Creator), Zenodo, 24 Mar 2022

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

  Dataset

• DBpedia RDF2Vec Graph Embeddings

  Christensen, M. P. (Creator), Lissandrini, M. (Creator) & Hose, K. (Creator), Zenodo, 22 Mar 2022

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

  Dataset

• EXIOBASE

  Consortium, E. (Creator) & Hansen, E. R. (Contributor), Harvard Dataverse, 16 Mar 2022

  DOI: 10.7910/dvn/xkzqua, https://dataverse.harvard.edu/citation?persistentId=doi:10.7910/DVN/XKZQUA

  Dataset

• Supplementary Materials: Developers Activity Satisfaction and Performance during the COVID-19 Pandemic

  Russo, D. (Creator), Hanel, P. H. P. (Creator), Altnickel, S. (Creator) & van Berkel, N. (Creator), Zenodo, 14 Feb 2022

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

  Dataset: Supplementary material

• Artefact for "End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego"

  Hasrat, I. R. (Creator), Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Srba, J. (Creator), Zenodo, 2022

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

  Dataset

• How Scrum Adds Value to Achieving Software Quality?

  Alami, A. (Contributor), Zenodo, 2022

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

  Dataset

• Reproducibility package for: AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences

  Larsen, K. G. (Contributor), Mariegaard, A. (Contributor), Schmid, S. (Contributor) & Srba, J. (Contributor), Zenodo, 2022

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

  Dataset

• Code, Benchmarks, and Data of "Towards Believable Non-Player Characters with Domain-Independent Planning"

  Johansen, N. S. (Contributor), Kær, L. B. (Contributor), Tollund, R. G. (Contributor) & Torralba, Á. (Contributor), Zenodo, 2022

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

  Dataset

• Artefact for "Playing Wordle with Uppaal Stratego"

  Jensen, P. G. (Creator), Larsen, K. G. (Creator) & Mikucionis, M. (Creator), Zenodo, 2022

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

  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.7219832, https://zenodo.org/record/7219832

  Dataset

• Supplementary Materials: Developers Activity Satisfaction and Performance during the COVID-19 Pandemic

  Russo, D. (Contributor), Hanel, P. H. P. (Contributor), Altnickel, S. (Contributor) & van Berkel, N. (Contributor), Zenodo, 2022

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

  Dataset: Supplementary material

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

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

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

  Dataset: Supplementary material

• Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

  Kochdumper, N. (Creator), Schilling, C. (Creator), Althoff, M. (Creator) & Bak, S. (Creator), Code Ocean, 2022

  DOI: 10.24433/co.0983169.v1, https://codeocean.com/capsule/8237552/tree/v1

  Dataset

• Automatically Extracted SHACL Shapes for WikiData, DBpedia, YAGO-4, and LUBM & Associated Coverage Statistics

  Rabbani, K. (Creator), Lissandrini, M. (Creator) & Hose, K. (Creator), Zenodo, 2022

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

  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

• 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

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

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

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

  Dataset