Torben Amtoft


Ontology type: schema:Person     


Person Info

NAME

Torben

SURNAME

Amtoft

Publications in SciGraph latest 50 shown

  • 2016 A Theory of Slicing for Probabilistic Control Flow Graphs in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2012 A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow in PRINCIPLES OF SECURITY AND TRUST
  • 2010-01-23 Specification and Checking of Software Contracts for Conditional Information Flow in DESIGN AND VERIFICATION OF MICROPROCESSOR SYSTEMS FOR HIGH-ASSURANCE APPLICATIONS
  • 2010 Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2008-12 Flow-sensitive type systems and the ambient calculus in HIGHER-ORDER AND SYMBOLIC COMPUTATION
  • 2008 Specification and Checking of Software Contracts for Conditional Information Flow in FM 2008: FORMAL METHODS
  • 2005 A New Foundation for Control-Dependence and Slicing for Modern Program Structures in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2004 Polya:True Type Polymorphism for Mobile Ambients in EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS
  • 2004 Information Flow Analysis in Logical Form in STATIC ANALYSIS
  • 2002-10 UTRA/FDD RF Transceiver Requirements in WIRELESS PERSONAL COMMUNICATIONS
  • 2002 The Abstraction and Instantiation of String-Matching Programs in THE ESSENCE OF COMPUTATION
  • 2001-03-23 What Are Polymorphically-Typed Ambients? in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2000 Faithful Translations between Polyvariant Flows and Polymorphic Types in PROGRAMMING LANGUAGES AND SYSTEMS
  • 1998-11 Behavior analysis for validating communication patterns in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 1998 Behaviour analysis and safety conditions: A case study in CML in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 1997 Polymorphic subtyping for effect analysis: The static semantics in ANALYSIS AND VERIFICATION OF MULTIPLE-AGENT LANGUAGES
  • 1997 Polymorphic subtyping for effect analysis: The dynamic semantics in ANALYSIS AND VERIFICATION OF MULTIPLE-AGENT LANGUAGES
  • 1997 Polymorphic subtyping for effect analysis: The algorithm in ANALYSIS AND VERIFICATION OF MULTIPLE-AGENT LANGUAGES
  • 1994 Local type reconstruction by means of symbolic fixed point iteration in PROGRAMMING LANGUAGES AND SYSTEMS — ESOP '94
  • 1993 Minimal thunkification in STATIC ANALYSIS
  • 1992 Unfold/fold transformations preserving termination properties in PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING
  • 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": "https://www.grid.ac/institutes/grid.36567.31", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Amtoft", 
        "givenName": "Torben", 
        "id": "sg:person.016640255573.65", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016640255573.65"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:51", 
        "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_1632.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.016640255573.65'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...