Algorithms for finding patterns in strings
Handbook of theoretical computer science (vol. A)
Foundations of programming languages
Foundations of programming languages
Type inference for queries on semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data on the Web: from relations to semistructured data and XML
Data on the Web: from relations to semistructured data and XML
Regular expression types for XML
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Time to Leave the Trees: From Syntactic to Conceptual Querying of XML
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
The Essence of XML (Preliminary Version)
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Semantic Data Modeling Using XML Schemas
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Typechecking for Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
A two phase optimization technique for XML queries with multiple regular path expressions
Journal of Systems and Software
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Science of Computer Programming
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
XML schema, tree logic and sheaves automata
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Web service composition based on message schema analysis
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Compatibility of XML language versions
SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management
Algebraic semantics of XML schema
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Hi-index | 0.00 |