Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2019

    Solving Influence Diagrams with Simple Propagation

    Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2019, Advances in Artificial Intelligence - 32nd Canadian Conference on Artificial Intelligence, Canadian AI 2019, Proceedings. Rudzicz, F. & Meurs, M-J. (eds.). Cham: Springer, p. 68-79 12 p. (Lecture Notes in Computer Science, Vol. 11489).

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

  • SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

    Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Heidelberg: Springer, p. 147-164 18 p. (Lecture Notes in Computer Science, Vol. 11785).

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

    16 Citations (Scopus)

  • Spatial Mixer: Cross-Device Interaction for Music Mixing

    Kjeldskov, J., Paay, J. M., Sørensen Nilsson, A., Plejdrup, K. & Thomsen Pedersen, M., Dec 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. Association for Computing Machinery, p. 85-94 10 p.

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

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

  • Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

    Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, Proceedings of 35th IEEE International Conference on Data Engineering, ICDE 2019. IEEE, p. 1274-1285 12 p. 8731475. (Proceedings of the International Conference on Data Engineering).

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

    68 Citations (Scopus)

  • Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

    Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).

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

    5 Citations (Scopus)

  • Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

    Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 p. 2. (Leibniz International Proceedings in Informatics, Vol. 140).

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

    Open Access
    File
    45 Downloads (Pure)

  • Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

    Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 81-97 17 p. (Lecture Notes in Computer Science, Vol. 11781).

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

    Open Access
    File
    16 Citations (Scopus)
    310 Downloads (Pure)

  • Time to Learn - Learning Timed Automata from Tests

    Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Heidelberg: Springer, p. 216-235 20 p. (Lecture Notes in Computer Science, Vol. 11750).

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

    19 Citations (Scopus)

  • Towards longitudinal analytics on social media data

    Xia, F., Yang, B., Yu, C., Qian, W. & Zhou, A., Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 350-361 12 p. 8731609. (Proceedings of the International Conference on Data Engineering).

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

  • Underneath the Skin: An Analysis of YouTube Videos to Understand Insertable Device Interaction

    Komkaite, A., Lavrinovica, L., Vraka, M. & Skov, M., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 214

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

    14 Citations (Scopus)

  • Understanding human mobility: A multi-modal and intelligent moving objects database

    Xu, J., Lu, H. & Güting, R. H., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, p. 222-225 4 p.

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

    2 Citations (Scopus)

  • Weight-Mate: Adaptive Training Support for Weight Lifting

    Paay, J. M., Kjeldskov, J., Sørensen, F., Jensen, T. G. & Tirosh, O., 2 Dec 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. Association for Computing Machinery, p. 95-105 11 p.

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

    Open Access
    File
    2 Citations (Scopus)
    236 Downloads (Pure)
  • 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 proceeding › Article in proceeding › Communication

    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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › 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, p. 36-44

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

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

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-review

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

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

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

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-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 proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    8 Citations (Scopus)
    151 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 proceeding › Article in proceeding › Research › peer-review

    13 Citations (Scopus)

  • Conformance Testing in UPPAAL: A diabolic approach

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

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

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

    Open Access
    File
    71 Downloads (Pure)

  • Designing Ambient Multisensory Notification Devices: Managing Disruptions in the Home

    Papachristos, E., Merritt, T. R., Jacobsen, T. & Bagger, J., 1 Oct 2020, 19th International Conference on Mobile and Ubiquitous Multimedia. Association for Computing Machinery, p. 59-70

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

    4 Citations (Scopus)

  • Designing Community Technology Initiatives: A Literature Review

    Klerks, G., Hansen, N. B., O'Neill, D. & Schouten, B., 2020, OzCHI '20: 32nd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, p. 99-111

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

    6 Citations (Scopus)

  • Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas

    Kjærup, M., Skov, M. B. & Agerholm, N., 2020, CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-12 12 p. 3376509

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

    3 Citations (Scopus)

  • Does Smartphone Use Drive our Emotions or vice versa? A Causal Analysis

    Sarsenbayeva, Z., Marini, G., van Berkel, N., Luo, C., Jiang, W., Yang, K., Wadley, G., Dingler, T., Kostakos, V. & Goncalves, J., 2020, Proceedings of ACM SIGCHI Conference on Human Factors in Computing Systems. p. 1-15 15 p. 3376163

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

    41 Citations (Scopus)

  • Efficient Attribute-Constrained Co-Located Community Search

    Luo, J., Cao, X., Xie, X., Qu, Q., Xu, Z. & Jensen, C. S., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, p. 1201-1212 12 p. 9101525. (Proceedings of the International Conference on Data Engineering).

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

    18 Citations (Scopus)

  • Efficient Continuous Multi-Query Processing over Graph Streams

    Zervakis, E., Setty, V., Tryfonopoulos, C. & Hose, K., 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G., Khan, A. & Yang, B. (eds.). OpenProceedings.org, p. 13-24 12 p. (Advances in Database Technology).

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

    Open Access
    File
    9 Citations (Scopus)
    158 Downloads (Pure)