Stefan Jähnichen


Ontology type: schema:Person     


Person Info

NAME

Stefan

SURNAME

Jähnichen

Publications in SciGraph latest 50 shown

  • 2018-10-31 The Meaning of Adaptation: Mastering the Unforeseen? in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 Modelling the Transition to Distributed Ledgers in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10 Know Your Customer Well — Selbstverwaltete, Authentische Digitale Identitäten in WIRTSCHAFTSINFORMATIK & MANAGEMENT
  • 2018-08 Selbstverwaltete digitale Identitäten für Fahrzeuge im IoT in ATZEXTRA
  • 2018-05-10 Selbstverwaltete digitale Identitäten – Chancen und Herausforderungen für die weltweite Digitalisierung in DIGITALISIERUNG IM SPANNUNGSFELD VON POLITIK, WIRTSCHAFT, WISSENSCHAFT UND RECHT
  • 2017-12 Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers in INFORMATIK-SPEKTRUM
  • 2016 Rigorous Engineering of Collective Adaptive Systems Track Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016 A Library and Scripting Language for Tool Independent Simulation Descriptions in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016 Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2008-03 Manifest: Strategische Bedeutung des Software Engineering für die Medizin in COMPUTER SCIENCE - RESEARCH AND DEVELOPMENT
  • 2008 Die 90er Jahre in INFORMATIKFORSCHUNG IN DEUTSCHLAND
  • 2008 Flying Sensors – Swarms in Space in AUTONOMOUS SYSTEMS – SELF-ORGANIZATION, MANAGEMENT, AND CONTROL
  • 2006 Simulation-Based Testing of Embedded Software in Space Applications in EMBEDDED SYSTEMS – MODELING, TECHNOLOGY, AND APPLICATIONS
  • 2006 A note on the Berlin Brain-Computer Interface in HUMAN INTERACTION WITH MACHINES
  • 2005-06-09 Formalization of algebraic specification in the development language Deva in KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE
  • 2002-08 Was, bitte, bedeutet Objektorientierung? in INFORMATIK-SPEKTRUM
  • 1999-05 Inequities in German research system in NATURE
  • 1998 A Two-Layered Approach to Support Systematic Software Development in REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING
  • 1997-08 KORSO – Korrekte Software durch formale Methoden in COMPUTER SCIENCE - RESEARCH AND DEVELOPMENT
  • 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": "https://www.grid.ac/institutes/grid.6734.6", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "https://www.grid.ac/institutes/grid.419528.3", 
            "type": "Organization"
          }
        ], 
        "familyName": "J\u00e4hnichen", 
        "givenName": "Stefan", 
        "id": "sg:person.01060061215.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060061215.31"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:23", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1185.json", 
        "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.01060061215.31'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...