Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2019

Analyzing spreadsheets for parallel execution via model checking

Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).

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

1 Citation (Scopus)

Analyzing trajectories using a path-based API

Waury, R., Dolog, P., Jensen, C. S. & Torp, K., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, p. 198-201 4 p.

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

An MBR-Oriented Approach for Efficient Skyline Query Processing

Zhang, J., Wang, W., Jiang, X., Ku, W-S. & Lu, H., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 806-817 12 p. 8731386. (Proceedings of the International Conference on Data Engineering).

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

An Open Source Dataset and Ontology for Product Footprinting

Ghose, A., Hose, K., Lissandrini, M. & Weidema, B. P., 2019, The Semantic Web: ESWC 2019 Satellite Events - ESWC 2019 Satellite Events, Revised Selected Papers. Hitzler, P., Kirrane, S., Hartig, O., de Boer, V., Schlobach, S., Vidal, M-E., Maleshkova, M., Hammar, K., Lasierra, N., Stadtmüller, S., Hose, K. & Verborgh, R. (eds.). Springer, p. 75-79 5 p. (Lecture Notes in Computer Science, Vol. 11762).

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

An Overlapping Voronoi Diagram-based System for Multi-Criteria Optimal Location Queries

Zhang, J., Harn, P-W., Ku, W-S., Sun, M-T., Qin, X., Lu, H. & Jiang, X., 2019, In : Geoinformatica. 23, 1, p. 105-161 57 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Answering Why-Not Group Spatial Keyword Queries (Extended Abstract)

Zheng, B., Zheng, K., Jensen, C. S., Hung, N. Q. V., Su, H., Li, G. & Zhou, X., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 2155-2156 2 p. 8731602. (Proceedings of the International Conference on Data Engineering).

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

A NUMA-aware Trajectory Store for Travel-Time Estimation

Waury, R., Jensen, C. S. & Torp, K., 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (eds.). Association for Computing Machinery, p. 209-218 10 p.

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

A practical delivery route planning system

Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 349-350 2 p. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Eskevich, M., de Melo, G., Fath, C., McCrae, J. P., Buitelaar, P., Chiarcos, C., Klimek, B. & Dojchinovski, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 13:1-13:8 8 p. 13. (Open Access Series in Informatics, Vol. 70).

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

Open Access
File

ARDI: Automatic Generation of RDFS Models from Heterogeneous Data Sources

Nigatu, S. T., Gomez, C., Romero, O., Hose, K. & Rabbani, K., 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC). IEEE Press, p. 190-196 7 p. 8945018. (IEEE International Enterprise Distributed Object Computing Conference (EDOC)).

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

Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 Apr 2019, 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Paris, France: IEEE, p. 697-702 6 p. 8820366. (International Conference on Control, Decision and Information Technologies (CoDIT)).

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

Assessing the performance of short multi-item questionnaires in aesthetic evaluation of websites

Papachristos, E., 2019, In : Behaviour and Information Technology. 38, 5, p. 469-485

Research output: Contribution to journalJournal articleResearchpeer-review

A survey of spatial crowdsourcing

Gummidi, S. R. B., Xie, X. & Pedersen, T. B., 1 Apr 2019, In : ACM Transactions on Database Systems. 44, 2, p. 8:1-8:46 8.

Research output: Contribution to journalJournal articleResearchpeer-review

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

A Web-Based Platform for Competence Development in PBL Supervision

Hüttel, H. & Gnaur, D., 2019, In : International Journal of E-Collaboration. 15, 3, p. 20-33 14 p., 2.

Research output: Contribution to journalJournal articleResearchpeer-review

Collective embedding for neural context-aware recommender systems

Costa, F. S. D. & Dolog, P., 2019, Proceedings of the 13th ACM Conference on Recommender Systems, RecSys 2019, Copenhagen, Denmark, September 16-20, 2019.. Bogers, T., Said, A., Brusilovsky, P. & Tikk, D. (eds.). Association for Computing Machinery, p. 201-209 9 p.

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

Comprehensive audience expansion based on end-To-end neural prediction

Jiang, J., Lin, X., Yao, J. & Lu, H., 1 Jan 2019, In : CEUR Workshop Proceedings. 2410

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
11 Downloads (Pure)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 9:1-9:17 17 p. 9. (Leibniz International Proceedings in Informatics, Vol. 140).

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

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

Continuous Range Queries over Multi-Attribute Trajectories

Xu, J., Bao, Z. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, p. 1610-1613 4 p. 8731413. (Proceedings of the International Conference on Data Engineering).

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

Continuous-Time Models for System Design and Analysis

Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, p. 452-477 (Lecture Notes in Computer Science, Vol. 10000).

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

Controlling Signalized Intersections using Machine Learning

Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2019, (Accepted/In press) In : Transportation Research Procedia.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Convolutional Adversarial Latent Factor Model for Recommender System

Costa, F. S. D. & Dolog, P., 2019, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019.. Barták, R. & Brawner, K. W. (eds.). AAAI Press, p. 419-424 6 p.

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

Open Access
File
18 Downloads (Pure)

Counts-of-counts similarity for prediction and search in relational data

Jaeger, M., Lippi, M., Pellegrini, G. & Passerini, A., Sep 2019, In : Data Mining and Knowledge Discovery. 33, 5, p. 1254–1297 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO2 Levels While Cycling

Schneiders, E. & Skov, M. B., 25 Aug 2019, Human-Computer Interaction – INTERACT 2019 - 17th IFIP TC 13 International Conference, Proceedings. Lamas, D., Loizides, F., Nacke, L., Petrie, H., Winckler, M. & Zaphiris, P. (eds.). Springer, p. 678-687 10 p. (Lecture Notes in Computer Science, Vol. 11747).

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

Data Verification in Integrated RFID Systems

Sakai, K., Sun, M-T., Ku, W-S., Lu, H. & Lai, T-H., 2019, In : I E E E Systems Journal. 13, 2, p. 1969-1980 12 p., 8458363.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
213 Downloads (Pure)

Decentralized Indexing over a Network of RDF Peers

Aebeloe, C., Montoya, G. & Hose, K., 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. 3-20 18 p. (Lecture Notes in Computer Science, Vol. 11778).

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

Demonstration of ModelarDB: Model-Based Management of Dimensional Time Series

Jensen, S. K., Pedersen, T. B. & Thomsen, C., 2019, Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, p. 1933-1936 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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., 2019, (Accepted/In press) Adjunct Proceedings of the 17th IFIP Conference on Human-Computer Interaction (Interact’19). Springer

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

Development of a hybrid Bayesian network model for predicting acute fish toxicity using multiple lines of evidence

Moe, J., Madsen, A. L., Connors, K. A., Rawlings, J. M., Belanger, S. E., Landis, W. G., Wolf, R. & Lillicrap, A. D., 30 Aug 2019, (Submitted) Cold Spring Harbor Laboratory Press.

Research output: Working paperResearch

Drivelab: An experimental platform for telematics

Pedersen, K. F. & Torp, K., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 252-259 8 p. 8788727. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

Effective and efficient location influence mining in location-based social networks

Saleem, M. A., Kumar, R., Calders, T. & Pedersen, T. B., 1 Oct 2019, In : Knowledge and Information Systems. 61, 1, p. 327-362

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
52 Downloads (Pure)

Effective and Efficient Reuse of Past Travel Behavior for Route Recommendation

Chen, L., Shang, S., Jensen, C. S., Yao, B., Zhang, Z. & Shao, L., 2019, KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 488-498 11 p.

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

4 Citations (Scopus)

Efficient and Incremental Clustering Algorithms on Star-Schema Heterogeneous Graphs

Chen, L., Gao, Y., Zhang, Y., Jensen, C. S. & Zheng, B., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 256-267 12 p. 8731611. (Proceedings of the International Conference on Data Engineering).

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

1 Citation (Scopus)

Efficient Bottom-Up Discovery of Multi-Scale Time Series Correlations Using Mutual Information

Ho, T. T. N., Pedersen, T. B., Vu, M., Van, H. L. & Biscio, C. A. N., 8 Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 1734-1737 4 p. 8731434. (Proceedings of the International Conference on Data Engineering).

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

1 Citation (Scopus)

Efficient distributed reachability querying of massive temporal graphs

Zhang, T., Gao, Y., Chen, L., Guo, W., Pu, S., Zheng, B. & Jensen, C. S., 2019, In : VLDB Journal. 28, 6, p. 871-896 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Efficient indexing of hashtags using bitmap indices

Subba, L. T., Thomsen, C. & Pedersen, T. B., 20 Mar 2019, In : CEUR Workshop Proceedings. 2324, 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
68 Downloads (Pure)

Efficiently Mining Maximal Diverse Frequent Itemsets

Wu, D., Luo, D., Jensen, C. S. & Huang, J. Z., 2019, Database Systems for Advanced Applications - 24th International Conference, DASFAA 2019, Proceedings: DASFAA 2019: Database Systems for Advanced Applications. Tong, Y., Natwichai, J., Yang, J., Li, G. & Gama, J. (eds.). Springer, p. 191-207 17 p. (Lecture Notes in Computer Science, Vol. 11447).

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

Efficient matching of offers and requests in social-aware ridesharing

Fu, X., Zhang, C., Lu, H. & Xu, J., 1 Oct 2019, In : Geoinformatica. 23, 4, p. 559-589 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Efficient Similarity Search on Quasi-Metric Graphs

Zhang, T., Gao, Y., Chen, L., Chen, G. & Pu, S., 2019, In : IEEE Access. 7, p. 101496 - 101512

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
2 Downloads (Pure)

Enabling openness of valuable information resources: Curbing data subtractability and exclusion

Vassilakopoulou, P., Skorve, E. & Aanestad, M., Jul 2019, In : Information Systems Journal. 29, 4, p. 768-786

Research output: Contribution to journalJournal articleResearchpeer-review

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

Exploiting Ratings, Reviews and Relationships for Item Recommendations in Topic Based Social Networks

Li, P., Lu, H., Zheng, G., Zheng, Q., Yang, L. & Pan, G., 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 995-1005 11 p.

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

Exploiting Symmetry of Independence in d-Separation

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

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

Exploring the Data Wilderness through Examples

Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2019, Proceedings of the 2019 International Conference on Management of Data (SIMGOD/PODS). Association for Computing Machinery, p. 2031-2035 5 p.

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

Fast stochastic routing under time-varying uncertainty

Pedersen, S. A., Yang, B. & Jensen, C. S., 2019, In : The VLDB Journal. 2019, p. 1-21 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Finding Attribute-Aware Similar Region for Data Analysis

Feng, K., Cong, G., Jensen, C. S. & Guo, T., 2019, In : Proceedings of the VLDB Endowment. 12, 11, p. 1414-1426

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
5 Downloads (Pure)

Finding Most Popular Indoor Semantic Locations Using Uncertain Mobility Data

Li, H., Lu, H., Shou, L., Chen, G. & Chen, K., 1 Nov 2019, In : I E E E Transactions on Knowledge & Data Engineering. 31, 11, p. 2108 - 2123 16 p., 8486725.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
29 Downloads (Pure)

Finding Most Popular Indoor Semantic Locations Using Uncertain Mobility Data [Extended Abstract]

Li, H., Lu, H., Shou, L., Chen, G. & Chen, K., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, p. 2139-2140 2 p. 8731528. (Proceedings of the International Conference on Data Engineering).

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

1 Citation (Scopus)

Flexibility Modeling, Management, and Trading in Bottom-up Cellular Energy Systems

Siksnys, L., Pedersen, T. B., Aftab, M. & Neupane, B., 18 Jun 2019, Proceedings of the Tenth ACM International Conference on Future Energy Systems, e-Energy 2019. Association for Computing Machinery, p. 170-180 11 p.

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

Open Access
File
20 Downloads (Pure)

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings.

Larsen, K. G. (ed.) & Willemse, T. (ed.), 2019, Springer Publishing Company. (Lecture Notes in Computer Science, Vol. 11687).

Research output: Book/ReportAnthologyResearchpeer-review

Full-Band Music Genres Interpolations with Wasserstein Autoencoders

Borghuis, T., Tibo, A., Conforti, S., Brusci, L. & Frasconi, P., 2019, Ital-IA.

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

Open Access
File
10 Downloads (Pure)