Publications

Next generation fixed wireless broadband networks are being increasingly deployed as mesh networks in order to provide and extend access to the Internet.

We consider the problem of the two-user multipleinput single-output complex Gaussian Broadcast Channel where the transmitter has access to the delayed knowledge of the channel state information.

Control fields in quantum information processing are almost by definition assumed to be classical.

Control fields in quantum information processing are virtually always, almost by definition, assumed to be classical.

We study the problem of clique-partitions. This upper bound is the best possible, given information of just the vertices and the number of edges.

We report on theoretical and experimental investigations of the nonlinear tolerance of single carrier and digital multicarrier approaches with probabilistically shaped constellations.

Several proof rules based on the assume-guarantee paradigm have been proposed for compositional realsoning about concurrent systems.

Hardware systems and reactive software systems can be described as the composition of several concurrently active processes.

We revisit the issue of the complexity of database queries, in the light of the recent parametric refinement of complexity theory.

We suggest a decoding algorithm of q-ary linear codes, which we call supercode decoding.