2008 |
15 | EE | Klaus-Dieter Schewe,
Jane Zhao:
Typed Abstract State Machines for data-intensive applications.
Knowl. Inf. Syst. 15(3): 381-391 (2008) |
2007 |
14 | EE | Henning Köhler,
Klaus-Dieter Schewe,
Jane Zhao:
Dynamic Data Warehouse Design as a Refinement in ASM-based Approach.
APCCM 2007: 61-69 |
13 | EE | Klaus-Dieter Schewe,
Jane Zhao,
Bernhard Thalheim:
Quality Assurance in Web Information Systems Development.
QSIC 2007: 219-224 |
2006 |
12 | EE | Sebastian Link,
Klaus-Dieter Schewe,
Jane Zhao:
Refinements in Typed Abstract State Machines.
Ershov Memorial Conference 2006: 310-321 |
11 | EE | 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 | EE | 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 | EE | Klaus-Dieter Schewe,
Jane Zhao:
Balancing Redundancy and Query Costs in Distributed Data Warehouses.
APCCM 2005: 97-106 |
8 | EE | Klaus-Dieter Schewe,
Jane Zhao:
ASM Ground Model and Refinement for Data Warehouses.
Abstract State Machines 2005: 369-376 |
7 | EE | Hui Ma,
Klaus-Dieter Schewe,
Jane Zhao:
Cost Optimisation for Distributed Data Warehouses.
HICSS 2005 |
6 | EE | 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 | EE | Aleksander Binemann-Zdanowicz,
Bernhard Thalheim,
Klaus-Dieter Schewe,
Jane Zhao:
Quality Assurance in the Design of Web Information Systems.
QSIC 2005: 91-98 |
3 | EE | 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 | EE | Jane Zhao,
Klaus-Dieter Schewe:
Using Abstract State Machines for Distributed Data Warehouse Design.
APCCM 2004: 49-58 |
1 | EE | Jane Zhao,
Hui Ma:
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines.
QSIC 2004: 224-231 |