Oded

Results: 300



#Item
41

Concepts in Programming Languages – Recitation 5: More (Untyped) Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto )

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2016-04-06 11:51:26
    42

    Online Timed Pattern Matching using Derivatives Dogan Ulus1 , Thomas Ferrère1 , Eugene Asarin2 , and Oded Maler1 1 V ERIMAG, Université Grenoble-Alpes/CNRS, France

    Add to Reading List

    Source URL: www-verimag.imag.fr

    - Date: 2016-01-08 10:07:58
      43

      Power Aware Combinational Synthesis HVC 2015 Jan L´an´ık∗ , Oded Maler∗ ∗ CNRS and The University of Grenoble

      Add to Reading List

      Source URL: www-verimag.imag.fr

      - Date: 2015-11-27 05:04:06
        44

        Concepts of Programming Languages – Recitation 1: Predictive Parsing Oded Padon Reference:

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2015-03-22 13:41:08
          45

          Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2016-03-22 14:28:09
            46

            Assertions and Measurements for Mixed-Signal Simulation PhD Thesis Thomas Ferr`ere VERIMAG, University of Grenoble (directeur: Oded Maler)

            Add to Reading List

            Source URL: www-verimag.imag.fr

            - Date: 2016-10-31 04:39:41
              47

              Concepts of Programming Languages – Recitation 3: More Natural Operational Semantics Oded Padon Reference:

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-04-01 08:57:39
                48

                On the (Im)possibility of Obfuscating Programs (Extended Abstract) Boaz Barak1 , Oded Goldreich1 , Rusell Impagliazzo2 , Steven Rudich3 , Amit Sahai4 , Salil Vadhan5 , and Ke Yang3 1

                Add to Reading List

                Source URL: www.iacr.org

                - Date: 2006-11-25 00:57:23
                  49Statistics / Mathematics / Academia / Oded Schramm / Institute of Mathematical Statistics / Bradley Efron / Peter Gavin Hall / Association for Women in Mathematics / Bin Yu / Statistical and Applied Mathematical Sciences Institute

                  Volume 41 • Issue 7 IMS  Bulletin October/November 2012

                  Add to Reading List

                  Source URL: bulletin.imstat.org

                  Language: English - Date: 2012-10-02 14:43:23
                  50Cryptography / Computational complexity theory / Pseudorandomness / Analysis of algorithms / Probabilistic complexity theory / Pseudorandom function family / Randomized algorithm / Random number generation / Pseudorandom number generator / One-way function / Advantage / IP

                  Hoti to Construct Random Functions ODED GOLDREICH, SHAFI AND SILVIO MICALI GOLDWASSER,

                  Add to Reading List

                  Source URL: groups.csail.mit.edu

                  Language: English - Date: 2003-04-15 15:57:50
                  UPDATE