Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2019

    Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

    Open Access
    File
    8 Citations (Scopus)
    61 Downloads (Pure)

  • Personalised Soundscapes in Homes

    Lundgaard, S. S. & Nielsen, P. A., 2019, DIS 2019 - Proceedings of the 2019 Designing Interactive Systems Conference. Association for Computing Machinery, p. 813-822 10 p.

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

    16 Citations (Scopus)

  • Presentation of the 9th Edition of the Model Checking Contest

    Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science, Vol. 11429).

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

    Open Access
    File
    21 Citations (Scopus)
    37 Downloads (Pure)

  • Push-based Spatial Crowdsourcing for Enriching Semantic Tags in OpenStreetMap

    Gummidi, B., Pedersen, T. B., Xie, X. & Zimányi, E., 8 Nov 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: SIGSPATIAL'19. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (eds.). Association for Computing Machinery, p. 532-535 4 p.

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

    1 Citation (Scopus)

  • Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

    Pedersen, T., Albano, M. & Nielsen, B., 17 Oct 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 5519-5524 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    6 Citations (Scopus)

  • Retrieving textual evidence for knowledge graph facts

    Ercan, G., Elbassuoni, S. & Hose, K., 1 Jan 2019, The Semantic Web. Janowicz, K., Haller, A., Zaveri, A., Gray, A. J. G., Hitzler, P., Hammar, K., Lopez, V. & Fernández, M. (eds.). Portorož, Slovenia: Springer, p. 52-67 16 p. (Lecture Notes in Computer Science, Vol. 11503).

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

    File
    7 Citations (Scopus)
    221 Downloads (Pure)

  • Safe and Time-Optimal Control for Railway Games

    Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (eds.). Springer, p. 106-122 17 p. (Lecture Notes in Computer Science, Vol. 11495).

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

    8 Citations (Scopus)

  • Seed-Driven Geo-Social Data Extraction

    Isaj, S. & Pedersen, T. B., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019: SSTD. Association for Computing Machinery, p. 11-20 10 p.

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

    Open Access
    File
    4 Citations (Scopus)
    199 Downloads (Pure)

  • Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings

    Neerbek, J., Dolog, P. & Assent, I., 2019, Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III. Yang, Q., Zhang, M-L., Gong, Z., Huang, S-J. & Zhou, Z-H. (eds.). Springer VS, p. 40-53 14 p. (Lecture Notes in Computer Science, Vol. 11441).

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

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

  • Skyline Queries over Knowledge Graphs

    Keles, I. & Hose, K., 17 Oct 2019, The Semantic Web – ISWC 2019 - 18th International Semantic Web Conference, Proceedings. Ghidini, C., Hartig, O., Maleshkova, M., Svátek, V., Cruz, I., Hogan, A., Song, J., Lefrançois, M. & Gandon, F. (eds.). Springer, p. 293-310 18 p. (Lecture Notes in Computer Science, Vol. 11778).

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

    Open Access
    File
    8 Citations (Scopus)
    160 Downloads (Pure)

  • 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

    17 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)
    140 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)
    326 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)
    239 Downloads (Pure)
  • 2018

    20 Years of Real Real Time Model Validation

    Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

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

    1 Citation (Scopus)

  • 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

    Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

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

    18 Citations (Scopus)

  • Accurate Fuel Estimates using CAN Bus Data and 3D Maps

    Andersen, O. & Torp, K., Jun 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 257-265 9 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

    2 Citations (Scopus)

  • A component framework as an enabler for industrial cyber physical systems

    Neto, L., Madsen, A. L., Søndberg-Jeppesen, N., Silva, R., Reis, J., McIntyre, P. & Gonçalves, G., 15 Jun 2018, Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018. IEEE, p. 339-344 6 p.

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

    2 Citations (Scopus)

  • A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

    Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

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

    Open Access
    File
    6 Citations (Scopus)
    122 Downloads (Pure)

  • Adaptive Travel-Time Estimation: A Case for Custom Predicate Selection

    Waury, R., Jensen, C. S. & Torp, K., 13 Jul 2018, Proceedings - 19th IEEE International Conference on Mobile Data Management, MDM 2018. IEEE, p. 96-105 10 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

    5 Citations (Scopus)

  • Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

    Frazzetto, D., Neupane, B., Pedersen, T. B. & Nielsen, T. D., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 1-11 11 p.

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

    10 Citations (Scopus)

  • Aggregate k Nearest Neighbor Queries in Metric Spaces

    Ding, X., Zhang, Y., Chen, L., Yang, K. & Gao, Y., 2018, Web and Big Data: Second International Joint Conference, APWeb-WAIM 2018, Macau, China, July 23-25, 2018, Proceedings, Part II. Cai, Y., Ishikawa, Y. & Xu, J. (eds.). Springer, Vol. 2. p. 317-333 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10988 LNCS).

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

  • A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sept 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

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

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

  • A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

    Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

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

    Open Access
    File
    6 Citations (Scopus)
    169 Downloads (Pure)

  • An Algebraic Theory of Markov Processes

    Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

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

    Open Access
    File
    13 Citations (Scopus)
    174 Downloads (Pure)

  • Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

    Ivanov, D., Larsen, K. G., Schupp, S. & Srba, J., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 173-189 17 p. (Lecture Notes in Computer Science, Vol. 11024).

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

    4 Citations (Scopus)

  • A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning

    Hüttel, H., Gnaur, D., Klostergaard, A. H. & Blegmand, G., 4 Sept 2018, Collaboration and Technology: 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings. Rodrigues, A., Fonseca, B. & Preguiça, N. (eds.). Springer, p. 177-184 8 p. (Lecture Notes in Computer Science (LNCS), Vol. 11001).

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

    1 Citation (Scopus)

  • Answering provenance-aware queries on RDF data cubes under memory budgets

    Galárraga, L., Ahlstrøm, K., Hose, K. & Pedersen, T. B., 1 Jan 2018, The Semantic Web – ISWC 2018 - 17th International Semantic Web Conference, 2018, Proceedings. Suárez-Figueroa, M. C., Presutti, V., Kaffee, L-A., Simperl, E., Sabou, M., Vrandecic, D., Celino, I. & Bontcheva, K. (eds.). Springer, p. 547-565 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11136 LNCS).

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

    8 Citations (Scopus)

  • ASTEP: Aau's spatio-temporal data analytics platform

    Beuchert, M., Jensen, S. H., Sheikh-Omar, O. A., Svendsen, M. B. & Yang, B., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 278-279 2 p.

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

    6 Citations (Scopus)

  • A time-aware path-based publish/subscribe framework

    Jia, M., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 Jan 2018, Database Systems for Advanced Applications : 23rd International Conference, DASFAA 2018, Proceedings. Springer, p. 511-528 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10827 LNCS).

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

    2 Citations (Scopus)

  • Automatic Generation of Natural Language Explanations

    Da Costa, F. S., Ouyang, S., Dolog, P. & Lawlor, A., 8 Mar 2018, Proceedings of the 23rd International Conference on Intelligent User Interfaces. Association for Computing Machinery, 57

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

    55 Citations (Scopus)

  • A Walk in the Clouds: Routing through VNFs on Bidirected Networks

    Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, p. 11-26 (Lecture Notes in Computer Science, Vol. 10739).

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

    Open Access
    File
    3 Citations (Scopus)
    105 Downloads (Pure)

  • Boolean-valued semantics for the stochastic Lambda-calculus

    Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 669-678 10 p.

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

    7 Citations (Scopus)

  • Building a new Community Around a Platform for Developing PBL Competences

    Huttel, H. & Gnaur, D., Nov 2018, Proceedings of the 17th European Conference on e-Learning. Ntalianis, K., Andreatis, A. & Sgouropoulou, C. (eds.). Reading, UK: Academic Conferences and Publishing International, p. 161-169

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

    1 Citation (Scopus)

  • Child-Computer Interaction SIG: Ubiquity and Big Data - A Changing Technology Landscape for Children

    Hourcade, J. P., Zeising, A., Iversen, O., Skov, M., Antle, A., Anthony, L., Fails, J. & Walsh, G., 2018, Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 5 p. SIG07

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

    14 Citations (Scopus)

  • Collaborative symptoms interpretation for cardiac patients as diagnostic agents

    Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 29 Sept 2018, Proceedings of the 10th Nordic Conference on Human-Computer Interaction (NordiCHI '18). Association for Computing Machinery, p. 549-558 10 p.

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

    2 Citations (Scopus)

  • Concept for evaluation of techniques for trajectory distance measures

    Peixoto, D. A., Su, H., Hung, N. Q. V., Stantic, B., Zheng, B. & Zhou, X., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 276-277 2 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

    1 Citation (Scopus)

  • Context-Free Session Types for Applied Pi-Calculus

    Aagaard, J., Hüttel, H., Steen Jakobsen, M. & Kettunen, M., 24 Aug 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.. Open Publishing Association, Vol. 276. p. 3-18 16 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

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

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

  • Correlated Time Series Forecasting using Multi-Task Deep Neural Networks

    Cirstea, R-G., Micu, D-V., Muresan, G-M., Guo, C. & Yang, B., 17 Oct 2018, CIKM '18 Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (eds.). Association for Computing Machinery, p. 1527-1530 4 p.

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

    60 Citations (Scopus)

  • DARA: Assisting Drivers to Reflect on How They Hold the Steering Wheel

    Raptis, D., Iversen, J., Mølbak, T. H. & Skov, M., 29 Sept 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. p. 1-12 12 p.

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

    File
    5 Citations (Scopus)
    347 Downloads (Pure)

  • Database Technology for Processing Temporal Data

    Böhlen, M. H., Dignös, A., Gamper, J. & Jensen, C. S., 1 Oct 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018. Norvag, K., Penczek, W. & Alechina, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 120. 7 p. 2. (Leibniz International Proceedings in Informatics, Vol. 120).

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

    Open Access
    File
    10 Citations (Scopus)
    199 Downloads (Pure)

  • Day-ahead Trading of Aggregated Energy Flexibility

    Valsomatzis, E., Pedersen, T. B. & Abelló, A., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. New York, NY, USA: Association for Computing Machinery, p. 134-138 5 p. (e-Energy '18).

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

    12 Citations (Scopus)