P. Castéran

Towards a Generic Tool for Reasoning about Labeled Transition Systems

P. Castéran, Davy Rouillard, 2022 .

Efficient Capture of Organic Dyes and Crystallographic Snapshots by a Highly Crystalline Amino-Acid-Derived Metal-Organic Framework.

J. Ferrando‐Soria, E. Pardo, P. Castéran, 2018, Chemistry.

Formal Proofs of Local Computation Systems 1

P. Castéran, M. Mosbah, V. Filou, 2009 .

Irrigation-Depressing Effect on Floral Initiation of Cabernet Sauvignon Grapevines in Bordeaux Area

P. Castéran, A. Carbonneau, 1979, American Journal of Enology and Viticulture.

INTERACTIONS "TRAINING SYSTEM X SOIL X ROOTSTOCK" WITH REGARD TO VINE ECOPHYSIOLOGY, VIGOR, YIELD AND RED WINE QUALITY IN THE BORDEAUX AREA

A. Carbonneau, P. Casteran, P. Castéran, 1987 .

Interactive Theorem Proving and Program Development

Pierre Castéran, Yves Bertot, Yves Bertot, 2004, Texts in Theoretical Computer Science An EATCS Series.

Tasks, Types and Tactics for Local Computation Systems

Pierre Castéran, Vincent Filou, P. Castéran, 2011, Stud. Inform. Univ..

Efficient Capture of Organic Dyes and Crystallographic Snapshots by a Highly Crystalline Amino-Acid-Derived Metal-Organic Framework.

J. Ferrando‐Soria, E. Pardo, P. Castéran, 2018, Chemistry.