Paul Ruet

According to our database1, Paul Ruet authored at least 24 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
From multivalued to Boolean functions: Preservation of soft nested canalization.
Theor. Comput. Sci., January, 2024

2023
Average Sensitivity of Nested Canalizing Multivalued Functions.
Proceedings of the Computational Methods in Systems Biology, 2023

2017
Negative local feedbacks in Boolean networks.
Discret. Appl. Math., 2017

2016
Local cycles and dynamical properties of Boolean networks.
Math. Struct. Comput. Sci., 2016

2015
Asynchronous Boolean networks and hereditarily bijective maps.
Nat. Comput., 2015

2014
Geometric Characterization of Hereditarily Bijective Boolean Networks.
Proceedings of the Cellular Automata, 2014

2013
From kernels in directed graphs to fixed points and negative cycles in Boolean networks.
Discret. Appl. Math., 2013

2008
Cyclic Extensions of Order Varieties.
Proceedings of the First International Conference on Foundations of Informatics, 2008

Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework.
Adv. Appl. Math., 2008

From minimal signed circuits to the dynamics of Boolean regulatory networks.
Proceedings of the ECCB'08 Proceedings, 2008

2007
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems.
Trans. Comp. Sys. Biology, 2007

Spatial Differentiation and Positive Circuits in a Discrete Framework.
Proceedings of the Third International Workshop on Developments in Computational Models, 2007

2006
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.
Trans. Comp. Sys. Biology, 2006

Non-commutative proof construction: A constraint-based approach.
Ann. Pure Appl. Log., 2006

2005
Permutative Logic.
Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Non-commutative logic III: focusing proofs.
Inf. Comput., 2003

2001
Linear Concurrent Constraint Programming: Operational and Phase Semantics.
Inf. Comput., 2001

2000
Non-commutative logic II: sequent calculus and phase semantics.
Math. Struct. Comput. Sci., 2000

1999
Non-Commutative Logic I: The Multiplicative Fragment.
Ann. Pure Appl. Log., 1999

1998
Phase Semantics and Verification of Concurrent Constraint Programs.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997
Combining Explicit Negation and Negation by Failure Via Belnap's Logic.
Theor. Comput. Sci., 1997

Concurrent Constraint Programming and Non-commutative Logic.
Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996
Logical Semantics of Concurrent Constraint Programming.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996


  Loading...