Jane Zhao - RankMe

17 papers Misc 3Journal 4Unranked 10

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