E-LIB Suche - Ergebnisse für: De Angelis, Emanuele

1

The great debate: Surgical outcomes of laparoscopic versus ..:

Giannini, Andrea ; Cuccu, Ilaria ; D'Auge, Tullio Golia...
European Journal of Obstetrics & Gynecology and Reproductive Biology. 297 (2024) - p. 50-58 , 2024

Link: https://doi.org/10.1016/..

2

A Historical Perspective on Program Transformation and Rece..:

, In: Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Pettorossi, Alberto ; Proietti, Maurizio ; Fioravanti, Fabio. - p. 16-38 , 2024

Link: https://dl.acm.org/doi/1..

3

Flight dynamic modeling and stability of a small-scale side..:

Mazzeo, Francesco ; Pavel, Marilena D. ; Fattizzo, Daniele...
Aerospace Science and Technology. 148 (2024) - p. 109117 , 2024

Link: https://doi.org/10.1016/..

4

Constrained Horn Clauses Satisfiability via Catamorphic Abs..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto. - p. 39-57 , 2023

Link: https://doi.org/10.1007/..

5

A Classification Study on Testing and Verification of AI-ba..:

, In: 2023 IEEE International Conference On Artificial Intelligence Testing (AITest),

De Angelis, Emanuele ; De Angelis, Guglielmo ; Proietti, Maurizio - p. 1-8 , 2023

Link: https://doi.org/10.1109/..

6

Role of Genomic and Molecular Biology in the Modulation of ..:

Cuccu, Ilaria ; D'Oria, Ottavia ; Sgamba, Ludovica...
Healthcare. 11 (2023) 4 - p. 571 , 2023

Link: https://doi.org/10.3390/..

7

Stability and control issues of multirotor suspended load t..:

de Angelis, Emanuele L. ; Giulietti, Fabrizio
Aerospace Science and Technology. 135 (2023) - p. 108201 , 2023

Link: https://doi.org/10.1016/..

8

What makes test programs similar in microservices applicati..:

De Angelis, Emanuele ; De Angelis, Guglielmo ; Pellegrini, Alessandro.
Journal of Systems and Software. 201 (2023) - p. 111674 , 2023

Link: https://doi.org/10.1016/..

9

Multiple Query Satisfiability of Constrained Horn Clauses:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto. - p. 125-143 , 2023

Link: https://doi.org/10.1007/..

10

Robotic vs. laparoscopic approach in obese patients with en..:

Golia D'Augè, Tullio ; Cuccu, Ilaria ; De Angelis, Emanuele...
Oncologie. 26 (2023) 1 - p. 59-64 , 2023

Link: https://doi.org/10.1515/..

11

Logic-Based Program Synthesis and Transformation: 31st Inte..

Lecture Notes in Computer Science, 13290

De Angelis, Emanuele ; Vanhoof, Wim - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

12

Verifying Catamorphism-Based Contracts using Constrained Ho..:

DE ANGELIS, EMANUELE ; PROIETTI, MAURIZIO ; FIORAVANTI, FABIO.
Theory and Practice of Logic Programming. 22 (2022) 4 - p. 555-572 , 2022

Link: https://doi.org/10.1017/..

13

Satisfiability of constrained Horn clauses on algebraic dat..:

De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto.
Journal of Logic and Computation. 32 (2022) 2 - p. 402-442 , 2022

Link: https://doi.org/10.1093/..

14

Two-timescale magnetic attitude control of Low-Earth-Orbit ..:

Avanzini, Giulio ; de Angelis, Emanuele L. ; Giulietti, Fabrizio
Aerospace Science and Technology. 116 (2021) - p. 106884 , 2021

Link: https://doi.org/10.1016/..

15

Analysis and Transformation of Constrained Horn Clauses for..:

DE ANGELIS, EMANUELE ; FIORAVANTI, FABIO ; GALLAGHER, JOHN P....
Theory and Practice of Logic Programming. 22 (2021) 6 - p. 974-1042 , 2021

Link: https://doi.org/10.1017/..