BOTTONI, Paolo Gaspare
BOTTONI, Paolo Gaspare
DIPARTIMENTO DI INFORMATICA
"Do the gestures you think of"Proceedings of the Biannual Conference of the Italian Chapter of SIGCHI on - CHItaly '13
2013 Talamo, Alessandra; Ventura, Stefano; Giorgi, Sabina; Miguel, Ceriani; Bottoni, Paolo Gaspare; Mellini, Barbara
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
2021 Bottoni, P.; Labella, A.
A Cooperative-Relational Approach to Digital Libraries
2007 A., Malizia; Bottoni, Paolo Gaspare; LEVIALDI GHIRON, Stefano; J. F., ASTORGA PALIZA
A dataflow platform for applications based on Linked Data
2018 Bottoni, Paolo Gaspare
A dataflow platform for in-silico experiments based on linked data
2014 Bottoni, Paolo Gaspare; Miguel, Ceriani
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
2018 Bottoni, Paolo Gaspare; Gorla, Daniele; Kasangian, Stefano; Labella, Anna
A Dynamic Environment for Video Surveillance
2009 Bottoni, Paolo Gaspare; DE MARSICO, Maria; LEVIALDI GHIRON, Stefano; Giovanni, Ottieri; Mario, Pierro; Daniela, Quaresima
A formal model for ledger management systems based on contracts and temporal logic
2022 Bottoni, Paolo; Labella, Anna; Pareschi, Remo
A formal model for ledger management systems based on contracts and temporal logic
2022 Bottoni, Paolo Gaspare; Labella, Anna; Pareschi, Remo
A General-purpose Context Modeling Architecture for Adaptive Mobile Services
2008 T., Pederson; C., Ardito; Bottoni, Paolo Gaspare; M. F., Costabile
A human computer interactions framework for biometric user identification
2016 Kanev, KAMEN DIMITROV; DE MARSICO, Maria; Bottoni, Paolo Gaspare
A language-independent and formal approach to pattern-based modelling with support for composition and analysis
2010 Bottoni, Paolo Gaspare; Esther, Guerra; Juan De, Lara
A notion of information related to computation
1997 S., DI ZENZO; Bottoni, Paolo Gaspare; P., Mussio
A suite of metamodels as a basis for a classification of visual languages
2004 Bottoni, Paolo Gaspare; A., Grau
A system for form-feature-based interpretation of technical drawings
1995 Bottoni, Paolo Gaspare; U., Cugini; P., Mussio; C., Papetti; M., Protti
A Termination Criterion for Graph Transformations with NACs
2010 Bottoni, Paolo Gaspare; PARISI PRESICCE, Francesco
A Transformation-Based Metamodel Approach to the Definition of Syntax and Semantics of Diagrammatic Languages
2007 Bottoni, Paolo Gaspare; Dino, Frediani; Paolo, Quattrocchi; L., Rende; G., Sarajlic; D., Ventriglia
A user interface to build interactive visualizations for the semantic web
2013 Bottoni, Paolo Gaspare; Ceriani, MICHELE GEREMIA; S., Valentini
A Visualization of OCL using Collaborations
2001 Bottoni, Paolo Gaspare; Koch, M.; PARISI PRESICCE, Francesco; Taentzer, G.
Accepting Networks of Evolutionary Picture Processors
2014 Bottoni, Paolo Gaspare; Labella, Anna; Victor, Mitrana