Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2022

    Efficient Learning with Pseudo Labels for Query Cost Estimation

    Liu, S., Chen, X., Zhao, Y., Chen, J., Zhou, R. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, p. 1309-1318

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

    2 Citations (Scopus)

  • Efficient network-constrained trajectory queries

    Torp, K. & Hansen, M. N., 1 Nov 2022, 30th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, ACM SIGSPATIAL GIS 2022. Renz, M., Sarwat, M., Nascimento, M. A., Shekhar, S. & Xie, X. (eds.). Association for Computing Machinery, p. 1-4 92. (GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems).

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

  • Efficient Trajectory Similarity Computation with Contrastive Learning

    Deng, L., Zhao, Y., Fu, Z., Sun, H., Liu, S. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, p. 365–374

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

    6 Citations (Scopus)

  • Eggventures: Strengthening Connectedness through Coop-Play

    Pedersen, T. R., Ivanova, I., Hjørringgaard, M., Fredsgård, J., Cornelius, F. K. B., Pust, O. E. & Pohl, H., 2 Nov 2022, CHI PLAY '22: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, p. 70-74 5 p.

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

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

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

    Hasrat, I. R., Jensen, P. G., Larsen, K. G. & Srba, J., 2022, Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 363-380 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13299 LNCS).

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

    1 Citation (Scopus)

  • Evolutionary Clustering of Moving Objects

    Li, T., Jensen, C. S., Pedersen, T. B., Gao, Y. & Hu, J., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE Computer Society Press, p. 2399-2411 13 p. (Proceedings - International Conference on Data Engineering, Vol. 2022-May).

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

    26 Citations (Scopus)
    17 Downloads (Pure)

  • Explanations for budget and schedule overrun revisited – a configurational perspective on IT projects: Budget and schedule overrun revisited

    Krancher, O., Østergaard Madsen, C., Alami, A. & Petersson, C., 30 Sept 2022, International Conference on Information Systems (ICIS) 2022 : IS Design, Development, and Project Management . Association for Informations Systems, AIS, 2486

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

  • FBR: Dynamic Memory-Aware Fast Rerouting

    Johansen, N. S., Kær, L. B., Madsen, A. L., Nielsen, K. Ø., Schmid, S., Srba, J. & Tollund, R. G., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). IEEE, p. 55-60

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

  • Fear Inducing Play in an AR Escape Room with Human and Robotic NPCs

    Madsen, P., Pohl, H. & Merritt, T., 2 Nov 2022, CHI PLAY '22: Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, p. 38-43 6 p.

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

    1 Citation (Scopus)

  • FeetBack: Providing Haptic Directional Cues Through a Shape-changing Floor

    Hansen, K. L., Jensen, U. S., Johansson, S. P., Papachristos, E., Skov, M. B., Vertegaal, R. & Merritt, T., 8 Oct 2022, Participative Computing for Sustainable Futures - Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. Association for Computing Machinery, p. 1-10 39. (ACM International Conference Proceeding Series).

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

  • FOGS: First-Order Gradient Supervision with Learning-based Graph for Traffic Flow Forecasting

    Rao, X., Wang, H., Zhang, L., Li, J., Shang, S. & Han, P., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (eds.). International Joint Conferences on Artificial Intelligence, p. 3926-3932 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    19 Citations (Scopus)

  • Following the Trail of Fake News Spreaders in Social Media: A Deep Learning Model

    Tommasel, A., Rodriguez, J. M. & Menczer, F., 4 Jul 2022, UMAP2022 - Adjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, p. 29-34 6 p. (UMAP2022 - Adjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization).

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

    1 Citation (Scopus)

  • Formal Methods Meet Machine Learning (F3ML)

    Larsen, K., Legay, A., Nolte, G., Schlüter, M., Stoelinga, M. & Steffen, B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science+Business Media, p. 393-405 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13703 LNCS).

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

    4 Citations (Scopus)

  • Frankie: Exploring How Self-Tracking Technologies Can Go from Data-Centred to Human-Centred

    Van Koningsbruggen, R., Shalawadi, S., Hornecker, E. & 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. (eds.). New York, NY, USA: Association for Computing Machinery, p. 243–250 8 p. (MUM '22).

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

    Open Access
    File
    22 Downloads (Pure)

  • Generative-Free Urban Flow Imputation

    Wang, S., Li, J., Miao, H., Zhang, J., Zhu, J. & Wang, J., 17 Oct 2022, CIKM 2022 - Proceedings of the 31st ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2028-2037 10 p.

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

    4 Citations (Scopus)

  • GHive: Accelerating Analytical Query Processing in Apache Hive via CPU-GPU Heterogeneous Computing

    Liu, H., Tang, B., Zhang, J., Deng, Y., Yan, X., Zheng, X., Shen, Q., Zeng, D., Mao, Z., Zhang, C., You, Z., Wang, Z., Jiang, R., Wang, F., Yiu, M. L., Li, H., Han, M., Li, Q. & Luo, Z., 7 Nov 2022, SoCC 2022 - Proceedings of the 13th Symposium on Cloud Computing. Association for Computing Machinery, p. 158-172 15 p.

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

    4 Citations (Scopus)

  • GHive: A Demonstration of GPU-Accelerated Query Processing in Apache Hive

    Liu, H., Tang, B., Zhang, J., Deng, Y., Zheng, X., Shen, Q., Yan, X., Zeng, D., Mao, Z., Zhang, C., You, Z., Wang, Z., Jiang, R., Wang, F., Yiu, M. L., Li, H., Han, M., Li, Q. & Luo, Z., 10 Jun 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, p. 2417-2420 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

    3 Citations (Scopus)

  • 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, p. 4014-4021 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, Vol. 36).

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

    21 Citations (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, p. 361–373 13 p.

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

    Open Access
    File
    4 Citations (Scopus)
    94 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, p. 296-297 2 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2022-June).

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

    1 Citation (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, p. 250-257 8 p.

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

    9 Citations (Scopus)

  • Graph-based Management and Mining of Blockchain Data

    Khan, A. & Akcora, C. G., 17 Oct 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, p. 5140-5143 4 p.

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

    2 Citations (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, p. 1463-1471 9 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

    49 Citations (Scopus)

  • Haven't I just Listened to This? Exploring Diversity in Music Recommendations

    Tommasel, A., Rodriguez, J. M. & Godoy, D., 4 Jul 2022, UMAP2022 - Adjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization. Association for Computing Machinery, p. 35-40 6 p. (UMAP2022 - Adjunct Proceedings of the 30th ACM Conference on User Modeling, Adaptation and Personalization).

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

    2 Citations (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. (eds.). New York, NY, USA: Association for Computing Machinery, p. 200–207 8 p. (MUM '22).

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

    Open Access
    File
    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, Vol. 36/9.

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

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

  • How organizations collaborate in the Digital Transformation towards Sustainability

    Ananjeva, A., Persson, J. S. & Nielsen, P. A., Aug 2022, Thirtieth European Conference on Information Systems (ECIS 2022). European Conference on Information Systems, 1222

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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, p. 4575-4582

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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, p. 3182-3185 4 p. (Proceedings - International Conference on Data Engineering, Vol. 2022-May).

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

  • Importance Splitting in Uppaal

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

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

    1 Citation (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 p.

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

    Open Access
    File
    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, p. 2141-2153 13 p.

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

    7 Citations (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. (eds.). International Joint Conferences on Artificial Intelligence, p. 4100-4106 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    2 Citations (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. (ed.). Springer, p. 25-48 24 p. (Studies in Computational Intelligence, Vol. 999).

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

    Open Access
    1 Citation (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. (eds.). Neural Information Processing Systems Foundation, (Advances in Neural Information Processing Systems, Vol. 35).

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

    1 Citation (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).

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

    4 Citations (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

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

    6 Citations (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, p. 1025-1029 5 p. (ACM/IEEE International Conference on Human-Robot Interaction, Vol. 2022-March).

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

    6 Citations (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, p. 1025-1029 5 p.

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

    Open Access
    File
    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, p. 249-267 (Lecture Notes in Computer Science, Vol. 13274).

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

    2 Citations (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. (eds.). Springer, p. 139-155 17 p. (Communications in Computer and Information Science, Vol. 1545 CCIS).

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

    1 Citation (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 ed.

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

    Open Access
    File
    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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Open Access Series in Informatics, Vol. 99).

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

    1 Citation (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, p. 93-99 7 p. (IFAC-PapersOnLine; No. 28, Vol. 55).

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

    Open Access
    File
    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, p. 1014–1023

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

    4 Citations (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. (eds.). IEEE Communications Society, p. 3179-3185 7 p. 10020540

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

    1 Citation (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).

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

    4 Citations (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, p. 1-7 23. (TEI '22).

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

    Open Access
    File
    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. (eds.). Springer, p. 43-62 20 p. (Lecture Notes in Computer Science, Vol. 13465).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. (eds.). Springer, p. 381-398 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13479 LNCS).

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

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