| 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 | Publications | Unpublished texts | Research interests | Research biography | Resume (pdf) ] |