Eleonora Nesterini

Orcid: 0000-0002-1229-5331

According to our database¹, Eleonora Nesterini authored at least 4 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Mining Hyperproperties using Temporal Logics.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., October, 2023

Mining Specification Parameters for Multi-class Classification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2022

Survey on mining signal temporal logic specifications.

[BibT_eX]

[DOI]

Inf. Comput., 2022

2021

Mining Shape Expressions with ShapeIt.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Eleonora Nesterini

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...