- Verification of safety properties for concurrent assembly code Dachuan Yu Zhong Shao Fri 02 March 2012
- On validation of XML streams using finite state machines Cristiana Chitic Daniela Rosu Fri 02 March 2012
- Functional pearl Conor McBride James McKinna Fri 02 March 2012
- Collecting interpretations of expressions Paul Hudak Jonathan Young Fri 02 March 2012
- Lower bounds for non-commutative computation Noam Nisan Fri 02 March 2012
- Compact oracles for reachability and approximate distances in planar digraphs Mikkel Thorup Fri 02 March 2012
- Slot games Dan R. Ghica Fri 02 March 2012
- A framework for numeric analysis of array operations Denis Gopan Thomas Reps Mooly Sagiv Fri 02 March 2012
- Optimal scheduling using priced timed automata Gerd Behrmann Kim G. Larsen Jacob I. Rasmussen Fri 02 March 2012
- Tree-walking automata do not recognize all regular languages Mikolaj Bojanczyk Thomas Colcombet Fri 02 March 2012
- Static approximation of dynamically generated Web pages Yasuhiko Minamide Fri 02 March 2012
- Check textquotesinglentextquotesingle crash Christoph Csallner Yannis Smaragdakis Fri 02 March 2012
- Complexity of (iterated) dominance Vincent Conitzer Tuomas Sandholm Fri 02 March 2012
- XML type checking with macro tree transducers S. Maneth A. Berlea T. Perst H. Seidl Fri 02 March 2012
- Toward an engineering discipline for grammarware Paul Klint Ralf Lämmel Chris Verhoef Fri 02 March 2012
- On the complexity of factoring bivariate supersparse (Lacunary) polynomials Erich Kaltofen Pascal Koiran Fri 02 March 2012
- Detecting and resolving semantic pathologies in UML sequence diagrams Paul Baker Paul Bristow Clive Jervis David King Robert Thomson Bill Mitchell Simon Burton Fri 02 March 2012
- CUTE Koushik Sen Darko Marinov Gul Agha Fri 02 March 2012
- Sparse polynomial arithmetic Stephen C. Johnson Fri 02 March 2012
- A theoretical basis for the reduction of polynomials to canonical forms B. Buchberger Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 08, 2026, 23:05:12,
Build Time: N/A
