Search Results - Nebut, Mirabelle

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Efficient Algorithms on the Family Associated to an Implicational System

    Efficient Algorithms on the Family Associated to an Implicational System by Bertet, Karell, Nebut, Mirabelle

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Specification and analysis of synchronous reactions: Formal Aspects of Computing: Applicable Formal Methods

    Specification and analysis of synchronous reactions: Formal Aspects of Computing: Applicable Formal Methods by NEBUT, Mirabelle

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Specification and analysis of synchronous reactions

    Specification and analysis of synchronous reactions by Nebut, Mirabelle

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Efficient Algorithms on the Family Associated to an Implicational System

    Efficient Algorithms on the Family Associated to an Implicational System by Karell Bertet, Mirabelle Nebut

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Rule-based modeling of transcriptional attenuation at the tryptophan operon

    Rule-based modeling of transcriptional attenuation at the tryptophan operon by Kuttler, Celine, Lhoussaine, Cedric, Nebut, Mirabelle

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    An Overview of the Signal Clock Calculus

    An Overview of the Signal Clock Calculus by Nebut, Mirabelle

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    A Decidable Clock Language for Synchronous Specifications

    A Decidable Clock Language for Synchronous Specifications by Nebut, Mirabelle, Pinchinat, Sophie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Rule-based modeling of transcriptional attenuation at the tryptophan operon

    Rule-based modeling of transcriptional attenuation at the tryptophan operon by Kuttler, Céline, Lhoussaine, Cédric, Nebut, Mirabelle

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Supporting Generic Methodologies to Assist IMS-LD Modeling

    Supporting Generic Methodologies to Assist IMS-LD Modeling by Le Pallec, X., Filho, C.Od.M., Marvie, R., Nebut, M., Tarby, J.-C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: