Paolo Gaspare Bottoni | Ricerc@Sapienza

Pubblicazioni

Titolo	Pubblicato in	Anno
Molecular Dynamics Investigations of Human DNA-Topoisomerase I Interacting with Novel Dewar Valence Photo-Adducts: Insights into Inhibitory Activity	INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES	2024
Modular language product lines: concept, tool and analysis	SOFTWARE AND SYSTEMS MODELING	2024
Strategies in Spatio-Temporal Logics for Multi-agent Systems	International Symposium on Leveraging Applications of Formal Methods, Verification and Validation	2024
MD–Ligand–Receptor: A High-Performance Computing tool for characterizing Ligand–Receptor binding interactions in Molecular Dynamics trajectories	INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES	2023
Molecular Docking and Dynamics Simulation Revealed the Potential Inhibitory Activity of New Drugs against Human Topoisomerase I Receptor	INTERNATIONAL JOURNAL OF MOLECULAR SCIENCES	2022
Blockchain-as-a-service and blockchain-as-a-partner: Implementation options for supply chain optimization	BLOCKCHAIN: RESEARCH AND APPLICATIONS	2022
A formal model for ledger management systems based on contracts and temporal logic	BLOCKCHAIN: RESEARCH AND APPLICATIONS	2022
AVI 2022: Proceedings of the 2022 International Conference on Advanced Visual Interfaces	AVI 2022: Proceedings of the 2022 International Conference on Advanced Visual Interfaces	2022
A formal model for ledger management systems based on contracts and temporal logic	BLOCKCHAIN: RESEARCH AND APPLICATIONS	2022
Modular Language Product Lines. A Graph Transformation Approach	MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems	2022
Intelligent Smart Contracts for Innovative Supply Chain Management	FRONTIERS IN BLOCKCHAIN	2021
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting	THEORETICAL COMPUTER SCIENCE	2021
Transactions and contracts based on reaction systems	THEORETICAL COMPUTER SCIENCE	2021
Tribute to Anna Labella	THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING	2021
Distributed ledgers to support revenue-sharing business consortia: a Hyperledger-based implementation	2021 IEEE Symposium on Computers and Communications (ISCC)	2021
Networks of reaction systems	INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE	2020
CREAMY (Italo Calvino REpository for Analysis of Multilingual phraseologY): Presentazione di una ricerca nell’ambito della fraseologia contrastiva	"Lessicalizzazioni complesse": ricerche e teoresi	2020
CREAMY (Calvino REpertoire for the Analysis of Multilingual PhraseologY): l’ideazione di un’applicazione web per la ricerca fraseologica multilingue		2020
BYOD Collaborative Storytelling in Tangible Technology-Enhanced Language Learning Settings	Mobile technologies and applications for the internet of things. Proceedings of the 12th IMCL conference	2019
Modal epistemic logic on contracts: a doctrinal approach	Models, Languages, and Tools for Concurrent and Distributed Programming	2019