Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2018

Loop-Free Route Updates for Software-Defined Networks

Foerster, K. T., Ludwig, A., Marcinkowski, J. & Schmid, S., 1 Feb 2018, In : IEEE/ACM Transactions on Networking. 26, 1, p. 328-341 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
15 Citations (Scopus)
11 Downloads (Pure)

Mastering operational limitations of LEO satellites – The GOMX-3 approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 1 Oct 2018, In : Acta Astronautica. 151, p. 726-735 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

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

2 Citations (Scopus)

Measure

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

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

Message from the MDM 2018 general co-chairs

Joshi, A., Šaltenis, S. & Zhou, X., 13 Jul 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, Vol. 2018-June. p. xi-xii (I E E E International Conference on Mobile Data Management. Proceedings).

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearch

Message from the MDM 2018 program co-chairs

Hara, T., Lee, W. C. & Yang, B., 13 Jul 2018, In : Proceedings - IEEE International Conference on Mobile Data Management. 2018-June, p. xiii

Research output: Contribution to journalEditorialResearch

MeteorQuest - Bringing Families Together Through Proxemics Play In A Mobile Social Game

Rosenqvist, R., Boldsen, J., Papachristou, E. & Merritt, T. R., 2018, CHI PLAY '18 Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play. New York, NY, USA: Association for Computing Machinery, p. 439-450 12 p.

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

1 Citation (Scopus)

ModelarDB: Modular Model-based Time Series Management with Spark and Cassandra

Jensen, S. K., Pedersen, T. B. & Thomsen, C., 1 Jul 2018, In : Proceedings of the VLDB Endowment. 11, 11, p. 1688-1701 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
4 Citations (Scopus)

Model-Based Mutation Testing of Real-Time Systems via Model Checking

Lorber, F., Larsen, K. G. & Nielsen, B., Apr 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, p. 59-68

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

2 Citations (Scopus)

Model Checking Real-Time Systems

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, p. 1001-1046 46 p.

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

8 Citations (Scopus)

Modeling and Managing Energy Flexibility Using FlexOffers

Pedersen, T. B., Siksnys, L. & Neupane, B., 29 Oct 2018, IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids: SmartGridComm 2018. IEEE, p. 1-7 7 p.

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

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

Modeling travel behavior similarity with trajectory embedding

Yang, W., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 Jan 2018, Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Proceedings. Springer, p. 630-646 17 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 proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

Motivations and practices for cheating in Pokémon Go

Paay, J., Kjeldskov, J., Iternicola, D. & Thomassen, M., 3 Sep 2018, MobileHCI 2018 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 13 p. a35

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

MOVE: A Mobile App Designed for Social Health Relations in Residential Areas

Kanstrup, A. M., Bertelsen, P. S., Nunez, H. C., Jonasen, T. S. & Stage, J., 2018, Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth. Klein, G. O., Karlsson, D., Moen, A. & Ugon, A. (eds.). IOS Press, Vol. 247. p. 496-500 5 p. (Studies in Health Technology and Informatics).

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

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

Multidimensional Modeling

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

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

Multi-schema-version data management: data independence in the twenty-first century

Herrmann, K., Voigt, H., Pedersen, T. B. & Lehner, W., Aug 2018, In : V L D B Journal. 27, 4, p. 547-571 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 Aug 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, p. 21-26 6 p.

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

2 Citations (Scopus)

Neural Explainable Collective Non-negative Matrix Factorization for Recommender Systems

Costa, F. & Dolog, P., 2018, Proceedings of the 14th International Conference on Web Information Systems and Technologies, WEBIST 2018, Seville, Spain, September 18-20, 2018.. Escalona, M. J., Mayo, F. J. D., Majchrzak, T. A. & Monfort, V. (eds.). SCITEPRESS Digital Library, p. 35-45 11 p.

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

1 Citation (Scopus)

Node selection in large networks

Logins, A., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 1689-1693 5 p. 8509437. (Proceedings of the International Conference on Data Engineering).

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

1 Citation (Scopus)

On and off the table: Re-imagining food and wine interactions

Davis, H., Paay, J., Kjeldskov, J. & Dolejšová, M., 4 Dec 2018, OzCHI '18 Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, p. 612-617 6 p.

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

3 Citations (Scopus)

On decidability of recursive weighted logics

Larsen, K. G., Mardare, R. & Xue, B., 2018, In : Soft Computing. 22, 4, p. 1085-1102

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Online Aggregation of the Forwarding Information Base: Accounting for Locality and Churn

Bienkowski, M., Sarrar, N., Schmid, S. & Uhlig, S., 1 Feb 2018, In : IEEE/ACM Transactions on Networking. 26, 1, p. 591-604 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, p. 3421-3430 10 p.

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

1 Citation (Scopus)

On the Verification of Weighted Kripke Structures Under Uncertainty

Bacci, G., Hansen, M. & Larsen, K. G., 1 Jan 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer, p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

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

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

Operationalising ecosystem service assessment in Bayesian Belief Networks: Experiences within the OpenNESS project

Smith, R., Barton, D. N., Dick, J., Haines-Young, R., Madsen, A. L., Rusch, G. M., Termansen, M., Woods, H., Carvalho, L., Giuca, R. C., Luque, S., Odee, D., Rusch, V., Saarikoski, H., Adamescu, C. M., Dunford, R., Ochieng, J., Gonzalez-Redin, J., Stange, E., Vadineanu, A. & 2 others, Verweij, P. & Vikstrom, S., Feb 2018, In : Ecosystem Services. 29, Part C, p. 452-464 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

19 Citations (Scopus)

Optimal and robust controller synthesis: Using energy timed automata with uncertainty

Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer, p. 203-221 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10951 LNCS).

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

1 Citation (Scopus)

Origin-destination trajectory diversity analysis: Efficient top-k diversified search

He, D., Ruan, 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. 135-144 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)

Outlier detection for multidimensional time series using deep neural networks

Kieu, T., Yang, B. & Jensen, C. S., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 125-134 10 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

21 Citations (Scopus)

PACE: a PAth-CEntric paradigm for stochastic path finding

Yang, B., Dai, J., Guo, C., Jensen, C. S. & Hu, J., 2018, In : VLDB Journal. 27, 2, p. 153-178 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

20 Citations (Scopus)

Parallel trajectory similarity joins in spatial networks

Shang, S., Chen, L., Wei, Z., Jensen, C. S., Zheng, K. & Kalnis, P., 1 Jun 2018, In : VLDB Journal. 27, 3, p. 395-420 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Parallel Trajectory-to-Location Join

Shang, S., Chen, L., Zheng, K., Jensen, C. S., Wei, Z. & Kalnis, P., 10 Jul 2018, In : IEEE Transactions on Knowledge and Data Engineering. 31, 6, p. 1194 - 1207 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Parametric Multi-Channel Separation and Re-Panning of Harmonics Sources

Hansen, M. W., Hjerrild, J. M., Christensen, M. G. & Kjeldskov, J., 4 Sep 2018, Proceedings of the 21st International Conference on Digital Audio Effects (DAFx-18), Aveiro, Portugal, September 4–8, 2018. Universidade de Aveiro, Comissão Editorial, 8 p. (International Conference on Digital Audio Effects).

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

Open Access
File
100 Downloads (Pure)

Passenger trip planning using ride-sharing services

Svangren, M. K., Skov, M. B. & Kjeldskov, J., 20 Apr 2018, CHI 2018 - In proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Vol. 2018-April. 480

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

3 Citations (Scopus)

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

Schmid, S. & Srba, J., 2018, IEEE INFOCOM 2018 - IEEE Conference on Computer Communications. IEEE, p. 1799-1807 9 p. (I E E E Infocom. Proceedings).

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

Open Access
File
7 Citations (Scopus)
12 Downloads (Pure)

Predicting passenger’s public transportation travel route using smart card data

Yang, C., Chen, W., Zheng, B., He, T., Zheng, K. & Su, H., 1 Jan 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, p. 199-213 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

Predicting Visitors Using Location-Based Social Networks

Saleem, M. A., Da Costa, F. S., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T., 28 Jun 2018, 19th IEEE International Conference on Mobile Data Management (MDM). IEEE Computer Society Press, Vol. 2018-June. p. 245-250 6 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

6 Citations (Scopus)

Prescriptive Analytics

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

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

P-Rex: fast verification of MPLS networks with multiple link failures

Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, p. 217-227 11 p. (Conference on Emerging Networking EXperiments and Technologies).

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

4 Citations (Scopus)

Price-and-Time-Aware Dynamic Ridesharing

Chen, L., Zhong, Q., Xiao, X., Gao, Y., Jin, P. & Jensen, C. S., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 1061-1072 12 p. 8509320. (Proceedings of the International Conference on Data Engineering).

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

7 Citations (Scopus)

Proceedings of the 21th International Conference on Extending Database Technology, EDBT 2018

Böhlen, M. H. (ed.), Pichler, R. (ed.), May, N. (ed.), Rahm, E. (ed.), Wu, S-H. (ed.) & Hose, K. (ed.), 2018, OpenProceedings.org.

Research output: Book/ReportAnthology

Programmatic ETL

Thomsen, C., Andersen, O., Jensen, S. K. & Pedersen, T. B., 2018, Business Intelligence and Big Data - 7th European Summer School, eBISS 2017, Tutorial Lectures. Zimányi, E. (ed.). Cham: Springer Publishing Company, p. 21-50 30 p. (Lecture Notes in Business Information Processing, Vol. 324).

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

Open Access
File
45 Downloads (Pure)

PTRider: A Price-and-Time-Aware Ridesharing System

Chen, L., Gao, Y., Liu, Z., Xiao, X., Jensen, C. S. & Zhu, Y., Aug 2018, In : Proceedings of the VLDB Endowment. 11, 12, p. 1938-1941

Research output: Contribution to journalJournal articleResearchpeer-review

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

Querying Spatial Data by Dominators in Neighborhood

Lu, H., Yiu, M. L. & Xie, X., 1 Sep 2018, In : Information Systems. 77, p. 71-85 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

QuittyLink: Involving Smokers in the Design of Technology that Supports Individuals in Quitting

Paay, J., Kjeldskov, J., Brinthaparan, U., Lichon, L., Rasmussen, S. & Srikandarajah, N., 4 Jun 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University

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

Open Access

Range Queries on Multi-Attribute Trajectories

Xu, J., Lu, H. & Guting, R. H., 1 Jun 2018, In : I E E E Transactions on Knowledge & Data Engineering. 30, 6, p. 1206 - 1211 6 p.

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

Reachability problems: Special issue

Larsen, K. G., Potapov, I. & Srba, J., 30 Nov 2018, In : Theoretical Computer Science. 750, p. 1

Research output: Contribution to journalEditorialResearchpeer-review

Reasoning About Bounds in Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I. & Pedersen, M. R., 26 Nov 2018, In : Logical Methods in Computer Science. 14, 4, 19.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
1 Citation (Scopus)

REST: A Reference-based Framework for Spatio-temporal Trajectory Compression

Zhao, Y., Shang, S., Wang, Y., Zheng, B., Nguyen, Q. V. H. & Zheng, K., 19 Jul 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 2797-2806 10 p.

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

9 Citations (Scopus)

Reverse top-k query on uncertain preference

Li, G., Chen, Q., Zheng, B. & Zhao, X., 1 Jan 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, p. 350-358 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10988).

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

Riesz Modal logic for Markov processes

Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

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

3 Citations (Scopus)