The SCEAS System
Navigation Menu

Search the dblp DataBase


Paul Ruet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Paul Ruet
    Logical Semantics of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:397-409 [Conf]
  3. Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet
    Permutative Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:184-199 [Conf]
  4. Paul Ruet, François Fages
    Concurrent Constraint Programming and Non-commutative Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:406-423 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]

  14. From minimal signed circuits to the dynamics of Boolean regulatory networks. [Citation Graph (, )][DBLP]

  15. Cyclic Extensions of Order Varieties. [Citation Graph (, )][DBLP]

  16. Spatial Differentiation and Positive Circuits in a Discrete Framework. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002