MDVLab: in volo sull'Antartide by Emanuele De Angelis, Fabrizio Giulietti, Matteo Turci

Get full text

The link between MiFID and Risk Appetite Framework as an application of best practices for wealth management and the entire value chain of the financial industry by Gianluca Macchia, Emanuele De Angelis, Michele Vitagliano

Get full text

Lemma Generation for Horn Clause Satisfiability: A Preliminary Study by Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Get full text

Removing Unnecessary Variables from Horn Clause Verification Conditions by Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Get full text

Verification of Imperative Programs by Constraint Logic Program Transformation by Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Get full text

Verification of Programs by Combining Iterated Specialization with Interpolation by Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti

Get full text

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs by Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti

Get full text

In volo con l’occhio termico by Emanuele De Angelis, Fabrizio Giulietti, Matteo Turci, Stefania Amici, Maria Fabrizia Buongiorno

Get full text

In volo con l’occhio termico by Emanuele De Angelis, Fabrizio Giulietti, Matteo Turci, Stefania Amici, Maria Fabrizia Buongiorno

Get full text

Role of Genomic and Molecular Biology in the Modulation of the Treatment of Endometrial Cancer: Narrative Review and Perspectives by Ilaria Cuccu, Ottavia D’Oria, Ludovica Sgamba, Emanuele De Angelis, Tullio Golia D’Augè, Camilla Turetta, Camilla Di Dio, Maria Scudo, Giorgio Bogani, Violante Di Donato, Innocenza Palaia, Giorgia Perniola, Federica Tomao, Ludovico Muzii, Andrea Giannini

Get full text