60 citations · 77 across the 6 of their papers we have counts for
6 papers
Human-Artificial Interaction in the Age of Agentic AI: A System-Theoretical Approach
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
This paper presents a novel perspective on human-computer interaction (HCI), framing it as a dynamic interplay between human and computational agents within a networked system. Goi…
Variants in managing supply chains on distributed ledgers
Paolo Bottoni, Claudio Di Ciccio, Remo Pareschi +2
Smart contracts show a high potential for ensuring that Supply Chain Management strategies make a qualitative leap toward higher levels of optimality, not only in terms of efficien…
A formal model for ledger management systems based on contracts and temporal logic
Paolo Bottoni, Anna Labella, Remo Pareschi
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial…
SWift -- A SignWriting improved fast transcriber
Claudia S. Bianchini, Fabrizio Borgia, Paolo Bottoni +1
We present SWift (SignWriting improved fast transcriber), an advanced editor for computer-aided writing and transcribing using SignWriting (SW). SW is devised to allow deaf people…
Type Annotation for Adaptive Systems
Paolo Bottoni, Andrew Fish, Francesco Parisi Presicce
We introduce type annotations as a flexible typing mechanism for graph systems and discuss their advantages with respect to classical typing based on graph morphisms. In this appro…
An Algebraic Formalization of the GoF Design Patterns
Paolo Bottoni, Esther Guerra, Juan de Lara
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based o…