Glucose metabolism in Insulin resistant rat skeletal muscle. Sensitivity to the action of Insulin-like compounds and modulation by Troglitazone.
Glucose metabolism in Insulin resistant rat skeletal muscle. Sensitivity to the action of Insulin-like compounds and modulation by Troglitazone.
Werner Waldhäusl
(ORCID: )
Wissenschaftsdisziplinen
Klinische Medizin (100%)
Keywords
-
Diabetes Mellitus Obesity Insulin Resistance Glucose Metabolism Skeletal Muscle,
Diabetes Mellitus,
Glucose Metabolism,
Insulin Resistance,
Obesity,
Skeletal Muscle
Forschungsstätte(n)
Nationale Projektbeteiligte
- Michael Roden, Heinrich-Heine-Universität Düsseldorf , assoziierte:r Forschungspartner:in
Research Output
- 363 Zitationen
- 29 Publikationen
Publikationen
-
2014
Titel Silicon Fault Diagnosis using Sequence Interpolation with Backbones DOI 10.1109/iccad.2014.7001373 Typ Conference Proceeding Abstract Autor Zhu C Seiten 348-355 -
2017
Titel Empirical software metrics for benchmarking of verification tools DOI 10.1007/s10703-016-0264-5 Typ Journal Article Autor Demyanova Y Journal Formal Methods in System Design Seiten 289-316 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 -
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 -
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 -
2015
Titel Reasoning in abstract dialectical frameworks using quantified Boolean formulas DOI 10.1080/19462166.2015.1036922 Typ Journal Article Autor Diller M Journal Argument & Computation Seiten 149-177 Link Publikation -
2015
Titel CEGAR for compositional analysis of qualitative properties in Markov decision processes DOI 10.1007/s10703-015-0235-2 Typ Journal Article Autor Chatterjee K Journal Formal Methods in System Design Seiten 230-264 -
2012
Titel A survey of partial-observation stochastic parity games DOI 10.1007/s10703-012-0164-2 Typ Journal Article Autor Chatterjee K Journal Formal Methods in System Design Seiten 268-284 -
2016
Titel Multi-core on-the-fly SCC decomposition DOI 10.1145/2851141.2851161 Typ Conference Proceeding Abstract Autor Bloemen V Seiten 1-12 Link Publikation -
2016
Titel Tighter Loop Bound Analysis DOI 10.1007/978-3-319-46520-3_32 Typ Book Chapter Autor Cadek P Verlag Springer Nature Seiten 512-527 -
2015
Titel Closure properties and complexity of rational sets of regular languages DOI 10.1016/j.tcs.2015.08.035 Typ Journal Article Autor Holzer A Journal Theoretical Computer Science Seiten 62-79 Link Publikation -
2015
Titel Extending ALCQIO with Trees DOI 10.1109/lics.2015.54 Typ Conference Proceeding Abstract Autor Kotek T Seiten 511-522 -
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 Under-approximating loops in C programs for fast counterexample detection DOI 10.1007/s10703-015-0228-1 Typ Journal Article Autor Kroening D Journal Formal Methods in System Design Seiten 75-92 Link Publikation -
2014
Titel Recurrence relations for graph polynomials on bi-iterative families of graphs DOI 10.1016/j.ejc.2014.03.012 Typ Journal Article Autor Kotek T Journal European Journal of Combinatorics Seiten 47-67 Link Publikation -
2014
Titel Solvability-Based Comparison of Failure Detectors DOI 10.1109/nca.2014.46 Typ Conference Proceeding Abstract Autor Sastry S Seiten 269-276 Link Publikation -
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 Preface of the Special Issue in Memoriam Helmut Veith DOI 10.1007/s10703-017-0307-6 Typ Journal Article Autor Gottlob G Journal Formal Methods in System Design Seiten 267-269 Link Publikation -
2016
Titel Abstraction and mining of traces to explain concurrency bugs DOI 10.1007/s10703-015-0240-5 Typ Journal Article Autor Tabaei Befrouei M Journal Formal Methods in System Design Seiten 1-32 Link Publikation -
2017
Titel Parameterized model checking of rendezvous systems DOI 10.1007/s00446-017-0302-6 Typ Journal Article Autor Aminof B Journal Distributed Computing Seiten 187-222 Link Publikation -
2017
Titel First-cycle games DOI 10.1016/j.ic.2016.10.008 Typ Journal Article Autor Aminof B Journal Information and Computation Seiten 195-216 Link Publikation -
2012
Titel Interpretations in Trees with Countably Many Branches DOI 10.1109/lics.2012.65 Typ Conference Proceeding Abstract Autor Rabinovich A Seiten 551-560 Link Publikation -
2018
Titel Graded modalities in Strategy Logic DOI 10.1016/j.ic.2018.02.022 Typ Journal Article Autor Aminof B Journal Information and Computation Seiten 634-649 Link Publikation -
2018
Titel Using Loop Bound Analysis For Invariant Generation DOI 10.23919/fmcad.2018.8603005 Typ Conference Proceeding Abstract Autor Cadek P Seiten 1-9 -
2018
Titel Complete and Efficient DRAT Proof Checking DOI 10.23919/fmcad.2018.8602993 Typ Conference Proceeding Abstract Autor Rebola-Pardo A Seiten 1-9 -
2018
Titel CTL* with graded path modalities DOI 10.1016/j.ic.2018.05.001 Typ Journal Article Autor Aminof B Journal Information and Computation Seiten 1-21 Link Publikation -
2018
Titel On the complexity of generalized chromatic polynomials DOI 10.1016/j.aam.2017.04.005 Typ Journal Article Autor Goodall A Journal Advances in Applied Mathematics Seiten 71-102 Link Publikation -
2016
Titel Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs DOI 10.1007/s10817-016-9364-6 Typ Journal Article Autor Schlaipfer M Journal Journal of Automated Reasoning Seiten 3-36 Link Publikation -
2018
Titel Randomized testing of distributed systems with probabilistic guarantees DOI 10.1145/3276530 Typ Journal Article Autor Ozkan B Journal Proceedings of the ACM on Programming Languages Seiten 1-28 Link Publikation