Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2017

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

10 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

3 Citations (Scopus)

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

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

5 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

4 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

17 Citations (Scopus)

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

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
14 Citations (Scopus)
173 Downloads (Pure)

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

5 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

8 Citations (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
1 Citation (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

2 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

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

3 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

2 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

3 Citations (Scopus)

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

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

6 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
4 Citations (Scopus)

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

Generation and evaluation of flex-offers from flexible electrical devices

Neupane, B., Siksnys, L. & Pedersen, T. B., 16 May 2017, e-Energy 2017 - Proceedings of the 8th International Conference on Future Energy Systems. Association for Computing Machinery, p. 143-156 14 p.

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

10 Citations (Scopus)

GeoSemOLAP: Geospatial OLAP on the Semantic Web Made Easy

Gur, N., Nielsen, J., Hose, K. & Pedersen, T. B., Apr 2017, Proceedings of the 26th International Conference on World Wide Web Companion. Association for Computing Machinery, p. 213-217

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

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

GlowPhones: Designing for Proxemics Play with Low-Resolution Displays in Location-based Games

Merritt, T., Nielsen, C. L., Jakobsen, F. L. & Grønbæk, J. E., 2017, CHI PLAY ´17: Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, p. 69-81 13 p.

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

Grænseoverskridende komik: South Parks transmedielle univers

Lundgaard, S. S., 2017, Helt til Grin: Moderne audiovisuel komik på tværs af medier. Halskov, A., Højer, H. & Larsen, T. S. (eds.). 16:9 Filmtidsskrift, p. 216-236

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

GVoS: A General System for Near-Duplicate Video-Related Applications on Storm

Jiang, J., Tong, Y., Lu, H., Cui, B., Lei, K. & Yu, L., 2017, In : A C M Transactions on Information Systems. 36, 1, 36 p., 3.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

HVMTP: A time predictable and portable java virtual machine for hard real-time embedded systems

Luckow, K. S., Thomsen, B. & Korsholm, S., 2017, In : Concurrency and Computation: Practice & Experience. 29, 22, 26 p., e3828.

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

If PBL is the answer, then what is the problem?

Huttel, H. & Gnaur, D., Nov 2017, In : Journal of Problem Based Learning in Higher Education. 5, 2, 21 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access

IMaxer: A unified system for evaluating influence maximization mechanisms in location-based social networks

Saleem, M. A., Kumar, R., Calders, T., Xie, X. & Pedersen, T. B., 6 Nov 2017, CIKM 2017 - Proceedings of the 2017 ACM Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2523-2526 4 p. (Conference on Information and Knowledge Management).

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

2 Citations (Scopus)

Indexing metric uncertain data for range queries and range joins

Chen, L., Gao, Y., Zhong, A., Jensen, C. S., Chen, G. & Zheng, B., 1 Aug 2017, In : VLDB Journal. 26, 4, p. 585-610 26 p.

Research output: Contribution to journalJournal articleResearchpeer-review

8 Citations (Scopus)

Indexing of Moving Objects, Bx-Tree

Jensen, C. S., Lin, D. & Ooi, B. C., May 2017, Encyclopedia of GIS. Shekhar, S., Xiong, H. & Zhou, X. (eds.). Cham: Springer, p. 940-947

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

Indoor Localization Accuracy Estimation from Fingerprint Data

Nikitin, A., Laoudias, C., Chatzimilioudis, G., Karras, P. & Zeinalipour-Yazti, D., 31 May 2017, 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, 10 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

Open Access
File
6 Citations (Scopus)
384 Downloads (Pure)

Inferring types for parallel programs

Martins, F., Vasconcelos, V. T. & Hüttel, H., 8 Apr 2017, Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software . Vasconcelos, V. T. & Haller, P. (eds.). Open Publishing Association, Vol. 246. p. 28-36 9 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 246).

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

Open Access
File
160 Downloads (Pure)

Infinite-dimensionality in quantum foundations: W∗-algebras as presheaves over matrix algebras

Rennela, M., Staton, S. & Furber, R., 1 Jan 2017, Proceedings 13th International Conference on Quantum Physics and Logic . Duncan, R. & Heunen, C. (eds.). Open Publishing Association, p. 161-173 13 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 236).

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

Open Access
File
177 Downloads (Pure)

In-Memory Spatial Join: The Data Matters!

Nobari, S., Qu, Q. & Jensen, C. S., Mar 2017, Proceedings of the 20th International Conference on Extending Database Technology. OpenProceedings.org, 4 p. (Advances in Database Technology).

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

Open Access
File
4 Citations (Scopus)
16 Downloads (Pure)

Interactive Intersection Analysis using Trajectory Data

Borresen, J. L., Andersen, O., Jensen, C. S. & Torp, K., Nov 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Association for Computing Machinery, 4 p. 87

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

1 Citation (Scopus)

Intrafirm knowledge transfer of agile software practices: barriers and their relations

Heeager, L. T. & Nielsen, P. A., 14 Dec 2017, In : Journal of Information Technology Case and Application Research. 19, 4, p. 199-224

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

Investigating Cross-Device Interaction between a Handheld Device and a Large Display

Paay, J., Raptis, D., Kjeldskov, J., Skov, M., Ruder, E. V. & Lauridsen, B. M., 2017, CHI '17, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 6608-6619

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

File
10 Citations (Scopus)
165 Downloads (Pure)

Ladda: SPARQL Queries in the Fog of Browsers

Grall, A., Folz, P., Montoya, G., Skaf-Molli, H., Molli, P., Vander Sande, M. & Verborgh, R., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, p. 126-131 (Lecture Notes in Computer Science, Vol. 10577).

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

Open Access
1 Citation (Scopus)

Large cuts with local algorithms on triangle-free graphs

Hirvonen, J., Rybicki, J., Schmid, S. & Suomela, J., 20 Oct 2017, In : Electronic Journal of Combinatorics. 24, 4, 20 p., #P4.21.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
6 Citations (Scopus)
37 Downloads (Pure)

Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

Olderog, E-R., Ravn, A. P. & Wisniewski, R., 2017, Provably Correct Systems. Springer, p. 95-120 (NASA Monographs in Systems and Software Engineering).

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

Literature Survey on Interaction Design and Existing Software Applications for Dyslectic Users

Vangeli, P. & Stage, J., 1 Dec 2017, Interactive Mobile Communication Technologies and Learning: Proceedings of the 11th IMCL Conference. Auer, M. E. & Tsiatsos, T. (eds.). Springer, p. 331-344 (Advances in Intelligent Systems and Computing, Vol. 725).

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

Open Access
File
249 Downloads (Pure)

Load-Optimal Local Fast Rerouting for Resilient Networks

Pignolet, Y. A., Schmid, S. & Tredan, G., 30 Aug 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. IEEE, p. 345-356 12 p. 8023135

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

5 Citations (Scopus)

Location influence in location-based social networks

Saleem, M. A., Kumar, R., Calders, T., Xie, X. & Pedersen, T. B., 2 Feb 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 621-630 10 p.

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

19 Citations (Scopus)

MAIME: A Maintenance Manager for ETL Processes

Butkevicius, D., Freiberger, P. D., Halberg, F. M., Hansen, J. B., Jensen, S., Tarp, M., Huang, H. X. & Thomsen, C., 15 Mar 2017, Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017). CEUR Workshop Proceedings, 10 p. 8. (CEUR Workshop Proceedings, Vol. 1810).

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

Open Access
File
71 Downloads (Pure)

Manycore GPU processing of repeated range queries over streams of moving objects observations

Lettich, F., Orlando, S., Silvestri, C. & Jensen, C. S., 25 Feb 2017, In : Concurrency Computation. 29, 4, e3881.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

MAP inference in dynamic hybrid Bayesian networks

Ramos-López, D., Masegosa, A., Martinez, A. M., Salmerón, A., Nielsen, T. D., Langseth, H. & Madsen, A. L., 2017, In : Progress in Artificial Intelligence. 6, 2, p. 133–144 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
3 Citations (Scopus)
119 Downloads (Pure)

Maximum Update Interval in Moving Objects Databases

Jensen, C. S., Lin, D. & Ooi, B. C., May 2017, Encyclopedia of GIS. Springer, Vol. 2017. p. 1205-1205

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

Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

Liebel, G., Anjorin, A., Knauss, E., Lorber, F. & Tichy, M., 2017, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (eds.). Portugal: SCITEPRESS Digital Library, Vol. 1. p. 427-434

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

6 Citations (Scopus)

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, L. (ed.), Bacci, G. (ed.), Bacci, G. (ed.), Ingolfsdottir, A. (ed.), Larsen, K. G. (ed.), Legay, A. (ed.) & Mardare, R. I. (ed.), 2017, Springer. 1 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 10460).

Research output: Book/ReportAnthology

Multi-Agent Pathfinding with n Agents on Graphs with n Vertices: Combinatorial Classification and Tight Algorithmic Bounds

Förster, K-T., Groner, L., Hoefler, T., König, M., Schmid, S. & Wattenhofer, R., 17 Apr 2017, Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings. Springer, p. 247 13 p. (Lecture Notes in Computer Science, Vol. 10236).

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