The SCEAS System
Navigation Menu

Search the dblp DataBase


Antoine Rauzy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marc-Michel Corsini, Antoine Rauzy
    CLP(B): Do it Yourself. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:111-125 [Conf]
  2. Jean-Marc Boï, Antoine Rauzy
    Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:139-148 [Conf]
  3. Antoine Rauzy
    Toupie = µ-Calculus + Constraints. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:114-126 [Conf]
  4. Antoine Rauzy
    Polynomial Restrictions of SAT: What Can Be Done with an Efficient Implementation of the Davis and Putnam's Procedure? [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:515-532 [Conf]
  5. Odile Papini, Antoine Rauzy
    A Mixed Approach of Revision in Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:296-303 [Conf]
  6. Odile Papini, Antoine Rauzy
    Revision in Extended Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:328-335 [Conf]
  7. Antoine Rauzy
    Knowledge Extraction in Trivalued Propositional Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:287-291 [Conf]
  8. Marc-Michel Corsini, Antoine Rauzy
    Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:180-194 [Conf]
  9. Macha Nikolskaïa, Antoine Rauzy, David James Sherman
    Almana: A BDD Minimization Tool Integrating Heuristic and Rewriting Methods. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:100-114 [Conf]
  10. Marc-Michel Corsini, Antoine Rauzy
    Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:834- [Conf]
  11. Antoine Rauzy
    Notes on the Design of an Open Boolean Solver. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:354-368 [Conf]
  12. Jean-Marc Boï, Antoine Rauzy
    La démonstration automatique en calcul propositionnel au service de la programmation par contraintes. [Citation Graph (0, 0)][DBLP]
    SPLT, 1990, pp:511-522 [Conf]
  13. Serge Colin, Frédéric Mesnard, Antoine Rauzy
    Un module Prolog de mu-calcul booléen: une réalisation par BDD. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:23-38 [Conf]
  14. Marc-Michel Corsini, Antoine Rauzy
    CLP(beta) joue la transparence. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:245-261 [Conf]
  15. Marc-Michel Corsini, Antoine Rauzy
    Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1994, pp:171-0 [Conf]
  16. Frédéric Mesnard, Antoine Rauzy
    Le iota-calcul: un langage de contraintes d'ordre supérieur. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:241-0 [Conf]
  17. Antoine Rauzy
    Contraintes booléennes et gestion d'arbres des défaillances. [Citation Graph (0, 0)][DBLP]
    JFPL, 1992, pp:301-313 [Conf]
  18. Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
    Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:86-97 [Conf]
  19. Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
    Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. [Citation Graph (0, 0)][DBLP]
    PLILP, 1993, pp:75-91 [Conf]
  20. Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
    The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:51-59 [Conf]
  21. Antoine Rauzy
    Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:417- [Conf]
  22. Antoine Rauzy
    Using Enumerative Methods for Boolean Unification. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:237-251 [Conf]
  23. André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy
    The AltaRica Formalism for Describing Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:40, n:2-3, pp:109-124 [Journal]
  24. Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy
    Bypassing BDD construction for reliability analysis. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:75, n:1-2, pp:85-89 [Journal]
  25. Marc-Michel Corsini, Antoine Rauzy
    Toupie: The µ-calculus over Finite Domains as a Constraint Language. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:19, n:2, pp:143-171 [Journal]
  26. Antoine Rauzy
    Toupie: a Constraint Language for Model Checking [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:193-208 [Journal]
  27. Didier Bégay, Antoine Rauzy
    A realistic involvement of formal methods. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2001, v:31, n:2, pp:191-208 [Journal]
  28. Antoine Rauzy
    A m log m algorithm to compute the most probable configurations of a system with multi-mode independent components. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2005, v:54, n:1, pp:156-158 [Journal]
  29. Antoine Rauzy
    Toward an efficient implementation of the MOCUS algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2003, v:52, n:2, pp:175-180 [Journal]
  30. Antoine Rauzy
    A new methodology to handle Boolean models with loops. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Reliability, 2003, v:52, n:1, pp:96-105 [Journal]

Search in 0.035secs, Finished in 0.037secs
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