Dalila Ressi

Orcid: 0000-0001-5291-5438

According to our database¹, Dalila Ressi authored at least 9 papers between 2018 and 2025.

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

2025

Assessing Code Understanding in LLMs.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2025

2024

Compressing neural networks via formal methods.

[BibT_eX]

[DOI]

Neural Networks, 2024

AI-enhanced blockchain technology: A review of advancements and opportunities.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2024

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis.

[BibT_eX]

[DOI]

CoRR, 2024

A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

2022

Neural Networks Reduction via Lumping.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022

2021

A Relevance-Based CNN Trimming Method for Low-Resources Embedded Vision.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

2018

Neighborhood-Based Recovery of Phase Unwrapping Faults.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Pattern Recognition, 2018

Cross-Dataset Data Augmentation for Convolutional Neural Networks Training.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Pattern Recognition, 2018

Dalila Ressi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...