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: )

Disciplines

Clinical Medicine (100%)

Keywords

    Diabetes Mellitus Obesity Insulin Resistance Glucose Metabolism Skeletal Muscle, Diabetes Mellitus, Glucose Metabolism, Insulin Resistance, Obesity, Skeletal Muscle

Research institution(s)
Project participants

Research Output

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