As a contributing author of the documents listed below, I have made them available electronically to ensure timely dissemination of scientific results on a non-commercial basis. All papers are subject to copyright by their respective publishers (Elsevier, IEEE, Idea Group and other publishers, see their websites for copyright restrictions and definitive published versions).
A list of publications in the reverse chronological order is here.The list sorted out by topics is below (only more representative texts are listed).
Generic model management, particularly, Data/schema/view integration
Semantic data modeling, Conceptual/business Modeling
Object-oriented visual modeling, Diagrammatic notations
Mathematics, Algebraic logic, Set theory
Model-driven engineering and mathematics: A new golden age? Invited talk at Department of Informatics, University of Bergen, 2006
Do model mappings really map? Invited talk at Model Fusion Workshop at CASCON-2006, Toronto, October 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, September 2006
A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering (with Juergen Dingel). In Proc. 3rd Int.Workshop on Metamodels, Schemas, Grammas and Ontologies for reverse engineering, ATEM-2006. Eds. J-M. Favre, D. Gasevic, R. Laemmel, A. Winter Presentation
Model transformation via pull-backs: algebra vs. heuristics Technical Report 2006-521, School of Computing, Queen's University, September 2006
Generic Model Management (Why, What and How, Mathematically) (jointly with Boris Kadish). In Encyclopedia of Database Technologies & Applications, Eds. L. Rivero, J.Doorn and V. Ferraggine, Idea Group Inc. 2005
Mathematics of generic specifications for model management, I & II. In Encyclopedia of Database Technologies & Applications, Eds. L. Rivero, J. Doorn and V. Ferraggine, Idea Group Inc., 2005
Abstract Metamodeling, I: How to reason about meta- and metamodeling in a formal way. In 8th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Eds. Ken Baclawski et al, College of Computer Science, Northeastern University, 1999, pp. 32-48
Humans, Computers, Specifications: The Arrow Logic of Information System Engineering (with Boris Kadish and Frank Piessens). J. of Computing Anticipatory Systems, 4:31-51, 1999 (ISBN 2-9600179-4-3), pp.31-51
The arrow logic of meta-specifications. In Seventh OOPSLA Workshop on behavioral semantics of business and system specifications, 1998
A graphical yet formalized framework for specifying view systems (with B. Kadish). In Advances in databases and information systems, 1st East-European Symposium,. St. Petersburg,Russia,1997 pp.123-132. ACM SIGMOD Digital Anthology: vol.2(5), ADBIS'97
Scenario Integration via Higher-Order Graphs (together with Juergen Dingel and Hongzhi Liang). School of Computing, Queen's University. Technical Report #2006-517
Mathematics of generic specifications for model management, I . In Encyclopedia of Database Technologies & Applications, Eds. L. Rivero, J. Doorn and V. Ferraggine, Idea Group Inc., 2005
Heterogeneous view integration via sketches and equations (with B. Cadish). In Foundations of Intelligent Systems, ISMIS'96, 9th Int. Symposium, Springer Lecture Notes in AI, #1079:603-612, 1996
Scenario Integration via Higher-Order Graphs (together with Juergen Dingel and Hongzhi Liang). School of Computing, Queen's University. Technical Report #2006-517. See here for presentation at Department of Informatics, University of Oslo, 2006
A Comparative Survey of Scenario-based to State-based Model Synthesis (together with Hongzhi Liang and Juergen Dingel). 5th Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), 2006.
Mathematics of UML: Making the Odysseys of UML less dramatic. Chapter 8 in Practical foundations of business system specifications, Eds. K. Baclawski and H. Kilov. Kluwer Academic Publishers, 2003 (ISBN 1-4020-1480-5) pp.145-178.
On mathematical foundations for business modeling. In TOOLS'37: 37th Int. Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, October 2000. IEEE Computer Society Press, 2000, pp. 182-187
Visualization vs. specification in diagrammatic notations: a case study with UML. Extended abstract. In Diagrammatic Representation and Inference. 2nd Int. Conf. on the theory and applications of diagrams, . Eds. M. Hegarty, B. Meyer, N. Hari Narayanan. Springer LNAI #2317, 2002, pp. 112-115. Full text is here .
Universal arrow foundations for visual modeling (together with Boris Kadish, Frank Piessens and Michael Johnson). In Diagrammatic Representation and Inference: 1st Int.Conf. on the Theory and Applications of Diagrams, Eds. M.Anderson, P.Cheng and V.Haarslev, Springer Lect.Nites in AI, vol.1889, pp.345-360
What vs. how of visual modeling: The arrow logic of graphic notations. (with Boris Kadish and Frank Piessens). Chapter 3 in Behavioral Specifications in Businesses and Systems. Eds. H. Kilov, B. Rumpe and I.Simmonds. Kluwer Academic Publishers, 1999 (ISBN 0-7923-8629-9) pp. 27-44
Scenario Integration via Higher-Order Graphs (together with Juergen Dingel and Hongzhi Liang). School of Computing, Queen's University. Technical Report #2006-517
Mappings, maps and tables: Towards formal semantics for associations in UML2 (with Juergen Dingel). In Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Models/UML-2006. Eds. Nierstrasz, O.; Whittle, J.; Harel, D.; Reggio, G. Springer, LNCS #4199, 2006, pp.230-244 [Presentation is here]
Package merge in UML 2: Practice vs. theory? (with Alanna Zito and Juergen Dingel). In Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Models/UML-2006. Eds. Nierstrasz, O.; Whittle, J.; Harel, D.; Reggio, G. Springer, LNCS #4199, 2006, pp.185-199
Mathematics of UML: Making the Odysseys of UML less dramatic. Chapter 8 in Practical foundations of business system specifications, Eds. K. Baclawski and H. Kilov. Kluwer Academic Publishers, 2003 (ISBN 1-4020-1480-5) pp.145-178.
Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering. (together with Uwe Wolter). To appear in Proc.ACCAT-2007
On modeling, mathematics, category theory and RM-ODP. In WOODPECKER'2001: 1st Int. Workshop On Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realization (in conjunction with ICEIS'2001), Setubal, Portugal, 2001. ICEIS Press, Portugal, 2001 (ISBN 972-98050-5-9), pp.38-54.
Universal arrow foundations for visual modeling (together with Boris Kadish, Frank Piessens and Michael Johnson). In Diagrammatic Representation and Inference: 1st Int.Conf. on the Theory and Applications of Diagrams, Eds. M.Anderson, P.Cheng and V.Haarslev, Springer Lect.Nites in AI, vol.1889, pp.345-360
The Arrow Manifesto: Towards software engineering based on comprehensible yet rigorous graphical specifications (with Boris Kadish and Frank Piessens). In 15th Int. Congress for Cybernetics, Namur, Belgium, August 1998
Generalized sketches as an algebraic graph-based framework for semantic modeling and database design.Research Report M-97, Faculty of Physics and Mathematics, University of Latvia, August 1997
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, 1996
Re: Is category theory to formal methods as calculus is to physics? Or to biology? Posting to a thread in Google's interests group on formal methods, 2001
The universe of mathematics. Proc. Latvian Acad. Sci., 52(2): 11-13, 1998
A unified functorial framework for propositional-like and equational-like logics. In 1st Int. Workshop on Abstract Algebraic Logic, WAAL'97, Centre de Recerca Matematica, Barcelona, Spain, 1997. Quaderns, 10:26-50, 1998
Abstract universal algebraic logic, I: A unified framework of structural hyperlogics for integrating the deductive and model-theoretical approaches. Proc. Latvian Acad. Sci., 50(1): 10-21, 1996
Abstract universal algebraic logic, II: Algebraizable logics and algebraic semantics (Galois connections, compactness, and constructivity). Proc. Latvian Acad. Sci., 50(1): 22-30, 1996
Towards algebraic graph-based model theory for computer science. In LogicColloquium-95. Abstract is published in Bull. Symbolic Logic, 3 (1):44-145, 1997
Algebraizing institutions: Incorporating algebraci logic methodology into the institution framework for building specifications. Research Report FIS/DBDL-94-04.Frame Inform Systems, Ltd.Riga, 1994
Lambda substitution algebras (with Ilya Beylin). In Mathematical Foundations of Computer Science. 18th Int. Symposium. Springer Lecture Notes in Comp. Sci., #711, 1993, pp.423-433
An approach to higher-order set theory (with Andrei Camyshev). Unpublished.
About ballet, soccer, OS Windows and the Mariinsky Theater (In Russian, together with Anna Roudnitskaya). Published in a Russian Detroit newspaper "Seven days" as an ad before the Mariinsky Theater's tour
[ Home | Publications/Research interests | Research biography | Resume (pdf) ]