I agree that this site is using cookies. You can find further informations here.
X
Koopmann, Patrick
32  results:
Articles (Online) X
Search for persons X
?
1

Enhancing Probabilistic Model Checking with Ontologies:

Dubslaff, Clemens ; Koopmann, Patrick ; Turhan, Anni-Yasmin
Formal Aspects of Computing.  33 (2021)  6 - p. 885-921 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Efficient TBox Reasoning with Value Restrictions using the ..:

BAADER, FRANZ ; KOOPMANN, PATRICK ; MICHEL, FRIEDRICH..
Theory and Practice of Logic Programming.  22 (2021)  2 - p. 162-192 , 2021
Link: https://doi.org/10.1017/..
 
?
3

Metric Temporal Description Logics with Interval-Rigid Name:

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick..
ACM Transactions on Computational Logic (TOCL).  21 (2020)  4 - p. 1-46 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

Metric Temporal Description Logics with Interval-Rigid Name:

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick..
ACM Transactions on Computational Logic.  21 (2020)  4 - p. 1-46 , 2020
Link: https://doi.org/10.1145/..
 
?
5

Semantic Technologies for Situation Awareness: Report on a ..:

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick..
KI - Künstliche Intelligenz.  34 (2020)  4 - p. 543-550 , 2020
Link: https://doi.org/10.1007/..
 
?
6

LETHE: Forgetting and Uniform Interpolation for Expressive ..:

Koopmann, Patrick
KI - Künstliche Intelligenz.  34 (2020)  3 - p. 381-387 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Psychometric properties of the German Penn Alcohol Craving ..:

Nakovics, Helmut ; Hoffmann, Sabine ; Koopmann, Anne...
Alcohol and Alcoholism.  58 (2023)  6 - p. 637-644 , 2023
Link: https://doi.org/10.1093/..
 
?
8

ON-ICE trial: Investigation of the combined effects of oxyt..:

Zimmermann, Sina ; Thomas, Bettina C ; Krisam, Johannes...
BMJ Open.  12 (2022)  4 - p. e059672 , 2022
Link: https://doi.org/10.1136/..
 
?
9

Body mass index interacts with sex to predict readmission i..:

Hoffmann, Sabine ; Gerhardt, Sarah ; Koopmann, Anne...
Addiction Biology.  28 (2022)  1 - p. , 2022
Link: https://doi.org/10.1111/..
 
?
10

Correction: G-CuP: the effect of a forced oral glucose inta..:

Wetzel, Lea ; Pourbaix, Madeleine ; Riegler, Alisa...
Trials.  23 (2022)  1 - p. , 2022
Link: https://doi.org/10.1186/..
 
?
11

G-CuP: the effect of a forced oral glucose intake on alcoho..:

Wetzel, Lea ; Pourbaix, Madeleine ; Riegler, Alisa...
Trials.  23 (2022)  1 - p. , 2022
Link: https://doi.org/10.1186/..
 
?
12

A History of Childhood Maltreatment Has Substance- and Sex-..:

Gerhardt, Sarah ; Eidenmueller, Katharina ; Hoffmann, Sabine...
Frontiers in Psychiatry.  13 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
13

Predictors of weight loss in participants with obesity foll..:

Bach, Patrick ; Grosshans, Martin ; Koopmann, Anne...
Appetite.  163 (2021)  - p. 105237 , 2021
Link: https://doi.org/10.1016/..
 
?
14

A new method for measuring treadmill belt velocity fluctuat..:

Willwacher, Steffen ; Oberländer, Kai Daniel ; Mai, Patrick...
Scientific Reports.  11 (2021)  1 - p. , 2021
Link: https://doi.org/10.1038/..
 
?
15

Test–retest reliability of neural alcohol cue‐reactivity: I..:

Bach, Patrick ; Reinhard, Iris ; Koopmann, Anne...
Addiction Biology.  27 (2021)  1 - p. , 2021
Link: https://doi.org/10.1111/..
 
1-15