Sign in
Christoph Huber
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 5
Top Topics
Software Modules
Case Study
Myocardial Motion
Formal Specification
Top Venues
INDIN
CoRR
IEEE Trans. Biomed. Circuits Syst.
</>
Publications
</>
Marius Krüger
,
Birgit Vogel-Heuser
,
Dominik Hujo
,
Christoph Huber
,
Johannes Schwarz
,
Boris Lohmann
,
Fabian Kreutmayr
,
Markus Imlauer
Execution Time Oriented Design of an Adaptive Controller for Mobile Machines.
INDIN
(2023)
Alyssa Blackburn
,
Christoph Huber
,
Yossi Eliaz
,
Muhammad Saad Shamim
,
David Weisz
,
Goutham Seshadri
,
Kevin Kim
,
Shengqi Hang
,
Erez Lieberman Aiden
Cooperation among an anonymous group protected Bitcoin during failures of decentralization.
CoRR
(2022)
Juliane Fischer
,
Birgit Vogel-Heuser
,
Christoph Huber
,
Markus Felger
,
Matthias Bengel
Reuse Assessment of IEC 61131-3 Control Software Modules Using Metrics - An Industrial Case Study.
INDIN
(2021)
Birgit Vogel-Heuser
,
Christoph Huber
,
Suhyun Cha
,
Bernhard Beckert
Integration of a formal specification approach into CPPS engineering workflow for machinery validation.
INDIN
(2021)
Adrian Zurbuchen
,
Andreas Haeberlin
,
Alois Pfenniger
,
Lukas Bereuter
,
Jakob Schaerer
,
Frank Jutzi
,
Christoph Huber
,
Juerg Fuhrer
,
Rolf Vogel
Towards Batteryless Cardiac Implantable Electronic Devices - The Swiss Way.
IEEE Trans. Biomed. Circuits Syst.
11 (1) (2017)
Sebastian Martin
,
Christoph Huber
,
Peter Kaufmann
,
Markus H. Gross
Shape-Preserving Animation of Deformable Objects.
VMV
(2009)