Martin Berger

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 39

Top Venues

Bildverarbeitung für die Medizin

CoRR

ISBI

C&T

ETH Zurich, Zürich, Switzerland (PHD)

Education History

ETH Zurich, Zürich, Switzerland

PHD

Publications

Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger
The Regular Expression Inference Challenge. CoRR (2023)
Elke Brucker-Kley, Janick Michot, Thomas Keller, Martin Berger, Ilir Hundozi
Evaluating User Experience and Effectiveness of an Immersive Virtual Learning Environment. IIAI-AAI (2023)
Thomas Keller, Martin Berger, Janick Michot, Elke Brucker-Kley, Reto Knaack
Didactics and Technical Challenges of Virtual Learning Locations for Vocational Education and Training. HCI (31) (2023)
Mojtaba Valizadeh, Martin Berger
Search-Based Regular Expression Inference on a GPU. CoRR (2023)
Martin Berger, Dominic P. Mulligan
A modest proposal: explicit support for foundational pluralism. CoRR (2023)
Mojtaba Valizadeh, Martin Berger
Search-Based Regular Expression Inference on a GPU. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Stephan Antholzer, Martin Berger, Tobias Hell
Cluster-Based Autoencoders for Volumetric Point Clouds. CoRR (2022)
Martin Berger, Lukas Pirpamer, Edith Hofer, Stefan Ropele, Marco Duering, Benno Gesierich, Ofer Pasternak, Christian Enzinger, Reinhold Schmidt, Marisa Koini
Free water diffusion MRI and executive function with a speed component in healthy aging. NeuroImage 257 (2022)
Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. ICISSP (2022)
Teodora Nechita, Reto Knaack, Martin Berger, Thomas Keller, Elke Brucker-Kley, Janick Michot
Work-In-Progress - Virtual Reality for Basic Vocational Training. iLRN (2022)
Harold Pancho Eliott, Martin Berger
A program logic for fresh name generation. CoRR (2021)
Harold Pancho Eliott, Martin Berger
A Program Logic for Fresh Name Generation. FSEN (2021)
Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. CoRR (2021)
Junaid R. Rajput, Karthik Shetty, Andreas Maier, Martin Berger
Table Motion Detection in Interventional Coronary Angiography. Bildverarbeitung für die Medizin (2021)
Richard Prideaux Evans, Martin Berger
Cathoristic Logic. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Eva-Maria Zangerl-Plessl, Martin Berger, Martina Drescher, Yong Chen, Wei Wu, Nuno Maulide, Michael Sanguinetti, Anna Stary-Weinzinger
Toward a Structural View of hERG Activation by the Small-Molecule Activator ICA-105574. J. Chem. Inf. Model. 60 (1) (2020)
Costin Florian Ciusdel, Alexandru Turcea, Andrei Puiu, Lucian Mihai Itu, Lucian Calmac, Emma Weiss, Cornelia Margineanu, Elisabeta Badila, Martin Berger, Thomas Redel, Tiziano Passerini, Mehmet Akif Gülsün, Puneet Sharma
Deep neural networks for ECG-free cardiac phase and end-diastolic frame detection on coronary angiographies. Comput. Medical Imaging Graph. 84 (2020)
Lina Felsner, Martin Berger, Sebastian Kaeppler, Johannes Bopp, Veronika Ludwig, Thomas Weber, Georg Pelzer, Thilo Michel, Andreas K. Maier, Gisela Anton, Christian Riess
Abstract: Phase-Sensitive Region-of-Interest Computed Tomography. Bildverarbeitung für die Medizin (2019)
Alexander K. Seewald, Thomas Wernbacher, Alex Pfeiffer, Natalie Denk, Mario Platzer, Martin Berger, Thomas Winter
Towards Minimizing e-Commerce Returns for Clothing. ICAART (2) (2019)
Martin Berger, Kurt Hosinger
Innovative Ansätze für Netzbetreiber und Zulieferer - Digitalisierung: Modewort oder ein Trend mit Nachhaltigkeit? Elektrotech. Informationstechnik 136 (1) (2019)
Hilda Tellioglu, Martin Berger, Christoph Kirchberger, Flora Strohmeier
Mobility Transformation: What does mobility mean in the future? C&T (2019)
Alexander Jeffery, Martin Berger
Asynchronous sessions with implicit functions and messages. Sci. Comput. Program. 180 (2019)
Alexander Preuhs, Martin Berger, Sebastian Bauer, Thomas Redel, Mathias Unberath, Stephan Achenbach, Andreas K. Maier
Viewpoint planning for quantitative coronary angiography. Int. J. Comput. Assist. Radiol. Surg. 13 (8) (2018)
Costin Florian Ciusdel, Alexandru Turcea, Andrei Puiu, Lucian Mihai Itu, Lucian Calmac, Emma Weiss, Cornelia Margineanu, Elisabeta Badila, Martin Berger, Thomas Redel, Tiziano Passerini, Mehmet A. Gülsün, Puneet Sharma
Deep Neural Networks for ECG-free Cardiac Phase and End-Diastolic Frame Detection on Coronary Angiographies. CoRR (2018)
Lina Felsner, Martin Berger, Sebastian Kaeppler, Johannes Bopp, Veronika Ludwig, Thomas Weber, Georg Pelzer, Thilo Michel, Andreas K. Maier, Gisela Anton, Christian Riess
Phase-Sensitive Region-of-Interest Computed Tomography. MICCAI (1) (2018)
Alexander Jeffery, Martin Berger
Asynchronous Sessions with Implicit Functions and Messages. TASE (2018)
Christopher Syben, Bastian Bier, Martin Berger, André Aichert, Rebecca Fahrig, Garry Gold, Marc Levenston, Andreas K. Maier
Self-Calibration and Simultaneous Motion Estimation for C-Arm CT Using Fiducial. Bildverarbeitung für die Medizin (2017)
Yan Xia, Martin Berger, Sebastian Bauer, Shiyang Hu, André Aichert, Andreas K. Maier
An Improved Extrapolation Scheme for Truncated CT Data Using 2D Fourier-Based Helgason-Ludwig Consistency Conditions. Int. J. Biomed. Imaging 2017 (2017)
Martin Berger, Laurence Tratt, Christian Urban
Modelling Homogeneous Generative Meta-Programming. ECOOP (2017)
Christopher Syben, Bastian Bier, Martin Berger, André Aichert, Rebecca Fahrig, Garry Gold, Marc Levenston, Andreas K. Maier
JOINT calibration and motion estimation in weight-bearing cone-beam CT of the knee joint using fiducial markers. ISBI (2017)
Mathias Unberath, Martin Berger, André Aichert, Andreas K. Maier
Fourier Consistency-Based Motion Estimation in Rotational Angiography. Bildverarbeitung für die Medizin (2017)
Yanye Lu, Martin Berger, Michael Manhart, Jang Hwan Choi, Martin Hoheisel, Markus Kowarschik, Rebecca Fahrig, Qiushi Ren, Joachim Hornegger, Andreas K. Maier
Bridge to real data: Empirical multiple material calibration for learning-based material decomposition. ISBI (2016)
Martin Berger, Laurence Tratt, Christian Urban
Modelling homogeneous generative meta-programming. CoRR (2016)
Hao Wu, Martin Berger, Andreas K. Maier, Daniel Lohmann
A Memory Management Library for CT-Reconstruction on GPUs. Bildverarbeitung für die Medizin (2016)
Martin Berger, Laurence Tratt
Program Logics for Homogeneous Generative Run-Time Meta-Programming. Log. Methods Comput. Sci. 11 (1) (2015)
Mathias Unberath, Jang Hwan Choi, Martin Berger, Andreas K. Maier, Rebecca Fahrig
Image-based compensation for involuntary motion in weight-bearing C-arm cone-beam CT scanning of knees. Medical Imaging: Image Processing (2015)
André Aichert, Martin Berger, Jian Wang, Nicole Maass, Arnd Doerfler, Joachim Hornegger, Andreas K. Maier
Epipolar Consistency in Transmission Imaging. IEEE Trans. Medical Imaging 34 (11) (2015)
Alexander Preuhs, Martin Berger, Yan Xia, Andreas K. Maier, Joachim Hornegger, Rebecca Fahrig
Over-Exposure Correction in CT Using Optimization-Based Multiple Cylinder Fitting. Bildverarbeitung für die Medizin (2015)
Benedikt Lorch, Martin Berger, Joachim Hornegger, Andreas K. Maier
Projection and Reconstruction-Based Noise Filtering Methods in Cone Beam CT. Bildverarbeitung für die Medizin (2015)
Martin Berger
Motion Correction for Weight-Bearing C-arm CT of Knees. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Richard Prideaux Evans, Martin Berger
Cathoristic logic: A modal logic of incompatible propositions. CoRR (2014)
Martin Berger, Klaus Sembritzki, Joachim Hornegger, Christina Bauer
Increasing the credibility of MR spectroscopy-based automatic brain tumor classification systems. ISBI (2014)
Kohei Honda, Nobuko Yoshida, Martin Berger
An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. 517 (2014)
Martin Berger, Christoph Forman, Chris Schwemmer, Jang Hwan Choi, Kerstin Müller, Andreas K. Maier, Joachim Hornegger, Rebecca Fahrig
Automatic Removal of Externally Attached Fiducial Markers in Cone Beam C-Arm CT. Bildverarbeitung für die Medizin (2014)
Kohei Honda, Nobuko Yoshida, Martin Berger
Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. RTA-TLCA (2014)
Florian Reinwald, Martin Berger, Christop Stoik, Mario Platzer, Doris Damyanovic
Augmented Reality at the Service of Participatory Urban Planning and Community Informatics - a case study from Vienna. J. Community Informatics 10 (3) (2014)
Yan Xia, Andreas K. Maier, Martin Berger, Joachim Hornegger
Region of Interest Reconstruction from Dose-Minimized Super Short Scan Data. Bildverarbeitung für die Medizin (2014)
Sebastian Seebauer, Martin Berger, Karl-Heinz Kettl, Markus Moser
Green Gang Vs. Captain Carbon. Integration of Automated Data Collection and Ecological Footprint Feedback in a Smartphone-Based Social Game for Carbon Saving. VS-GAMES (2013)
Martin Berger
Specification and verification of meta-programs. PEPM (2012)
Martin Berger, Michael Schröder
Multicriteria decentralized decision making in logistic chains: a dynamic programming approach for collaborative forwarding of air cargo freight. Logist. Res. 3 (2-3) (2011)
Martin Berger, Laurence Tratt
Program Logics for Homogeneous Meta-programming. LPAR (Dakar) (2010)
Sebastian Seebauer, Martin Berger
Willingness to use advanced traveler information systems in Austria. ITSC (2010)
Volker Maag, Martin Berger, Anton Winterfeld, Karl-Heinz Küfer
A novel non-linear approach to minimal area rectangular packing. Ann. Oper. Res. 179 (1) (2010)
Martin Berger
Program Logics for Sequential Higher-Order Control. FSEN (2009)
Nobuko Yoshida, Kohei Honda, Martin Berger
Logical Reasoning for Higher-Order Functions with Local State CoRR (2008)
Nobuko Yoshida, Kohei Honda, Martin Berger
Logical Reasoning for Higher-Order Functions with Local State. Log. Methods Comput. Sci. 4 (4) (2008)
Martin Berger, Kohei Honda, Nobuko Yoshida
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) (2008)
Nobuko Yoshida, Kohei Honda, Martin Berger
Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS (2007)
Nobuko Yoshida, Kohei Honda, Martin Berger
Linearity and bisimulation. J. Log. Algebraic Methods Program. 72 (2) (2007)
Martin Berger, Nobuko Yoshida
Timed, Distributed, Probabilistic, Typed Processes. APLAS (2007)
Martin Berger, Kohei Honda, Nobuko Yoshida
A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. 17 (4-5) (2007)
Kohei Honda, Martin Berger, Nobuko Yoshida
Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) (2006)
Martin Berger, Javier Revilla Diez
Do firms require an efficient innovation system to develop innovative technological capabilities? Empirical evidence from Singapore, Malaysia and Thailand. Int. J. Technol. Manag. 36 (1/2/3) (2006)
Kohei Honda, Nobuko Yoshida, Martin Berger
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS (2005)
Martin Berger, Kohei Honda, Nobuko Yoshida
A logical analysis of aliasing in imperative higher-order functions. ICFP (2005)
Martin Berger, Kohei Honda, Nobuko Yoshida
Genericity and the pi-calculus. Acta Informatica 42 (2-3) (2005)
Martin Berger
Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. CONCUR (2004)
Nobuko Yoshida, Martin Berger, Kohei Honda
Strong normalisation in the pi -calculus. Inf. Comput. 191 (2) (2004)
Martin Berger, Kohei Honda, Nobuko Yoshida
Genericity and the pi-Calculus. FoSSaCS (2003)
Martin Sengel, Martin Berger, Vassili Kravtchenko-Berejnoi, Horst Bischof
Fast object recognition and pose determination. ICIP (3) (2002)
Nobuko Yoshida, Kohei Honda, Martin Berger
Linearity and Bisimulation. FoSSaCS (2002)
Nobuko Yoshida, Martin Berger, Kohei Honda
Strong Normalisation in the pi-Calculus. LICS (2001)
Martin Berger, Kohei Honda, Nobuko Yoshida
Sequentiality and the pi-Calculus. TLCA (2001)
Martin Berger, Thomas Auer, Gernot Bachler, Stefan Scherer, Axel Pinz
3D Model Based Pose Determination in Real-Time: Strategies, Convergence, Accurac. ICPR (2000)
Martin Berger, Kohei Honda
The Two-Phase Commitment Protocol in an Extended pi-Calculus. EXPRESS (2000)
Martin Berger, Vassili Kravtchenko-Berejnoi, Stefan Scherer
Fitting 3D Models To 2D Imagery: A Physics Based Approach. MVA (2000)
Martin Berger, Gernot Bachler, Stefan Scherer
Vision Guided Bin Picking and Mounting in a Flexible Assembly Cell. IEA/AIE (2000)
Gernot Bachler, Martin Berger, Reinhard Röhrer, Stefan Scherer, Axel Pinz
A Vision Driven Automatic Assembly Unit. CAIP (1999)
Martin Berger, Guido Gerig
Motion Measurements in Low-Contrast X-ray Imagery. MICCAI (1998)
Martin Berger, Gaudenz Danuser
Deformable Multi Template Matching with Application to Portal Images. CVPR (1997)
Martin Berger
Visualisierung in der Umweltinformatik - Aktivitäten im Umfeld von AVS. Visualisierung von Umweltdaten (1994)
Martin Berger, Ralf Denzer
Arbeitsgruppe Visualisierung. Visualisierung von Umweltdaten (1994)
Martin Berger
Application Visualization System (AVS). Sichtsysteme (1991)

Martin Berger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Berger