Informática
Facultat
Chalmers University of Technology
Gotemburgo, SueciaPublicacions en col·laboració amb investigadors/es de Chalmers University of Technology (4)
2014
-
Revisiting zariski main theorem from a constructive point of view
Journal of Algebra, Vol. 406, pp. 46-68
2012
-
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
-
Verified resource guarantees using COSTA and KeY
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
1994
-
Dissipative optical solitons
Physical Review A, Vol. 49, Núm. 4, pp. 2806-2811