Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mercutio's library [268 articles]

Recent papers added to mercutio's library ordered by importance.
  • Information diffusion through blogspace
    SIGKDD Explor. Newsl., Vol. 6, No. 2. (December 2004), pp. 43-52.
    by D Gruhl, David Liben-Nowell, R Guha, A Tomkins
  • On the bursty evolution of blogspace
    (2003), pp. 568-576.
    by Ravi Kumar, Jasmine Novak, Prabhakar Raghavan, Andrew Tomkins
  • Information diffusion through blogspace
    by Daniel Gruhl, R. Guha, David Liben-Nowell, Andrew Tomkins
  • Mapping weblog communities
    (20 December 2003)
    by J Juan-J, Beatriz Prieto, Fatima Rateb, Fernando Tricas
  • Automatic Meaning Discovery Using Google
    (21 December 2004)
    by Rudi Cilibrasi, Paul MB Vitanyi
  • Static Determination of Dynamic Properties of Programs
    (April 1976), pp. 106-130.
    by P Cousot, R Cousot
    posted to static_analysis by mercutio on 2006-08-15 01:11:15 as ****
  • Abstract interpretation: a semantics-based tool for program analysis
    (1995), pp. 527-636.
    by Neil D Jones, Flemming Nielson
    posted to static_analysis by mercutio on 2006-08-15 01:05:08 as **** along with 1 person bunge
  • Evaluating Static Analysis Tools for Detecting Buffer Overflows in C Code
    (2005)
    posted to method security static_analysis by mercutio on 2006-04-25 20:12:36 as **** along with 1 person criswell
  • Securing software : an evaluation of static source code analyzers
    (2003)
    by Misha Zitser
    posted to method security static_analysis by mercutio on 2006-04-25 20:08:40 as **** along with 1 person plaugg
  • Should computer scientists experiment more?
    Computer, Vol. 31, No. 5. (1998), pp. 32-40.
    by WF Tichy
    posted to method by mercutio on 2006-04-25 20:04:44 as **** along with 2 people elsantosneto jwong
  • Using benchmarking to advance research: A challenge to software engineering
    (2003)
    by S Sim, S Easterbrook, R Holt
    posted to method by mercutio on 2006-04-25 20:01:57 as ****
  • Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
    ACM Transactions on Programming Languages and Systems, Vol. 13, No. 4. (October 1991), pp. 451-490.
    by Ron Cytron, Jeanne Ferrante, Barry K Rosen, Mark N Wegman, Kenneth F Zadeck
    posted to static_analysis by mercutio on 2006-03-30 22:11:30 as **** along with 2 people iff cruediger
  • Interprocedural slicing using dependence graphs
    ACM Trans. Program. Lang. Syst., Vol. 12, No. 1. (January 1990), pp. 26-60.
    by Susan Horwitz, Thomas Reps, David Binkley
    posted to static_analysis by mercutio on 2006-02-15 17:12:03 as **** along with 1 person dfisher
  • Intraprocedural Static Slicing of Binary Executables
    pp. 188-195.
    by Cristina Cifuentes, Antoine Fraboulet
    posted to binary static_analysis by mercutio on 2006-02-15 17:08:27 as **** along with 2 people scavadini tesissvc
  • Assembly to High-Level Language Translation
    (1998), pp. 228-237.
    by Cristina Cifuentes, Doug Simon, Antoine Fraboulet
    posted to binary static_analysis by mercutio on 2006-02-13 23:05:20 as **** along with 2 people vipuldelwadia ronnix
  • Analysis and enhancement of TCP Vegas congestion control in a mixed TCP Vegas and TCP Reno network scenario
    Perform. Eval., Vol. 53, No. 3-4. (2003), pp. 225-253.
    by Andrea De Vendictis, Andrea Baiocchi, Michela Bonacci
    posted to networking tcp-and-beyond by mercutio on 2005-11-10 00:37:18 as ****
  • The performance comparison between TCP Reno and TCP Vegas
    Parallel and Distributed Systems: Workshops, Seventh International Conference on, 2000 (2000), pp. 61-66.
    by Yuan-Cheng Lai, Chang-Li Yao
    posted to networking tcp-and-beyond by mercutio on 2005-11-10 00:35:38 as ****
  • A framework for call graph construction algorithms
    ACM Trans. Program. Lang. Syst., Vol. 23, No. 6. (November 2001), pp. 685-746.
    by David Grove, Craig Chambers
    posted to static_analysis by mercutio on 2005-11-08 20:26:16 as **** along with 2 people plaugg kklo
  • Call Graph Construction in Object-Oriented Languages
    (1997), pp. 108-124.
    by David Grove, Greg Defouw, Jeffrey Dean, Craig Chambers
    posted to static_analysis by mercutio on 2005-11-08 20:25:26 as **** along with 2 people plaugg bunge
  • Trust in the lambda-Calculus
    (1995), pp. 314-329.
    posted to static_analysis by mercutio on 2005-10-28 20:06:57 as **** along with 1 person kingsunshine
  • Program analysis via graph reachability
    (1997), pp. 5-19.
    by Thomas Reps
    posted to static_analysis by mercutio on 2005-10-28 20:04:00 as **** along with 2 people plaugg alphabetagamma
  • JFlow: practical mostly-static information flow control
    (1999), pp. 228-241.
    by Andrew C Myers
  • A New Perspective on the Small-World Phenomenon: Greedy Routing in Tree-Decomposed Graphs
    posted to graph_theory small_world by mercutio on 2005-10-25 09:49:04 as ****
  • notes Epidemics and percolation in small-world networks
    (7 Jan 2000)
    by Cristopher Moore, MEJ Newman
  • Evolutionary dynamics in the Bak-Sneppen model on small-world networks
    (6 May 1999)
    by RV Kulkarni, E Almaas, D Stroud
    posted to graph_theory small_world by mercutio on 2005-10-25 09:23:39 as ****
  • Analyzing Kleinberg's (and other) small-world Models
    (2004), pp. 179-188.
    by Chip Martel, Van Nguyen
  • The Small World Web
    (1999), pp. 443-452.
    by Lada A Adamic
    posted to graph_theory small_world by mercutio on 2005-10-23 08:45:02 as **** along with 2 people yoh fuzzy7761
  • The diameter of the world wide web
    (10 Sep 1999)
    by Reka Albert, Hawoong Jeong, Albert-Laszlo Barabasi
  • notes Exactly solvable analogy of small-world networks
    (28 Jul 1999)
    by SN Dorogovtsev, JFF Mendes
    posted to graph_theory small_world by mercutio on 2005-10-23 08:41:31 as **** along with 1 person fuzzy7761
  • Multiple Scales in Small-World Graphs
    (5 April 1999)
    by Rajesh Kasturirangan
  • An introduction to variable and feature selection
    J. Mach. Learn. Res., Vol. 3 (2003), pp. 1157-1182.
    by Isabelle Guyon, Andr&\#233; Elisseeff
  • KEA: practical automatic keyphrase extraction
    (1999), pp. 254-255.
    by Ian H Witten, Gordon W Paynter, Eibe Frank, Carl Gutwin, Craig G Nevill-Manning
    posted to information_retrieval by mercutio on 2005-03-21 13:32:57 as ****
  • KPSpotter: a flexible information gain-based keyphrase extraction system
    (2003), pp. 50-53.
    by Min Song, Il-Yeol Song, Xiaohua Hu
    posted to information_retrieval by mercutio on 2005-03-21 13:31:19 as ****
  • The Success of Open Source
    (30 April 2004)
    by Steven Weber
  • Coase's Penguin, or Linux and the Nature of the Firm
    (23 October 2001)
    by Yochai Benkler
  • Linked
    (2002)
    by Albert-Laszlo Barabasi
  • Attack-resistant trust metrics for public key certification
    by Raph Levien, Alex Aiken
  • Anomaly detection of web-based attacks
    (2003), pp. 251-261.
    by Christopher Kruegel, Giovanni Vigna
    posted to ids security by mercutio on 2005-02-18 10:18:15 as **** along with 4 people wjfjin vanhau wtribbey omidf2
  • Testing network-based intrusion detection signatures using mutant exploits
    (2004), pp. 21-30.
    by Giovanni Vigna, William Robertson, Davide Balzarotti
    posted to ids security by mercutio on 2005-02-18 10:16:45 as ****
  • Self-similarity of complex networks
    Nature, Vol. 433, No. 7024. (27 January 2005), pp. 392-395.
    by Chaoming Song, Shlomo Havlin, Hernan A Makse
  • A survey of approaches to automatic schema matching
    The VLDB Journal, Vol. 10, No. 4. (December 2001), pp. 334-350.
    by Erhard Rahm, Philip A Bernstein
  • On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions
    Knowledge-Based Systems, Vol. 15, No. 3. (March 2002), pp. 147-167.
    by FS Correa, Wamberto W Vasconcelos, David S Robertson, Virginia Brilhante, Ana C de Melo, Marcelo Finger, Jaume Agusti
    posted to ontologies by mercutio on 2005-01-31 18:11:25 as ****
  • Simple On-the-fly Automatic Verification of Linear Temporal Logic
    (1995), pp. 3-18.
    by Rob Gerth, Doron Peled, Moshe Y Vardi, Pierre Wolper
    posted to model_checking by mercutio on 2006-08-15 01:45:39 as *** along with 1 person bfraser
  • Finding bugs with a constraint solver
    (2000), pp. 14-25.
    by Daniel Jackson, Mandana Vaziri
    posted to static_analysis testing by mercutio on 2006-08-15 01:38:55 as *** along with 1 person plaugg
  • Software verification with Blast
    (2003)
    posted to model_checking verification by mercutio on 2006-08-15 01:37:06 as *** along with 1 person bfraser
  • A static analyzer for finding dynamic programming errors
    Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802.
    by William R Bush, Jonathan D Pincus, David J Sielaff
    posted to static_analysis by mercutio on 2006-08-15 01:35:56 as *** along with 3 people martink linekin NSumner
  • Model checking security properties of control flow graphs
    J. Comput. Secur., Vol. 9, No. 3. (January 2001), pp. 217-250.
    by Fr&\#233;d&\#233;ric Besson, Thomas Jensen, Daniel Le M&\#233;tayer, Tommy Thorn
    posted to security by mercutio on 2006-08-15 01:31:09 as ***
  • Call graph construction in object-oriented languages
    Vol. 32, No. 10. (October 1997), pp. 108-124.
    by David Grove, Greg Defouw, Jeffrey Dean, Craig Chambers
    posted to static_analysis by mercutio on 2006-08-15 01:13:19 as *** along with 2 people plaugg kklo
  • Interprocedural slicing using dependence graphs
    Vol. 23, No. 7. (July 1988), pp. 35-46.
    by S Horwitz, T Reps, D Binkley
    posted to static_analysis by mercutio on 2006-03-30 22:43:10 as *** along with 2 people dfisher scavadini
  • Flow Graph Anomalies: What's in a loop?
    (28 February 1991)
    by Michael Wolfe
    posted to static_analysis by mercutio on 2006-03-30 22:03:52 as ***
  • Note: You may cite this page as: http://www.citeulike.org/user/mercutio/order/to_read

    Result page: 1 2 3 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.