Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

2019

Preface

Aref, W., Bertolotto, M., Bouros, P., Jensen, C. S., Mahmood, A., Nørvåg, K., Sacharidis, D. & Sarwat, M., 2019, SSTD '19: 16th International Symposium on Spatial and Temporal Databases. Association for Computing Machinery, p. v-iv

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

Open Access
1 Citation (Scopus)

Prescriptive Analytics: A Survey of Emerging Trends And Technologies

Frazzetto, D., Nielsen, T. D., Pedersen, T. B. & Siksnys, L., 1 Aug 2019, In : V L D B Journal. 28, 4, p. 575-595 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Industry
Decision making
Predictive analytics
1 Citation (Scopus)
1 Downloads (Pure)

Presentation of the 9th Edition of the Model Checking Contest

Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science, Vol. 11429).

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

Open Access
File
Model checking
Data storage equipment
Bronze
Program processors
Silver

Probing Sucrose Contents in Everyday Drinks Using Miniaturized Near-Infrared Spectroscopy Scanners

Jiang, W., Marini, G., van Berkel, N., Sarsenbayeva, Z., Zheyu, T., Luo, C., Xin, H., Dingler, T., Goncalves, J., Kawahara, Y. & Kostakos, V., 2019, In : Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT). 3, 4, p. 136:1 - 136:25

Research output: Contribution to journalJournal articleResearchpeer-review

Proceedings of the 16th International Symposium on Spatial and Temporal Databases

Aref, W. (ed.), Bertolotto, M. (ed.), Bouros, P. (ed.), Jensen, C. S. (ed.), Mahmood, A. (ed.), Nørvåg, K. (ed.), Sacharidis, D. (ed.) & Sarwat, M. (ed.), 2019, Association for Computing Machinery.

Research output: Book/ReportAnthologyResearchpeer-review

Push-based Spatial Crowdsourcing for Enriching Semantic Tags in OpenStreetMap

Gummidi, B., Pedersen, T. B., Xie, X. & Zimányi, E., 8 Nov 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: SIGSPATIAL'19. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (eds.). Association for Computing Machinery, p. 532-535 4 p.

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

Heuristic methods
Semantics

Real-time Distributed Co-Movement Pattern Detection on Streaming Trajectories

Chen, L., Gao, Y., Fang, Z., Miao, X., Jensen, C. S. & Guo, C., 2019, In : Proceedings of the VLDB Endowment. 12, 10, p. 1208-1220

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Trajectories
Processing
Mobile devices
Costs
Experiments

Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library

Pedersen, T., Albano, M. & Nielsen, B., 17 Oct 2019, Proceedings of the 45th Annual Conference of the IEEE Industrial Electronics Society. IEEE, (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

Reengineering
1 Citation (Scopus)
15 Downloads (Pure)

Retrieving textual evidence for knowledge graph facts

Ercan, G., Elbassuoni, S. & Hose, K., 1 Jan 2019, The Semantic Web. Janowicz, K., Haller, A., Zaveri, A., Gray, A. J. G., Hitzler, P., Hammar, K., Lopez, V. & Fernández, M. (eds.). Portorož, Slovenia: Springer, p. 52-67 16 p. (Lecture Notes in Computer Science, Vol. 11503).

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

File
Semantics
2 Citations (Scopus)

Safe and Time-Optimal Control for Railway Games

Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (eds.). Springer, p. 106-122 17 p. (Lecture Notes in Computer Science, Vol. 11495).

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

Scheduling
Reinforcement learning
Security systems
Scalability
Formal verification
29 Downloads (Pure)

Schedulability Analysis of Distributed Multi-core Avionics Systems with UPPAAL

Han, P., Zhai, Z., Nielsen, B., Nyman, U. & Kristjansen, M., 1 Nov 2019, In : Journal of Aerospace Information Systems. 16, 11

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Avionics
Model checking
Stop watches
Communication
Ethernet
170 Downloads (Pure)

Seed-Driven Geo-Social Data Extraction

Isaj, S. & Pedersen, T. B., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019: SSTD. Association for Computing Machinery, p. 11-20 10 p.

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

Open Access
File
Seed
Experiments

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)

Larsen, K. G. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 107, October 2019, p. 177-178 2 p.

Research output: Contribution to journalJournal articleResearch

Open Access
Programming theory
Embedded software
Computer science
Programming
Embedded Software

Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings

Neerbek, J., Dolog, P. & Assent, I., 2019, Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III. Yang, Q., Zhang, M-L., Gong, Z., Huang, S-J. & Zhou, Z-H. (eds.). Springer VS, p. 40-53 14 p. (Lecture Notes in Computer Science, Vol. 11441).

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

Backpropagation
Neural networks
Learning systems
Experiments

Shortest Path Queries for Indoor Venues with Temporal Variations

Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., Dec 2019, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE, 4 p.

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

Location based services
Topology
Experiments
8 Downloads (Pure)

Signs of Value in an IS Business Case

Nielsen, H., Persson, J. S. & Nielsen, P. A., Dec 2019, p. 1-13.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

Open Access
File
Information systems
Business case
Rationale
Justification
Template

Skyline Queries over Knowledge Graphs

Keles, I. & Hose, K., 17 Oct 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. 293-310 18 p. (Lecture Notes in Computer Science, Vol. 11778).

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

Query processing
Decision making
Experiments

Solving Influence Diagrams with Simple Propagation

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

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

Message passing
Bayesian networks

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

Ashok, P., Kretínsky, J., Larsen, K. G., Coent, A. C. L., Taankvist, J. H. & Weininger, M., 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Heidelberg: Springer, p. 147-164 18 p. (Lecture Notes in Computer Science, Vol. 11785).

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

Decision trees
Embedded systems
Cost functions
20 Downloads (Pure)

Spatial Mixer: Cross-Device Interaction for Music Mixing

Kjeldskov, J., Paay, J. M., Sørensen Nilsson, A., Plejdrup, K. & Thomsen Pedersen, M., Dec 2019, Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery, p. 85-94 10 p.

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

Open Access
File
music
visualization
software

Spatio-Textual Data

Cong, G. & Jensen, C. S., 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. Y. (eds.). Springer, 8 p.

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

23 Downloads (Pure)

Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Novak, M., Nyman, U., Dragicevic, T. & Blaabjerg, F., Sep 2019, In : I E E E Industrial Electronics Magazine. 13, 3, p. 6-15 10 p., 8845791.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Model predictive control
Model checking
Power electronics
Aviation
Sensor networks
6 Citations (Scopus)

Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, Proceedings of 35th IEEE International Conference on Data Engineering, ICDE 2019. IEEE, p. 1274-1285 12 p. 8731475. (Proceedings of the International Conference on Data Engineering).

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

Travel time
Global positioning system
Toll highways
Detectors
Innovation

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 102, p. 46-63 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Petri nets
Petri Nets
State Space
Partial Order
Arc of a curve
19 Downloads (Pure)

Sustainable Energy Systems Planning, Integration, and Management

Anvari-Moghaddam, A., Mohammadi-Ivatloo, B., Asadi, S., Larsen, K. G. & Shahidehpour, M., Oct 2019, In : Applied Sciences. 9, 20, 5 p.

Research output: Contribution to journalEditorialResearchpeer-review

Open Access
File
planning
Sustainable development
Planning
Health risks
Cooking
2 Citations (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).

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

Model checking

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 p. 2. (Leibniz International Proceedings in Informatics, Vol. 140).

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

Open Access
Decision trees

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 81-97 17 p. (Lecture Notes in Computer Science, Vol. 11781).

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

Reinforcement learning
Teaching
Controllers
Cyber Physical System

Temporal Constraints in Human-Building Interaction

Lundgaard, S. S., Kjeldskov, J. & Skov, M., 2019, In : ACM Transactions on Computer-Human Interaction. 26, 2, 8.

Research output: Contribution to journalJournal articleResearchpeer-review

Interactive computer systems

The Knowledge Exploration Assistant: Better Knowledge for Better AI, Better AI for Better Knowledge

Lissandrini, M., Nov 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

File

The Semantic Web: ESWC 2019 Satellite Events – ESWC 2019 Satellite Events, Portoroz, Slovenia, June 2-6, 2019, Revised Selected Papers

Hitzler, P. (ed.), Kirrane, S. (ed.), Hartig, O. (ed.), de Boer, V. (ed.), Vidal, M-E. (ed.), Maleshkova, M. (ed.), Schlobach, S. (ed.), Hammar, K. (ed.), Lasierra, N. (ed.), Stadtmüller, S. (ed.), Hose, K. (ed.) & Verborgh, R. (ed.), 2019, Springer. (Lecture Notes in Computer Science, Vol. 11762).

Research output: Book/ReportAnthologyResearchpeer-review

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Heidelberg: Springer, p. 216-235 20 p. (Lecture Notes in Computer Science, Vol. 11750).

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

Finite automata
Genetic programming
Model checking
Testing
Clocks

Towards longitudinal analytics on social media data

Xia, F., Yang, B., Yu, C., Qian, W. & Zhou, A., Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 350-361 12 p. 8731609. (Proceedings of the International Conference on Data Engineering).

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

Time series
Query processing

Trajectory splicing

Lu, Q., Wang, R., Yang, B. & Wang, Z., 18 Jul 2019, In : Knowledge and Information Systems. p. 1-34

Research output: Contribution to journalJournal articleResearchpeer-review

Trajectories
Polynomials

Underneath the Skin: An Analysis of YouTube Videos to Understand Insertable Device Interaction

Komkaite, A., Lavrinovica, L., Vraka, M. & Skov, M., May 2019, (Accepted/In press) CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery

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

Radio frequency identification (RFID)
Skin
Health
Experiments

Understanding human mobility: A multi-modal and intelligent moving objects database

Xu, J., Lu, H. & Güting, R. H., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, p. 222-225 4 p.

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

Information management
Artificial intelligence
Data structures
Object-oriented databases
3 Citations (Scopus)

Understanding Smartphone Notifications' User Interactions and Content Importance

Visuri, A., van Berkel, N., Okoshi, T., Goncalves, J. & Kostakos, V., 2019, In : International Journal of Human-Computer Studies. 128, p. 72-85 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Downloads (Pure)

UPPAAL STRATEGO

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

File

Using session types for reasoning about boundedness in the pi-calculus

Hüttel, H., 2019, In : Acta Informatica. p. 1-27

Research output: Contribution to journalJournal articleResearchpeer-review

Computability and decidability
Acoustic waves

Value Creation from Massive Data in Transportation - The Case of Vehicle Routing.

Jensen, C. S., Sep 2019, In : IEEE Data Engineering Bulletin. 42, 3, p. 4-8 5 p.

Research output: Contribution to journalJournal articleResearch

Open Access
Vehicle routing
Travel time
Global positioning system
Toll highways
Detectors
16 Downloads (Pure)

Weight-Mate: Adaptive Training Support for Weight Lifting

Paay, J. M., Kjeldskov, J., Sørensen, F., Jensen, T. G. & Tirosh, O., Dec 2019, Proceedings of the 31th Australian Conference on Computer-Human Interaction: OzCHI '19. Association for Computing Machinery

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

Open Access
File
Feedback
Physiology
Sports
Health
Sensors
2018

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

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

4 Citations (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

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

Industry

Accurate Fuel Estimates using CAN Bus Data and 3D Maps

Andersen, O. & Torp, K., Jun 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 257-265 9 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

1 Citation (Scopus)

A component framework as an enabler for industrial cyber physical systems

Neto, L., Madsen, A. L., Søndberg-Jeppesen, N., Silva, R., Reis, J., McIntyre, P. & Gonçalves, G., 15 Jun 2018, Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018. IEEE, p. 339-344 6 p.

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

Sensors
Dispensers
Bayesian networks
Fault detection
Software engineering
1 Citation (Scopus)
53 Downloads (Pure)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

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

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

A Conceptual Model of Agile Software Development in a Safety-Critical Context: A Systematic Literature Review

Tordrup Heeager, L. & Nielsen, P. A., 1 Nov 2018, In : Information and Software Technology. 103, November, p. 22-39 18 p.

Research output: Contribution to journalReview articleResearchpeer-review

Software engineering
Traffic control
Pathogens
3 Citations (Scopus)

Adaptive Travel-Time Estimation: A Case for Custom Predicate Selection

Waury, R., Jensen, C. S. & Torp, K., 13 Jul 2018, Proceedings - 19th IEEE International Conference on Mobile Data Management, MDM 2018. IEEE, p. 96-105 10 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

Travel time
Trajectories
4 Citations (Scopus)

Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

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

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

Quality of service
Scheduling
Energy utilization
Uncertainty
67 Downloads (Pure)

Addressing structural and linguistic heterogeneity in the Web

Gonzalez, J. R., de Melo, G. & Hose, K., 2018, In : AI Communications. 31, 1, p. 3-18

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Linguistics
Ontology
Labels