Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

2017
12 Citations (Scopus)

Chronus: Consistent Data Plane Updates in Timed SDNs

Zheng, J., Chen, G., Schmid, S., Dai, H. & Wu, J., 13 Jul 2017, Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. IEEE, p. 319-327 9 p. 7979978. (Proceedings of the International Conference on Distributed Computing Systems).

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

Trees (mathematics)
Polynomials
Controllers
Experiments

Cleansing indoor RFID tracking data

Baba, A. I., Lu, H., Pedersen, T. B. & Jaeger, M., 2017, In : SIGSPATIAL Special. 9, 1, p. 11-18 8 p.

Research output: Contribution to journalJournal articleResearch

8 Citations (Scopus)
135 Downloads (Pure)

Clue-based Spatio-textual Query

liu, J., Deng, K., Sun, H., Ge, Y., Zhou, X. & Jensen, C. S., Jan 2017, In : Proceedings of the VLDB Endowment. 10, 5, p. 529-540

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
4 Citations (Scopus)

Collective travel planning in spatial networks

Shang, S., Chen, L., Wei, Z., Jensen, C. S., Wen, J. R. & Kalnis, P., 16 May 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, p. 59-60 2 p. 7929932

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

1 Citation (Scopus)

Commentary: Usability in Theory and Practice

Stage, J., 2017, In : Human-Computer Interaction. 33, 2, p. 195-197 3 p., 10.1080/07370024.2017.1333908.

Research output: Contribution to journalComment/debateResearchpeer-review

Competitive clustering of stochastic communication patterns on a ring

Avin, C., Cohen, L. & Schmid, S., 2017, Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Springer, p. 231-247 17 p. (Lecture Notes in Computer Science, Vol. 10299 LNCS).

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

Communication
Costs
Servers
Virtual machine
18 Citations (Scopus)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi

Gebler, D., Larsen, K. G. & Tini, S., 2017, In : Logical Methods in Computer Science. 12, 4

Research output: Contribution to journalConference article in JournalResearch

Open Access

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 Jan 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Vol. 10500 LNCS. p. 107-124 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10500 LNCS).

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

Real time systems
Testing
1 Citation (Scopus)

Conformance test development with the Java modeling language

Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2017, In : Concurrency Computation. 29, Special Issue Paper.

Research output: Contribution to journalJournal articleResearchpeer-review

Acceptance tests
Testing
Specifications
Interfaces (computer)
Scheduling
3 Citations (Scopus)
523 Downloads (Pure)

Content Recommendation for Viral Social Influence

Ivanov, S., Theocharidis, K., Terrovitis, M. & Karras, P., 2017, Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 565-574 10 p.

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

Open Access
File
Social influence
NP-hard
Approximation
Social networks
Propagation

Convergence of even simpler robots without position information

Pattanayak, D., Mondal, K., Mandal, P. S. & Schmid, S., 2017, Networked Systems - 5th International Conference, NETYS 2017, Proceedings. Springer, Vol. 10299 LNCS. p. 69-85 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10299 LNCS).

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

Robots
Stabilization
4 Citations (Scopus)
114 Downloads (Pure)

Converging coolness and investigating its relation to user experience

Raptis, D., Bruun, A., Kjeldskov, J. & Skov, M., 2017, In : Behaviour and Information Technology. 36, 4

Research output: Contribution to journalJournal articleResearchpeer-review

File
Mobile devices
Explosions
experience
Pleasure
Esthetics
8 Citations (Scopus)

Cooperative Thinking, or: Computatjavascript:void(0);ional Thinking Meets Agile

Missiroli, M., Russo, D. & Ciancarini, P., 2017, Proceedings - 30th IEEE Conference on Software Engineering Education and Training, CSEE and T 2017.

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

Cross-Device Interaction with Large Displays in Public: Insights from both Users’ and Observers’ Perspectives

Paay, J., Kjeldskov, J., Raptis, D., Skov, M., Penchev, I. S. & Ringhauge, E., 2017, OZCHI '17 Proceedings of the 29th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, p. 87-97 11 p.

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

CrowdPickUp: Crowdsourcing Task Pickup in the Wild

Goncalves, J., Hosio, S., van Berkel, N., Ahmed, F. & Kostakos, V., 2017, In : Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.. 1, 3, p. 51:1-51:22

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)

Crowdsourcing Based Evaluation of Ranking Approaches for Spatial Keyword Querying

Chen, J., Lu, H., Keles, I. & Jensen, C. S., 29 Jun 2017, Proceedings of the 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 62-71 10 p. 7962437

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

Cryptography Basics

Wattenhofer, R. & Förster, K-T., 6 Mar 2017, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (ed.). Second Revised Edition ed. Inverted Forest Publishing, p. 49-70 22 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterEducation

Cryptography
Magic
Sound
Trick
2 Citations (Scopus)

Data locality and replica aware virtual cluster embeddings

Fuerst, C., Pacut, M. & Schmid, S., 2017, In : Theoretical Computer Science. 697, p. 37-57

Research output: Contribution to journalJournal articleResearchpeer-review

Data Locality
Replica
Hardness
Graph Embedding
Embedding Problem

Data Warehousing in Cloud Environments

Thomsen, C. & Pedersen, T. B., 5 Apr 2017, Encyclopedia of Database Systems. New York: Springer, 6 p.

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

DB2KB: A framework to publish a database as a knowledge base

Bhuiyan, M. H., Bhattacharjee, A. & Nath, R. P. D., 1 Dec 2017, 2017 20th International Conference of Computer and Information Technology (ICCIT). IEEE, p. 1-7 7 p.

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

4 Citations (Scopus)
45 Downloads (Pure)

Demand-aware network designs of bounded degree

Avin, C., Mondal, K. & Schmid, S., 1 Oct 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. (Leibniz International Proceedings in Informatics, Vol. 91).

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

Open Access
File
Communication
Information theory
Entropy
1 Citation (Scopus)

Demonstrating SolveDB: An SQL-based DBMS for optimization applications

Šikšnys, L. & Pedersen, T. B., 16 May 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017. IEEE, p. 1367-1368 2 p. (Proceedings of the International Conference on Data Engineering).

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

Specifications
Linear programming
Scheduling
Planning

Dependable and optimal cyber-physical systems

Larsen, K. G., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. LNCS ed. Springer, Vol. 10139. p. 3-10 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10139 LNCS).

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

1 Citation (Scopus)

Designing a Context-Aware Assistive Infrastructure for Elderly Care

Klakegg, S., van Berkel, N., Visuri, A., Huttunen, H-L., Hosio, S., Luo, C., Goncalves, J. & Ferreira, D., 2017, Adjunct Proceedings of the ACM International Joint Conference on Pervasive and Ubiquitous Computing. p. 563-568 6 p.

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

Developing a genetic analysis system for clinical purposes

Skorve, E., Eike, M. C., Håndstad, T. & Grünfeld, T., 2017, Journal of Innovation in Health Informatics: Informatics for Health 2017: Advancing both science and practice. UK: BCS, The Chartered Institute for IT, p. 93-94 52. (Journal of Innovation in Health Informatics; No. 1, Vol. 24).

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

Open Access
4 Citations (Scopus)

Direction-Aware why-not spatial keyword Top-k queries

Chen, L., Li, Y., Xu, J. & Jensen, C. S., 16 May 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, p. 107-110 4 p. 7929947

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

Location based services
174 Downloads (Pure)

Dynamic Capabilities and Project Management in Small Software Companies

Nørbjerg, J., Nielsen, P. A. & Persson, J. S., Jan 2017, Proceedings of the 50th Annual Hawaii International Conference on System Sciences (HICSS). p. 5410-5419 (Proceedings of the Annual Hawaii International Conference on System Sciences).

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

Open Access
File
Project management
Dynamic capabilities
Software
Interaction
Adaptability

Editorial: Updates to the Editorial Board

Jensen, C. S., Mar 2017, In : A C M Transactions on Database Systems. 42, 1, 1 p., 1e.

Research output: Contribution to journalEditorialResearch

Open Access
1 Citation (Scopus)

Efficiently answer top-k queries on typed intervals

Xu, J. & Lu, H., 1 Nov 2017, In : Information Systems. 71, p. 164-181 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Scalability
Data storage equipment
Costs
Experiments
10 Citations (Scopus)

Efficient Metric Indexing for Similarity Search and Similarity Joins

Chen, L., Gao, Y., Li, X., Jensen, C. S. & Chen, G., 1 Mar 2017, In : IEEE Transactions on Knowledge and Data Engineering. 29, 3, p. 556-571 16 p., 7349200.

Research output: Contribution to journalJournal articleResearchpeer-review

Costs
Data integration
Processing
Experiments
3 Citations (Scopus)

Efficient service graph embedding: A practical approach

Nemeth, B., Sonkoly, B., Rost, M. & Schmid, S., 4 May 2017, 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2016. IEEE, p. 19-25 7 p. 7919470

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

Surgery
Automation
Availability
Experiments
Software defined networking

ELVIS: Comparing Electric and Conventional Vehicle Energy Consumption and CO2 Emissions

Andersen, O., Krogh, B. B. & Torp, K., 21 Aug 2017, Advances in Spatial and Temporal Databases: 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 – 23, 2017, Proceedings. Springer VS, p. 421-426 6 p. (Lecture Notes in Computer Science, Vol. 10411).

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

3 Citations (Scopus)

Embedding differential privacy in decision tree algorithm with different depths

Bai, X., Yao, J., Yuan, M., Deng, K., Xie, X. & Guan, H., 1 Aug 2017, In : Science China Information Sciences. 60, 8, 15 p., 082104.

Research output: Contribution to journalJournal articleResearchpeer-review

Decision trees
Data mining
Markov processes
Computational complexity
Monte Carlo methods
4 Citations (Scopus)

Enabling Completeness-aware Querying in SPARQL

Prado, L. A. G. D., Hose, K. & Razniewski, S., 2017, Proceedings of the 20th International Workshop on the Web and Databases, WebDB 2017, Chicago, IL, USA, May 14-19, 2017. Association for Computing Machinery, p. 19-22

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

16 Citations (Scopus)

Enabling time-dependent uncertain eco-weights for road networks

Hu, J., Yang, B., Jensen, C. S. & Ma, Y., 2017, In : Geoinformatica. 21, 1, p. 57-88

Research output: Contribution to journalJournal articleResearchpeer-review

road network
histogram
Gas emissions
Greenhouse gases
greenhouse gas

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling using UPPAAL Stratego

Agesen, M. K., Enevoldsen, S., Le Guilly, T., Mariegaard, A., Olsen, P. & Skou, A. J., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Springer Publishing Company, p. 603-622 (Lecture Notes in Computer Science, Vol. 10460).

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

12 Citations (Scopus)
151 Downloads (Pure)

Ensemble prediction model with expert selection for electricity price forecasting

Neupane, B., LeeWoon, W. & Aung, Z., 2017, In : Energies. 10, 1, 27 p., 77.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
Electricity
Prediction Model
Forecasting
Ensemble
Electricity Market
5 Citations (Scopus)

Escaping the Trough: Towards Real-World Impact of Tabletop Research

Bruun, A., Jensen, K. E., Kristensen, D. H. & Kjeldskov, J., 2017, In : International Journal of Human-Computer Interaction. 33, 2, p. 77-93 17 p.

Research output: Contribution to journalJournal articleResearchpeer-review

research focus
maturity
new technology
Human computer interaction
evaluation
7 Citations (Scopus)

Extended dependency graphs and efficient distributed fixed-point computation

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2017, Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Proceedings. Springer, Vol. 10258 LNCS. p. 139-158 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10258 LNCS).

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

Model checking
Petri nets
Backpropagation
Explosions
1 Citation (Scopus)

Extended state observer–based intelligent double integral sliding mode control of electronic throttle valve

Li, Y., Yang, B., Zhang, X., Wu, Q. & Zheng, T., 1 Jan 2017, In : Advances in Mechanical Engineering. 9, 12, p. 1-10 10 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Sliding mode control
Control theory
Control systems
Controllers
2 Citations (Scopus)

Extracting Visited Points of Interest from Vehicle Trajectories

Keles, I., Schubert, M., Kröger, P., Saltenis, S. & Jensen, C. S., 2017, Proceedings of the Fourth International ACM Workshop on Managing and Mining Enriched Geo-Spatial Data. Association for Computing Machinery, 6 p. 2

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

Trajectories
Parking
Bayesian networks
Global positioning system
3 Citations (Scopus)

Financial Data Analysis with PGMs Using AMIDST

Cabanas, R., Martinez, A. M., Masegosa, A. R., Ramos-Lopez, D., Sameron, A., Nielsen, T. D., Langseth, H. & Madsen, A. L., 30 Jan 2017, Proceedings - 16th IEEE International Conference on Data Mining Workshops, ICDMW 2016. IEEE, p. 1284-1287 4 p. 7836816

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

Economics
3 Citations (Scopus)

Finding dense locations in symbolic indoor tracking data: modeling, indexing, and processing

Ahmed, T., Pedersen, T. B. & Lu, H., Jan 2017, In : Geoinformatica. 21, 1, p. 119-150 32 p.

Research output: Contribution to journalJournal articleResearchpeer-review

indexing
Data structures
Processing
modeling
pruning
2 Citations (Scopus)

Finding Influential Local Users with Similar Interest from Geo-tagged Social Media Data

Jiang, J., Lu, H., Li, P., Pan, G. & Xie, X., 2017, Proceedings of the 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 82-91 10 p.

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

3 Citations (Scopus)

Finding lowest-cost paths in settings with safe and preferred zones

Aljubayrin, S., Qi, J., Jensen, C. S., Zhang, R., He, Z. & Li, Y., 1 Jun 2017, In : VLDB Journal. 26, 3, p. 373-397 25 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Costs
Experiments

Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Cham: Springer, p. 269-288 20 p. (Lecture Notes in Computer Science, Vol. 10460).

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

6 Citations (Scopus)

Formal validation of supervisory energy management systems for microgrids

Sugumar, G., Selvamuthukumaran, R., Dragicevic, T., Nyman, U., Larsen, K. G. & Blaabjerg, F., Oct 2017, Proceedings of 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017. IEEE Press, p. 1154-1159 6 p.

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

Energy management systems
Renewable energy resources
Real time systems
Energy storage
Physics
4 Citations (Scopus)

FrameBase: Enabling Integration of Heterogeneous Knowledge

Rouces, J., de Melo, G. & Hose, K., 2017, In : Semantic Web. 8, 6, p. 817-850

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

Gamification of Mobile Experience Sampling Improves Data Quality and Quantity

van Berkel, N., Goncalves, J., Hosio, S. & Kostakos, V., 2017, In : Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT). 1, 3, p. 107:1-107:21

Research output: Contribution to journalJournal articleResearchpeer-review

General chairs' welcome

Dolog, P. & Vojtáš, P., 4 Jul 2017, HT 2017 - Proceedings of the 28th ACM Conference on Hypertext and Social Media. Association for Computing Machinery, p. iii

Research output: Contribution to book/anthology/report/conference proceedingPreface/Introduction/postscriptResearchpeer-review

Open Access