LSV-2

Results: 45



#Item
11

Bounding the number of agents, for equivalence too ⋆ V´eronique Cortier1 , Antoine Dallon1,2 , and St´ephanie Delaune2 1 2

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2016-03-21 04:15:19
    12

    IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems ´ Etienne Andr´e1 , Laurent Fribourg2 , Ulrich K¨ uhne3 and Romain Soulat2

    Add to Reading List

    Source URL: www.lsv.ens-cachan.fr

    - Date: 2012-05-24 04:18:43
      13

      Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2014-02-28 18:10:36
        14

        Robustness in Timed Automata Patricia Bouyer1 , Nicolas Markey1 , and Ocan Sankur1,2 1 LSV – CNRS & ENS Cachan – France Universit´e Libre de Bruxelles – Belgium

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2013-09-06 05:42:30
          15

          Emptiness and Universality Problems in Timed Automata with Positive Frequency★ Nathalie Bertrand1 , Patricia Bouyer2 , Thomas Brihaye3 , and Am´elie Stainer1 1 2

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2011-05-03 05:01:55
            16Game theory / Finite model theory / Parity game / Determinacy / Retract / Strategy

            A Retraction Theorem for Distributed Synthesis Dietmar Berwanger1 , Anup Basil Mathew1,2 , and R. Ramanujam2 1 2 LSV, CNRS & Université Paris-Saclay, France

            Add to Reading List

            Source URL: www.lsv.fr

            Language: English - Date: 2016-04-22 17:31:27
            17

            BESCHLOSSENE ANTRÄGE DER 114. LDK DER LSV NRW 1. Satzungsändernde Anträge 2. Änderungen der Geschäftsordnung der Landesdelegiertenkonferenz 3. Änderungen des Grundsatzprogramms 4. Weitere Anträge 5. Resolutionen

            Add to Reading List

            Source URL: lsvnrw.de

            Language: German - Date: 2016-04-01 09:08:53
              18

              BESCHLOSSENE ANTRÄGE DER 115. LDK DER LSV NRW 1. Anträge auf Änderung des Frauenstatuts 2. Änderungen der Geschäftsordnung der Landesdelegiertenkonferenz 3. Änderungen des Grundsatzprogramms 4. Weitere Anträge 5.

              Add to Reading List

              Source URL: lsvnrw.de

              Language: German - Date: 2015-11-20 12:02:58
                19

                Epistemic Logic for the Applied Pi Calculus⋆ Rohit Chadha1 , St´ephanie Delaune2 , and Steve Kremer2 1 2 University of Illinois at Urbana-Champaign, USA

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                Language: English - Date: 2009-07-06 12:39:48
                  20

                  Verifying privacy-type properties of electronic voting protocols: a taster ⋆ St´ephanie Delaune1 , Steve Kremer1 , and Mark Ryan2 1 2

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  Language: English - Date: 2009-12-03 11:29:23
                    UPDATE