Most Cited Computer Science Articles

This list is generated from documents in the CiteSeerx database as of January 17, 2013. This list is automatically generated and may contain errors. The list is generated in batch mode and citation counts may differ from those currently in the CiteSeerx database, since the database is continuously updated.

All Years | 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013
  1. Changbin Liu, Boon Thau Loo.
    Declarative Constraint Optimization in Distributed Systems. In Workshop on Languages for Distributed Algorithms (LADA, 2012
    1
  2. P Azar, J Chen, S Micali.
    Crowdsourced Bayesian auctions. In Proceedings of Innovations in Theoretical Computer Science (ITCS, 2012
    1
  3. X Mao, X Miao, Y He, X-Y Li, Y Liu.
    Citysee: Urban CO2 monitoring with sensors. in Proceedings of IEEE INFOCOM, 2012
    1
  4. Chao Li, Gerome Miklau.
    An adaptive mechanism for accurate query answering under differential privacy. 2012
    1
  5. K Smarsly, K H Law.
    Advanced structural health monitoring based on multi-agent technology.” in Computation for Humanity: Information Technology to Advance. 2012
    1
  6. Q Zheng, G Cao, T L Porta, A Swami.
    Optimal recovery from large-scale failures. in IP networks,” in IEEE ICDCS, 2012
    1
  7. G Cormode, M Procopiuc, E Shen, D Srivastava, T Yu.
    Differentially private spatial decompositions. In ICDE, 2012
    1
  8. M Lübbecke, Puchert.
    C.: Primal heuristics for branch-and-price algorithms. In: Operations Research Proceedings 2011, 2012
    1
  9. L Bobadilla, F Martinez, E Gobst, K Gossman, S M LaValle.
    Controlling wild mobile robots using virtual gates and discrete transitions. In American Control Conference, 2012
    1
  10. Luc Steels, Michael Spranger.
    Emergent mirror systems for body language. In Luc Steels (Ed.), Experiments in Cultural Language Evolution, 2012
    1
  11. F Hurtado, C D.
    Tóth, Plane geometric graph augmentation: a generic perspective. in Thirty Essays on Geometric Graph Theory, 2012
    1
  12. R Zhang, S Debray, R T Snodgrass.
    Micro-Specialization: Dynamic Code Specialization of Database Management Systems. in International Symposium on Code Generation and Optimization (CGO, 2012
    1
  13. A Deleforge, R Horaud.
    A latently constrained mixture model for audio source separation and localization. In Latent Variable Analysis and Signal Separation, Tel Aviv, 2012
    1
  14. D JOUMBLATT, O GOGA, R TEIXEIRA, J CHANDRASHEKAR, N TAFT.
    Characterizing end-host application performance across multiple networking environments. In Proc. INFOCOM (Mini-Conference, 2012
    1
  15. G Kindler, R O’Donnell.
    Gaussian noise sensitivity and Fourier tails. In Proceedings of the 27th IEEE Conference on Computational Complexity (CCC, 2012
    1
  16. A De Liddo, A Sándor, Buckingham Shum, S.
    Contested Collective Intelligence: Rationale, Technologies, and a Human-Machine Annotation Study. Computer Supported Cooperative Work. 2012
    1
  17. J A Pérez, L Caires, F Pfenning, B Toninho.
    Termination in session-based concurrency via linear logical relations. In 22nd Eur. Symp. Program. LNCS 7211, 2012
    1
  18. S Hausmann, F Bry.
    Complex Actions for Event Processing. 2012
    1
  19. C Wagner, S Mitter, C Koerner, M Strohmaier.
    When social bots attack: Modeling susceptibility of users in online social networks. In Proceedings of the WWW’12 Workshop on ’Making Sense of Microposts’ (MSM2012, 2012
    1
  20. P Ferrara, P Müller.
    Automatic inference of access permissions. In Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, Lecture Notes in Computer Science, 2012
    1
  21. M Spranger, S Pauw.
    Dealing with Perceptual Deviation - Vague Semantics for Spatial Language and Quantification. In L. Steels & M. Hild (Eds.), Language Grounding in Robots, 2012
    1
  22. P Bendich, B Wang, S Mukherjee.
    Local homology transfer and stratification learning. In ACMSIAM Sympos. Discrete Alg, 2012
    1
  23. M Alsaleh, M Mannan, P van.
    Oorschot, “Revisiting Defenses Against Large-Scale Online Password Guessing Attacks. IEEE Transactions on Dependable and Secure Computing, 2012
    1
  24. B Bresar, P Dorbex, W Goddard, B L Hartnell, M A Henning, S Klavzar, D F Rall.
    Vizing's Conjecture: A Survey and Recent Results. Journal of Graph Theory, 2012
    1
  25. J P Levy, J A Bullinaria.
    Using enriched semantic representations in predictions of human brain activity. In: E.J. Davelaar (Ed.), Connectionist Models of Neurocognition and Emergent Behavior: From Theory to Applications. 2012
    1
  26. J Gummeson, P Zhang, D Ganesan.
    Flit: A bulk transmission protocol for rfid-scale sensors. In MobiSys, 2012
    1
  27. J Huizenga.
    Restrictions of Steiner bundles and divisors on the Hilbert scheme of points in the plane. 2012
    1
  28. Marcelo Aguiar, Aaron Lauve.
    Lagrange’s theorem for Hopf monoids in species. 2012
    1
  29. K Jee, G Portokalidis, V P Kemerlis, S Ghosh, D I August, A D Keromytis.
    A General Approach for Efficiently Accelerating Software-based Dynamic Data Flow Tracking on Commodity Hardware. In Proc. of the 19 th NDSS, 2012
    1
  30. P Zhang, J Gummeson.
    Blink: A high throughput link layer for backscatter communication. In MobiSys, 2012
    1
  31. N Johnson, G Zhao, E Hunsader, J Meng, A Ravindar, S Carran, B Tivnan.
    Financial black swans driven by ultrafast machine ecology”, arXiv Working Paper. 2012
    1
  32. P B Stark, D A Wagner.
    Evidence-based elections. IEEE Security and Privacy, 2012
    1
  33. X Liu, A Wada, T Xing, P Juluri, Y Sato, S Ata, D Huang, D Medhi.
    SeRViTR: A framework for trust and policy management for a secure Internet and its proof-of-concept implementation. in Proc. of 4th IEEE/IFIP International Workshop on Management of the Future Internet (ManFI’2012), Maui, 2012
    1
  34. A Genest, C Gutwin.
    Evaluating the Effectiveness of Height Visualizations for Improving Gestural Communication at Distributed Tables. the Proc. of CSCW 2012, 2012
    1
  35. L Parolini, B Sinopoli, B Krogh, Z Wang.
    A CyberPhysical Systems Approach to Data Center Modeling and Control for Energy Efficiency. Proceedings of the IEEE, 2012
    1
  36. H Chandran, N Gopalkrishnan, B Yurke, J Reif.
    Meta-DNA: Synthetic Biology via DNA Nanostructures and Hybridization Reactions. Journal of Royal society Interface, 2012
    1
  37. T Xing, X Liu, C-J Chung, A Wada, S Ata, D Huang, D Medhi.
    Constructing virtual networking environment in a Geo-distributed Programmable Layer-2 Networking Environment (G-PLaNE. in IEEE 5th International Workshop on the Network of the Future (FutureNet-V, 2012
    1
  38. M Grace, W Zhou, X Jiang, A-R Sadeghi.
    Unsafe Exposure Analysis of Mobile In-App Advertisements. In Conference on Security and Privacy in Wireless and Mobile Networks (WiSEC, 2012
    1
  39. M L Mazurek, E Thereska, D Gunawardena, R Harper, J Scott.
    ZZFS: A hybrid device and cloud file system for spontaneous users. Proc. of FAST’ 12, 2012
    1
  40. M Fowlie, C R Knittel, C Wolfram.
    Sacred Cars? Cost-effective Regulation of Stationary and Non-stationary Pollution Sources.” American Economic Journal: Economic Policy. Forthcoming. 2012
    1
  41. Z A Pardos, S M Gowda, R S J D Baker, N T Heffernan.
    The Sum is Greater than the Parts: Ensembling Models of Student Knowledge in Educational Software. To appear in ACM's Knowledge Discovery and Data Mining Explorations. the Journal of Machine Learning Research W & CP, 2012
    1
  42. J Chen, J Cong, M Yan, Y Zou.
    FPGA accelerated 3D reconstruction using compressive sensing. In Proc. FPGA, 2012
    1
  43. W Odom, A Sellen, R Harper, E Thereska.
    Lost in translation: Understanding the possession of digital things in the cloud. In CHI ’12: Proceedings of the International Conference on Human factors in Computing Systems, 2012
    1
  44. Marc Blatter, Samuel Muehlemann, Samuel Schenker.
    The costs of hiring skilled workers. European Economic Review, 2012
    1
  45. J Woodruff, D L Wang.
    Binaural speech segregation based on pitch and azimuth tracking. In Proc. ICASSP, 2012
    1
  46. A Wang, C Talcott, A J T Gurney, B T Loo, A Scedrov.
    Reduction-based Formal Analysis of BGP Instances. In 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS, 2012
    1
  47. A Bui, J Cong K Cheng, L Vese, Y Wang, B Yuan, Y Zou.
    Platform Characterization for Domain-Specific Computing. in Proc. ASPDAC, 2012
    1
  48. Grigori Mints, Thomas Studer.
    Cut-elimination for the mu-calculus with one variable. In Fixed Points in Computer Science 2012, volume 77 of EPTCS, 2012
    1
  49. S Ma, Y Cao, W Fan, J Huai, T Wo.
    Capturing topology in graph pattern matching. In VLDB, 2012
    1
  50. D Ahman, J Chapman, Uustalu.
    T.: When is a container a comonad. FoSSaCS 2012, Lect. Notes in Comput. Sci, 2012
    1
  51. Gonçalo Oliveira, H Costa, H Santos.
    D.: Folheador: browsing through Portuguese semantic relations. In: Procs. of 12th Conference of the European Chapter of the Association for Computational Linguistics (Demos Session). EACL 2012, ACL, 2012
    1
  52. P Vosinakis Koutsabasis, S Malisova, K Paparounas, N.
    On the value of Virtual Worlds for collaborative design. Design Studies, Available online 10 December 2011, ISSN, 2012
    1
  53. G Buscher, R W White, S Dumais, J Huang.
    Large-scale analysis of individual and task differences in search result page examination strategies. In Proc. of WSDM, 2012
    1
  54. V Mirrokni, S O Gharan, M ZadiMoghaddam.
    Simultaneous approximations for adversarial and stochastic online budgeted allocation problems. In SODA, 2012
    1
  55. C Thurau, K Kersting, C Bauckhage.
    Deterministic CUR for Improved Large-Scale Data Analysis: An Empricial Study. In Proceedings of the 12th SIAM International Conference on Data Mining (SDM, 2012
    1
  56. I Leontiadis, C Efstratiou, M Picone, C Mascolo.
    Don’t kill my ads!: balancing privacy in an ad-supported mobile application market. In Proceedings of the Twelfth Workshop on Mobile Computing Systems & Applications (HotMobile, 2012
    1
  57. J Elias, F Martignon, G Carello.
    Very Large-Scale Neighborhood Search Algorithms for the Design of Service Overlay Networks. Telecommunication Systems, 2012
    1
  58. M Pradel, T R Gross.
    Leveraging test generation and specification mining for automated bug detection without false positives. in ICSE, 2012
    1
  59. S Govindan, D Wang, A Sivasubramaniam, B Urgaonkar.
    Leveraging Stored Energy for Handling Power Emergencies in Aggressively Provisioned Datacenters. In Proceedings of ASPLOS, 2012
    1
  60. A Wiggins, K Crowston.
    Goals and tasks: Two typologies of citizen science projects. In Proceedings of the Fourth-fifth Hawaii International Conference on Systems Sciences (HICSS-45), Wailea, 2012
    1
  61. Nikolaos Fountoulakis, Konstantinos Panagiotou, Thomas Sauerwald.
    Ultra-fast rumor spreading in social networks. In SODA, 2012
    1
  62. S Amershi, J Fogarty, D S Weld.
    ReGroup: Interactive Machine Learning for On-Demand Group Creation. in Social Networks. To Appear in Proceedings of CHI 2012, 2012
    1
  63. Matthew Gentzkow, Emir Kamenica.
    Disclosure of endogenous information. 2012
    1
  64. S Xiao, P Balaji, J Dinan, Q Zhu, R Thakur, S Coghlan, H Lin, G Wen, J Hong, W Feng.
    Transparent Accelerator Migration in a Virtualized GPU Environment. In Proc. of the 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid, 2012
    1
  65. Lucas Davi, Alexandra Dmitrienko, Manuel Egele, Thomas Fischer, Thorsten Holz, Ralf Hund, Stefan Nrnberger, Ahmad-Reza Sadeghi.
    MoCFI: A framework to mitigate control-flow attacks on smartphones. In Proceedings of the Network and Distributed System Security Symposium (NDSS, 2012
    1
  66. S Rajamanickam, E G Boman, M A Heroux.
    ShyLU: A hybrid–hybrid solver for multicore platforms. In Proc. of 26th IEEE Intl. Parallel and Distributed Processing Symp. (IPDPS’12). IEEE, 2012
    1
  67. J H Ahn, D Boneh, J Camenisch, S Hohenberger, a shelat, B Waters.
    Computing on authenticated data. In Theory of Cryptography — TCC 2012, Springer LNCS 7194, 2012
    1
  68. de Carvalho Filho, Irineu, Marcos Chamon.
    The Myth of Post-Reform Income Stagnation: Evidence from Brazil and Mexico. Journal of Development Economics, 2012
    1
  69. M Pelikan, M W Hauschild, Lobo.
    F.G.: Introduction to estimation of distribution algorithms. 2012
    1
  70. M Batty, K Memarian, S Owens, S Sarkar, P Sewell.
    Clarifying and compiling C/C++ concurrency: from C++11 to POWER. In Proc. POPL, 2012
    1
  71. H Hõimoja, A Rufer.
    Infrastructure Issues Regarding the Ultrafast Charging of Electric Vehicles. International Advanced Mobility Forum, 2012
    1
  72. R Soulé, M Hirzel, B Gedik, R Grimm.
    From a calculus to an execution environment for stream processing. 2012
    1
  73. D CEYLAN, N J MITRA, H LI, T WEISE, PAULY.
    M.: Factored facade acquisition using symmetric line arrangements. Computer Graphics Forum (Proc. EUROGRAPHICS, 2012
    1
  74. J Dickerson, A Procaccia, T Sandholm.
    Optimizing kidney exchange with transplant chains: Theory and reality. In International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS, 2012
    1
  75. J Erickson, K Fox, A Nayyeri.
    Global minimum cuts in surface embedded graphs. Proc. 23rd Ann. ACM-SIAM Symp. Discrete Algorithms, 2012
    1
  76. J Cibulka, J Kynčl.
    Tight bounds on the maximum size of a set of permutations with bounded VC-dimension. In Proc. Symposium on Discrete Algorithms, 2012
    1
  77. M H Pesaran.
    Testing weak cross-sectional dependence in large panels. mimeo. 2012
    1
  78. J Bradford DeLong, Lawrence H Summers.
    Fiscal Policy in a Depressed Economy. 2012
    1
  79. Y Kanizo, D Hay, I Keslassy.
    Access-efficient balanced Bloom filters. in IEEE ICC, 2012
    1
  80. Y Sun, J Han, C C Aggarwal, N Chawla.
    When will it happen? relationship prediction in heterogeneous information networks. in Proc. 2012 ACM Int. Conf. on Web Search and Data Mining (WSDM’12, 2012
    1
  81. P Wadler.
    Propositions as sessions. 2012
    1
  82. U S Reddy, J C Reynolds.
    Syntactic control of interference for separation logic. In POPL, 2012
    1
  83. T M Chan, E Grant, J Könemann, M Sharpe.
    Weighted capacitated, priority, and geometric set cover via improved quasi-uniform sampling. In Proc. 23rd ACM–SIAM Sympos. Discrete Algorithms, 2012
    1
  84. B D’Auria, J Ivanovs, O Kella, M Mandjes.
    Two-sided reflection of Markov-modulated Brownian motion. Stochastic Models 28. 2012
    1
  85. R Talmon, D Kushnir, R R Coifman, I Cohen, S Gannot.
    Parametrization of linear systems using diffusion kernels. IEEE Trans. Signal Process, 2012
    1
  86. X Feng, A Kumar, B Recht, C Ré.
    Towards a unified architecture for in-rdbms analytics. In Proceedings of SIGMOD, 2012
    1
  87. A Andreoli, F Caravenna, P Dai Pra, G Posta.
    Scaling and multiscaling in financial indexes: a simple model, submitted. 2012
    1
  88. J A Joao, M A Suleman, O Mutlu, Y N Patt.
    Bottleneck identification and scheduling in multithreaded applications. In Proceedings of ASPLOS ’12. ACM, 2012
    1
  89. M Ferdman, A Adileh, O Kocberber, S Volos, M Alisafaee, D Jevdjic, C Kaynak, A D Popescu, A Ailamaki, B Falsafi.
    Clearing the Clouds: A Study of Emerging Scale-Out Workloads on Modern Hardware. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, 2012
    1
  90. E Allender.
    Curiouser and curiouser: The link between incompressibility and complexity. In Proc. Computability in Europe (CiE), LNCS, 2012
    1
  91. G Wallace, F Douglis, H Qian, P Shilane, S Smaldone, M Chamness, W Hsu.
    Characteristics of backup workloads in production systems. In Proceedings of the Tenth USENIX Conference on File and Storage Technologies (FAST ’12, 2012
    1
  92. R Sumbaly, J Kreps, L Gao, A Feinberg, C Soman, S Shah.
    Serving large-scale batch computed data with project voldemort. In Proc. 10th USENIX Conf. on File and Storage Technologies (FAST, 2012
    1
  93. A Saha, V Sindhwani.
    Learning evolving and emerging topics in social media: A dynamic NMF approach with temporal regularization. In Proceedings of the 5th International Conference on Web Search and Data Mining (WSDM, 2012
    1
  94. L Li, P Lu, Y Yin.
    Approximate counting via correlation decay in spin systems. In Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, 2012
    1
  95. A Ghosh, R P McAfee.
    Crowdsourcing with Endogenous Entry. International World Wide Web Conference (WWW, 2012
    1
  96. L L S Wong, L P Kaelbling, T Lozano-Perez.
    Collision-free state estimation. in ICRA, 2012
    1
  97. B Viswanath, M Mondal, A Clement, P Druschel, K P Gummadi, A Mislove, A Post.
    Exploring the design space of social network-based Sybil defense. In Proceedings of the 4th International Conference on Communication Systems and Network (COMSNETS’12, 2012
    1
  98. M Jones, J Bradley, N Sakimura.
    JSON Web Signature JSON Serialization (JWS-JS. JSON Web Token (JWT, 2012
    1
  99. P Haslum.
    Incremental lower bounds for additive cost planning problems. Proceedings of the Twentysecond International Conference on Automated Planning and Scheduling (ICAPS, 2012
    1
  100. N Vasic, D Novakovic, S Miucin, D Kostic, R Bianchini.
    DejaVu: Accelerating Resource Allocation in Virtualized Environments. In Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS ’12, 2012
    1