- Contraction methods for nonlinear systems: A brief introduction and some open problems Zahra Aminzare Eduardo D. Sontag Fri 02 March 2012
- Neural Programming: Towards adaptive control in Cyber-Physical Systems K. Selyunin D. Ratasich E. Bartocci M.A. Islam S.A. Smolka R. Grosu Fri 02 March 2012
- Reachset Model Predictive Control for Disturbed Nonlinear Systems Bastian Schurmann Niklas Kochdumper Matthias Althoff Fri 02 March 2012
- Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants Adrien Le Coent Laurent Fribourg Fri 02 March 2012
- Satisfiability Bounds for ømega-Regular Properties in Bounded-Parameter Markov Decision Processes Maximilian Weininger Tobias Meggendorfer Jan Kretinsky Fri 02 March 2012
- Nonlinear Systems Fault Diagnosis with Differential Elimination Zhang Jiafan Fri 02 March 2012
- Privacy and Utility in Business Processes Adam Barth John Mitchell Anupam Datta Sharada Sundaram Fri 02 March 2012
- Hyperproperties Michael R. Clarkson Fred B. Schneider Fri 02 March 2012
- Quantitative Information Flow - Verification Hardness and Possibilities Hirotoshi Yasuoka Tachio Terauchi Fri 02 March 2012
- Securing Concurrent Lazy Programs Against Information Leakage Marco Vassena Joachim Breitner Alejandro Russo Fri 02 March 2012
- Quantifying Information Flow in Interactive Systems David Mestel Fri 02 March 2012
- Controller Synthesis for Hyperproperties Borzoo Bonakdarpour Bernd Finkbeiner Fri 02 March 2012
- Offline dictionary-based compression N.J. Larsson A. Moffat Fri 02 March 2012
- Fitness-guided path exploration in dynamic symbolic execution Tao Xie Nikolai Tillmann Jonathan de Halleux Wolfram Schulte Fri 02 March 2012
- Generic construction of consensus algorithms for benign and Byzantine faults Olivier Rutti Zarko Milosevic Andre Schiper Fri 02 March 2012
- Computing reachable sets of linear vector fields revisited Ting Gan Mingshuai Chen Yangjia Li Bican Xia Naijun Zhan Fri 02 March 2012
- Road map representation of s-expanded symbolic network functions Marian Pierzchala Benedykt Rodanski Fri 02 March 2012
- A Case for Declarative Process Modelling: Agile Development of a Grant Application System Soren Debois Thomas Hildebrandt Tijs Slaats Morten Marquard Fri 02 March 2012
- Topological analysis of active networks containing pathological mirror elements Vladimir Filaretov Konstantin Gorshkov Fri 02 March 2012
- Synthesis of fixed-point programs Eva Darulova Viktor Kuncak Rupak Majumdar Indranil Saha Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
