Paul Ruet

Complexité

• Cyclic extensions of order varieties, Pierre Ille, Paul Ruet (Foundations of Informatics, Computing and Software, ENTCS 212: 119-132, 2008)

Modèles discrets de réseaux génétiques

• From multivalued to Boolean functions: preservation of soft nested canalization, Elisabeth Remy, Paul Ruet (arxiv:2305.13766, 2023)
• Average sensitivity of nested canalizing multivalued functions, Elisabeth Remy, Paul Ruet (Computational Methods in Systems Biology XXI, Springer LNCS 14137: 144-156, 2023)
• Negative local feedbacks in Boolean networks, Paul Ruet (Discrete Applied Mathematics 221: 1-17, 2017)
• Local cycles and dynamical properties of Boolean networks, Paul Ruet (Mathematical Structures in Computer Science 26(4): 702-718, 2016)
• Asynchronous Boolean networks and hereditarily bijective maps, Paul Ruet (Natural Computing 14(4): 545-553, 2015)
• Geometric characterization of hereditarily bijective Boolean networks, Paul Ruet (Asynchronous Cellular Automata and Asynchronous Discrete Models, Springer LNCS 8751: 536-545, 2014)
• From kernels in directed graphs to fixed points and negative cycles in Boolean networks, Adrien Richard, Paul Ruet (Discrete Applied Mathematics 161: 1106-1117, 2013)
• From minimal signed circuits to the dynamics of Boolean regulatory networks, Elisabeth Remy, Paul Ruet (Bioinformatics 24: i220-i226, 2008)
• Spatial differentiation and positive circuits in a discrete framework, Anne Crumière, Paul Ruet (Development of Computational Models, ENTCS 192: 85-100, 2008)
• Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework, Elisabeth Remy, Paul Ruet, Denis Thieffry (Advances in Applied Mathematics 41(3): 335-350, 2008)
• On differentiation and homeostatic behaviours of Boolean dynamical systems, Elisabeth Remy, Paul Ruet (BioConcur 2005, in Transactions on Computational Systems Biology VIII, Springer LNCS 4780: 92-101, 2007)
• Positive or negative regulatory circuit inference from multilevel dynamics, Elisabeth Remy, Paul Ruet, Denis Thieffry (Positive Systems: Theory and Applications, Springer LNCIS 341: 263-270, 2006)
• From logical regulatory graphs to standard Petri nets: dynamical roles and functionality of feedback circuits, Elisabeth Remy, Paul Ruet, Luis Mendoza, Denis Thieffry, Claudine Chaouiya (Transactions on Computational Systems Biology VII, Springer LNCS 4230: 56-72, 2006)
• Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets, Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry (Application and Theory of Petri Nets, Springer LNCS 3099: 137-156, 2004)

Théorie de la démonstration

• Non-commutative proof construction: a constraint-based approach, Jean-Marc Andreoli, Roberto Maieli, Paul Ruet (Annals of Pure and Applied Logic 142(1-3): 212-244, 2006)
• Permutative logic, Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet (Computer Science Logic, Springer LNCS 3634: 184-199, 2005)
• Linear logic in computer science, édité par Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Phil Scott (London Mathematical Society Lecture Note Series 316, Cambridge U. P., 2004)
• Non-commutative logic III: focusing proofs, Roberto Maieli, Paul Ruet (Information and Computation 185(2): 233-262, 2003)
• Entropic Hopf algebras and models of non-commutative logic, Rick Blute, François Lamarche, Paul Ruet (Theory and Applications of Categories 10(17): 424-460, 2002)
• Self-adjoint negation, Paul Ruet (Prépublication IML 2002-23, 2001)
• Linear concurrent constraint programming: operational and phase semantics, François Fages, Paul Ruet, Sylvain Soliman (Information and Computation 165(1): 14-41, 2001)
• Non-commutative logic II: sequent calculus and phase semantics, Paul Ruet (Mathematical Structures in Computer Science 10(2): 277-312, 2000)
• Non-commutative logic I: the multiplicative fragment, V. Michele Abrusci, Paul Ruet (Annals of Pure and Applied Logic 101(1): 29-64, 2000)
• Phase semantics and verification of concurrent constraint programs, François Fages, Paul Ruet, Sylvain Soliman (Logic in Computer Science, IEEE, 1998)
• Concurrent constraint programming and non-commutative logic, Paul Ruet, François Fages (Computer Science Logic 1997, Springer LNCS 1414: 406-423, 1998)
• Logique non-commutative et programmation concurrente par contraintes, Paul Ruet (Thèse de doctorat, Université Paris 7, LIENS-97-18, 1997)
• Non-commutative linear logic with mobilities, Paul Ruet (Bulletin of Symbolic Logic 3(2): 274-275, 1997)
• Combining explicit negation and negation by failure via Belnap's logic, Paul Ruet, François Fages (Theoretical Computer Science 171: 61-75, 1997)
• Logical semantics of concurrent constraint programming, Paul Ruet (Constraint Programming, Springer LNCS 1118: 397-409, 1996)