Search Results - "Lemberger, Thomas"

This result is not displayed to guests.
Login for full access.

Six years later: testing vs. model checking.

Authors: Beyer, Dirk Lemberger, Thomas

Source: International Journal on Software Tools for Technology Transfer; Dec2024, Vol. 26 Issue 6, p633-646, 14p

Fault Localization on Verification Witnesses (Poster Paper).

Authors: Beyer, Dirk Kettl, Matthias Lemberger, Thomas

Source: ICSE: International Conference on Software Engineering; 2024, p339-340, 2p

Decomposing software verification into off-the-shelf components: an application to CEGAR.

Authors: Beyer, Dirk Haltermann, Jan Lemberger, Thomas et al.

Source: ICSE: International Conference on Software Engineering; 2022, p536-548, 13p

Verification Witnesses.

Authors: BEYER, DIRK DANGL, MATTHIAS DIETSCH, DANIEL et al.

Source: ACM Transactions on Software Engineering & Methodology; Oct2022, Vol. 31 Issue 4, p1-69, 69p

Partnering with Life Science Alliance.

Authors: Lemberger, Thomas¹ thomas.lemberger@embo.org

Source: Molecular Systems Biology. Apr2018, Vol. 14 Issue 4, p1-N.PAG. 1p.

From bench to website.

Authors: Lemberger, Thomas¹ (AUTHOR)

Source: Molecular Systems Biology. 2010, Vol. 6 Issue 1, p1-N.PAG. 2p.

In situ Magnetic Measurements of Ionic-Liquid-Gated Superconducting Films.

Authors: Qin, Mingyang Zhang, Ruozhou Lin, Zefeng et al.

Source: Journal of Superconductivity & Novel Magnetism; Jan2020, Vol. 33 Issue 1, p159-163, 5p

Numerical modeling and experimental considerations for a two-coil apparatus to measure the complex conductivity of superconducting films.

Authors: Turneaure, Stefan J. Pesetski, Aaron A. Lemberger, Thomas R.

Source: Journal of Applied Physics; April 15 1998, Vol. 83 Issue 8, p4334-4343, 10p

Methods to drive systems biology forward.

Authors: Polychronidou, Maria Lemberger, Thomas

Source: Molecular Systems Biology. Dec2017, Vol. 13 Issue 12, p1-N.PAG. 2p.

Expression of Cre recombinase in dopaminoceptive neurons.

Authors: Lemberger, Thomas Parlato, Rosanna Dassesse, Donald et al.

Source: BMC Neuroscience. 2007, Vol. 8, p4-12. 12p.

SRF mediates activity-induced gene expression and synaptic plasticity but not neuronal viability.

Authors: Ramanan, Narendrakumar Ying Shen Sarsfield, Sarah et al.

Source: Nature Neuroscience. Jun2005, Vol. 8 Issue 6, p759-767. 9p.

Subjects: Gene expression, Synapses, Neuroplasticity, Nervous system, Neurons, Brain, Mammals

Disruption of CREB function in brain leads to neurodegeneration.

Authors: Mantamadiotis, Theo Lemberger, Thomas Bleckmann, Susanne C. et al.

Source: Nature Genetics. May2002, Vol. 31 Issue 1, p47. 8p.

This result is not displayed to guests.
Login for full access.

Data citation: what, when, why?

Authors: Lemberger, Thomas¹ thomas.lemberger@embo.org

Source: Molecular Systems Biology. Dec2018, Vol. 14 Issue 12, pN.PAG-N.PAG. 1p.

PEROXISOME PROLIFERATOR-ACTIVATED RECEPTORS: A Nuclear Receptor Signaling Pathway in Lipid Physiology.

Authors: Lemberger, Thomas Desvergne, Beatrice Wahli, Walter

Source: Annual Review of Cell & Developmental Biology. 1996, Vol. 12 Issue 1, p335. 29p.

Plain random test generation with PRTest.

Authors: Lemberger, Thomas¹, thomas.lemberger@sosy.ifi.lmu.de

Source: International Journal on Software Tools for Technology Transfer; Dec2021, Vol. 23 Issue 6, p871-873, 3p

Stress and addiction: glucocorticoid receptor in dopaminoceptive neurons facilitates cocaine seeking.

Authors: Ambroggi, Frédéric Turiault, Marc Milet, Aude et al.

Source: Nature Neuroscience. Mar2009, Vol. 12 Issue 3, p247-249. 3p. 1 Color Photograph, 2 Graphs.

Subjects: Psychological stress, Glucocorticoid receptors, Neurons, Neurotransmitter receptors, Dopamine receptors

Quantum critical behaviour in the superfluid density of strongly underdoped ultrathin copper oxide films.

Authors: Hetel, Iulian Lemberger, Thomas R. Randeria, Mohit

Source: Nature Physics. Oct2007, Vol. 3 Issue 10, p700-702. 3p. 2 Graphs.

Higher order structure in the cancer transcriptome and systems medicine.

Authors: Liu, Edison T Lemberger, Thomas

Source: Molecular Systems Biology. 2007, Vol. 3 Issue 1, p94-N.PAG. 1p.