Description
Book Synopsis.- Domain specific Modeling and Analysis.
.- Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology.
.- Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court.
.- Extracting cyber threat intelligence from social media with case studies in Twitter/X and Reddit.
.- System Biology.
.- Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems.
.- Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean Networks.
.- Formal Methods in Healthcare.
.- Towards a Flexible Approach for Understanding and Comparing Traces.
.- Modelling and Verification of an Application for Managing Sensitive Health Data.
.- Natural Language Processing.
.- Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product Descriptions.
