Search the dblp DataBase

Publications of Author

1. Alexander Smith, Andreas G. Veneris, Anastasios Viglas
   Design diagnosis using Boolean satisfiability. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2004, pp:218-223 [Conf]
   
2. George Karakostas, Richard J. Lipton, Anastasios Viglas
   On the Complexity of Intersecting Finite State Automata. [Citation Graph (0, 0)][DBLP]
   IEEE Conference on Computational Complexity, 2000, pp:229-234 [Conf]
   
3. Spyros Angelopoulos, Atish Das Sarma, Avner Magen, Anastasios Viglas
   On-Line Algorithms for Market Equilibria. [Citation Graph (0, 0)][DBLP]
   COCOON, 2005, pp:596-607 [Conf]
   
4. Richard J. Lipton, Anastasios Viglas
   Non-uniform Depth of Polynomial Time and Space Simulations. [Citation Graph (0, 0)][DBLP]
   FCT, 2003, pp:311-320 [Conf]
   
5. Richard J. Lipton, Anastasios Viglas
   On the Complexity of SAT. [Citation Graph (0, 0)][DBLP]
   FOCS, 1999, pp:459-464 [Conf]
   
6. George Karakostas, Anastasios Viglas
   Equilibria for Networks with Malicious Users. [Citation Graph (0, 0)][DBLP]
   ISAAC, 2003, pp:696-704 [Conf]
   
7. Richard J. Lipton, Anastasios Viglas
   Non-uniform Depth of Polynomial Time and Space Simulations [Citation Graph (0, 0)][DBLP]
   Electronic Colloquium on Computational Complexity (ECCC), 2002, v:, n:057, pp:- [Journal]
   
8. Lance Fortnow, Richard J. Lipton, Dieter van Melkebeek, Anastasios Viglas
   Time-space lower bounds for satisfiability. [Citation Graph (0, 0)][DBLP]
   J. ACM, 2005, v:52, n:6, pp:835-865 [Journal]
   
9. Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas
   Fault diagnosis and logic debugging using Boolean satisfiability. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:10, pp:1606-1621 [Journal]
   
10. George Karakostas, Richard J. Lipton, Anastasios Viglas
    On the complexity of intersecting finite state automata and N L versus N P. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:302, n:1-3, pp:257-274 [Journal]
    
11. Aditya Krishna Menon, Gia Vinh Anh Pham, Sanjay Chawla, Anastasios Viglas
    An incremental data-stream sketch using sparse random projections. [Citation Graph (0, 0)][DBLP]
    SDM, 2007, pp:- [Conf]
    
12. George Karakostas, Taeyon Kim, Anastasios Viglas, Hao Xia
    Selfish Routing with Oblivious Users. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 2007, pp:318-327 [Conf]
    
13. George Karakostas, Anastasios Viglas
    Equilibria for networks with malicious users. [Citation Graph (0, 0)][DBLP]
    Math. Program., 2007, v:110, n:3, pp:591-613 [Journal]
    
14. 
    RMC: An Energy-Aware Cross-Layer Data-Gathering Protocol for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
    
    
15. 
    Mobile Element Path Planning for Time-Constrained Data Gathering in Wireless Sensor Networks. [Citation Graph (, )][DBLP]
    
    
16. 
    A Topology Control Algorithm with Good Spanner Properties for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
    
    
17. 
    Periodic Mobile Multi-Gateway Scheduling. [Citation Graph (, )][DBLP]
    
    
18. 
    A Data Caching Approach for Sensor Applications. [Citation Graph (, )][DBLP]
    
    
19. 
    ECTC: Energy effiCient topology control algorithm for wireless sensor networks. [Citation Graph (, )][DBLP]