Jane Zhao

According to our database, Jane Zhao authored at least 17 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Dynamic Data Warehouse Design with Abstract State Machines.

Jane Zhao, Klaus-Dieter Schewe, Henning Köhler

J. Univers. Comput. Sci., 2009

Using Abstract State Machines for the Design of Multi-level Transaction Schedulers.

Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Typed Abstract State Machines for data-intensive applications.

Klaus-Dieter Schewe, Jane Zhao

Knowl. Inf. Syst., 2008

2007

Quality Assurance in Web Information Systems Development.

Klaus-Dieter Schewe, Jane Zhao, Bernhard Thalheim

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Dynamic Data Warehouse Design as a Refinement in ASM-based Approach.

Henning Köhler, Klaus-Dieter Schewe, Jane Zhao

Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

2006

ASM-based design of data warehouses and on-line analytical processing systems.

Jane Zhao, Hui Ma

J. Syst. Softw., 2006

View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement.

Hui Ma, Klaus-Dieter Schewe, Jane Zhao

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Refinements in Typed Abstract State Machines.

Sebastian Link, Klaus-Dieter Schewe, Jane Zhao

Proceedings of the Perspectives of Systems Informatics, 2006

2005

View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems.

Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Jane Zhao

J. Data Semant., 2005

Quality Assurance in the Design of Web Information Systems.

Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Designing Distributed Data Warehouses and OLAP Systems.

Jane Zhao

Proceedings of the Information Systems Technology and its Applications, 2005

A Formal Approach to the Design of Distributed Data Warehouses.

Jane Zhao

Proceedings of the Computational Science and Its Applications, 2005

Cost Optimisation for Distributed Data Warehouses.

Hui Ma, Klaus-Dieter Schewe, Jane Zhao

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

ASM Ground Model and Refinement for Data Warehouses.

Klaus-Dieter Schewe, Jane Zhao

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

Balancing Redundancy and Query Costs in Distributed Data Warehouses.

Klaus-Dieter Schewe, Jane Zhao

Proceedings of the Conceptual Modelling 2005, 2005

2004

Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines.

Jane Zhao, Hui Ma

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Using Abstract State Machines for Distributed Data Warehouse Design.

Jane Zhao, Klaus-Dieter Schewe

Proceedings of the Conceptual Modelling 2004, 2004