Claudine Chaouiya

发表

Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2007, CMSB.

Logical modelling of the role of the Hh pathway in the patterning of the Drosophila wing disc

Denis Thieffry, Claudine Chaouiya, Aitor González, 2008, ECCB.

Logical modelling of regulatory networks with GINsim 2.3

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2009, Biosyst..

Quantification of reachable attractors in asynchronous discrete dynamics pdf

Claudine Chaouiya, Elisabeth Remy, Nuno D. Mendes, 2014, ArXiv.

Efficient Verification for Logical Models of Regulatory Networks

Claudine Chaouiya, Pedro T. Monteiro, C. Chaouiya, 2012, PACBB.

The Systems Biology Markup Language (SBML) Level 3 Package: Qualitative Models, Version 1, Release 1

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2015, J. Integr. Bioinform..

A Parallel Blackboard Model for Mobile Robotics control

Michel Occello, Claudine Chaouiya, M. C. Thomas, 1992 .

A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets

Claudine Chaouiya, Hanna Klaudel, Franck Pommereau, 2016, Modeling in Systems Biology, The Petri Net Approach.

Logical Modelling of Regulatory Networks, Methods and Applications

Claudine Chaouiya, Elisabeth Remy, É. Remy, 2013, Bulletin of Mathematical Biology.

Model checking to assess T-helper cell plasticity

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2014 .

Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids

Vasco M. Manquinho, Claudine Chaouiya, Inês Lynce, 2018, SASB.

Impact of changing cell-cell communication network in models of epithelial pattern formation

Claudine Chaouiya, Pedro T. Monteiro, Pedro L. Varela, 2019, IFAC-PapersOnLine.

Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

Denis Thieffry, Claudine Chaouiya, Elisabeth Remy, 2004, ICATPN.

The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2

Chris J. Myers, Claudine Chaouiya, Matthias König, 2018, J. Integr. Bioinform..

The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2018, bioRxiv.

Chronique : Réseaux de Petri et modélisation en biologie moléculaire

Claudine Chaouiya, Claudine Chaouiya, 2007, Tech. Sci. Informatiques.

Logical modelling and analysis of the budding yeast cell cycle

Denis Thieffry, Claudine Chaouiya, Andrea Ciliberto, 2007, BMC Bioinformatics.

Reversed dynamics to uncover basins of attraction of asynchronous logical models

Aurélien Naldi, Claudine Chaouiya, Elisabeth Remy, 2017 .

Modelling molecular networks: relationships between different formalisms and levels of details

Claudine Chaouiya, Laurence Calzone, Franck Pommereau, 2010 .

Model Checking to Assess T-Helper Cell Plasticity

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2014, bioRxiv.

Composition and abstraction of logical regulatory modules: application to multicellular systems

Claudine Chaouiya, Radu Mateescu, Frédéric Lang, 2013, Bioinform..

Cooperative development of logical modelling standards and tools with CoLoMoTo

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2014, bioRxiv.

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data

Laurent Trilling, Denis Thieffry, Claudine Chaouiya, 2012, IPCAT.

A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2009, CMSB.

The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2018 .

Dynamical modeling of biological regulatory networks.

Denis Thieffry, Claudine Chaouiya, Hidde de Jong, 2006, Bio Systems.

Logical Modeling and Dynamical Analysis of Cellular Networks

Denis Thieffry, Claudine Chaouiya, Julio Saez-Rodriguez, 2016, Front. Genet..

Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control

Aurélien Naldi, Claudine Chaouiya, Pedro T. Monteiro, 2012, CMSB.

A description of dynamical graphs associated to elementary regulatory circuits

Denis Thieffry, Claudine Chaouiya, Elisabeth Remy, 2003, ECCB.

Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2018, Front. Physiol..

Primary sex determination of placental mammals: a modelling study uncovers dynamical developmental constraints in the formation of Sertoli and granulosa cells

Claudine Chaouiya, Lucas Sánchez, L. Sánchez, 2016, BMC Systems Biology.

SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools

Steffen Klamt, Aurélien Naldi, Denis Thieffry, 2013, BMC Systems Biology.

Reduction of logical models of regulatory networks yields insight into dynamical properties

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2010, 2010 IEEE International Conference on Control Applications.

Relating Formalisms for the Qualitative Modelling of Regulatory Networks

Claudine Chaouiya, Beatriz Luna, C. Chaouiya, 2011, PACBB.

Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.Coli

Denis Thieffry, Claudine Chaouiya, Elisabeth Remy, 2005, ECCB/JBI.

Local negative circuits and cyclic attractors in Boolean networks with at most five components

Claudine Chaouiya, Etienne Farcot, Elisa Tonello, 2018, SIAM J. Appl. Dyn. Syst..

Qualitative Petri Net Modelling of Genetic Networks

Denis Thieffry, Claudine Chaouiya, Elisabeth Remy, 2006, Trans. Comp. Sys. Biology.

Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2006, ISMB.

A Discrete Model of Drosophila Eggshell Patterning Reveals Cell-Autonomous and Juxtacrine Effects

Claudine Chaouiya, Adrien Fauré, Barbara M. I. Vreede, 2014, PLoS Comput. Biol..

Dynamically consistent reduction of logical regulatory graphs

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2011, Theor. Comput. Sci..

Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance

Holger Fröhlich, Denis Thieffry, Claudine Chaouiya, 2009, BMC Systems Biology.

SBML Level 3 package: Qualitative Models, Version 1, Release 1

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2015, Journal of integrative bioinformatics.

Path2Models: large-scale generation of computational models from biochemical pathway maps

Andreas Zell, Claudine Chaouiya, Julio Saez-Rodriguez, 2013, BMC Systems Biology.

Petri net representation of multi-valued logical regulatory graphs

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2010, Natural Computing.

From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits

Denis Thieffry, Claudine Chaouiya, Elisabeth Remy, 2006, Trans. Comp. Sys. Biology.

The extended kanban control system for production coordination of assembly manufacturing systems

Claudine Chaouiya, Yves Dallery, George Liberopoulos, 2000 .

Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework

Denis Thieffry, Claudine Chaouiya, Elisabeth Remy, 2003, POSTA.

Model Checking Logical Regulatory Networks

Denis Thieffry, Claudine Chaouiya, Pedro T. Monteiro, 2014, WODES.

Discrete Modelling: Petri Net and Logical Approaches

Claudine Chaouiya, Ina Koch, I. Koch, 2010 .

Petri net modelling of biological regulatory networks

Denis Thieffry, Claudine Chaouiya, Elisabeth Remy, 2008, J. Discrete Algorithms.

Qualitative Modelling of the RB/E2F network

Claudine Chaouiya, Laurence Calzone, Elisabeth Remy, 2011 .

Cooperative development of logical modelling standards and tools with CoLoMoTo

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2014, bioRxiv.

EpiLog, a computationaltool for the logical modelling of epithelial pattern formation

Claudine Chaouiya, Pedro T. Monteiro, Pedro L. Varela, 2014 .

Estimating Attractor Reachability in Asynchronous Logical Models

Claudine Chaouiya, Elisabeth Remy, Rui Henriques, 2018, Front. Physiol..

Petri net modelling of biological networks

Claudine Chaouiya, C. Chaouiya, 2007, Briefings Bioinform..

Partial Order on the set of Boolean Regulatory Functions pdf

Claudine Chaouiya, José Eduardo Ribeiro Cury, Pedro T. Monteiro, 2019, ArXiv.

Petri nets for qualitative modelling of biological networks

Claudine Chaouiya, 2007 .

Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2010, PLoS Comput. Biol..

Setting the basis of best practices and standards for curation and annotation of logical models in biology - highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop

Aurélien Naldi, Denis Thieffry, Claudine Chaouiya, 2020, Briefings Bioinform..

SysMod: the ISCB community for data-driven computational modelling and multi-scale analysis of biological systems

Claudine Chaouiya, Julio Saez-Rodriguez, Anna Niarakis, 2021, Bioinform..

Petri net modelling of biological networks 211

Claudine Chaouiya, C. Chaouiya, 2007 .

From Gradients to Stripes: A Logical Analysis of Drosophila Segmentation Genetic Network

Denis Thieffry, Claudine Chaouiya, Lucas Sánchez, 2006 .

Majority Rules with Random Tie-Breaking in Boolean Gene Regulatory Networks

Claudine Chaouiya, R. Lima, C. Chaouiya, 2013, PloS one.

Bringing Dicynodonts Back to Life: Paleobiology and Anatomy of a New Emydopoid Genus from the Upper Permian of Mozambique

Claudine Chaouiya, Felix Beckmann, Fabian Wilde, 2013, PloS one.

SBML Level 3: an extensible format for the exchange and reuse of biological models

Hiroaki Kitano, Aurélien Naldi, Denis Thieffry, 2020, Molecular systems biology.

Modelling the onset of senescence at the G1/S cell cycle checkpoint

Claudine Chaouiya, C. Chaouiya, José CM Mombach, 2014, BMC Genomics.

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data

Laurent Trilling, Denis Thieffry, Claudine Chaouiya, 2012, International Conference on Information Processign in Cells and Tissues.

EpiLog: A software for the logical modelling of epithelial dynamics

Claudine Chaouiya, Pedro T. Monteiro, Pedro T Monteiro, 2018, F1000Research.