Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

2018

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 259-264 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

11 Citations (Scopus)

Correlated Time Series Forecasting using Multi-Task Deep Neural Networks

Cirstea, R-G., Micu, D-V., Muresan, G-M., Guo, C. & Yang, B., 17 Oct 2018, CIKM '18 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. 1527-1530 4 p.

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

Time series
Recurrent neural networks
Neural networks
Analog to digital conversion
Deep neural networks

Cube

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

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

1 Citation (Scopus)
137 Downloads (Pure)

DARA: Assisting Drivers to Reflect on How They Hold the Steering Wheel

Raptis, D., Iversen, J., Mølbak, T. H. & Skov, M., 29 Sep 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. p. 1-12 12 p.

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

File
Palmprint recognition
Wheels
Feedback
Learning systems
Railroad cars
1 Citation (Scopus)
13 Downloads (Pure)

Database Technology for Processing Temporal Data

Böhlen, M. H., Dignös, A., Gamper, J. & Jensen, C. S., 1 Oct 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018. Norvag, K., Penczek, W. & Alechina, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 120. 7 p. 2. (Leibniz International Proceedings in Informatics, Vol. 120).

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

Open Access
File
Processing
Relational database systems
Time series

Data Exploration using Example-based Methods

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y., 2018, Morgan & Claypool Publishers. 164 p. (Synthesis Lectures on Data Management; No. 53).

Research output: Book/ReportBookResearchpeer-review

Query languages
Learning systems
3 Citations (Scopus)

Day-ahead Trading of Aggregated Energy Flexibility

Valsomatzis, E., Pedersen, T. B. & Abelló, A., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. New York, NY, USA: Association for Computing Machinery, p. 134-138 5 p. (e-Energy '18).

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

Electric vehicles
Cost reduction
Agglomeration
Electricity
Power markets
11 Citations (Scopus)

Deep representation learning for trajectory similarity computation

Li, X., Zhao, K., Cong, G., Jensen, C. S. & Wei, W., 24 Oct 2018, IEEE International Conference on Data Engineering (ICDE). IEEE, p. 617-628 12 p. 8509283. (Proceedings of the International Conference on Data Engineering).

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

Trajectories
Animals
Sampling
Experiments
16 Citations (Scopus)
158 Downloads (Pure)

Designing the Desirable Smart Home: A Study of Household Experiences and Energy Consumption Impacts

Jensen, R. H., Yolande Strengers, Kjeldskov, J., Larissa Nicholls & Skov, M., 21 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18). Association for Computing Machinery, 14 p. Paper 4

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

File
Human computer interaction
Sustainable development
Energy utilization
1 Citation (Scopus)

Detecting Complex Sensitive Information via Phrase Structure in Recursive Neural Networks

Neerbek, J., Assent, I. & Dolog, P., 2018, PAKDD 2018: Advances in Knowledge Discovery and Data Mining. Springer, Vol. 10939. p. 373-385 13 p. (Lecture Notes in Computer Science).

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

1 Citation (Scopus)

Detection of Mirai by Syntactic and Behavioral Analysis

Ben Said, N., Biondi, F., Bontchev, V., Decourbe, O., Given-Wilson, T., Legay, A. & Quilbeuf, J., 16 Nov 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 224-235 12 p. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Vol. 2018-October).

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

Syntactics
Botnet
Malware
1 Citation (Scopus)

Diagnostic Agents: Collaborative Interpretation for Cardiac Patients at Home

Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 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. p. 1DUMMY 6 p. LBW041

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

Technology
Obsessive Behavior
Health
Nurses
Delivery of Health Care

Dimension

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

2 Citations (Scopus)
50 Downloads (Pure)

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

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

Petri nets
Controllers
6 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

2 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

Location based services
Resource allocation
Communication
Processing
Experiments
4 Downloads (Pure)

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
Energy management
Parallel algorithms
Feedback
1 Citation (Scopus)

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

Feedback
Smartphones
Insurance
Law enforcement
Application programs

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

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

1 Citation (Scopus)

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

Cognitive systems
Knowledge representation
Bayesian networks
Uncertainty

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
185 Downloads (Pure)

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

Open Access
File

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

Location based services
Query processing
Dynamic programming
Labels
Experiments
2 Citations (Scopus)

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

Heuristic algorithms
Costs
Computational complexity
Processing
Experiments
113 Downloads (Pure)

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
Real time systems
Model checking
Testing
2 Citations (Scopus)

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

Vassilakopoulou, P., Skorve, E. & Aanestad, M., 12 Mar 2018, In : Information Systems Journal.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
2 Citations (Scopus)

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
Intelligent buildings
Augmented reality
User interfaces
Dynamic models
Control systems

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
Mathematical transformations
1 Citation (Scopus)

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

Complex networks
Semantics
5 Citations (Scopus)
188 Downloads (Pure)

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
Lighting

Extracting Rankings for Spatial Keyword Queries from GPS Data

Keles, I., Jensen, C. S. & Saltenis, S., 2018, Progress in Location Based Services 2018. Springer, p. 173-194 22 p. (Lecture notes in geoinformation and Cartography).

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

Global positioning system
Search engines
9 Citations (Scopus)

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

Shopping centers
Travel time
Gases
Labeling
Logistics
16 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

Vehicle routing
Directed graphs
Computational complexity
3 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

Vehicle routing
Directed graphs
Computational complexity
288 Downloads (Pure)
Open Access
File
Blended Learning
classroom
Teaching
video
teacher
4 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
Wasserstein Distance
Algebra
Complete Metric Space
Axioms
Centrobaric
40 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
Scheduling
25 Citations (Scopus)

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

Materials science
Human computer interaction
Computer science
Interfaces (computer)
Robotics
2 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

grids
relief maps
animation
editing
budgets
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

Drawing (graphics)
Animation
User interfaces
Air
Rendering (computer graphics)

Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2018, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Heidelberg: Springer, Vol. 11615. p. 113-133

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

Open Access
Adaptive cruise control
Reinforcement learning
Dynamical systems
1 Citation (Scopus)
202 Downloads (Pure)

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

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

2 Citations (Scopus)

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

Scheduling
Specifications
Monitoring
Cyber Physical System
4 Citations (Scopus)
18 Downloads (Pure)

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
Factorization
Computer music
Application programs

Improving Explainable Recommendations with Synthetic Reviews

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

Research output: Working paperResearch

104 Downloads (Pure)

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

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
population size
learning
prediction