Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2021

    Strategising RoboCup in Real Time with Uppaal Stratego

    Holler, P. I., Jensen, M. K., Lockey, H. M. & Albano, M., 4 feb. 2021, Proceedings of 13th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART. Rocha, A. P., Steels, L. & van den Herik, J. (red.). SCITEPRESS Digital Library, Bind 1. s. 273-280 8 s. (International Conference on Agents and Artificial Intelligence - Proceeding).

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

    Åben adgang
    Fil
    53 Downloads (Pure)

  • Stubborn Set Reduction for Timed Reachability and Safety Games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (red.). Springer, Bind 12860. s. 32-49 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12860 LNCS).

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

    1 Citationer (Scopus)

  • Subgraph Convolutional Network for Recommendation

    Zhao, Y., Zhou, L., Deng, L., Zheng, V. W., Yin, H. & Zheng, K., 2021, Proceedings of 2021 7th IEEE International Conference on Cloud Computing and Intelligence Systems, CCIS 2021. Li, D., Zhou, M., Wang, W., Zou, Y., Luo, M. & Zhang, Q. (red.). IEEE, s. 15-19 5 s.

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

  • Task Allocation with Geographic Partition in Spatial Crowdsourcing

    Ye, G., Zhao, Y., Chen, X. & Zheng, K., 26 okt. 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2404-2413 10 s.

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

    19 Citationer (Scopus)

  • Task Assignment with Worker Churn Prediction in Spatial Crowdsourcing

    Wang, Z., Zhao, Y., Chen, X. & Zheng, K., 26 okt. 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2070-2079 10 s.

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

    20 Citationer (Scopus)

  • Teaching Analytics Medical-Data Common Sense

    Sagi, T., Shmueli, N., Friedman, B. & Bergman, R., 4 mar. 2021, Heterogeneous Data Management, Polystores, and Analytics for Healthcare: VLDB Workshops, Poly 2020 and DMAH 2020, Virtual Event, August 31 and September 4, 2020, Revised Selected Papers. Springer, s. 171-187 (Lecture Notes in Computer Science (LNCS), Bind 12633).

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

  • TempoWatch: A Wearable Music Control Interface for Dance Instructors

    Roth, J., Getschmann, C., Ehlers, J. & Echtler, F., 2021, TEI '21: Proceedings of the Fifteenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, s. 1-6 6 s. 55

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

    4 Citationer (Scopus)

  • The Daily Life of Software Engineers during the COVID-19 Pandemic

    Russo, D., Hanel, P. H. P., Altnickel, S. & Van Berkel, N., maj 2021, Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP). IEEE, s. 364-373 10 s. 9401998. (Proceedings - International Conference on Software Engineering).

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

    Åben adgang
    Fil
    38 Citationer (Scopus)
    48 Downloads (Pure)

  • The Effect of Embodied Anthropomorphism of Personal Assistants on User Perceptions

    Schneiders, E., Papachristos, E. & van Berkel, N., 2 okt. 2021, OzCHI '21: Proceedings of the 33rd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 231–241 11 s.

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

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

  • The F4U system for understanding the effects of data quality

    Foroni, D., Lissandrini, M. & Velegrakis, Y., apr. 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE Computer Society Press, s. 2717-2720 4 s. 9458779. (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)

  • The Trained Panel Method and Its Application in HCI Research

    Papachristos, E., Raptis, D. & Bruun, A. R., 27 nov. 2021, CHI Greece 2021: 1st International Conference of the ACM Greek SIGCHI Chapter. Athens, Greece: Association for Computing Machinery, s. 1-8 8 s. 7

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

  • Time-Constrained Indoor Keyword-Aware Routing

    Chan, H. K. H., Liu, T., Li, H. & Lu, H., 23 aug. 2021, Proceedings of 17th International Symposium on Spatial and Temporal Databases, SSTD 2021. Association for Computing Machinery, s. 74-84 11 s.

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

    3 Citationer (Scopus)

  • Toward Measuring the Resemblance of Embedding Models for Evolving Ontologies

    Pernisch, R., Dell'Aglio, D. & Bernstein, A., 2021, K-CAP '21: Proceedings of the 11th International Conference on Knowledge Capture (K-CAP 2021). Association for Computing Machinery, s. 177-184 8 s.

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

    Åben adgang
    3 Citationer (Scopus)

  • Understanding ε for Differential Privacy in Differencing Attack Scenarios

    Ashena, N., Dell'Aglio, D. & Bernstein, A., 2021, Security and Privacy in Communication Networks: 17th EAI International Conference, SecureComm 2021, Virtual Event, September 6–9, 2021, Proceedings, Part I. Garcia-Alfaro, J., Li, S., Poovendran, R., Debar, H. & Yung, M. (red.). Cham: Springer, Bind 1. s. 187-206 20 s. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 398).

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

    2 Citationer (Scopus)

  • Unsupervised Path Representation Learning with Curriculum Negative Sampling

    Yang, S. B., Guo, C., Hu, J., Tang, J. & Yang, B., 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z-H. (red.). International Joint Conferences on Artificial Intelligence, s. 3286-3292 7 s. (IJCAI International Joint Conference on Artificial Intelligence).

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

    13 Citationer (Scopus)

  • User Trust in Assisted Decision-Making Using Miniaturized Near-Infrared Spectroscopy

    Jiang, W., Sarsenbayeva, Z., van Berkel, N., Wang, C., Yu, D., Wei, J., Goncalves, J. & Kostakos, V., 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. Association for Computing Machinery, s. 1-16 16 s. 153

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

    5 Citationer (Scopus)

  • Web of Things Interoperability for the Arrowhead Framework

    Dongo, J., Albano, M., Skou, A. & Nielsen, B., 13 okt. 2021, IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 1-6 6 s. 9589941. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

  • What Do Hackathons Do? Understanding Participation in Hackathons Through Program Theory Analysis

    Falk Olesen, J., Kannabiran, G. & Hansen, N. B., maj 2021, CHI'21: Proceedings of 2021 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-16 147

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

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

  • WiseKG: Balanced Access to Web Knowledge Graphs

    Azzam, A., Aebeloe, C., Montoya, G., Keles, I., Polleres, A. & Hose, K., 19 apr. 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, s. 1422-1434 13 s.

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

    10 Citationer (Scopus)
  • 2020

    30 Years of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 325-330 6 s. (Lecture Notes in Computer Science, Bind 12476).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling

    1 Citationer (Scopus)

  • A Complete Characterization of Projectivity for Statistical Relational Models

    Jaeger, M. & Schulte, O., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20). International Joint Conferences on Artificial Intelligence, s. 4283-4290

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

    Åben adgang
    5 Citationer (Scopus)

  • A Correlated Time Series Forecast System

    Abildgaard, N. C., Bang, C. W., Hansen, J., Jacobsen, T. L., Knudsen, T. H., Lisby, N. O., Guo, C. & Yang, B., jun. 2020, Proceedings - 2020 21st IEEE International Conference on Mobile Data Management, MDM 2020. IEEE, s. 242-243 2 s. 9162204. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2020-June).

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

  • Action Design Research Shaping University-Industry Collaborations for Wicked Problems

    Schouten, B., Klerks, G., Hollander, M. D. & Hansen, N. B., 2020, OzCHI '20: 32nd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 36-44

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

    2 Citationer (Scopus)

  • Adaptive Security Policies

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 280-294 15 s. (Lecture Notes in Computer Science, Bind 12477).

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

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

  • Adaptive Top-k Overlap Set Similarity Joins

    Yang, Z., Zheng, B., Li, G., Xi, Z., Zhou, X. & Jensen, C. S., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 1081-1092 12 s. 9101864. (Proceedings of the International Conference on Data Engineering).

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

    12 Citationer (Scopus)

  • A dynamic representation of physical exercises on inflatable membranes: Making walking fun again!

    Shalawadi, S., Hornecker, E. & Echtler, F., 2020, CEUR Workshop Proceedings 2020. Bind 2801. 8 s. (CEUR Workshop Proceedings).

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

    Åben adgang
    Fil
    28 Downloads (Pure)

  • A Hybrid Learning Approach to Stochastic Routing

    Pedersen, S. A., Yang, B. & Jensen, C. S., 2020, International Conference on Data Engineering (ICDE). IEEE, s. 1910-1913 4 s. (Proceedings of the International Conference on Data Engineering).

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

    12 Citationer (Scopus)

  • A lower bound for jumbled indexing

    Afshani, P., van Duijn, I., Killmann, R. & Nielsen, J. S., 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (red.). Association for Computing Machinery, s. 592-606 15 s.

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

    6 Citationer (Scopus)

  • An Efficient Index for Reachability Queries in Public Transport Networks

    Tesfaye, B., Augsten, N., Pawlik, M., Böhlen, M. H. & Jensen, C. S., 2020, ADBIS 2020: Advances in Databases and Information Systems. Darmont, J., Novikov, B. & Wrembel, R. (red.). Springer, s. 34-48 15 s. (Lecture Notes in Computer Science (LNCS), Bind 12245).

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

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

  • An Open Source Environment for an Agile Development Model

    Ciancarini, P., Missiroli, M., Poggi, F. & Russo, D., 1 jan. 2020, Open Source Systems - 16th IFIP WG 2.13 International Conference, OSS 2020, Proceedings. Ivanov, V., Kruglov, A., Masyagin, S., Sillitti, A. & Succi, G. (red.). Springer VS, s. 148-162 15 s. (I F I P Advances in Information and Communication Technology, Bind 582).

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

    Åben adgang
    9 Citationer (Scopus)

  • Approximating Euclidean by Imprecise Markov Decision Processes

    Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (red.). Springer, s. 275-289 15 s. (Lecture Notes in Computer Science, Bind 12476).

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

    7 Citationer (Scopus)

  • A Real-World Data Resource of Complex Sensitive Sentences Based on Documents from the Monsanto Trial

    Neerbek, J., Eskildsen, M., Dolog, P. & Assent, I., 2020, Proceedings of The 12th Language Resources and Evaluation Conference, LREC 2020, Marseille, France, May 11-16, 2020. Calzolari, N., Béchet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (red.). Marseille, France: European Language Resources Association, s. 1258-1267 10 s.

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

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

  • A Road Segment Attribute Completion System

    Cirstea, R. G., Gustafsson, H., Pedersen, R. R. G., Sehested, R. H. V., Winkler, T. I. & Yang, B., jun. 2020, Proceedings - 2020 21st IEEE International Conference on Mobile Data Management, MDM 2020. IEEE, s. 236-237 2 s. 9162212. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2020-June).

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

    1 Citationer (Scopus)

  • A Software System for Predicting Patient Flow at the Emergency Department of Aalborg University Hospital

    Madsen, A. L., Olesen, K. G., Møller, J. M., Søndberg-Jeppesen, N., Jensen, F., Larsen, T. M., Henriksen, P., Lindblad, M. & Christensen, T. S., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models, PMLR. Jaeger, M. & Dyhre Nielsen, T. (red.). ML Research Press, s. 617-620 (The Proceedings of Machine Learning Research, Bind 138).

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

    1 Citationer (Scopus)

  • A study of cooperative thinking

    Ciancarini, P., Missiroli, M. & Russo, D., 2020, Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers. Bruel, J-M., Capozucca, A., Mazzara, M., Naumchev, A., Sadovykh, A. & Meyer, B. (red.). Springer VS, s. 279-292 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12271 LNCS).

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

  • A Systematic Assessment of National Artificial Intelligence Policies: Perspectives from the Nordics and Beyond

    van Berkel, N., Papachristos, L., Giachanou, A., Hosio, S. & Skov, M. B., 2020, Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Tallinn, Estonia: Association for Computing Machinery, 12 s. 10

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

    6 Citationer (Scopus)

  • Augmenting Automated Kinship Verification with Targeted Human Input

    Hettiachchi, D., van Berkel, N., Hosio, S., Lopez, M. B., Kostakos, V. & Goncalves, J., 2020, Proceedings of the Pacific Asia Conference on Information Systems. Association for Information Systems, s. 141:1-141:14 14 s.

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

    1 Citationer (Scopus)

  • A web-based platform for building PBL competences among students

    Hüttel, H., Gnaur, D., Ryberg, T. & Holgaard, J. E., 1 jan. 2020, Emerging Technologies for Education - 4th International Symposium, SETE 2019, held in Conjunction with ICWL 2019, Revised Selected Papers. Popescu, E., Hao, T., Hsu, T-C., Xie, H., Temperini, M. & Chen, W. (red.). Springer VS, s. 175-182 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11984 LNCS).

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

  • Baital: An adaptive weighted sampling approach for improved t-wise coverage

    Baranov, E., Legay, A. & Meel, K. S., 8 nov. 2020, ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Devanbu, P., Cohen, M. & Zimmermann, T. (red.). Association for Computing Machinery, s. 1114-1126 13 s.

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

    23 Citationer (Scopus)

  • Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

    Bravetti, M., Francalanza, A., Golovanov, I., Hüttel, H., Jakobsen, M. S., Kettunen, M. K. & Ravara, A., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (red.). Springer, s. 105-124 20 s. (Lecture Notes in Computer Science, Bind 12470).

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

    5 Citationer (Scopus)

  • Bots for Research: Minimising the Experimenter Effect

    Wijenayake, S., van Berkel, N. & Goncalves, J., 2020, Adjunct Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems. s. 1-9 9 s.

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

    Åben adgang

  • ChImp: Visualizing Ontology Changes and their Impact in Protégé

    Pernisch, R., Serbak, M., Dell'Aglio, D. & Bernstein, A., 17 dec. 2020, Proceedings of the Fifth International Workshop on Visualization and Interaction for Ontologies and Linked Data co-located with the 19th International Semantic Web Conference (ISWC 2020). CEUR Workshop Proceedings, s. 47-60 (CEUR Workshop Proceedings, Bind 2778).

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

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

  • Cloudless Skies? Decentralizing Mobile Interaction

    Schulte, B., Shalawadi, S., van Kleek, M. & Echtler, F., 2020, 22nd International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, s. 1-3 48

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

  • COGNET: The Planetary Cognition Delivery Network

    Hosio, S. & van Berkel, N., 2020, Blue Sky Ideas Track - Proceedings of the AAAI Conference on Human Computation and Crowdsourcing. s. 1-4 4 s.

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

  • Collaboration Around an Interactive Tabletop Map: Comparing Voice Interactions and a Tangible Shape-changing Controller

    Dellana, S. G., Porsmose Johansson, S., Boel Poulsen, S., van Oosterhout, A., Skov, M. B. & Merritt, T. R., nov. 2020, 18th International Conference on Mobile and Ubiquitous Multimedia (MUM '20). Association for Computing Machinery, s. 132-142 11 s.

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

    2 Citationer (Scopus)

  • Collective Organizing and Social Responsibility at CSCW

    Saxena, D., Graeff, E., Guha, S., Cheon, E., Reynolds-Cuéllar, P., Walker, D., Becker, C. & Fleischmann, K. R., 2020, Computer Supported Cooperative Work and Social Computing (CSCW '20 Companion). Association for Computing Machinery, s. 503-509

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

    11 Citationer (Scopus)

  • Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

    Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 jan. 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (red.). IEEE, s. 1-10 10 s. 8958666. (IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)).

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    148 Downloads (Pure)

  • CoMing: A Real-time Co-Movement Mining System for Streaming Trajectories

    Fang, Z., Gao, Y., Pan, L., Chen, L., Miao, X. & Jensen, C. S., 2020, Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, s. 2777-2780 4 s.

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

    12 Citationer (Scopus)

  • Conformance Testing in UPPAAL: A diabolic approach

    Njor, E. J., Lorber, F., Schmidt, N. I. & Petersen, S. R., okt. 2020, Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020. IEEE, s. 35-42 8 s. 9156025

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

  • Designing a Machine Learning-Based System to Augment the Work Processes of Medical Secretaries

    Johansen, P. S., Jacobsen, R. M., Bysted, L. B. L., Skov, M. B. & Papachristos, E., 2020, Human Computer Interaction and Emerging Technologies: Workshop Proceedings from the INTERACT 2019 Workshops. Cardiff University Press, s. 191-196

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

    Åben adgang
    Fil
    71 Downloads (Pure)