Programming, Logic and Intelligent Systems

Research Output

Article in proceedings

An Ontology Based View on Prepositional Senses

Lassen, T., 2006, Proceedings of the Third ACL-SIGSEM Workshop on Prepositions. Association for Computational Linguistics, p. 45-50

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An RFID and particle filter-based indoor spatial query evaluation system

Yu, J., Ku, W-S., Sun, M-T. & Lu, H., 2013, Joint 2013 EDBT/ICDT Conferences, EDBT '13 Proceedings, Genoa, Italy, March 18-22, 2013. Guerrini, G. & Paton, N. W. (eds.). Association for Computing Machinery, p. 263-274 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Applying terminological methods and description logic for creating and implementing and ontology on inhibition

Zambach, S. & Madsen, B. N., 2009, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Dietz, J. L. G. (ed.). Institute for Systems and Technologies of Information, Control and Communication, p. 452-455 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Approaching the Chinese Word Segmentation Problem with CHR Grammars

Christiansen, H. & Li, B., 2011, 6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings. p. 21-31 (Datalogiske Skrifter; No. 134).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Gallagher, J. P. & Rosendahl, M., 2008, Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). Springer, Vol. 5330. p. 682-696 15 p. (Lecture Notes in Computer Science, Vol. 5330).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Seligman-Style Tableau System

Blackburn, P. R., Bolander, T., Braüner, T. & Jørgensen, K. F., 2013, Logic for Programming, Artificial Intelligence, and Reasoning. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Heidelberg: Springer Publishing Company, p. 147-163 16 p. (Lecture Notes in Computer Science, Vol. 8312).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Skylining Approach to Optimize Influence and Cost in Location Selection

Shi, J., Lu, H., Lu, J. & Liao, C., 2014, Database Systems for Advanced Applications - 19th International Conference, DASFAA 2014, Bali, Indonesia, April 21-24, 2014. Proceedings, Part II. Bhowmick, S. S., Dyreson, C. E., Jensen, C. S., Lee, M-L., Muliantara, A. & Thalheim, B. (eds.). Springer, Vol. 8422. p. 61-76 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Source-level Energy Optimization Framework for Mobile Applications

Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, p. 31-40 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Transformational Approach to Parametric Accumulated-Cost Static Profiling

Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (eds.). Cham: Springer, p. 163-180 (Lecture Notes in Computer Science, Vol. 9613).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

A unified model for stable and temporal topic detection from social media data

Yin, H., Cui, B., Lu, H., Huang, Y. & Yao, J., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 661-672 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Web-based Tool Combining Different Type Analyses

Henriksen, K. S. & Gallagher, J. P., 2006, WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. Vanhoof, W. & Hernández, S. (eds.). p. 118-129 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Biosequence Analysis in PRISM

Lassen, O. T., 2008, Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. Garcia de la Banda, M. & Pontelli, E. (eds.). Springer, Vol. 5366. p. 809-810 (Lecture Notes in Computer Science, Vol. 5366).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, p. 589-594 (IEEE RO-MAN proceedings; No. 2018).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Capturing hotspots for constrained indoor movement

Ahmed, T., Pedersen, T. B. & Lu, H., 2013, 21st SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2013, Orlando, FL, USA, November 5-8, 2013. Knoblock, C. A., Schneider, M., Kröger, P., Krumm, J. & Widmayer, P. (eds.). Association for Computing Machinery, p. 462-465 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

C-Cube: Elastic continuous clustering in the cloud

Zhang, Z., Shu, H., Chong, Z., Lu, H. & Yang, Y., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 577-588 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Cleansing indoor RFID data using regular expressions

Baba, A. I., Lu, H., Ku, W-S. & Pedersen, T. B., 2016, Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS 2016, Burlingame, California, USA, October 31 - November 3, 2016. Ravada, S., Ali, M. E., Newsam, S. D., Renz, M. & Trajcevski, G. (eds.). Association for Computing Machinery, p. 77:1-77:4

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Collaborative Spatial Data Sharing Among Mobile Lightweight Devices

Huang, Z., Jensen, C. S., Lu, H. & Ooi, B. C., 2007, Advances in Spatial and Temporal Databases, 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007, Proceedings. Papadias, D., Zhang, D. & Kollios, G. (eds.). Springer, Vol. 4605. p. 366-384 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Conceptual pathway querying of natural logic knowledge bases from text bases

Andreasen, T., Bulskov, H., Nilsson, J. F., Jensen, P. A. & Lassen, T., 2013, Flexible Query Answering Systems : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Vol. 8132. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Conceptual Summaries as Query Answers

Styltsvig, H. B., Andreasen, T. & Terney, T. V., 2007, North American Fuzzy Information Processing Society: NAFIPS '07. Annual Meeting of the24-27 June 2007. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 458-462

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 Jul 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2014, Logic-Based Program Synthesis and Transformation: Preliminary Proceedings of the 24th International Symposium, LOPSTR 2014 Canterbury (UK), September 9–11, 2014. Proietti, M. & Seki, H. (eds.). Istituto di Analisi dei Sistemi ed Informatica. Consiglio Nazionale delle Ricerche, p. 38-52 (Collana dei rapporti dell'Istituto di analisi dei sistemi ed informatica ).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H., 2015, Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Banda, G. & Gallagher, J. P., 30 Nov 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal,. Clarke, E. M. & Voronkov, A. (eds.). Springer, p. 27-45 19 p. (Lecture Notes in Computer Science, Vol. 6355).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Constraint Logic Programming for Resolution of Relative Time Expressions

Christiansen, H., 2014, Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Beckman, A., Csuhaj-Varjú, E. & Meer, K. (eds.). Springer VS, p. 93-102 (Lecture Notes in Computer Science, Vol. 8493).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Constraint Specialisation in Horn Clause Verification

Kafle, B. & Gallagher, J. P., 4 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Constructing indoor navigation systems from digital building information

Boysen, M., Haas, C. D., Lu, H., Xie, X. & Pilvinyte, A., 2014, IEEE 30th International Conference on Data Engineering, Chicago, ICDE 2014, IL, USA, March 31 - April 4, 2014. Cruz, I. F., Ferrari, E., Tao, Y., Bertino, E. & Trajcevski, G. (eds.). IEEE Computer Society Press, p. 1194-1197 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Continuous Skyline Monitoring over Distributed Data Streams

Lu, H., Zhou, Y. & Haustad, J., 2010, Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Gertz, M. & Ludäscher, B. (eds.). Springer, Vol. 6187. p. 565-583 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Control-flow analysis of function calls and returns by abstract interpretation

Midtgaard, J. & Jensen, T. P., 2009, Proceeding of the 14th ACM SIGPLAN international conference on Functional Programming: ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.. Association for Computing Machinery, p. 287-298

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

Kafle, B. & Gallagher, J. P., 2 Dec 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (eds.). EPTCS, Vol. 169. p. 53-67 15 p. 7

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Crowdsourcing Based Evaluation of Ranking Approaches for Spatial Keyword Querying

Chen, J., Lu, H., Keles, I. & Jensen, C. S., 2017, 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017. IEEE Computer Society Press, p. 62-71 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Decomposition by tree dimension in Horn clause verification

Kafle, B., Gallagher, J. P. & Ganty, P., 7 Dec 2015, Proceedings of the Third International Workshop on Verification and Program Transformation. Lisitsa, A., Nemytykh, A. P. & Pettorossi, A. (eds.). London: EPTCS, p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 199).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019, Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Cuzzocrea, A., Greco, S., Legind Larsen, H., Saccà, D., Andreasen, T. & Christiansen, H. (eds.). Cham: Springer, p. 231-241 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Discovering strong skyline points in high dimensional spaces

Zhang, Z., Guo, X., Lu, H., Tung, A. K. H. & Wang, N., 2005, Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005. Herzog, O., Schek, H-J., Fuhr, N., Chowdhury, A. & Teiken, W. (eds.). Association for Computing Machinery, p. 247-248 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Distributed, Concurrent Range Monitoring of Spatial-Network Constrained Mobile Objects

Lu, H., Huang, Z., Jensen, C. S. & Xu, L., 2007, Advances in Spatial and Temporal Databases, 10th International Symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007, Proceedings. Papadias, D., Zhang, D. & Kollios, G. (eds.). Springer, Vol. 4605. p. 403-422 20 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

E^2C^2: efficient and effective camera calibration in indoor environments

Li, H., Peng, P., Lu, H., Shou, L., Chen, K. & Chen, G., 2015, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp/ISWC Adjunct 2015, Osaka, Japan, September 7-11, 2015. Mase, K., Langheinrich, M., Gatica-Perez, D., Gellersen, H., Choudhury, T. & Yatani, K. (eds.). Association for Computing Machinery, p. 9-12 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Efficient distance-aware query evaluation on indoor moving objects

Xie, X., Lu, H. & Pedersen, T. B., 2013, 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013. Jensen, C. S., Jermaine, C. M. & Zhou, X. (eds.). IEEE Computer Society Press, p. 434-445 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Efficient Matching of Offers and Requests in Social-Aware Ridesharing

Fu, X., Zhang, C., Lu, H. & Xu, J., 2018, 19th IEEE International Conference on Mobile Data Management, MDM 2018, Aalborg, Denmark, June 25-28, 2018. IEEE Computer Society Press, p. 197-206 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Efficient Skyline Computation in MapReduce

Mullesgaard, K., Pederseny, J. L., Lu, H. & Zhou, Y., 2014, Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014. Amer-Yahia, S., Christophides, V., Kementsietsidis, A., Garofalakis, M. N., Idreos, S. & Leroy, V. (eds.). OpenProceedings.org, p. 37-48 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Henriksen, K. S., Banda, G. & Gallagher, J. P., 2007, WLPE 2007: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments. Hill, P. & Vanhoof, W. (eds.). University of Porto, p. 99-116 18 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Finding Dense Locations in Indoor Tracking Data

Ahmed, T., Pedersen, T. B. & Lu, H., 2014, IEEE 15th International Conference on Mobile Data Management, MDM 2014, Brisbane, Australia, July 14-18, 2014 - Volume 1. Zaslavsky, A. B., Chrysanthis, P. K., Becker, C., Indulska, J., Mokbel, M. F., Nicklas, D. & Chow, C-Y. (eds.). IEEE Computer Society Press, p. 189-194 6 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Finding Frequently Visited Indoor POIs Using Symbolic Indoor Tracking Data

Lu, H., Guo, C., Yang, B. & Jensen, C. S., 2016, Proceedings of the 19th International Conference on Extending Database Technology, EDBT 2016, Bordeaux, France, March 15-16, 2016, Bordeaux, France, March 15-16, 2016. Pitoura, E., Maabout, S., Koutrika, G., Marian, A., Tanca, L., Manolescu, I. & Stefanidis, K. (eds.). OpenProceedings.org, p. 449-460 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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

Jiang, J., Lu, H., Li, P., Pan, G. & Xie, X., 2017, 18th IEEE International Conference on Mobile Data Management, MDM 2017, Daejeon, South Korea, May 29 - June 1, 2017. IEEE Computer Society Press, p. 82-91 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Finding top-k local users in geo-tagged social media data

Jiang, J., Lu, H., Yang, B. & Cui, B., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. Gehrke, J., Lehner, W., Shim, K., Cha, S. K. & Lohman, G. M. (eds.). IEEE Computer Society Press, p. 267-278 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Finding Traffic-Aware Fastest Paths in Spatial Networks

Shang, S., Lu, H., Pedersen, T. B. & Xie, X., 2013, Advances in Spatial and Temporal Databases - 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings. Nascimento, M. A., Sellis, T. K., Cheng, R., Sander, J., Zheng, Y., Kriegel, H-P., Renz, M. & Sengstock, C. (eds.). Springer, Vol. 8098. p. 128-145 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fine-Grained Energy Modeling for the Source Code of a Mobile Application

Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (eds.). Association for Computing Machinery, p. 180-189

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

First-Order Hybrid Logic: Introduction and Survey

Braüner, T., 2011, Volume of abstracts: Non-classical Modal and Predicate Logics. Cintula, P., Ju, S. & Víta, M. (eds.). Prague: F solutions, p. 35-41

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Framework for Modelling Multiple Input Complex Aggregations for Interactive Installations

Padfield, N. & Andreasen, T., 23 Sep 2012, AMBIENT 2012, The Second International Conference on Ambient Computing, Applications, Services and Technologies. Weyn, M. & Lorenz, P. (eds.). ThinkMind, p. 79-85 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

From use cases to UML class diagrams using logic grammars and constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, International Conference: Recent Advances in Natural Language Processing: Proceedings. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 128-132

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Graph Model Based Indoor Tracking

Jensen, C. S., Lu, H. & Yang, B., 2009, MDM 2009, Tenth International Conference on Mobile Data Management, Taipei, Taiwan, 18-20 May 2009. Tseng, Y-C., Scheuermann, P., Güting, R. H., Lee, W-C., King, C-T. & Pitoura, E. (eds.). IEEE Computer Society Press, p. 122-131 10 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review