Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

2019
1 Downloads (Pure)

Managing Big Data Analytics Projects: The Challenges of Realizing Value

Jensen, M. H., Nielsen, P. A. & Persson, J. S., 2019, Proceedings of the 27th European Conference on Information Systems (ECIS). Association for Informations Systems, AIS, (Proceedings / European Conference on Information Systems (ECIS)).

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

Open Access
File
Big data
Information systems

Mental Models of Loudspeaker Directivity

Nielsen, S., Larsen, L. B., Stec, K. & Simon, A., Sep 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Nottingham, United Kingdom: Association for Computing Machinery, p. 260-263 4 p.

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

loudspeakers
directivity
acoustics
sound fields
sound waves

Message from the General Co-Chairs

Jensen, C. S., Lee, D. & Liu, L., 2019, 2019 20th IEEE International Conference on Mobile Data Management. IEEE, Vol. 2019-June. p. xviii-xviii (I E E E International Conference on Mobile Data Management. Proceedings).

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

Open Access
messages
seats
congressional reports

Message from the ICDE 2019 Chairs

Fan, W., Lin, X., Srivastava, D., Jensen, C. S., Ni, L. M. & Özsu, M. T., 2019, 2019 IEEE 35th International Conference on Data Engineering. IEEE, Vol. 2019-April. p. xxxiv-xxxv (Proceedings of the International Conference on Data Engineering).

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

Open Access
messages
seats
congressional reports
16 Downloads (Pure)

Model-Based Time Series Management at Scale

Jensen, S. K., 2019, Aalborg Universitetsforlag. 201 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Model Checking and Synthesis for Branching Multi-Weighted Logics

Jensen, J. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 105, 1, p. 28-46 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Model checking
Model Checking
Branching
Synthesis
Logic

Model checking constrained markov reward models with uncertainties

Bacci, G., Hansen, M. & Larsen, K. G., 1 Sep 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (eds.). Springer, p. 37-51 15 p. (Lecture Notes in Computer Science, Vol. 11785).

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

Reward
Model Checking
Uncertainty
Model
Markov Model

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Margaria, T. (ed.), Graf, S. (ed.) & Larsen, K. G. (ed.), 2019, Springer Publishing Company. (Theoretical Computer Science and General Issues, Vol. 11200).

Research output: Book/ReportAnthologyResearchpeer-review

Model Verification Through Dependency Graphs

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 1-19 19 p. (Lecture Notes in Computer Science, Vol. 11636).

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

Movement Pattern Miningover Large-Scale Datasets

Orakzai, F. M., 2019, (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesisResearch

Multicapacity Facility Selection in Networks

Logins, A., Karras, P. & Jensen, C. S., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 794-805 12 p. 8731341. (Proceedings of the International Conference on Data Engineering).

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

Linear programming
Scalability
1 Downloads (Pure)

Multi-criteria decision analysis in Bayesian networks-Diagnosing ecosystem service trade-offs in a hydropower regulated river

Barton, D. N., Sundt, H., Adeva Bustos, A., Fjeldstad, H-P., Hedger, R., Forseth, T., köhler, B., Aas, Ø., Alfredsen, K. & Madsen, A. L., 2019, In : Environmental Modelling & Software. 124, 104604.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
decision analysis
Decision theory
Bayesian networks
ecosystem service
Ecosystems
178 Downloads (Pure)

Multi-Source Spatial Entity Linkage

Isaj, S., Zimányi, E. & 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. 1-10 10 p.

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

Open Access
File
Semantics
141 Downloads (Pure)

Multi-view Latent Factor Models for Recommender Systems

Da Costa, F. S., Jun 2019, Aalborg Universitetsforlag. 173 p. (PhD Series, Technical Faculty of IT and Design, Aalborg University).

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

New biomarker predicts the odds of a live birth in women experiencing secondary recurrent pregnancy loss after a first-born boy

Krog, M. C., Georgsen, M., Kolte, A. M., De Jager, W., Meyaard, L., Lunoee, L., Christiansen, O. B. & Nielsen, H. S., 1 Jul 2019, In : Human Reproduction. 34, Suppl. 1, p. 309-310 2 p., P-363.

Research output: Contribution to journalConference abstract in journalResearchpeer-review

Obesity Entity Extraction from Real Outpatient Records: When Learning-Based Methods Meet Small Imbalanced Medical Data Sets

Deng, Y., Dolog, P., Gass, J-M. & Denecke, K., 2019, Proceedings - 2019 IEEE 32nd International Symposium on Computer-Based Medical Systems, CBMS 2019. IEEE, p. 411-416 6 p. 8787533. (IEEE International Symposium on Computer-Based Medical Systems (CBMS)).

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

Learning systems
Health
Neural networks
Recurrent neural networks
Classifiers
2 Downloads (Pure)

OLAP over Probabilistic Data Cubes II: Parallel Materialization and Extended Aggregates

Xie, X., Zou, K., Hao, X., Pedersen, T. B., Jin, P. & Yang, W., 20 Aug 2019, In : IEEE Transactions on Knowledge and Data Engineering.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

On Location Privacy in Fingerprinting-based Indoor Positioning System: An Encryption Approach

Wang, W., Gong, Z., Zhang, J., Lu, H. & Ku, W-S., 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, p. 289-298 9 p.

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

Cryptography
Servers
Smartphones
Global positioning system
Indoor positioning systems
6 Citations (Scopus)

On spatio-temporal blockchain query processing

Qu, Q., Nurgaliev, I., Muzammal, M., Jensen, C. S. & Fan, J., Sep 2019, In : Future Generation Computer Systems. 98, p. 208-218 11 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Query processing
Data structures
Peer to peer networks
Information management
Topology

On the Semantics for Spreadsheets with Sheet Defined Functions

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., Dec 2019, (Submitted) In : Journal of Computer Languages.

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

Outlier Detection for Time Series with Recurrent Autoencoder Ensembles

Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 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
Time series
Recurrent neural networks
Neural networks
Experiments
1 Downloads (Pure)

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
Model checking
Petri nets

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

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

Acoustic waves
Chemical analysis

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

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)
14 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
28 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
167 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
18 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