Paolo Bottoni

ORCID

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 36

Top Venues

J. Vis. Lang. Comput.

DMS

CoRR

Theor. Comput. Sci.

Publications

Juan de Lara, Esther Guerra, Paolo Bottoni
Modular language product lines: a graph transformation approach. MoDELS (2022)
Paolo Bottoni, Claudio Di Ciccio, Remo Pareschi, Nicola Gessa, Gilda Massa
Variants in managing supply chains on distributed ledgers. CoRR (2022)
Paolo Bottoni, Rocco De Nicola, Daniele Gorla
Tribute to Anna Labella. J. Log. Algebraic Methods Program. 121 (2021)
Paolo Bottoni, Anna Labella
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting. Theor. Comput. Sci. 862 (2021)
Paolo Bottoni, Anna Labella, Remo Pareschi
A formal model for ledger management systems based on contracts and temporal logic. CoRR (2021)
Paolo Bottoni, Anna Labella
Transactions and contracts based on reaction systems. Theor. Comput. Sci. 881 (2021)
Paolo Bottoni, Remo Pareschi, Domenico Tortola, Nicola Gessa, Gilda Massa
Distributed ledgers to support revenue-sharing business consortia: a Hyperledger-based implementation. ISCC (2021)
Paolo Bottoni, Anna Labella, Grzegorz Rozenberg
Networks of Reaction Systems. Int. J. Found. Comput. Sci. 31 (1) (2020)
Paolo Bottoni, Nicola Gessa, Gilda Massa, Remo Pareschi, Hesham Selim, Enrico Arcuri
Intelligent Smart Contracts for Innovative Supply Chain Management. Frontiers Blockchain 3 (2020)
Claudia S. Bianchini, Fabrizio Borgia, Paolo Bottoni, Maria De Marsico
SWift - A SignWriting improved fast transcriber. CoRR (2019)
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
Modal Epistemic Logic on Contracts: A Doctrinal Approach. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Paolo Bottoni, Francesco Di Tommaso, Emanuele Panizzi
Capturing and using context in a mobile annotation application. MUM (2019)
Paolo Bottoni, Anna Labella, Grzegorz Rozenberg
Reaction systems with influence on environment. J. Membr. Comput. 1 (1) (2019)
Miguel Ceriani, Paolo Bottoni
A dataflow platform for applications based on Linked Data. Int. J. Comput. Sci. Eng. 16 (4) (2018)
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. Math. Struct. Comput. Sci. 28 (4) (2018)
Kamen Kanev, Federico Gelsomini, Paolo Bottoni, Francesco Ficarola, Massimiliano Pedone, Domenico Vitali, Patrick C. K. Hung
A Novel Approach for Secure In-class Delivery of Educational Content via Mobile Routers with Functionally Enhanced Firmware. IMCL (2018)
Paolo Bottoni, Dirk Janssens
Report on IWRS 2018. Bull. EATCS 126 (2018)
Federico Gelsomini, Kamen Kanev, Reneta P. Barneva, Paolo Bottoni, Donna Hurst Tatsuki, Maria Roccaforte
BYOD Collaborative Storytelling in Tangible Technology-Enhanced Language Learning Settings. IMCL (2018)
Paolo Bottoni, Tiziana Castrignanò, Tiziano Flati, Francesco Maggi
BioWebEngine: A generation environment for bioinformatics research. VL/HCC (2018)
Miguel Ceriani, Paolo Bottoni
SparqlBlocks: Using Blocks to Design Structured Linked Data Queries. J. Vis. Lang. Sentient Syst. 3 (2017)
Danilo Avola, Paolo Bottoni, Amjad Hawash
Supporting group collaboration in an annotation system. J. Vis. Lang. Comput. 41 (2017)
Paolo Bottoni, Andrew Fish, Alexander Heußner, Francesco Parisi-Presicce
Resource-aware policies. J. Vis. Lang. Comput. 38 (2017)
Paolo Bottoni, Anna Labella, Victor Mitrana
Networks of polarized multiset processors. J. Comput. Syst. Sci. 85 (2017)
Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana
Networks of picture processors as problem solvers. Soft Comput. 21 (19) (2017)
Paolo Bottoni, Anna Labella, Victor Mitrana
Prefix-suffix square reduction. Theor. Comput. Sci. 682 (2017)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Type Annotation for Adaptive Systems. GaM@ETAPS (2016)
Paolo Bottoni, Esther Guerra, Juan de Lara
Pattern-based Rewriting through Abstraction. Fundam. Informaticae 144 (2) (2016)
Kamen Kanev, Maria De Marsico, Paolo Bottoni, Alessio Mecca
Mobiles and Wearables: Owner Biometrics and Authentication. AVI (2016)
Paolo Bottoni, Emanuele Gabrielli, Gabriele Gualandi, Luigi Vincenzo Mancini, Franco Stolfi
FedUp! Cloud Federation as a Service. ESOCC (2016)
Paolo Bottoni, Kamen Kanev, Nikolay N. Mirenkov, Miguel Ceriani
A Framework for Situated Interaction with Augmented Surfaces. Int. J. Softw. Informatics 9 (3) (2015)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Spider Graphs: a graph transformation system for spider diagrams. Softw. Syst. Model. 14 (4) (2015)
Paolo Bottoni, Miguel Ceriani
Linked Data Queries as Jigsaw Puzzles: a Visual Interface for SPARQL Based on Blockly Library. CHItaly (2015)
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
Conditions, constraints and contracts: On the use of annotations for policy modeling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
Paolo Bottoni, Miguel Ceriani
Towards an Ontology-Based Generic Pipeline Editor. DNIS (2015)
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling. GCM@ICGT (2015)
Paolo Bottoni, Miguel Ceriani
SPARQL Playground: A Block Programming Tool to Experiment with SPARQL. VOILA@ISWC (2015)
Carmelo Ardito, Paolo Bottoni, Maria Francesca Costabile, Giuseppe Desolda, Maristella Matera, Matteo Picozzi
Creation and Use of Service-based Distributed Interactive Workspaces. DMS (2014)
Paolo Bottoni, Miguel Ceriani
A Dataflow Platform for In-silico Experiments Based on Linked Data. DNIS (2014)
Danilo Avola, Paolo Bottoni, Amjad Hawash
Relevance measures for the creation of groups in an annotation system. J. Vis. Lang. Comput. 25 (6) (2014)
Paolo Bottoni, Anna Labella, Victor Mitrana
Accepting Networks of Evolutionary Picture Processors. Fundam. Informaticae 131 (3-4) (2014)
Danilo Avola, Paolo Bottoni, Amjad Hawash
Relevance Measures for the Creation of Groups in an Annotation System. DMS (2014)
Miguel Ceriani, Paolo Bottoni, Stefano Ventura, Alessandra Talamo
Collaborative multimedia content creation and sharing by older adults. AVI (2014)
Paolo Bottoni, Miguel Ceriani
SWOWS and dynamic queries to build browsing applications on linked data. J. Vis. Lang. Comput. 25 (6) (2014)
Paolo Bottoni, Miguel Ceriani
SWOWS and Dynamic Queries to build Browsing Applications on Linked Data. DMS (2014)
Paolo Bottoni, Andrew Fish, Alexander Heußner
Coloured Modelling Spider Diagrams. Diagrams (2014)
Henning Bordihn, Paolo Bottoni, Anna Labella, Victor Mitrana
Solving 2D-Pattern Matching with Networks of Picture Processors. TPNC (2014)
Carmelo Ardito, Paolo Bottoni, Maria Francesca Costabile, Giuseppe Desolda, Maristella Matera, Matteo Picozzi
Creation and use of service-based Distributed Interactive Workspaces. J. Vis. Lang. Comput. 25 (6) (2014)
Paolo Bottoni, Andrew Fish, Alexander Heußner
Annotating spiders with resource information. VL/HCC (2014)
Paolo Bottoni, Fabrizio Borgia, Daniel Buccarella, Daniele Capuano, Maria De Marsico, Anna Labella
Stories and signs in an e-learning environment for deaf people. Univers. Access Inf. Soc. 12 (4) (2013)
Paolo Bottoni
From use cases to task trees through resources. DMS (2013)
Sabina Giorgi, Miguel Ceriani, Paolo Bottoni, Alessandra Talamo, Silvia Ruggiero
Keeping "InTOUCH": An Ongoing Co-design Project to Share Memories, Skills and Demands through an Interactive Table. SouthCHI (2013)
Paolo Bottoni, Kamen Kanev, Nikolay N. Mirenkov
Constructing collaborative services through augmented documents and objects. VINCI (2013)
Paolo Bottoni, Kamen Kanev
Towards a flexible architecture for interaction with augmented surfaces. iCAST/UMEDIA (2013)
Paolo Bottoni, Gennaro Costagliola, Mattia De Rosa, Andrew Fish, Vittorio Fuccella
Euler diagram codes: interpretation and generation. VINCI (2013)
Paolo Bottoni, Andrew Fish
Extending Spider Diagrams for policy definition. J. Vis. Lang. Comput. 24 (3) (2013)
Heiko Kern, Juha-Pekka Tolvanen, Paolo Bottoni
Workshop on Graphical Modeling Language Development. GMLD@ECOOP (2013)
Carmelo Ardito, Paolo Bottoni, Maria Francesca Costabile, Giuseppe Desolda, Maristella Matera, Antonio Piccinno, Matteo Picozzi
Enabling End Users to Create, Annotate and Share Personal Information Spaces. IS-EUD (2013)
Alessandra Talamo, Stefano Ventura, Sabina Giorgi, Miguel Ceriani, Paolo Bottoni, Barbara Mellini
": creating affordances in codesign. CHItaly (2013)
Paolo Bottoni, Andrew Fish
Policy enforcement and verification with Timed Modeling Spider Diagrams. VL/HCC (2013)
Paolo Bottoni, Francesco Parisi-Presicce
Annotation processes for flexible management of contextual information. J. Vis. Lang. Comput. 24 (6) (2013)
Paolo Bottoni, Miguel Ceriani, Simona Valentini
A user interface to build interactive visualizations for the semantic web. ISWC (Posters & Demos) (2013)
Paolo Bottoni, Francesco Parisi-Presicce
Annotations on Complex Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Paolo Bottoni, Gennaro Costagliola, Andrew Fish
Euler Diagram Encodings. Diagrams (2012)
Paolo Bottoni, Anna Labella, Stefano Kasangian
Spatial and temporal aspects in visual interaction. J. Vis. Lang. Comput. 23 (2) (2012)
Paolo Bottoni, Francesco Parisi-Presicce
Modeling context with graph annotations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Paolo Bottoni, Anna Labella, Daniele Capuano, Stefano Levialdi, Maria De Marsico
Experimenting dele: a deaf-centered e-learning visual environment. AVI (2012)
Claudia Savina Bianchini, Fabrizio Borgia, Paolo Bottoni, Maria De Marsico
SWift: a SignWriting improved fast transcriber. AVI (2012)
Paolo Bottoni, Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano
Personalised Resource Categorisation Using Euler Diagrams. IS-EUD (2011)
Paolo Bottoni, Andrew Fish
A visual language for temporal specifications based on Spider diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Danilo Avola, Paolo Bottoni, Riccardo Genzone
Light-Weight Composition of Personal Documents from Distributed Information. IS-EUD (2011)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Incremental update of constraint-compliant policy rules. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Paolo Bottoni, Riccardo Genzone
A resource-based framework for interactive composition of multimedia documents. EICS (2011)
Danilo Avola, Paolo Bottoni, Alexandru Dafinei, Anna Labella
FcBD: An Agent-Based Architecture to Support Sketch Recognition Interfaces. DMS (2011)
Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, Ion Petre, José M. Sempere
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors. Nat. Comput. 10 (1) (2011)
Paolo Bottoni, Radu Gramatovici, Anna Labella, Florin Manea, Victor Mitrana
Context Insertions. Computation, Cooperation, and Life (2011)
Danilo Avola, Paolo Bottoni, Alexandru Dafinei, Anna Labella
Color-Based Recognition of Gesture-traced 2D Symbols. DMS (2011)
Paolo Bottoni, Andrew Fish
Policy specifications with Timed Spider Diagrams. VL/HCC (2011)
Paolo Bottoni, Esther Guerra, Juan de Lara
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'10. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010)
Paolo Bottoni, Alessandro Cotroneo, Michele Cuomo, Stefano Levialdi, Emanuele Panizzi, Marco Passavanti, Rosa Trinchese
Facilitating interaction and retrieval for annotated documents. Int. J. Comput. Sci. Eng. 5 (3/4) (2010)
Danilo Avola, Paolo Bottoni, Stefano Levialdi, Emanuele Panizzi
. AVI (2010)
Danilo Avola, Paolo Bottoni, Stefano Levialdi, Emanuele Panizzi
. Humans and Computers (2010)
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
Preserving constraints in horizontal model transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Danilo Avola, Paolo Bottoni, Marco Laureti, Stefano Levialdi, Emanuele Panizzi
Managing Groups and Group Annotations in madcow. DNIS (2010)
Dmitry A. Vazhenin, Paolo Bottoni
Shape-based regular processor networks specification tools in the framework of movie-based programming. Humans and Computers (2010)
Paolo Bottoni, Esther Guerra, Juan de Lara
A language-independent and formal approach to pattern-based modelling with support for composition and analysis. Inf. Softw. Technol. 52 (8) (2010)
Paolo Bottoni, Esther Guerra, Juan de Lara
An Algebraic Formalization of the GoF Design Patterns CoRR (2010)
Paolo Bottoni, Andrew Fish
Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information. Diagrams (2010)
Paolo Bottoni, Luigi Cinque, Marco Cupelli, Luca Di Filippo, Anna Labella, Mario Pierro, Enver Sangineto
A framework for hand-based interaction. Humans and Computers (2010)
Paolo Bottoni, Esther Guerra, Juan de Lara
Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 25 (2010)
Paolo Bottoni, Esther Guerra, Juan de Lara
Formalising design and interaction patterns and their relationships. PEICS@EICS (2010)
Paolo Bottoni, Francesco Parisi-Presicce
A Termination Criterion for Graph Transformations with Negative Application Conditions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Paolo Bottoni, Esther Guerra, Juan de Lara
Towards a Formal Notion of Interaction Pattern. VL/HCC (2010)
Paolo Bottoni, Maria De Marsico, Stefano Levialdi, Giovanni Ottieri, Mario Pierro, Daniela Quaresima
A Dynamic Environment for Video Surveillance. INTERACT (2) (2009)
Paolo Bottoni, Esther Guerra, Juan de Lara
Formal Foundation for Pattern-Based Modelling. FASE (2009)
Paolo Bottoni, Andrea Saporito
Resource-based enactment and adaptation of workflows from activity diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Paolo Bottoni, Dmitry A. Vazhenin, Alexander Vazhenin, Nikolay N. Mirenkov
Shape-based computations on regular processor networks. VL/HCC (2009)
Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof. DNA (2009)
Paolo Bottoni, Anna Labella, Florin Manea, Victor Mitrana, José M. Sempere
Networks of Evolutionary Picture Processors with Filtered Connections. UC (2009)
Paolo Bottoni, Mary Beth Rosson
Special issue on selected papers from VL/HCC 2008: Guest Editors' introduction. J. Vis. Lang. Comput. 20 (4) (2009)
Paolo Bottoni, Fernando Ferri, Patrizia Grifoni, Andrea Marcante, Piero Mussio, Marco Padula, Amanda Reggiori
e-Document management in situated interactivity: the WIL approach. Univers. Access Inf. Soc. 8 (3) (2009)

Paolo Bottoni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Bottoni