P. Ruet

发表

From elementary signed circuits to the dynamics of Boolean regulatory networks

É. Remy, P. Ruet, 2008 .

1 A topological correctness criterion for multiplicative non-commutative logic

J. Girard, P. Scott, Paul-André Melliès, 2016 .

Categorical semantics of non-commutative logic

P. Ruet, 1999 .

Phase Semantics for Mixed Non-Commutative Classical Linear Logic

P. Ruet, 1997 .

Average sensitivity of nested canalizing multivalued functions

P. Ruet, 'Elisabeth Remy, 2022, 2211.14649.

Asynchronous Boolean networks and hereditarily bijective maps

P. Ruet, 2015, Natural Computing.

Spatial Differentiation and Positive Circuits in a Discrete Framework

Paul Ruet, Anne Crumière, P. Ruet, 2008, DCM@ICALP.

Combining Explicit Negation and Negation by Failure Via Belnap's Logic

François Fages, Paul Ruet, F. Fages, 1997, Theor. Comput. Sci..

Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework

Denis Thieffry, Paul Ruet, Elisabeth Remy, 2008, Adv. Appl. Math..

From minimal signed circuits to the dynamics of Boolean regulatory networks

Elisabeth Remy, Paul Ruet, É. Remy, 2008, ECCB.

Negative local feedbacks in Boolean networks pdf

Paul Ruet, P. Ruet, 2015, Discret. Appl. Math..

Cyclic Extensions of Order Varieties

Pierre Ille, Paul Ruet, P. Ille, 2008, FICS.

Non-commutative proof construction: A constraint-based approach

Jean-Marc Andreoli, Paul Ruet, Roberto Maieli, 2006, Ann. Pure Appl. Log..

Permutative Logic

Jean-Marc Andreoli, Paul Ruet, Gabriele Pulcini, 2005, CSL.

Local cycles and dynamical properties of Boolean networks

Paul Ruet, P. Ruet, 2014, Mathematical Structures in Computer Science.

Geometric Characterization of Hereditarily Bijective Boolean Networks

Paul Ruet, P. Ruet, 2014, ACRI.

From kernels in directed graphs to fixed points and negative cycles in Boolean networks

Adrien Richard, Paul Ruet, A. Richard, 2013, Discret. Appl. Math..

On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems

Elisabeth Remy, Paul Ruet, É. Remy, 2006, Trans. Comp. Sys. Biology.

Positive or negative regulatory circuit inference from multilevel dynamics

Denis Thieffry, Elisabeth Remy, Paul Ruet, 2006 .

Non-commutative logic II: sequent calculus and phase semantics

Paul Ruet, P. Ruet, 2000, Mathematical Structures in Computer Science.

Average Sensitivity of Nested Canalizing Multivalued Functions

P. Ruet, 'Elisabeth Remy, Elisabeth Remy, 2022, CMSB.

From multivalued to Boolean functions: preservation of soft nested canalization

P. Ruet, 'Elisabeth Remy, 2023, 2305.13766.

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.

Asynchronous Boolean networks and hereditarily bijective maps

Paul Ruet, P. Ruet, 2015, Natural Computing.

Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)

Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, 2004 .

Non-Commutative Logic I: The Multiplicative Fragment

Paul Ruet, V. Michele Abrusci, P. Ruet, 1999, Ann. Pure Appl. Log..

Concurrent Constraint Programming and Non-commutative Logic

François Fages, Paul Ruet, F. Fages, 1997, CSL.

Concurrent Constraint Programming and Non-Commutative Linear Logic (Extended Abstract)

Paul Ruet, F. Fages, P. Ruet, 1996 .