Unpublished (Preprints, Manuscripts, Pieces):

2008

Integrating schema integrating  frameworks (with Steve Easterbrook and Renee Miller). Technical Report CSRG-583, Department of Computer Science, University of Toronto, 2008  

Model transformation as view computation: An algebraic approach. Technical Report CSRG-582, Department of Computer Science, University of Toronto, 2008

Algebra of bidirectional model synchronization. Technical Report CSRG-573, Department of Computer Science, University of Toronto, 2008

2007
Mappings, Maps, Atlases and Tables: A Formal Semantics for Associations in UML2. Technical Report CSRG-566, Department of Computer Science, University of Toronto, 2008
2006

Metamodel-independent schema & Data Integration: Towards joining Syntax and Semantics in Generic Model Management. Technical Report 2006-522, School of Computing, Queen's University.

Model transformation via pull-backs: algebra vs. heuristics. Technical Report No.2006-521, School of Computing, Queen's University.

Scenario Integration via Higher-Order Graphs (together with Juergen Dingel and Hongzhi Liang). Technical Report  No.2006-517, School of Computing, Queen's University.

1996

Databases as diagram algebras: specifying queries and views via the graph-based logic of sketches. Research Report FIS/LDBD-96-02. Frame Inform System, Riga, Latvia
1994
Algebraizing institutions: Incorporating algebraci logic methodology into the institution framework for building specifications. Research Report FIS/DBDL-94-04.Frame Inform Systems, Riga, Latvia

 

[ Home | PublicationsUnpublished texts | Research interests | Research biography | Resume (pdf) ]