Scherzinger, Stefanie
87  results:
Search for persons X
?
2

Validation of Modern JSON Schema: Formalization and Complex..:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1451-1481 , 2024
 
?
4

Solving Hard Variants of Database Schema Matching on Quantu..:

Fritsch, Kristin ; Scherzinger, Stefanie
Proceedings of the VLDB Endowment.  16 (2023)  12 - p. 3990-3993 , 2023
 
?
5

Negation-closure for JSON Schema:

Baazizi, Mohamed-Amine ; Colazzo, Dario ; Ghelli, Giorgio..
Theoretical Computer Science.  955 (2023)  - p. 113823 , 2023
 
?
6

Witness Generation for JSON Schema:

Attouche, Lyes ; Baazizi, Mohamed-Amine ; Colazzo, Dario...
Proceedings of the VLDB Endowment.  15 (2022)  13 - p. 4002-4014 , 2022
 
?
7

Peel | Pile? Cross-Framework Portability of Quantum Softwar:

, In: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C),
 
?
8

Beyond the Badge: Reproducibility Engineering as a Lifetime..:

, In: 2022 IEEE/ACM 4th International Workshop on Software Engineering Education for the Next Generation (SEENG),
 
?
9

1-2-3 Reproducibility for Quantum Software Experiments:

, In: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER),
Mauerer, Wolfgang ; Scherzinger, Stefanie - p. 1247-1248 , 2022
 
?
10

Beyond the badge : reproducibility engineering as a life..:

, In: Proceedings of the 4th International Workshop on Software Engineering Education for the Next Generation,
 
?
 
?
13

Towards Generating Consumer Labels for Machine Learning Mod..:

, In: 2019 IEEE First International Conference on Cognitive Machine Intelligence (CogMI),
 
?
15

Unlocking the potential of nextGen multi-model databases fo..:

, In: Proceedings of the International Workshop on Semantic Big Data,
 
1-15