Deriving Specialized Program Analyses for Certifying Component-Client Conformance. - G. Ramalingam; Alex Varshavsky; John Field; Deepak Goyal; Shmuel Sagiv (PLDI, 2002)

Cross-Layer Flow Control in Lightly-Loaded Multi-Hop Ad Hoc Networks. - Alex Varshavsky; Baochun Li; Eyal de Lara (ICPP Workshops, 2004)

Accurate GSM Indoor Localization. - Veljo Otsason; Alex Varshavsky; Anthony LaMarca; Eyal de Lara (UbiComp, 2005)

A cross-layer approach to service discovery and selection in MANETs. - Alex Varshavsky; Bradley Reid; Eyal de Lara (MASS, 2005)

Practical Metropolitan-Scale Positioning for GSM Phones. - Mike Y. Chen; Timothy Sohn; Dmitri Chmelev; Dirk Hähnel; Jeffrey Hightower; Jeff Hughes; Anthony LaMarca; Fred Potter; Ian E. Smith; Alex Varshavsky (UbiComp, 2006)

Mobility Detection Using Everyday GSM Traces. - Timothy Sohn; Alex Varshavsky; Anthony LaMarca; Mike Y. Chen; Tanzeem Choudhury; Ian E. Smith; Sunny Consolvo; Jeffrey Hightower; William G. Griswold; Eyal de Lara (UbiComp, 2006)

Are GSM Phones THE Solution for Localization? - Alex Varshavsky; Mike Y. Chen; Eyal de Lara; Jon Froehlich; Dirk Hähnel; Jeffrey Hightower; Anthony LaMarca; Fred Potter; Timothy Sohn; Karen P. Tang; Ian E. Smith (WMCSA, 2006)

An Exploration of Location Error Estimation. - David Dearman; Alex Varshavsky; Eyal de Lara; Khai N. Truong (UbiComp, 2007)

Amigo: Proximity-Based Authentication of Mobile Devices. - Alex Varshavsky; Adin Scannell; Anthony LaMarca; Eyal de Lara (UbiComp, 2007)

The SkyLoc Floor Localization System. - Alex Varshavsky; Anthony LaMarca; Jeffrey Hightower; Eyal de Lara (PerCom, 2007)

Enabling Secure and Spontaneous Communication between Mobile Devices using Common Radio Environment. - Alex Varshavsky; Anthony LaMarca; Eyal de Lara (HotMobile, 2007)

GSM indoor localization. - Alex Varshavsky; Eyal de Lara; Jeffrey Hightower; Anthony LaMarca; Veljo Otsason (Pervasive Mob. Comput., 2007)

Calibree: Calibration-Free Localization Using Relative Distance Estimations. - Alex Varshavsky; Denis Pankratov; John Krumm; Eyal de Lara (Pervasive, 2008)

Proximity-based authentication of mobile devices. - Adin Scannell; Alex Varshavsky; Anthony LaMarca; Eyal de Lara (Int. J. Secur. Networks, 2009)