Author of the publication

Verification Technology for Object-Oriented/XML Transactions.

, , and . ICOODB, volume 5936 of Lecture Notes in Computer Science, page 23-40. Springer, (2009)

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.

 

Other publications of authors with the same name

Program verification techniques for xml schema-based technologies., , and . ICSOFT (2), page 86-93. INSTICC Press, (2006)MAGUS: modelling access with GIS in urban systems., , , and . HCI, page 552-556. Lawrence Erlbaum, (2001)Verification Technology for Object-Oriented/XML Transactions., , and . ICOODB, volume 5936 of Lecture Notes in Computer Science, page 23-40. Springer, (2009)Interactive visualization of uncertain spatial and spatio-temporal data under different scenarios: an air quality example., , and . International Journal of Geographical Information Science, 21 (5): 515-527 (2007)A GIS-based urban simulation model for environmental health analysis., , and . Environmental Modelling and Software, (2014)Embedding human scheduling in a steel plant simulation.. Winter Simulation Conference, page 1959-1967. WSC, (2008)Reducing voltage rating and cost of vehicle power systems with a new transient voltage suppression technology., , , and . IEEE Trans. Vehicular Technology, 52 (6): 1652-1662 (2003)Algebraic specification techniques for parametric types with logic-based constraints., and . SAC, page 1890-1897. ACM, (2009)Decision tree and random forest models for outcome prediction in antibody incompatible kidney transplantation., , , , , and . Biomed. Signal Proc. and Control, (2019)Verification Theories for XML Schema., , and . BNCOD, volume 4042 of Lecture Notes in Computer Science, page 262-265. Springer, (2006)