Using Abstract State Machines for Distributed Data Warehouse Design. - Jane Zhao; Klaus-Dieter Schewe (APCCM, 2004)

Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. - Jane Zhao; Hui Ma 001 (QSIC, 2004)

Balancing Redundancy and Query Costs in Distributed Data Warehouses. - Klaus-Dieter Schewe; Jane Zhao (APCCM, 2005)

ASM Ground Model and Refinement for Data Warehouses. - Klaus-Dieter Schewe; Jane Zhao (Abstract State Machines, 2005)

Cost Optimisation for Distributed Data Warehouses. - Hui Ma 001; Klaus-Dieter Schewe; Jane Zhao (HICSS, 2005)

A Formal Approach to the Design of Distributed Data Warehouses. - Jane Zhao (ICCSA (2), 2005)

Designing Distributed Data Warehouses and OLAP Systems. - Jane Zhao (ISTA, 2005)

Quality Assurance in the Design of Web Information Systems. - Aleksander Binemann-Zdanowicz; Bernhard Thalheim; Klaus-Dieter Schewe; Jane Zhao (QSIC, 2005)

View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems. - Hui Ma 001; Klaus-Dieter Schewe; Bernhard Thalheim; Jane Zhao (J. Data Semant., 2005)

Refinements in Typed Abstract State Machines. - Sebastian Link; Klaus-Dieter Schewe; Jane Zhao (Ershov Memorial Conference, 2006)

View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. - Hui Ma 001; Klaus-Dieter Schewe; Jane Zhao (QSIC, 2006)

ASM-based design of data warehouses and on-line analytical processing systems. - Jane Zhao; Hui Ma 001 (J. Syst. Softw., 2006)

Dynamic Data Warehouse Design as a Refinement in ASM-based Approach. - Henning Köhler; Klaus-Dieter Schewe; Jane Zhao (APCCM, 2007)

Quality Assurance in Web Information Systems Development. - Klaus-Dieter Schewe; Jane Zhao; Bernhard Thalheim (QSIC, 2007)

Typed Abstract State Machines for data-intensive applications. - Klaus-Dieter Schewe; Jane Zhao (Knowl. Inf. Syst., 2008)

Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. - Markus Kirchberg; Klaus-Dieter Schewe; Jane Zhao (Rigorous Methods for Software Construction and Analysis, 2009)

Dynamic Data Warehouse Design with Abstract State Machines. - Jane Zhao; Klaus-Dieter Schewe; Henning Köhler (J. Univers. Comput. Sci., 2009)