Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2019

Filter
Article in proceeding
2019

A charging scheduling system for electric vehicles using vehicle-To-grid

Breum, N. K., Joergensen, M. N., Knudsen, C. A., Kristensen, L. B. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 351-352 2 p. 8788738. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

Electric vehicles
Scheduling
Electricity
Wind power
Costs
4 Downloads (Pure)

A Decentralized Architecture for Sharing and Querying Semantic Data

Aebeloe, C., Montoya, G. & Hose, K., 25 May 2019, The Semantic Web. Fernández, M., Zaveri, A., Hitzler, P., Haller, A., Janowicz, K., Hammar, K., Gray, A. J. G. & Lopez, V. (eds.). Portorož, Slovenia: Springer, Vol. 11503. p. 3-18 16 p. (Lecture Notes in Computer Science).

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

File
Servers
Semantics
Semantic Web

Analysis of the Effect of Query Shapes on Performance over LDF Interfaces

Montoya, G., Keles, I. & Hose, K., 2019, Proceedings of the QuWeDa 2019: 3rd Workshop on Querying and Benchmarking the Web of Data co-located with 18th International Semantic Web Conference (ISWC 2019). CEUR Workshop Proceedings, Vol. 2496. p. 51-66 16 p. (CEUR Workshop Proceedings).

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

Open Access
Query processing
Semantic Web
Testbeds
Servers

Analyzing trajectories using a path-based API

Waury, R., Dolog, P., Jensen, C. S. & Torp, K., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, p. 198-201 4 p.

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

Application programming interfaces (API)
Trajectories
Data privacy
Travel time
Fuel consumption

An MBR-Oriented Approach for Efficient Skyline Query Processing

Zhang, J., Wang, W., Jiang, X., Ku, W-S. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, p. 806-817 (Proceedings of the International Conference on Data Engineering).

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

An Open Source Dataset and Ontology for Product Footprinting

Ghose, A., Hose, K., Lissandrini, M. & Weidema, B. P., 2019, The Semantic Web: ESWC 2019 Satellite Events.

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

life cycle
industrial ecology
footprint
product
environmental impact

A practical delivery route planning system

Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 349-350 2 p. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

Planning
Logistics
Industry
Scheduling
Costs

A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 70. p. 13:1-13:8 8 p.

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

Open Access
Natural language processing systems
Processing
Joining
Statistical methods

Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 Apr 2019, 6th International Conference on Control Decision Information Technologies. Paris, France: IEEE

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

Open Access
Bearings (structural)
Condition monitoring
Open systems
Health
Signal systems
69 Downloads (Pure)

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 7 Sep 2019, (Accepted/In press) Distributed Simulation and Real-Time Applications.

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

File
Scheduling

Continuous Range Queries over Multi-Attribute Trajectories

Xu, J., Bao, Z. & Lu, H., 2019, The 35th IEEE International Conference on Data Engineering (ICDE). IEEE, p. 1610-1613

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

Trajectories
Scalability
Experiments

CyclAir: A Bike Mounted Prototype for Real-Time Visualization of CO2 Levels While Cycling

Schneiders, E. & Skov, M. B., 25 Aug 2019, INTERACT: IFIP Conference on Human-Computer Interaction. Vol. 11747. p. 678-687|

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

Air quality
Visualization
Air pollution
Carbon footprint
Greenhouse gases

Decentralized Indexing over a Network of RDF Peers

Aebeloe, C., Montoya, G. & Hose, K., 2019, The Semantic Web - ISWC 2019. Springer, (Lecture Notes in Computer Science).

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

Query processing
Servers
Semantic Web
Availability
Experiments

Demonstration of ModelarDB: Model-Based Management of Dimensional Time Series

Jensen, S. K., Pedersen, T. B. & Thomsen, C., 2019, Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, p. 1933-1936 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Time series
Demonstrations
Sensors

Drivelab: An experimental platform for telematics

Pedersen, K. F. & Torp, K., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 252-259 8 p. 8788727. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

Application programs
Servers
Feedback
Smartphones
Insurance

Efficient Bottom-Up Discovery of Multi-Scale Time Series Correlations Using Mutual Information

Ho, T. T. N., Pedersen, T. B., Vu, M., Van, H. L. & Biscio, C. A. N., 8 Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 1734-1737 4 p. 8731434. (Proceedings of the International Conference on Data Engineering).

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

Time series
Information theory
Experiments

Exploiting Ratings, Reviews and Relationships for Item Recommendations in Topic Based Social Networks

Li, P., Lu, H., Zheng, G., Zheng, Q., Yang, L. & Pan, G., 2019, Proceedings of the 30th Web Conference (WWW). p. 995-1005

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

Recommender systems
Factorization
Feedback

Exploring the Data Wilderness through Examples

Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2019, Proceedings of the 2019 International Conference on Management of Data (SIMGOD/PODS). p. 2031-2035

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

Query languages
Semantics

Flexibility Modeling, Management, and Trading in Bottom-up Cellular Energy Systems

Siksnys, L., Pedersen, T. B., Aftab, M. & Neupane, B., 18 Jun 2019, Proceedings of the Tenth ACM International Conference on Future Energy Systems, e-Energy 2019. Association for Computing Machinery, p. 170-180

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

Open Access
Learning systems
Chemical activation
2 Downloads (Pure)

Graph Convolutional Networks for Road Networks

Skovgaard Jepsen, T., Jensen, C. S. & Nielsen, T. D., 5 Nov 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. p. 460-463 4 p.

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

Open Access
File
Learning systems
Fusion reactions
Neural networks

Haaukins: A Highly Accessible and Automated Virtualization Platform for Security Education

Panum, T. K., Hageman, K. D., Pedersen, J. M. & Hansen, R. R., 2 Sep 2019, 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT). IEEE, 3 p. (International Conference on Advanced Learning Technologies (ICALT)).

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

Education
Students
Computer networks
Automation
Virtualization

How Diverse Are Federated Query Execution Plans Really?

Jakobsen, A. L., Montoya, G. & Hose, K., 2019, The Semantic Web: ESWC 2019 Satellite Events. Springer, p. 105-110 6 p. (Lecture Notes in Computer Science; No. 11762, Vol. LNCS).

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

Engines
Demonstrations

How new is the (RDF) news? Assessing knowledge graph completeness over news feed entities

Sagi, T., Wolf, Y. & Hose, K., 13 May 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, p. 714-721 8 p. (The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019).

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

Indexing Trajectories for Travel-Time Histogram Retrieval

Waury, R., S. Jensen, C., Koide, S., Ishikawa, Y. & Xiao, C., 29 Mar 2019, Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings. Reinwald, B., Binnig, C., Kaoudi, Z., Galhardas, H., Herschel, M. & Fundulaki, I. (eds.). OpenProceedings.org, p. 157-168 12 p. (Advances in Database Technology - EDBT, Vol. 2019-March).

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

Travel time
Trajectories
Probability distributions
Global positioning system
Availability
27 Downloads (Pure)

Indoor Top-k Keyword-aware Routing Query

Feng, Z., Liu, T., LI, HUAN., Lu, H., Shou, L. & Xu, J., 2 Oct 2019, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE

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

Open Access
File
Topology
Planning
Experiments

Interaction Design for Domestic Sound Zones

Lundgaard, S. S., Nielsen, P. A. & Kjeldskov, J., 2019, Audio Mostly 2019.

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

22 Downloads (Pure)

Investigating EV Driving as Meaningful Practice

Jensen, R. H., Svangren, M. K., Skov, M. B. & Kjeldskov, J., 2019, (Accepted/In press) 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

File
Electric vehicles
Human computer interaction

Investigating the Use of an Online Peer-to-Peer Car Sharing Service

Svangren, M. K., Brereton, M., Skov, M. B. & Kjeldskov, J., Sep 2019, (Accepted/In press) The 17th IFIP TC.13 International Conference on Human-Computer Interaction. Springer Publishing Company

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

Kraaler: A User-Perspective Web Crawler

Panum, T. K., Hansen, R. R. & Pedersen, J. M., 5 Aug 2019, 2019 Network Traffic Measurement and Analysis Conference (TMA). IEEE, 8 p.

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

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 Sep 2019, Proc. of International Symposium on Formal Methods: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Vol. 11800. p. 651 669 p. (Lecture Notes in Computer Science).

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

Learning algorithms
Sampling
Formal languages
Model structures
Testing

Languages' impact on emotional classification methods

Eilertsen, A. C., Rose, D. H., Erichsen, P. L., Christensen, R. E. & Nath, R. P. D., Sep 2019, Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, FedCSIS 2019. Ganzha, M., Maciaszek, L., Maciaszek, L. & Paprzycki, M. (eds.). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 277-286 10 p. 8860017. (Federated Conference on Computer Science and Information Systems, Vol. 18).

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

Open Access
Language
Research

Learned index for spatial queries

Wang, H., Fu, X., Xu, J. & Lu, H., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 569-574 6 p. 8788832. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

learning
spatial data
index
partitioning
cost

LightBee: A Self-Levitating Light Field Display for Hologrammatic Telepresence

Zhang, X., Braley, S., Rubens, C., Merritt, T. & Vertegaal, R., 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery, p. 12:1-12:10 (CHI '19).

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

Display devices
Cameras
Glass
Drones
Stereo image processing

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

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

Open Access
Big data
Information systems

Mental Models of Loudspeaker Directivity

Nielsen, S., Larsen, L. B., Stec, K. & Simon, A., 2019, (Accepted/In press) Audio Mostly 2019. Nottingham, United Kingdom: Association for Computing Machinery, 4 p.

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

loudspeakers
directivity
acoustics
sound fields
sound waves

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.). Physica-Verlag, p. 37-51 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11785 LNCS).

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

Reward
Model Checking
Uncertainty
Model
Markov Model
137 Downloads (Pure)

Multi-Source Spatial Entity Linkage

Isaj, S., Zimányi, E. & Pedersen, T. B., 19 Aug 2019, International Symposium on Spatial and Temporal Databases: SSTD. p. 1-10 10 p.

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

Open Access
File
Semantics

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

Wang, W., Gong, Z., Zhang, J., Lu, H. & Ku, W-S., 2019, 27th SIGSPATIAL/GIS 2019. p. 289-298

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

Cryptography
Servers
Smartphones
Global positioning system
Indoor positioning systems

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

Time series
Recurrent neural networks
Neural networks
Experiments

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, Vol. 140. 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

Model checking
Petri nets

Personalised Soundscapes in Homes

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

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

Acoustic waves
Chemical analysis

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, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Physica-Verlag, p. 50-68 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11429 LNCS).

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

Model checking
Data storage equipment
Bronze
Program processors
Silver

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. Association for Computing Machinery, p. 532-535 4 p.

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

Heuristic methods
Semantics

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

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

Reengineering
1 Citation (Scopus)
3 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, Vol. 11503. p. 52-67 16 p. (Lecture Notes in Computer Science, Vol. 11503 LNCS).

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

File
Semantics
126 Downloads (Pure)

Seed-Driven Geo-Social Data Extraction

Isaj, S. & Pedersen, T. B., 19 Aug 2019, International Symposium on Spatial and Temporal Databases: SSTD. p. 11-20 10 p.

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

Open Access
File
Seed
Experiments

Skyline Queries over Knowledge Graphs

Keles, I. & Hose, K., 17 Oct 2019, The Semantic Web – ISWC 2019. Springer, p. 293-310 (Lecture Notes in Computer Science).

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

Query processing
Decision making
Experiments

Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, (Unpublished) Proceedings of 34th IEEE International Conference on Data Engineering, ICDE 2019. IEEE

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

2 Citations (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Mariegaard, A., Larsen, K. G. & Jensen, M. C., 2019, NASA Formal Methods. Springer, Vol. 11460. p. 298-315 18 p. (Lecture Notes in Computer Science).

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

Model checking

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, LNCS: ATVA 2019: Automated Technology for Verification and Analysis. Vol. 11781. p. 81-97

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

Reinforcement learning
Teaching
Controllers
Cyber Physical System