Oded

Results: 300



#Item
131

Efficient Robust Monitoring for STL Alexandre Donz´e1 , Thomas Ferr`ere2 , Oded Maler2 1 University of California, Berkeley, EECS dept, 2

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2013-04-30 05:15:20
    132

    Hybrid Systems and Real-World Computations Oded Maler? Verimag

    Add to Reading List

    Source URL: www-verimag.imag.fr

    Language: English - Date: 2006-05-04 13:36:53
      133

      Foothill-De Anza Community College District Office of Institutional Research and Planning To: Campus Equity Survey Taskforce From: Mallory Newell, Interim Executive Director, FHDA Research and Planning Oded Gurantz, Rese

      Add to Reading List

      Source URL: research.fhda.edu

      Language: English - Date: 2015-06-25 19:38:53
        134

        The List-Decoding Size of Fourier-Sparse Boolean Functions∗ Ishay Haviv† Oded Regev‡

        Add to Reading List

        Source URL: www2.mta.ac.il

        Language: English - Date: 2015-12-04 09:46:53
          135

          AMT: a Property-based Monitoring Tool for Analog Systems⋆ Dejan Nickovic1 and Oded Maler1 Verimag, 2 Av. de Vignate, 38610 Gi`eres, France [Dejan.Nickovic | Oded.Maler]@imag.fr

          Add to Reading List

          Source URL: www-verimag.imag.fr

          Language: English - Date: 2007-07-16 13:29:46
            136

            Bounds on Tradeo s between Randomness and Communication Complexity Ran Canetti Oded Goldreichy August 6, 1990

            Add to Reading List

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

            Language: English
              137

              Tel Aviv University, Fall 2004 Lecture 2 Lecturer: Oded Regev Lattices in Computer Science LLL Algorithm Scribe: Eyal Kaplan

              Add to Reading List

              Source URL: www.cims.nyu.edu

              Language: English - Date: 2013-02-05 12:29:34
                138

                Guest Editorial: Verication of Hybrid Systems Oded Maler CNRS-Verimag Centre Equation

                Add to Reading List

                Source URL: www-verimag.imag.fr

                Language: English - Date: 2006-04-28 11:51:19
                  139

                  How to write a paper Oded Goldreich∗ Marchlast revised November 8, 2015) Abstract The purpose of this essay is to make some self-evident (yet often ignored) remarks about how

                  Add to Reading List

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

                  Language: English
                    140

                    From Timed to Hybrid Systems Oded Maler inria/irisay Zohar Manna

                    Add to Reading List

                    Source URL: www-verimag.imag.fr

                    Language: English - Date: 2006-04-28 14:47:12
                      UPDATE