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