Nikolaj Hartz

Recent publications · Crossref

5 total works indexed

1. 2017 ESC/EACTS Guidelines for the management of valvular heart disease

   · 2017 · cited 4,807x

2. Z3: An Efficient SMT Solver

   · 2008 · cited 4,326x

3. Sequence and structure-based prediction of eukaryotic protein phosphorylation sites

   · 1999 · cited 2,725x

4. The control of human mesenchymal cell differentiation using nanoscale symmetry and disorder

   · 2007 · cited 2,159x

5. Prediction of post‐translational glycosylation and phosphorylation of proteins from the amino acid sequence

   · 2004 · cited 1,803x

via Crossref · CC0