Publications
- Denotational Semantics of the XML-Lambda Query Language2010 | Faculty of Mathematics and Physics
- On the Denotational Semantics of XML-Lambda2010 | Faculty of Mathematics and Physics
- Evaluation of XPath Fragments Using Lambda Calculi2008 | Faculty of Mathematics and Physics
- Can Software Engineers be Liberated from Petri Nets?Publication without faculty affiliation
- Storing XML Data - the ExDB and CellStore Way in the Context of Current Approaches2012 | Faculty of Mathematics and Physics
- Modeling and Evolution of XML schemas2012 | Faculty of Mathematics and Physics
- Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations2012 | Faculty of Mathematics and Physics
- Using OCL in Model Validation According to Stereotypes2012 | Faculty of Mathematics and Physics
- Validation of stereotypes' usage in UML class model by generated OCL constraints2012 | Faculty of Mathematics and Physics
- Open Design Architecture for Round Trip Engineering2011 | Faculty of Mathematics and Physics
Loading network view...