- A textdollartextdollartextbackslashtau textdollartextdollar tau -Conjecture for Newton Polygons Pascal Koiran Natacha Portier Sébastien Tavenas Stéphan Thomassé Fri 02 March 2012
- Business process management as the textquotedblleftKiller Apptextquotedblright for Petri nets W. M. P. van der Aalst Fri 02 March 2012
- SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines Jianmei Guo Jia Hui Liang Kai Shi Dingyu Yang Jingsong Zhang Krzysztof Czarnecki Vijay Ganesh Huiqun Yu Fri 02 March 2012
- Symbolic analysis of analog circuits containing voltage mirrors and current mirrors E. Tlelo-Cuautle C. Sánchez-López E. Martínez-Romero Sheldon X.-D. Tan Fri 02 March 2012
- A survey on binary decision diagram approaches to symbolic analysis of analog integrated circuits Guoyong Shi Fri 02 March 2012
- The dark side of interval temporal logic: marking the undecidability border Davide Bresolin Dario Della Monica Valentin Goranko Angelo Montanari Guido Sciavicco Fri 02 March 2012
- Approximation and dependence via multiteam semantics Arnaud Durand Miika Hannula Juha Kontinen Arne Meier Jonni Virtema Fri 02 March 2012
- From informal to formal proofs in Euclidean geometry Sana Stojanović-DHurđević Fri 02 March 2012
- Improving parity games in practice Antonio Di Stasio Aniello Murano Vincenzo Prignano Loredana Sorrentino Fri 02 March 2012
- Deep Inference and Probabilistic Coherence Spaces Richard Blute Prakash Panangaden Sergey Slavnov Fri 02 March 2012
- Commutants for Enriched Algebraic Theories and Monads Rory B. B. Lucyshyn-Wright Fri 02 March 2012
- Distributive Laws via Admissibility Charles Walker Fri 02 March 2012
- The Vietoris Monad and Weak Distributive Laws Richard Garner Fri 02 March 2012
- The logarithmic norm. History and modern theory Gustaf Söderlind Fri 02 March 2012
- Language recognition by two-way deterministic pushdown automata L. P. Lisovik D. A. Koval' Fri 02 March 2012
- Grammar constraints Serdar Kadioglu Meinolf Sellmann Fri 02 March 2012
- The Free Will Theorem John Conway Simon Kochen Fri 02 March 2012
- Collecting Statistics Over Runtime Executions Bernd Finkbeiner Sriram Sankaranarayanan Henny B. Sipma Fri 02 March 2012
- Abstractions for hybrid systems Ashish Tiwari Fri 02 March 2012
- Constructing invariants for hybrid systems Sriram Sankaranarayanan Henny B. Sipma Zohar Manna Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
