Computer Science

Reconfiguration of traffic grooming optical networks.

Proceedings of BroadNets 2004, 170–179.

Incentive mechanisms for peer-to-peer systems

Lecture Notes in Computer Science, 2872, 77–88.

A requirements taxonomy for reducing Web site privacy vulnerabilities

Requirements Engineering, 9(3), 169–185.

The alternative splicing gallery (ASG): bridging the gap between genome and transcriptome

Nucleic Acids Research, 32(13), 3977–3983.

Misuse and abuse cases: Getting past the positive

IEEE Security & Privacy, 2(3), 90–92.

Lecture hall theorems, q-series and truncated objects

Journal of Combinatorial Theory. Series A, 108(2), 217–245.

Transaction policies for service-oriented computing

Data & Knowledge Engineering, 51(1), 59–79.

Service graphs for building trust

Lecture Notes in Computer Science, 3290, 509–525.

Protocols for processes

ACM SIGPLAN Notices, 39(12), 73.

Manipulation of microenvironment with a built-in electrochemical actuator in proximity of a dissolved oxygen microsensor

IEEE Sensors Journal, 4(5), 568–575.

Intrusion detection in distributed systems: An abstraction-based approach

Boston: Kluwer Academic Publishers.

Financial privacy policies and the need for standardization

IEEE Security & Privacy, 2(2), 36–45.

Deriving efficient SQL sequences via read-aheads

Lecture Notes in Computer Science, 3181, 299–308.

Decidability of zenoness, syntactic boundedness and token-liveness for dense-timed Petri nets

In K. Lodaya & M. Mahajan (Eds.), FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: 24th international conference, Chennai, India, December 16-18, 2004: Proceedings (Lecture notes in computer science ; 3328) (Vol. 3328, pp. 58–70). Berlin; New York: Springer.

Scanning tunneling microscope-quartz crystal microbalance studies of "real world" and model lubricants

In Dynamics and friction of submicrometer confining systems (Vol. 882).

Reliable adaptive modulation aided by observations of another fading channel

IEEE Transactions on Communications, 52(4), 605–611.

Reasoning about commitments in the event calculus: An approach for specifying and executing protocols

Annals of Mathematics and Artificial Intelligence, 42(1-3), 227–253.

Modeling the anatomical distribution of sunlight

Photochemistry and Photobiology, 79(1), 40–47.

Kronecker product approximate preconditioner for SANs

Numerical Linear Algebra With Applications, 11(09-Aug), 723–752.

Extended anti-windup control schemes for LTI and LFT systems with actuator saturations

International Journal of Robust and Nonlinear Control, 14(15), 1255–1281.