I agree that this site is using cookies. You can find further informations here.
X
Leinenbach, Dirk C.
50  results:
Search for persons X
?
1

Formal Verification of a Reader-Writer Lock Implementation ..:

Hillebrand, Mark A. ; Leinenbach, Dirk C.
Electronic Notes in Theoretical Computer Science.  254 (2009)  - p. 123-141 , 2009
Link: https://doi.org/10.1016/..
 
?
2

Balancing the Load: Leveraging a Semantics Stack for System..:

Alkassar, Eyad ; Hillebrand, Mark A. ; Leinenbach, Dirk C....
Journal of Automated Reasoning.  42 (2009)  2-4 - p. 389-454 , 2009
Link: https://doi.org/10.1007/..
 
?
3

List of contributors:

, In: Handbook of Silicon Based MEMS Materials and Technologies,
Aalto, Timo ; Airaksinen, Veli-Matti ; Albert, Stephan Gerhard... - p. xv-xvii , 2020
Link: https://doi.org/10.1016/..
 
?
4

List of Contributors:

, In: Handbook of Silicon Based MEMS Materials and Technologies,
Aalto, Timo ; Airaksinen, Veli-Matti ; Amiotti, Marco... - p. xiii-xv , 2015
Link: https://doi.org/10.1016/..
 
?
5

Pervasive Compiler Verification – From Verified Programs to..:

Leinenbach, Dirk ; Petrova, Elena
Electronic Notes in Theoretical Computer Science.  217 (2008)  - p. 23-40 , 2008
Link: https://doi.org/10.1016/..
 
?
6

Putting it all together – Formal verification of the VAMP:

Beyer, Sven ; Jacobi, Christian ; Kröning, Daniel..
International Journal on Software Tools for Technology Transfer.  8 (2006)  4-5 - p. 411-430 , 2006
Link: https://doi.org/10.1007/..
 
?
7

4D printing of recoverable buckling-induced architected iro..:

Jafarabadi, A. ; Ferretto, I. ; Mohri, M...
Materials & Design.  233 (2023)  - p. 112216 , 2023
Link: https://doi.org/10.1016/..
 
?
8

Shape recovery performance of a (V, C)-containing Fe–Mn–Si–..:

Ferretto, I. ; Kim, D. ; Mohri, M....
Journal of Materials Research and Technology.  20 (2022)  - p. 3969-3984 , 2022
Link: https://doi.org/10.1016/..
 
?
9

Coarsening- and creep resistance of precipitation-strengthe..:

Griffiths, S. ; Croteau, J.R. ; Rossell, M.D....
Acta Materialia.  188 (2020)  - p. 192-202 , 2020
Link: https://doi.org/10.1016/..
 
?
10

Neutron dark-field imaging applied to porosity and deformat..:

Bacak, M. ; Valsecchi, J. ; Čapek, J....
Materials & Design.  195 (2020)  - p. 109009 , 2020
Link: https://doi.org/10.1016/..
 
?
11

Feasibility study in combined direct metal deposition (DMD)..:

Dalaee, M. ; Cheaitani, F. ; Arabi-Hashemi, A....
The International Journal of Advanced Manufacturing Technology.  106 (2020)  9-10 - p. 4375-4389 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Phase and microstructure formation in rapidly solidified Cu..:

Li, X. ; Ivas, T. ; Spierings, A.B...
Journal of Alloys and Compounds.  735 (2018)  - p. 1374-1382 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Acoustic emission for in situ quality monitoring in additiv..:

Shevchik, S.A. ; Kenel, C. ; Leinenbach, C..
Additive Manufacturing.  21 (2018)  - p. 598-604 , 2018
Link: https://doi.org/10.1016/..
 
?
14

Microstructure and oxide particle stability in a novel ODS ..:

Kenel, C. ; Dawson, K. ; Barras, J....
Intermetallics.  90 (2017)  - p. 63-73 , 2017
Link: https://doi.org/10.1016/..
 
?
15

Mechanical performance and oxidation resistance of an ODS γ..:

Kenel, C. ; Lis, A. ; Dawson, K....
Intermetallics.  91 (2017)  - p. 169-180 , 2017
Link: https://doi.org/10.1016/..
 
1-15