Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • Modeling and Testing Legacy Data Consistency Requirements

    Translated title of the contribution: Modeling and Testing Legacy Data Consistency RequirementsNytun, J. P. & Jensen, C. S., 2003, Proceedings of the Sixth International Conference on the Unified Modeling Language, San Francisco, CA, USA, October 20-24.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    5 Citations (Scopus)

  • Modeling and Verifiying Parallel Processes

    Larsen, K. G., 2004, Proceedings of MOVEP 2004. Raskin, J-F. (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modeling concept drift: A probabilistic graphical model based approach

    Borchani, H., Martinez, A. M., Masegosa, A. R., Langseth, H., Nielsen, T. D., Salmerón, A., Fernández, A., Madsen, A. L. & Sáez, R., 2015, Advances in Intelligent Data Analysis XIV: 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings. Fromont, E., De Bie, T. & van Leeuwen, M. (eds.). Springer, p. 72-83 (Lecture Notes in Computer Science; No. 9385).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    17 Citations (Scopus)
    733 Downloads (Pure)

  • Modeling Geographic Data-Requirements and Research Issues

    Friis-Christensen, A., Tryfona, N. & Jensen, C. S., 2001, Proceedings of the Ninth ACM International Symposium on Advances in Geographic Information Systems, Atlanta, GA, USA, November 9-10, 2001. p. 2-8

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modeling Geographic Data Using UML

    Friis-Christensen, A., 2001, Proceedings of the 4th AGILE Conference on Geographic Information Science, Brno, Czech Republic, April 19-21, 2001. <Forlag uden navn>

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modeling Large Time Series for Efficient Approximate Query Processing

    Perera, K. S., Hahmann, M., Lehner, W., Pedersen, T. B. & Thomsen, C., 30 Jul 2015, Database Systems for Advanced Applications: DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers. Liu, A., Ishikawa, Y., Qian, T., Nutanong, S. & Cheema, M. A. (eds.). Springer, p. 190-204 15 p. (Lecture Notes in Computer Science; No. 9052).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)
    4 Downloads (Pure)

  • Modeling of Traffic-Aware Travel Time in Spatial Networks

    Shang, S., Lu, H., Pedersen, T. B. & Xie, X., 2013, The 14th IEEE International Conference on Mobile Data Management. IEEE, p. 247-250 4 p. (I E E E International Conference on Mobile Data Management. Proceedings, Vol. 1).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    30 Citations (Scopus)

  • Modeling Part-Whole Relationships for Spatial Data

    Price, R., Tryfona, N. & Jensen, C. S., 2000, ACM-GIS '00 : Proceedings of the 8th International Symposium on Advances in Geographic Information Systems, Washington, D. C., USA, November 2000. p. 1-8

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    7 Citations (Scopus)

  • Modeling perceived value of color in web sites

    Papachristos, E., Tselios, N. & Avouris, N., 2006, Advances in Artificial Intelligence - 4th Helenic Conference on AI, SETN 2006, Proceedings. Physica-Verlag, p. 567-570 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3955 LNAI).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Modeling Phenomena in Spatiotemporal Applications: Desiderata and Solutions

    Tryfona, N., 1998, Database and Expert Systems Applications : 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998 : Proceedings: Lecture Notes in Computer Science. Quirchmayr, G. : Schweighofer, E. : Bench-Capon, T. J. M. (eds.) (ed.). 1460 ed. IEEE Computer Society Press, p. 155-165

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    6 Citations (Scopus)

  • Modeling Topological Constraints in Spatial Part-Whole Relationships

    Price, R., Tryfona, N. & Jensen, C. S., 2001, Conceptual Modeling - ER 2001 : 20th International Conference on Conceptual Modeling Yokohama, Japan, November 27-30, 2001 : Proceedings: Lecture Notes in Computer Science. Kunii, H. : Jajodia, S. : Sølvberg, A. (eds.) (ed.). 2224 ed. IEEE Computer Society Press, p. 27-40

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    6 Citations (Scopus)

  • Modeling travel behavior similarity with trajectory embedding

    Yang, W., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 Jan 2018, Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Proceedings. Springer, p. 630-646 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10827 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Modelling and Analysing Overlay Networks by Ambients with Wormholes

    Hansen, R. R. & Probst, C. W., 2018, 2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018. IEEE Signal Processing Society, 8653596. (2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL

    Skou, A., Larsen, K. G. & Jensen, H. E., 1997, Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. American Mathematical Society, p. 33-50 18 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Modelling a Real-Time Language

    Hune, T., 2000, Proceedings of the 4th Workshop on Formal Methods for Industrial Systems, FMICS '99.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modelling Attack-defense Trees Using Timed Automata

    Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Poulsen, D. B., 2016, Formal Modeling and Analysis of Timed Systems. Springer, p. 35-50 (Lecture Notes in Computer Science, Vol. 9884).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    42 Citations (Scopus)

  • 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 proceeding › Article in proceeding › Research › peer-review

    15 Citations (Scopus)

  • Modelling Events in Object-Oriented Analysis

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1992, Report on Fifteenth Information Systems Research Seminar in Scandinavia. Bjerknes, G. et al. (ed.). Dept. of Informatics

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modelling Events in Object-Oriented Analysis

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1995, Proceedings of International Conference on Object-Oriented Information Systems, Athens, Greece, 1995.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modelling Events in Object-Oriented Analysis

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1994, Proceedings of the International Conference on Object-Oriented Information Systms. Patel, D. et al. (ed.) (ed.). IEEE Computer Society Press, p. 88-104

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Modelling of Context: Designing Mobile Systems from Domain-Dependent Models

    Nielsen, P. A. & Stage, J., 2009, Proceedings of 32nd Information Systems Research Seminar in Scandinavia: Inclusive Design. Molka-Danielsen, J. (ed.). TAPIR Akademisk Forlag, 18 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    434 Downloads (Pure)

  • Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 113-130 18 p. (Lecture Notes in Computer Science; No. 14290).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Modelling Socio-Technical Attacks with Timed Automata

    David, N., David, A., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Probst, C., 2015, Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats. Association for Computing Machinery, p. 21-28 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    14 Citations (Scopus)

  • Modelling Software Agents for Web Information Systems. European Conference on Information Systems ’99

    Skov, M. B., 1999, Doctoral Consortium at ECIS 99.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Model Verification Through Dependency Graphs

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 1-19 19 p. (Lecture Notes in Computer Science, Vol. 11636).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    2 Citations (Scopus)

  • Modularising inference in large causal probabilistic networks

    Olesen, K. G., Andreassen, S. & Suojanen, M., 2001, CAEPIA-TTIA 2001 : Proceedings of the Ninth Conference of the Spanish Association of Artificial Intelligence. Rionda, A. B. : Otero, R. P. (ed.). Oviedo University Press, p. 1075-1084

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • MOIR/uots: Trip recommendation with user oriented trajectory search

    Liu, K., Yang, B., Shang, S., Li, Y. & Ding, Z., 11 Sept 2013, Mobile Data Management (MDM), 2013 IEEE 14th International Conference on. IEEE Press, p. 335-337 3 p. 6569156. (I E E E International Conference on Mobile Data Management. Proceedings, Vol. 1).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    12 Citations (Scopus)

  • Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

    Bulychev, P., David, A., Larsen, K. G., Legay, A., Guangyuan, L., Poulsen, D. B. & Stainer, A., 2012, Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Berlin: Springer, Vol. 7180. p. 168-182 (Lecture Notes in Computer Science, Vol. 7180).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    33 Citations (Scopus)

  • Monitoring Children’s Physical Activity and Sleep: A Study of Surveillance and Information Disclosure

    Skare Jørgensen, M., Kastrup Nissen, F., Paay, J., Kjeldskov, J. & Skov, M., 2016, Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction. Association for Computing Machinery, 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    15 Citations (Scopus)

  • Monitoring Timed Properties (Revisited)

    Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., Aug 2022, Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Bogomolov, S. & Parker, D. (eds.). Springer, p. 43-62 20 p. (Lecture Notes in Computer Science, Vol. 13465).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols

    Delzanno, G., Esparza, J. & Srba, J., 2006, Automated Technology for Verification and Analysis: Proceedings of the 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. IEEE Computer Society Press, p. 415-429 15 p. (Lecture Notes in Computer Science; No. 4218).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Monte Carlo Tree Search for Priced Timed Automata

    Jensen, P. G., Kiviriga, A., Guldstrand Larsen, K., Nyman, U., Mijačika, A. & Høiriis Mortensen, J., 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 381-398 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13479 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    103 Downloads (Pure)

  • Moral Transparency as a Mitigator of Moral Bias in Conversational User Interfaces

    Wester, J., Lee, M. & van Berkel, N., 19 Jul 2023, Proceedings of the 5th International Conference on Conversational User Interfaces (CUI ’23). Lee, M., Munteanu, C., Porcheron, M., Trippas, J. & Völkel, S. T. (eds.). Association for Computing Machinery, 6 p. 12

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)

  • More Spooning in the Kitchen

    Paay, J., Kjeldskov, J., Skov, M. B. & O'Hara, K., 2012, Proceedings of the Food and Interaction Design Workshop, CHI 2012. Association for Computing Machinery, 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    138 Downloads (Pure)

  • Morpheus: Interactive Exploration of Subspace Clustering

    Müller, E., Assent, I., Krieger, R., Jansen, T. & Seidl, T., 2008, Proceeding of the 14th ACM SIGKDD international conference on Knowledge discovery and data mining. Association for Computing Machinery, p. 1089-1092 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    30 Citations (Scopus)

  • MOST: Mobile Broadband Network Optimization Using Planned Spatio-Temporal Events

    Samulevicius, S., Pedersen, T. B. & Sørensen, T. B., 1 May 2015, IEEE 81st Vehicular Technology Conference (VTC Spring), 2015. IEEE Press, 5 p. (I E E E V T S Vehicular Technology Conference. Proceedings, Vol. 81).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • Most Probable Densest Subgraphs

    Saha, A., Ke, X., Khan, A. & Long, C., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, p. 1447-1460 14 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Motivations and practices for cheating in Pokémon Go

    Paay, J., Kjeldskov, J., Iternicola, D. & Thomassen, M., 3 Sept 2018, MobileHCI 2018 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 13 p. a35

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    12 Citations (Scopus)

  • MOVE: A Mobile App Designed for Social Health Relations in Residential Areas

    Kanstrup, A. M., Bertelsen, P. S., Nunez, H. C., Jonasen, T. S. & Stage, J., 2018, Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth. Klein, G. O., Karlsson, D., Moen, A. & Ugon, A. (eds.). IOS Press, Vol. 247. p. 496-500 5 p. (Studies in Health Technology and Informatics).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

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

  • Movie Popularity Classification based on Inherent Movie Attributes using C4.5, PART and Correlation Coefficient

    Ibnal Asad, K., Ahmed, T. & Rahman, M. S., May 2012, Informatics, Electronics & Vision (ICIEV), 2012 International Conference on. IEEE, p. 747-752 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

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

  • Moving Beyond Weak Identifiers for Proxemic Interaction

    Sørensen, H. & Kjeldskov, J., 2013, Proceedings of the 11th International Conference on Advances in Mobile Computing & Multimedia (MoMM 2013). Mayrhofer, R., Chen, L., Steinbauer, M., Kotsis, G. & Khalil, I. (eds.). Association for Computing Machinery, p. 18-22 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    2 Citations (Scopus)
    238 Downloads (Pure)

  • Moving from Specifications to Contracts in Component-based Design

    Bauer, S., David, A., Hennicker, R., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Springer, Vol. 7212. p. 43-58 15 p. (Lecture Notes in Computer Science, Vol. 7212).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    78 Citations (Scopus)
    583 Downloads (Pure)

  • MPE inference in conditional linear gaussian networks

    Salmerón, A., Rumí, R., Langseth, H., Madsen, A. L. & Nielsen, T. D., 2015, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. Destercke, S. & Denoeux, T. (eds.). Springer, p. 407-416 (Lecture Notes in Computer Science; No. 9161).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    4 Citations (Scopus)
    514 Downloads (Pure)

  • MPLS-Kit: An MPLS Data Plane Toolkit

    Vanerio, J., Schmid, S., Schou, M. K. & Srba, J., 2022, 2022 IEEE 11th International Conference on Cloud Networking (CloudNet). Secci, S., Durairajan, R., Linguaglossa, L., Kamiyama, N., Nogueira, M. & Rovedakis, S. (eds.). IEEE, p. 49-54 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • MSDR: Multi-Step Dependency Relation Networks for Spatial Temporal Forecasting

    Liu, D., Wang, J., Shang, S. & Han, P., 14 Aug 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 1042-1050 9 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    45 Citations (Scopus)

  • 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 proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Multicapacity Facility Selection in Networks

    Logins, A., Karras, P. & Jensen, C. S., 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 794-805 12 p. 8731341. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Multi-Core Emptiness Checking of Timed Büchi Automata using Inclusion Abstraction

    Laarman, A., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Pol, J. V. D., 2013, Proceedings of the 25th International Conference on Computer Aided Verification (CAV). Springer Publishing Company, Vol. 8044. p. 968-983 16 p. (Lecture Notes in Computer Science, Vol. 8044).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    25 Citations (Scopus)
    591 Downloads (Pure)

  • Multi-core reachability for timed automata

    Dalsgaard, A. E., Laarman, A., Larsen, K. G., Olesen, M. C. & Van De Pol, J., 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Jurdzinski, M. & Nickovic, D. (eds.). Springer Publishing Company, p. 91-106 16 p. (Lecture Notes in Computer Science, Vol. 7595).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    13 Citations (Scopus)

  • Multi-Criteria Optimal Location Query with Overlapping Voronoi Diagrams

    Zhang, J., Ku, W-S., Sun, M-T., Qin, X. & Lu, H., 2014, Proc. 17th International Conference on Extending Database Technology (EDBT). p. 391-402 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)