Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Journal article
2020
1 Citation (Scopus)

Creating urban green infrastructure where it is needed – A spatial ecosystem service-based decision analysis of green roofs in Barcelona

Langemeyer, J., Wedgwood, D., McPhearson, T., Baró, F., Madsen, A. L. & Barton, D. N., 2020, In : Science of the Total Environment. 707, 135487.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
decision analysis
Decision theory
ecosystem service
Roofs
Ecosystems
1 Downloads (Pure)

Meshing Agile and Plan-Driven Development in Safety-Critical Software: A Case Study

Heeager, L. T. & Nielsen, P. A., 2020, In : Empirical Software Engineering.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Software engineering
Drug products
Life cycle
Testing

Pursuing pleasance: Interrogating energy-intensive visions for the smart home

Strengers, Y., Hazas, M., Nicholls, L., Kjeldskov, J. & Skov, M. B., 2020, (Accepted/In press) In : International Journal of Human-Computer Studies.

Research output: Contribution to journalJournal articleResearchpeer-review

Sustainable development
Thermostats
Human computer interaction
energy
energy saving
2019
4 Downloads (Pure)

A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous Vehicles

Passerone, R., Cancila, D., Albano, M., Mouelhi, S., Plosz, S., Jantunen, E., Ryabokon, A., Laarouchi, E., Hegedus, C. & Varga, P., 2019, In : IEEE Access. 7, p. 125022-125037 16 p., 8812663.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Highway accidents
Automotive industry
Authentication
Railroad cars
Innovation
77 Downloads (Pure)

AMIC: An Adaptive Information Theoretic Method to Identify Multi-Scale Temporal Correlations in Big Time Series Data

Ho, N. T. T., Vo, H., Vu, M. & Pedersen, T. B., 29 Mar 2019, In : IEEE Transactions on Big Data.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Time series
Scalability
Electric sparks
Explosions
Decision making
1 Citation (Scopus)

AMIDST: A Java toolbox for scalable probabilistic machine learning

Masegosa, A., Martinez, A. M., Ramos-López, D., Cabanas de Paz, R., Salmerón, A., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 Jan 2019, In : Knowledge-Based Systems. 163, p. 595-597 3 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Learning systems
Message passing
Probability distributions
Java
Machine learning
8 Citations (Scopus)
388 Downloads (Pure)

Analytical Design and Performance Validation of Finite Set MPC Regulated Power Converters

Novak, M., Nyman, U. M., Dragicevic, T. & Blaabjerg, F., Mar 2019, In : I E E E Transactions on Industrial Electronics. 66, 3, p. 2004 - 2014 11 p., 8368064.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Power converters
Model checking
Model predictive control
Power electronics
Degradation

An Overlapping Voronoi Diagram-based System for Multi-Criteria Optimal Location Queries

Zhang, J., Harn, P-W., Ku, W-S., Sun, M-T., Qin, X., Lu, H. & Jiang, X., 2019, In : Geoinformatica. 23, 1, p. 105-161 57 p.

Research output: Contribution to journalJournal articleResearchpeer-review

diagram
costs
evaluation
Costs
cost
3 Citations (Scopus)
131 Downloads (Pure)

A survey of spatial crowdsourcing

Gummidi, S. R. B., Xie, X. & Pedersen, T. B., 1 Apr 2019, In : ACM Transactions on Database Systems. 44, 2, p. 8:1-8:46 8.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Taxonomies
Mobile devices
Momentum

A Web-Based Platform for Competence Development in PBL Supervision

Hüttel, H. & Gnaur, D., 2019, In : International Journal of E-Collaboration. 15, 3, p. 20-33 14 p., 2.

Research output: Contribution to journalJournal articleResearchpeer-review

supervision
expert
experience
community
1 Citation (Scopus)

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Markov processes
Branching
Markov chain
Semantics
Linear Time

Counts-of-counts similarity for prediction and search in relational data

Jaeger, M., Lippi, M., Pellegrini, G. & Passerini, A., Sep 2019, In : Data Mining and Knowledge Discovery. 33, 5, p. 1254–1297 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Earth (planet)
Data structures
Statistics
97 Downloads (Pure)

Data Governance as a Collective Action Problem

Benfeldt, O., Persson, J. S. & Madsen, S., Apr 2019, In : Information Systems Frontiers. 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Governance
Literature Review
Triangle
Distinct
Demonstrate
175 Downloads (Pure)

Data Verification in Integrated RFID Systems

Sakai, K., Sun, M-T., Ku, W-S., Lu, H. & Lai, T-H., 2019, In : I E E E Systems Journal. 13, 2, p. 1969-1980 12 p., 8458363.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Radio frequency identification (RFID)
Testbeds
Availability
Internet
Network protocols
49 Downloads (Pure)

Effective and efficient location influence mining in location-based social networks

Saleem, M. A., Kumar, R., Calders, T. & Pedersen, T. B., 1 Oct 2019, In : Knowledge and Information Systems. 61, 1, p. 327-362

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Data structures
Data storage equipment
Experiments

Efficient distributed reachability querying of massive temporal graphs

Zhang, T., Gao, Y., Chen, L., Guo, W., Pu, S., Zheng, B. & Jensen, C. S., 2019, In : VLDB Journal. 28, 6, p. 871-896 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Labeling
Time varying networks
Query processing
Hinges
Telecommunication networks

Efficient matching of offers and requests in social-aware ridesharing

Fu, X., Zhang, C., Lu, H. & Xu, J., 1 Oct 2019, In : Geoinformatica. 23, 4, p. 559-589 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

pruning
Heuristic algorithms
Costs
Computational complexity
heuristics

Efficient Similarity Search on Quasi-Metric Graphs

Zhang, T., Gao, Y., Chen, L., Chen, G. & Pu, S., 2019, (Accepted/In press) In : IEEE Access.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Fast stochastic routing under time-varying uncertainty

Pedersen, S. A., Yang, B. & Jensen, C. S., 31 Oct 2019, In : The VLDB Journal. p. 1-21 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Finding Attribute-Aware Similar Region for Data Analysis

Feng, K., Cong, G., Jensen, C. S. & Guo, T., 2019, In : Proceedings of the VLDB Endowment. 12, 11, p. 1414-1426

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Location based services
Information use
Composite materials
Mobile devices
6 Downloads (Pure)

Finding Most Popular Indoor Semantic Locations Using Uncertain Mobility Data

Li, H., Lu, H., Shou, L., Chen, G. & Chen, K., 1 Nov 2019, In : I E E E Transactions on Knowledge & Data Engineering. 31, 11, p. 2108 - 2123

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Semantics
Data reduction
Data structures
Marketing
Topology

HisRect: Features from Historical Visits and Recent Tweet for Co-Location Judgement

Li, P., Lu, H., Zheng, Q., Li, S. & Pan, G., 2019, (Accepted/In press) In : I E E E Transactions on Knowledge & Data Engineering.

Research output: Contribution to journalJournal articleResearchpeer-review

k/2-hop: Fast Mining of Convoy Patterns With Effective Pruning

Orakzai, F. M., Calders, T. & Pedersen, T. B., 12 Jul 2019, In : Proceedings of the VLDB Endowment. 12, 9, p. 948-960 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Parallel algorithms
Sensors

Letter from the Impact Award Winner

Jensen, C. S., Sep 2019, In : IEEE Data Engineering Bulletin. 42, 3, p. 88-89

Research output: Contribution to journalJournal articleCommunication

Open Access
4 Citations (Scopus)

Location Inference for Non-geotagged Tweets in User Timelines

Li, P., Lu, H., Kanhabua, N., Zhao, S. & Pan, G., 2019, In : I E E E Transactions on Knowledge & Data Engineering. 31, 6, p. 1150-1165 16 p., 8403245.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Location based services
Smartphones
Convolution
Learning systems
Classifiers

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

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

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

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

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

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

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

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

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
2018
58 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

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, In : Fundamenta Informaticae. 161, 4, p. 351-381

Research output: Contribution to journalJournal articleResearchpeer-review

35 Downloads (Pure)

A Foundation for Spatial Data Warehouses on the Semantic Web


Gur, N., Pedersen, T. B., Zimányi, E. & Hose, K., 2018, In : Semantic Web. 9, 5, p. 557-587 30 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Data warehouses
Semantic Web
Processing
Mathematical operators
4 Citations (Scopus)

Analytical metadata modeling for next generation BI systems

Varga, J., Romero, O., Pedersen, T. B. & Thomsen, C., 1 Oct 2018, In : Journal of Systems and Software. 144, p. 240 - 254 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Competitive intelligence
Metadata
Data structures
Decision making
Semantics
1 Citation (Scopus)

An empirical study of Bayesian network inference with simple propagation

Butz, C. J., Oliveira, J., dos Santos, A. E. & Madsen, A. L., 1 Jan 2018, In : International Journal of Approximate Reasoning. 92, p. 198-211 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Bayesian networks
Bayesian Networks
Empirical Study
Propagation
Factorization
3 Citations (Scopus)

An extended continuum model incorporating the electronic throttle dynamics for traffic flow

Li, Y., Yang, H., Yang, B., Zheng, T. & Zhang, C., 1 Sep 2018, In : Nonlinear Dynamics. 93, 4, p. 1923-1931 9 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Continuum Model
Traffic Flow
Electronics
Dissipate
Numerical Comparisons

Assessing the performance of short multi-item questionnaires in aesthetic evaluation of websites

Papachristos, E., 1 Jan 2018, (Accepted/In press) In : Behaviour and Information Technology.

Research output: Contribution to journalJournal articleResearchpeer-review

Esthetics
website
Websites
aesthetics
Human computer interaction
170 Downloads (Pure)

Assisted Shifting of Electricity Use: A Long-Term Study of Managing Residential Heating

Jensen, R. H., Kjeldskov, J. & Skov, M., Oct 2018, In : ACM Transactions on Computer-Human Interaction. 25, 5, 33 p., 25.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Electricity
Heating
Pumps
Human computer interaction
Sustainable development
10 Citations (Scopus)

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., Mar 2018, In : Acta Informatica. 55, 2, p. 91-127

Research output: Contribution to journalJournal articleResearchpeer-review

Data storage equipment
Controllers
101 Downloads (Pure)

Beyond Macrobenchmarks: Microbenchmark-based Graph Database Evaluation

Lissandrini, M., Brugnara, M. & Velegrakis, Y., 2018, In : Proceedings of the VLDB Endowment. 12, 4, p. 390-403

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Macros
Specifications