Luca Paolini


Ontology type: schema:Person     


Person Info

NAME

Luca

SURNAME

Paolini

Publications in SciGraph latest 50 shown

  • 2018-07 On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions in NEW GENERATION COMPUTING
  • 2017-10-11 A Formal Model for Multi SPLs in FUNDAMENTALS OF SOFTWARE ENGINEERING
  • 2017 $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations in THEORY AND APPLICATIONS OF MODELS OF COMPUTATION
  • 2015 From Featured Transition Systems to Modal Transition Systems with Variability Constraints in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2012 Call-by-Value Solvability, Revisited in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2009 A Process-Model for Linear Programs in TYPES FOR PROOFS AND PROGRAMS
  • 2006 An Operational Characterization of Strong Normalization in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2004 The Parametric Lambda Calculus, A Metamodel for Computation in NONE
  • 2001 Call-by-Value Separability and Computability in THEORETICAL 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", 
        "familyName": "Paolini", 
        "givenName": "Luca", 
        "id": "sg:person.011754225527.43", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0002-4126-0170"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011754225527.43", 
          "https://orcid.org/0000-0002-4126-0170"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:41", 
        "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_1472.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.011754225527.43'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    This table displays all metadata directly associated to this object as RDF triples.

    16 TRIPLES      10 PREDICATES      12 URIs      7 LITERALS      2 BLANK NODES

    Subject Predicate Object
    1 sg:person.011754225527.43 schema:familyName Paolini
    2 schema:givenName Luca
    3 schema:identifier N4a74a42de0704114915267a1fb7dea2c
    4 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011754225527.43
    5 https://orcid.org/0000-0002-4126-0170
    6 schema:sdDatePublished 2019-03-07T13:41
    7 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    8 schema:sdPublisher Nbf9dc5563cff4babb9682ea8c0eb5e1c
    9 sgo:license sg:explorer/license/
    10 sgo:sdDataset persons
    11 rdf:type schema:Person
    12 N4a74a42de0704114915267a1fb7dea2c schema:name orcid_id
    13 schema:value 0000-0002-4126-0170
    14 rdf:type schema:PropertyValue
    15 Nbf9dc5563cff4babb9682ea8c0eb5e1c schema:name Springer Nature - SN SciGraph project
    16 rdf:type schema:Organization
     




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


    ...