{rfName}

Indexed in

License and use

Licencia

Citations

1

Altmetrics

Analysis of institutional authors

Hermenegildo Salinas, Manuel DeAuthorRustenholz, LouisAuthorMorales Caballero, José FranciscoAuthor

Share

Publications
>
Article

An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.

Publicated to:Static Analysis Symposium. 14995 352-385 - 2024-10-20 14995(), DOI: https://doi.org/10.1007/978-3-031-74776-2_14

Authors: Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo

Affiliations

Abstract

Keywords

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2025-06-10:

  • Google Scholar: 1

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2025-06-10:

  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 1 (PlumX).

Leadership analysis of institutional authors

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (RUSTENHOLZ, LOUIS) and Last Author (HERMENEGILDO SALINAS, MANUEL DE).