Peter Drábik

  • Citations Per Year
Learn More
Cysteine proteases (CPs) are responsible for many biochemical processes occurring in living organisms and they have been implicated in the development and progression of several diseases that involve abnormal protein turnover. The activity of CPs is regulated among others by their specific inhibitors: cystatins. The main aim of this review is to discuss the(More)
The aim of the study was to computer-dock selected ligands to neurophyseal receptors in order to identify amino acid residues responsible for ligand-receptor interactions. To this aim, reliable oxytocin receptor (OTR) and arginine-vasopressin receptor (V1aR/V2R) models were built. The OTR-selective agonist [Thr4,Gly7]OT, the OTR-selective cyclohexapeptide(More)
Modular verification is a technique used to face the state explosion problem often encountered in the verification of properties of complex systems such as concurrent interactive systems. The modular approach is based on the observation that properties of interest often concern a rather small portion of the system. As a consequence, reduced models can be(More)
Property preservation is investigated as an approach to modular verification, leading to reduction of the property verification time for formal models. For modelling purposes, formalisms with multi-way synchronisations are considered. For the modular verification technique to work, a specific type of synchronisation is required for which a necessary(More)
G protein-coupled receptors (GPCRs) transducing diverse external signals to cells via activation of heterotrimeric GTP-binding (G) proteins, estimated to mediate actions of 60% of drugs, had been resistant to structure determination until summer 2000. The first atomic-resolution experimental structure of a GPCR, that of dark (inactive) rhodopsin, thus(More)
In runtime enforcement of security policies, the classic requirements on monitors in order to enforce a security policy are soundness and transparency. However, there are many monitors that successfully pass this specification but they differ in complexity of both their implementation and the output they produce. In order to distinguish and compare these(More)
We propose dynamic sync-programs, a bio-inspired automata-based formalism for the description and the modular verification of properties of biological systems. The formalism allows entities to be created dynamically, in particular by other already running entities, as it often happens in biological systems. Moreover, multiple copies of the same entities can(More)