Skip to Main content Skip to Navigation

inria-00086981v2  Reports
Frédéric HavetRoss KangTobias MüllerJean-Sébastien Sereni. Circular Choosability
[Research Report] RR-5957, INRIA. 2007, pp.33
inria-00123643v2  Reports
Anne BouillardEric Thierry. An Algorithmic Toolbox for Network Calculus
[Research Report] RR-6094, INRIA. 2007, pp.44
inria-00123945v2  Reports
Xavier Leroy. A locally nameless solution to the POPLmark challenge
[Research Report] RR-6098, INRIA. 2007, pp.54
inria-00128221v2  Reports
Reza AkbariniaEsther PacittiPatrick Valduriez. Query processing in P2P systems
[Research Report] RR-6112, INRIA. 2007, pp.38
inria-00122884v3  Reports
Anne BenoitYves Robert. Mapping pipeline skeletons onto heterogeneous platforms
[Research Report] RR-6087, LIP RR-2007-05, INRIA, LIP. 2007, pp.30
inria-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
inria-00129642v2  Reports
Véronique CortierStéphanie DelauneGraham Steel. A Formal Theory of Key Conjuring
[Research Report] RR-6134, INRIA. 2007, pp.38
inria-00129237v4  Reports
Laurent Théry. Proving the group law for elliptic curves formally
[Technical Report] RT-0330, INRIA. 2007, pp.16