Nicola Paoletti


Ontology type: schema:Person     


Person Info

NAME

Nicola

SURNAME

Paoletti

Publications in SciGraph latest 50 shown

  • 2021-10-06 Neural Predictive Monitoring Under Partial Observability in RUNTIME VERIFICATION
  • 2021-06-07 ANEGMA: an automated negotiation model for e-markets in AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS
  • 2021-05-24 Neural predictive monitoring and a comparison of frequentist and Bayesian approaches in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2020-08-10 Neural Simplex Architecture in NASA FORMAL METHODS
  • 2019-10-01 Neural Predictive Monitoring in RUNTIME VERIFICATION
  • 2019-09-23 Conformal Predictions for Hybrid System State Classification in FROM REACTIVE SYSTEMS TO CYBER-PHYSICAL SYSTEMS
  • 2018-09-30 Neural State Classification for Hybrid Systems in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2018-01-26 Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters in COMPUTER AIDED SYSTEMS THEORY – EUROCAST 2017
  • 2017-11-12 SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2017-09-01 Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2017-08-11 RODES: A Robust-Design Synthesis Tool for Probabilistic Systems in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2017-07-13 Syntax-Guided Optimal Synthesis for Chemical Reaction Networks in COMPUTER AIDED VERIFICATION
  • 2016-04-09 PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-03-28 Precise parameter synthesis for stochastic biochemical systems in ACTA INFORMATICA
  • 2015-09-02 Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2015 Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques in HYBRID SYSTEMS BIOLOGY
  • 2014-03-08 DISPAS: An Agent-Based Tool for the Management of Fishing Effort in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2014 Analyzing and Synthesizing Genomic Logic Functions in COMPUTER AIDED VERIFICATION
  • 2014 On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SPECIALIZED TECHNIQUES AND APPLICATIONS
  • 2014 Precise Parameter Synthesis for Stochastic Biochemical Systems in COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY
  • 2013 Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach in PROCEEDINGS OF THE EUROPEAN CONFERENCE ON COMPLEX SYSTEMS 2012
  • 2012-09-07 Modelling osteomyelitis in BMC BIOINFORMATICS
  • 2012 Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study in TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XIV
  • 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.4970.a", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4991.5", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.24488.32", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.36425.36", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5602.1", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.4464.2", 
            "type": "Organization"
          }
        ], 
        "familyName": "Paoletti", 
        "givenName": "Nicola", 
        "id": "sg:person.014036566653.01", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-4723-5363"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01", 
          "https://orcid.org/0000-0002-4723-5363"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:59", 
        "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_988.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.014036566653.01'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    31 TRIPLES      11 PREDICATES      18 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.014036566653.01 schema:affiliation N0cf92108d09c4dbc9c909f33cf8135b9
    2 grid-institutes:grid.24488.32
    3 grid-institutes:grid.36425.36
    4 grid-institutes:grid.4464.2
    5 grid-institutes:grid.4991.5
    6 grid-institutes:grid.5602.1
    7 schema:familyName Paoletti
    8 schema:givenName Nicola
    9 schema:identifier Ne5b9b14b7f5a4cada47dfceab9a39167
    10 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014036566653.01
    11 https://orcid.org/0000-0002-4723-5363
    12 schema:sdDatePublished 2022-01-01T19:59
    13 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    14 schema:sdPublisher N50dcd5013c72453c8144297593f70f55
    15 sgo:license sg:explorer/license/
    16 sgo:sdDataset persons
    17 rdf:type schema:Person
    18 N0cf92108d09c4dbc9c909f33cf8135b9 schema:affiliation grid-institutes:grid.4970.a
    19 sgo:isCurrent true
    20 rdf:type schema:OrganizationRole
    21 N50dcd5013c72453c8144297593f70f55 schema:name Springer Nature - SN SciGraph project
    22 rdf:type schema:Organization
    23 Ne5b9b14b7f5a4cada47dfceab9a39167 schema:name orcid_id
    24 schema:value 0000-0002-4723-5363
    25 rdf:type schema:PropertyValue
    26 grid-institutes:grid.24488.32 schema:Organization
    27 grid-institutes:grid.36425.36 schema:Organization
    28 grid-institutes:grid.4464.2 schema:Organization
    29 grid-institutes:grid.4970.a schema:Organization
    30 grid-institutes:grid.4991.5 schema:Organization
    31 grid-institutes:grid.5602.1 schema:Organization
     




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


    ...