Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2023

    Compressed, Real-Time Voice Activity Detection with Open Source Implementation for Small Devices.

    Andersen, L. R., Jacobsen, L. J. & Campos, D., 21 Sept 2023, iWOAR 2023: 8th International Workshop on Sensor-based Activity Recognition and Artificial Intelligence, Proceedings. Matthies, D. J. C., Grzegorzek, M., Kuijper, A. & Leutheuser, H. (eds.). 10 p. 1

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Controllable Structure Planning for Energy Internet

    Li, Y., Li, T., Gui, Y., Gao, D. W. & Zhang, Y., 2023, 2022 1st International Conference on Cyber-Energy Systems and Intelligent Energy, ICCSIE 2022. IEEE Signal Processing Society, 6 p. 10175258

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Danish Citizens' Expectations for mHealth Prescription

    Jensen, V. V., Høg Sørensen, T., Ørsted Kristensen, A. & Eriksen, J., 18 May 2023, Caring is Sharing – Exploiting the Value in Data for Health and Innovation. Hagglund, M., Blusi, M., Bonacina, S., Nilsson, L., Madsen, I. C., Pelayo, S., Moen, A., Benis, A., Lindskold, L. & Gallos, P. (eds.). IOS Press, Vol. 302. p. 468-469 2 p. (Studies in Health Technology and Informatics, Vol. 32).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium

    Przybyłek, A., Karpus, A., Hadjali, A., Dignös, A., Hara, C. S., Karidi, D. P., Zumpano, E., Persia, F., Vargas-Solar, G., Papastefanatos, G., Sperlì, G., Giannopoulos, G., Luković, I., Aligon, J., Terrovitis, M., Grzegorowski, M., Bonomo, M., Ferrari, M. H., Labroche, N., Monsarrat, P., & 9 othersChbeir, R., Sellami, S., Tirupathi, S., Rombo, S. E., Kordić, S., Ristić, S., Di Noia, T., Pedersen, T. B. & Moscato, V., 2023, New Trends in Database and Information Systems: ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Proceedings. Abelló, A., Romero, O., Vassiliadis, P., Wrembel, R., Bugiotti, F., Gamper, J., Vargas Solar, G. & Zumpano, E. (eds.). Springer, p. 293-311 19 p. (Communications in Computer and Information Science, Vol. 1850 CCIS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Data-Enabled Sustainability: The Collective Work of Turning Data into Actions for Environmental Care

    Rossitto, C., Lindrup, M., Comber, R., Tholander, J., Jacobsson, M., Cabral, A. & Jensen, R. H., 14 Oct 2023, CSCW 2023 Companion - Conference Companion Publication of the 2023 Computer Supported Cooperative Work and Social Computing. Ames, M., Fussell, S., Gilbert, E., Liao, V., Ma, X., Page, X., Rouncefield, M., Singh, V. & Wisniewski, P. (eds.). Association for Computing Machinery, p. 506-511 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Data Imputation for Sparse Radio Maps in Indoor Positioning

    Li, X., Li, H., Chan, H. K. H., Lu, H. & Jensen, C. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, p. 2235-2248 14 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Demonstrating SurfaceCast: Ubiquitous, Cross-Device Surface Sharing

    Echtler, F., Maierhöfer, V., Hansen, N. B. & Wimmer, R., 5 Nov 2023, ISS 2023 - Proceedings of the 2023 Conference on Interactive Surfaces and Spaces. Biehl, J., Carter, S., Lucero, A., Makela, V. & Alt, F. (eds.). New York, NY, USA: Association for Computing Machinery, p. 65–68 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Designing for Digital Environmental Stewardship in Waste Management

    Lindrup, M., Tholander, J., Rossitto, C., Comber, R. & Jacobsson, M., 10 Jul 2023, DIS 2023 - Proceedings of the 2023 ACM Designing Interactive Systems Conference. Pittsburgh, PA, USA: Association for Computing Machinery, p. 1581–1594 14 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

    Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE, p. 64-70 7 p. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    30 Downloads (Pure)

  • Do bridges dream of water pollutants? Towards DreamsKG, a knowledge graph to make digital access for sustainable environmental assessment come true

    Garigliotti, D., Bjerva, J., Nielsen, F. Å., Butzbach, A., Lyhne, I., Kørnøv, L. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Proceedings of the Comopanion of the : 2023 World Wide Web Conference . Association for Computing Machinery, p. 724-730 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)
    14 Downloads (Pure)

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Nov 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    22 Downloads (Pure)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 Nov 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer, p. 83-99 17 p. (Lecture Notes in Computer Science, Vol. 14308).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Downloads (Pure)

  • Dynamic Influence Diagram-Based Deep Reinforcement Learning Framework and Application for Decision Support for Operators in Control Rooms

    Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Madsen, A. L. & Baldissone, G., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Brito, M. P., Aven, T., Baraldi, P., Čepin, M. & Zio, E. (eds.). Research Publishing, p. 2806-2813 P531

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 44-52 9 p. (Lecture Notes in Computer Science, Vol. LNCS 13994).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    54 Downloads (Pure)

  • Edge Computing Tasks Orchestration: An Energy-Aware Approach

    Thomsen, J. L., Thomsen, K., Schmidt, R. B., Jakobsgaard, S. D., Beregaard, T., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (eds.). IEEE, p. 115-117 3 p. (Proceedings - IEEE International Conference on Edge Computing, Vol. 2023-July).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Efficient Cardinality and Cost Estimation with Bidirectional Compressor-based Ensemble Learning

    Liang, Z., Chen, X., Zhao, Y., Xie, J., Zeng, K. & Zheng, K., 2023, IEEE International Conference on Data Mining (ICDM). IEEE, p. 388-397 (ICDM).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    95 Downloads (Pure)

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (eds.). AAAI Press, p. 138-147 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 33).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Efficiently Learning Spatial Indices

    Liu, G., Qi, J., Jensen, C. S., Bailey, J. & Kulik, L., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, Vol. 2023-april. p. 1572-1584 13 p. (Proceedings - International Conference on Data Engineering, Vol. 2023-April).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Eliciting Empathy towards Urban Accessibility Issues

    Paananen, V., Visuri, A., Van Berkel, N. & Hosio, S., 20 Sept 2023, CHItaly '23: Proceedings of the 15th Biannual Conference of the Italian SIGCHI Chapter. Association for Computing Machinery, p. 1-13 14

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. LNCS 13872. p. 163-179 17 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing

    Mietkiewicz, J. & Madsen, A. L., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings. Bouraoui, Z. & Vesic, S. (eds.). Springer, p. 15-26 12 p. (Lecture Notes in Computer Science, Vol. LNCS 14294).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Example-Driven Exploratory Analytics over Knowledge Graphs

    Lissandrini, M., Hose, K. & Pedersen, T. B., 2023, Proceedings of the 26th International Conference on Extending Database Technology, EDBT 2023. OpenProceedings.org, p. 105-117 13 p. (Advances in Database Technology, Vol. 26).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    19 Downloads (Pure)

  • EXOGEM: Extending OpenAPI Generator for monitoring of RESTful APIs

    Holtebo, D. F., Sommer, J. L., Mølgaard Lund, M., Tibo, A., Dongo, J. & Albano, M., 2023, Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings. Troya, J., Mirandola, R., Navarro, E., Delgado, A., Segura, S., Fernández, P., Ortiz, G., Pautasso, C., Zirpins, C. & Ruiz-Cortés, A. (eds.). Springer, p. 118-129 12 p. (Lecture Notes in Computer Science, Vol. 13821).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Explaining Software Project Risks in Agile Teams: An Action Case using Causal Mapping

    Hein, D. K., Persson, J. S. & Nielsen, P. A., 2023, Proceedings of the 14th Scandinavian Conference on Information Systems. Penttinen, E., Suvivuo, S., Tuunainen, V. K., Rossi, M. & Ghanbari, H. (eds.). The Association for Information Systems (AIS), p. 1-15 4

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    75 Downloads (Pure)

  • Exploring Values of Energy Justice: A Case Study of a Burgeoning Energy Community

    Jensen, V. V. & Jensen, R. H., 19 Apr 2023, CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 9 p. 385

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    134 Downloads (Pure)

  • Failed yet successful: Learning from discontinued civic tech initiatives

    Hamm, A., Shibuya, Y., Pargman, T. C., Bendor, R., Hansen, N. B., Raetzsch, C., Shoji, M., Bieber, C., Hendawy, M., Klerks, G. & Schouten, B., 19 Apr 2023, CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 5 p. 348

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Fault Tolerant Horizontal Computation Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (eds.). IEEE, p. 177-182 6 p. (Proceedings - IEEE International Conference on Edge Computing, Vol. 2023-July).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • FDA-HeatFlex: Scalable Privacy-Preserving Temperature and Flexibility Prediction for Heat Pumps using Federated Domain Adaptation

    Khanal, S., Ho, N. & Pedersen, T. B., 20 Jun 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 172-183 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • FlexConnect: Mobile Computational Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 17 Oct 2023, Proceedings of 3rd Eclipse Security, AI, Architecture and Modelling Conference on Cloud to Edge Continuum, eSAAM 2023. Association for Computing Machinery, p. 29-38 10 p. (ACM International Conference Proceeding Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • Fusing Local and Global Mobility Patterns for Trajectory Recovery

    Deng, L., Zhao, Y., Sun, H., Yang, C., Xie, J. & Zheng, K., 2023, Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023. Wang, X., Sapino, M. L., Han, W-S., El Abbadi, A., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (eds.). p. 448-463 16 p. (Lecture Notes in Computer Science; No. 13943).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • GInRec: A Gated Architecture for Inductive Recommendation using Knowledge Graphs

    Jendal, T. E., Lissandrini, M., Dolog, P. & Hose, K., 23 Nov 2023, KaRS 2023 Knowledge-aware and Conversational Recommender Systems 2023: Proceedings of the Fifth Knowledge-aware and Conversational Recommender Systems Workshop co-located with 17th ACM Conference on Recommender Systems (RecSys 2023). Anelli, V. W., Basile, P., De Melo, G., Donini, F. M., Ferrara, A., Musto, C., Narducci, F., Ragone, A. & Zanker, M. (eds.). CEUR Workshop Proceedings, p. 80-89 10 p. (CEUR Workshop Proceedings, Vol. 3560).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • GLENDA: Querying RDF Archives with Full SPARQL

    Pelgrin, O., Taelman, R., Galárraga, L. & Hose, K., 2023, The Semantic Web: ESWC 2023 Satellite Events, Proceedings. Pesquita, C., Skaf-Molli, H., Efthymiou, V., Kirrane, S., Ngonga, A., Collarana, D., Cerqueira, R., Alam, M., Trojahn, C. & Hertling, S. (eds.). Springer Science+Business Media, p. 75-80 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13998 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Gradual Language Model Adaptation Using Fine-Grained Typology

    Fekete, M. R. & Bjerva, J., May 2023, Proceedings of the 5th Workshop on Research in Computational Linguistic Typology and Multilingual NLP. Association for Computational Linguistics, p. 153-158 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • Graph Mining and Machine Learning for Shader Codes Analysis to Accelerate GPU Tuning

    Zhao, L., Khan, A., Luo, R. & Yeo, C. K., 2023, Complex Networks and Their Applications - Proceedings of the 11th International Conference: COMPLEX NETWORKS 2022. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). International Conference on Complex Networks and Their Applications: Springer Publishing Company, p. 426-439 14 p. (Studies in Computational Intelligence (Springer SCI), Vol. 1077).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Graph Neural Networks for Metagenomic Binning

    Lamurias, A., Tibo, A., Hose, K., Albertsen, M. & Nielsen, T. D., 2023, The 2023 ICML Workshop on Computational Biology. 7 p. 81

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • Guaranteed safe controller synthesis for switched systems using analytical solutions

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE, p. 784-790 7 p. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    37 Downloads (Pure)

  • Heat FlexOffers: a device-independent and scalable representation of electricity-heat flexibility

    Lilliu, F., Pedersen, T. B. & Siksnys, L., 20 Jun 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 374-385 12 p. (e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • History-Deterministic Parikh Automata

    Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., Sept 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 279. p. 31:1-31:16 16 p. 31. (Leibniz International Proceedings in Informatics).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)

  • Holistic Analytics of Sensor Data from Renewable Energy Sources: A Vision Paper

    Jensen, S. K. & Thomsen, C., 31 Aug 2023, New Trends in Database and Information Systems, ADBIS 2023 Proceedings. Abelló, A., Romero, O., Vassiliadis, P., Wrembel, R., Bugiotti, F., Gamper, J., Vargas Solar, G. & Zumpano, E. (eds.). Springer, p. 360-366 7 p. (Communications in Computer and Information Science, Vol. 1850 CCIS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File

  • "If I Had All the Time in the World": Ophthalmologists' Perceptions of Anchoring Bias Mitigation in Clinical AI Support

    Bach, A., Munch Nørgaard, T., Christian Brok, J. & van Berkel, N., 19 Apr 2023, CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-14 14 p. 16

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Jajapy: A Learning Library for Stochastic Models

    Reynouard, R., Ingolfsdottir, A. & Bacci, G., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 30-46 17 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 14287).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Joint Link Prediction Via Inference from a Model

    Naddaf, P., Nejad, E. M. A., Zahirnia, K., Jaeger, M. & Schulte, O., 21 Oct 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1877-1886 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Learned Bloom Filter for Multi-key Membership Testing

    Li, Y., Wang, Z., Yang, R., Zhao, Y., Zhou, R. & Zheng, K., 2023, Database Systems for Advanced Applications - 28th International Conference, DASFAA 2023, Proceedings: 28th International Conference, DASFAA 2023. Wang, X., Sapino, M. L., Han, W-S., Abbadi, A. E., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (eds.). Springer Nature Switzerland AG, p. 62-79 18 p. (Lecture Notes in Computer Science; No. 13943).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Learned Probing Cardinality Estimation for High-Dimensional Approximate NN Search

    Zheng, B., Yue, Z., Hu, Q., Yi, X., Luan, X., Xie, C., Zhou, X. & Jensen, C. S., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, p. 3209-3221 13 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Learning Style Classification by Using Bayesian Networks Based on the Index of Learning Style

    Usme, Y. P. V., Normann, M., Sapsai, I., Abke, J., Madsen, A. L. & Weidl, G., 19 Jun 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association for Computing Machinery, p. 73-82 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 May 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Science+Business Media, p. 104-121 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 13903 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • LightPath: Lightweight and Scalable Path Representation Learning

    Yang, S. B., Hu, J., Guo, C., Yang, B. & Jensen, C. S., 6 Aug 2023, Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2999-3010 12 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Living with Sound Zones: A Long-term Field Study of Dynamic Sound Zones in a Domestic Context

    Jacobsen, R. M., Skov, K. F., Johansen, S. S., Skov, M. B. & Kjeldskov, J., 19 Apr 2023, CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-14 405

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Metagenomic Binning using Connectivity-constrained Variational Autoencoders

    Lamurias, A., Tibo, A., Hose, K., Nielsen, T. D. & Albertsen, M., 2023, Proceedings of the 40th International Conference on Machine Learning. Krause, A. & Brunskill, E. (eds.). p. 18471–18481 762. (The Proceedings of Machine Learning Research, Vol. 202).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • Minimization of Dynamical Systems over Monoids

    Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 14 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review