Paul Ruet

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Average sensitivity of nested canalizing multivalued functions	2024-02-28	Paper
From multivalued to Boolean functions: preservation of soft nested canalization	2024-02-23	Paper
Asynchronous Boolean networks and hereditarily bijective maps	2019-07-08	Paper
Negative local feedbacks in Boolean networks	2017-02-27	Paper
Local cycles and dynamical properties of Boolean networks	2016-07-28	Paper
Cyclic Extensions of Order Varieties	2014-05-13	Paper
Spatial Differentiation and Positive Circuits in a Discrete Framework	2013-12-06	Paper
From kernels in directed graphs to fixed points and negative cycles in Boolean networks	2013-04-25	Paper
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework	2008-10-22	Paper
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems	2008-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q3437531	2007-05-09	Paper
Computer Science Logic	2006-11-01	Paper
Non-commutative proof construction: a constraint-based approach	2006-09-14	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
Non-commutative logic. III: Focusing proofs.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4790674	2003-08-24	Paper
Linear concurrent constraint programming: Operational and phase semantics	2003-01-14	Paper
Non-commutative logic II: sequent calculus and phase semantics	2002-11-28	Paper
Non-commutative logic. I: The multiplicative fragment	2001-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4218945	1998-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4375591	1998-02-08	Paper
Combining explicit negation and negation by failure via Belnap's logic	1997-02-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul Ruet