Showing 1 - 12 results of 12 for search 'Horn, A.', query time: 0.02s
Refine Results
-
1
-
2
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D
Published 2015Journal article -
3
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency by Horn, A, Kroening, D
Published 2015Conference item -
4
Faster linearizability checking via P-compositionality by Horn, A, Kroening, D
Published 2015Journal article -
5
Faster linearizability checking via P-compositionality by Horn, A, Kroening, D
Published 2015Conference item -
6
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 -
7
-
8
-
9
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 -
10
-
11
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 -
12
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