Agostino Cortesi


Ontology type: schema:Person     


Person Info

NAME

Agostino

SURNAME

Cortesi

Publications in SciGraph latest 50 shown

  • 2022-01-14 Relational String Abstract Domains in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2021-10-23 A Patient-Centric Nurse Scheduling Algorithm in SN COMPUTER SCIENCE
  • 2021-09-22 Construction of Materialized Views in Non-Binary Data Space in ADVANCED COMPUTING AND SYSTEMS FOR SECURITY: VOLUME 14
  • 2021-09-22 Dynamic Prioritization of Software Requirements for Incremental Software Development in ADVANCED COMPUTING AND SYSTEMS FOR SECURITY: VOLUME 14
  • 2021-08-18 ALEA: An Anonymous Leader Election Algorithm for Synchronous Distributed Systems in PROGRESS IN IMAGE PROCESSING, PATTERN RECOGNITION AND COMMUNICATION SYSTEMS
  • 2021-06-19 Requirement-oriented risk management for incremental software development in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
  • 2021-05-31 Construction and distribution of materialized views in Non-binary data space in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
  • 2021-05-31 Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
  • 2021-02-02 Sentence Embedding Models for Similarity Detection of Software Requirements in SN COMPUTER SCIENCE
  • 2021-01-12 Twinning Automata and Regular Expressions for String Static Analysis in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2021-01-03 Skyline computation over multiple points and dimensions in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
  • 2020-11-24 Static analysis for discovering IoT vulnerabilities in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2020-07-23 Intents Analysis of Android Apps for Confidentiality Leakage Detection in ADVANCED COMPUTING AND SYSTEMS FOR SECURITY
  • 2019-12-13 Preventing Additive Attacks to Relational Database Watermarking in RESEARCH AND PRACTICAL ISSUES OF ENTERPRISE INFORMATION SYSTEMS
  • 2019-10-22 Completeness of Abstract Domains for String Analysis of JavaScript Programs in THEORETICAL ASPECTS OF COMPUTING – ICTAC 2019
  • 2019-10-02 String Abstraction for Model Checking of C Programs in MODEL CHECKING SOFTWARE
  • 2019-09-14 Replaceability and negotiation in a cloud service ecosystem in JOURNAL OF CLOUD COMPUTING
  • 2019-08-11 Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT
  • 2019-08-11 Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT
  • 2019-06-29 Penetration Testing ROS in ROBOT OPERATING SYSTEM (ROS)
  • 2019-01-17 Enhancing Security in ROS in ADVANCED COMPUTING AND SYSTEMS FOR SECURITY
  • 2018-12-09 Static Analysis of Android Apps Interaction with Automotive CAN in SMART COMPUTING AND COMMUNICATION
  • 2018-09-05 MySQL Extension Automatic Porting to PDO for PHP Migration and Security Improvement in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT
  • 2018-07-06 SROS1: Using and Developing Secure ROS1 Systems in ROBOT OPERATING SYSTEM (ROS)
  • 2018-01-28 Combining Symbolic and Numerical Domains for Information Leakage Analysis in TRANSACTIONS ON COMPUTATIONAL SCIENCE XXXI
  • 2017-11-02 Introduction to special issue on ‘intelligent computing and adaptive systems’ in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
  • 2017-05-17 Blockchain Transaction Analysis Using Dominant Sets in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT
  • 2016-11-26 WiFi-Related Energy Consumption Analysis of Mobile Devices in a Walkable Area by Abstract Interpretation in DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY
  • 2016-11-15 Building Game Scripting DSL’s with the Metacasanova Metacompiler in INTELLIGENT TECHNOLOGIES FOR INTERACTIVE ENTERTAINMENT
  • 2016-09-17 DAPA: Degradation-Aware Privacy Analysis of Android Apps in SECURITY AND TRUST MANAGEMENT
  • 2016-04-07 A uniform representation of multi-variant data in intensive-query databases in INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING
  • 2016 Hyper-lattice Algebraic Model for Data Warehousing in NONE
  • 2016-01-01 Data Leakage Analysis of the Hibernate Query Language on a Propositional Formulae Domain in TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS XXIII
  • 2015-11-03 Materialized View Construction Using Linearizable Nonlinear Regression in ADVANCED COMPUTING AND SYSTEMS FOR SECURITY
  • 2015-10-30 Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT
  • 2015-10-30 Policy-Based Slicing of Hibernate Query Language in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT
  • 2015-10-17 Verification of Hibernate Query Language by Abstract Interpretation in INTELLIGENCE SCIENCE AND BIG DATA ENGINEERING. BIG DATA AND MACHINE LEARNING TECHNIQUES
  • 2015-05-28 Casanova: A Simple, High-Performance Language for Game Development in SERIOUS GAMES
  • 2015 Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2014 Information-Flow Analysis of Hibernate Query Language in FUTURE DATA AND SECURITY ENGINEERING
  • 2013 Typing Legacy COBOL Code in SOFTWARE AND DATA TECHNOLOGIES
  • 2013 The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software in FORMAL METHODS AND SOFTWARE ENGINEERING
  • 2013 Distortion-Free Authentication Watermarking. in SOFTWARE AND DATA TECHNOLOGIES
  • 2013 Fine Grained Access Control for Relational Databases by Abstract Interpretation in SOFTWARE AND DATA TECHNOLOGIES
  • 2013 Abstract Interpretation of Recursive Queries in DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY
  • 2012 Linear Approximation of Continuous Systems with Trapezoid Step Functions in PROGRAMMING LANGUAGES AND SYSTEMS
  • 2012 A New Scale for Attribute Dependency in Large Database Systems in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT
  • 2011 Observation-Based Fine Grained Access Control for XML Documents in COMPUTER INFORMATION SYSTEMS – ANALYSIS AND TECHNOLOGIES
  • 2011 KPIs from Web Agents for Policies’ Impact Analysis and Products’ Brand Assessment in COMPUTER INFORMATION SYSTEMS – ANALYSIS AND TECHNOLOGIES
  • 2011 Information Leakage Analysis by Abstract Interpretation in SOFSEM 2011: THEORY AND PRACTICE OF 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", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.7240.1", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.10383.39", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.59056.3f", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.6520.1", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.29857.31", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.450293.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.481554.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.266100.3", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5608.b", 
            "type": "Organization"
          }
        ], 
        "familyName": "Cortesi", 
        "givenName": "Agostino", 
        "id": "sg:person.016321602075.60", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-0946-5440"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016321602075.60", 
          "https://orcid.org/0000-0002-0946-5440"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-05-20T08:04", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/person/person_692.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.016321602075.60'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

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

    37 TRIPLES      11 PREDICATES      21 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.016321602075.60 schema:affiliation Ne9e1cbfbb2ed409eb73c2a6b4930f030
    2 grid-institutes:grid.10383.39
    3 grid-institutes:grid.266100.3
    4 grid-institutes:grid.29857.31
    5 grid-institutes:grid.450293.9
    6 grid-institutes:grid.481554.9
    7 grid-institutes:grid.5608.b
    8 grid-institutes:grid.59056.3f
    9 grid-institutes:grid.6520.1
    10 schema:familyName Cortesi
    11 schema:givenName Agostino
    12 schema:identifier Nc0db46f4fc6e42f6926c13df0dce3a69
    13 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016321602075.60
    14 https://orcid.org/0000-0002-0946-5440
    15 schema:sdDatePublished 2022-05-20T08:04
    16 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    17 schema:sdPublisher N8d67936122d343b8b09655e35a916c28
    18 sgo:license sg:explorer/license/
    19 sgo:sdDataset persons
    20 rdf:type schema:Person
    21 N8d67936122d343b8b09655e35a916c28 schema:name Springer Nature - SN SciGraph project
    22 rdf:type schema:Organization
    23 Nc0db46f4fc6e42f6926c13df0dce3a69 schema:name orcid_id
    24 schema:value 0000-0002-0946-5440
    25 rdf:type schema:PropertyValue
    26 Ne9e1cbfbb2ed409eb73c2a6b4930f030 schema:affiliation grid-institutes:grid.7240.1
    27 sgo:isCurrent true
    28 rdf:type schema:OrganizationRole
    29 grid-institutes:grid.10383.39 schema:Organization
    30 grid-institutes:grid.266100.3 schema:Organization
    31 grid-institutes:grid.29857.31 schema:Organization
    32 grid-institutes:grid.450293.9 schema:Organization
    33 grid-institutes:grid.481554.9 schema:Organization
    34 grid-institutes:grid.5608.b schema:Organization
    35 grid-institutes:grid.59056.3f schema:Organization
    36 grid-institutes:grid.6520.1 schema:Organization
    37 grid-institutes:grid.7240.1 schema:Organization
     




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


    ...