Search the dblp DataBase
Antoine Rauzy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Marc-Michel Corsini, Antoine Rauzy
CLP(B): Do it Yourself. [Citation Graph (0, 0)][DBLP]
GULP, 1993, pp:111-125 [Conf] - 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] - Antoine Rauzy
Toupie = µ-Calculus + Constraints. [Citation Graph (0, 0)][DBLP]
CAV, 1995, pp:114-126 [Conf] - 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] - Odile Papini, Antoine Rauzy
A Mixed Approach of Revision in Propositional Calculus. [Citation Graph (0, 0)][DBLP]
ECSQARU, 1993, pp:296-303 [Conf] - Odile Papini, Antoine Rauzy
Revision in Extended Propositional Calculus. [Citation Graph (0, 0)][DBLP]
ECSQARU, 1995, pp:328-335 [Conf] - Antoine Rauzy
Knowledge Extraction in Trivalued Propositional Logic. [Citation Graph (0, 0)][DBLP]
ECSQARU, 1991, pp:287-291 [Conf] - 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] - 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] - 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] - Antoine Rauzy
Notes on the Design of an Open Boolean Solver. [Citation Graph (0, 0)][DBLP]
ICLP, 1994, pp:354-368 [Conf] - 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] - 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] - Marc-Michel Corsini, Antoine Rauzy
CLP(beta) joue la transparence. [Citation Graph (0, 0)][DBLP]
JFPL, 1993, pp:245-261 [Conf] - 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] - 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] - Antoine Rauzy
Contraintes booléennes et gestion d'arbres des défaillances. [Citation Graph (0, 0)][DBLP]
JFPL, 1992, pp:301-313 [Conf] - 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] - 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] - 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] - Antoine Rauzy
Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract). [Citation Graph (0, 0)][DBLP]
TACAS, 1996, pp:417- [Conf] - Antoine Rauzy
Using Enumerative Methods for Boolean Unification. [Citation Graph (0, 0)][DBLP]
WCLP, 1991, pp:237-251 [Conf] - 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] - 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] - 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] - Antoine Rauzy
Toupie: a Constraint Language for Model Checking [Citation Graph (0, 0)][DBLP]
, 1994, v:, n:, pp:193-208 [Journal] - 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] - 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] - 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] - 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.358secs, Finished in 0.360secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002