The SCEAS System
| |||||||

## Search the dblp DataBase
Paul Ruet:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry
**Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.**[Citation Graph (0, 0)][DBLP] ICATPN, 2004, pp:137-156 [Conf] - Paul Ruet
**Logical Semantics of Concurrent Constraint Programming.**[Citation Graph (0, 0)][DBLP] CP, 1996, pp:397-409 [Conf] - Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
**Permutative Logic.**[Citation Graph (0, 0)][DBLP] CSL, 2005, pp:184-199 [Conf] - Paul Ruet, François Fages
**Concurrent Constraint Programming and Non-commutative Logic.**[Citation Graph (0, 0)][DBLP] CSL, 1997, pp:406-423 [Conf] - François Fages, Paul Ruet, Sylvain Soliman
**Phase Semantics and Verification of Concurrent Constraint Programs.**[Citation Graph (0, 0)][DBLP] LICS, 1998, pp:141-152 [Conf] - V. Michele Abrusci, Paul Ruet
**Non-Commutative Logic I: The Multiplicative Fragment.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1999, v:101, n:1, pp:29-64 [Journal] - Jean-Marc Andreoli, Roberto Maieli, Paul Ruet
**Non-commutative proof construction: A constraint-based approach.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2006, v:142, n:1-3, pp:212-244 [Journal] - François Fages, Paul Ruet, Sylvain Soliman
**Linear Concurrent Constraint Programming: Operational and Phase Semantics.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:165, n:1, pp:14-41 [Journal] - Roberto Maieli, Paul Ruet
**Non-commutative logic III: focusing proofs.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:185, n:2, pp:233-262 [Journal] - Paul Ruet
**Non-commutative logic II: sequent calculus and phase semantics.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:277-312 [Journal] - Paul Ruet, François Fages
**Combining Explicit Negation and Negation by Failure Via Belnap's Logic.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1997, v:171, n:1-2, pp:61-75 [Journal] - Elisabeth Remy, Paul Ruet
**On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems.**[Citation Graph (0, 0)][DBLP] , 2006, v:, n:, pp:153-162 [Journal] - Elisabeth Remy, Paul Ruet, Luis Eduardo Mendoza, Denis Thieffry, Claudine Chaouiya
**From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.**[Citation Graph (0, 0)][DBLP] , 2006, v:, n:, pp:56-72 [Journal] **From minimal signed circuits to the dynamics of Boolean regulatory networks.**[Citation Graph (, )][DBLP]**Cyclic Extensions of Order Varieties.**[Citation Graph (, )][DBLP]**Spatial Differentiation and Positive Circuits in a Discrete Framework.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |