Author of the publication

Accurate volume measurement for liver surgery in vivo evaluation with a pig model.

, , , , , , , , and . CARS, volume 1268 of International Congress Series, page 730-734. Elsevier, (2004)

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.

Univ. -Prof. Dr. Michael Pradel University of Stuttgart

LExecutor: Learning-Guided Execution, and . Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, page 1522-1534. Association for Computing Machinery, (2023)

Univ. -Prof. Dr. rer. nat. Michael Sedlmair University of Stuttgart

Metaphorical Visualization : Mapping Data to Familiar Concepts, , , , and . CHI EA '22 : Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems, page 10. New York, Association for Computing Machinery, (2022)
 

Other publications of authors with the same name

Kripke and the logic of truth.. J. Philosophical Logic, 17 (3): 225-278 (1988)Accurate volume measurement for liver surgery in vivo evaluation with a pig model., , , , , , , , and . CARS, volume 1268 of International Congress Series, page 730-734. Elsevier, (2004)OpenFlipper - A highly modular framework for processing and visualization of complex geometric models., , and . SEARIS, page 25-32. IEEE Computer Society, (2013)Design of a reference architecture for CNC safety components: Design of a reference architecture for CNC safety components, , , , and . (2004)Präzise Volumetrie in der Leberchirurgie - In vivo Evaluierung am Schweinemodell., , , , , , , , and . Bildverarbeitung für die Medizin, volume 116 of CEUR Workshop Proceedings, page 414-418. CEUR-WS.org, (2004)Some Supervaluation-based Consequence Relations., and . J. Philosophical Logic, 32 (3): 225-244 (2003)Advanced Automatic Hexahedral Mesh Generation from Surface Quad Meshes., , , and . IMR, page 147-164. Springer, (2013)A Testbed-In-The-Loop System for Experimenting with Network Configurations at Scale., , , , and . INFOCOM Workshops, page 925-926. IEEE, (2019)Marti on Descriptions in Carnap'S S2.. J. Philosophical Logic, 26 (6): 629-634 (1997)OpenVolumeMesh - A Versatile Index-Based Data Structure for 3D Polytopal Complexes., , and . IMR, page 531-548. Springer, (2012)