( en | de | ru )

 

Disambiguation of "Zhao, Jane"

Author of the publication

copydeleteadd this publication to your clipboard
Refinements in Typed Abstract State Machines

, , and . (2007)
DOI: 10.1007/978-3-540-70881-0_27

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhao Zhao

Jane Horn

Jane Zeferino

Jane Günzel

Jane Parker

 

Other publications of authors with the same name

ASM Ground Model and Refinement for Data Warehouses., and . Abstract State Machines, page 369-376. (2005)Refinements in Typed Abstract State Machines, , and . (2007)Typed Abstract State Machines for data-intensive applications, and . Knowledge and Information Systems, (2007)ASM-based design of data warehouses and on-line analytical processing systems., and . J. Syst. Softw., 79 (5): 613-629 (2006)A Formal Approach to the Design of Distributed Data Warehouses.. ICCSA (2), volume 3481 of Lecture Notes in Computer Science, page 1235-1244. Springer, (2005)Using Abstract State Machines for the Design of Multi-level Transaction Schedulers., , and . Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 65-77. Springer, (2009)Refinements in Typed Abstract State Machines., , and . Ershov Memorial Conference, volume 4378 of Lecture Notes in Computer Science, page 310-321. Springer, (2006)Designing Distributed Data Warehouses and OLAP Systems.. ISTA, volume P-63 of LNI, page 254-263. GI, (2005)Cost Optimisation for Distributed Data Warehouses., , and . HICSS, IEEE Computer Society, (2005)Quality Assurance in Web Information Systems Development., , and . QSIC, page 219-224. IEEE Computer Society, (2007)