1.
Joel Ouaknine: Publications
Proceedings of TACAS 08, LNCS 4963, 2008. A. S. Murawski and J. Ouaknine. On probabilistic program equivalence and refinement. Proceedings of CONCUR 05, ...
2.
Pushdown Automata and Game Semantics : Oxford University Computing ...
Pushdown Automata and Game Semantics: a research project carried out at Oxford University Computing Laboratory.
3.
Quantum Computer Science : Oxford University Computing Laboratory
Information about the Quantum Computer Science course at Oxford University Computing Laboratory.
4.
Foundational Structures and Methods for Quantum Informatics ...
Foundational Structures and Methods for Quantum Informatics: a research project carried out at Oxford University Computing Laboratory.
5.
Rapid Exploration of Unknown Areas Through Dynamic Deployment of ...
Rapid Exploration of Unknown Areas Through Dynamic Deployment of Mobile and Stationary Sensor Nodes. E. Ferranti, N. Trigoni and M. Levene ...
6.
Database Systems Implementation : Oxford University Computing ...
Information about the Database Systems Implementation course at Oxford University Computing Laboratory.
7.
XPath 1.0 Tutorial
File Format: PDF/Adobe Acrobat - View as HTML Example Break (1) - Testing Location Paths. We use: • a graphical test environment for XPath expressions, named XPath Tester. ...
8.
XPath 1.0 Tutorial
File Format: PDF/Adobe Acrobat - View as HTML XPath 1.0 Tutorial. 28th of May, 2002. Dan Olteanu .... extended set of aggregation functions (e.g. min, max, avg ...). ...
9.
XPath 1.0 Tutorial
File Format: PDF/Adobe Acrobat - View as HTML W3C XPath Recommendation: http://www.w3.org/TR/xpath. • XPath Tutorial from Zvon: http://www.zvon.org/xxl/XPathTutorial/General/examples.html. ...
10.
XSLT Tutorial
File Format: PDF/Adobe Acrobat - View as HTML PDF (paper-print), VoiceXML (aural presentations), SVG (graphics), ..... http://www-106.ibm.com/developerworks/education/xslt-xpath-tutorial.html ...