Skip to Main content Skip to Navigation


hal-00467405v1  Conference papers
Bruno de FraineErik ErnstMario Südholt. Essential AOP: The A Calculus
European Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. pp.000
...
inria-00517175v1  Journal articles
Jinsan ChengSylvain LazardLuis PeñarandaMarc PougetFabrice Rouillier et al.  On the topology of real algebraic plane curves
Mathematics in Computer Science, Springer, 2010, 4 (1), pp.113-137. ⟨10.1007/s11786-010-0044-3⟩
...
inria-00393833v4  Conference papers
Ioannis Z. EmirisBernard MourrainElias Tsigaridas. The DMM bound: multivariate (aggregate) separation bounds
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.243-250, ⟨10.1145/1837934.1837981⟩