Martin Berger

According to our database1, Martin Berger
  • authored at least 56 papers between 1991 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
An Improved Extrapolation Scheme for Truncated CT Data Using 2D Fourier-Based Helgason-Ludwig Consistency Conditions.
Int. J. Biomedical Imaging, 2017

JOINT calibration and motion estimation in weight-bearing cone-beam CT of the knee joint using fiducial markers.
Proceedings of the 14th IEEE International Symposium on Biomedical Imaging, 2017

Modelling Homogeneous Generative Meta-Programming.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Fourier Consistency-Based Motion Estimation in Rotational Angiography.
Proceedings of the Bildverarbeitung für die Medizin 2017 - Algorithmen - Systeme, 2017

Self-Calibration and Simultaneous Motion Estimation for C-Arm CT Using Fiducial.
Proceedings of the Bildverarbeitung für die Medizin 2017 - Algorithmen - Systeme, 2017

2016
Modelling homogeneous generative meta-programming.
CoRR, 2016

Bridge to real data: Empirical multiple material calibration for learning-based material decomposition.
Proceedings of the 13th IEEE International Symposium on Biomedical Imaging, 2016

A Memory Management Library for CT-Reconstruction on GPUs.
Proceedings of the Bildverarbeitung für die Medizin 2016 - Algorithmen - Systeme, 2016

2015
Epipolar Consistency in Transmission Imaging.
IEEE Trans. Med. Imaging, 2015

Program Logics for Homogeneous Generative Run-Time Meta-Programming.
Logical Methods in Computer Science, 2015

Image-based compensation for involuntary motion in weight-bearing C-arm cone-beam CT scanning of knees.
Proceedings of the Medical Imaging 2015: Image Processing, 2015

Over-Exposure Correction in CT Using Optimization-Based Multiple Cylinder Fitting.
Proceedings of the Bildverarbeitung für die Medizin 2015, Algorithmen - Systeme, 2015

Projection and Reconstruction-Based Noise Filtering Methods in Cone Beam CT.
Proceedings of the Bildverarbeitung für die Medizin 2015, Algorithmen - Systeme, 2015

2014
An observationally complete program logic for imperative higher-order functions.
Theor. Comput. Sci., 2014

Augmented Reality at the Service of Participatory Urban Planning and Community Informatics - a case study from Vienna.
J. Community Informatics, 2014

Cathoristic logic: A modal logic of incompatible propositions.
CoRR, 2014

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus.
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Increasing the credibility of MR spectroscopy-based automatic brain tumor classification systems.
Proceedings of the IEEE 11th International Symposium on Biomedical Imaging, 2014

Region of Interest Reconstruction from Dose-Minimized Super Short Scan Data.
Proceedings of the Bildverarbeitung für die Medizin 2014, Algorithmen - Systeme, 2014

Automatic Removal of Externally Attached Fiducial Markers in Cone Beam C-Arm CT.
Proceedings of the Bildverarbeitung für die Medizin 2014, Algorithmen - Systeme, 2014

2013
Green Gang Vs. Captain Carbon. Integration of Automated Data Collection and Ecological Footprint Feedback in a Smartphone-Based Social Game for Carbon Saving.
Proceedings of the 5th International Conference on Games and Virtual Worlds for Serious Applications, 2013

2012
Specification and verification of meta-programs.
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

2011
Multicriteria decentralized decision making in logistic chains: a dynamic programming approach for collaborative forwarding of air cargo freight.
Logistics Research, 2011

2010
A novel non-linear approach to minimal area rectangular packing.
Annals OR, 2010

Program Logics for Homogeneous Meta-programming.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009
Program Logics for Sequential Higher-Order Control.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Logical Reasoning for Higher-Order Functions with Local State.
Logical Methods in Computer Science, 2008

Logical Reasoning for Higher-Order Functions with Local State
CoRR, 2008

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007
Linearity and bisimulation.
J. Log. Algebr. Program., 2007

A logical analysis of aliasing in imperative higher-order functions.
J. Funct. Program., 2007

Logical Reasoning for Higher-Order Functions with Local State.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Timed, Distributed, Probabilistic, Typed Processes.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Do firms require an efficient innovation system to develop innovative technological capabilities? Empirical evidence from Singapore, Malaysia and Thailand.
IJTM, 2006

Descriptive and Relative Completeness of Logics for Higher-Order Functions.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005
Genericity and the pi-calculus.
Acta Inf., 2005

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

A logical analysis of aliasing in imperative higher-order functions.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004
Strong normalisation in the pi -calculus.
Inf. Comput., 2004

Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Genericity and the pi-Calculus.
Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002
Fast object recognition and pose determination.
Proceedings of the 2002 International Conference on Image Processing, 2002

Linearity and Bisimulation.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Sequentiality and the pi-Calculus.
TLCA, 2001

Strong Normalisation in the pi-Calculus.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000
The Two-Phase Commitment Protocol in an Extended pi-Calculus.
Electr. Notes Theor. Comput. Sci., 2000

Fitting 3D Models To 2D Imagery: A Physics Based Approach.
Proceedings of the IAPR Conference on Machine Vision Applications (IAPR MVA 2000), 2000

Vision Guided Bin Picking and Mounting in a Flexible Assembly Cell.
Proceedings of the Intelligent Problem Solving, 2000

3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac.
Proceedings of the 15th International Conference on Pattern Recognition, 2000

1999
Deformable area based template matching with application to low contrast imagery.
PhD thesis, 1999

A Vision Driven Automatic Assembly Unit.
Proceedings of the Computer Analysis of Images and Patterns, 8th International Conference, 1999

1998
Motion Measurements in Low-Contrast X-ray Imagery.
Proceedings of the Medical Image Computing and Computer-Assisted Intervention, 1998

1997
Deformable Multi Template Matching with Application to Portal Images.
Proceedings of the 1997 Conference on Computer Vision and Pattern Recognition (CVPR '97), 1997

1994
Arbeitsgruppe Visualisierung.
Proceedings of the Visualisierung von Umweltdaten, 4. Workshop, 30. Januar, 1994

Visualisierung in der Umweltinformatik - Aktivitäten im Umfeld von AVS.
Proceedings of the Visualisierung von Umweltdaten, 4. Workshop, 30. Januar, 1994

1991
Application Visualization System (AVS).
Proceedings of the 2. Workshop Sichtsysteme, 1991


  Loading...