Oded

Results: 300



#Item
101

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

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2006-05-05 11:39:48
    102

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

    Add to Reading List

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

    Language: English - Date: 2014-06-22 06:26:22
      103

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

      Add to Reading List

      Source URL: www-verimag.imag.fr

      Language: English - Date: 2015-07-16 10:11:52
        104

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

        Add to Reading List

        Source URL: www.liafa.jussieu.fr

        Language: English - Date: 2003-09-04 08:34:47
          105

          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

          Add to Reading List

          Source URL: www-verimag.imag.fr

          Language: English - Date: 2006-10-23 11:29:24
            106Cryptography / Public-key cryptography / Zero-knowledge proof / Oded Goldreich / Black box / Advantage / Salil Vadhan / Commitment scheme / Oded / Algorithm

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

            Add to Reading List

            Source URL: www.boazbarak.org

            Language: English - Date: 2011-10-10 23:53:13
            107

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

            Add to Reading List

            Source URL: www-verimag.imag.fr

            Language: English - Date: 2010-06-15 03:33:23
              108

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

              Add to Reading List

              Source URL: www-verimag.imag.fr

              Language: English - Date: 2006-04-04 05:34:50
                109

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

                Add to Reading List

                Source URL: student.ulb.ac.be

                Language: English - Date: 2012-03-24 06:19:37
                  110

                  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

                  Add to Reading List

                  Source URL: www.liafa.jussieu.fr

                  Language: English - Date: 2003-09-04 08:34:47
                    UPDATE