Gianna Bellè

According to our database, Gianna Bellè authored at least 6 papers between 1995 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

From Detection to Diagnosis: A Layered Hybrid Framework for Anomaly Characterization in Maritime Sensor Streams.

Nadeem Iftikhar, Cosmin-Stefan Raita, Aziz Kadem, David Buncek, Matthew Haze Trinh, Yi-Chen Lin, Anders Vestergaard, Gianna Bellè

Proceedings of the 17th International Joint Conference on Knowledge Discovery, 2025

1999

Monads, shapely functors, and traversals.

Eugenio Moggi, Gianna Bellè, C. Barry Jay

Proceedings of the Conference on Category Theory and Computer Science, 1999

1997

Typed Intermediate Languages for Shape Analysis.

Gianna Bellè, Eugenio Moggi

Proceedings of the Typed Lambda Calculi and Applications, 1997

1996

Functorial ML.

Gianna Bellè, C. Barry Jay, Eugenio Moggi

Proceedings of the Programming Languages: Implementations, 1996

1995

A Fixed-Point Theorem in a Category of Compact Metric Spaces.

Fabio Alessi, Paolo Baldan, Gianna Bellè

Theor. Comput. Sci., 1995

Solutions of functorial and non-functorial metric domain equations.

Fabio Alessi, Paolo Baldan, Gianna Bellè, Jan J. M. M. Rutten

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995