Department of Computer Science

Research output

Research output per year 1981 2003 2006 2008 2009 2010 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 2558 Article in proceeding
• 1239 Journal article
• 307 Book chapter
• 305 Conference article in Journal
• 1066 More
  • 277 Book
  • 141 PhD thesis
  • 128 Report
  • 65 Encyclopedia chapter
  • 63 Anthology
  • 59 Editorial
  • 58 Conference abstract in proceeding
  • 50 Paper without publisher/journal
  • 42 Preprint
  • 40 Working paper
  • 27 Preface/Introduction/postscript
  • 27 Poster
  • 17 Other contribution
  • 15 Review article
  • 13 Conference abstract in journal
  • 12 Conference abstract for conference
  • 7 Comment/debate
  • 6 Report chapter
  • 5 Compendium/lecture notes
  • 3 Doctoral thesis
  • 3 Net publication - Internet publication
  • 2 Sound/Visual production (digital)
  • 2 Patent
  • 1 Comment
  • 1 Contribution to newspaper - Feature article
  • 1 Contribution to newspaper - Newspaper article
  • 1 Letter

Research output per year

Research output per year

Search results

• 2022

  Robots as a Place for Socializing: Influences of Collaborative Robots on Social Dynamics In- and Outside the Production Cells

  Cheon, E., Schneiders, E., Diekjobst, K. & Skov, M. B., 11 Nov 2022, In: Proceedings of the ACM on Human-Computer Interaction. 6, CSCW2, p. 1-26 457.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Social Dynamics 100%
  • Collaborative Robots 100%
  • Cobot 100%
  • Production Cell 100%
  • Centering 100%
  7 Citations (Scopus)

  293 Downloads (Pure)

• Stateful to Stateless: Modelling Stateless Ethereum

  Johnson, S., Hyland-Wood, D., Madsen, A. L. & Mengersen, K., 21 Mar 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 355, p. 27-39 13 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Ethereum 100%
  • Stateful 100%
  • Expert Knowledge 20%
  • State Growth 11%
  • Bayesian Network Model 10%
  12 Downloads (Pure)

• Towards A Question Answering System over Temporal Knowledge Graph Embeddings

  Otte, K., Vestermark, K. S., Li, H. & Dell'Aglio, D., 2022, In: CEUR Workshop Proceedings. 3342

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  • question answering system 100%
  • Knowledge Graph Embedding 100%
  • Temporal Knowledge Graph 100%
  • Temporal Knowledge Graph Embedding 100%
  • Microservice 50%

• Understanding RDF Data Representations in Triplestores

  Lissandrini, M., Sagi, T., Pedersen, T. B. & Hose, K., 2022, In: CEUR Workshop Proceedings. 3194

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Data Representation 100%
  • Query Workload 33%
  • Access Pattern 16%
  • Data Indexing 16%
  • Design Solution 16%
  53 Downloads (Pure)

• Web of Things Semantic Interoperability in Smart Buildings

  Laadhar, A., Dongo, J., Enevoldsen, S., Revaz, F., Gabioud, D., Pedersen, T. B., Meyer, M., Nielsen, B. & Thomsen, C., 2022, In: Procedia Computer Science. 207, p. 997-1006 10 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Intelligent Buildings 100%
  • Internet of Things 100%
  • Gas Emission 100%
  • Greenhouse Gas 100%
  • Building Metadata 55%
  61 Downloads (Pure)

• Working with Bounded Collaboration: A Qualitative Study on How Collaboration is Co-Constructed around Collaborative Robots in Industry

  Cheon, E., Schneiders, E. & Skov, M. B., 11 Nov 2022, In: Proceedings of the ACM on Human-Computer Interaction. 6, CSCW2, p. 1-34 35 p., 369.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Robot 100%
  • Collaborative Space 11%
  • Case Study 11%
  • Semistructured Interview 11%
  • Job Identity 11%
  10 Citations (Scopus)

  356 Downloads (Pure)
• 2021

  A bayesian framework for large-scale identification of nonlinear hybrid systems

  Madary, A., Momeni, H. R., Abate, A. & Larsen, K. G., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 5, p. 259-264 6 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Bayesian Framework 100%
  • Data Point 100%
  • Scale Detection 100%
  • Data Assignment 50%
  • Feature Vector Selection 50%
  3 Citations (Scopus)

  51 Downloads (Pure)

• A Demonstration of ColChain: Collaborative Knowledge Chains

  Aebeloe, C., Montoya, G. & Hose, K., 2021, In: CEUR Workshop Proceedings. 2980, 5 p., 351.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Semantic Web 100%
  • Provider Data 100%
  • Friendly Interface 100%
  • Knowledge Chain 100%
  42 Downloads (Pure)

• A foundation for spatio-textual-temporal cube analytics

  Iqbal, M., Lissandrini, M. & Pedersen, T. B., 2021, In: CEUR Workshop Proceedings. 2840, p. 11-20 10 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Temporal Data 100%
  • Response Time 66%
  • Temporal Measures 66%
  • Data Model 33%
  • Full Materialization 33%
  48 Downloads (Pure)

• Analysis of Source Code Using UPPAAL

  Kulczynski, M., Legay, A., Nowotka, D. & Poulsen, D. B., 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 338, p. 31-38 8 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Source Codes 100%
  • Traditional Model 33%
  • Synthesis Algorithm 33%
  • Intermediate Language 33%
  • Model Checking 33%
  2 Citations (Scopus)

  61 Downloads (Pure)

• A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL.

  From, A. H., Schlichtkrull, A. & Villadsen, J., 2021, In: CEUR Workshop Proceedings. 3002, p. 107-121 7.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Sequent Calculus 100%
  • Completeness Proof 100%
  • Soundness 50%
  • Proof Technique 50%
  • Proof System 50%
  5 Citations (Scopus)

  50 Downloads (Pure)

• AutoCTS: Automated Correlated Time Series Forecasting

  Wu, X., Zhang, D., Guo, C., He, C., Yang, B. & Jensen, C. S., Dec 2021, In: Proceedings of the VLDB Endowment. 15, 4, p. 971-983

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Spatiotemporal 100%
  • Time Series Forecasting 100%
  • Correlated Time Series 100%
  • Search Space 100%
  • Forecasting Model 50%
  42 Citations (Scopus)

  423 Downloads (Pure)

• Chatbots for Experience Sampling-Initial Opportunities and Challenges

  Bemmanna, F., Schoedela, R., Berkel, N. V. & Buschek, D., 2021, In: CEUR Workshop Proceedings. 2903, 9 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Chatbot 100%
  • Use Case 16%
  • Chat 16%
  • Mobile Application 16%
  • Social Messaging Application 16%
  132 Downloads (Pure)

• Computing how-provenance for sparql queries via query rewriting

  Hernández, D., Galárraga, L. & Hose, K., 2021, In: Proceedings of the VLDB Endowment. 14, 13, p. 3389-3401 13 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Query Rewriting 100%
  • How Provenance 100%
  • Query Processing 50%
  • Annotation 50%
  • Synthetic Data 50%
  16 Citations (Scopus)

  167 Downloads (Pure)

• Online and Proactive Vehicle Rerouting with Uppaal Stratego

  Bilgram, A., Ernstsen, E., Greve, P., Lahrmann, H., Larsen, K. G., Muñiz, M., Taankvist, P. & Pedersen, T., 1 Nov 2021, In: Transportation Research Record. 2675, 11, p. 13-22

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Traffic Network 100%
  • Machine Learning 50%
  • Stochastic Optimization 50%
  • Traffic Light Controller 50%
  • Queue Time 50%
  5 Citations (Scopus)

• Results of the Ontology Alignment Evaluation Initiative 2021

  Pour, M. A. N., Algergawy, A., Amardeilh, F., Amini, R., Fallatah, O., Faria, D., Fundulaki, I., Harrow, I., Hertling, S., Hitzler, P., Huschka, M., Ibanescu, L., Jiḿenez-Ruiz, E., Karam, N., Laadhar, A., Lambrix, P., Li, H., Li, Y., Michel, F. & Nasr, E. & 12 others, Paulheim, H., Pesquita, C., Portisch, J., Roussey, C., Saveta, T., Shvaiko, P., Splendiani, A., Trojahn, Ć., Vatǎšcinova, J., Yaman, B., Zamaza, O. & Zhou, L., 2021, In: CEUR Workshop Proceedings. 3063, p. 62-108 47 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Ontology Alignment Evaluation Initiative 100%
  • Ontology Matching System 33%
  • Open Evaluation 33%
  13 Citations (Scopus)

• Speaknav: Voice-based route description language understanding for template-driven path search

  Zheng, B., Bi, L., Cao, J., Chai, H., Fang, J., Chen, L., Gao, Y., Zhou, X. & Jensen, C. S., 2021, In: Proceedings of the VLDB Endowment. 14, 12, p. 3056-3068 13 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Path Search 100%
  • Bidirectional Encoder Representations from Transformers 100%
  • Route Description 100%
  • Language Understanding 100%
  • Bidirectional Encoder Representations From Transformers 100%
  6 Citations (Scopus)

  92 Downloads (Pure)

• Tensor of Quantitative Equational Theories

  Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 2021, In: Leibniz International Proceedings in Informatics. 211, p. 7:1-7:17 17 p., 7.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Monads 100%
  • Markov Process 100%
  • Markov Decision Process 100%
  • Axiomatization 66%
  • Free Monad 66%
  4 Citations (Scopus)

  29 Downloads (Pure)

• Towards Crowd-aware Indoor Path Planning

  Liu, T., Li, H., Lu, H., Cheema, M. A. & Shou, L., 30 Apr 2021, In: Proceedings of the VLDB Endowment. 14, 8, p. 1365-1377 13 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Query Processing 100%
  • path-planning 100%
  • Crowd Modeling 100%
  • Indoor Path Planning 100%
  • Processing Algorithm 66%
  18 Citations (Scopus)

  35 Downloads (Pure)

• TrieDF: Efficient In-memory Indexing for Metadata-augmented RDF

  Pelgrin, O., Galárraga, L. & Hose, K., 2021, In: CEUR Workshop Proceedings. 3225, p. 20-29 10 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Annotation 100%
  • Main Memory 50%
  • Use Case 50%
  • Annotation Type 33%
  • Retrieval Time 33%
  1 Citation (Scopus)

  50 Downloads (Pure)
• 2020

  A faster-than relation for semi-Markov decision processes

  Pedersen, M. R., Bacci, G. & Larsen, K. G., 20 Jan 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 312, p. 29-42 14 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Markov Decision Process 100%
  • Timing Anomalies 100%
  • Stepwise Refinement 50%
  • Non-Functional Requirement 50%
  • Cyber Physical Systems 50%
  3 Citations (Scopus)

  86 Downloads (Pure)

• Anytime Stochastic Routing with Hybrid Learning

  Pedersen, S. A., Yang, B. & Jensen, C. S., 1 Sept 2020, In: Proceedings of the VLDB Endowment. 13, 9, p. 1555-1567 13 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Hybrid Method 100%
  • Hybrid Learning 100%
  • Stochastic Routing 100%
  • Travel Time Distribution 100%
  • Time Distribution 100%
  34 Citations (Scopus)

• Controlling Signalized Intersections using Machine Learning

  Eriksen, A. B., Lahrmann, H., Larsen, K. G. & Taankvist, J. H., 2020, In: Transportation Research Procedia. 48, p. 987-997 11 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Road 100%
  • Learning System 100%
  • Simulation Program 25%
  • Unnecessary Delay 14%
  • Direct Coordination 14%
  2 Citations (Scopus)

  124 Downloads (Pure)

• CrowdCog: A Cognitive Skill based System for Heterogeneous Task Assignment and Recommendation in Crowdsourcing

  Hettiachchi, D., Van Berkel, N., Kostakos, V. & Goncalves, J., 14 Oct 2020, In: Proceedings of the ACM on Human-Computer Interaction. 4, CSCW2, 110.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Task Recommendation 100%
  • Heterogeneous Task Assignment 100%
  • Cognitive Skill 100%
  • Assignment Recommendation 50%
  • Worker Performance 25%
  30 Citations (Scopus)

  250 Downloads (Pure)

• Eve2Sign: Creating signed networks of news events

  Chakraborty, R., Bhandari, S., Chakraborty, N. & Das, R., Apr 2020, In: CEUR Workshop Proceedings. 2593, p. 79-87 9 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Consumers 100%
  • User Preference 100%
  • User Stance 12%
  2 Citations (Scopus)

• Latte: Improving the Latency of Transiently Consistent Network Update Schedules

  Christensen, N., Glavind, M., Schmid, S. & Srba, J., 2020, In: ACM SIGMETRICS Performance Evaluation Review. 48, 3, p. 14-26 13 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Consistent Network 100%
  • Consistency Property 100%
  • Petri Net 100%
  • Colored Petri Net 100%
  • Concurrency 50%
  6 Citations (Scopus)

• Quantifying the Effect of Social Presence on Online Social Conformity

  Wijenayake, S., Van Berkel, N., Kostakos, V. & Goncalves, J., 28 May 2020, In: Proceedings of the ACM on Human-Computer Interaction. 4, CSCW1, 55.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Interactivity 100%
  • User Representation 33%
  • Conformity Rate 33%
  19 Citations (Scopus)

  515 Downloads (Pure)

• Quantitative Algebraic Reasoning: An overview

  Bacci, G., 27 Aug 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 322

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  • Open Problem 100%
  • Algebraic Property 100%
  • Extended Metric Space 100%
  • Concludes 100%
  • Review 100%

• Social Icebreakers Everywhere: A Day In The Life

  Mitchell, R., Encinas, E. & Kirman, B., 2020, In: Reports of the European Society for Socially Embedded Technologies. 4, 1

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  • Narrative 100%
  • Icebreaker 100%
  • Face-To-Face Interaction 100%
  • Social Interaction 50%
• 2019

  Comprehensive audience expansion based on end-To-end neural prediction

  Jiang, J., Lin, X., Yao, J. & Lu, H., 1 Jan 2019, In: CEUR Workshop Proceedings. 2410

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Feature Extraction 100%
  • Neural Prediction 100%
  • Audience Expansion 100%
  • Prediction Framework 50%
  • User Behavior 50%
  4 Citations (Scopus)

  453 Downloads (Pure)

• Efficient indexing of hashtags using bitmap indices

  Subba, L. T., Thomsen, C. & Pedersen, T. B., 20 Mar 2019, In: CEUR Workshop Proceedings. 2324, 10 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Bitmap Indexing 100%
  • Compression Algorithm 66%
  • Execution Time 33%
  • Data Warehouse 33%
  • Data-Stores 33%
  1462 Downloads (Pure)

• IHCS: An Integrated Hybrid Cleaning System

  Ge, C., Gao, Y., Miao, X., Chen, L., Jensen, C. S. & Zhu, Z., 2019, In: Proceedings of the VLDB Endowment. 12, 12, p. 1874-1877 4 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  • Data Cleaning 100%
  • Cleaning System 100%
  • Data Transmission 100%
  • Data Quality 100%
  • Multiple Errors 66%
  6 Citations (Scopus)

• Odin: A dataspace management system

  Nadal, S., Rabbani, K., Romero, O. & Tadesse, S., 2019, In: CEUR Workshop Proceedings. 2456, p. 185-188 4 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Data Source 100%
  • User Interaction 100%
  • Underlying Assumption 100%
  • for Loop 100%
  • System Management 100%
  7 Citations (Scopus)
• 2018

  Complete Axiomatization for the Total Variation Distance of Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Total Variation Distance 100%
  • Markov Chain 100%
  • Distributivity 50%
  • Representation Theorem 33%
  6 Citations (Scopus)

  197 Downloads (Pure)

• Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

  Coënt, A. L., Fribourg, L. & Vacher, J., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 16, p. 259-264 6 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Euler Method 100%
  • Stochastic Switched Systems 100%
  • One-sided Lipschitz Condition 50%
  1 Citation (Scopus)

• Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar

  Gundersen, T. R., Lorber, F., Nyman, U. & Ovesen, C., 7 Sept 2018, In: Electronic Proceedings in Theoretical Computer Science. 277, p. 147-160 14 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Real Time Systems 100%
  • Conformance Testing 100%
  • Fault Localization 100%
  • Conformance 100%
  • Model Checking 66%
  4 Citations (Scopus)

  315 Downloads (Pure)

• TRIPS: A System for Translating Raw Indoor Positioning Data into Visual Mobility Semantics

  Li, H., Lu, H., Shi, F., Chen, G., Chen, K. & Shou, L., 2018, In: Proceedings of the VLDB Endowment. 11, 12, p. 1918-1921

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Functional Component 100%
  • Space Information 16%
  10 Citations (Scopus)

  205 Downloads (Pure)
• 2017

  A delay-robust touristic plan recommendation using real-world public transportation information

  Ayala, V. A. A., Alzogbi, A., Gülsen, K. C., Färber, M., Muñiz, M. & Lausen, G., 1 Jan 2017, In: CEUR Workshop Proceedings. 1906, p. 9-17 9 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Public Transportation 100%
  • World Point 100%
  • Travel Plan 75%
  • Points of Interest 50%
  • Recommender Systems 25%
  6 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 journal › Conference article in Journal › Research

  Open Access
  33 Citations (Scopus)

• On the Metric-Based Approximate Minimization of Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  • Numerical Minimization 100%
  • Approximates 100%
  • Markov Chain 100%
  • Bilinear Programming 66%
  • Behavioural Metrics 33%
  8 Citations (Scopus)

• Optimering af signalstyring i realtid: Intelligent styring af signalregulerede kryds ved anvendelse af maskinlæring og objektdetektering

  Hansen, M. F., Eriksen, A. B., Taankvist, J. H., Larsen, K. G. & Lahrmann, H., 2017, In: Danish Journal of Transportation Research - Dansk tidskrift for transportforskning. 2017, 17 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File
  180 Downloads (Pure)

• Using Session Types for Reasoning About Boundedness in the Pi-Calculus

  Huttel, H., 2017, In: Electronic Proceedings in Theoretical Computer Science. 222, p. 67-82 15 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

• Using session types for reasoning about boundedness in the π-calculus

  Hüttel, H., 31 Aug 2017, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 255, p. 67-82 16 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File

  • Type Systems 100%
  • Reduction Sequence 100%
  • Session Types 100%
  • Decision Problem 50%
  • Bounded Processes 33%
  167 Downloads (Pure)
• 2016

  Formal modelling and analysis of Bitflips in ARM assembly code

  Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 Jun 2016, In: Information Systems Frontiers. 18, 5, p. 909–925 17 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review
  2 Citations (Scopus)

• Limit your consumption! Finding bounds in average-energy games

  Larsen, K. G., Laursen, S. & Zimmermann, M., 25 Oct 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 227, p. 1-14 14 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  • Energy Games 100%
  • Recharge 100%
  • Average Energy 100%
  • Exponential Time 100%
  • Energy Accumulation 75%
  6 Citations (Scopus)

• Modeling and Querying Spatial Data Warehouses on the Semantic Web

  Gur, N., Hose, K., Pedersen, T. B. & Zimanyi, E., 2016, In: Lecture Notes in Computer Science. 9544, p. 3-22 20 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review
  3 Citations (Scopus)

• Path cost distribution estimation using trajectory data

  Dai, J., Yang, B., Guo, C., Jensen, C. S. & Hu, J., 2016, In: Proceedings of the VLDB Endowment. 10, 3, p. 85-96 12 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File
  59 Citations (Scopus)

  555 Downloads (Pure)

• VIP-Tree: An Effective Index for Indoor Spatial Queries

  Shao, Z., Cheema, M. A., Taniar, D. & Lu, H., 2016, In: Proceedings of the VLDB Endowment. 10, 4, p. 325-336

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File
  27 Citations (Scopus)

  237 Downloads (Pure)

• Vita: A Versatile Toolkit for Generating Indoor Mobility Data for Real-World Buildings

  Li, H., Lu, H., Chen, X., Chen, G., Chen, K. & Shou, L., 2016, In: Proceedings of the VLDB Endowment. 9, 13, p. 1453-1456 4 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  Open Access

  File
  28 Citations (Scopus)

  224 Downloads (Pure)
• 2015

  Average-energy games

  Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 23 Sept 2015, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 193, p. 1-15 15 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Energy Games 100%
  • Average Energy 100%
  • Reactive System 100%
  • Performance Guarantee 100%
  • Storage Capacity 100%
  7 Citations (Scopus)