Abstract is missing.
- Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive PsychologyAntonio Cerone, Graham Pluck. 3-23 [doi]
- Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme CourtSusmoy Das, Arpit Sharma 0002. 24-45 [doi]
- Extracting Cyber Threat Intelligence from Social Media with Case Studies in Twitter/X and RedditDainora Jakstaite, Ricardo M. Czekster. 46-65 [doi]
- Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction SystemsLinda Brodo, Roberto Bruni 0001, Moreno Falaschi, Roberta Gori, Paolo Milazzo. 69-89 [doi]
- Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean NetworksGiang Pham, Paolo Milazzo. 90-112 [doi]
- Towards a Flexible Approach for Understanding and Comparing TracesJuliana Küster Filipe Bowles. 115-126 [doi]
- Modelling and Verification of an Application for Managing Sensitive Health DataAlmo Cuci, Umar Ozeer, Gwen Salaün. 127-141 [doi]
- Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product DescriptionsMarian Lambert, Nico Döring, Thomas Schuster 0001, Norbert Schmitz. 145-163 [doi]