Thoraco - abdominal compression decompression for CPR (TACD-CPR)
Thoraco - abdominal compression decompression for CPR (TACD-CPR)
Fritz Sterz
(ORCID: 0000-0001-5038-9083)
Wissenschaftsdisziplinen
Klinische Medizin (100%)
Keywords
-
Cardiopulmonary resuscitation Coronary perfusion pressure Compression decompression External cardial compression cardiac arrest,
Cardiac Arrest,
Cardiopulmonary resu,
Compression decompre,
Coronary perfusion p,
External cardial com
Forschungsstätte(n)
Research Output
- 6563 Zitationen
- 57 Publikationen
Publikationen
-
2019
Titel A Faithful Binary Circuit Model DOI 10.1109/tcad.2019.2937748 Typ Journal Article Autor Függer M Journal IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Seiten 2784-2797 Link Publikation -
2019
Titel Transistor-Level Analysis of Dynamic Delay Models DOI 10.1109/async.2019.00019 Typ Conference Proceeding Abstract Autor Maier J Seiten 76-85 Link Publikation -
2019
Titel A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors DOI 10.1007/978-3-030-31304-3_10 Typ Book Chapter Autor Lamp J Verlag Springer Nature Seiten 188-206 -
2019
Titel Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things DOI 10.1109/seams.2019.00021 Typ Conference Proceeding Abstract Autor Tsigkanos C Seiten 100-106 -
2020
Titel Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling DOI 10.1109/tcad.2020.3012803 Typ Journal Article Autor Pavlogiannis A Journal IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Seiten 3981-3992 -
2019
Titel The Involution Tool for Accurate Digital Timingand Power Analysis DOI 10.1109/patmos.2019.8862165 Typ Conference Proceeding Abstract Autor Öhlinger D Seiten 1-8 Link Publikation -
2018
Titel Quantitative Regular Expressions for Arrhythmia Detection DOI 10.1109/tcbb.2018.2885274 Typ Journal Article Autor Abbas H Journal IEEE/ACM Transactions on Computational Biology and Bioinformatics Seiten 1586-1597 Link Publikation -
2018
Titel A Robust Genetic Algorithm for Learning Temporal Specifications from Data DOI 10.1007/978-3-319-99154-2_20 Typ Book Chapter Autor Nenzi L Verlag Springer Nature Seiten 323-338 -
2018
Titel Maehara-style modal nested calculi DOI 10.1007/s00153-018-0636-1 Typ Journal Article Autor Kuznets R Journal Archive for Mathematical Logic Seiten 359-385 Link Publikation -
2018
Titel Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications DOI 10.1007/978-3-319-75632-5_5 Typ Book Chapter Autor Bartocci E Verlag Springer Nature Seiten 135-175 -
2018
Titel Introduction to Runtime Verification DOI 10.1007/978-3-319-75632-5_1 Typ Book Chapter Autor Bartocci E Verlag Springer Nature Seiten 1-33 -
2018
Titel Parallel reachability analysis of hybrid systems in XSpeed DOI 10.1007/s10009-018-0485-6 Typ Journal Article Autor Gurung A Journal International Journal on Software Tools for Technology Transfer Seiten 401-423 -
2018
Titel An Algebraic Framework for Runtime Verification DOI 10.1109/tcad.2018.2858460 Typ Journal Article Autor Jakšic S Journal IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Seiten 2233-2243 Link Publikation -
2018
Titel Self-Stabilizing High-Speed Communication in Multi-Synchronous GALS Architectures DOI 10.1109/iolts.2018.8474221 Typ Conference Proceeding Abstract Autor Perner M Seiten 157-164 -
2018
Titel Quantitative monitoring of STL with edit distance DOI 10.1007/s10703-018-0319-x Typ Journal Article Autor Jakšic S Journal Formal Methods in System Design Seiten 83-112 Link Publikation -
2020
Titel On the radius of nonsplit graphs and information dissemination in dynamic networks DOI 10.1016/j.dam.2020.02.013 Typ Journal Article Autor Függer M Journal Discrete Applied Mathematics Seiten 257-264 Link Publikation -
2019
Titel On linear-time data dissemination in dynamic rooted trees DOI 10.1016/j.dam.2018.08.015 Typ Journal Article Autor Zeiner M Journal Discrete Applied Mathematics Seiten 307-319 Link Publikation -
2019
Titel Consensus in rooted dynamic networks with short-lived stability DOI 10.1007/s00446-019-00348-0 Typ Journal Article Autor Winkler K Journal Distributed Computing Seiten 443-458 Link Publikation -
2018
Titel Multicomponent proof-theoretic method for proving interpolation properties DOI 10.1016/j.apal.2018.08.007 Typ Journal Article Autor Kuznets R Journal Annals of Pure and Applied Logic Seiten 1369-1418 Link Publikation -
2018
Titel A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks DOI 10.1109/tcns.2016.2609138 Typ Journal Article Autor Bartocci E Journal IEEE Transactions on Control of Network Systems Seiten 308-320 Link Publikation -
2018
Titel Gracefully degrading consensus and k-set agreement in directed dynamic networks DOI 10.1016/j.tcs.2018.02.019 Typ Journal Article Autor Biely M Journal Theoretical Computer Science Seiten 41-77 Link Publikation -
2015
Titel Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic DOI 10.1007/978-3-319-26916-0_9 Typ Book Chapter Autor Bartocci E Verlag Springer Nature Seiten 156-172 -
2017
Titel A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms DOI 10.1145/3009837.3009860 Typ Conference Proceeding Abstract Autor Konnov I Seiten 719-734 Link Publikation -
2017
Titel Runtime Monitoring with Recovery of the SENT Communication Protocol DOI 10.1007/978-3-319-63387-9_17 Typ Book Chapter Autor Selyunin K Verlag Springer Nature Seiten 336-355 -
2017
Titel Introduction to the special issue on runtime verification DOI 10.1007/s10703-017-0287-6 Typ Journal Article Autor Bartocci E Journal Formal Methods in System Design Seiten 1-4 -
2017
Titel Automated competitive analysis of real-time scheduling with graph games DOI 10.1007/s11241-017-9293-4 Typ Journal Article Autor Chatterjee K Journal Real-Time Systems Seiten 166-207 Link Publikation -
2017
Titel A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage DOI 10.1007/978-3-319-66335-7_8 Typ Book Chapter Autor Baldi M Verlag Springer Nature Seiten 123-139 -
2017
Titel Policy learning in continuous-time Markov decision processes using Gaussian Processes DOI 10.1016/j.peva.2017.08.007 Typ Journal Article Autor Bartocci E Journal Performance Evaluation Seiten 84-100 Link Publikation -
2017
Titel Quantitative Regular Expressions for Arrhythmia Detection Algorithms DOI 10.1007/978-3-319-67471-1_2 Typ Book Chapter Autor Abbas H Verlag Springer Nature Seiten 23-39 -
2017
Titel Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms DOI 10.1007/s10703-017-0297-4 Typ Journal Article Autor Konnov I Journal Formal Methods in System Design Seiten 270-307 Link Publikation -
2017
Titel On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability DOI 10.1016/j.ic.2016.03.006 Typ Journal Article Autor Konnov I Journal Information and Computation Seiten 95-109 Link Publikation -
2016
Titel Fast consensus under eventually stabilizing message adversaries DOI 10.1145/2833312.2833323 Typ Conference Proceeding Abstract Autor Schwarz M Seiten 1-10 Link Publikation -
2016
Titel Temporal Logic as Filtering DOI 10.1145/2883817.2883839 Typ Conference Proceeding Abstract Autor Rodionova A Seiten 11-20 Link Publikation -
2018
Titel On the Strongest Message Adversary for Consensus in Directed Dynamic Networks DOI 10.1007/978-3-030-01325-7_13 Typ Book Chapter Autor Schmid U Verlag Springer Nature Seiten 102-120 -
2016
Titel Feedback Control for Statistical Model Checking of Cyber-Physical Systems DOI 10.1007/978-3-319-47166-2_4 Typ Book Chapter Autor Kalajdzic K Verlag Springer Nature Seiten 46-61 -
2016
Titel Discrete Abstraction of Multiaffine Systems DOI 10.1007/978-3-319-47151-8_9 Typ Book Chapter Autor Kong H Verlag Springer Nature Seiten 128-144 -
2016
Titel Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent DOI 10.1007/978-3-319-43425-4_17 Typ Book Chapter Autor Bartocci E Verlag Springer Nature Seiten 244-259 -
2015
Titel Time Complexity of Link Reversal Routing DOI 10.1145/2644815 Typ Journal Article Autor Charron-Bost B Journal ACM Transactions on Algorithms (TALG) Seiten 1-39 Link Publikation -
2015
Titel Abstraction-Based Parameter Synthesis for Multiaffine Systems DOI 10.1007/978-3-319-26287-1_2 Typ Book Chapter Autor Bogomolov S Verlag Springer Nature Seiten 19-35 -
2017
Titel ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans DOI 10.1007/978-3-662-54580-5_17 Typ Book Chapter Autor Lukina A Verlag Springer Nature Seiten 286-302 -
2017
Titel First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 DOI 10.1007/s10009-017-0454-5 Typ Journal Article Autor Bartocci E Journal International Journal on Software Tools for Technology Transfer Seiten 31-70 Link Publikation -
2017
Titel A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms DOI 10.1145/3093333.3009860 Typ Journal Article Autor Konnov I Journal ACM SIGPLAN Notices Seiten 719-734 Link Publikation -
2016
Titel Quantitative Monitoring of STL with Edit Distance DOI 10.1007/978-3-319-46982-9_13 Typ Book Chapter Autor Jakšic S Verlag Springer Nature Seiten 201-218 -
2016
Titel Computational Modeling, Formal Analysis, and Tools for Systems Biology DOI 10.1371/journal.pcbi.1004591 Typ Journal Article Autor Bartocci E Journal PLOS Computational Biology Link Publikation -
2015
Titel From Signal Temporal Logic to FPGA Monitors DOI 10.1109/memcod.2015.7340489 Typ Conference Proceeding Abstract Autor Jaksic S Seiten 218-227 -
2015
Titel Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth DOI 10.1145/2676726.2676979 Typ Conference Proceeding Abstract Autor Chatterjee K Seiten 97-109 -
2015
Titel Quantitative Interprocedural Analysis DOI 10.1145/2676726.2676968 Typ Conference Proceeding Abstract Autor Chatterjee K Seiten 539-551 -
2015
Titel XSpeed: Accelerating Reachability Analysis on Multi-core Processors DOI 10.1007/978-3-319-26287-1_1 Typ Book Chapter Autor Ray R Verlag Springer Nature Seiten 3-18 -
2015
Titel The effect of forgetting on the performance of a synchronizer DOI 10.1016/j.peva.2015.08.002 Typ Journal Article Autor Függer M Journal Performance Evaluation Seiten 1-16 Link Publikation -
2015
Titel Quantitative Interprocedural Analysis DOI 10.1145/2775051.2676968 Typ Journal Article Autor Chatterjee K Journal ACM SIGPLAN Notices Seiten 539-551 -
2015
Titel Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth DOI 10.1145/2775051.2676979 Typ Journal Article Autor Chatterjee K Journal ACM SIGPLAN Notices Seiten 97-109 -
2014
Titel A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks DOI 10.1109/rtss.2014.9 Typ Conference Proceeding Abstract Autor Chatterjee K Seiten 118-127 Link Publikation -
2011
Titel Relationship between time to target temperature and outcome in patients treated with therapeutic hypothermia after cardiac arrest DOI 10.1186/cc10116 Typ Journal Article Autor Haugk M Journal Critical Care Link Publikation -
2007
Titel Strict normoglycaemic blood glucose levels in the therapeutic management of patients within 12h after cardiac arrest might not be necessary DOI 10.1016/j.resuscitation.2007.08.003 Typ Journal Article Autor Losert H Journal Resuscitation Seiten 214-220 -
2008
Titel Effect of cooling after human cardiac arrest on myocardial infarct size DOI 10.1016/j.resuscitation.2008.08.019 Typ Journal Article Autor Koreny M Journal Resuscitation Seiten 56-60 -
2002
Titel Mild Therapeutic Hypothermia to Improve the Neurologic Outcome after Cardiac Arrest DOI 10.1056/nejmoa012689 Typ Journal Article Journal The New England Journal of Medicine Seiten 549-556 Link Publikation -
2013
Titel Runtime verification of embedded real-time systems DOI 10.1007/s10703-013-0199-z Typ Journal Article Autor Reinbacher T Journal Formal Methods in System Design Seiten 203-239 Link Publikation