Cover Image

Supplementary Materials for "Efficient Conformance Checking of Rich Data-Aware Declare Specifications" - Including Source Code, Executable, Dataset and Raw Results

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Casas-Ramos, Jacobo, Winkler, Sarah, Gianola, Alessandro, Montali, Marco, Mucientes, Manuel, Lama, Manuel
Format:	Recurso digital
Language:	English
Published:	Zenodo 2025
Subjects:	Multi-perspective conformance checking Efficient optimal alignments Data-aware Declare Satisfiability modulo theories (SMT)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Restoring awareness: a review of rehabilitation in anosognosia for hemiplegia
by: Sahba Besharati
Published: (2014)

The Declarative Illusion — Why Every System Becomes Imperative at Scale
by: P. Phi
Published: (2026)

Time-Domain Enhanced Spectrogram Alignment (TESA): Matlab Implementation
by: Mohammad Reza Aslani
Published: (2025)

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

When Truth Is Not Neutral: AI Alignment After Ego-less Intelligence
by: Tonetto, Bruno
Published: (2025)

Chapter 11 Ancient Infrastructure Offers Sustainable Agricultural Solutions to Dryland Farming
by: Pailes, Matthew C., et al.
Published: (2023)

Chapter 1 Introduction
by: Thomson, Harriet, et al.
Published: (2019)

Carvalho: English-Galician SMT system from EuroParl English-Portuguese parallel corpus
by: José Ramom Pichel Campos
Published: (2009)

ClaimHack: A Benchmark Dataset of Check-worthy Factual Claims
by: Rayapet Madhusudhan, Akshay Kumar, et al.
Published: (2025)

Legal Declaration and Research Repository Certificate for K7 Theory.
by: Pal, Gautam
Published: (2026)

The Declaration of Independence and Immigration in the United States of America
by: KENNETH MICHAEL WHITE
Published: (2011)

AI, Identity, and Personality: A Structural Model
by: Doumbouya, Lisa Michelle
Published: (2026)

Stabilitics Computation: The Third Paradigm of Computing Beyond State and Amplitude
by: Kureshi, Sufiyan
Published: (2026)

The Impact of IT-Business Strategic Alignment on The Transformation and Operations of Pre-Digital Businesses
by: Francisco Massaro Mendes-da-Silva
Published: (2024)

First Results of Pacte Group’s Experimental Research on Translation Competence Acquisition: The Acquisition of Declarative Knowledge of Translation
by: PACTE Research Group
Published: (2014)

"Declaración de Temuco de ACV": Hoja de Ruta en el largo y sinuoso camino hacia una mejor atención de las enfermedades cerebrovasculares en Chile
by: Pablo M. Lavados G.
Published: (2007)

Process Mining Handbook
Published: (2022)

The Brain Problem: Creative Constraint Optimization in Large Language Models
by: Marinello, Nicola, et al.
Published: (2026)

DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

Declarative AI Architecture - Knowledge Artifacts as System Logic for Generative Systems
by: Gessler, Thomas
Published: (2026)

Conformal Elastodynamics in 2D Dilational Metamaterials
by: Singh, Neel, et al.
Published: (2026)

Survival, growth and photosynthesis analysis of native forest species established in the tropical dry forest in Antioquia, Colombia
by: Nora Isabel Bravo Baeza
Published: (2019)

From pandemia to polifonia: community “declaration of dependence”
by: marina santi
Published: (2023)

Verification Blind Spots: When Branchless Code Defeats Static Analysis
by: Musselman, Blake
Published: (2026)

Dynamics and management alternatives of in-channel large wood in mountain basins of the southern Andes
by: Luca Mao
Published: (2013)

Protecting Aboriginal Rights and Title in Canada: A Growing Space for the United Nations Declaration on the Rights of Indigenous Peoples
by: Fumiya Nagai
Published: (2021)

DECLARATIVE CLAUSES AS VEHICLES FOR EXISTENTIAL PROCESSES IN EKEGUSII
by: Nyamao, Jane Kemunto
Published: (2025)

The Effect of Moral Competence on Online Conformity Behavior
by: Aida Mofakhami
Published: (2021)

THE INFLUENCE OF SHARED MENTAL MODELS BETWEEN THE CIO AND THE TOP MANAGEMENT TEAM ON THE STRATEGIC ALIGNMENT OF INFORMATION SYSTEMS: A COMPARISON BETWEEN BRAZILIAN AND US COMPANIES
by: Nicolau Reinhard
Published: (2013)

Modelo de operador fraccional para describir la dinámica de los supercondensadores
by: Diana Sofía Mendoza
Published: (2020)

Survey Results from "Computational Fact-Checking of Online Discourse: Scoring Scientific Accuracy in Climate Change Related News Articles"
by: Wittenborg, Tim, et al.
Published: (2025)

The Mercator projection on the sphere: a deduction without mathematical gaps
by: Ramos, Isaac, et al.
Published: (2025)

Teaching safety precautions in a laboratory DVE: the effects of information location and interactivity
by: Benjamin Zayas Pérez
Published: (2009)

Bologna Translation Service: Improving Access To Educational Courses Via Machine Translation (system demonstration)
by: Justyna Pietrzak
Published: (2013)

Towards Actor-Based Game Engines: A Vision for Swift-Native Interactive Systems
by: BANG, JEAHOON
Published: (2025)

humitifier
by: Mees, Ty, et al.
Published: (2026)

Desarrollo de un módulo para fortalecer funciones ejecutivas en un grupo de estudiantes universitarios
by: Jinny Cascante Ramírez
Published: (2015)

Is the market concentration and interest-rates relationship in the Mexican commercial banking industry a sing of efficiency?
by: CLEMENTE HERNÁNDEZ-RODRÍGUEZ
Published: (2005)

A game-theoretic approach to the choice of union-oligopoly bargaining agenda
by: Domenico Buccella
Published: (2018)

Testing the efficiency market hypothesis for the Colombian stock market
by: Juan Benjamín Duarte-Duarte
Published: (2014)