Showing 1 - 14 results of 14 for search 'Horn A', query time: 0.08s
Refine Results
-
1
-
2
Comparative study on maternal performance of different suckler cow genotypes by Kelemeri G, Horn A
Published 1980-01-01
Article -
3
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D
Published 2015Journal article -
4
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D
Published 2015Conference item -
5
Faster linearizability checking via P-compositionality by Horn, A, Kroening, D
Published 2015Journal article -
6
Faster linearizability checking via P-compositionality by Horn, A, Kroening, D
Published 2015Conference item -
7
Formal co−validation of low−level hardware/software interfaces by Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D
Published 2013Conference item -
8
-
9
-
10
Formal Co-Validation of Low-Level Hardware/Software Interfaces by Horn, A, Tautschnig, M, Val, C, Liang, L, Melham, T, Grundy, J, Kroening, D, IEEE
Published 2013Conference item -
11
-
12
Deep brain stimulation suppresses pallidal low frequency activity in patients with phasic dystonic movements. by Barow, E, Neumann, W, Brücke, C, Huebl, J, Horn, A, Brown, P, Krauss, J, Schneider, G, Kühn, A
Published 2014Journal article -
13
Proceedings of the 11th Annual Deep Brain Stimulation Think Tank: pushing the forefront of neuromodulation with functional network mapping, biomarkers for adaptive DBS, bioethical... by Johnson, KA, Dosenbach, NUF, Gordon, EM, Welle, CG, Wilkins, KB, Bronte-Stewart, HM, Voon, V, Morishita, T, Sakai, Y, Merner, AR, Lázaro-Muñoz, G, Williamson, T, Horn, A, Gilron, R, O'Keeffe, J, Gittis, AH, Neumann, W, Little, S, Provenza, NR, Sheth, SA, Fasano, A, Holt-Becker, AB, Raike, RS, Moore, L, Tan, H
Published 2024Journal article -
14
GGPS1 mutations cause muscular dystrophy/hearing loss/ovarian insufficiency syndrome by Foley, AR, Zou, Y, Dunford, JE, Rooney, J, Chandra, G, Xiong, H, Straub, V, Voit, T, Romero, N, Donkervoort, S, Hu, Y, Markello, T, Horn, A, Qebibo, L, Dastgir, J, Meilleur, KG, Finkel, RS, Fan, Y, Mamchaoui, K, Duguez, S, Nelson, I, Laporte, J, Santi, M, Malfatti, E, Maisonobe, T, Touraine, P, Hirano, M, Hughes, I, Bushby, K, Oppermann, U, Böhm, J, Jaiswal, JK, Stojkovic, T, Bönnemann, CG
Published 2020Journal article