Rocco De Nicola


Ontology type: schema:Person     


Person Info

NAME

Rocco

SURNAME

De Nicola

Publications in SciGraph latest 50 shown

  • 2019 Transparency in Keyword Faceted Search: An Investigation on Google Shopping in DIGITAL LIBRARIES: SUPPORTING OPEN SCIENCE
  • 2018-10-31 DReAM: Dynamic Reconfigurable Architecture Modeling in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 The Meaning of Adaptation: Mastering the Unforeseen? in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 GoAt: Attribute-Based Interaction in Google Go 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-05-27 A Formal Approach to the Engineering of Domain-Specific Distributed Systems in COORDINATION MODELS AND LANGUAGES
  • 2018 A Distributed Coordination Infrastructure for Attribute-Based Interaction in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS
  • 2018 Multi-agent Systems with Virtual Stigmergy in SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS
  • 2017-09-27 Verifying Properties of Systems Relying on Attribute-Based Communication in MODELED, TESTED, TRUSTED
  • 2017 AErlang: Empowering Erlang with Attribute-Based Communication in COORDINATION MODELS AND LANGUAGES
  • 2017 AErlang at Work in SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2016 Tuple Spaces Implementations and Their Efficiency in COORDINATION MODELS AND LANGUAGES
  • 2016 On the Power of Attribute-Based Communication in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS
  • 2016 Programming of CAS Systems by Relying on Attribute-Based Communication in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016 Replicating Data for Better Performances in X10 in SEMANTICS, LOGICS, AND CALCULI
  • 2016 Dynamic SLAs for Clouds in SERVICE-ORIENTED AND CLOUD COMPUTING
  • 2015-02 Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes in ACTA INFORMATICA
  • 2015 A Homage to Martin Wirsing in SOFTWARE, SERVICES, AND SYSTEMS
  • 2015 Replica-Based High-Performance Tuple Space Computing in COORDINATION MODELS AND LANGUAGES
  • 2015 The SCEL Language: Design, Implementation, Verification in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2015 On Integrating Social and Sensor Networks for Emergency Management in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2015 Global Protocol Implementations via Attribute-Based Communication in PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY
  • 2015 Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2015 A Formal Approach to Autonomic Systems Programming: The SCEL Language in FORMAL ASPECTS OF COMPONENT SOFTWARE
  • 2014 Programming and Verifying Component Ensembles in FROM PROGRAMS TO SYSTEMS. THE SYSTEMS PERSPECTIVE IN COMPUTING
  • 2014 Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS
  • 2014 Trust-Based Enforcement of Security Policies in TRUSTWORTHY GLOBAL COMPUTING
  • 2014 Formalising Adaptation Patterns for Autonomic Ensembles in FORMAL ASPECTS OF COMPONENT SOFTWARE
  • 2014 Reasoning (on) Service Component Ensembles in Rewriting Logic in SPECIFICATION, ALGEBRA, AND SOFTWARE
  • 2014 Self-expression and Dynamic Attribute-Based Ensembles in SCEL in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLOGIES FOR MASTERING CHANGE
  • 2014 Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations in TRUSTWORTHY GLOBAL COMPUTING
  • 2014 Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLOGIES FOR MASTERING CHANGE
  • 2013 A Language-Based Approach to Autonomic Computing in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2013 Network-Aware Evaluation Environment for Reputation Systems in TRUST MANAGEMENT VII
  • 2012 Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2012 Orchestrating Tuple-Based Languages in TRUSTWORTHY GLOBAL COMPUTING
  • 2011 Linear-Time and May-Testing in a Probabilistic Reactive Setting in FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS
  • 2011 SoSL: A Service-Oriented Stochastic Logic in RIGOROUS SOFTWARE ENGINEERING FOR SERVICE-ORIENTED SYSTEMS
  • 2011 Core Calculi for Service-Oriented Computing in RIGOROUS SOFTWARE ENGINEERING FOR SERVICE-ORIENTED SYSTEMS
  • 2010 Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes in TRUSTWORTHLY GLOBAL COMPUTING
  • 2009 On a Uniform Framework for the Definition of Stochastic Process Languages in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • 2009 Provably Correct Implementations of Services in TRUSTWORTHY GLOBAL COMPUTING
  • 2009 Rate-Based Transition Systems for Stochastic Process Calculi in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2008 Sessions and Pipelines for Structured Service Programming in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS
  • 2008 Ugo Montanari in a Nutshell in CONCURRENCY, GRAPHS AND MODELS
  • 2008 Implementing Session Centered Calculi in COORDINATION MODELS AND LANGUAGES
  • 2008 From Flow Logic to Static Type Systems for Coordination Languages in COORDINATION MODELS AND LANGUAGES
  • 2008 TAPAs: A Tool for the Analysis of Process Algebras in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY I
  • 2007 Sensoria Process Calculi for Service-Oriented Computing in TRUSTWORTHY GLOBAL COMPUTING
  • 2006 SCC: A Service Centered Calculus in WEB SERVICES AND FORMAL METHODS
  • 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.8404.8", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "De Nicola", 
        "givenName": "Rocco", 
        "id": "sg:person.07767717642.84", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07767717642.84"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:08", 
        "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_1896.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.07767717642.84'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...