Free University of Bozen-Bolzano — Italy
Computer Science · Physical Sciences
10h-index346citations78works1.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(35), Formal Methods in Verification(26), Business Process Modeling and Analysis(23), Logic, Reasoning, and Knowledge(20), Semantic Web and Ontologies(19)
Publications77 total
Sustainability·2026Open Access
Information and Software Technology·2025Open Access
Frontiers in artificial intelligence and applications·2025Open Access
Lecture notes in computer science·2025
Lecture notes in computer science·2025· 1 cited
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025· 1 citedOpen Access
KI - Künstliche Intelligenz·2025· 2 citedOpen Access
Lecture notes in computer science·2025
Information Systems·2024· 2 citedOpen Access
Data & Knowledge Engineering·2024· 1 citedOpen Access
Proceedings of the AAAI Conference on Artificial Intelligence·2024· 3 citedOpen Access
Lecture notes in business information processing·2024Open Access
Lecture notes in computer science·2024· 1 cited
SSRN Electronic Journal·2024Open Access
Lecture notes in computer science·2024· 16 citedOpen Access
arXiv (Cornell University)·2023Open Access
arXiv (Cornell University)·2023· 2 citedOpen Access
page 1 of 4Next →
Frequent Co-authors
Marco Montali(22), Alessandro Gianola(15), Aart Middeldorp(14), Paolo Felli(13), Andrey Rivkin(5), Harald Zankl(5), Christian Sternagel(5), Haruhiko Sato(4), Nao Hirokawa(4), Masahito Kurihara(3), René Thiemann(3), Luca Geatti(2), Nicola Gigante(2), Fabio Patrizi(2), Akihisa Yamada(2), Miriam De J. Velásquez-Hernández(1), Efwita Astria(1), Weibin Liang(1), Helmar Wiltsche(1), Arpita Poddar(1)