E-LIB Suche - Ergebnisse für: Kleine Büning, Lena

1

Tübinger Training for Autism Spectrum Disorders (TüTASS): a..:

Drüsedau, Laura Luisa ; Götz, Antonia ; Kleine Büning, Lena...
European Archives of Psychiatry and Clinical Neuroscience. 273 (2023) 7 - p. 1599-1613 , 2023

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

2

Tübinger Training for Autism Spectrum Disorders (TüTASS): a..:

Drüsedau, Laura Luisa ; Götz, Antonia ; Kleine Büning, Lena...
0940-1334. , 2023

Link: https://resolver.sub.uni..

3

Classes of propositional UMU formulas and their extensions ..:

Kleine Büning, Hans
Theoretical Computer Science. 998 (2024) - p. 114538 , 2024

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

4

Refined Modularization for Bounded Model Checking Through P..:

, In: Lecture Notes in Computer Science; Formal Methods and Software Engineering,

Kleine Büning, Marko ; Meuer, Johannes ; Sinz, Carsten - p. 209-226 , 2022

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

5

QPR Verify: A Static Analysis Tool for Embedded Software Ba..:

, In: Lecture Notes in Computer Science; Software Verification,

Kleine Büning, Marko ; Sinz, Carsten ; Faragó, David - p. 21-32 , 2020

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

6

NAE-resolution: A new resolution refutation technique to pr..:

Kleine Büning, Hans ; Wojciechowski, P. ; Subramani, K.
Mathematical Structures in Computer Science. 30 (2020) 7 - p. 736-751 , 2020

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

7

Verifying Equivalence Properties of Neural Networks with Re..:

, In: Lecture Notes in Computer Science; Principles and Practice of Constraint Programming,

Kleine Büning, Marko ; Kern, Philipp ; Sinz, Carsten - p. 868-884 , 2020

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

8

Read-Once Resolutions in Horn Formulas:

, In: Lecture Notes in Computer Science; Frontiers in Algorithmics,

Kleine Büning, Hans ; Wojciechowski, P. ; Subramani, K. - p. 100-110 , 2019

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

9

Restricted Cutting Plane Proofs in Horn Constraint Systems:

, In: Lecture Notes in Computer Science; Frontiers of Combining Systems,

Kleine Büning, Hans ; Wojciechowski, Piotr ; Chandrasekaran, R.. - p. 149-164 , 2019

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

10

Using DimSpec for Bounded and Unbounded Software Model Chec..:

, In: Lecture Notes in Computer Science; Formal Methods and Software Engineering,

Kleine Büning, Marko ; Balyo, Tomáš ; Sinz, Carsten - p. 19-35 , 2019

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

11

Automatic Modularization of Large Programs for Bounded Mode..:

, In: Lecture Notes in Computer Science; Formal Methods and Software Engineering,

Kleine Büning, Marko ; Sinz, Carsten - p. 186-202 , 2019

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

12

Using Theorem Provers to Increase the Precision of Dependen..:

, In: Lecture Notes in Computer Science; Formal Methods and Software Engineering,

Beckert, Bernhard ; Bischof, Simon ; Herda, Mihai.. - p. 284-300 , 2018

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

13

Nonreplicative RNA Recombination of an Animal Plus-Strand R..:

Kleine Büning, Maximiliane ; Meyer, Denise ; Austermann-Busch, Sophia...
Genome Biology and Evolution. 9 (2017) 4 - p. 817-829 , 2017

Link: https://doi.org/10.1093/..

14

Learning Boolean specifications:

Bubeck, U. ; Kleine Büning, H.
Artificial Intelligence. 229 (2015) - p. 246-257 , 2015

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

15

Learning and coordination in sequential multiagent problems:

Kemmerich, Thomas , 2012

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