Skip to Main content Skip to Navigation

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⟩
hal-00814448v1  Journal articles
Laurent BurgyLaurent RéveillèreJulia LawallGilles Muller. Zebu: A Language-Based Approach for Network Protocol Message Processing
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 37 (4), pp.575-591
hal-00916769v1  Journal articles
Emmanuelle AnceaumeRoy FriedmanMaria Gradinariu. Managed Agreement: Generalizing Two Fundamental Distributed Agreement Problems
Information Processing Letters, Elsevier, 2007, 101 (5), pp.190--198
hal-00930022v1  Journal articles
Mikhail NesterenkoSébastien Tixeuil. Ideal Stabilization
International Journal of Grid and Utility Computing, Inderscience, 2013, 4 (4), pp.219-230. ⟨10.1504/IJGUC.2013.057116⟩
hal-00934022v1  Journal articles
Swan DuboisMaria Potop-ButucaruMikhail NesterenkoSébastien Tixeuil. Self-stabilizing byzantine asynchronous unison
Journal of Parallel and Distributed Computing, Elsevier, 2012, 72 (7), pp.917-923. ⟨10.1016/j.jpdc.2012.04.001⟩
hal-01123697v1  Journal articles
Noga AlonHagit AttiyaShlomi DolevSwan DuboisMaria Potop-Butucaru et al.  Practically stabilizing SWMR atomic memory in message passing systems
Journal of Computer and System Sciences, Elsevier, 2015, 81 (4), pp.692-701. ⟨10.1016/j.jcss.2014.11.014⟩
hal-01148162v1  Journal articles
Bernd BankMarc GiustiJoos HeintzMohab Safey El DinÉric Schost. On the geometry of polar varieties
Applicable Algebra in Engineering, Communication and Computing, Springer Verlag, 2010, 21 (1), pp.33--83. ⟨10.1007/s00200-009-0117-1⟩
hal-01520335v1  Journal articles
Jordan AdamekGiovanni FarinaMikhail NesterenkoSébastien Tixeuil. Evaluating and Optimizing Stabilizing Dining Philosophers
Journal of Parallel and Distributed Computing, Elsevier, 2017, 109, pp.63-74. ⟨10.1016/j.jpdc.2017.05.003⟩