Publications en collaboration avec des chercheurs de Chalmers University of Technology (4)

2014

  1. Revisiting zariski main theorem from a constructive point of view

    Journal of Algebra, Vol. 406, pp. 46-68

2012

  1. Verified resource guarantees for heap manipulating programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011

  1. Verified resource guarantees using COSTA and KeY

    PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

1994

  1. Dissipative optical solitons

    Physical Review A, Vol. 49, Núm. 4, pp. 2806-2811