Manuel V Hermenegildo


Ontology type: schema:Person     


Person Info

NAME

Manuel V

SURNAME

Hermenegildo

Publications in SciGraph latest 50 shown

  • 2021-02-13 Testing Your (Static Analysis) Truths in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2020-04-22 Incremental Analysis of Logic Programs with Assertions and Open Predicates in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2020-04-22 A General Framework for Static Cost Analysis of Parallel Logic Programs in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2020-04-22 Computing Abstract Distances in Logic Programs in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2020-04-22 An Integrated Approach to Assertion-Based Random Testing in Prolog in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2020 Cost Analysis of Smart Contracts Via Parametric Resource Analysis in STATIC ANALYSIS
  • 2019-02-23 Multivariant Assertion-Based Guidance in Abstract Interpretation in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2018-07-10 Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2017-12-22 Exploiting Term Hiding to Reduce Run-Time Checking Overhead in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2016-09-25 Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR in FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
  • 2016-02-21 A Transformational Approach to Parametric Accumulated-Cost Static Profiling in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2015-04-23 Pre-indexed Terms for Prolog in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2014-12-11 Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2013 Reversible Language Extensions and Their Application in Debugging in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2013 Supporting Pruning in Tabled LP in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2012-11-17 A sharing-based approach to supporting adaptation in service compositions in COMPUTING
  • 2012 A Constraint-Based Approach to Quality Assurance in Service Choreographies in SERVICE-ORIENTED COMPUTING
  • 2012 A General Implementation Framework for Tabled CLP in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2012 A Segment-Swapping Approach for Executing Trapped Computations in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2012 Modular Extensions for Modular (Logic) Languages in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2012 Interval-Based Resource Usage Verification: Formalization and Prototype in FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
  • 2011 An Overview of the Ciao System in RULE-BASED REASONING, PROGRAMMING, AND APPLICATIONS
  • 2011 Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations in SERVICE-ORIENTED COMPUTING
  • 2011 Logic Languages in ENCYCLOPEDIA OF PARALLEL COMPUTING
  • 2011 Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2010-04 Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses in NEW GENERATION COMPUTING
  • 2010 Program Parallelization Using Synchronized Pipelining in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2010 Automatic Fragment Identification in Workflows Based on Sharing Analysis in SERVICE-ORIENTED COMPUTING
  • 2010 An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring in SERVICE-ORIENTED COMPUTING. ICSOC/SERVICEWAVE 2009 WORKSHOPS
  • 2009 Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework in LOGIC PROGRAMMING
  • 2009 A Tabling Implementation Based on Variables with Multiple Bindings in LOGIC PROGRAMMING
  • 2008-02 Abstraction-Carrying Code: a Model for Mobile Code Safety in NEW GENERATION COMPUTING
  • 2008-01-01 Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2008 Negative Ternary Set-Sharing in LOGIC PROGRAMMING
  • 2008 A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation in LOGIC PROGRAMMING
  • 2008 An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy in CONCURRENCY, GRAPHS AND MODELS
  • 2008 Towards a Complete Scheme for Tabled Execution Based on Program Transformation in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2008-01-01 An Improved Continuation Call-Based Implementation of Tabling in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2008 Efficient Set Sharing Using ZBDDs in LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING
  • 2008 Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2008-01-01 Precise Set Sharing Analysis for Java-Style Programs in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
  • 2008 A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2008 A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism in LOGIC PROGRAMMING
  • 2008-01-01 Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models in COMPILER CONSTRUCTION
  • 2008 Identification of Heap–Carried Data Dependence Via Explicit Store Heap Models in LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING
  • 2007-01-01 Towards Description and Optimization of Abstract Machines in an Extension of Prolog in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2007-01-01 User-Definable Resource Bounds Analysis for Logic Programs in LOGIC PROGRAMMING
  • 2007-01-01 A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework in LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING
  • 2007-01-01 Automatic Binding-Related Error Diagnosis in Logic Programs in LOGIC PROGRAMMING
  • 2006 Abstract Interpretation with Specialized Definitions in STATIC ANALYSIS
  • 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.482873.2", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.429045.e", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.266832.b", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5690.a", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5515.4", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7489.2", 
            "type": "Organization"
          }
        ], 
        "familyName": "Hermenegildo", 
        "givenName": "Manuel V", 
        "id": "sg:person.016231041373.11", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-7583-323X"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11", 
          "https://orcid.org/0000-0002-7583-323X"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-06-01T22:52", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/person/person_770.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.016231041373.11'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    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.016231041373.11 schema:affiliation Nf2a5c15dbe6f4cedb06cc05d48db2580
    2 grid-institutes:grid.266832.b
    3 grid-institutes:grid.429045.e
    4 grid-institutes:grid.5515.4
    5 grid-institutes:grid.5690.a
    6 grid-institutes:grid.7489.2
    7 schema:familyName Hermenegildo
    8 schema:givenName Manuel V
    9 schema:identifier N6bb1cf7151824c64a4c208894d525c87
    10 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016231041373.11
    11 https://orcid.org/0000-0002-7583-323X
    12 schema:sdDatePublished 2022-06-01T22:52
    13 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    14 schema:sdPublisher Nbe57ce3b2ed84f4f977b542a32c7ff35
    15 sgo:license sg:explorer/license/
    16 sgo:sdDataset persons
    17 rdf:type schema:Person
    18 N6bb1cf7151824c64a4c208894d525c87 schema:name orcid_id
    19 schema:value 0000-0002-7583-323X
    20 rdf:type schema:PropertyValue
    21 Nbe57ce3b2ed84f4f977b542a32c7ff35 schema:name Springer Nature - SN SciGraph project
    22 rdf:type schema:Organization
    23 Nf2a5c15dbe6f4cedb06cc05d48db2580 schema:affiliation grid-institutes:grid.482873.2
    24 sgo:isCurrent true
    25 rdf:type schema:OrganizationRole
    26 grid-institutes:grid.266832.b schema:Organization
    27 grid-institutes:grid.429045.e schema:Organization
    28 grid-institutes:grid.482873.2 schema:Organization
    29 grid-institutes:grid.5515.4 schema:Organization
    30 grid-institutes:grid.5690.a schema:Organization
    31 grid-institutes:grid.7489.2 schema:Organization
     




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


    ...