| Fault diagnosis and logic debugging using Boolean satisfiability A Smith, A Veneris, MF Ali, A Viglas IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2005 | 334 | 2005 |
| Energy-efficient data gathering with tour length-constrained mobile elements in wireless sensor networks K Almi'ani, A Viglas, L Libman IEEE local computer network conference, 582-589, 2010 | 135 | 2010 |
| Time-space lower bounds for satisfiability L Fortnow, R Lipton, D Van Melkebeek, A Viglas Journal of the ACM (JACM) 52 (6), 835-865, 2005 | 100 | 2005 |
| Design diagnosis using Boolean satisfiability A Smith, A Veneris, A Viglas ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004 | 91 | 2004 |
| On the complexity of SAT RJ Lipton, A Viglas 40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039 …, 1999 | 43 | 1999 |
| Mobile element path planning for time-constrained data gathering in wireless sensor networks K Almi'ani, A Viglas, L Libman 2010 24th IEEE International Conference on Advanced Information Networking …, 2010 | 39 | 2010 |
| Equilibria for networks with malicious users G Karakostas, A Viglas Mathematical Programming 110 (3), 591-613, 2007 | 33 | 2007 |
| On the complexity of intersecting finite state automata and NL versus NP G Karakostas, RJ Lipton, A Viglas Theoretical Computer Science 302 (1-3), 257-274, 2003 | 32 | 2003 |
| Ectc: Energy efficient topology control algorithm for wireless sensor networks N Ababneh, A Viglas, H Labiod, N Boukhatem 2009 IEEE International Symposium on a World of Wireless, Mobile and …, 2009 | 30 | 2009 |
| On the degradation of performance for traffic networks with oblivious users G Karakostas, T Kim, A Viglas, H Xia Transportation Research Part B: Methodological 45 (2), 364-371, 2011 | 29 | 2011 |
| Tour and path planning methods for efficient data gathering using mobile elements K Almi'ani, A Viglas, L Libman International Journal of Ad Hoc and Ubiquitous Computing 21 (1), 11-25, 2016 | 27 | 2016 |
| Periodic mobile multi-gateway scheduling K Almi'ani, S Selvadurai, A Viglas 2008 Ninth International Conference on Parallel and Distributed Computing …, 2008 | 24 | 2008 |
| On the approximability of the link building problem M Olsen, A Viglas Theoretical Computer Science 518, 96-116, 2014 | 20 | 2014 |
| Mining autograding data in computer science education V Gramoli, M Charleston, B Jeffries, I Koprinska, M McGrane, A Radu, ... Proceedings of the Australasian Computer Science Week Multiconference, 1-10, 2016 | 19 | 2016 |
| RMC: An energy-aware cross-layer data-gathering protocol for wireless sensor networks K Almi'ani, S Selvakennedy, A Viglas 22nd International Conference on Advanced Information Networking and …, 2008 | 18 | 2008 |
| Non-uniform depth of polynomial time and space simulations RJ Lipton, A Viglas FCT, 311-320, 2003 | 15 | 2003 |
| On the complexity of intersecting finite state automata G Karakostas, RJ Lipton, A Viglas Proceedings 15th Annual IEEE Conference on Computational Complexity, 229-234, 2000 | 15 | 2000 |
| Selfish routing with oblivious users G Karakostas, T Kim, A Viglas, H Xia Structural Information and Communication Complexity: 14th International …, 2007 | 14 | 2007 |
| Length-constrained and connected tours for sensor networks K Almiani, MA Abuhelaleh, A Viglas 2012 13th International Conference on Parallel and Distributed Computing …, 2012 | 11 | 2012 |
| A constant-factor approximation algorithm for the link building problem M Olsen, A Viglas, I Zvedeniouk Combinatorial Optimization and Applications: 4th International Conference …, 2010 | 11 | 2010 |
Lance FortnowIllinois Institute of TechnologyVerified email at iit.edu
