Tatjana Petrov

Interface theories with component reuse

Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann et al. · 2008 · 82 citations

Engineering, Computer Engineering, Computer Science +13

Expression of the inducible nitric oxide synthase in distinct cellular types after traumatic brain injury: an in situ hybridization and immunocytochemical study

Tatjana Petrov, Andrea B. Page, Cheri R. Owen et al. · Acta Neuropathologica · 2000 · 60 citations

Life Sciences, Neurobiology, Neuroscience +13

Lumpability abstractions of rule-based systems

Jérôme Ferêt, Thomas A. Henzinger, Heinz Koeppl et al. · Theoretical Computer Science · 2011 · 55 citations · Full text

Computing, Computer Science, Systems Engineering +5

Convergent influence of the central nucleus of the amygdala and the paraventricular hypothalamic nucleus upon brainstem autonomic neurons as revealed by c‐fos expression and anatomical tracing

Tatjana Petrov, Teresa L. Krukoff, Jack H. Jhamandas · Journal of Neuroscience Research · 1995 · 52 citations

Life Sciences, Neurobiology, Neuroscience +17

Hypotension induces fos immunoreactivity in NADPH-diaphorase positive neurons in the paraventricular and supraoptic hypothalamic nuclei of the rat

Tatjana Petrov, Kristin Harris, David MacTavish et al. · Neuropharmacology · 1995 · 42 citations

Life Sciences, Neurobiology, Neuroscience +13