A. Rauzy

MaRDI QIDQ1266201zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A realistic involvement of formal methods Software. Practice & Experience	2001-06-27	Paper
Bypassing BDD construction for reliability analysis Information Processing Letters	2000-10-26	Paper
scientific article; zbMATH DE number 1435981 (Why is no real title available?)	2000-04-26	Paper
Toupie: The \(\mu\)-calculus over finite domains as a constraint language Journal of Automated Reasoning	2000-04-12	Paper
scientific article; zbMATH DE number 1406235 (Why is no real title available?)	2000-02-23	Paper
Eigenvalues of second order differential operators on a Finsler manifold Bulletin des Sciences Mathématiques	1998-09-07	Paper
Courbures Scalaires Des Varietes D'Invariant Conforme Negatif Transactions of the American Mathematical Society	1997-04-24	Paper
Multiplicity for a problem of prescribed scalar curvature Bulletin des Sciences Mathématiques	1997-02-24	Paper
scientific article; zbMATH DE number 512885 (Why is no real title available?)	1994-10-19	Paper
scientific article; zbMATH DE number 516989 (Why is no real title available?)	1994-03-17	Paper
scientific article; zbMATH DE number 224198 (Why is no real title available?)	1993-06-29	Paper

Research outcomes over time

This page was built for person: A. Rauzy