Publications
On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties.
Computer-Aided Design. 115, 256-266.
(2019).
(1998). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009). A View of the Parallel Computing Landscape.
Communications of the ACM. 52(10), 56-67.
(2009). A Virtual Spanner for Efficient Face Routing in Multihop Wireless Networks.
Lecture Notes in Computer Science. 4217,
(2006).
(2015). Valency Issues in FrameNet.
128-160.
(2007).
(2013).
(1993).
(1994).
(2000).
(1989).
(1991).
(1995).
(1991).
(1998).
(1991).
(1991).
(1996).