 | 2008 |
|---|
| 15 |       | Klaus-Dieter Schewe,
Jane Zhao:
Typed Abstract State Machines for data-intensive applications.
Knowl. Inf. Syst. 15(3): 381-391 (2008) |
| 2007 |
|---|
| 14 | | Henning Köhler,
Klaus-Dieter Schewe,
Jane Zhao:
Dynamic Data Warehouse Design as a Refinement in ASM-based Approach.
APCCM 2007: 61-69 |
| 13 | | Klaus-Dieter Schewe,
Jane Zhao,
Bernhard Thalheim:
Quality Assurance in Web Information Systems Development.
QSIC 2007: 219-224 |
| 2006 |
|---|
| 12 | | Sebastian Link,
Klaus-Dieter Schewe,
Jane Zhao:
Refinements in Typed Abstract State Machines.
Ershov Memorial Conference 2006: 310-321 |
| 11 | | Hui Ma,
Klaus-Dieter Schewe,
Jane Zhao:
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement.
QSIC 2006: 175-184 |
| 10 | | Jane Zhao,
Hui Ma:
ASM-based design of data warehouses and on-line analytical processing systems.
Journal of Systems and Software 79(5): 613-629 (2006) |
| 2005 |
|---|
| 9 | | Klaus-Dieter Schewe,
Jane Zhao:
Balancing Redundancy and Query Costs in Distributed Data Warehouses.
APCCM 2005: 97-106 |
| 8 | | Klaus-Dieter Schewe,
Jane Zhao:
ASM Ground Model and Refinement for Data Warehouses.
Abstract State Machines 2005: 369-376 |
| 7 | | Hui Ma,
Klaus-Dieter Schewe,
Jane Zhao:
Cost Optimisation for Distributed Data Warehouses.
HICSS 2005 |
| 6 | | Jane Zhao:
A Formal Approach to the Design of Distributed Data Warehouses.
ICCSA (2) 2005: 1235-1244 |
| 5 |  | Jane Zhao:
Designing Distributed Data Warehouses and OLAP Systems.
ISTA 2005: 254-263 |
| 4 | | Aleksander Binemann-Zdanowicz,
Bernhard Thalheim,
Klaus-Dieter Schewe,
Jane Zhao:
Quality Assurance in the Design of Web Information Systems.
QSIC 2005: 91-98 |
| 3 | | Hui Ma,
Klaus-Dieter Schewe,
Bernhard Thalheim,
Jane Zhao:
View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems.
J. Data Semantics IV: 213-249 (2005) |
| 2004 |
|---|
| 2 | | Jane Zhao,
Klaus-Dieter Schewe:
Using Abstract State Machines for Distributed Data Warehouse Design.
APCCM 2004: 49-58 |
| 1 | | Jane Zhao,
Hui Ma:
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines.
QSIC 2004: 224-231 |
