Holger Bock Axelsen


Ontology type: schema:Person     


Person Info

NAME

Holger Bock

SURNAME

Axelsen

Publications in SciGraph latest 50 shown

  • 2016-08-06 A Classical Propositional Logic for Reasoning About Reversible Logic Circuits in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION
  • 2016-07-06 The Degree of Irreversibility in Deterministic Finite Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA
  • 2016-06-30 Elements of a Reversible Object-Oriented Language in REVERSIBLE COMPUTATION
  • 2016-06-30 Boosting Reversible Pushdown Machines by Preprocessing in REVERSIBLE COMPUTATION
  • 2016-02-26 Reversible Shrinking Two-Pushdown Automata in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2016-01-27 On reversible Turing machines and their function universality in ACTA INFORMATICA
  • 2016 Join Inverse Categories as Models of Reversible Recursion in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2015-12-09 Programming Techniques for Reversible Comparison Sorts in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2015-06-20 A Hierarchy of Fast Reversible Turing Machines in REVERSIBLE COMPUTATION
  • 2015-06-20 Towards a Domain-Specific Language for Reversible Assembly Sequences in REVERSIBLE COMPUTATION
  • 2013 Garbage-Free Reversible Integer Multiplication with Constants of the Form 2k±2l±1 in REVERSIBLE COMPUTATION
  • 2013 Strength of the Reversible, Garbage-Free 2k ±1 Multiplier in REVERSIBLE COMPUTATION
  • 2013 Reversible Representation and Manipulation of Constructor Terms in the Heap in REVERSIBLE COMPUTATION
  • 2012 Time Complexity of Tape Reduction for Reversible Turing Machines in REVERSIBLE COMPUTATION
  • 2012 Towards a Reversible Functional Language in REVERSIBLE COMPUTATION
  • 2012 A Reversible Processor Architecture and Its Reversible Logic Design in REVERSIBLE COMPUTATION
  • 2012 Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2011 What Do Reversible Programs Compute? in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2011 Clean Translation of an Imperative Reversible Programming Language in COMPILER CONSTRUCTION
  • 2011 A Simple and Efficient Universal Reversible Turing Machine in LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
  • 2008-01-01 Reversible Flowchart Languages and the Structured Reversible Program Theorem in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2008-01-01 Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder in UNCONVENTIONAL COMPUTING
  • 2007-01-01 Reversible Machine Code and Its Abstract Processor Architecture in COMPUTER SCIENCE – THEORY AND APPLICATIONS
  • Affiliations

    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.5254.6", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Axelsen", 
        "givenName": "Holger Bock", 
        "id": "sg:person.015546427711.73", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-0034-2874"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015546427711.73", 
          "https://orcid.org/0000-0002-0034-2874"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:57", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_80.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.015546427711.73'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...