- The price of query rewriting in ontology-based data access Georg Gottlob Stanislav Kikot Roman Kontchakov Vladimir Podolskii Thomas Schwentick Michael Zakharyaschev Fri 02 March 2012
- From model checking to equilibrium checking: Reactive modules for rational verification Julian Gutierrez Paul Harrenstein Michael Wooldridge Fri 02 March 2012
- Automated temporal equilibrium analysis: Verification and synthesis of multi-player games Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael Wooldridge Fri 02 March 2012
- Identification of piecewise affine systems via mixed-integer programming Jacob Roll Alberto Bemporad Lennart Ljung Fri 02 March 2012
- Robust model predictive control of constrained linear systems with bounded disturbances D.Q. Mayne M.M. Seron S.V. Raković Fri 02 March 2012
- Identification of piecewise affine systems based on statistical clustering technique Hayato Nakada Kiyotsugu Takaba Tohru Katayama Fri 02 March 2012
- Local stability analysis using simulations and sum-of-squares programming Ufuk Topcu Andrew Packard Peter Seiler Fri 02 March 2012
- Difference algebra and system identification Christian Lyzell Torkel Glad Martin Enqvist Lennart Ljung Fri 02 March 2012
- Reachability determination in acyclic Petri nets by cell enumeration approach Duan Li Xiaoling Sun Jianjun Gao Shenshen Gu Xiaojin Zheng Fri 02 March 2012
- Model predictive control: Recent developments and future promise David Q. Mayne Fri 02 March 2012
- Enclosing all zeros of an analytic function - A rigorous approach Tomas Johnson Warwick Tucker Fri 02 March 2012
- An algorithm for addressing the real interval eigenvalue problem Milan Hladík David Daney Elias P. Tsigaridas Fri 02 March 2012
- Modified error bounds for approximate solutions of dense linear systems Atsushi Minamihata Takeshi Ogita Siegfried M. Rump Shin'ichi Oishi Fri 02 March 2012
- Model checking and abstraction to the aid of parameterized systems (a survey) Lenore Zuck Amir Pnueli Fri 02 March 2012
- DAISY: A new software tool to test global identifiability of biological and physiological systems Giuseppina Bellu Maria Pia Saccomani Stefania Audoly Leontina D'Angi`o Fri 02 March 2012
- Influence of the finite precision on the simulations of discrete dynamical systems S.P. Dias L. Longa E. Curado Fri 02 March 2012
- On a class of O(n^2) problems in computational geometry Anka Gajentaan Mark H. Overmars Fri 02 March 2012
- On grids in topological graphs Eyal Ackerman Jacob Fox János Pach Andrew Suk Fri 02 March 2012
- FO model checking on geometric graphs Petr Hliněný Filip Pokrývka Bodhayan Roy Fri 02 March 2012
- Numerical analysis of continuous time Markov decision processes over finite horizons Peter Buchholz Ingo Schulz Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
