Jane Zhao

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Jane Zhao, Klaus-Dieter Schewe, Henning Köhler
Dynamic Data Warehouse Design with Abstract State Machines. J. Univers. Comput. Sci. 15 (1) (2009)
Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. Rigorous Methods for Software Construction and Analysis (2009)
Klaus-Dieter Schewe, Jane Zhao
Typed Abstract State Machines for data-intensive applications. Knowl. Inf. Syst. 15 (3) (2008)
Henning Köhler, Klaus-Dieter Schewe, Jane Zhao
Dynamic Data Warehouse Design as a Refinement in ASM-based Approach. APCCM (2007)
Klaus-Dieter Schewe, Jane Zhao, Bernhard Thalheim
Quality Assurance in Web Information Systems Development. QSIC (2007)
Jane Zhao, Hui Ma
ASM-based design of data warehouses and on-line analytical processing systems. J. Syst. Softw. 79 (5) (2006)
Hui Ma, Klaus-Dieter Schewe, Jane Zhao
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. QSIC (2006)
Sebastian Link, Klaus-Dieter Schewe, Jane Zhao
Refinements in Typed Abstract State Machines. Ershov Memorial Conference (2006)
Jane Zhao
A Formal Approach to the Design of Distributed Data Warehouses. ICCSA (2) (2005)
Jane Zhao
Designing Distributed Data Warehouses and OLAP Systems. ISTA (2005)
Hui Ma, Klaus-Dieter Schewe, Jane Zhao
Cost Optimisation for Distributed Data Warehouses. HICSS (2005)
Klaus-Dieter Schewe, Jane Zhao
ASM Ground Model and Refinement for Data Warehouses. Abstract State Machines (2005)
Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao
Quality Assurance in the Design of Web Information Systems. QSIC (2005)
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Jane Zhao
View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems. J. Data Semant. (2005)
Klaus-Dieter Schewe, Jane Zhao
Balancing Redundancy and Query Costs in Distributed Data Warehouses. APCCM (2005)
Jane Zhao, Hui Ma
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines. QSIC (2004)
Jane Zhao, Klaus-Dieter Schewe
Using Abstract State Machines for Distributed Data Warehouse Design. APCCM (2004)