Michele Soavi

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 5

Top Topics

Semantic Annotation

Specification Languages

Legal Reasoning

Top Venues

REFSQ Workshops

Publications

Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
Contratto - A Method for Transforming Legal Contracts into Formal Specifications. RCIS (2022)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
From Legal Contracts to Formal Specifications: A Systematic Literature Review. SN Comput. Sci. 3 (5) (2022)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
Semantic Annotation of Legal Contracts with ContrattoA. Informatics 9 (4) (2022)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
From Legal Contracts to Formal Specifications: A Progress Report. REFSQ Workshops (2021)
Michele Soavi, Nicola Zeni, John Mylopoulos, Luisa Mich
ContracT - from Legal Contracts to Formal Specifications: Preliminary Results. PoEM (2020)