Georg Struth


Ontology type: schema:Person     


Person Info

NAME

Georg

SURNAME

Struth

Publications in SciGraph latest 50 shown

  • 2021-11-10 Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs in FORMAL METHODS
  • 2021-10-31 Predicate Transformer Semantics for Hybrid Systems in JOURNAL OF AUTOMATED REASONING
  • 2021-10-22 Effect Algebras, Girard Quantales and Complementation in Separation Logic in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2021-10-22 ℓr-Multisemigroups, Modal Quantales and the Origin of Locality in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2020-04-01 Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2020-04-01 Generating Posets Beyond N in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2019-11-04 Categorical Information Flow in THE ART OF MODELLING COMPUTATIONAL SYSTEMS: A JOURNEY FROM LOGIC AND CONCURRENCY TO SECURITY AND PRIVACY
  • 2019-10-20 Cylindric Kleene Lattices for Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2019-09-23 A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic in UNIFYING THEORIES OF PROGRAMMING
  • 2018-10-06 Verifying Hybrid Systems with Modal Kleene Algebra in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2017-01-11 A Discrete Geometric Model of Concurrent Program Execution in UNIFYING THEORIES OF PROGRAMMING
  • 2016-11-08 Modal Kleene Algebra Applied to Program Correctness in FM 2016: FORMAL METHODS
  • 2016-09-22 Schedulers and Finishers: On Generating the Behaviours of an Event Structure in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2016
  • 2015-11-20 Building program construction and verification tools from algebraic principles in FORMAL ASPECTS OF COMPUTING
  • 2015-11-08 Relational Formalisations of Compositions and Liftings of Multirelations in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2015-06-09 A Program Construction and Verification Tool for Separation Logic in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2014-12-03 On the Fine-Structure of Regular Algebra in JOURNAL OF AUTOMATED REASONING
  • 2014 Lightweight Program Construction and Verification Tools in Isabelle/HOL in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2014 Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2014 Algebras for Program Correctness in Isabelle/HOL in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2014 Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools in FM 2014: FORMAL METHODS
  • 2014 Developments in Concurrent Kleene Algebra in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2013 Modelling Computing Systems, Mathematics for Computer Science in NONE
  • 2013 Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL in INTERACTIVE THEOREM PROVING
  • 2013 An Event Structure Model for Probabilistic Concurrent Kleene Algebra in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2012 On Completeness of Omega-Regular Algebras in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2012 Dependently Typed Programming Based on Automated Theorem Proving in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2012 Automated Analysis of Regular Algebra in AUTOMATED REASONING
  • 2012 Automated Reasoning in Higher-Order Regular Algebra in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2012 Correctness of Object Oriented Models by Extended Type Inference in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2012
  • 2011 Omega Algebras and Regular Equations in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2011 Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2011 On Locality and the Exchange Law for Concurrent Processes in CONCUR 2011 – CONCURRENCY THEORY
  • 2011 Integrating an Automated Theorem Prover into Agda in NASA FORMAL METHODS
  • 2011 Automating Algebraic Methods in Isabelle in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2011 On Probabilistic Kleene Algebras, Automata and Simulations in RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE
  • 2010 On Automated Program Construction and Verification in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2009-02 Automated verification of refinement laws in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 2009 Concurrent Kleene Algebra in CONCUR 2009 - CONCURRENCY THEORY
  • 2009 Foundations of Concurrent Kleene Algebra in RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE
  • 2009 Domain and Antidomain Semigroups in RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE
  • 2008-01-01 On Automating the Calculus of Relations in AUTOMATED REASONING
  • 2008-01-01 Modal Semirings Revisited in MATHEMATICS OF PROGRAM CONSTRUCTION
  • 2008-01-01 Non-termination in Idempotent Semirings in RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE
  • 2008-01-01 The Structure of the One-Generated Free Domain Semiring in RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE
  • 2008-01-01 Domain Axioms for a Family of Near-Semirings in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • 2007-01-01 Automated Reasoning in Kleene Algebra in AUTOMATED DEDUCTION – CADE-21
  • 2006 Quantales and Temporal Logics in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • 2006 Knuth-Bendix Completion as a Data Structure in RELATIONAL METHODS IN COMPUTER SCIENCE
  • 2006 wp Is wlp in RELATIONAL METHODS IN COMPUTER SCIENCE
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.11835.3e", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7752.7", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7307.3", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.1001.0", 
            "type": "Organization"
          }
        ], 
        "familyName": "Struth", 
        "givenName": "Georg", 
        "id": "sg:person.011000131703.33", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011000131703.33"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-06-01T22:53", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/person/person_820.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.011000131703.33'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.011000131703.33'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.011000131703.33'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.011000131703.33'


     




    Preview window. Press ESC to close (or click here)


    ...