Cachan

Results: 458



#Item
11

Event correlation with boxed pomsets Thomas Gazagnaire1 and Lo¨ıc H´elou¨et2 1 IRISA/ENS Cachan,Campus de Beaulieu, 35042 Rennes Cedex, France 2

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2016-01-30 18:26:49
    12

    Verifying Properties of Electronic Voting Protocols ∗ St´ephanie Delaune LSV, France T´el´ecom R&D ENS Cachan, CNRS, France

    Add to Reading List

    Source URL: www.cs.bham.ac.uk.

    Language: English - Date: 2009-02-25 10:33:24
      13

      Scenario realizability with constraint optimization? Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes,

      Add to Reading List

      Source URL: pagesperso.lina.univ-nantes.fr

      Language: English - Date: 2013-07-03 04:01:35
        14

        Jacques Lévy Né en 1952, Jacques Lévy est un géographe français, ancien élève de l’École normale supérieure de Cachan et professeur à l’École polytechnique fédérale de Lausanne (ÉPFL) depuisIl a

        Add to Reading List

        Source URL: www.fig.saint-die-des-vosges.fr

        Language: French - Date: 2018-06-11 05:05:49
          15

          Diagnosis in Infinite-State Probabilistic Systems Nathalie Bertrand1 , Serge Haddad2 , Engel Lefaucheux1,2 1 Inria Rennes, France 2 LSV, ENS Cachan & CNRS & Inria, France Infinity 2016, Singapore

          Add to Reading List

          Source URL: people.rennes.inria.fr

          Language: English - Date: 2016-08-29 09:23:20
            16

            TheToolkit for Building Your Own Balls-into-Bins Algorithm Pierre Bertrand ´ Ecole Normale Sup´erieure Cachan Abstract

            Add to Reading List

            Source URL: people.mpi-inf.mpg.de

            Language: English - Date: 2015-05-29 10:12:03
              17

              Diagnosis with Dynamic MSC Languages Benedikt Bollig1 and Stefan Haar and Lo¨ıc H´elou¨et2 1 LSV, ENS Cachan, CNRS, INRIA, France 2

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2015-02-28 19:54:45
                18

                Scenario realizability with constraint optimization Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes,

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2015-02-28 19:20:27
                  19

                  Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk

                  Language: English - Date: 2011-05-05 05:25:30
                    20

                    Pr´ecis de physique pour les nuls, `a l’attention des ´el`eves de MP. Antoine Delignat-Lavaud2 28 d´ecembreOu comment sauver les meubles une semaine avant les mines 2. ENS Cachan, mais sans physique aucune.

                    Add to Reading List

                    Source URL: antoine.delignat-lavaud.fr

                    Language: French - Date: 2009-02-14 20:43:55
                      UPDATE