Conference paper
Strong and flexible domain typing for dynamic E-business
Yigal Hoffner, Simon Field, et al.
EDOC 2004
The problem of deciding whether a given rotational lattice L has a vector of length less than some given value r is shown to be NP-hard. This problem is even under the premise that L has exactly zero or one vector of length less than r. The premise is also under randomized conditions.
Yigal Hoffner, Simon Field, et al.
EDOC 2004
Israel Cidon, Leonidas Georgiadis, et al.
IEEE/ACM Transactions on Networking
Yao Qi, Raja Das, et al.
ISSTA 2009
Hendrik F. Hamann
InterPACK 2013