Search results for: Stephane Gaubert
Fundamenta Informaticae > 2021 > Vol. 183, nr 3-4 > 169--201
Letters in Mathematical Physics > 2019 > 109 > 12 > 2779-2781
Theory of Computing Systems > 2019 > 63 > 5 > 1089-1130
Letters in Mathematical Physics > 2019 > 109 > 8 > 1777-1804
Journal of Symbolic Computation > 2018 > 85 > C > 25-54
Journal of Mathematical Analysis and Applications > 2018 > 457 > 2 > 1038-1064
Mathematische Zeitschrift > 2018 > 289 > 1-2 > 695-709
Linear Algebra and its Applications > 2017 > 528 > C > 394-435
Performance Evaluation > 2017 > 113 > C > 1-12
Information Processing Letters > 2017 > 118 > C > 35-43
Linear Algebra and its Applications > 2016 > 498 > C > 592-627
Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation I > 237-252