Paul Ruet

发表

From minimal signed circuits to the dynamics of Boolean regulatory networks

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

Non-commutative logic III: focusing proofs

Paul Ruet, Roberto Maieli, 2003, Inf. Comput..

Interactive correctness criterion for multiplicative-additive proof-nets

Paul Ruet, Roberto Maieli, 2006, LICS 2006.

Negative local feedbacks in Boolean networks pdf

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

Non-Commutative Logic I: The Multiplicative Fragment

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

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

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

Non-commutative proof construction: A constraint-based approach

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

Logical Semantics of Concurrent Constraint Programming

Paul Ruet, 1996, CP.

On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems

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

REVIEWS-Linear logic in computer science

Thomas Ehrhard, Andrzej S. Murawski, Jean-Yves Girard, 2006 .

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

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

Asynchronous Boolean networks and hereditarily bijective maps

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

Spatial Differentiation and Positive Circuits in a Discrete Framework

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

On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems

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

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

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

Cyclic Extensions of Order Varieties

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

Linear Concurrent Constraint Programming: Operational and Phase Semantics

François Fages, Paul Ruet, Sylvain Soliman, 2001, Inf. Comput..

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

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

Concurrent Constraint Programming and Non-commutative Logic

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

Linear logic in computer science

Thomas Ehrhard, Jean-Yves Girard, Philip J. Scott, 2004 .

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

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

Permutative Logic

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

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.

Geometric Characterization of Hereditarily Bijective Boolean Networks

Paul Ruet, P. Ruet, 2014, ACRI.

Local cycles and dynamical properties of Boolean networks

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

Non-commutative logic II: sequent calculus and phase semantics

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

Positive or negative regulatory circuit inference from multilevel dynamics

Denis Thieffry, Elisabeth Remy, Paul Ruet, 2006 .

Complete Sets of Connectives and Complete Sequent Calculus for Belnap's Logic

Paul Ruet, 1996 .

ENTROPIC HOPF ALGEBRAS AND MODELS OF NON-COMMUTATIVE LOGIC

François Lamarche, Paul Ruet, Richard F. Blute, 2002 .

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

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