Validating Back-links of FOLID Cyclic Pre-proofs

by Sorin Stratulat
Published 2018-10-01

Performing Implicit Induction Reasoning with Certifying Proof Environments

by Sorin Stratulat, Amira Henaien
Published 2013-07-01

http://www.bio.uaic.ro/publicatii/anale_biochimie/data/archive/papers/2007/2/2007_Anale_GBM_VIII_f2_l23.pdf

by Lucian Hritcu, Calin Maniu, Sorin Stratulat
Published 2007-12-01

Nicotine, memory and oxidative stress

by Lucian Hritcu, Alin Ciobica, Sorin Stratulat
Published 2008-05-01

THE EFFECTS OF NICOTINE TREATMENT ON THE ANTIOXIDANT ENZIMES ACTIVITY IN THE RAT BRAIN

by Lucian Hritcu, Calin Maniu, Sorin Stratulat
Published 2007-12-01

Effect of serotonin depletion in the paraventricular nucleus of the hypothalamus on the behavioral responses in the rat

by Lucian Hritcu, Alin Ciobica, Sorin Stratulat
Published 2008-12-01

Effects of 6-OHDA infusion in the paraventricular nucleus of the hypothalamus on the learning and memory processes in rats

by Lucian Hritcu, Alin Ciobica, Vlad Artenie, Sorin Stratulat
Published 2008-08-01

ROLE OF THE SEROTONIN IN MEMORY PROCESSES IN THE RAT

by Andreea Ioana Hefco, Vasile Hefco, Sorin Stratulat, Lucian Hritcu
Published 2005-08-01

EFFECTS OF 5, 7-DIHYDROXYTRYPTAMINE-INDUCED DEPLETION OF BRAIN SEROTONIN ON RADIAL ARM-MAZE TASK IN RATS

by Vasile Hefco, AndreeaIoana Hefco, Sorin Stratulat, Lucian Hritcu
Published 2005-08-01

The influence of natural factors on the pathology of the locomotor apparatus on the upper course of Bârlad in the Central Moldavian Plateau

by Vasile CÎRLIG, Irina CÎRLIG, Alexandru DIACONESCU, Iuri (Gheorghe) SIMIONCA, Liviu ENACHE, Ioan Sorin STRATULAT
Published 2019-08-01

Study on the Role of Inflammatory Markers and Type D Personality on Symptom Profiles and Severity in Patients with Major Depressive Disorder

by Ileana Enatescu, Raluka Kalinovic, Catalina Giurgi-Oncu, Vladimir Poroch, Ioan Sorin Stratulat, Gabriela Vlad, Oana Neda-Stepan, Mihaela Simu, Ion Papava, Roxana Oancea, Raul Patrascu, Virgil Radu Enatescu
Published 2020-08-01