A. Rauzy

From MaRDI portal
Person:1266201

Available identifiers

zbMath Open rauzy.antoineWikidataQ103830126 ScholiaQ103830126MaRDI QIDQ1266201

List of research outcomes





PublicationDate of PublicationType
A realistic involvement of formal methods2001-06-27Paper
Bypassing BDD construction for reliability analysis2000-10-26Paper
https://portal.mardi4nfdi.de/entity/Q49480102000-04-26Paper
Toupie: The \(\mu\)-calculus over finite domains as a constraint language2000-04-12Paper
https://portal.mardi4nfdi.de/entity/Q49392722000-02-23Paper
Eigenvalues of second order differential operators on a Finsler manifold1998-09-07Paper
Courbures Scalaires Des Varietes D'Invariant Conforme Negatif1997-04-24Paper
Multiplicity for a problem of prescribed scalar curvature1997-02-24Paper
https://portal.mardi4nfdi.de/entity/Q42815881994-10-19Paper
https://portal.mardi4nfdi.de/entity/Q42825071994-03-17Paper
https://portal.mardi4nfdi.de/entity/Q52865791993-06-29Paper

Research outcomes over time

This page was built for person: A. Rauzy

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1266201&oldid=6083045"
Powered by MediaWiki