Autor der Publikation

Temperature dependence and thermodynamic properties of Ca$^2+$ sparks in rat cardiomyocytes.

, , , , , und . Biophys. J., 89 (4): 2533--2541 (Oktober 2005)
DOI: 10.1529/biophysj.105.067074

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Certified Verification for Algebraic Abstraction., , , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 329-349. Springer, (2023)CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver., , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 149-171. Springer, (2021)CoqCryptoLine: A Verified Model Checker with Certified Results., , , , , und . CAV (2), Volume 13965 von Lecture Notes in Computer Science, Seite 227-240. Springer, (2023)Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE., , , , , und . IACR Cryptol. ePrint Arch., (2022)Signed Cryptographic Program Verification with Typed CryptoLine., , , , , und . CCS, Seite 1591-1606. ACM, (2019)autofz: Automated Fuzzer Composition at Runtime., , und . USENIX Security Symposium, Seite 1901-1918. USENIX Association, (2023)A novel sparse representation method based on virtual samples for face recognition., , , , und . Neural Comput. Appl., 24 (3-4): 513-519 (2014)Adaptive NN Backstepping With Considering Integral of Tracking Error., , , , und . IEEE Access, (2020)A Deep Decomposition Network for Image Processing: A Case Study for Visible and Infrared Image Fusion., , und . CoRR, (2021)PPT Fusion: Pyramid Patch Transformerfor a Case Study in Image Fusion., , , und . CoRR, (2021)