Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2017

    Wireless Evacuation on m Rays with k Searchers

    Brandt, S., Förster, K-T., Richner, B. & Wattenhofer, R., Dec 2017, Proceedings of the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, (Lecture Notes in Computer Science, Vol. 10641).

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

    Open Access
    9 Citations (Scopus)

  • WNetKAT: A Weighted SDN Programming and Verification Language

    Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; No. 70).

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

    3 Citations (Scopus)

  • WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

    Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Vol. 10460).

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

    6 Citations (Scopus)
  • 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)
    168 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)
    173 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

    54 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)
    101 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

    59 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)
    198 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)

  • Deep representation learning for trajectory similarity computation

    Li, X., Zhao, K., Cong, G., Jensen, C. S. & Wei, W., 24 Oct 2018, IEEE International Conference on Data Engineering (ICDE). IEEE, p. 617-628 12 p. 8509283. (Proceedings of the International Conference on Data Engineering).

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

    163 Citations (Scopus)

  • Designing the Desirable Smart Home: A Study of Household Experiences and Energy Consumption Impacts

    Jensen, R. H., Yolande Strengers, Kjeldskov, J., Larissa Nicholls & Skov, M., 21 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18): Engage with CHI. Association for Computing Machinery, 14 p. Paper 4

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

    File
    69 Citations (Scopus)
    851 Downloads (Pure)

  • Detecting Complex Sensitive Information via Phrase Structure in Recursive Neural Networks

    Neerbek, J., Assent, I. & Dolog, P., 2018, PAKDD 2018: Advances in Knowledge Discovery and Data Mining. Springer, Vol. 10939. p. 373-385 13 p. (Lecture Notes in Computer Science).

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

    11 Citations (Scopus)

  • Detection of Mirai by Syntactic and Behavioral Analysis

    Ben Said, N., Biondi, F., Bontchev, V., Decourbe, O., Given-Wilson, T., Legay, A. & Quilbeuf, J., 16 Nov 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 224-235 12 p. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Vol. 2018-October).

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

    16 Citations (Scopus)

  • Diagnostic Agents: Collaborative Interpretation for Cardiac Patients at Home

    Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 20 Apr 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Vol. 2018-April. p. 1DUMMY 6 p. LBW041

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

    2 Citations (Scopus)

  • Distinguishing Trajectories from Different Drivers using Incompletely Labeled Trajectories

    Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 17 Oct 2018, Proceedings of the 27th ACM International Conference on Information and Knowledge Management, CIKM 2018. 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. 863-872 10 p.

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

    41 Citations (Scopus)

  • Distributed k-Nearest Neighbor Queries in Metric Spaces

    Ding, X., Zhang, Y., Chen, L., Gao, Y. & Zheng, B., 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Xu, J., Ishikawa, Y. & Cai, Y. (eds.). Springer, Vol. 1. p. 236-252 17 p. (Lecture Notes in Computer Science, Vol. 10987).

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

    5 Citations (Scopus)

  • DriveLaB: A platform for reducing speeding

    Olsen, T. F., Pedersen, K. F., Rasmussen, D. & Torp, K., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management (MDM). IEEE, p. 274-275 2 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2018-June).

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

    1 Citation (Scopus)

  • Driving on Sunshine: Aligning Electric Vehicle Charging and Household Electricity Production

    Svangren, M. K., Jensen, R. H., Skov, M. & Kjeldskov, J., 1 Oct 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction . Association for Computing Machinery, p. 439-451 13 p.

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

    11 Citations (Scopus)

  • Dynamic Spatio-temporal Integration of Traffic Accident Data

    Andersen, O. & Torp, K., 6 Nov 2018, Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Xiong, L., Tamassia, R., Banaei, K. F., Guting, R. H. & Hoel, E. (eds.). Association for Computing Machinery, p. 596-599 4 p.

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

  • Efficient Matching of Offers and Requests in Social-Aware Ridesharing

    Fu, X., Zhang, C., Lu, H. & Xu, J., 13 Jul 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, Vol. 2018-June. p. 197-206 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

    7 Citations (Scopus)

  • Enabling self-aware smart buildings by augmented reality

    Aab, M., Chau, S. C. K. & Khonji, M., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 261-265 5 p.

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

    Open Access
    7 Citations (Scopus)

  • Event2Vec: Neural embeddings for news events

    Setty, V. & Hose, K., 27 Jun 2018, 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2018. Association for Computing Machinery, p. 1013-1016 4 p.

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

    13 Citations (Scopus)

  • Exploring Hygge as a Desirable Design Vision for the Sustainable Smart Home

    Jensen, R. H., Strengers, Y., Raptis, D., Nichols, L., Kjeldskov, J. & Skov, M., 9 Jun 2018, DIS 2018 - Proceedings of the 2018 Designing Interactive Systems Conference. Association for Computing Machinery, p. 355-360 6 p.

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

    File
    34 Citations (Scopus)
    588 Downloads (Pure)

  • Extracting Rankings for Spatial Keyword Queries from GPS Data

    Keles, I., Jensen, C. S. & Saltenis, S., 2018, Progress in Location Based Services 2018. 208669 ed. Springer, p. 173-194 22 p. (Lecture notes in geoinformation and Cartography).

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

  • Finding top-k optimal sequenced routes

    Liu, H., Jin, C., Yang, B. & Zhou, A., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 569-580 12 p. 8509279. (Proceedings of the International Conference on Data Engineering).

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

    38 Citations (Scopus)

  • Finding Top-k Shortest Paths with Diversity

    Liu, H., Jin, C., Yang, B. & Zhou, A., 2018, 2018 IEEE 34th International Conference on Data Engineering (ICDE) . IEEE, p. 1761-1762 2 p. (Proceedings of the International Conference on Data Engineering).

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

    7 Citations (Scopus)

  • Four Factors Informing Design Judgement at a Hackathon

    Olesen, J. F., Hansen, N. B. & Halskov, K., Dec 2018, Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, p. 473-483 11 p. (OzCHI '18).

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

    8 Citations (Scopus)

  • Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

    Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 Jul 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, p. 51-58 8 p. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    File
    7 Citations (Scopus)
    117 Downloads (Pure)