Antoine Rauzy

Available identifiers

zbMath Open rauzy.antoineWikidataQ103830126 ScholiaQ103830126MaRDI QIDQ1266201

List of research outcomes

Publication	Date of Publication	Type
A realistic involvement of formal methods	2001-06-27	Paper
Bypassing BDD construction for reliability analysis	2000-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4948010	2000-04-26	Paper
Toupie: The \(\mu\)-calculus over finite domains as a constraint language	2000-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q4939272	2000-02-23	Paper
Eigenvalues of second order differential operators on a Finsler manifold	1998-09-07	Paper
Courbures Scalaires Des Varietes D'Invariant Conforme Negatif	1997-04-24	Paper
Multiplicity for a problem of prescribed scalar curvature	1997-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4281588	1994-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4282507	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5286579	1993-06-29	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antoine Rauzy