Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2021

    Staging Constructionist Learning about Energy for Children with Electrochromic Displays and Low-Cost Materials

    Löchtefeld, M., Milthers, A. D. B. & Merritt, T., 2021, MUM 2021: 20th International Conference on Mobile and Ubiquitous Multimedia. New York, NY, USA: Association for Computing Machinery, p. 73–83 (MUM 2021).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    73 Downloads (Pure)
  • 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. (eds.). SCITEPRESS Digital Library, Vol. 1. p. 273-280 8 p. (International Conference on Agents and Artificial Intelligence - Proceeding).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    50 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. (eds.). Springer, Vol. 12860. p. 32-49 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). IEEE, p. 15-19 5 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • Task Allocation with Geographic Partition in Spatial Crowdsourcing

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    19 Citations (Scopus)
  • Task Assignment with Worker Churn Prediction in Spatial Crowdsourcing

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    20 Citations (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, p. 171-187 (Lecture Notes in Computer Science (LNCS), Vol. 12633).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 1-6 6 p. 55

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    4 Citations (Scopus)
  • The Daily Life of Software Engineers during the COVID-19 Pandemic

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    38 Citations (Scopus)
    48 Downloads (Pure)
  • The Effect of Embodied Anthropomorphism of Personal Assistants on User Perceptions

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    4 Citations (Scopus)
    232 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, p. 2717-2720 4 p. 9458779. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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, p. 1-8 8 p. 7

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 74-84 11 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    3 Citations (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, p. 177-184 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    3 Citations (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. (eds.). Cham: Springer, Vol. 1. p. 187-206 20 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 398).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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. (ed.). International Joint Conferences on Artificial Intelligence, p. 3286-3292 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    13 Citations (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, p. 1-16 16 p. 153

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (Scopus)
  • Web of Things Interoperability for the Arrowhead Framework

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    12 Citations (Scopus)
    870 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, p. 1422-1434 13 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    10 Citations (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. (eds.). Springer, p. 325-330 6 p. (Lecture Notes in Computer Science, Vol. 12476).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingCommunication

    1 Citation (Scopus)
  • AalWiNes: A fast and quantitative what-if analysis tool for MPLS networks

    Jensen, P. G., Kristiansen, D., Schmid, S., Schou, M. K., Schrenk, B. C. & Srba, J., 23 Nov 2020, CoNEXT '20: Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, p. 474-481 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    12 Citations (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, p. 4283-4290

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    5 Citations (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, p. 242-243 2 p. 9162204. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2020-June).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 36-44

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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. (eds.). Springer, p. 280-294 15 p. (Lecture Notes in Computer Science, Vol. 12477).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (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, p. 1081-1092 12 p. 9101864. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    12 Citations (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. Vol. 2801. 8 p. (CEUR Workshop Proceedings).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    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, p. 1910-1913 4 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    12 Citations (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. (ed.). Association for Computing Machinery, p. 592-606 15 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    6 Citations (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. (eds.). Springer, p. 34-48 15 p. (Lecture Notes in Computer Science (LNCS), Vol. 12245).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    1 Citation (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. (eds.). Springer VS, p. 148-162 15 p. (I F I P Advances in Information and Communication Technology, Vol. 582).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    9 Citations (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. (eds.). Springer, p. 275-289 15 p. (Lecture Notes in Computer Science, Vol. 12476).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    7 Citations (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. (eds.). Marseille, France: European Language Resources Association, p. 1258-1267 10 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    3 Citations (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, p. 236-237 2 p. 9162212. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2020-June).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). ML Research Press, p. 617-620 (The Proceedings of Machine Learning Research, Vol. 138).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). Springer VS, p. 279-292 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12271 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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 p. 10

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    6 Citations (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, p. 141:1-141:14 14 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    1 Citation (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. (eds.). Springer VS, p. 175-182 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11984 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. (eds.). Association for Computing Machinery, p. 1114-1126 13 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    23 Citations (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. (ed.). Springer, p. 105-124 20 p. (Lecture Notes in Computer Science, Vol. 12470).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    5 Citations (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. p. 1-9 9 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
  • 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, p. 47-60 (CEUR Workshop Proceedings, Vol. 2778).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    4 Citations (Scopus)
    57 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, p. 1-3 48

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. p. 1-4 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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, p. 132-142 11 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    2 Citations (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, p. 503-509

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    11 Citations (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. (eds.). IEEE, p. 1-10 10 p. 8958666. (IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    8 Citations (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, p. 2777-2780 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    12 Citations (Scopus)