:: Library Catalog

Cover Image

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:	https://doi.org/10.5281/zenodo.15470077
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)

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

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

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

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

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

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

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

Process Mining Handbook
Published: (2022)

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)

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)

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

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)

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

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

"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)

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

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)

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

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

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)

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

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

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

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

Elastoplasticidad de un suelo franco arenoso de sabana
by: Américo Hossne García
Published: (2014)

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

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

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

Sobre una versión categórica de un criterio de proyectividad generalizada para módulos sobre dominios
by: Macías Díaz, Jorge Eduardo
Published: (2011)

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

CBR cíclico como método alternativo para la determinación del módulo resiliente en suelos blandos de subrasante
by: Diana Carolina Bojacá Torres
Published: (2022)

Automated Deduction – CADE 29
Published: (2023)

Un caso particular del problema de prescribir la curvatura escalar en Sn
by: Claudia Granados Pinzón
Published: (2007)

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)

Calder v. Bull, interpreting the Constitution as a social compact; or a sequel to Jean Jacques Burlamaqui and the theory of social contract (I)
by: Raúl Pérez Johnston
Published: (2007)