LIX

Results: 507



#Item
161

Abstract Modelling and Analysis of Large Biological Regulatory Networks ETH Zurich - BISON Seminar - 4th April 2012 Loïc Paulevé LIX, École Polytechnique, France

Add to Reading List

Source URL: loicpauleve.name

- Date: 2014-05-28 09:53:18
    162

    Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

    Add to Reading List

    Source URL: www.lix.polytechnique.fr

    - Date: 2013-05-22 10:58:51
      163

      A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2016-06-12 16:01:25
        164

        Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        - Date: 2015-10-19 12:38:16
          165

          Titre: Approximations intérieures et vérification de propriétés temporelles de systèmes hybrides Mots-clés: Méthodes formelles, analyse d’atteignabilité,

          Add to Reading List

          Source URL: www.lix.polytechnique.fr

          - Date: 2016-09-29 08:40:27
            166

            Formal Verification of Cryptography (I) -- Introduction to basic concepts in cryptography Yusuke Kawamoto INRIA Saclay & LIX, École Polytechnique, France In University of Tokyo

            Add to Reading List

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

            - Date: 2014-05-18 16:48:57
              167

              Proof Outlines as Proof Certificates: A System Description Roberto Blanco Dale Miller ´

              Add to Reading List

              Source URL: www.lix.polytechnique.fr

              - Date: 2015-11-01 15:57:58
                168

                Under consideration for publication in Math. Struct. in Comp. Science A System of Interaction and Structure V: The Exponentials and Splitting Alessio Guglielmi1† and Lutz Straßburger2‡ 1

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2010-12-07 09:58:41
                  169

                  A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us

                  Add to Reading List

                  Source URL: www.lix.polytechnique.fr

                  - Date: 2013-11-07 01:57:36
                    170

                    Introduction à la science informatique pour l’étude des systèmes dynamiques Loïc Paulevé École Polytechnique / LIX (équipe AMIB)

                    Add to Reading List

                    Source URL: loicpauleve.name

                    - Date: 2014-05-28 09:53:18
                      UPDATE