Concepedia

Marco Alberti

MA

Statistics

Publications

21

Citations

739

H-Index

14

Active since

2004

Affiliations

University of Ferrara(Current)

University of Bologna

Universidade Nova de Lisboa

Yale University

University of Modena and Reggio Emilia

Marco Alberti is an author at University of Ferrara specializing in engineering, verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationFormal SpecificationAutomationSystems EngineeringInformation Security

Publications per year

2004–2023

21

Publications

21

Verifiable agent interaction in abductive logic programming

Marco Alberti, Federico Chesani, Marco Gavanelli et al. · ACM Transactions on Computational Logic · 2008 · 156 citations

Computational Logic, Abduction, Engineering +15

A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination

Stefano Balbi, Carlo Giupponi, Pascal Perez et al. · Environmental Modelling & Software · 2012 · 83 citations

Engineering, Alpine Tourism Destination, Geography +12

COMPLIANCE VERIFICATION OF AGENT INTERACTION: A LOGIC-BASED SOFTWARE TOOL

Marco Alberti, Marco Gavanelli, Evelina Lamma et al. · Applied Artificial Intelligence · 2006 · 68 citations

Engineering, Verification, Software Engineering +19

Specification and verification of agent interaction protocols in a logic-based system

Marco Alberti, Davide Daolio, Paolo Torroni et al. · 2004 · 64 citations · Full text

Engineering, Information Security, Verification +18

cplint on SWISH: Probabilistic Logical Inference with a Web Browser

Marco Alberti, Elena Bellodi, Giuseppe Cota et al. · Intelligenza Artificiale · 2017 · 42 citations · Full text

1–5 of 21