1 – 5 of 5
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
(2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2009
-
Mark
Pose Estimation with Radial Distortion and Unknown Focal Length
(2009) IEEE-Computer-Society Conference on Computer Vision and Pattern Recognition Workshops, 2009 p.2411-2418
- Contribution to conference › Paper, not in proceeding
- 2002
-
Mark
Formal Languages and Automata in Computational Algebra
(2002)
- Thesis › Doctoral thesis (compilation)
- 2001
-
Mark
Canonical Bases for Algebraic Computations
(2001) In Doctoral Theses in Mathematical Sciences
- Thesis › Doctoral thesis (compilation)
- 2000
-
Mark
Combinatorial methods in computer algebra
(2000)
- Thesis › Licentiate thesis