Eleonora Nesterini

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Survey on mining signal temporal logic specifications
Bartocci, E., Mateis, C., Nesterini, E. & Nickovic, D., 2022, in: Quantum Information & Computation. 289, S. 1-21 21 S.
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Open Access
Mining Shape Expressions with ShapeIt
Bartocci, E., Deshmukh, J. V., Mateis, C., Nesterini, E., Nickovic, D. & Qin, X., 2021, Proceedings of 19th International Conference on Software Engineering and Formal Methods. Springer Nature, S. 110-117 8 S.
Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Open Access

Publikationen