Paolo Bottoni
Orcid: 0000-0003-4662-2019
According to our database1,
Paolo Bottoni
authored at least 209 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
BMC Bioinform., December, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
2023
Proceedings of the Big Data Analytics in Astronomy, Science, and Engineering, 2023
2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
2021
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting.
Theor. Comput. Sci., 2021
CoRR, 2021
Distributed ledgers to support revenue-sharing business consortia: a Hyperledger-based implementation.
Proceedings of the IEEE Symposium on Computers and Communications, 2021
2020
Frontiers Blockchain, 2020
2019
Proceedings of the 18th International Conference on Mobile and Ubiquitous Multimedia, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.
Math. Struct. Comput. Sci., 2018
Int. J. Comput. Sci. Eng., 2018
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018
A Novel Approach for Secure In-class Delivery of Educational Content via Mobile Routers with Functionally Enhanced Firmware.
Proceedings of the Mobile Technologies and Applications for the Internet of Things, 2018
BYOD Collaborative Storytelling in Tangible Technology-Enhanced Language Learning Settings.
Proceedings of the Mobile Technologies and Applications for the Internet of Things, 2018
2017
J. Vis. Lang. Sentient Syst., 2017
2016
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016
Proceedings of the Service-Oriented and Cloud Computing, 2016
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2016
2015
Softw. Syst. Model., 2015
Int. J. Softw. Informatics, 2015
Conditions, constraints and contracts: On the use of annotations for policy modeling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015
Proceedings of the International Workshop on Visualizations and User Interfaces for Ontologies and Linked Data co-located with 14th International Semantic Web Conference (ISWC 2015), 2015
Proceedings of the Databases in Networked Information Systems, 2015
Linked Data Queries as Jigsaw Puzzles: a Visual Interface for SPARQL Based on Blockly Library.
Proceedings of the 11th Biannual Conference on Italian SIGCHI Chapter, 2015
2014
J. Vis. Lang. Comput., 2014
J. Vis. Lang. Comput., 2014
J. Vis. Lang. Comput., 2014
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
Proceedings of the Theory and Practice of Natural Computing, 2014
Proceedings of the Databases in Networked Information Systems - 9th International Workshop, 2014
Proceedings of the Diagrammatic Representation and Inference, 2014
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2014
2013
J. Vis. Lang. Comput., 2013
Univers. Access Inf. Soc., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013
Proceedings of the 6th International Symposium on Visual Information Communication and Interaction (VINCI), 2013
Proceedings of the 6th International Symposium on Visual Information Communication and Interaction (VINCI), 2013
Keeping "InTOUCH": An Ongoing Co-design Project to Share Memories, Skills and Demands through an Interactive Table.
Proceedings of the Human Factors in Computing and Informatics, 2013
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013
Proceedings of the End-User Development - 4th International Symposium, 2013
Proceedings of the International Joint Conference on Awareness Science and Technology & Ubi-Media Computing, 2013
Proceedings of the Second Workshop on Graphical Modeling Language Development, 2013
From use cases to task trees through resources.
Proceedings of the 19th International Conference on Distributed Multimedia Systems, 2013
Proceedings of the Biannual conference of the Italian chapter of SIGCHI, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Diagrammatic Representation and Inference, 2012
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012
Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012
2011
Proceedings of the Model-Driven Development of Advanced User Interfaces, 2011
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors.
Nat. Comput., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011
Proceedings of the End-User Development - Third International Symposium, 2011
Proceedings of the End-User Development - Third International Symposium, 2011
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011
Color-Based Recognition of Gesture-traced 2D Symbols.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011
FcBD: An Agent-Based Architecture to Support Sketch Recognition Interfaces.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011
2010
A language-independent and formal approach to pattern-based modelling with support for composition and analysis.
Inf. Softw. Technol., 2010
Int. J. Comput. Sci. Eng., 2010
A Termination Criterion for Graph Transformations with Negative Application Conditions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Shape-based regular processor networks specification tools in the framework of movie-based programming.
Proceedings of the International Conference on Humans and Computers, 2010
Proceedings of the International Conference on Humans and Computers, 2010
Proceedings of the International Conference on Humans and Computers, 2010
Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, 2010
Proceedings of the Databases in Networked Information Systems, 6th International Workshop, 2010
Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010
Proceedings of the International Conference on Advanced Visual Interfaces, 2010
2009
J. Vis. Lang. Comput., 2009
Univers. Access Inf. Soc., 2009
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
Proceedings of the Unconventional Computation, 8th International Conference, 2009
Proceedings of the Human-Computer Interaction, 2009
Proceedings of the Fundamental Approaches to Software Engineering, 2009
Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof.
Proceedings of the DNA Computing and Molecular Programming, 15th International Conference, 2009
2008
Enforced generative patterns for the specification of the syntax and semantics of visual languages.
J. Vis. Lang. Comput., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008
2007
Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
Proceedings of the Seventh International Conference on New Interfaces for Musical Expression, 2007
Proceedings of the Research and Advanced Technology for Digital Libraries, 2007
Proceedings of the Databases in Networked Information Systems, 5th International Workshop, 2007
2006
Applying algebraic approaches for modeling workflows and their transformations in mobile networks.
Mob. Inf. Syst., 2006
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
Visual interaction: models, systems, prototypes. The Pictorial Computing Laboratory at the University of Rome "La Sapienza".
Cogn. Process., 2006
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006
Proceedings of the New Interfaces for Musical Expression, 2006
Proceedings of the Multimedia Content Representation, 2006
Proceedings of the MoDELS'06 Workshop on Model Driven Development of Advanced User Interfaces Genova, 2006
Interactive composition, performance and music generation through iterative structures.
Proceedings of the 14th ACM International Conference on Multimedia, 2006
An ontology for describing model mapping/transformation tools and methodologies: the MoMo ontology.
Proceedings of the EMOI, 2006
Proceedings of the EMOI, 2006
Proceedings of the working conference on Advanced visual interfaces, 2006
Proceedings of the working conference on Advanced visual interfaces, 2006
2005
J. Vis. Lang. Comput., 2005
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Proceedings of the Databases in Networked Information Systems, 4th International Workshop, 2005
2004
J. Vis. Lang. Comput., 2004
Termination of High-Level Replacement Units with Application to Model Transformation.
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004
Proceedings of the working conference on Advanced visual interfaces, 2004
2003
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003
Proceedings of the Databases in Networked Information Systems, 2003
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003
2002
IEEE Trans. Syst. Man Cybern. Part A, 2002
Proceedings of the Workshop on Software Evolution Through Transformations 2002, 2002
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002
Un linguaggio per esprimere transizioni.
Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002
Proceedings of the Graph Transformation, First International Conference, 2002
Proceedings of the Diagrammatic Representation and Inference, 2002
Proceedings of the Formal and Natural Computing, 2002
2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001
Proceedings of the Logical Aspects of Computational Linguistics, 2001
From user notations to accessible interfaces through visual languages.
Proceedings of the Universal Access In HCI: Towards an Information Society for All, 2001
Pictures, layers, double stranded molecules: on multi-dimenional sentences.
Proceedings of the Where Mathematics, 2001
2000
Proceedings of the Multiset Processing, 2000
Efficient Parsing of Visual Languages Based on Critical Pair Analysis and Contextual Layered Graph Transformation.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000
Proceedings of the «UML» 2000, 2000
Bidimensional Contextual Grammars.
Proceedings of the Recent Topics in Mathematical and Computational Linguistics, 2000
Proceedings of the working conference on Advanced visual interfaces, 2000
1999
Specification and dialogue control of visual interaction through visual rewriting systems.
ACM Trans. Program. Lang. Syst., 1999
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999
Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999
Coordination through Group Rewriting.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999
1998
J. Autom. Lang. Comb., 1998
Inf. Process. Lett., 1998
Int. J. Pattern Recognit. Artif. Intell., 1998
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998
Proceedings of the Theory and Application of Graph Transformations, 1998
Methodologies and tools for Co-operative Interaction in the Design Process.
Proceedings of the Globalization of Manufacturing in the Digital Communications Era of the 21<sup>st</sup> Century: Innovation, 1998
Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24, 1998
1997
IEEE Trans. Syst. Man Cybern. Part A, 1997
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
Proceedings of the Image Analysis and Processing, 9th International Conference, 1997
Participatory Interface Design: From Naive Models to Systems.
Proceedings of the Design of Computing Systems: Social and Ergonomic Considerations, 1997
Proceedings of the New Trends in Formal Languages, 1997
Proceedings of the Artificial Intelligence Medicine, 1997
1996
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996
Reflective agents for adaptive workflows.
Proceedings of the First International Conference on Practical Aspects of Knowledge Management, 1996
Proceedings of the 13th International Conference on Pattern Recognition, 1996
A Systemic Metaphor of Multi-Agent Coordination in Living Systems.
Proceedings of the Modelling and Simulation, 1996
1995
Mach. Vis. Appl., 1995
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995
Proceedings of the Image Analysis and Processing, 8th International Conference, 1995
Multi-Agent Coordination in Living Systems.
Proceedings of the 1995 International Workshop on Biologically Inspired Evolutionary Systems, 1995
1994
Pattern Recognit. Lett., 1994
Proceedings of the International Conference on APL 1994: The Language and Its Applications, 1994
1993
J. Vis. Lang. Comput., 1993
1992
Proceedings of the 1992 IEEE Workshop on Visual Languages, 1992
Proceedings of the 11th IAPR International Conference on Pattern Recognition, 1992
Visual Interface Design based on User's Models.
Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992
1991
Proceedings of the 1991 IEEE Workshop on Visual Languages, Kobe, Japan, October 8-11, 1991, 1991
Proceedings of the Fourth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'91), 1991
Proceedings of the International Conference on APL 1991, 1991
1990
Proceedings of the Uncertainty in Knowledge Bases, 1990
Proceedings of the Third Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'90), 1990
Proceedings of the Conference Proceedings on APL 90: For the Future, 1990
1989
Pattern Recognit. Lett., 1989
Attributed Conditional Rewriting Systems as a Tool for ECG Description and Interpretation.
Proceedings of the AIME 89, 1989