E-LIB Suche - Ergebnisse für: Marco, Roveri

1

The Primary Lower Gypsum in the Mediterranean: A new facies..:

Stefano, Lugli ; Vinicio, Manzi ; Marco, Roveri.
Palaeogeography, Palaeoclimatology, Palaeoecology. 297 (2010) 1 - p. 83-99 , 2010

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

2

CryptojackingTrap: An Evasion Resilient Nature-Inspired Alg..:

Chahoki, Atefeh Zareh ; Shahriari, Hamid Reza ; Roveri, Marco
IEEE Transactions on Information Forensics and Security. , 2024

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

3

Automated generation of smart contract code from legal cont..:

Rasti, Aidin ; Anda, Amal Ahmed ; Alfuhaid, Sofana...
Software and Systems Modeling. , 2024

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

4

The Messinian salinity crisis onset in Albania: An integrat..:

Bigi, Diego ; Lugli, Stefano ; Manzi, Vinicio...
Palaeogeography, Palaeoclimatology, Palaeoecology. 638 (2024) - p. 112036 , 2024

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

5

Stress precursors of the Messinian salinity crisis as recor..:

Gennari, Rocco ; Lugli, Stefano ; Manzi, Vinicio...
Palaeogeography, Palaeoclimatology, Palaeoecology. 636 (2024) - p. 111970 , 2024

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

6

SymboleoPC: checking properties of legal contracts:

Parvizimosaed, Alireza ; Roveri, Marco ; Rasti, Aidin...
Software and Systems Modeling. , 2024

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

7

Verifying a Stochastic Model for the Spread of a SARS-CoV-2..:

, In: AIxIA 2022 – Advances in Artificial Intelligence; Lecture Notes in Computer Science,

Roveri, Marco ; Ivankovic, Franc ; Palopoli, Luigi. - p. 427-440 , 2023

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

8

Discovery and Identification of Memory Corruption Vulnerabi..:

Salehi, Majid ; Degani, Luca ; Roveri, Marco..
IEEE Transactions on Dependable and Secure Computing. 20 (2023) 2 - p. 1124-1138 , 2023

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

9

Implementing BDI Continual Temporal Planning for Robotic Ag..:

, In: 2023 IEEE International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT),

Zanetti, Alex ; Moro, Devis Dal ; Vreto, Redi... - p. 378-382 , 2023

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

10

Comparing Multi-Agent Path Finding Algorithms in a Real Ind..:

, In: AIxIA 2022 – Advances in Artificial Intelligence; Lecture Notes in Computer Science,

Saccon, Enrico ; Palopoli, Luigi ; Roveri, Marco - p. 184-197 , 2023

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

11

A Markovian model for the spread of the SARS-CoV-2 virus:

Palopoli, Luigi ; Fontanelli, Daniele ; Frego, Marco.
Automatica. 151 (2023) - p. 110921 , 2023

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

12

When graphs meet game theory: a scalable approach for robot..:

, In: 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC),

Tikna, Ahmet ; Roveri, Marco ; Fontanelli, Daniele. - p. 1-8 , 2023

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

13

Symboleo2SC : from legal contract specifications to smar..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Rasti, Aidin ; Amyot, Daniel ; Parvizimosaed, Alireza... - p. 300-310 , 2022

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

14

A Demonstration of BDI-Based Robotic Systems with ROS2:

, In: Lecture Notes in Computer Science; Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection,

Dal Moro, Devis ; Robol, Marco ; Roveri, Marco. - p. 473-479 , 2022

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

15

Specification and analysis of legal contracts with Symboleo:

Parvizimosaed, Alireza ; Sharifi, Sepehr ; Amyot, Daniel...
Software and Systems Modeling. 21 (2022) 6 - p. 2395-2427 , 2022

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