- Wildness for tensors Vyacheslav Futorny Joshua A. Grochow Vladimir V. Sergeichuk Fri 02 March 2012
- A Petri net approach to the study of persistence in chemical reaction networks David Angeli Patrick De Leenheer Eduardo D. Sontag Fri 02 March 2012
- An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner Bases Nicolette Meshkat Marisa Eisenberg Joseph J. DiStefano Fri 02 March 2012
- Generalized admittance matrix models of OTRAs and COAs C. Sánchez-López F.V. Fernández E. Tlelo-Cuautle Fri 02 March 2012
- Understanding deadlock and livelock behaviors in Hybrid Control Systems Alessandro Abate Alessandro D'Innocenzo Maria Domenica Di Benedetto Shankar Sastry Fri 02 March 2012
- Reachability analysis of linear systems using support functions Colas Le Guernic Antoine Girard Fri 02 March 2012
- Exact solutions to linear programming problems David L. Applegate William Cook Sanjeeb Dash Daniel G. Espinoza Fri 02 March 2012
- Learning context-free grammars using tabular representations Yasubumi Sakakibara Fri 02 March 2012
- Operational versus weakest pre-expectation semantics for the probabilistic guarded command language Friedrich Gretz Joost-Pieter Katoen Annabelle McIver Fri 02 March 2012
- Multivariate Polynomial Multiplication on GPU Diana Andreea Popescu Rogelio Tomas Garcia Fri 02 March 2012
- Automatic software model checking via constraint logic Cormac Flanagan Fri 02 March 2012
- The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems Roberto Bagnara Patricia M. Hill Enea Zaffanella Fri 02 March 2012
- Proofs of randomized algorithms in Coq Philippe Audebaud Christine Paulin-Mohring Fri 02 March 2012
- Internal axioms for domain semirings Jules Desharnais Georg Struth Fri 02 March 2012
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces Werner Damm Henning Dierks Stefan Disch Willem Hagemann Florian Pigorsch Christoph Scholl Uwe Waldmann Boris Wirtz Fri 02 March 2012
- A linear type system for multicore programming in ATS Rui Shi Hongwei Xi Fri 02 March 2012
- Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider Yi Ling Hwong Jeroen J.A. Keiren Vincent J.J. Kusters Sander Leemans Tim A.C. Willemse Fri 02 March 2012
- Software verification with VeriFast: Industrial case studies Pieter Philippaerts Jan Tobias Mühlberg Willem Penninckx Jan Smans Bart Jacobs Frank Piessens Fri 02 March 2012
- Parse views with Boolean grammars Andrew Stevenson James R. Cordy Fri 02 March 2012
- Developing correct, distributed, adaptive software Mila Dalla Preda Maurizio Gabbrielli Saverio Giallorenzo Ivan Lanese Jacopo Mauro Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
