A Unied Approach for Studying Discrete and Continuous Dynamical Systems Oded Maler Verimag

Source URL: www-verimag.imag.fr

On-Line/O-Line Digital Signatures Shimon Eveny Oded Goldreichz Silvio Micalix

Source URL: www.wisdom.weizmann.ac.il

Stochastic Local Search for Falsification of Hybrid Systems? Jyotirmoy Deshmukh1 , Xiaoqing Jin1 , James Kapinski1 , Oded Maler2 1 Toyota Technical Center

Source URL: www-verimag.imag.fr

On Hybrid Control of Under-actuated Mechanical Systems? Eugene Asarin1 , Sorav Bansal2 , Bernard Espiau3 , Thao Dang1 , and Oded Maler1 1

Source URL: www.liafa.jussieu.fr

Modeling and Analysis of Switched Buffer Networks using Hybrid Automata Goran Frehse and Oded Maler Verimag, {goran.frehse,oded.maler}@imag.fr, WWW home page: http://www-verimag.imag.fr/~{frehse,maler} Abstract. In this

Source URL: www-verimag.imag.fr

Non-Black-Box Techniques in Cryptography Thesis for the Ph.D. Degree by Boaz Barak

Source URL: www.boazbarak.org

• Cryptography
• Public-key cryptography
• Zero-knowledge proof
• Oded Goldreich
• Black box
• Advantage
• Salil Vadhan
• Commitment scheme
• Oded
• Algorithm

Continuous Systems Verification Oded Maler CNRS - VERIMAG Grenoble, France Amir Pnueli Memorial Symposium 2010

Source URL: www-verimag.imag.fr

Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives Eugene Asarin y Oded Maler z November 10, 1994

Source URL: www-verimag.imag.fr

Colorful Strips Greg Aloupis1 , Jean Cardinal1 , S´ebastien Collette1? , Shinji Imahori2 , Matias Korman3 , Stefan Langerman1?? , Oded Schwartz4 , Shakhar Smorodinsky5 , and Perouz Taslakian1 1

Source URL: student.ulb.ac.be

As Soon as Possible: Time Optimal Control for Timed Automata? Eugene Asarin1 and Oded Maler2 1 Institute for Information Transmission Problems, 19 Bol. Karetnyi per

Source URL: www.liafa.jussieu.fr