Skip to Main content Skip to Navigation

hal-02167086v2  Reports
Thierry ParmentelatMohamed Naoufal MahfoudiThierry TurlettiWalid Dabbous. A step towards runnable papers using R2lab
[Research Report] Inria - Sophia Antipolis; Université Côte d'Azur. 2019
inria-00144566v2  Reports
José Grimm. Producing MathML with Tralics
[Research Report] RR-6181, INRIA. 2007, pp.88
hal-00806107v2  Reports
Jean-Daniel BoissonnatRamsay DyerArijit Ghosh. Delaunay stability via perturbations
[Research Report] RR-8275, INRIA. 2013, pp.26
hal-01351005v1  Reports
Bernard Paul Serpette. Logical semantics of Esterel with unconstrained local signals
[Research Report] RR-8942, INRIA Sophia Antipolis - Méditerranée. 2016
hal-01226760v3  Reports
Bernard Paul Serpette. Using counters for absence prediction in Esterel
[Research Report] RR-8941, INRIA Sophia Antipolis - Méditerranée. 2016, pp.18
lirmm-00735214v1  Reports
Patricio Mosse. Argumentation based Preference Aggregation
[Research Report] RR-12018, LIRMM. 2012