E-LIB Suche - Ergebnisse für: Winkler, Sarah

1

Cryptic diversity of cellulose-degrading gut bacteria in in..:

Moraïs, Sarah ; Winkler, Sarah ; Zorea, Alvah...
Science. 383 (2024) 6688 - p. , 2024

Link: https://doi.org/10.1126/..

2

Equivalence of Data Petri Nets with Arithmetic:

, In: Business Process Management Workshops; Lecture Notes in Business Information Processing,

Montali, Marco ; Winkler, Sarah - p. 409-421 , 2024

Link: https://doi.org/10.1007/..

3

Object-Centric Conformance Alignments with Synchronization:

, In: Advanced Information Systems Engineering; Lecture Notes in Computer Science,

Gianola, Alessandro ; Montali, Marco ; Winkler, Sarah - p. 3-19 , 2024

Link: https://doi.org/10.1007/..

4

Multi-perspective conformance checking of uncertain process..:

Felli, Paolo ; Gianola, Alessandro ; Montali, Marco..
Engineering Applications of Artificial Intelligence. 126 (2023) - p. 106895 , 2023

Link: https://doi.org/10.1016/..

5

Approximating Multi-perspective Trace Alignment Using Trace..:

, In: Lecture Notes in Computer Science; Business Process Management,

Gianola, Alessandro ; Ko, Jonghyeon ; Maggi, Fabrizio Maria.. - p. 74-91 , 2023

Link: https://doi.org/10.1007/..

6

Repairing Soundness Properties in Data-Aware Processes:

, In: 2023 5th International Conference on Process Mining (ICPM),

Felli, Paolo ; Montali, Marco ; Winkler, Sarah - p. 41-48 , 2023

Link: https://doi.org/10.1109/..

7

Data-aware conformance checking with SMT:

Felli, Paolo ; Gianola, Alessandro ; Montali, Marco..
Information Systems. 117 (2023) - p. 102230 , 2023

Link: https://doi.org/10.1016/..

8

Semantically-Guided Goal-Sensitive Reasoning: Decision Proc..:

Bonacina, Maria Paola ; Winkler, Sarah
Journal of Automated Reasoning. 67 (2023) 1 - p. , 2023

Link: https://doi.org/10.1007/..

9

CTL$$^*$$ Model Checking for Data-Aware Dynamic Systems wit..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Felli, Paolo ; Montali, Marco ; Winkler, Sarah - p. 36-56 , 2022

Link: https://doi.org/10.1007/..

10

Conformance Checking with Uncertainty via SMT:

, In: Lecture Notes in Computer Science; Business Process Management,

Felli, Paolo ; Gianola, Alessandro ; Montali, Marco.. - p. 199-216 , 2022

Link: https://doi.org/10.1007/..

11

Soundness of Data-Aware Processes with Arithmetic Condition:

, In: Advanced Information Systems Engineering; Lecture Notes in Computer Science,

Felli, Paolo ; Montali, Marco ; Winkler, Sarah - p. 389-406 , 2022

Link: https://doi.org/10.1007/..

12

CoCoMoT: Conformance Checking of Multi-perspective Processe..:

, In: Lecture Notes in Computer Science; Business Process Management,

Felli, Paolo ; Gianola, Alessandro ; Montali, Marco.. - p. 217-234 , 2021

Link: https://doi.org/10.1007/..

13

Runtime Complexity Analysis of Logically Constrained Rewrit..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Winkler, Sarah ; Moser, Georg - p. 37-55 , 2021

Link: https://doi.org/10.1007/..

14

Modulation of metal-azolate frameworks for the tunable rele..:

Velásquez-Hernández, Miriam de J. ; Astria, Efwita ; Winkler, Sarah...
Chemical Science. 11 (2020) 39 - p. 10835-10843 , 2020

Link: https://doi.org/10.1039/..

15

SGGS Decision Procedures:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Bonacina, Maria Paola ; Winkler, Sarah - p. 356-374 , 2020

Link: https://doi.org/10.1007/..