E-LIB Suche - Ergebnisse für: KÖRNER, PHILIPP

1

A verified low-level implementation and visualization of th..:

Krings, Sebastian ; Körner, Philipp ; Dunkelau, Jannik.
International Journal on Software Tools for Technology Transfer. 26 (2024) 3 - p. 403-419 , 2024

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

2

Meta-programming Event-B: Advancing Tool Support and Langua..:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Armbrüster, Julius ; Körner, Philipp - p. 233-240 , 2024

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

3

On Executing State-Based Specifications and Partial Order R..:

Körner, Philipp , 2023

Link: https://nbn-resolving.de..

4

A laboratory pilot study on voids in flowable bulk-fill com..:

Körner, Philipp ; Gerber, Sandra C. ; Gantner, Cindy...
Scientific Reports. 13 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

5

Towards Practical Partial Order Reduction for High-Level Fo..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools and Experiments.,

Körner, Philipp ; Leuschel, Michael - p. 72-91 , 2023

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

6

Effect of brushing force on the abrasive dentin wear using ..:

Hamza, Blend ; Martinola, Laura ; Körner, Philipp...
International Journal of Dental Hygiene. 21 (2022) 1 - p. 172-177 , 2022

Link: https://doi.org/10.1111/..

7

Effect of tapered-end and round-end bristles on the abrasiv..:

Hamza, Blend ; Svellenti, Leonardo ; Körner, Philipp..
Acta Odontologica Scandinavica. 80 (2022) 6 - p. 465-469 , 2022

Link: https://doi.org/10.1080/..

8

Fifty Years of Prolog and Beyond:

KÖRNER, PHILIPP ; LEUSCHEL, MICHAEL ; BARBOSA, JOÃO...
Theory and Practice of Logic Programming. 22 (2022) 6 - p. 776-858 , 2022

Link: https://doi.org/10.1017/..

9

Validation of ERA5-Land temperature and relative humidity o..:

Bonshoms, Martí ; Ubeda, Jose ; Liguori, Giovanni...
Journal of Mountain Science. 19 (2022) 7 - p. 1849-1873 , 2022

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

10

An embedding of B in Clojure:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Körner, Philipp ; Mager, Florian - p. 598-606 , 2022

Link: https://dl.acm.org/doi/1..

11

Effect of the toothbrush tuft arrangement and bristle stiff..:

Hamza, Blend ; Niedzwiecki, Maria ; Körner, Philipp..
Scientific Reports. 12 (2022) 1 - p. , 2022

Link: https://doi.org/10.1038/..

12

Effect of toothbrush bristle stiffness and toothbrushing fo..:

Hamza, Blend ; Tanner, Moritz ; Körner, Philipp..
International Journal of Dental Hygiene. 19 (2021) 4 - p. 355-359 , 2021

Link: https://doi.org/10.1111/..

13

Increasing Student Self-Reliance and Engagement in Model-Ch..:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,

Körner, Philipp ; Krings, Sebastian - p. 60-74 , 2021

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

14

On the Performance of Bytecode Interpreters in Prolog:

, In: Functional and Constraint Logic Programming; Lecture Notes in Computer Science,

Körner, Philipp ; Schneider, David ; Leuschel, Michael - p. 41-56 , 2021

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

15

Rooting Formal Methods Within Higher Education Curricula fo..:

, In: Communications in Computer and Information Science; Formal Methods – Fun for Everybody,

Cerone, Antonio ; Roggenbach, Markus ; Davenport, James... - p. 1-26 , 2021

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