Remo Pareschi - RankMe

103 papers A* 4A 3B 4C 4Journal 46Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bridging the gap: a comparative study of academic and developer approaches to smart contract vulnerabilities. Empir. Softw. Eng. Francesco Salzano, Lodovica Marchesi, Cosmo Kevin Antenucci, Simone Scalabrino, Roberto Tonelli, Rocco Oliveto, Remo Pareschi
2026	J	`jnl`	Can Semantic Methods Enhance Team Sports Tactics? A Methodology for Football with Broader Applications. CoRR Alessio Di Rubbo, Mattia Neri, Remo Pareschi, Marco Pedroni, Roberto Valtancoli, Paolino Zica
2026	J	`jnl`	Enhancing blockchain security through natural language processing and real-time monitoring. Int. J. Parallel Emergent Distributed Syst. Francesco Salzano, Remo Pareschi
2026	J	`jnl`	Guarded Swarms: Building Trusted Autonomy Through Digital Intelligence and Physical Safeguards. Future Internet Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
2026	J	`jnl`	Human-Agent versus Human Pull Requests: A Testing-Focused Characterization and Comparison. CoRR Roberto Milanese, Francesco Salzano, Angelica Spina, Antonio Vitale, Remo Pareschi, Fausto Fasano, Mattia Fazzini
2026	J	`jnl`	Nova Tellus: Integrating Blockchain and AI for Advanced Agricultural Management. SN Comput. Sci. Nicola Bonavita, Claudio Di Florio, Valerio Esposito, Emanuela Guglielmi, Rocco Oliveto, Remo Pareschi, Francesco Salzano, Simone Scalabrino
2025	J	`jnl`	An Empirical Analysis of Vulnerability Detection Tools for Solidity Smart Contracts Using Line Level Manually Annotated Vulnerabilities. CoRR Francesco Salzano, Cosmo Kevin Antenucci, Simone Scalabrino, Giovanni Rosa, Rocco Oliveto, Remo Pareschi
2025	J	`jnl`	An organizational theory for multi-agent interactions integrating human agents, LLMs, and specialized AI. Discov. Comput. Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
2025	J	`jnl`	Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts. CoRR Francesco Salzano, Simone Scalabrino, Rocco Oliveto, Remo Pareschi
2025	J	`jnl`	Beyond Prompt Chaining: The TB-CSPN Architecture for Agentic AI. Future Internet Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
2025	J	`jnl`	Bridging the Gap: A Comparative Study of Academic and Developer Approaches to Smart Contract Vulnerabilities. CoRR Francesco Salzano, Lodovica Marchesi, Cosmo Kevin Antenucci, Simone Scalabrino, Roberto Tonelli, Rocco Oliveto, Remo Pareschi
2025	J	`jnl`	From Extraction to Synthesis: Entangled Heuristics for Agent-Augmented Strategic Reasoning. CoRR Renato Ghisellini, Remo Pareschi, Marco Pedroni, Giovanni Battista Raggi
2025	J	`jnl`	Human-Artificial Interaction in the Age of Agentic AI: A System-Theoretical Approach. CoRR Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
2025	J	`jnl`	Quantum Abduction: A New Paradigm for Reasoning under Uncertainty. CoRR Remo Pareschi
2025	J	`jnl`	Recommending Actionable Strategies: A Semantic Approach to Integrating Analytical Frameworks with Decision Heuristics. CoRR Renato Ghisellini, Remo Pareschi, Marco Pedroni, Giovanni Battista Raggi
2025	J	`jnl`	Recommending Actionable Strategies: A Semantic Approach to Integrating Analytical Frameworks with Decision Heuristics. Inf. Renato Ghisellini, Remo Pareschi, Marco Pedroni, Giovanni Battista Raggi
2024	—	`conf`	A System-Theoretical Multi-agent Approach to Human-Computer Interaction. EUROCAST (1) Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
2024	J	`jnl`	Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices. CoRR Francesco Salzano, Simone Scalabrino, Rocco Oliveto, Remo Pareschi
2024	J	`jnl`	Integrating Blockchain technology within an Information Ecosystem. CoRR Francesco Salzano, Lodovica Marchesi, Remo Pareschi, Roberto Tonelli
2024	J	`jnl`	Integrating IOTA's Tangle with the Internet of Things for Sustainable Agriculture: A Proof-of-Concept Study on Rice Cultivation. Informatics Sandro Pullo, Remo Pareschi, Valentina Piantadosi, Francesco Salzano, Roberto Carlini
2024	—	`conf`	Revolutionizing Agri-Food Sustainability: An Overview and Future Outlook : Integrating IoT, DLT, and Machine Learning for Enhanced Farming Practices. MetroInd4.0 & IoT Remo Pareschi, Valentina Piantadosi, Sandro Pullo, Francesco Salzano
2023	—	`conf`	A novel method based on log files for Smart Contract testing. WETSEB Francesco Salzano, Remo Pareschi
2023	J	`jnl`	Abductive Reasoning with the GPT-4 Language Model: Case studies from criminal investigation, medical practice, scientific research. CoRR Remo Pareschi
2023	C	`conf`	Blockchain-based Information Ecosystems. DLT Francesco Salzano, Remo Pareschi, Lodovica Marchesi, Roberto Tonelli
2023	—	`conf`	CreatiChain: From Creation to Market. ICIAP Workshops (2) Enrico Maria Aldorasi, Remo Pareschi, Francesco Salzano
2022	—	`conf`	DELTA - Distributed Elastic Log Text Analyser. DLT@ITASEC Pierluigi Di Pilla, Remo Pareschi, Francesco Salzano, Federico Zappone
2022	J	`jnl`	Listening to what the system tells us: Innovative auditing for distributed systems. Frontiers Comput. Sci. Piergiuseppe Di Pilla, Remo Pareschi, Francesco Salzano, Federico Zappone
2022	—	`conf`	MyBottega: An Environment for the Innovative Production and Distribution of Digital Art. ICIAP Workshops (1) Nicola Noviello, Remo Pareschi
2022	—	`conf`	Simulating the Doctor's Behaviour: A Preliminary Study on the Identification of Atrial Fibrillation through Combined Analysis of Heart Rate and Beat Morphology. HEALTHINF Gennaro Laudato, Giovanni Rosa, Giovanni Capobianco, Angela Rita Colavita, Arianna Dal Forno, Fabio Divino, Claudio Lupi, Remo Pareschi, Stefano Ricciardi, Luca Romagnoli, Simone Scalabrino, Cecilia Tomassini, Rocco Oliveto
2022	—	`conf`	Social news aggregations and the bitcoin: mapping their correlation through the three dimensions of content, sentiment and time. WETSEB@ICSE Nicholas Pinelli, Remo Pareschi
2022	J	`jnl`	Variants in managing supply chains on distributed ledgers. CoRR Paolo Bottoni, Claudio Di Ciccio, Remo Pareschi, Nicola Gessa, Gilda Massa
2021	J	`jnl`	A formal model for ledger management systems based on contracts and temporal logic. CoRR Paolo Bottoni, Anna Labella, Remo Pareschi
2021	J	`jnl`	Blockchain and cryptocurrencies: A classification and comparison of architecture drivers. Concurr. Comput. Pract. Exp. Martin Garriga, Stefano Dalla Palma, Maximiliano Arias, Alan De Renzis, Remo Pareschi, Damian Andrew Tamburri
2021	J	`jnl`	Corrigendum: Tether: A Study on Bubble-Networks. Frontiers Blockchain Giovanni Rosa, Remo Pareschi
2021	C	`conf`	Distributed ledgers to support revenue-sharing business consortia: a Hyperledger-based implementation. ISCC Paolo Bottoni, Remo Pareschi, Domenico Tortola, Nicola Gessa, Gilda Massa
2021	J	`jnl`	Integrating Heuristics and Learning in a Computational Architecture for Cognitive Trading. CoRR Remo Pareschi, Federico Zappone
2021	J	`jnl`	Tether: A Study on Bubble-Networks. Frontiers Blockchain Giovanni Rosa, Remo Pareschi
2021	—	`conf`	What is your Distributed (Hyper)Ledger? WETSEB@ICSE Stefano Dalla Palma, Remo Pareschi, Federico Zappone
2020	J	`jnl`	Blockchain and Cryptocurrencies: a Classification and Comparison of Architecture Drivers. CoRR Martin Garriga, Stefano Dalla Palma, Maximiliano Arias, Alan De Renzis, Remo Pareschi, Damian Andrew Tamburri
2020	J	`jnl`	Intelligent Smart Contracts for Innovative Supply Chain Management. Frontiers Blockchain Paolo Bottoni, Nicola Gessa, Gilda Massa, Remo Pareschi, Hesham Selim, Enrico Arcuri
2020	J	`jnl`	The Genesy Model for a Blockchain-Based Fair Ecosystem of Genomic Data. Frontiers Blockchain Federico Carlini, Roberto Carlini, Stefano Dalla Palma, Remo Pareschi, Federico Zappone
2020	—	`conf`	The Genesy Model for a Blockchain-based Fair Ecosystem of Genomic Data. SDS Federico Carlini, Roberto Carlini, Stefano Dalla Palma, Remo Pareschi, Federico Zappone, Daniele Albanese
2019	—	`conf`	Genesy: a Blockchain-based Platform for DNA Sequencing. DLT@ITASEC Roberto Carlini, Federico Carlini, Stefano Dalla Palma, Remo Pareschi
2018	J	`jnl`	Business-Savvy Blockchains with Gamification: A Framework for Collaborative Problem Solving. EAI Endorsed Trans. Serious Games Stefano Dalla Palma, Damian Andrew Tamburri, Remo Pareschi, Carmine Cerrone, Willem-Jan van den Heuvel
2016	—	`conf`	The Internet of Speaking Things and Its Applications to Cultural Heritage. IoTBD Fiammetta Marulli, Remo Pareschi, Daniele Baldacci
2015	—	`conf`	From Global Bellies to Global Minds: The Bread Platform for Geo-Cultural Integration. FABULOUS Remo Pareschi, Maria Felicia Santilli
2014	J	`jnl`	Integrating Concepts and Knowledge in Large Content Networks. New Gener. Comput. Marco Rossetti, Remo Pareschi, Fabio Stella, Francesca Arcelli Fontana
2014	—	`conf`	Tracking Hot Topics for the Monitoring of Open-World Processes. SIMPDA Remo Pareschi, Marco Rossetti, Fabio Stella
2010	—	`conf`	Information-Driven Collective Intelligences. ICCCI (2) Francesca Arcelli Fontana, Ferrante Formato, Remo Pareschi
2010	C	`conf`	Ontologies and Communities Co-evolution in Information Systems . KEOD Francesca Arcelli Fontana, Ferrante Formato, Remo Pareschi
2009	—	`conf`	Boosting Concept Discovery in Collective Intelligences. Brain Informatics Francesca Arcelli Fontana, Ferrante Formato, Remo Pareschi
2009	C	`conf`	Equalizing the Structures of Web Communities in Ontology Development Tools. ISDA Francesca Arcelli Fontana, Ferrante Formato, Remo Pareschi
1999	J	`jnl`	Computational Models for Information Reuse. Comput. J. Francesca Arcelli Fontana, Ferrante Formato, Remo Pareschi
1998	J	`jnl`	A measure of information reuse to compare distributed protocols. Comput. Commun. Francesca Arcelli Fontana, Ferrante Formato, Remo Pareschi
1998	—	`conf`	Agent-Based Decision Support for Managing Print Tasks. PAAM Jean-Marc Andreoli, Uwe M. Borghoff, Stefania Castellani, Remo Pareschi, Gunnar Teege
1998	J	`jnl`	Constraint-Based Protocols for Distributed Problem Solving. Sci. Comput. Program. Uwe M. Borghoff, Remo Pareschi, Francesca Arcelli Fontana, Ferrante Formato
1998	—	`book`	Information Technology for Knowledge Management Uwe M. Borghoff, Remo Pareschi
1998	—	`ch.`	Introduction. Information Technology for Knowledge Management Uwe M. Borghoff, Remo Pareschi
1998	J	`jnl`	Multiparty Negotiation of Dynamic Distributed Object Services. Sci. Comput. Program. Jean-Marc Andreoli, François Pacull, Daniele Pagani, Remo Pareschi
1997	—	`conf`	Agent-Based Document Retrieval for the European Physicists: A Project Overview. PAAM Uwe M. Borghoff, Eberhard R. Hilf, Remo Pareschi, Thomas Severiens, Heinrich Stamerjohanns, Jutta Willamowski
1997	—	`conf`	Constraints and Agents for a Decentralized Network Infrastructure. AAAI Workshop: Constraints & Agents Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Stefano Bistarelli, Ugo Montanari, Francesca Rossi
1997	J	`jnl`	Distributed Coordination and Workflow on the World Wide Web. Comput. Support. Cooperative Work. Antonietta Grasso, Jean-Luc Meunier, Daniele Pagani, Remo Pareschi
1997	J	`jnl`	Information Technology for Knowledge Management. J. Univers. Comput. Sci. Uwe M. Borghoff, Remo Pareschi
1997	A*	`conf`	Panel on Collaborative Software Engineering. ICSE Prasun Dewan, Philip Johnson, Kanth Miriyala, Remo Pareschi
1997	—	`conf`	Reflective Agents for Adaptive Workflows. PAAM Uwe M. Borghoff, Paolo Bottoni, Piero Mussio, Remo Pareschi
1997	B	`conf`	Signed Feature Constraint Solving. PACT Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi
1997	J	`jnl`	Static Analysis of Linear Logic Programming. New Gener. Comput. Jean-Marc Andreoli, Remo Pareschi, Tiziana Castagnetti
1997	A*	`conf`	The Constraint-Based Knowledge Broker System. ICDE Jean-Marc Andreoli, Uwe M. Borghoff, Pierre-Yves Chevalier, Boris Chidlovskii, Remo Pareschi, Jutta Willamowski
1997	J	`jnl`	XPECT: A Framework for Electronic Commerce. IEEE Internet Comput. Jean-Marc Andreoli, François Pacull, Remo Pareschi
1996	—	`conf`	A Systemic Metaphor of Multi-Agent Coordination in Living Systems. ESM Uwe M. Borghoff, Paolo Bottoni, Piero Mussio, Remo Pareschi
1996	—	`conf`	Constraint-based Information Gathering for a Network Publication System. PAAM Uwe M. Borghoff, Remo Pareschi, Harald Karch, Martina Nöhmeier, Johann H. Schlichter
1996	A	`conf`	Generalized Process Structure Grammars GPSG for Flexible Representations of Work. CSCW Natalie S. Glance, Daniele Pagani, Remo Pareschi
1996	J	`jnl`	Integrated Computational Paradigms for Flexible Client-Server Communication. ACM Comput. Surv. Jean-Marc Andreoli, Remo Pareschi
1996	—	`conf`	Introduction to workshop on adaptive workflow. PAKM Remo Pareschi, Giorgio De Michelis, Sunil K. Sarin
1996	—	`conf`	Reflective agents for adaptive workflows. PAKM Uwe M. Borghoff, Paolo Bottoni, Piero Mussio, Remo Pareschi
1996	J	`jnl`	The Constraint-Based Knowledge Broker Model: Semantics, Implementation and Analysis. J. Symb. Comput. Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi
1996	J	`jnl`	The Coordination Language Facility: Coordination of Distributed Objects. Theory Pract. Object Syst. Jean-Marc Andreoli, Steve Freeman, Remo Pareschi
1995	—	`conf`	Agent-based Document Construction. CIKM Information Agents Workshop Uwe M. Borghoff, Remo Pareschi, Jean-Marc Andreoli, Francesca Arcelli, Ferrante Formato, Johann H. Schlichter
1995	J	`jnl`	Constraint Agents for the Information Age. J. Univers. Comput. Sci. Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Johann H. Schlichter
1995	—	`conf`	Constraint-Based Protocols for Distributed Problem Solving (Ext. Abstract). UNIF Francesca Arcelli, Uwe M. Borghoff, Ferrante Formato, Remo Pareschi
1995	J	`jnl`	Introduction to the Special Issue. Theory Pract. Object Syst. Remo Pareschi, Mario Tokoro
1995	—	`conf`	Multi-Agent Coordination in Living Systems. BIES Uwe M. Borghoff, Paolo Bottoni, Piero Mussio, Remo Pareschi
1995	—	`conf`	Tuning Constraint-Based Communication in Distributed Problem Solving. CCP Francesca Arcelli, Uwe M. Borghoff, Ferrante Formato, Remo Pareschi
1995	—	`conf`	Workflow Management Systems (Tutorial). SEBD Remo Pareschi
1994	—	`conf`	Constraint-Based Knowledge Brokers. PASCO Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi
1994	A	`ed.`	Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 ECOOP Mario Tokoro, Remo Pareschi
1994	—	`conf`	Rule-Based Object Coordination. ECOOP Workshop Jean-Marc Andreoli, Hervé Gallaire, Remo Pareschi
1993	—	`conf`	Abstract Interpretation of Concurrent Languages based on Linear Logic. GULP Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi
1993	—	`conf`	Abstract Interpretation of Linear Logic Programming. ILPS Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi
1993	—	`conf`	Concurrency and Communication: Choices in Implementing the Coordination Language LO. ECOOP Workshop Marc Bourgois, Jean-Marc Andreoli, Remo Pareschi
1993	—	`conf`	True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication. TAPSOFT Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen
1992	B	`conf`	Linear Objects: a Logic Framework for Open System Programming. LPAR Jean-Marc Andreoli, Remo Pareschi
1991	A	`conf`	Communication as Fair Distribution of Knowledge. OOPSLA Jean-Marc Andreoli, Remo Pareschi
1991	—	`conf`	Dynamic Programming as Multiagent Programming. Object-Based Concurrent Computing Jean-Marc Andreoli, Remo Pareschi, Marc Bourgois
1991	J	`jnl`	Linear Ojects: Logical Processes with Built-in Inheritance. New Gener. Comput. Jean-Marc Andreoli, Remo Pareschi
1990	B	`conf`	Extending Definite Clause Grammars with Scoping Constructs. ICLP Remo Pareschi, Dale Miller
1990	—	`conf`	Formulae as Active Representations of Data. SPLT Jean-Marc Andreoli, Remo Pareschi
1990	—	`conf`	LO and Behold! Concurrent Structured Processes. OOPSLA/ECOOP Jean-Marc Andreoli, Remo Pareschi
1990	B	`conf`	Linear Objects in a Logic Processes with Built-in Inheritance. ICLP Jean-Marc Andreoli, Remo Pareschi
1989	—	`conf`	Logic Programming with Sequent Systems, A Linear Logic Approach. ELP Jean-Marc Andreoli, Remo Pareschi
1988	A*	`conf`	A Definite Clause Version of Categorial Grammar. ACL Remo Pareschi
1988	—	`—`	Type-driven natural language analysis. Remo Pareschi
1987	A*	`conf`	A Lazy way to Chart-Parse with Categorial Grammars. ACL Remo Pareschi, Mark Steedman