Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2018

Risk-aware path selection with time-varying, uncertain travel costs: a time series approach

Hu, J., Yang, B., Guo, C. & Jensen, C. S., 1 Apr 2018, In : VLDB Journal. 27, 2, p. 179–200 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

18 Citations (Scopus)

Sade: competitive MAC under adversarial SINR

Ogierman, A., Richa, A., Scheideler, C., Schmid, S. & Zhang, J., Jun 2018, In : Distributed Computing. 31, 3, p. 241-254 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Safe and sound program analysis with Flix

Madsen, M. & Lhoták, O., 12 Jul 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (eds.). Association for Computing Machinery, p. 38-48 11 p.

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

2 Citations (Scopus)

Scalable Hypergraph-Based Image Retrieval and Tagging System

Chen, L., Gao, Y., Zhang, Y., Wang, S. & Zheng, B., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 257-268 12 p. 8509253

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

1 Citation (Scopus)

Scalable importance sampling estimation of Gaussian mixture posteriors in Bayesian networks

Ramos-López, D., Masegosa, A., Salmerón, A., Rumí, R., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 Sep 2018, In : International Journal of Approximate Reasoning. 100, p. 115-134 20 p., 100.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

Searching Trajectories by Regions of Interest

Shang, S., Chen, L., Jensen, C. S., Wen, J-R. & Kalnis, P., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. p. 1741-1742 2 p. 8509449

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

Selecting methods for ecosystem service assessment: A decision tree approach

Harrison, P. A., Dunford, R., Barton, D. N., Kelemen, E., Martin-Lopez, B., Norton, L., Termansen, M., Saarikoski, H., Hendriks, K., Gomez-Baggethun, E., Czucz, B., Garcia-Llorente, M., Howard, D., Jacobs, S., Karlsen, M., Kopperoinen, L., Madsen, A. L., Rusch, G. M., van Eupen, M., Verweij, P. & 3 others, Smith, R., Tuomasjukka, D. & Zulian, G., Feb 2018, In : Ecosystem Services. 29, Part C, p. 481-498 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

46 Citations (Scopus)

SimpleETL: ETL Processing by Simple Specifications

Andersen, O., Thomsen, C. & Torp, K., 1 Jan 2018, Proceedings of the 20th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data co-located with 10th EDBT/ICDT Joint Conference. CEUR Workshop Proceedings, Vol. 2062. 6 p. (CEUR Workshop Proceedings, Vol. 2062).

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

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

Simple Propagation with Arc-Reversal in Bayesian Networks

Madsen, A. L., Butz, C. J., Oliveira, J. & dos Santos, A. E., 2018, Proceedings of Machine Learning Research. PMLR Press, Vol. 72. p. 260-271 (The Proceedings of Machine Learning Research).

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

Open Access

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 8 Mar 2018, PETRI NETS 2018: Application and Theory of Petri Nets and Concurrency . 978-3-319-91267-7: Springer Publishing Company, p. 143-163 (Lecture Notes in Computer Science, Vol. 10877).

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

4 Citations (Scopus)

Smart Home Models - Analysis, Simulation and Synthesis

Pedersen, T., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Spatial Keyword Querying: Ranking Evaluation and Efficient Query Processing

Keles, I., 2018, Aalborg Universitetsforlag. 195 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Open Access
File
129 Downloads (Pure)

Special Issue Editorial

Gao, Y. & Chen, L., 1 Jun 2018, In : Data Science and Engineering. 3, 2, p. 85–85 | 1 p.

Research output: Contribution to journalEditorialResearchpeer-review

Open Access

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muniz, M. & Srba, J., 18 Jul 2018, International Conference on Computer Aided Verification: CAV 2018: Computer Aided Verification. Springer, p. 527-546 (Lecture Notes in Computer Science, Vol. 10981).

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

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

Statistical model checking the 2018 edition!

Guldstrand Larsen, K. & Legay, A., 1 Jan 2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Verification. Margaria, T. & Steffen, B. (eds.). Springer, p. 261-270 10 p. (Lecture Notes in Computer Science, Vol. 11245 LNCS).

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

Statistical Performance Verification of FCS-MPC Applied to Three Level Neutral Point Clamped Converter

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Sep 2018, Proceedings of 2018 20th European Conference on Power Electronics and Applications (EPE'18 ECCE Europe). IEEE Press, p. 1-10 10 p. 8515598

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

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

Stochastic shortest path finding in path-centric uncertain road networks

Andonov, G. & Yang, B., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 40-45 6 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

4 Citations (Scopus)

Tail call elimination and data representation for functional languages on the Java virtual machine

Madsen, M., Zarifi, R. & Lhoták, O., 24 Feb 2018, CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. Xue, J. & Dubach, C. (eds.). Association for Computing Machinery, p. 139-150 12 p.

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

2 Citations (Scopus)

Taking control of SDN-based cloud systems via the data plane

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 Mar 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 p. 3185468

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

12 Citations (Scopus)

TeleHuman2: A cylindrical light field teleconferencing system for life-size 3D human telepresence

Gotsch, D., Zhang, X., Merritt, T. & 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, Vol. 2018-April.

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

6 Citations (Scopus)

Temporal Data Management—An Overview

Böhlen, M. H., Dignös, A., Gamper, J. & Jensen, C. S., 1 Jan 2018, Business Intelligence and Big Data - 7th European Summer School, eBISS 2017, Tutorial Lectures. Zimanyi, E. (ed.). Springer, Vol. 324. p. 51-83 33 p. (Lecture Notes in Business Information Processing).

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

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

The Role of UX Professionals in Agile Development: A Case Study From Industry

Bruun, A., Larusdottir, M., Nielsen, L., Nielsen, P. A. & Persson, J. S., 1 Oct 2018, Proceedings of the 10th Nordic conference on Computer-Human Interaction (NordiCHI '18). Association for Computing Machinery, p. 352-363 12 p.

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

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

The SEE toolkit: How Young Adults Manage Low Self-esteem Using Personal Technologies

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

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

Open Access
File
219 Downloads (Pure)

The show must go on: Fundamental data plane connectivity services for dependable SDNs

Borokhovich, M., Rault, C., Schiff, L. & Schmid, S., 1 Jan 2018, In : Computer Communications. 116, p. 172-183 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Timed Comparisons of Semi-Markov Processes

Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (eds.). Springer Publishing Company, p. 271-283 13 p. (Lecture Notes in Computer Science; No. 10792).

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

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

Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 Oct 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, p. 146-152 7 p. 8511477

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

Tools and Techniques for Advanced Traffic Analytics

Andersen, O., 2018, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Top-k diversification for path queries in knowledge graphs

Aebeloe, C., Setty, V., Montoya, G. & Hose, K., 1 Jan 2018, Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks. Van Erp, M., Atre, M., Lopez, V., Srinivas, K. & Fortuna, C. (eds.). CEUR Workshop Proceedings, 4 p. (CEUR Workshop Proceedings, Vol. 2180).

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

Open Access
File
17 Downloads (Pure)

Towards efficient query processing over heterogeneous RDF interfaces

Montoya, G., Aebeloe, C. & Hose, K., 2018, Proceedings of the 2nd Workshop on Decentralizing the Semantic Web. CEUR Workshop Proceedings, Vol. 2165. (CEUR Workshop Proceedings).

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

Open Access
File
7 Downloads (Pure)

Towards Efficient Query Processing over Heterogeneous RDF Interfaces

Montoya, G., Aebeloe, C. & Hose, K., 2018, Emerging Topics in Semantic Technologies: ISWC 2018 Satellite Events. Demidova, E., Zaveri, A. J. & Simperl, E. (eds.). IOS Press, p. 39-53 (Studies on the Semantic Web, Vol. 36).

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

Towards Why-Not Spatial Keyword Top-k Queries: A Direction-Aware Approach

Chen, L., Li, Y., Xu, J. & Jensen, C. S., 2018, In : IEEE Transactions on Knowledge and Data Engineering. 30, 4, p. 796-809 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Trajectory set similarity measure: An EMD-based approach

He, D., Ruan, B., Zheng, B. & Zhou, X., 1 Jan 2018, Databases Theory and Applications: 29th Australasian Database Conference, ADC 2018, Proceedings. Springer, p. 28-40 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10837 LNCS).

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

2 Citations (Scopus)

TRIPS: A System for Translating Raw Indoor Positioning Data into Visual Mobility Semantics

Li, H., Lu, H., Shi, F., Chen, G., Chen, K. & Shou, L., 2018, In : Proceedings of the VLDB Endowment. 11, 12, p. 1918-1921

Research output: Contribution to journalConference article in JournalResearchpeer-review

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

UlTraMan: A Unified Platform for Big Trajectory Data Management and Analytics

Ding, X., Chen, L., Gao, Y., Jensen, C. S. & Bao, H., 2018, In : Proceedings of the VLDB Endowment. 11, 7, p. 787-799

Research output: Contribution to journalJournal articleResearchpeer-review

19 Citations (Scopus)

Using machine learning and object detection for signal-controlled intersections

Lahrmann, H. S., Eriksen, A. B., Taankvist, J. H., Hansen, M. F. & Larsen, K. G., 2018, ITS 2018 Conference Proceedings: Transport network operations. Copenhagen: ITS World, Vol. 6. 10 p. EU-TP1618

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

Using Smartwatch Inertial Sensors to Recognize and Distinguish Between Car Drivers and Passengers

Cano Hald, T., Junker, D. H., Mårtensson, M., Skov, M. & Raptis, D., 23 Sep 2018, Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Association for Computing Machinery, p. 74-84 11 p.

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

3 Citations (Scopus)

Utilizing Device-level Demand Forecasting for Flexibility Markets

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

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

4 Citations (Scopus)

UX in Agile before and during development

Larusdottir, M., Nielsen, L., Bruun, A., Larsen, L. B., Nielsen, P. A. & Persson, J. S., 29 Sep 2018, NordiCHI '18: Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 984-987 4 p.

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

VIPTRA: Visualization and Interactive Processing on Big Trajectory Data

Ding, X., Chen, R., Chen, L., Gao, Y. & Jensen, C. S., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, p. 290-291 2 p.

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

4 Citations (Scopus)

Washing with the Wind: A Study of Scripting towards Sustainability

Jensen, R. H., Raptis, D., Kjeldskov, J. & Skov, M., 9 Jun 2018, DIS '18, Proceedings of the 2018 Conference on Designing Interactive Systems. Association for Computing Machinery, p. 1387-1400 14 p.

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

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

Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Jensen, M. C., Larsen, K. G. & Mardare, R., 1 Jan 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (eds.). Springer, p. 145-161 17 p. (Lecture Notes in Computer Science, Vol. 11022 LNCS).

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

1 Citation (Scopus)

What-if Analysis with Conflicting Goals: Recommending Data Ranges for Exploration

Nguyen, Q. V. H., Zheng, K., Weidlich, M., Zheng, B., Yin, H., Nguyen, T. T. & Stantic, B., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 89-100 12 p. 8509239

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

What makes it persuasive?

Hansen, S. B. G., Rabjerg, M. F. & Hovedskou, E. K. B., 18 Apr 2018, Persuasive 2018 : 13th international conference on Persuasive Technology. Ham, J., Karapanos, E., Morita, P. P. & Burns, C. M. (eds.). Springer, p. 16-27 12 p. (Lecture Notes in Computer Science, Vol. 10809).

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

Why governing data is difficult: Findings from Danish Local Government

Benfeldt, O., Persson, J. S. & Madsen, S., 25 Jun 2018, Smart Working, Living and Organising: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, Proceedings. Springer, p. 15-29 (I F I P, Vol. 533).

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

Open Access
File
2 Citations (Scopus)
212 Downloads (Pure)
2017

28th ACM International Conference on Hypertext and Social Media

Dolog, P., Vojtás, P., Bonchi, F. & Helic, D., 2017, In : S I G W E B Newsletter. 2017, Winter, p. 2:1-2:8 8 p.

Research output: Contribution to journalJournal articleResearch

ACCES: Offline Accuracy Estimation for Fingerprint-Based Localization

Nikitin, A., Laoudias, C., Chatzimilioudis, G., Karras, P. & Zeinalipour-Yazti, D., 30 May 2017, 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 358-359 2 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

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

Accurate calibration of a multi-camera system based on flat refractive geometry

Feng, M., Huang, S., Wang, J., Yang, B. & Zheng, T., 10 Dec 2017, In : Applied Optics. 56, 35, p. 9724-9734 11 p.

Research output: Contribution to journalJournal articleResearchpeer-review

7 Citations (Scopus)

A comparison of techniques for cross-device interaction from mobile devices to large displays

Paay, J., Raptis, D., Kjeldskov, J., Lauridsen, B. M., Penchev, I. S., Ringhauge, E. & Ruder, E. V., 30 Apr 2017, In : Journal of Mobile Multimedia. 12, 3-4, p. 243-264 22 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Active Involvement of Software Developers in Usability Engineering: Two Small-Scale Case Studies

Bornoe, N. & Stage, J., 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV. Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D. K., O'Neill, J. & Winckler, M. (eds.). Springer, p. 159-168 10 p. (Lecture Notes in Computer Science, Vol. 10516).

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

4 Citations (Scopus)