


default search action
DataMod 2023: Eindhoven, The Netherlands
- Giovanna Broccia
, Antonio Cerone
:
From Data to Models and Back - 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14618, Springer 2025, ISBN 978-3-031-87216-7
Domain-specific Modeling and Analysis
- Antonio Cerone
, Graham Pluck
:
Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology. 3-23 - Susmoy Das, Arpit Sharma:
Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court. 24-45 - Dainora Jakstaite, Ricardo M. Czekster
:
Extracting Cyber Threat Intelligence from Social Media with Case Studies in Twitter/X and Reddit. 46-65
System Biology
- Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Paolo Milazzo:
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems. 69-89 - Giang Pham
, Paolo Milazzo
:
Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean Networks. 90-112
Formal Methods in Healthcare
- Juliana Küster Filipe Bowles
:
Towards a Flexible Approach for Understanding and Comparing Traces. 115-126 - Almo Cuci, Umar Ozeer, Gwen Salaün:
Modelling and Verification of an Application for Managing Sensitive Health Data. 127-141
Natural Language Processing
- Marian Lambert
, Nico Döring
, Thomas Schuster
, Norbert Schmitz
:
Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product Descriptions. 145-163

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.