Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2019

Outlier Detection for Time Series with Recurrent Autoencoder Ensembles

Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). ijcai.org, p. 2725-2732 8 p.

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

Open Access
4 Citations (Scopus)

Partial order reduction for reachability games

Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

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

PBL og matematik

Translated title of the contribution: PBL and mathematicsHüttel, H., Rasmussen, J. G., Rasmussen, M. G. & Søndergaard, B. D., 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

Open Access

Personalised Soundscapes in Homes

Lundgaard, S. S. & Nielsen, P. A., 2019, DIS 2019 - Proceedings of the 2019 Designing Interactive Systems Conference. Association for Computing Machinery, p. 813-822 10 p.

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

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

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

2 Citations (Scopus)

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
1 Citation (Scopus)
3 Downloads (Pure)

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/ReportAnthology

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

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

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, p. 5519-5524 (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

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
1 Citation (Scopus)
26 Downloads (Pure)

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

2 Citations (Scopus)

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
33 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
1 Citation (Scopus)
230 Downloads (Pure)

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

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

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

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

1 Citation (Scopus)

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

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

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 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. Association for Computing Machinery, p. 85-94 10 p.

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

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

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

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

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

7 Citations (Scopus)

Stubborn versus structural reductions for Petri nets

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

Research output: Contribution to journalJournal articleResearchpeer-review

Sustainable Energy Systems Planning, Integration, and Management

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

Research output: Contribution to journalEditorialResearchpeer-review

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

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

2 Citations (Scopus)

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

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

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

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

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/ReportAnthology

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

1 Citation (Scopus)

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

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

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

Komkaite, A., Lavrinovica, L., Vraka, M. & Skov, M., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 214

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

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

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

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

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

Weight-Mate: Adaptive Training Support for Weight Lifting

Paay, J. M., Kjeldskov, J., Sørensen, F., Jensen, T. G. & Tirosh, O., 2 Dec 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. Association for Computing Machinery, p. 95-105 11 p.

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

Open Access
File
27 Downloads (Pure)
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

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

5 Citations (Scopus)

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

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

1 Citation (Scopus)

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

10 Citations (Scopus)
174 Downloads (Pure)

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

3 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

5 Citations (Scopus)