662 citations
- Institute for Complex SystemsIT14 papers
- University of FlorenceIT8 papers
- Sapienza University of RomeIT7 papers
- Boston UniversityUS6 papers
- KU LeuvenBE6 papers
- London Institute for Mathematical SciencesGB6 papers
- Ca' Foscari University of VeniceIT4 papers
- Centro Ricerche Enrico FermiIT4 papers
- European Centre for Living TechnologyIT4 papers
- University of TrentoIT4 papers
- Yeshiva UniversityUS4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
4 papers · 1 filter
STLSat---An Improved Tableau for Satisfiability Checking of Signal Temporal Logic Formulas
Marco Zamponi, Florian Lammel, Ezio Bartocci +1
Signal Temporal Logic (STL) is a formalism used to describe temporal properties of real-valued signals in cyber-physical systems. In mission- and safety-critical domains, specifica…
BotVerse: Real-Time Event-Driven Simulation of Social Agents
Edoardo Allegrini, Edoardo Di Paolo, Angelo Spognardi +1
BotVerse is a scalable, event-driven framework for high-fidelity social simulation using LLM-based agents. It addresses the ethical risks of studying autonomous agents on live netw…
Network-based drug repurposing for MYH9-related nephritis
Muhammad Ali, Tommaso Gili, Guido Caldarelli
Using tools from network theory, we analyze the organization of a MYH9-oriented drug-like library in chemical space using a multi-descriptor framework. The dataset is drawn from ZI…
Impact of behavioral heterogeneity on epidemic outcome and its mapping into effective network topologies
Fabio Mazza, Gabriele Ricci, Francesca Colaiori +3
Human behavior plays a critical role in shaping epidemic trajectories. During health crises, people respond in diverse ways in terms of self-protection and adherence to recommended…