in this paper we study triangularization of collections of matrices whose entries come from a finite-dimensional division ring. first, we give a generalization of guralnick's theorem to the case of finite-dimensional division rings and then we show that in this case the reduced trace function is a suitable alternative for trace function by presenting two triangularization results. the firs...

In this paper we study triangularization of collections of matrices whose entries come from a finite-dimensional division ring. First, we give a generalization of Guralnick's theorem to the case of finite-dimensional division rings and then we show that in this case the reduced trace function is a suitable alternative for trace function by presenting two triangularization results. The first one...

Trace formulas relate short time dynamics (unstable periodic orbits) to long time invariant state space densities (natural measure). Higher dimensional dynamics requires inclusion of higherdimensional compact invariant sets, such as partially hyperbolic invariant tori, into trace formulas. A trace formula for a partially hyperbolic (N +1)-dimensional compact manifold invariant under a global co...

Temporal logic has become a well-established method for specifying the behavior of distributed systems. In this paper, we interpret a temporal logic over a partial order model that is a trace system. The satisfaction of the formulae is directly defined on traces on the basis of rewriting rules; so, the graph representation of the system can be completely avoided; moreover, a method is presented...

Many privacy-type properties of security protocols can be modelled using trace equivalence properties in suitable process algebras. It has been shown that such properties can be decided for interesting classes of finite processes (i.e., without replication) by means of symbolic execution and constraint solving. However, this does not suffice to obtain practical tools. Current prototypes suffer ...