Model checking usage policies

We study usage automata, a formal model for specifying policies on the usage of resources. Usage automata extend finite state automata with some additional features, parameters and guards, that improve their expressivity. We show that usage automata are expressive enough to model policies of real-world applications. We discuss their expressive power, and we prove that the problem of telling whether a computation complies with a usage policy is decidable. The main contribution of this paper is a model checking technique for usage automata. The model is that of usages, i.e. basic processes that describe the possible patterns of resource access and creation. In spite of the model having infinite states, because of recursion and resource creation, we devise a polynomial-time model checking technique for deciding when a usage complies with a usage policy

Hopf Categories

We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.Comment: 47 pages; final version to appear in Algebras and Representation Theor

Influence of the adamantyl moiety on the activity of biphenylacrylohydroxamic acid-based HDAC inhibitors

To investigate the influence of the adamantyl group on the biological properties of known HDAC inhibitors with a 4-phenylcinnamic skeleton, a series of compounds having the adamantyl moiety in the cap structure were synthesized and compared to the corresponding hydroxamic acids lacking this group. An unexpected finding was the substantial reduction of inhibitory activity toward the tested enzymes, in particular HDAC6, following the introduction of the adamantyl group. In spite of the reduced ability to function as HDAC inhibitors, the compounds containing the adamantyl moiety still retained a good efficacy as antiproliferative and proapoptotic agents. A selected compound (2c; ST3056) of this series exhibited an appreciable antitumor activity against the colon carcinoma xenograft HCT116

Investigation on the ZBG-functionality of phenyl-4-yl-acrylohydroxamic acid derivatives as histone deacetylase inhibitors

A series of alternative Zn-binding groups were explored in the design of phenyl-4-yl-acrylohydroxamic acid derivatives as histone deacetylase (HDAC) inhibitors. Most of the synthesized compounds were less effective than the parent hydroxamic acid. However, the profile of activity shown by the analog bearing a hydroxyurea head group, makes this derivative promising for further investigation

Biphenyl-4-yl-acrylohydroxamic acids: identification of a novel indolyl-substituted HDAC inhibitor with antitumor activity

Modification of the cap group of biphenylacrylohydroxamic acid-based HDAC inhibitors led to the identification of a new derivative (3) characterized by an indolyl-substituted 4-phenylcinnamic skeleton. Molecular docking was used to predict the optimal conformation in the class I HDACs active site. Compound 3 showed HDAC inhibitory activity and antiproliferative activity against a panel of tumor cell lines, in the low \u3bcM range. The compound was further tested in vitro for acetylation of histone H4 and other non-histone proteins, and in vivo in a colon carcinoma model, showing significant proapoptotic and antitumor activities