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 | Research | Teaching | Projects and Supervision | Professional Activities | About me


Upcoming events

Selected talks

  1. Entity Resolution: A knowledge Reasoning Perspective.
    Department of Computer Science, University of Leipzig, Germany, May 29, 2013.
  2. Capturing Knowledge Patterns in Entity Resolution.
    Department of Informatics, Clausthal University of Technology, Germany, May 28, 2013.
  3. Reasoning about Dependencies in Schema Mappings.
    Dagstuhl Seminar, Schloss Dagstuhl, Germany, May 21, 2013.
  4. A Theoretical Framework for Knowledge-based Entity Resolution.
    Department of Computer Science, Johannes Kepler University Linz, Austria, May 16, 2013.
  5. Knowledge-Based Entity Resolution.
    Department of Computer Science, Tsinghua University, China, April 18, 2013.
  6. Database Abstract State Machines Capture Database Transformations.
    Department of Computer Science, University of Auckland, New Zealand, October 26, 2012.
  7. Database Abstract State Machines -- When Abstract State Machines meet Databases.
    Research School of Computer Science, The Australian National University, Australia, May 8, 2012.
  8. A Conceptual Justification for Model Transformations.
    8th Asia-Pacific Conference on Conceptual Modelling, Melbourne, Australia, February 1, 2012.
  9. A Theory of Database Transformations - Database Abstract State Machine Thesis and Beyond.
    The Australian National University, Australia, October 18, 2011
  10. Database Abstract State Machine Thesis.
    Department of Information Science, University of Otago, Dunedin, New Zealand, September 14, 2010.
  11. A Logic for Non-Deterministic Database Transformations.
    Institute of Information Systems, Vienna University of Technology, Vienna, Austria, July 22, 2010.
  12. Database Abstract State Machine Thesis.
    Software Competence Centre Hagenberg, Linz, Austria, July 21, 2010.
  13. A Proof System with Bounded Non-determinism in Database Transformations.
    4th International Workshop on Semantics in Data and Knowledge Systems, Bordeaux, France, July 5, 2010.
  14. A Logical Characterisation of Database Transformations.
    Information Systems Engineering, Computer Science Institute, Christian-Albrechts-University Kiel, Kiel, Germany, May 5, 2010.
  15. A Universal Algorithmic Model Capturing Database Transformations.
    Information Systems Engineering, Computer Science Institute, Christian-Albrechts-University Kiel, Kiel Germany, April 21, 2010.
  16. A Customised ASM Thesis for Database Transformations.
    Department of Informatics, Clausthal University of Technology, Clausthal-Zellefeld, Germany, April 14, 2010.
  17. Towards a Logic for Abstract Meta-Finite State Machines.
    5th International Symposium on Foundations of Information and Knowledge Systems, Pisa, Italy, February 13, 2008.
  18. Completeness of Database Transformations.
    Workshop of Logic, Abstract State Machines and Databases, Massey University, Palmerston North, New Zealand, November 3, 2007.
  19. Axiomatization of Database Transformations.
    14th International Workshop on Abstract State Machines, Grimstad, Norway, June 8, 2007.

Other activities

Workshop Chairs

Program Committee Members

Reviewers

Memberships