Follow
Anastasios Viglas
Anastasios Viglas
Verified email at sydney.edu.au
Title
Cited by
Cited by
Year
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
3292005
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
1302010
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
992005
Design diagnosis using Boolean satisfiability
A Smith, A Veneris, A Viglas
ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE …, 2004
892004
On the complexity of SAT
RJ Lipton, A Viglas
40th Annual Symposium on Foundations of Computer Science (Cat. No. 99CB37039 …, 1999
471999
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
372010
Equilibria for networks with malicious users
G Karakostas, A Viglas
Mathematical Programming 110 (3), 591-613, 2007
342007
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
322003
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
302009
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
292011
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
262016
Periodic mobile multi-gateway scheduling
K Almi'ani, S Selvadurai, A Viglas
2008 Ninth International Conference on Parallel and Distributed Computing …, 2008
242008
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
182016
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
182008
On the approximability of the link building problem
M Olsen, A Viglas
Theoretical Computer Science 518, 96-116, 2014
172014
Selfish routing with oblivious users
G Karakostas, T Kim, A Viglas, H Xia
International Colloquium on Structural Information and Communication …, 2007
152007
Non-uniform depth of polynomial time and space simulations
RJ Lipton, A Viglas
International Symposium on Fundamentals of Computation Theory, 311-320, 2003
152003
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
152000
A constant-factor approximation algorithm for the link building problem
M Olsen, A Viglas, I Zvedeniouk
International Conference on Combinatorial Optimization and Applications, 87-96, 2010
112010
A data caching approach for sensor applications
K Almi'ani, J Taheri, A Viglas
2009 International Conference on Parallel and Distributed Computing …, 2009
112009
The system can't perform the operation now. Try again later.
Articles 1–20