Paris-Saclay

Results: 166



#Item
1Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name

Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name

Add to Reading List

Source URL: ejcim2018.sciencesconf.org

Language: French - Date: 2018-04-03 08:40:55
    2V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

    V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

    Add to Reading List

    Source URL: mebsout.github.io

    Language: French - Date: 2017-07-21 11:03:15
      31 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay

      1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay

      Add to Reading List

      Source URL: cgi.csc.liv.ac.uk

      Language: French - Date: 2018-05-18 11:41:55
        4V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

        V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

        Add to Reading List

        Source URL: cubicle.lri.fr

        Language: French - Date: 2014-01-13 12:02:51
          5

          PDF Document

          Add to Reading List

          Source URL: ens-paris-saclay.fr

          - Date: 2017-07-13 12:36:03
            6

            PDF Document

            Add to Reading List

            Source URL: ens-paris-saclay.fr

            - Date: 2017-09-08 09:29:50
              7A pla&orm for decoding and recoding turbulence B. Podvin, L. Mathelin, C. Tenaud LIMSI, Université Paris-Saclay CDS Pitching Day, November 9th

              A pla&orm for decoding and recoding turbulence B. Podvin, L. Mathelin, C. Tenaud LIMSI, Université Paris-Saclay CDS Pitching Day, November 9th

              Add to Reading List

              Source URL: indico.lal.in2p3.fr

              Language: English
                8Unsupervised Event Clustering and Aggregation from Newswire and Web Articles Swen Ribeiro LIMSI, CNRS Univ. Paris-Sud Universit´e Paris-Saclay

                Unsupervised Event Clustering and Aggregation from Newswire and Web Articles Swen Ribeiro LIMSI, CNRS Univ. Paris-Sud Universit´e Paris-Saclay

                Add to Reading List

                Source URL: www.aclweb.org

                Language: English - Date: 2017-09-07 12:37:53
                  9Direction de la Scolarité et de la Vie Etudiante Courriel : Les inscriptions seront ouvertes à partir du jeudi 26 octobre 2017 : LUNDI : 9h à 12h et de 14h à 17h MARDI : 9h à 12h

                  Direction de la Scolarité et de la Vie Etudiante Courriel : Les inscriptions seront ouvertes à partir du jeudi 26 octobre 2017 : LUNDI : 9h à 12h et de 14h à 17h MARDI : 9h à 12h

                  Add to Reading List

                  Source URL: ens-paris-saclay.fr

                  - Date: 2017-10-30 12:08:00