Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2018

Discovering Diversified Paths in Knowledge Bases

Aebeloe, C., Montoya, G., Setty, V. J. & Hose, K., 2018, In : Proceedings of the VLDB Endowment. 11, 12, p. 2002-2005

Research output: Contribution to journalJournal articleResearchpeer-review

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

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Jensen, P. G., Larsen, K. G. & Srba, J., 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 529–546 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

Distinguishing Trajectories from Different Drivers using Incompletely Labeled Trajectories

Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 17 Oct 2018, CIKM 2018 - 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. 863-872 10 p.

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

7 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 proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Double-consensus based distributed optimal energy management for multiple energy hubs

Li, Y. S., Li, T. Y., Zhou, J. G. & Huang, B. N., 1 Jan 2018, In : Applied Sciences (Switzerland). 8, 9, 1412.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
5 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

1 Citation (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 proceedingArticle in proceedingResearchpeer-review

Early and accurate recognition of highway traffic maneuvers considering real world application: a novel framework using Bayesian networks

Weidl, G., Madsen, A. L., Wang, S., Dietmar, K. & Karlsen, M., 1 Sep 2018, In : IEEE Intelligent Transportation Systems Magazine. 10, 3, p. 146-158 13 p., 8375109.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Editorial: Updates to the Editorial Board

Jensen, C. S., Apr 2018, In : A C M Transactions on Database Systems. 43, 1, 1 p., a1.

Research output: Contribution to journalEditorialResearch

Open Access

Efficient Analysis and Synthesis of Complex Quantitative Systems

Jensen, P. G., 2018, Aalborg Universitetsforlag. 227 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Open Access
File
231 Downloads (Pure)

Efficient Clue-based Route Search on Road Networks (Extended Abstract)

Zheng, B., Su, H., Hua, W., Zheng, K., Zhou, X. & Li, G., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 1783-1784 2 p. 8509470. (Proceedings of the International Conference on Data Engineering).

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sep 2018, In : Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
150 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

Open Access
2 Citations (Scopus)

ETL

Thomsen, C., 6 May 2018, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. (eds.). Springer Publishing Company, 5 p.

Research output: Contribution to book/anthology/report/conference proceedingEncyclopedia chapterResearchpeer-review

Open Access

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 proceedingArticle in proceedingResearchpeer-review

2 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 proceedingArticle in proceedingResearchpeer-review

File
6 Citations (Scopus)
241 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 proceedingArticle in proceedingResearchpeer-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 proceedingArticle in proceedingResearchpeer-review

10 Citations (Scopus)

Finding top-k shortest paths with diversity

Liu, H., Jin, C., Yang, B. & Zhou, A., 1 Jan 2018, In : IEEE Transactions on Knowledge and Data Engineering. 30, 3, p. 488-502 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

19 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 proceedingArticle in proceedingResearchpeer-review

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

Free complete Wasserstein algebras

Mardare, R., Panangaden, P. & Plotkin, G. D., 14 Sep 2018, In : Logical Methods in Computer Science. 14, 3, 16 p., 19.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
5 Downloads (Pure)

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 proceedingArticle in proceedingResearchpeer-review

File
1 Citation (Scopus)
69 Downloads (Pure)

Grand challenges in Shape-changing interface research

Alexander, J., Roudaut, A., Steimle, J., Hornbæk, K., Alonso, M. B., Follmer, S. & Merritt, T., 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.

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

30 Citations (Scopus)

Griddrones: A self-levitating physical voxel lattice for interactive 3D surface deformations

Braley, S., Rubens, C., Merritt, T. & Vertegaal, R., 11 Oct 2018, UIST 2018 - Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, p. 87-98 12 p.

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

2 Citations (Scopus)

GridDrones: A self-levitating physical voxel lattice for 3D surface deformations

Braley, S., Rubens, C., Merritt, T. R. & Vertegaal, R., 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, 4 p. D200

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

4 Citations (Scopus)

Happy Bits: Interactive Technologies Helping Young Adults with Low Self-Esteem

Paay, J., Nielsen, H., Larsen, H. H. & Kjeldskov, J., 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction . Association for Computing Machinery, 10 p.

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

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

Hierarchy

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Ling, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

High-level frameworks for the specification and verification of scheduling problems

Chadli, M., Kim, J. H., Larsen, K. G., Legay, A., Naujokat, S., Steffen, B. & Traonouez, L. M., 2018, In : International Journal on Software Tools for Technology Transfer. 20, 4, p. 397–422 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Hybrid Learning Model with Barzilai-Borwein Optimization for Context-aware Recommendations

Da Costa, F. S. & Dolog, P., 21 May 2018, Proceedings of the Thirtieth-First Florida Artificial Intelligence Research Society Conference. AAAI Publications, p. 456-461 6 p.

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

Open Access
File
18 Downloads (Pure)

Improving Explainable Recommendations with Synthetic Reviews

Ouyang, S., Lawlor, A., Costa, F. & Dolog, P., 2018, p. 9, (CoRR).

Research output: Working paperResearch

Increasing Confidence through Competence in People with Dementia Through Meaningful Conversations

Paay, J., Bank, M. & Aaen, I., 4 Jun 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, p. 175-178 3 p. 40

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

Open Access
File
154 Downloads (Pure)

Inference, Learning, and Population Size: Projectivity for SRL Models

Jaeger, M. & Schulte, O., 2018, Eighth International Workshop on Statistical Relational AI: Accepted Papers. Statistical Relational AI (StarAI), 8 p.

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

Open Access

In Search of Indoor Dense Regions: An Approach Using Indoor Positioning Data

Li, H., Lu, H., Shou, L., Chen, G. & Chen, K., 1 Aug 2018, In : I E E E Transactions on Knowledge & Data Engineering. 30, 8, p. 1481-1495 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
5 Citations (Scopus)
56 Downloads (Pure)

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 Feb 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. IEEE, p. 11-19 9 p.

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

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

Interaction Design for Sustainable Energy Consumption in the Smart Home

Jensen, R. H., 2018, Aalborg Universitetsforlag. 209 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Open Access
File
340 Downloads (Pure)

Interactive Technologies Helping Young Adults Manage Low Self-Esteem

Paay, J., Larsen, H. & Nielsen, H., 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, p. 179-182 4 p. 41

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

Open Access
File
956 Downloads (Pure)

Invited papers from the ACM conference on hypertext and social media

Bonchi, F., Dolog, P., Helic, D. & Vojtás, P., 2018, In : New Review of Hypermedia and Multimedia. 24, 2, p. 61-62 2 p.

Research output: Contribution to journalEditorialResearch

It’s not Complicated: A Study of Non-Specialists Analyzing GSR Sensor Data to Detect UX Related Events

Bruun, A., 1 Oct 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 170-183 14 p.

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

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

IZone: Efficient influence zone evaluation over geo-Textual Data

Liu, Q., Feng, Z., Xi, X., Xu, J., Lin, X. & Jensen, C. S., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 1645-1648 4 p. 8509418

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

Kraken: Online and Elastic Resource Reservations for Cloud Datacenters

Fuerst, C., Schmid, S., Suresh, L. & Costa, P., Feb 2018, In : IEEE/ACM Transactions on Networking. 26, 1, p. 422-435 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Latency performance of encoding with random linear network coding

Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 Jan 2018, European Wireless 2018 : 24th European Wireless Conference . VDE Verlag GMBH, p. 120-124 5 p.

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

Learning and Interpreting Multi-Multi-Instance Learning Networks

Tibo, A., Jaeger, M. & Frasconi, P., 2018

Research output: Other contributionResearch

Open Access

Learning to route with sparse trajectory sets

Guo, C., Yang, B., Hu, J. & Jensen, C. S., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 1073-1084 12 p. 8509321. (Proceedings of the International Conference on Data Engineering).

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

14 Citations (Scopus)

Local fast failover routing with low stretch

Foerster, K. T., Pignolet, Y. A., Schmid, S. & Tredan, G., 1 Jan 2018, In : Computer Communication Review. 48, 1, p. 35-41 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

Location Analytics for Location-Based Social Networks

Saleem, M. A., 2018, Aalborg Universitetsforlag. 213 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
148 Downloads (Pure)

Location-aware top-κ term publish/subscribe

Chen, L., Shang, S., Zhang, Z., Cao, X., Jensen, C. S. & Kalnis, P., 24 Oct 2018, IEEE International Conference on Data Engineering (ICDE). IEEE, p. 749-760 12 p. 8509294. (Proceedings of the International Conference on Data Engineering).

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

17 Citations (Scopus)

Location Prediction in Social Networks

Liu, R., Cong, G., Zheng, B., Zheng, K. & Su, H., 1 Jan 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, p. 151-165 15 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 proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)