Publications

We discuss the problem of model checking temporal properties on partial Kripke structures, which were introduced in [BG99] for representing incomplete state spaces.

A requirement for the development of a unified control plane for both optical/circuit and electronic/packet switching equipment is the support of data plane fault recovery.

Current circuit-switched transport networks, such as plesiochronous digital hierarchy (PDH) and synchronous optical network/synchronous digital hierarchy (SONET/SDH) have traditionally used central

Generalized Multi-Protocol Label Switching (GMPLS) has become the protocol suite of choice for unified control plane implementation.

Multiple description (MD) coding is source coding in which several descriptions of the source are produced such that various reconstruction qualities are obtained with different subsets of the desc

One of the functions of networks engineering is to allocate resources optimally to forecasted demand.

Consider the problem of discriminating between two zero-mean Gaussian signals by observing the sample function x(t), 0 ^ t ^ 1.

The maximum-likelihood detection (MLD) algorithm is the optimal detection scheme for vertical Bell Laboratories layered space-time (V-BLAST) systems.

A novel three-dimensional distribution traffic is proposed for Low Earth Orbit (LEO) satellite systems.

We review the generalization of phase-conjugated twin waves (PCTWs) for fibernonlinearity- tolerant transmission, in which twin waves occupy any orthogonal dimensions.