Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2023

    History-Deterministic Parikh Automata

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (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. (red.). Springer, s. 360-366 7 s. (Communications in Computer and Information Science, Bind 1850 CCIS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Downloads (Pure)

  • "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, s. 1-14 14 s. 16

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    1 Downloads (Pure)

  • 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. (red.). Springer, s. 30-46 17 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • Joint Link Prediction Via Inference from a Model

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. (red.). Springer Nature Switzerland AG, s. 62-79 18 s. (Lecture Notes in Computer Science; Nr. 13943).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (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, s. 3209-3221 13 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (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, s. 73-82 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (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 maj 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Science+Business Media, s. 104-121 18 s. (Lecture Notes in Computer Science (LNCS), Bind 13903 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (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, s. 2999-3010 12 s. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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, s. 1-14 405

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (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. (red.). s. 18471–18481 762. (The Proceedings of Machine Learning Research, Bind 202).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 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 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Mining Seasonal Temporal Patterns in Time Series

    Ho, V. L., Ho, N. & Pedersen, T. B., 7 apr. 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE Communications Society, s. 2249-2261 13 s. 10184527. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., 17 sep. 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (red.). Springer Nature Switzerland AG, s. 113-130 18 s. (Lecture Notes in Computer Science; Nr. 14290).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Moral Transparency as a Mitigator of Moral Bias in Conversational User Interfaces

    Wester, J., Lee, M. & van Berkel, N., 19 jul. 2023, Proceedings of the 5th International Conference on Conversational User Interfaces (CUI ’23). Lee, M., Munteanu, C., Porcheron, M., Trippas, J. & Völkel, S. T. (red.). Association for Computing Machinery, 6 s. 12

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    1 Downloads (Pure)

  • Most Probable Densest Subgraphs

    Saha, A., Ke, X., Khan, A. & Long, C., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, s. 1447-1460 14 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • OntoEval: an Automated Ontology Evaluation System

    Zaitoun, A., Sagi, T. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 82–85 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

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

    Kochdumper, N., Schilling, C., Althoff, M. & Bak, S., 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Nature Switzerland AG, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13903).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    8 Citationer (Scopus)

  • Patient Event Sequences for Predicting Hospitalization Length of Stay

    Hansen, E. R., Nielsen, T. D., Larsen, T. M., Strausholm, M. N., Sagi, T. & Hose, K., 7 jun. 2023, Artificial Intelligence in Medicine: 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12–15, 2023, Proceedings. Juarez, J. M., Marcos, M., Stiglic, G. & Tucker, A. (red.). Springer, s. 51-56 6 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 13897).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Personalized Location-Preference Learning for Federated Task Assignment in Spatial Crowdsourcing

    Zhong, X., Miao, H., Qiu, D., Zhao, Y. & Zheng, K., 21 okt. 2023, Proceedings of the 32nd ACM International Conference on Information and Knowledge Management (CIKM '23). Association for Computing Machinery, s. 3534-3543 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer Nature Switzerland AG, s. 180-187 8 s. (Lecture Notes in Computer Science; Nr. 13872).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Provotyping Accountability: Exploring Smartphone Use in the Home through Design

    Jensen, R. H., Encinas, E., Strengers, Y., Dannesboe, C., Kruuse, E., Skovby, J., Bach, M., Tietze, P. & Christensen, S., 2023, Proceedings of the 2023 ACM Designing Interactive Systems Conference (DIS '23). Association for Computing Machinery, s. 1595–1609 15 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    109 Downloads (Pure)

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (red.). Springer Nature Switzerland AG, s. 96-112 17 s. (Lecture Notes in Computer Science; Nr. 14290).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Reinforcement Learning based Tree Decomposition for Distance Querying in Road Networks

    Zheng, B., Ma, Y., Wan, J., Gao, Y., Huang, K., Zhou, X. & Jensen, C. S., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, s. 1678-1690 13 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • RHB-Net: A Relation-aware Historical Bridging Network for Text2SQL Auto-Completion

    Zheng, B., Bi, L., Xi, R., Chen, L., Gao, Y., Zhou, X. & Jensen, C. S., 19 jul. 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, s. 1458-1467 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Robust Alternating-Time Temporal Logic

    Murano, A., Neider, D. & Zimmermann, M., 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (red.). Springer Nature Switzerland AG, s. 796-813 18 s. (Lecture Notes in Computer Science; Nr. 14281).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • S 2TUL: A Semi-Supervised Framework for Trajectory-User Linking

    Deng, L., Sun, H., Zhao, Y., Liu, S. & Zheng, K., 27 feb. 2023, WSDM 2023 - Proceedings of the 16th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 375-383 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang

  • Scaling Large RDF Archives to Very Long Histories

    Pelgrin, O., Taelman, R., Galarraga, L. & Hose, K., 2023, Proceedings - 17th IEEE International Conference on Semantic Computing, ICSC 2023. IEEE, s. 41-48 8 s. (IEEE International Conference on Semantic Computing (ICSC)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    30 Downloads (Pure)

  • Scientific Data Extraction from Oceanographic Papers

    Veyhe, B. E., Sagi, T. & Hose, K., 30 apr. 2023, Companion Proceedings of the ACM Web Conference 2023 (WWW '23 Companion). Association for Computing Machinery, s. 800–804 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • SEA: A Scalable Entity Alignment System

    Wu, J., Li, T., Chen, L., Gao, Y. & Wei, Z., 19 jul. 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, s. 3175-3179 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    71 Downloads (Pure)

  • SHACTOR: Improving the Quality of Large-Scale Knowledge Graphs with Validating Shapes

    Rabbani, K., Lissandrini, M. & Hose, K., 4 jun. 2023, Companion of the 2023 International Conference on Management of Data (SIGMOD '23). Association for Computing Machinery, s. 151-154 4 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • SimiDTR: Deep Trajectory Recovery with Enhanced Trajectory Similarity

    Zhang, Y., Deng, L., Zhao, Y., Chen, J., Xie, J. & Zheng, K., 2023, Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17–20, 2023, Proceedings, Part I. Wang, X., Sapino, M. L., Han, W-S., El Abbadi, A., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (red.). Springer, s. 431-447 17 s. (Lecture Notes in Computer Science, Bind LNCS 13943).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • StarBench: Benchmarking RDF-star Triplestores

    Abuoda, G., Aebeloe, C., Dell'Aglio, D., Keen, A. & Hose, K., 2023, Joint Proceedings of the QuWeDa and MEPDaW 2023: 7th Workshop on Storing, Querying and Benchmarking Knowledge Graphs and 9th Workshop on Managing the Evolution and Preservation of the Data Web co-located with 22nd International Semantic Web Conference (ISWC 2023). CEUR Workshop Proceedings, 16 s. (CEUR Workshop Proceedings, Bind 3565).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    4 Downloads (Pure)

  • ST-MoE: Spatio-Temporal Mixture-of-Experts for Debiasing in Traffic Prediction

    Li, S., Cui, Y., Zhao, Y., Yang, W., Zhang, R. & Zhou, X., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1208–1217 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • symQV: Automated Symbolic Verification of Quantum Programs

    Bauer-Marquart, F., Leue, S. & Schilling, C., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (red.). Springer, s. 181-198 18 s. (Lecture Notes in Computer Science, Bind LNCS 14000).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    3 Citationer (Scopus)

  • TARGET-tool: Participatory Design of an Interactive Professional Development Tool for Secondary School Physical Education Teachers

    Weeldenburg, G., Kromkamp, L., Borghouts, L., Verburg, P., Hansen, N. B. & Vos, S., 9 jun. 2023, ICFET '23: Proceedings of the 2023 9th International Conference on Frontiers of Educational Technologies. Association for Computing Machinery, s. 40-51 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    12 Downloads (Pure)

  • Task Assignment with Spatio-temporal Recommendation in Spatial Crowdsourcing

    Zhu, C., Cui, Y., Zhao, Y. & Zheng, K., 2023, Web and Big Data: 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part I. Li, B., Tao, C., Yue, L., Han, X., Calvanese, D. & Amagasa, T. (red.). Springer, s. 264-279 16 s. (Lecture Notes in Computer Science, Bind LNCS 13421).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • The Character of Eco-feedback Systems for Energy Communities

    Gil Peña, È. & Jensen, R. H., 29 maj 2023, Proceedings of the 11th International Conference on Communities and Technologies: Humanization of Digital Technologies 2023, C&T '23. Association for Computing Machinery, s. 203–214 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    96 Downloads (Pure)

  • The Past, Present, and Future of Typological Databases in NLP

    Baylor, E., Ploeger, E. & Bjerva, J., dec. 2023, Findings of the Association for Computational Linguistics: EMNLP 2023. Association for Computational Linguistics, s. 1163-1169 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)

  • Tuning Shared Hospital Spaces: Sound Zones in Healthcare

    Fangel Skov, K., Axel Nielsen, P. & Kjeldskov, J., 30 aug. 2023, Proceedings of the 18th International Audio Mostly Conference, AM 2023. Association for Computing Machinery, s. 63-70 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Uncertain FlexOffers: a scalable, uncertainty-aware model for energy flexibility

    Lilliu, F., Pedersen, T. B., Siksnys, L. & Neupane, B., 20 jun. 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 30-41 12 s. (e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    28 Downloads (Pure)

  • Uncertainty Quantification for Traffic Forecasting: A Unified Approach

    Qian, W., Zhang, D., Zhao, Y., Zheng, K. & Yu, J. J. Q., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, s. 992-1004 13 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • Unsupervised Entity Alignment for Temporal Knowledge Graphs

    Liu, X., Wu, J., Li, T., Chen, L. & Gao, Y., 30 apr. 2023, ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 2528–2538 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

    Kiviriga, A., Larsen, K. G., Nickovic, D. & Nyman, U., 2023, Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings. Petrucci, L. & Sproston, J. (red.). Springer, s. 141-157 17 s. (Lecture Notes in Computer Science, Bind 14138 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil

  • User Experience in Large-Scale Robot Development: A Case Study of Mechanical and Software Teams

    Nielsen, S., Skov, M. B. & Bruun, A., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, Proceedings, Part II. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (red.). Springer Science+Business Media, s. 40-61 22 s. (Lecture Notes in Computer Science (LNCS), Bind 14143).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Using Colour and Brightness for Sound Zone Feedback

    Johansen, S. S., Nielsen, P. A., Stec, K. & Kjeldskov, J., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (red.). Springer, s. 247-272 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14142 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Verified Verifying: SMT-LIB for Strings in Isabelle

    Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 10 aug. 2023, Implementation and Application of Automata: 27th International Conference, CIAA 2023, Proceedings. Nagy, B. (red.). Springer Nature Switzerland AG, s. 206-217 12 s. (Lecture Notes in Computer Science; Nr. 14151).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Visualizing How-Provenance Explanations for SPARQL Queries

    Galárraga, L., Hernández, D., Katim, A. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 212-216 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review