Akt3 overexpression in the heart results in progression from adaptive to maladaptive hypertrophy
Taniyama, Yoshiaki, Ito, Masahiro, Sato, Kaori, Kuester, Christoph, Veit, Kerstin, Tremp, Gunter, Liao, Ronglih, Colucci, Wilson S., Ivashchenko, Yuri, Walsh, Kenneth, Shiojima, Ichiro
Published in Journal of molecular and cellular cardiology (01.02.2005)
Published in Journal of molecular and cellular cardiology (01.02.2005)
Get full text
Journal Article
The ins and outs of first-order runtime verification
Bauer, Andreas, Küster, Jan-Christoph, Vegliach, Gil
Published in Formal methods in system design (01.06.2015)
Published in Formal methods in system design (01.06.2015)
Get full text
Journal Article
Supporting the development and documentation of ISO 27001 information security management systems through security requirements engineering approaches
Beckers, Kristian, Faßbender, Stephan, Heisel, Maritta, Küster, Jan-Christoph, Schmidt, Holger
Published in Engineering Secure Software and Systems (01.01.2012)
Published in Engineering Secure Software and Systems (01.01.2012)
Get full text
Conference Proceeding
Book Chapter