Institut for Datalogi

Søgeresultater

• Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"

  Jensen, P. G. (Ophavsperson), Schmid, S. (Ophavsperson), Schou, M. K. (Ophavsperson) & Srba, J. (Ophavsperson), Zenodo, 1 aug. 2022

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

  Datasæt

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

  Cucolas, A.-A. (Ophavsperson) & Russo, D. (Ophavsperson), Zenodo, 24 jun. 2022

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

  Datasæt

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

  Torralba, Á. (Ophavsperson), Seipp, J. (Ophavsperson) & Sievers, S. (Ophavsperson), Zenodo, 22 jun. 2022

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

  Datasæt

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

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

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

  Datasæt

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

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

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

  Datasæt

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

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

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

  Datasæt

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

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

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

  Datasæt

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

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

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

  Datasæt

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

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

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

  Datasæt

• PDDL Generators

  Seipp, J. (Ophavsperson), Torralba, Á. (Ophavsperson) & Hoffmann, J. (Ophavsperson), Zenodo, 24 mar. 2022

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

  Datasæt

• RDF2Vec Embeddings Generator

  Christensen, M. P. (Ophavsperson), Lissandrini, M. (Ophavsperson) & Hose, K. (Ophavsperson), Zenodo, 22 mar. 2022

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

  Datasæt

• EXIOBASE

  Consortium, E. (Ophavsperson) & Hansen, E. R. (Bidrager), Harvard Dataverse, 16 mar. 2022

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

  Datasæt

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

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

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

  Datasæt: Supplerende materiale

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

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

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

  Datasæt: Supplerende materiale

• Nfer capsule demonstrating command-line use with the LANL spec

  Kauffman, S. (Ophavsperson), Code Ocean, 2022

  DOI: 10.24433/co.0237670.v1, https://codeocean.com/capsule/0105336/tree/v1

  Datasæt

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

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

  Datasæt

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

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

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

  Datasæt

• Artefact for "Playing Wordle with Uppaal Stratego"

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

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

  Datasæt

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

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

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

  Datasæt

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

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

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

  Datasæt

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

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

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

  Datasæt

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

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

  Datasæt

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

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

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

  Datasæt: Supplerende materiale

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

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

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

  Datasæt

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

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

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

  Datasæt