Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

2018
2 Citations (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

Trajectories
Costs
15 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

Time series
Deep neural networks
Neural networks
Analog to digital conversion
Accelerometers
19 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

Costs
Trajectories
Travel time
25 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

Trajectories
Traffic congestion
Processing
Merging
Information management
11 Citations (Scopus)
9 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
Trajectories
Merging
Information management
Scheduling
Costs
97 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
Loudspeakers
Demonstrations
3 Citations (Scopus)

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

Human computer interaction
Planning
Traffic congestion
Air pollution
Railroad cars
7 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

Telecommunication networks
Polynomials
Automata theory
Complex networks
Transparency

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

Smart cards
Urban planning
Scheduling
Neural networks
Experiments
6 Citations (Scopus)

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

Factorization
Recommender systems
Logistics
Marketing
Experiments

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

4 Citations (Scopus)

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

Switching networks
Labels
Routers
Query languages
Electric network analysis
7 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

Parking
Travel time
Air pollution
Fuel consumption
Costs

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

23 Downloads (Pure)

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
Mathematical transformations
Data warehouses
Graphical user interfaces
2 Citations (Scopus)
37 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
Air pollution
Fuel consumption
Demonstrations
Costs

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

Animals
Planning
Processing
Industry
Experiments

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
Health
Health risks
Smartphones
Smoke
Economics
7 Citations (Scopus)

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

Research output: Contribution to journalJournal articleResearchpeer-review

Trajectories

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
Bisimulation
Transition Systems
Reasoning
Logic
Finite Models
7 Citations (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

Trajectories
Query processing
Dynamic programming
Global positioning system
Communication

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

Experiments
Design optimization
2 Citations (Scopus)

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

Riesz Space
Modal Logic
Markov Process
Logic
Monads
16 Citations (Scopus)

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

Time series
Costs
Random variables
Travel time
Global positioning system
3 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

MAC Protocol
Interference
Unit Disk Graph
Distributed Protocol
Jamming
1 Citation (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

Static analysis
Functional programming
Logic programming
Surface mount technology
Computer programming languages

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

Image retrieval
Scalability
Websites
Experiments
3 Citations (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

Importance sampling
Gaussian Mixture
Importance Sampling
Bayesian networks
Bayesian Networks

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

Trajectories
Query processing
Planning
Experiments
40 Citations (Scopus)

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

Research output: Contribution to journalJournal articleResearchpeer-review

Decision Trees
ecosystem service
ecosystem services
Ecosystem
assessment method
2 Citations (Scopus)

Sensors: The Enablers for Proactive Maintenance in the Real World

Albano, M., Ferreira, L. L., Di Orio, G., Malo, P., Webers, G., Jantunen, E., Gabilondo, I., Viguera, M., Papa, G. & Novak, F., 10 Apr 2018, 2018 5th International Conference on Control, Decision and Information Technologies, CoDIT 2018. IEEE, p. 569-574 6 p. (International Conference on Control, Decision and Information Technologies (CoDIT)).

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

Sensors
Monitoring
1 Citation (Scopus)
14 Downloads (Pure)

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

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
4 Citations (Scopus)

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

Model checking
Petri nets
Explosions

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. thesisResearch

121 Downloads (Pure)

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

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
2 Citations (Scopus)
128 Downloads (Pure)

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

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

3 Citations (Scopus)
44 Downloads (Pure)

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
Model predictive control
Diodes
Model checking
Power electronics
Industrial applications
4 Citations (Scopus)

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

Travel time
Global positioning system
Trajectories
2 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

Polymorphism
Computer programming languages
Ecosystems
Virtual machine
9 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

Switches
Software defined networking
Computer systems
Servers
6 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

teleconferencing
stereoscopy
parallax
conversation
projectors
7 Citations (Scopus)
53 Downloads (Pure)

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
Processing
Travel time
Data acquisition
2 Citations (Scopus)
269 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
Industry
Human computer interaction
Managers
212 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
1 Citation (Scopus)

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

Network architecture
Switches
Availability
Software defined networking
67 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, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Klein, S. T., Martin-Vide, C. & Shapira, D. (eds.). Springer Publishing Company, p. 271-283 (Lecture Notes in Computer Science; No. 10792).

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

Open Access
File
Semi-Markov Process
Probabilistic Automata
Algorithmic Complexity
Markovian Process
Residence Time