Most Cited Computer Science Citations

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. Board
    of Governors of the Federal Reserve System. 2011. “Minutes of the Federal Open Market Committee.” June 21–22. http://www.federalreserve.gov/monetarypolicy/fomcminutes20110622.htm Have We Underestimated the Likelihood and Severity of Zero Lower Bound Events?” Journal of Money, Credit, and Banking 44(s1, February, 2012
    3
  2. J W Hatfield, C R Plott, T Tanaka
    Understanding price controls and nonprice competition through matching theory American Economic Review Papers & Proceedings, 2012
    3
  3. O Rottenstreich, I Keslassy
    The variable-increment counting Bloom filter. IEEE Infocom, 2012
    3
  4. L Horváth, J Steinebach
    Testing for changes in the mean or variance of a stochastic process under weak invariance. Prague Workshop on Perspectives in Modern Statistical Inference MR-1814790 EJP 17, 2012
    3
  5. C Naylor, M Parsonage, D McDaid
    in print) Long-term conditions and mental health: the cost of co-morbidities. London: The King’s Fund 2012
    3
  6. M Bauer, M Bruveris, P Harms, P W Michor
    Vanishing geodesic distance for the riemannian metric with geodesic equation the KdV-equation. Ann. Global Analysis Geom 2012
    3
  7. S Bachmann, S Michalakis, B Nachtergaele, R Sims
    Automorphic equivalence within gapped phases of quantum lattice systems Comm. Math. Phys, 2012
    3
  8. B S Frey, A Stutzer
    Economic Consequences of Mispredicting Utility. 2012
    3
  9. Y-S Yang, A Veneris, N Nicolici
    Automating data analysis and acquisition setup in a silicon debug environment. IEEE Trans. on VLSI Systems, 2012
    3
  10. R Singh, S Gulwani
    Learning semantic string transformations from examples. 2012
    3
  11. S Gulwani, W R Harris, R Singh
    Spreadsheet data manipulation using examples. In Communications of the ACM, 2012
    3
  12. A Wang, L Jia, W Zhou, Y Ren, B T Loo, J Rexford, V Nigam, A Scedrov, C Talcott
    FSR: Formal analysis and implementation toolkit for safe inter-domain routing. IEEE/ACM Transactions on Networking, 2012
    3
  13. R Harrison
    Asset purchase policy at the effective lower bound for interest rates’, Bank of England Working Paper No. 2012
    3
  14. HOME
    HEALTH AGENCIES.—Section 1895(b)(3)(B)(vi)(II) of such Act, as added by section 3401(e), is amended by striking ‘‘and 2012’’ and inserting 2012
    3
  15. A F Izmailov, A L Pogosyan, M V Solodov
    Semismooth Newton method for the lifted reformulation of mathematical programs with complementarity constraints. Comput. Optim. Appl, 2012
    3
  16. C Monsanto, N Foster, R Harrison, D Walker
    A compiler and run-time system for network programs in POPL, 2012
    3
  17. C
    elegans Sequencing Consortium (1998) Genome sequence of the nematode C. elegans: A platform for investigation biology. Science 282 2012
    3
  18. A Martinelli
    Closed-Form Solution for Attitude and Speed Determination by Fusing Monocular Vision and Inertial Sensor Measurements, International Conference on Robotics and Automation, ICRA 2011, 2012
    3
  19. M Marron, C Sanchez, Z Su, M Fahndrich
    Abstracting runtime heaps for program understanding. In Submission, 2012
    3
  20. C Joncour, S Michel, R Sadykov, D Sverdlov, Vanderbeck
    F.: Column generation based primal heuristics In: International Conference on Combinatorial Optimization (ISCO). Volume 36 of Electronic Notes in Discrete Mathematics, 2012
    3
  21. C Fuss, L Zhu
    Comparative advantage, multi-product firms and trade liberalisation: An empirical test", by 2012
    3
  22. IN
    GENERAL.—Section 1877(i) of the Social Security Act, as added by section 6001(a), is amended— (1) in paragraph (1)(A)(i), by striking ‘‘February 1, 2010’’ and inserting ‘‘August 1, 2010’’; and (2) in paragraph (3)(A)— (A) in clause (iii), by striking ‘‘Au 2012
    3
  23. CONFORMING
    AMENDMENT.—Section 6001(b)(2) of this Act is amended by striking ‘‘November 1, 2011’’ and inserting ‘‘May 1 SEC. 10602. CLARIFICATIONS TO PATIENT-CENTERED OUTCOMES RESEARCH, 2012
    3
  24. B Toninho, L Caires, F Pfenning
    Functions as session-typed processes. In Proc. of FoSSaCS’12, volume 7213 of LNCS, 2012
    3
  25. Remi van Trijp
    The evolution of case systems for marking event structure In Luc Steels (Ed.), Experiments in Cultural Language Evolution, 2012
    3
  26. Nicolas Berman, Philippe Martin, Thierry Mayer
    How do different exporters react to exchange rate changes? Theory, empirics and aggregate implications Quarterly Journal of Economics, 2012
    3
  27. M W Peng
    The global strategy of emerging multinationals from China”, Global Strategy Journal 2012
    3
  28. G Tyson, A Mauthe, S Kaune, P Grace, T Plagemann
    Juno: An adptive delivery-centric middleware in Proc. 4th Intl. Workshop on Future Media Networking (FMN, 2012
    3
  29. V V Acharya, P Schnabl, G Suarez
    Securitization Without Risk Transfer Journal of Financial Economics, 2012
    3
  30. G Ananthanarayanan, A Ghodsi, D Borthakur AndrewWang, S Kandula, S Shenker, I Stoica
    PACMan: Coordinated memory caching for parallel jobs In NSDI, 2012
    2
  31. P Beame, C Beck, R Impagliazzo
    Time-space tradeoffs in resolution: Superpolynomial lower bounds for superlinear space In Proceedings of the 44th Annual ACM Symposium on Theory of Computing (STOC ’12, 2012
    2
  32. D Perelman, S Gulwani, T Ball, D Grossman
    Typedirected completion of partial expressions in PLDI, 2012
    2
  33. T Lin
    Advancement of Hazard-Consistent Ground Motion Selection Methodology through Conditional Spectrum and Adaptive Incremental Dynamic Analysis 2012
    2
  34. N Bailey, G Kapetanios, M H Pesaran
    Exponent of Cross-sectional Dependence: Estimation and Inference. University of Cambridge, 2012
    2
  35. R Singh, S Gulwani, A Solar-Lezama
    Automated semantic grading of programs 2012
    2
  36. Piracy
    and Armed Robbery Against Ships: Report for the Period 1 January–31 December 2011, 2012
    2
  37. R West, J Leskovec
    Human Wayfinding in Information Networks. In Proceedings of the 21th international conference on World Wide Web - WWW ’12, 2012
    2
  38. Mitchell RJ, Farrington SM, Dunlop MG, Campbell
    H: Mismatch repair genes hMLH1 and hMSH2 and colorectal cancer: a HuGE review. American journal of epidemiology 2002, 156:885902Available: http://www.ncbi.nlm.nih.gov/pubmed/12419761.Accessed 21 2012
    2
  39. T Herbert
    aRFS: Accelerated Receive Flow Steering 2012
    2
  40. Robert Watson
    Packet Steering in FreeBSD 2012
    2
  41. M Strohmaier, D Helic, D Benz, C Körner, R Kern
    Evaluation of folksonomy induction algorithms. ACM Trans. Intell. Syst. Technol, 2012
    2
  42. New York
    State Department of Health. Clinical laboratory evaluation program: survey standards 2012
    2
  43. M Lepinski, S Kent, D Kong
    A Profile for Route Origin Authorizations (ROAs)", RFC 6482 2012
    2
  44. O Arizmendi
    Statistics of blocks in k-divisible non-crossing partitions. arXiv:1201.6576 2012
    2
  45. New York
    State Department of Health. Approved laboratories York State Department of Health, 2012
    2
  46. Georges Kleiber
    L’anaphore associative PUF, 2001. version 1 - 3, 2012
    2
  47. G Huston, R Loomans, G Michaelson
    A Profile for Resource Certificate Repository Structure", RFC 6481 2012
    2
  48. R F Lax
    Generic interpolation polynomial for list decoding Finite Fields Appl, 2012
    2
  49. Sudipto Banerjee
    Expenditure Patterns of Older Americans 2001–2009.” EBRI Issue Brief, no. 957 (Employee Benefit Research Institute, 2012
    2
  50. Alan Auerbach, Yuriy Gorodnichenko
    Measuring the Output Responses to Fiscal Policy,” forthcoming in American Economic Journal: Economic Policy. 2012
    2
  51. K Naden, R Bocchino, J Aldrich, K Bierhoff
    A type system for borrowing permissions. In Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’12, 2012
    2
  52. Aalto-DD112012 Vuokko, Niko
    Testing the Significance of Patterns with Complex Null Hypotheses 2012
    2
  53. Saugata Basu, Andrei Gabrielov, Nicolai Vorobjov
    Monotone functions and maps. 2012
    2
  54. H Choe, D Chen, J Schneibel, Ritchie RO
    Ambient to high temperature fracture toughness and fatigue-crack propagation behavior in a Mo-12Si-8.5B (at.%) intermetallic. Intermetallics 2001;9:319e29. J.A. Lemberg et al Intermetallics, 2012
    2
  55. E Madalińska-Bugaj, L A Nguyen
    A generalized QSQR evaluation method for Horn knowledge bases. ACM Transactions on Computational, 2012
    2
  56. J Weng
    Symbolic models and emergent models: A review. IEEE Trans. Autonomous Mental Development, 2012
    2
  57. Joris Bleys
    Language strategies for color. In Luc Steels (Ed.), Experiments in Cultural Language Evolution. Amsterdam: John Benjamins. Mirror Systems for Body Language 25 Demiris, Yiannis, Matthew Johnson, 2012
    2
  58. A Aswani, N Master, J Taneja, D Culler, C Tomlin
    Reducing Transient and Steady State Electricity Consumption in HVAC Using Learning-Based Model-Predictive Control. Proceedings of the IEEE, 2012
    2
  59. J A Pérez, L Caires, F Pfenning, B Toninho
    Linear logical relations for session-based concurrency. In Proc. of ESOP, volume 7211 of LNCS, 2012
    2
  60. C Liu, L Ren, B T Loo, Y Mao, P Basu
    Cologne: A Declarative Distributed Constraint Optimization Platform In Proceedings of VLDB Conference, 2012
    2
  61. Raj Chetty
    Bounds on Elasticities with Optimization Frictions: A Synthesis of Micro and Macro Evidence on Labor Supply,” forthcoming, Econometrica, 2012
    2
  62. Gubler DJ, Clark GG
    Community involvement in the control of Aedes aegypti. Acta Trop. 1996;61:169–79. http://dx.doi. org/10.1016/0001-706X(95)00103-L Address for correspondence: Amesh A. Adalja, Center for Biosecurity of UPMC, 621 E Pratt St, Suite 210, Baltimore, MD 21202, USA; email: ameshaa@aol.com 614 Emerging Infectious Diseases • www.cdc.gov/eid, 2012
    2
  63. A Kulkarni, M Can, B Hartman
    Collaboratively Crowdsourcing Workflows with Turkomatic. In Proc. CSCW, 2012
    2
  64. Thali MJ, R Dirnhofer, R Becker, W Oliver, K Potter
    Is ‘virtual histology’ the next step after the ‘virtual autopsy’? Magnetic resonance microscopy in forensic medicine. Magn Reson Imaging. 2004;22:1131–8. http://dx.doi.org/10.1016/j.mri.2004.08.019 Address for correspondence Lindy Liu, Centers for Disease Control and Prevention, 1600 Clifton Rd NE, Mailstop G32, Atlanta, GA 30333, USA; email: fuz3@cdc.gov Emerging Infectious Diseases • www.cdc.gov/eid, 2012
    2
  65. Anjan V Thakor
    Incentives to Innovate and Financial Crises. Journal of Financial Economics, 2012
    2
  66. S M LaValle
    Sensing and filtering: A tutorial based on preimages and information spaces Foundations and Trends in Robotics, 2012
    2
  67. J Pearl
    The causal foundations of structural equation modeling. 2012
    2
  68. Edwin Beggs, José Félix Costa, John V Tucker
    Unifying science through computation: Reflections on computability and physics. New Approaches to the Unity of Science, Vol. II: Special Sciences and the Unity of Science, volume 24 of Logic, Epistemology, and the Unity of Science, 2012
    2
  69. G Kapetanios, H Mumtaz, I Stevens, K Theodoridis
    Assessing the economywide effects of quantitative easing’, Bank of England Working Paper No 2012
    2
  70. S Kim, W Whitt
    Statistical analysis with Little’s law 2012
    2
  71. R Wessel, Klein
    R (2010) Learning the compositional structure of man-made objects for 3d shape retrieval In: Proc. Eurographics workshop on 3D object retrieval (3DOR’10). Eurographics Association, Aire-la-Ville, pp 39–46 Multimed Tools Appl, 2012
    2
  72. Q Fu, J Lu
    Micro Foundations of Multi-prize Lottery Contests: A Perspective of Noisy Performance Ranking, Social Choice and Welfare, 2012
    2
  73. S Garoufalidis, R van
    der Veen. Asymptotics of quantum spin networks at a fixed root of unity Math. Ann, 2012
    2
  74. Tim Wilde
    Knock knock knockin’ on bridges’ doors. https://blog. torproject.org/blog/knock-knock-knockin-bridges-doors 2012
    2
  75. P Gardner, S Maffeis, G Smith
    Towards a program logic for Javascript. In 40th POPL. ACM, 2012
    2
  76. ATLAS Collaboration, Search
    for squarks and gluinos using final states with jets and missing transverse momentum with the ATLAS detector in √ s = 7 TeV proton-proton collisions, ATLAS-CONF-2012033, 2012
    2
  77. J W Hatfield, S D 2011b Kominers
    Multilateral matching. Mimeo, University of Chicago. (2011 extended abstract In Proceedings of the 12th ACM Conference on Electronic Commerce. 337–338, 2012
    2
  78. M Sharir, A Sheffer, E Welzl
    Counting plane graphs: perfect matchings, spanning cycles, and Kasteleyn’s technique in Proc. 28th Sympos. Comput. Geom., ACM, 2012
    2
  79. M Baaz, S Hetzl, D Weller
    On the complexity of proof deSkolemization. J. of Symbolic Logic, 2012
    2
  80. D Meurers
    Natural Language Processing and Language Learning Second Language Research 17(4), 393–420. URL http://proxy.lib.ohio-state.edu/login?url=http: Detmar Meurers Encyclopedia of Applied Linguistics, 2012
    2
  81. Vasileios P Kemerlis, Georgios Portokalidis, Kangkook Jee, Angelos D Keromytis
    libdft: Practical dynamic data flow tracking for commodity systems. In Proceedings of the 8th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2012
    2
  82. S Clark, F Gesztesy, R Nichols, M Zinchenko
    Boundary data maps and Krein’s resolvent formula for Schrödinger operators on a finite interval 2012
    2
  83. G Grubb
    Krein-like extensions and the lower boundedness problem for elliptic operators J. Diff. Eq, 2012
    2
  84. GENE ONTOLOGY
    CONSORTIUM: Gene ontology: tool for the unification of biology. Nature Genetics 25, 1 (May 2000), 25–29. http://www.geneontology.org (Accessed January 18 GHONIEM M., FEKETE J.-D., CASTAGLIOLA P, 2012
    2
  85. Arad Ayala, Ariel Rubinstein
    The 11-20 Money Request Game: A Level-k Reasoning Study". American Economic Review (forthcoming 2012
    2
  86. C Jones, O Bonsignour
    The Economics of Software Quality 2012
    2
  87. Michael Grace, Yajin Zhou, Zhi Wang, Xuxian Jiang
    Systematic Detection of Capability Leaks in Stock Android Smartphones. InProceedings ofthe 19thAnnual Network and DistributedSystemSecurity Symposium, NDSS ’12, 2012
    2
  88. E Arisoy, M Saraclar, B Roark, I Shafran
    Discriminative language modeling with linguistic and statistically derived features IEEE Transactions on Audio, Speech and Language Processing, 2012
    2
  89. J Moreau, M Gudgin, A Karmarkar, N Mendelsohn, M Hadley, Y Lafon, H Nielsen
    SOAP Version 1.2 Part 2: Adjuncts (Second Edition World Wide Web Consortium Recommendation REC-soap12-part2-20070427, April 2007, Barnes, et al. Standards Track [Page 115] 6503 CCMP, 2012
    2
  90. ƒSec
    1405(c) of HCERA:≈ Effective Date.—The amendments made by this section shall apply to sales after December 31 SEC. 9010. IMPOSITION OF ANNUAL FEE ON HEALTH INSURANCE PROVIDERS, 2012
    2
  91. K Kersting, M Wahabzada, C Roemer, C Thurau, A Ballvora, U Rascher, J Leon, C Bauckhage, L Pluemer
    Simplex distributions for embedding data matrices over time. In Proc. SIAM SDM, 2012
    2
  92. X Bosch-Capblanch
    Project Team (2011) Handbook for developing health systems guidance: supporting informed judgements for health systems policies Swiss Tropical and Public Health Institute. Available: http://www.swisstph. ch/?id=53; http://www.swisstph.ch/fileadmin/ user_upload/Pdfs/SCIH/WHOHSG_Handbook_ v04.pdf. Accessed 30, 2012
    2
  93. D COHEN
    On the numerical discretisation of stochastic oscillators Math. Comput. Simul, 2012
    2
  94. J Bonneau
    The science of guessing: analyzing an anonymized corpus of 70 million passwords. IEEE Symp. Security and Privacy, 2012
    2
  95. J P D’Angelo, J Lebl
    Pfister’s theorem fails in the Hermitian 2012
    2
  96. F Brandt, M Chudnovsky, I Kim, G Liu, S Norin, A Scott, P Seymour, S Thomassé
    A counterexample to a conjecture of Schwartz. Social Choice and Welfare. 2012
    2
  97. S Bellovin
    The Security Flag in the IPv4 Header", RFC 3514, April 1 2003. Pignataro, et al. Experimental [Page 7] 6593 Service Hide-and-Go-Seek 1 2012
    2
  98. N Aréchiga, S M Loos, A Platzer, B H Krogh
    Using theorem provers to guarantee closed-loop system properties in ACC, 2012
    2
  99. J Bonneau, S Preibusch, R Anderson
    A birthday present every eleven wallets? The security of customer-chosen banking PINs. FC ’12: The 16 th International Conference on Financial Cryptography and Data Security, 2012
    2
  100. Q Yan, J Han, Y Li, H Deng
    On limitations of designing usable leakage-resilient password systems: Attacks, principles and usability Proc. NDSS, 2012
    2