Qing Wang
Email:
Office:Building 115, Room B245 (map)
Mail:Research School of Computer Science
RSISE Building 115
The Australian National University
Canberra, ACT 0200
Australia
Phone:+61 (0)2 6125 4625
Fax:+61 (0)2 6125 0010
Home | Publications | Teaching | Projects | Professional Activities | Resources for Students | About me

Selected Recent Work

  1. Data Analytics: From Conceptual Modelling to Logical Representation, Q. Wang and M. Liu, 35th International Conference on Conceptual Modelling (ER), 2016 (to appear).
  2. Rogas: A Declaratice Framework for Network Analysis, M. Liu and Q. Wang, 42nd International Conference on Very Large Data Bases (VLDB), 2016 (demo).
  3. A Complete Logic for Non-Deterministic Database Transformations, Q. Wang, F. Ferrarotti, K-D Schewe, and L. Tec, under review with Logic Journal of the IGPL.
  4. Serialisable Multi-Level Transaction Control: A Specification and Verification, E. Börger, K.-D. Schewe and Q. Wang, Science of Computer Programming (SCP), 2016.
  5. A Clustering-based Framework for Incrementally Repairing Entity Resolution, Q. Wang, J. Gao and P. Christen, PAKDD, 2016.
  6. Active Learning Based Entity Resolution Using Markov Logic, J. Fisher, P. Christen and Q. Wang, PAKDD, 2016.
  7. Semantic-Aware LSH Blocking for Entity Resolution, Q. Wang, M. Cui and H. Liang, IEEE Transactions on Knowledge and Data Engineering (TKDE), vol 28(1), 2016.
  8. Efficient Entity Resolution with Adaptive and Interactive Training Data Selection, P. Christen, D. Vatsalan and Q. Wang, ICDM 2015.
  9. A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis, F. Ferrarotti, K-D Schewe, L. Tec and Q. Wang, under review, 2015.
  10. A Conceptual Framework for Network Analytics, Q. Wang, Data and Knowledge Engineering, 2015.
  11. A Clustering-based Framework to Control Block Size for Entity Resolution, J. Fisher, P. Christen, Q. Wang and E. Rahm, KDD 2015 (well done Jeff!).
  12. Efficient Interactive Training Selection for Large-scale Entity Resolution, Q. Wang, D. Vatsalan and P. Christen, PAKDD 2015.
  13. Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality, Q. Wang, K.-D. Schewe and W. Wang, DASFAA 2015.
  14. Network Analytics ER Model -- Towards a Conceptual View of Network Analytics, Q. Wang, ER 2014 (Best Paper Award).
  15. A Theoretical Framework for Knowledge-based Entity Resolution K.-D. Schewe and Q. Wang, Theoretical Computer Science, 2014.

Publications

Books

  1. Logical Foundations of Database Transformations for Complex-Value Databases.
    ISBN 978-3-8325-2563-7, Logos Verlag Berlin, Germany, 2010.
    (Abstract)

Book Chapters

  1. Towards a Behavioural Theory for Random Parallel Computing, K.-D. Schewe, F. Ferrarotti, L. Tec and Q. Wang. Computational Models of Rationality, Festschrift dedicated to Gabriele Kern-Isberner, 2016.(PDF)
  2. What Constitutes a Service on the Web? - Towards a Theory of Services, K.-D. Schewe and Q. Wang.
    In B. Thalheim et al. (Eds.), Correct Software in Web Applications. Springer Texts and Monographs in Symbolic Computation, 2015.
    (PDF)
  3. Abstract State Machines for Data-Parallel Computing.
    In Conceptual Modelling and Its Theoretical Foundations. A. Dusterhoft et al. (Eds.), LNCS, vol. 7260, pp. 136-150, Springer, 2012.
    (PDF)

Refereed Journal Articles

  1. Serialisable Multi-Level Transaction Control: A Specification and Verification, E. Börger, K.-D. Schewe and Q. Wang.
    Science of Computer Programming (SCP), 2016.
    (PDF)
  2. Semantic-Aware LSH Blocking for Entity Resolution, Q. Wang, M. Cui and H. Liang.
    IEEE Transactions on Knowledge and Data Engineering (TKDE), vol 28(1), 2016.
    (PDF)
  3. A Conceptual Framework for Network Analytics, Q. Wang.
    Data and Knowledge Engineering (DKE), 2015.
    (PDF)
  4. A Theoretical Framework for Knowledge-based Entity Resolution (with K.-D. Schewe).
    Theoretical Computer Science (TCS), 2014.
    (PDF)
  5. Complete Conceptual Schema Algebras (with H. Ma, R. Noack, K.-D. Schewe and B. Thalheim).
    Fundamenta Informaticae (FI), vol. 123, 1-26, 2013.
    (PDF)
  6. Data Migration: A Theoretical Perspective (with B. Thalheim).
    Data and Knowledge Engineering (DKE), Engineering, vol. 87, 260-278, 2013.
    (PDF)
  7. Knowledge-Aware Identity Services (with K.-D. Schewe).
    Knowledge and Information Systems (KAIS), 2012.
    (PDF)
  8. A Formal Model for the Interoperability of Service Clouds (with H. Ma, K.-D. Schewe and B. Thalheim).
    Service Oriented Computing and Applications (SOCA), 2012.
    (PDF)
  9. Cloud Warehousing (with H. Ma, K.-D. Schewe and B. Thalheim).
    Journal of Universal Computer Science (JUCS), vol. 17(8), 1183-1201, 2011.
    (PDF)
  10. A Customised ASM Thesis for Database Transformations (with K.-D. Schewe).
    Acta Cybernetica, vol. 19(4), 765-805, 2010.
    (PDF)
  11. XML Database Transformations (with K.-D. Schewe).
    Journal of Universal Computer Science (JUCS), vol. 16(20), 3043-3072, 2010.
    (PDF)
  12. Customising Web Information Systems According to User Preferences (with K.-D. Schewe and B. Thalheim).
    World Wide Web (WWW), vol. 12(1), 27-50, 2009.
    (PDF)
  13. A Theory of Data-Intensive Software Services (with H. Ma, K.-D. Schewe and B. Thalheim).
    Service Oriented Computing and Applications (SOCA), vol. 3(4), 263-283, 2009.
    (PDF)
  14. Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States (with K.-D. Schewe and B. Thalheim).
    Journal of Universal Computer Science (JUCS), vol. 15(10), 2028-2057, 2009.
    (PDF)
  15. Distribution Design for Higher-Order Data Models (with H. Ma and K.-D. Schewe).
    Data and Knowledge Engineering (DKE), vol. 60(2): 400-434, 2007.
    (PDF)

Refereed Conference and Workshop Articles

  1. Data Analytics: From Conceptual Modelling to Logical Representation
    Q. Wang and M. Liu.
    35th International Conference on Conceptual Modelling (ER), 2016.
    (to appear)
  2. Rogas: A Declaratice Framework for Network Analysis
    M. Liu and Q. Wang.
    42nd International Conference on Very Large Data Bases (VLDB demonstration), 2016.
    (to appear)
  3. Active Learning Based Entity Resolution Using Markov Logic
    J. Fisher, P. Christen and Q. Wang.
    20th Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2016.
    PDF
  4. A Clustering-based Framework for Incrementally Repairing Entity Resolution
    Q. Wang, J. Gao and P. Christen.
    20th Pacific Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2016.
    PDF
  5. A Logic for Non-Deterministic Parallel Abstract State Machines
    F. Ferrarotti, K-D Schewe, L. Tec and Q. Wang.
    9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), 2016.
    PDF
  6. Semantic-Aware Blocking for Entity Resolution (Extended abstract)
    Q. Wang, M. Cui and H.Liang.
    32nd IEEE International Conference on Data Engineering (ICDE), 2016.
  7. Efficient Entity Resolution with Adaptive and Interactive Training Data Selection
    P. Christen, D. Vatsalan and Q. Wang.
    IEEE International Conference on Data Mining (ICDM), 2015.
    PDF
  8. A Clustering-based Framework to Control Block Size for Entity Resolution
    J. Fisher, P. Christen, Q. Wang and E. Rahm.
    Proceedings of the 21st ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2015.
    PDF
  9. Propagating Dependencies under Schema Mappings -- A Graph-based Approach
    Q. Wang and X. Wen
    Proceedings of the 19th International Database Engineering and Applications Symposium (IDEAS), 2015.
    PDF | Slides
  10. Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality
    Q. Wang, K.-D. Schewe and W. Wang
    Proceedings of the 20th International Conference on Database Systems for Advanced Applications (DASFAA), 2015.
    PDF | Slides
  11. Efficient Interactive Training Selection for Large-scale Entity Resolution
    Q. Wang, D. Vatsalan and P. Christen
    Proceedings of the 19th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2015.
    PDF | Slides
  12. Unsupervised Measuring of Entity Resolution Consistency
    J. Fisher and Q. Wang
    Data Integration and Applications workshop at ICDM 2015.
  13. Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid
    K.-D. Schewe, Q. Wang and M. Rady
    5th International Conference on Model & Data Engineering (MEDI), LNCS 9344, 2015.
    PDF
  14. Real-time Collaborative Filtering Recommender Systems
    H. Liang, H. Du and Q. Wang
    Proceedings of the 12nd Australasian Data Mining Conference (AusDM), published in Conferences in Research and Practice in Information Technology (CRPIT), 2014
    PDF | Slides
  15. Analytical ER Model:Towards a Conceptual View of Network Analysis
    Q. Wang
    Proceedings of the 33rd International Conference on Conceptual Modeling (ER), 2014.
    Abstract | PDF | Slides
  16. Entity Resolution with Weighted Constraints
    Z. Shen and Q. Wang
    Proceedings of the 18th East-European Conference on Advances in Databases and Information Systems (ADBIS), 2014.
    Abstract | PDF | Slides
  17. Data Cleaning and Matching of Institutions in Bibliographic Databases
    J. Fisher, Q. Wang, P. Wong and P. Christen
    Proceedings of the 11th Australasian Data Mining Conference (AusDM), published in Conferences in Research and Practice in Information Technology (CRPIT), 2013.
    PDF
  18. Preferential Refinements of Abstract State Machines for Service Mediators
    K.-D. Schewe and Q. Wang
    Proceedings of the 12th International Conference on Quality Software (QSIC), 2012.
    PDF
  19. A Simplified Parallel ASM Thesis
    K.-D. Schewe and Q. Wang
    Proceedings of the 3rd International Conference on Abstract State Machines, B and Z (ABZ), 2012.
    PDF
  20. On the Decidability and Complexity of Identity Knowledge Representation
    K.-D. Schewe and Q. Wang
    Proceedings of the 17th International Conference on Database Systems for Advanced Applications (DASFAA), LNCS, vol. 7238, pp. 288-302, Springer, 2012.
    PDF
  21. A Conceptual Justification for Model Transformations
    O. Sörensen, B. Thalheim and Q. Wang
    Proceedings of the 8th Asia-Pacific Conference on Conceptual Modelling (APCCM), CRPIT, vol. 130, pp. 43-50, 2012.
    PDF
  22. Synchronous Parallel Database Transformations
    K.-D. Schewe and Q. Wang
    Proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), LNCS, vol. 7153, pp. 371-384, Springer, 2012.
    PDF
  23. Towards a Theory of Refinement for Data Migration
    B. Thalheim and Q. Wang
    Proceedings of the 30th International Conference on Conceptual Modeling (ER), LNCS, vol. 6998, pp. 318-331, Springer, 2011 (Best Paper Award Runner-up).
    PDF
  24. A Proof System with Bounded Non-determinism in Database Transformations.
    Q. Wang
    Proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases (SDKB) in conjunction with ICALP 2010, LNCS, vol. 6834, pp. 115-134, Springer, 2011.
    PDF
  25. Partial Updates in Complex-Value Databases
    K.-D. Schewe and Q. Wang
    Frontiers in Artificial Intelligence and Applications: Information Modelling and Knowledge Bases XXII, vol. 225, pp. 37-56, Amsterdam, IOS Press, 2011.
    PDF
  26. A Formal Model for Service Mediators
    K.-D. Schewe and Q. Wang
    Advances in Conceptual Modeling Applications and Challenges: LNCS, vol. 6413, pp. 76-85, Springer, 2010.
    PDF
  27. Intelligent Author Identification
    Q. Wang and R. Noack
    Advances in Conceptual Modeling Applications and Challenges: LNCS, vol. 6413, pp. 96-106, Springer, 2010.
    PDF
  28. XIQL: A Fixed-Point Query Language for XML
    Q. Wang, K.-D. Schewe and B. Thalheim
    Frontiers in Artificial Intelligence and Applications: Information Modelling and Knowledge Bases XXI, vol. 206, pp. 226-246, Amsterdam, IOS Press, 2010.
    PDF
  29. A Service-oriented Approach to Web Warehousing
    H. Ma, K.-D. Schewe, B. Thalheim and Q. Wang
    Proceedings of the 11th International Conference on Information Integration and Webbased Applications & Services, pp. 94-101, ACM and Austrian Computer Society, 2009.
    PDF
  30. An Abstract Model for Service Provision, Search and Composition
    H. Ma, K.-D. Schewe and Q. Wang
    Proceedings of 2009 IEEE Asia-Paci c Services Computing Conference, pp. 95-102, 2009 (Best Paper Award).
    PDF
  31. XML Machines
    Q. Wang and F. A. Ferrarotti
    Advances in Conceptual Modeling - Challenging Perspectives: LNCS, vol. 5833, pp. 95-104, Springer, 2009.
    PDF
  32. Validation of Streaming XML Documents with Abstract State Machines
    K.-D. Schewe, B. Thalheim and Q. Wang
    Proceedings of the 10th International Conference on Information Integration and Webbased Applications & Services, pp.147-153, ACM and Austrian Computer Society, 2008.
    PDF
  33. Abstract State Services: A Theory of Web Services
    H. Ma, K.-D. Schewe, B. Thalheim and Q. Wang
    Advances in Conceptual Modeling - Challenges and Opportunities: Lecture Notes in Computer Science, vol. 5232, pp. 406-415, Springer, 2008.
    PDF
  34. XML Database Transformations with Tree Updates
    Q. Wang, K.-D. Schewe and B. Thalheim
    Proceedings of the 1st International Conference on Abstract State Machines, B and Z, LNCS, vol. 5238, pp. 342-342, Springer, 2008.
    PDF
  35. Towards a Logic for Abstract Meta-Finite State Machines
    Q. Wang and K.-D. Schewe
    Foundations of Information and Knowledge Systems: Lecture Notes in Computer Science, vol. 4932, pp. 365-380, Springer, 2008.
    PDF
  36. A Typed Higher-Order Calculus for Querying XML Databases
    Q. Wang and K.-D. Schewe
    Proceedings of the 19th Australasian Database Conference, CRPIT, vol. 75, pp. 103- 113, 2008.
    PDF
  37. Axiomatization of Database Transformations
    Q. Wang and K.-D. Schewe
    Proceedings of the 14th International Workshop on Abstract State Machines, Norway, 2007.
    PDF
  38. A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases
    H. Ma, K.-D. Schewe and Q. Wang
    Proceedings of the 18th Australasian Database Conference, CRPIT, vol. 63, pp. 103- 112, 2007.
    PDF
  39. A Heuristic Approach to Cost-Efficient Fragmentation and Allocation of Complex Value Databases
    H. Ma, K.-D. Schewe and Q. Wang
    Proceedings of the 17th Australasian Database Conference, CRPIT, vol. 49, pp. 183- 192, 2006.
    PDF

Others

  1. Conceptual Modelling with Specific Focus on Service-Oriented Systems (with F. Ferrarotti, G. Grossmann and K.-D. Schewe).
    Guest editors, Journal of Universal Computer Science Special Issue , vol 20(3), 2014.
    (PDF)
  2. Conceptual Modelling of Services (with H. Ma, K.-D. Schewe and B. Thalheim).
    Guest editors, Journal of Universal Computer Science Special Issue, vol 18(17), 2012.
    (PDF)
  3. Preface to CMS 2012 (with K.-D. Schewe).
    Advances in Conceptual Modeling - Challenges and Opportunities, Lecture Notes in Computer Science, vol. 7518, pp. 1-2, Workshop Proceedings of the 31st International Conference on Conceptual Modeling - ER 2012.
  4. Database Transformations with Functional Data (with K.-D. Schewe).
    Invited talk, 5th International Workshop on Semantics in Data and Knowledge Bases, Zurich, Switzerland, 2011.
  5. Conceptual Cloud Modelling (with H. Ma and K.-D. Schewe).
    Invited tutorial, 28th International Conference on Conceptual Modeling, Gramado, Brazil, 2009.
  6. Composing Personalised Services on top of Abstract State Services (with H. Ma, K.-D. Schewe and B. Thalheim).
    Technical Report, 0804/2008, Christian-Albrechts-University Kiel, Germany, 2008.