Hasil Pencarian - Martin Langé

Perbaiki Hasil
  1. 1
    The Arity Hierarchy in the Polyadic μ-Calculus

    The Arity Hierarchy in the Polyadic μ-Calculus oleh Martin Lange

    Diterbitkan 2015-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Model-Checking the Higher-Dimensional Modal mu-Calculus

    Model-Checking the Higher-Dimensional Modal mu-Calculus oleh Martin Lange, Etienne Lozes

    Diterbitkan 2012-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Local Strategy Improvement for Parity Game Solving

    Local Strategy Improvement for Parity Game Solving oleh Oliver Friedmann, Martin Lange

    Diterbitkan 2010-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs

    The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs oleh Arno Ehle, Norbert Hundeshagen, Martin Lange

    Diterbitkan 2018-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Analysis of the Unsteady Flow Field in a Steam Turbine Control Valve using Spectral Proper Orthogonal Decomposition

    Analysis of the Unsteady Flow Field in a Steam Turbine Control Valve using Spectral Proper Orthogonal Decomposition oleh Christian Windemuth, Martin Lange, Ronald Mailach

    Diterbitkan 2021-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity

    The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity oleh Julian Gutierrez, Felix Klaedtke, Martin Lange

    Diterbitkan 2012-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Investigation of Performance and Rotor Tip Flow Field in a Low Speed Research Compressor with Circumferential Groove Casing Treatment at Varying Tip Clearance

    Investigation of Performance and Rotor Tip Flow Field in a Low Speed Research Compressor with Circumferential Groove Casing Treatment at Varying Tip Clearance oleh Matthias Rolfes, Martin Lange, Ronald Mailach

    Diterbitkan 2017-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    Buffered Simulation Games for Büchi Automata

    Buffered Simulation Games for Büchi Automata oleh Milka Hutagalung, Martin Lange, Etienne Lozes

    Diterbitkan 2014-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    The Fixpoint-Iteration Algorithm for Parity Games

    The Fixpoint-Iteration Algorithm for Parity Games oleh Florian Bruse, Michael Falk, Martin Lange

    Diterbitkan 2014-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Exosomes: A New Hope for Angiogenesis-Mediated Bone Regeneration

    Exosomes: A New Hope for Angiogenesis-Mediated Bone Regeneration oleh Martin Lange, Patrick Babczyk, Edda Tobiasch

    Diterbitkan 2024-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    A Comparison of Steam Turbine Control Valve Geometries and Their Dynamic Behavior at Part Load

    A Comparison of Steam Turbine Control Valve Geometries and Their Dynamic Behavior at Part Load oleh Christian Windemuth, Martin Lange, Ronald Mailach

    Diterbitkan 2023-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    A Canonical Model Construction for Iteration-Free PDL with Intersection

    A Canonical Model Construction for Iteration-Free PDL with Intersection oleh Florian Bruse, Daniel Kernberger, Martin Lange

    Diterbitkan 2016-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  13. 13
    Satisfiability Games for Branching-Time Logics

    Satisfiability Games for Branching-Time Logics oleh Oliver Friedmann, Martin Lange, Markus Latte

    Diterbitkan 2013-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  14. 14
    The Complexity of Model Checking Higher-Order Fixpoint Logic

    The Complexity of Model Checking Higher-Order Fixpoint Logic oleh Roland Axelsson, Martin Lange, Rafal Somla

    Diterbitkan 2007-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  15. 15
    Influence of anthropogenic climate gas changes on the summer mesospheric/lower thermospheric meridional wind

    Influence of anthropogenic climate gas changes on the summer mesospheric/lower thermospheric meridional wind oleh Christoph Jacobi, Martin Lange, Dierk Kü rschner

    Diterbitkan 2003-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  16. 16
    Model-Checking Process Equivalences

    Model-Checking Process Equivalences oleh Martin Lange, Etienne Lozes, Manuel Vargas Guzmán

    Diterbitkan 2012-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  17. 17
    Relevance of indirect transmission for wildlife disease surveillance

    Relevance of indirect transmission for wildlife disease surveillance oleh Martin Lange, Stephanie Kramer-Schadt, Hans-Hermann Thulke

    Diterbitkan 2016-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  18. 18
    Workplace health promotion interventions for nurses in Germany: a systematic review based on the RE-AIM framework

    Workplace health promotion interventions for nurses in Germany: a systematic review based on the RE-AIM framework oleh Andrea Schaller, Madeleine Gernert, Teresa Klas, Martin Lange

    Diterbitkan 2022-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  19. 19
    Health literacy, health status and health behaviors of German students– study protocol for the “Healthy Habits” cohort study

    Health literacy, health status and health behaviors of German students– study protocol for the “Healthy Habits” cohort study oleh Martin Lange, Alexandra Löwe, Gerrit Stassen, Andrea Schaller

    Diterbitkan 2021-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  20. 20
    Physical activity interventions in workplace health promotion: objectives, related outcomes, and consideration of the setting—a scoping review of reviews

    Physical activity interventions in workplace health promotion: objectives, related outcomes, and consideration of the setting—a scoping review of reviews oleh Andrea Schaller, Gerrit Stassen, Lukas Baulig, Martin Lange

    Diterbitkan 2024-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: