.:. Consultation > Par années > 1998 .:.

885 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 83 - 84 - 85 - 86 - 87 - 88 - 89

Propositional Circumscriptions Moinard Y., Rolland R. N° RR-3538 (1998) [inria-00073147 - version 1]

Type-Based Analysis of Uncaught Exceptions Leroy X., Pessaux F. N° RR-3541 (1998) [inria-00073144 - version 1]

Proof Normalization Modulo Dowek G., Werner B. N° RR-3542 (1998) [inria-00073143 - version 1]

Redistribution of Self-service Electric Cars: A Case of Pickup and Delivery Dror M., Fortin D., Roucairol C. N° RR-3543 (1998) [inria-00073142 - version 1]

Level Set Diagrams of Polyhedral Objects Lazarus F., Verroust A. N° RR-3546 (1998) [inria-00073138 - version 1]

Detection Signal Design for Failure Detection: a Robust Approach Nikoukhah R., Campbell S. L., Delebecque F. N° RR-3547 (1998) [inria-00073136 - version 1]

A Generic Normalisation Proof for Pure Type Systems melliès P.-A., Werner B. N° RR-3548 (1998) [inria-00073135 - version 1]

Analytic Variations on Redundancy Rates of Renewal Processes Flajolet P., Szpankowski W. N° RR-3553 (1998) [inria-00073130 - version 1]

A Flexible Run-time Support for Distributed Dependable Hard Real-time Applications Anceaume E., Cabillic G., Chevochot P., Puaut I. N° RR-3564 (1998) [inria-00073119 - version 1]

Nonlinear Feedback Stabilization of a Rotating Body-Beam Without Damping Chentouf B., Couchouron J.-F. N° RR-3567 (1998) [inria-00073115 - version 1]