Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2022

    GNN-Retro: Retrosynthetic Planning with Graph Neural Networks

    Han, P., Zhao, P., Lu, C., Huang, J., Wu, J., Shang, S., Yao, B. & Zhang, X., 30 jun. 2022, AAAI-22 Technical Tracks 4. AAAI Press Association for the Advancement of Artificial Intelligence, s. 4014-4021 8 s. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Bind 36).

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

    21 Citationer (Scopus)

  • GOFLEX: extracting, aggregating and trading flexibility based on FlexOffers for 500+ prosumers in 3 European cities [operational systems paper]

    Neupane, B., Siksnys, L., Pedersen, T. B., Jensen, R. H., Aftab, M., Eck, B., Fusco, F., Gormally, R., Purcell, M., Tirupathi, S., Cerne, G., Brus, S., Papageorgiou, I., Meindl, G. & Roduit, P., 28 jun. 2022, e-Energy 2022 - Proceedings of the 2022 13th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 361–373 13 s.

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

    Åben adgang
    Fil
    5 Citationer (Scopus)
    95 Downloads (Pure)

  • GoMap Verification: A Labelled Traffic Sign Source

    Torp, K. & Pedersen, K., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, s. 296-297 2 s. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2022-June).

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

    1 Citationer (Scopus)

  • Graph Analysis of the Ethereum Blockchain Data: A Survey of Datasets, Methods, and Future Work

    Khan, A., 2022, Proceedings - 2022 IEEE International Conference on Blockchain, Blockchain 2022. IEEE International Conference on Blockchain 2022: IEEE, s. 250-257 8 s.

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

    9 Citationer (Scopus)

  • Graph-based Management and Mining of Blockchain Data

    Khan, A. & Akcora, C. G., 17 okt. 2022, CIKM 2022 - Proceedings of the 31st ACM International Conference on Information and Knowledge Management. 31st ACM International Conference on Information and Knowledge Management (CIKM ’22), October 17–21, 2022, Atlanta, GA, USA: Association for Computing Machinery, s. 5140-5143 4 s.

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

    2 Citationer (Scopus)

  • Graph-Flashback Network for Next Location Recommendation

    Rao, X., Chen, L., Liu, Y., Shang, S., Yao, B. & Han, P., 14 aug. 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 1463-1471 9 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

    49 Citationer (Scopus)

  • HeadsUp: Mobile Collision Warnings through Ultrasound Doppler Sensing

    Yaghoubisharif, N., Getschmann, C. & Echtler, F., 27 nov. 2022, Proceedings of the 21st International Conference on Mobile and Ubiquitous Multimedia: MUM '22. Doring, T., Boll, S., Colley, A., Esteves, A. & Guerreiro, J. (red.). New York, NY, USA: Association for Computing Machinery, s. 200–207 8 s. (MUM '22).

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

    Åben adgang
    Fil
    28 Downloads (Pure)

  • Homomorphisms of Lifted Planning Tasks: The Case for Delete-free Relaxation Heuristics

    Horčík, R., Fišer, D. & Torralba, A., jun. 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, Bind 36/9.

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

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

  • How organizations collaborate in the Digital Transformation towards Sustainability

    Bidragets oversatte titel: Hvordan virksomheder samarbejder i en digital transformation mod bæredygtighed Ananjeva, A., Persson, J. S. & Nielsen, P. A., aug. 2022, Thirtieth European Conference on Information Systems (ECIS 2022). European Conference on Information Systems, 1222

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

  • Hyperverlet: A Symplectic Hypersolver for Hamiltonian Systems

    Mathiesen, F., Yang, B. & Hu, J., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Publications, s. 4575-4582

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

  • IKAROS: An Indoor Keyword-Aware Routing System

    Liu, T., Feng, Z., Li, H., Lu, H., Shou, L. & Xu, J., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE Computer Society Press, s. 3182-3185 4 s. (Proceedings - International Conference on Data Engineering, Bind 2022-May).

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

    1 Citationer (Scopus)

  • Importance Splitting in Uppaal

    Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 17 okt. 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (red.). s. 433-447 15 s. (Lecture Notes in Computer Science, Bind 13703).

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

    1 Citationer (Scopus)

  • Improvement of the Fine tuning algorithm

    Mietkiewicz, J. & Madsen, A. L., 2022, BNAIC/BeNeLearn - Joint International Scientific Conferences on AI and Machine Learning. 12 s.

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

    Åben adgang
    Fil
    14 Downloads (Pure)

  • Influence-aware Task Assignment in Spatial Crowdsourcing

    Chen, X., Zhao, Y., Zheng, K., Yang, B. & Jensen, C. S., aug. 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE, s. 2141-2153 13 s.

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

    7 Citationer (Scopus)

  • Interactive Information Extraction by Semantic Information Graph

    Fan, S., Wang, Y., Li, J., Zhang, Z., Shang, S. & Han, P., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (red.). International Joint Conferences on Artificial Intelligence, s. 4100-4106 7 s. (IJCAI International Joint Conference on Artificial Intelligence).

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

    3 Citationer (Scopus)

  • Interactive Theorem Proving for Logic and Information

    Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence – NLPinAI 2021. Loukanova, R. (red.). Springer, s. 25-48 24 s. (Studies in Computational Intelligence, Bind 999).

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

    Åben adgang
    1 Citationer (Scopus)

  • Interpreting Operation Selection in Differentiable Architecture Search: A Perspective from Influence-Directed Explanations

    Zhang, M., Huang, W. & Yang, B., 2022, Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022. Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K. & Oh, A. (red.). Neural Information Processing Systems Foundation, (Advances in Neural Information Processing Systems, Bind 35).

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

    1 Citationer (Scopus)

  • In the Zone! Controlling and Visualising Sound Zones

    Jacobsen, R. M., Johansen, S. S., van Berkel, N., Skov, M. B. & Kjeldskov, J., 27 apr. 2022, Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems: CHI EA '22. Association for Computing Machinery, 189. (Conference on Human Factors in Computing Systems - Proceedings).

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

    4 Citationer (Scopus)

  • Investigating Potentials of Shape-Changing Displays for Sound Zones

    Johansen, S. S., Merritt, T. R., Jacobsen, R. M., Nielsen, P. A. & Kjeldskov, J., 30 apr. 2022, Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems: CHI '22. Association for Computing Machinery, 293

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

    6 Citationer (Scopus)

  • It's not all Bad - Worker Perceptions of Industrial Robots

    Schneiders, E. & Papachristos, E., 2022, HRI 2022 - Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Computer Society Press, s. 1025-1029 5 s. (ACM/IEEE International Conference on Human-Robot Interaction, Bind 2022-March).

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

    6 Citationer (Scopus)

  • It’s not all Bad – Worker Perceptions of Industrial Robots

    Schneiders, E. & Papachristos, E., 4 mar. 2022, Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. IEEE Press, s. 1025-1029 5 s.

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

    Åben adgang
    Fil
    160 Downloads (Pure)

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

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Srba, J. & Tollund, R. G., 2022, 17th International Conference on Integrated Formal Methods, IFM 2022. Springer, s. 249-267 (Lecture Notes in Computer Science, Bind 13274).

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

    2 Citationer (Scopus)

  • Key Agreement in the Lightning Network Protocol

    Hüttel, H. & Staroveški, V., 2022, Information Systems Security and Privacy - 6th International Conference, ICISSP 2020, Revised Selected Papers. Furnell, S., Mori, P., Weippl, E. & Camp, O. (red.). Springer, s. 139-155 17 s. (Communications in Computer and Information Science, Bind 1545 CCIS).

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

    1 Citationer (Scopus)

  • Knowledge Graph Exploration Systems: are we lost?

    Lissandrini, M., Mottin, D., Hose, K. & Pedersen, T. B., jan. 2022, Proceedings of the 12th Conference on Innovative Data Systems Research: CIDR 2022. 2022 udg.

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

    Åben adgang
    Fil
    259 Downloads (Pure)

  • Learning and Reasoning with Graph Data: Neural and Statistical-Relational Approaches

    Jaeger, M., 1 jun. 2022, International Research School in Artificial Intelligence in Bergen, AIB 2022. Bourgaux, C., Ozaki, A. & Penaloza, R. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Open Access Series in Informatics, Bind 99).

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

    1 Citationer (Scopus)

  • Lessons learned in the application of formal methods to the design of a storm surge barrier control system

    Goorden, M., van de Mortel-Fronczak, J., van Eldik, K., Fokkink, W. & Rooda, J., 2022, IFAC-PapersOnLine: 16th IFAC Workshop on Discrete Event Systems. Elsevier, s. 93-99 7 s. (IFAC-PapersOnLine; Nr. 28, Bind 55).

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

    Åben adgang
    Fil
    44 Downloads (Pure)

  • Loyalty-based Task Assignment in Spatial Crowdsourcing

    Lai, T., Zhao, Y., Qian, W. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, s. 1014–1023

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

    4 Citationer (Scopus)

  • Machine Learning Platform for Extreme Scale Computing on Compressed IoT Data

    Tirupathi, S., Salwala, D., Zizzo, G., Rawat, A., Purcell, M., Jensen, S. K., Thomsen, C., Ho, N., Cuza, C. E. M., Brusokas, J., Pedersen, T. B., Alexiou, G., Giannopoulos, G., Gidarakos, P., Kalimeris, A., Maroulis, S., Papastefanatos, G., Psarros, I., Stamatopoulos, V. & Terrovitis, M., 20 dec. 2022, 2022 IEEE International Conference on Big Data (Big Data). Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (red.). IEEE Communications Society, s. 3179-3185 7 s. 10020540

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

    1 Citationer (Scopus)

  • Method for Appropriating the Brief Implicit Association Test to Elicit Biases in Users

    Dingler, T., Tag, B., Eccles, D. A., van Berkel, N. & Kostakos, V., 29 apr. 2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 243. (Conference on Human Factors in Computing Systems - Proceedings).

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

    4 Citationer (Scopus)

  • MirrorForge: Rapid Prototyping of Complex Mirrors for Camera and Projector Systems

    Getschmann, C., Mthunzi, E. M. & Echtler, F., 14 feb. 2022, TEI 2022 - Proceedings of the 16th International Conference on Tangible, Embedded, and Embodied Interaction. New York, NY, USA: Association for Computing Machinery, s. 1-7 23. (TEI '22).

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

    Åben adgang
    Fil
    100 Downloads (Pure)

  • Monitoring Timed Properties (Revisited)

    Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., aug. 2022, Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Bogomolov, S. & Parker, D. (red.). Springer, s. 43-62 20 s. (Lecture Notes in Computer Science, Bind 13465).

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

  • Monte Carlo Tree Search for Priced Timed Automata

    Jensen, P. G., Kiviriga, A., Guldstrand Larsen, K., Nyman, U., Mijačika, A. & Høiriis Mortensen, J., 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Proceedings. Ábrahám, E. & Paolieri, M. (red.). Springer, s. 381-398 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13479 LNCS).

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

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

  • MPLS-Kit: An MPLS Data Plane Toolkit

    Vanerio, J., Schmid, S., Schou, M. K. & Srba, J., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). Secci, S., Durairajan, R., Linguaglossa, L., Kamiyama, N., Nogueira, M. & Rovedakis, S. (red.). IEEE, s. 49-54 6 s.

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

    1 Citationer (Scopus)

  • MSDR: Multi-Step Dependency Relation Networks for Spatial Temporal Forecasting

    Liu, D., Wang, J., Shang, S. & Han, P., 14 aug. 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 1042-1050 9 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

    39 Citationer (Scopus)

  • Multi-dimensional Probabilistic Regression over Imprecise Data Streams

    Gao, R., Xie, X., Zou, K. & Bach Pedersen, T., 25 apr. 2022, WWW 2022 - Proceedings of the ACM Web Conference 2022. Association for Computing Machinery, s. 3317-3326 10 s. (WWW 2022 - Proceedings of the ACM Web Conference 2022).

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

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

  • Multi-Task Learning for Face Recognition via Mutual Information Minimization

    Qian, W., 2 nov. 2022, 2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI). IEEE, s. 1015-1021 7 s. 10097971. (IEEE International Conference on Tools with Artificial Intelligence (ICTAI)).

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

  • NetStack: A Game Approach to Synthesizing Consistent Network Updates

    Schmid, S., Schrenk, B. C. & Torralba, A., 2022, 2022 IFIP Networking Conference, IFIP Networking 2022. IEEE, (2022 IFIP Networking Conference, IFIP Networking 2022).

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

    4 Citationer (Scopus)

  • Non-Dyadic Human-Robot Interaction: Concepts and Interaction Techniques

    Schneiders, E., 4 mar. 2022, 2022 17th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE Press, s. 1176-1178 3 s. 9889463

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

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

  • Off-the-shelf digital tools as a resource to nurture the commons

    Bettega, M., Masu, R., Hansen, N. B. & Teli, M., 19 aug. 2022, PDC 2022 - Embracing Cosmologies: Expanding Worlds of Participatory Design, Proceedings of the 17th Participatory Design Conference. Vlachokyriakos, V., Yee, J., Erik, G., Noronha, R., Botero, A., Del Gaudio, C., Akama, Y., Clarke, R. & Vines, J. (red.). Association for Computing Machinery, Bind 1. s. 133-146 14 s.

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

    Åben adgang
    Fil
    6 Citationer (Scopus)
    138 Downloads (Pure)

  • Online Updating of Conditional Linear Gaussian Bayesian Networks

    Madsen, A. L., Olesen, K. G., Jensen, F., Henriksen, P. A., Larsen, T. M. & Møller, J. M., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models: PMLR. Salmeròn, A. & Rumi, R. (red.). PMLR Press, Bind 186. s. 97-108 12 s. (The Proceedings of Machine Learning Research, Bind 186).

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

    Åben adgang
    Fil
    24 Downloads (Pure)

  • Operator-Potential Heuristics for Symbolic Search

    Fišer, D., Torralba, A. & Hoffmann, J., jun. 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, s. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 9, Bind 36).

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

    1 Citationer (Scopus)

  • Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

    Fišer, D., Torralba, A. & Jörg, H., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, s. 80-89 10 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 32).

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

  • Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Horčík, R., Torralba, A., Rytíř, P., Chrpa, L. & Edelkamp, S., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, Bind 32. s. 160-168 9 s.

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

    Åben adgang
    1 Citationer (Scopus)

  • Outlier Detection for Streaming Task Assignment in Crowdsourcing.

    Zhao, Y., Chen, X., Deng, L., Kieu, T., Guo, C., Yang, B., Zheng, K. & Jensen, C. S., 2022, Proceedings of the ACM Web Conference 2022, WWW 2022. Association for Computing Machinery, s. 1933-1943 11 s.

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

    13 Citationer (Scopus)

  • Parikh Automata over Infinite Words

    Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., 1 dec. 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 s. 40. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 250).

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

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

  • Pattern Selection Strategies for Pattern Databases in Probabilistic Planning

    Klößner, T., Steinmetz, M., Torralba, A. & Hoffmann, J., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, Bind 32. s. 184-192 9 s.

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

    Åben adgang
    1 Citationer (Scopus)

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

    Jensen, P. G., Schmid, S., Schou, M. K. & Srba, J., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (red.). Springer, s. 225-230 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13505 LNCS).

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

  • Perception of Audio Quality and Audio-on-Audio Interference in Sound Zones

    Hermannsen, L. & Bech, S., 2022, 2022 14th International Conference on Quality of Multimedia Experience, QoMEX 2022. IEEE, s. 1-4 4 s. (2022 14th International Conference on Quality of Multimedia Experience, QoMEX 2022).

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

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

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

    Lilliu, F., Pedersen, T. B., Šikšnys, L. & Neupane, B., 28 jun. 2022, e-Energy 2022 - Proceedings of the 2022 13th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 448-449 2 s. (e-Energy 2022 - Proceedings of the 2022 13th ACM International Conference on Future Energy Systems).

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

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

  • Postphenomenological Dimensions of Digitally Mediated Domestic Heating

    Svangren, M. K., Raptis, D., Ananjeva, A., Persson, J. S. & Nielsen, P. A., 8 okt. 2022, Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022: Participative Computing for Sustainable Futures. Association for Computing Machinery, 13 s. 3546692. (ACM International Conference Proceeding Series).

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

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