Publication
-
Accurate and efficient computation of steady water flow with surface waves and turbulence Tech Report
January 2007
-
Model Checking of Component Connectors In Proceedings
January 2007 -
Ta2 Software
January 2007 -
Cooperative scans: Dynamic bandwidth sharing in a DBMS In Proceedings
January 2007 -
XRPC: Interoperable and efficient distributed XQuery In Proceedings
January 2007 -
Computational Depth of Infinite Strings Revisited In Proceedings
January 2007 -
On geometric graph Ramsey numbers Article
Graphs and Combinatorics, 25(3), 351-363.January 2007
-
January 2007