E-LIB Suche - Ergebnisse für: Di Stasio, Antonio

1

Application of a Quality-Specific Environmental Risk Index ..:

Signorelli, Daniel ; D'Auria, Luigi Jacopo ; Di Stasio, Antonio...
Agriculture. 13 (2023) 5 - p. 998 , 2023

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

2

Compositional Safety LTL Synthesis:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Bansal, Suguman ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 1-19 , 2023

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

3

$${\textsc {ltl}}_f$$ Synthesis Under Environment Specifica..:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,

Aminof, Benjamin ; De Giacomo, Giuseppe ; Di Stasio, Antonio... - p. 263-279 , 2023

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

4

Inorganic elements profiling in milk from buffalo farms of ..:

Rofrano, Giuseppe ; Esposito, Mauro ; Pizzolante, Antonio...
Journal of Trace Elements and Minerals. 3 (2023) - p. 100046 , 2023

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

5

Assessment of Saliva Specimens' Reliability for COVID-19 Su..:

Pierri, Biancamaria ; Tafuro, Maria ; Cuomo, Maria Concetta...
Frontiers in Public Health. 10 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

6

Finite-trace and generalized-reactivity specifications in t..:

De Giacomo, Giuseppe ; Di Stasio, Antonio ; Tabajara, Lucas M...
Formal Methods in System Design. 61 (2022) 2-3 - p. 139-163 , 2022

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

7

Dioxins and dioxin-like PCBs in buffalo milk from the Campa..:

Cavallo, Stefania ; Lambiase, Sara ; Serpe, Francesco Paolo...
Science of The Total Environment. 794 (2021) - p. 148504 , 2021

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

8

A Smart Road Application: The A2 Mediterranean Highway Proj..:

, In: Advanced Information Networking and Applications; Lecture Notes in Networks and Systems,

Henke, Ilaria ; Bifulco, Gennaro Nicola ; Carteni, Armando.. - p. 690-700 , 2021

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

9

Improving parity games in practice:

Di Stasio, Antonio ; Murano, Aniello ; Prignano, Vincenzo.
Annals of Mathematics and Artificial Intelligence. 89 (2021) 5-6 - p. 551-574 , 2021

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

10

Population-Based Human Biomonitoring in the 'Land of Fires'..:

Pierri, Biancamaria ; Buonerba, Carlo ; Coppola, Annachiara...
Future Science OA. 7 (2020) 1 - p. , 2020

Link: https://doi.org/10.2144/..

11

Dynamic Escape Game:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,

Di Stasio, Antonio ; Lambiase, Paolo Domenico ; Malvone, Vadim. - p. 1806-1808 , 2018

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

12

A Game Theoretic Approach to Attack Graphs:

Catta, Davide ; Di Stasio, Antonio ; Leneutre, Jean..
info:eu-repo/semantics/altIdentifier/doi/10.5220/0011776900003393. , 2023

Link: https://hal.science/hal-..

13

A Game Theoretic Approach to Attack Graphs:

Catta, Davide ; Di Stasio, Antonio ; Leneutre, Jean..
info:eu-repo/semantics/altIdentifier/doi/10.5220/0011776900003393. , 2023

Link: https://hal.science/hal-..

14

A Game Theoretic Approach to Attack Graphs:

Catta, Davide ; Di Stasio, Antonio ; Leneutre, Jean..
info:eu-repo/semantics/altIdentifier/doi/10.5220/0011776900003393. , 2023

Link: https://hal.science/hal-..

15

A Game Theoretic Approach to Attack Graphs:

Catta, Davide ; Di Stasio, Antonio ; Leneutre, Jean..
info:eu-repo/semantics/altIdentifier/doi/10.5220/0011776900003393. , 2023

Link: https://hal.science/hal-..