Publications
(2002).
(2012).
(2008).
Putting logic-based distributed systems on stable grounds.
Theory and Practice of Logic Programming. 16(4), 378-417.
(2016). Providing Dynamic Control to Passive Network Security Monitoring.
Proceedings of 18th International Symposium on Research in Attacks, Intrusions and Defenses (RAID).
(2015). A Polyhedral Approach to Surface Reconstruction from Planar Contours.
Proceedings of the Ninth Conference on Integer Programming and Combinatorial Optimization.
(2002).
(2008). Personal Namespaces.
Proceedings of ACM Special Interest Group on Data Communications Workshop on Hot Topics in Networks (HotNets-VI).
(2007). On the Performance of Middleboxes.
ACM SIGCOMM/Usenix Internet Measurement Conference.
(2003).
(1993).
(2013). Physical mapping of chromosomes using unique probes.
Proceedings of Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. 489-500.
(1994).
(1995).
(1994). Practical Challenge-Response for DNS.
ACM Computer Communication Review. 48(3),
(2018).
(1995). Parallel Sorting with Limited Bandwidth.
29(6), 1997-2015.
(2000). Parallel sorting with limited bandwidth.
Proceedings of the 7th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA '95). 129-136.
(1995). A Probabilistic Model for the Survivability of Cells.
Journal of Applied Probability. 42(4), 919-931.
(2005).
(1995).
(1992).