Algebraic correctness proofs for compiling recursive function definitions with strictness informationINDERMARK, Klaus; NOLL, Thomas.Acta informatica. 2006, Vol 43, Num 1, pp 1-43, issn 0001-5903, 43 p.Article

Methods in mammalian cell line engineering: from random mutagenesis to sequence-specific approachesKRÄMER, Oliver; KLAUSING, Sandra; NOLL, Thomas et al.Applied microbiology and biotechnology. 2010, Vol 88, Num 2, pp 425-436, issn 0175-7598, 12 p.Article

Albrecht Altdorfers Radierungen der Synagoge in Regensburg: Zur Wahrnehmung jüdischer Lebenswelt im frühen 16. JahrhundertNOLL, Thomas.Abhandlungen der Akademie der Wissenschaften zu Göttingen. 2009, Vol Neue Folge, Band 4, pp 189-229, isbn 978-3-11-021352-2 3-11-021352-4, 41 p.Conference Paper

Verifying generic Erlang client-server implementationsARTS, Thomas; NOLL, Thomas.Lecture notes in computer science. 2001, pp 37-52, issn 0302-9743, isbn 3-540-41919-5Conference Paper

Functional programming languages for verification tools: a comparison of Standard ML and HaskellLEUCKER, Martin; NOLL, Thomas; STEVENS, Perdita et al.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 2, pp 184-194, issn 1433-2779, 11 p.Article

Spacecraft early design validation using formal methodsBOZZANO, Marco; CIMATTI, Alessandro; KATOEN, Joost-Pieter et al.Reliability engineering & systems safety. 2014, Vol 132, pp 20-35, issn 0951-8320, 16 p.Article

Intermedin induces loss of coronary microvascular endothelial barrier via derangement of actin cytoskeleton: role of RhoA and Rac1ASLAM, Muhammad; GÜNDÜZ, Dursun; SCHULER, Dominik et al.Cardiovascular research. 2011, Vol 92, Num 2, pp 276-286, issn 0008-6363, 11 p.Article

Stimulation of cGMP signalling protects coronary endothelium against reperfusion-induced intercellular gap formationKASSECKERT, Sascha A; SCHÄFER, Claudia; KLUGER, Angelika et al.Cardiovascular research. 2009, Vol 83, Num 2, pp 381-387, issn 0008-6363, 7 p.Article

Prediction of violent and sexual offences : A replication study of the VRAG in SwitzerlandURBANIOK, Frank; NOLL, Thomas; GRUNEWALD, Sonja et al.The Journal of forensic psychiatry & psychology (Print). 2006, Vol 17, Num 1, pp 23-31, issn 1478-9949, 9 p.Article

Occurrence and recurrence of spontaneous chronic subdural haematoma is associated with a factor XIII deficiencyBOSCHE, Bert; MOLCANYI, Marek; BRINKER, Gerrit et al.Clinical neurology and neurosurgery (Dutch-Flemish ed.). 2013, Vol 115, Num 1, pp 13-18, issn 0303-8467, 6 p.Article

Unraveling the Chinese hamster ovary cell line transcriptome by next-generation sequencingBECKER, Jennifer; HACKL, Matthias; KALTSCHMIDT, Christian et al.Journal of biotechnology. 2011, Vol 156, Num 3, pp 227-235, issn 0168-1656, 9 p.Article

Insulin Stabilizes Microvascular Endothelial Barrier Function via Phosphatidylinositol 3-Kinase/Akt-Mediated Rac1 ActivationGÜNDÜZ, Dursun; THOM, Johannes; NOLL, Thomas et al.Arteriosclerosis, thrombosis, and vascular biology. 2010, Vol 30, Num 6, pp 1237-1245, issn 1079-5642, 9 p.Article

cAMP/PKA antagonizes thrombin-induced inactivation of endothelial myosin light chain phosphatase: role of CPI-17ASLAM, Muhammad; HÄRTEL, Frauke V; ARSHAD, Muhammad et al.Cardiovascular research. 2010, Vol 87, Num 2, pp 375-384, issn 0008-6363, 10 p.Article

Intermedin/adrenomedullin-2 is a hypoxia-induced endothelial peptide that stabilizes pulmonary microvascular permeabilityPFEIL, Uwe; ASLAM, Muhammad; PAPADAKIS, Tamara et al.American journal of physiology. Lung cellular and molecular physiology. 2009, Vol 41, Num 5, issn 1040-0605, L837-L845Article

Apoptosis of monocytes and the influence on yield of monocyte-derived dendritic cellsBOHNENKAMP, Hermann R; BURCHELL, Joy M; TAYLOR-PAPADIMITRIOU, Joyce et al.Journal of immunological methods. 2004, Vol 294, Num 1-2, pp 67-80, issn 0022-1759, 14 p.Article

Improved product formation in high density Chinese hamster ovary cell cultures transfected at confluencyNOLL, Thomas; EISENKRÄTZER, Detlef; KIESEWETTER, André et al.Biotechnology letters. 2002, Vol 24, Num 11, pp 861-866, issn 0141-5492Article

Immobilisation of bovine enterokinase and application of the immobilised enzyme in fusion protein cleavageKUBITZKI, Tina; NOLL, Thomas; LÜTZ, Stephan et al.Bioprocess and biosystems engineering (Print). 2008, Vol 31, Num 3, pp 173-182, issn 1615-7591, 10 p.Article

The role of poly(ADP-ribose) polymerase (PARP) in the autonomous proliferative response of endothelial cells to hypoxiaABDALLAH, Yaser; GLIGORIEVSKI, Dragan; KASSECKERT, Sascha A et al.Cardiovascular research. 2007, Vol 73, Num 3, pp 568-574, issn 0008-6363, 7 p.Article

Finger length ratio (2D:4D) and dimensions of sexual orientationKRAEMER, Bernd; NOLL, Thomas; DELSIGNORE, Aba et al.Neuropsychobiology. 2006, Vol 53, Num 4, pp 210-214, issn 0302-282X, 5 p.Article

Generalised regular MSC languagesBOLLIGL, Benedikt; LEUCKER, Martin; NOLL, Thomas et al.Lecture notes in computer science. 2002, pp 52-66, issn 0302-9743, isbn 3-540-43366-XConference Paper

Truth/SLC : A parallel verification platform for concurrent systemsLEUCKER, Martin; NOLL, Thomas.Lecture notes in computer science. 2001, pp 255-259, issn 0302-9743, isbn 3-540-42345-1Conference Paper