Author of the publication

Reconstructing 3D Tree Models from Instrumented Photographs.

, , , and . IEEE Computer Graphics and Applications, 21 (3): 53-61 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Checking C Programs Using F-SOFT., , , , , , and . ICCD, page 297-308. IEEE Computer Society, (2005)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 137-151. Springer, (2006)Static Analysis in Disjunctive Numerical Domains., , , and . SAS, volume 4134 of Lecture Notes in Computer Science, page 3-17. Springer, (2006)Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop., , , , and . CAV'06, page 137-151. (2006)Generating effective symmetry-breaking predicates for search problems.. Discret. Appl. Math., 155 (12): 1539-1548 (2007)DataLad: distributed system for joint management of code, data, and their relationship., , , , , , , , , and 21 other author(s). J. Open Source Softw., 6 (63): 3262 (2021)Reconstructing 3D Tree Models from Instrumented Photographs., , , and . IEEE Computer Graphics and Applications, 21 (3): 53-61 (2001)Cosi2: an efficient simulator of exact and approximate coalescent with selection., , and . Bioinform., 30 (23): 3427-3429 (2014)Generating effective symmetry-breaking predicates for search problems.. Electron. Notes Discret. Math., (2001)Alcoa: the alloy constraint analyzer., , and . ICSE, page 730-733. ACM, (2000)