Dvořák (Czechia)

Undecidability of bisimilarity for Petri nets and some related problems

Petr Jančar · Theoretical Computer Science · 1995 · 129 citations

Petri Net, Engineering, Reachability Problem +10

Microglia display modest phagocytic capacity for extracellular tau oligomers

Petra Majerová, Monika Žilková, Zuzana Kazmerova et al. · Journal of Neuroinflammation · 2014 · 87 citations · Full text

Ultra-high performance hydrophilic interaction liquid chromatography – Triple quadrupole tandem mass spectrometry method for determination of cysteine, homocysteine, cysteinyl-glycine and glutathione in rat plasma

Andrea Forgácsová, Jaroslav Galba, Jana Mojžišová et al. · Journal of Pharmaceutical and Biomedical Analysis · 2018 · 68 citations

Biochemistry, Gas Chromatography, Medicine +11

Liquid chromatography–tandem mass spectrometry method for determination of panel of neurotransmitters in cerebrospinal fluid from the rat model for tauopathy

Andrej Kováč, Zuzana Somikova, Norbert Žilka et al. · Talanta · 2013 · 66 citations

Neurodegenerative Diseases, Cerebrospinal Fluid, Mass Spectrometry +9

Therapeutic antibody targeting microtubule-binding domain prevents neuronal internalization of extracellular tau via masking neuron surface proteoglycans

Petronela Weisová, Ondrej Cehlár, Rostislav Škrabana et al. · Acta Neuropathologica Communications · 2019 · 53 citations · Full text