- Logics of public communications Jan Plaza Fri 02 March 2012
- The information in intuitionistic logic Johan van Benthem Fri 02 March 2012
- Sound black-box checking in the LearnLib Jeroen Meijer Jaco van de Pol Fri 02 March 2012
- Cyber-physical system security for networked industrial processes Shuang Huang Chun-Jie Zhou Shuang-Hua Yang Yuan-Qing Qin Fri 02 March 2012
- A Fast Approach to Creative Telescoping Christoph Koutschan Fri 02 March 2012
- Recycling Proof Patterns in Coq: Case Studies Jónathan Heras Ekaterina Komendantskaya Fri 02 March 2012
- On the model companion of partial differential fields with an automorphism Omar Léon Sánchez Fri 02 March 2012
- The wonderland of reflections Libor Barto Jakub Opršal Michael Pinsker Fri 02 March 2012
- Continuous optimal control approaches to microgrid energy management Benjamin Heymann J. Frédéric Bonnans Pierre Martinon Francisco J. Silva Fernando Lanas Guillermo Jiménez-Estévez Fri 02 March 2012
- Stochastic Games with Unbounded Payoffs: Applications to Robust Control in Economics Anna Jaśkiewicz Andrzej S. Nowak Fri 02 March 2012
- Torical modification of Newton non-degenerate ideals Fuensanta Aroca Mirna Gómez-Morales Khurram Shabbir Fri 02 March 2012
- Some results on analytic and meromorphic solutions of algebraic differential equations Steven B Bank Fri 02 March 2012
- Higher set theory and mathematical practice Harvey M. Friedman Fri 02 March 2012
- Consistency in networks of relations Alan K. Mackworth Fri 02 March 2012
- Circumscription-A form of non-monotonic reasoning John McCarthy Fri 02 March 2012
- An experimental program transformation and synthesis system John Darlington Fri 02 March 2012
- Generalization as search Tom M. Mitchell Fri 02 March 2012
- On global identifiability for arbitrary model parametrizations Lennart Ljung Torkel Glad Fri 02 March 2012
- A generalization of Parikhtextquotesingles semilinear theorem S.A. Greibach Fri 02 March 2012
- An asymptotic equivalent for the number of total preorders on a finite set J.P. Barthelemy Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
