Michael Kirkedal Thomsen

Ontology type: schema:Person     

Person Info


Michael Kirkedal



Publications in SciGraph latest 50 shown

  • 2020-05-12 Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation in REVERSIBLE COMPUTATION: EXTENDING HORIZONS OF COMPUTING
  • 2018-08-22 Encryption and Reversible Computations in REVERSIBLE COMPUTATION
  • 2018-08-22 : A Typed Functional Reversible Core Language in REVERSIBLE COMPUTATION
  • 2017-01-11 Hardness of Deriving Invertible Sequences from Finite State Machines in SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2016-06-30 Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs in REVERSIBLE COMPUTATION
  • 2015-06-20 Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics in REVERSIBLE COMPUTATION
  • 2013 Garbageless Reversible Implementation of Integer Linear Transformations 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 White Dots do Matter: Rewriting Reversible Logic Circuits in REVERSIBLE COMPUTATION
  • 2012 Describing and Optimising Reversible Logic Using a Functional Language in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES
  • 2012 A Reversible Processor Architecture and Its Reversible Logic Design in REVERSIBLE COMPUTATION
  • 2012 Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits in REVERSIBLE COMPUTATION
  • 2008-01-01 Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder in UNCONVENTIONAL COMPUTING
  • 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"
            "id": "http://www.grid.ac/institutes/grid.7704.4", 
            "type": "Organization"
        "familyName": "Thomsen", 
        "givenName": "Michael Kirkedal", 
        "id": "sg:person.015013323443.10", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:58", 
        "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_934.jsonl", 
        "type": "Person"

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


    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.015013323443.10'

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

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

    Turtle is a human-readable linked data format.

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

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

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


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