fsautomata's Top Recommendations

These recommendations were last updated about 5 hours ago.

	Answering queries using views: A survey [My Copy] The VLDB Journal In The VLDB Journal, Vol. 10, No. 4. (25 December 2001), pp. 270-294. by Alon Y. Halevy posted by 9 people danabl rzfrantz tulaydemir neilernst dullhunk julianpan masteraka brunoDE anonyox
	Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width [My Copy] J. Comput. Syst. Sci., Vol. 66, No. 4. (June 2003), pp. 775-808. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted by 2 people stavros masteraka
	Indexing dataspaces [My Copy] In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 43-54. by Xin Dong, Alon Halevy posted by 11 people vsavenkov mogwaing rmbrad gladwig bozhaouiuc egh eweaver lillejul tulaydemir L3S vannevarvision
	Data exchange: getting to the core [My Copy] ACM Trans. Database Syst., Vol. 30, No. 1. (March 2005), pp. 174-210. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa posted by 5 people nhoussos ludaesch masteraka brunoDE anonyox
	Beyond Hypertree Width: Decomposition Methods Without Decompositions [My Copy] Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 167-181. by Hubie Chen, Víctor Dalmau posted by 2 people masteraka anonyox
	Constraint solving via fractional edge covers [My Copy] In SODA '06: Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (2006), pp. 289-298. by Martin Grohe, Dániel Marx posted by 2 people masteraka anonyox
	Data exchange: computing cores in polynomial time [My Copy] In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 40-49. by Georg Gottlob, Alan Nash posted by 2 people masteraka anonyox
	Information Integration Using Logical Views [My Copy] In ICDT '97: Proceedings of the 6th International Conference on Database Theory (1997), pp. 19-40. by Jeffrey D. Ullman posted by 3 people masteraka brunoDE anonyox
	Computing cores for data exchange: new algorithms and practical solutions [My Copy] In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 148-159. by Georg Gottlob posted by 2 people masteraka anonyox
	Hypertree Decompositions and Tractable Queries [My Copy] Journal of Computer and System Sciences, Vol. 64, No. 3. (May 2002), pp. 579-627. by Georg Gottlob, Nicola Leone, Francesco Scarcello posted by 3 people masteraka anonyox gregtarr
	MiniCon: A scalable algorithm for answering queries using views [My Copy] The VLDB Journal The International Journal on Very Large Data Bases, Vol. 10, No. 2. (2001), pp. 182-198. by Rachel Pottinger, Alon Halevy posted by 2 people masteraka anonyox
	Complexity of answering queries using materialized views [My Copy] In PODS '98: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1998), pp. 254-263. by Serge Abiteboul, Oliver M. Duschka posted by 2 people masteraka anonyox
	Generalized hypertree decompositions: np-hardness and tractable variants [My Copy] In PODS '07: Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2007), pp. 13-22. by Georg Gottlob, Zoltan Miklos, Thomas Schwentick posted by 2 people masteraka anonyox
	The description logic handbook: theory, implementation, and applications [My Copy] (2003) by Franz Baader, Diego Calvanese, Deborah L. Mcguinness, Daniele Nardi, Peter F. Patel-Schneider edited by Franz Baader, Diego Calvanese, Deborah L. Mcguinness, Daniele Nardi, Peter F. Patel-Schneider posted by 4 people leechuck masteraka anonyox Wurlitzer
	Principles of dataspace systems [My Copy] In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 1-9. by Alon Halevy, Michael Franklin, David Maier posted by 9 people dexter_shen nhoussos pavelkrbalek hkimura dullhunk rmbrad lillejul L3S tatemura
	GOLOG: A Logic Programming Language for Dynamic Domains [My Copy] Journal of Logic Programming, Vol. 31, No. 1-3. (1997), pp. 59-83. by Hector J. Levesque, Raymond Reiter, Yves Lesperance, Fangzhen Lin, Richard B. Scherl posted by 4 people schiffer neilernst fakirhs stavros
	Link mining: a survey [My Copy] SIGKDD Explor. Newsl., Vol. 7, No. 2. (December 2005), pp. 3-12. by Lise Getoor, Christopher P. Diehl posted by 21 people kawamoto dexter_shen makrehchi ChaTo ldietz gane5h akkun_choi bigbossman krisl maqbes pcchen001 graphminer azygmunt thijswesterveld sgros Wikipedia AGH-IISG kohei-h jiny brightbyte AbnerCYH
	PDDL---The Planning Domain Definition Language [My Copy] (1998) by M. Ghallab, A. Howe, C. Knoblock, et al.D. Mcdermott, A. Ram, M. Veloso, D. Weld, D. Wilkins posted by 2 people stavros baisemain
	Planning as Satisfiability [My Copy] In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92) (1992), pp. 359-363. by Henry A. Kautz, Bart Selman posted by 4 people PAGiannaros cyph3r stavros baisemain
	An abductive event calculus planner [My Copy] Journal of Logic Programming, Vol. 44, No. 1-3. (2000), pp. 207-240. by Murray Shanahan posted by 2 people stavros msakai
	Classical Negation in Logic Programs and Disjunctive Databases [My Copy] New Generation Computing, Vol. 9, No. 3/4. (1991), pp. 365-386. by Michael Gelfond, Vladimir Lifschitz posted by 2 people stavros baisemain
	The Well-Founded Semantics for General Logic Programs [My Copy] Journal of the ACM, Vol. 38, No. 3. (1991), pp. 620-650. by Allen van Gelder, Kenneth Ross, John S. Schlipf posted by 2 people baisemain stavros
	Answer set programming and plan generation [My Copy] Artif. Intell., Vol. 138, No. 1-2. (2002), pp. 39-54. posted by 2 people stavros baisemain
	Theory and Practice of Constraint Handling Rules [My Copy] Journal of Logic Programming, Special Issue on Constraint Logic Programming, Vol. 37, No. 1-3. (October 1998), pp. 95-138. by Thom Frühwirth edited by Marriot posted by 2 people stavros noormkhan
	Structure and evolution of online social networks [My Copy] In KDD '06: Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining (2006), pp. 611-617. by Ravi Kumar, Jasmine Novak, Andrew Tomkins posted by 52 people chrwos 07111013 saket Iully meikipp thegoose andreacapocci pms dexter_shen pkusjcer yiah aalves bomi apepe adeenaa kerriciminera agulli A_Olympia rickl elsantosneto ladamic dartar donade styliani senioritis krisl merazzle zpinhead azygmunt manu_ds sjones mook3000 abl mylit rcrane yihsuan cursonivel1 dneal xingxu Philosophy_of_Information Blog_and_Wiki_Research AGH-IISG cursonivel1 Networked Systems Lab Social Web jac191 katja lcaroso cauimkrao rezaferry rrbarb tnhh
	Fast Planning Through Planning Graph Analysis [My Copy] In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 95) (1995), pp. 1636-1642. by Avrim Blum, Merrick Furst posted by 8 people mortimer stavros chadhogg kozlak arpradha UoY-CS-AIG AI cyph3r
	Inverting schema mappings [My Copy] In PODS '06: Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2006), pp. 50-59. by Ronald Fagin posted by 3 people lillejul L3S masteraka
	Control Structures of Rule-Based Agent Languages [My Copy] In Proceedings of the 5th International Workshop on Intelligent Agents V : Agent Theories, Architectures, and Languages ({ATAL}-98), Vol. 1555 (1999), pp. 381-396. by Koen Hindriks, Frank de Boer, Wiebe van der Hoek, John edited by Jörg Müller, Munindar P. Singh, Anand S. Rao posted by 3 people stavros mahler Rightscom
	Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus [My Copy] In IJCAI (1997), pp. 1221-1226. by Giuseppe De Giacomo, Yves Lesperance, Hector J. Levesque posted by 2 people shakilmkhan stavros
	Representing knowledge within the situation calculus using intervalvalued epistemic fluents [My Copy] (1999) by J. Funge posted by 2 people stavros Sergi
	Knowledge-gathering agents in adventure games [My Copy] (2004) by B. Hlubocky, E. Amir posted by 3 people stavros knowlengr jonas28
	Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic [My Copy] Frontiers of Combining Systems (2005), pp. 48-64. by Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba posted by 3 people dejan masteraka anonyox
	On-Line Execution of cc-Golog Plans [My Copy] In IJCAI (2001), pp. 12-18. by Henrik Grosskreutz, Gerhard Lakemeyer posted by 2 people schiffer stavros
	Binary decision diagrams for first-order predicate logic [My Copy] Journal of Logic and Algebraic Programming, Vol. 57, No. 1-2. ( 2003), pp. 1-22. by Friso, Olga Tveretina posted by 1 person stavros
	A theory of diagnosis from first principles [My Copy] Artif. Intell., Vol. 32, No. 1. (April 1987), pp. 57-95. by R. Reiter posted by 3 people stavros fheintz gvdh
	Knowledge compilation and theory approximation [My Copy] Journal of the ACM, Vol. 43, No. 2. (1996), pp. 193-224. by Bart Selman, Henry Kautz posted by 3 people knowledge01 stavros simon_o
	Universal planning: An (almost) universally bad idea [My Copy] AI Magazine, Vol. 10, No. 4. (1989), pp. 40-44. by Matthew L. Ginsberg posted by 2 people fakirhs stavros
	Universal Plans for Reactive Robots in Unpredictable Environments [My Copy] In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJCAI-87) (1987), pp. 1039-1046. by M. J. Schoppers edited by John Mcdermott posted by 4 people fakirhs stavros GG_URFIST Urfist_PacaC
	The complexity of theorem-proving procedures [My Copy] In STOC '71: Proceedings of the third annual ACM symposium on Theory of computing (1971), pp. 151-158. by Stephen A. Cook posted by 7 people stavros sdvillal bsilverthorn voronov dfabbri JakubSzymanik eporreca
	Fast Decision Procedures Based on Congruence Closure [My Copy] Journal of the ACM, Vol. 27, No. 2. (1 April 1980), pp. 356-364. by Greg Nelson, Derek C. Oppen posted by 3 people dejan pmatos stavros
	DB&IR: both sides now [My Copy] In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 25-30. by Gerhard Weikum posted by 3 people gladwig lillejul L3S
	Beyond the Plan-Length Criterion [My Copy] Lecture Notes in Computer Science, Vol. 2148 (2001), pp. 55-??. by Alexander Nareyek posted by 4 people knowlengr stavros cyph3r kickOffTUG-Robocup
	Representing Action and Change by Logic Programs [My Copy] Journal of Logic Programming, Vol. 17, No. 2/3&4. (1993), pp. 301-321. by Michael Gelfond, Vladimir Lifschitz posted by 1 person stavros
	Programming of reasoning and planning agents with FLUX [My Copy] (2002) by M. Thielscher posted by 4 people stavros bsmagic Bioinformatics bioinplant
	A knowledge compilation map [My Copy] (2002) by A. Darwiche, P. Marquis posted by 3 people A_Olympia stavros gvdh
	Formalizing Narratives Using Nested Circumscription [My Copy] In Working Papers: Common Sense '96 (1996), pp. 15-24. by Chitta Baral, Alfredo Gabeldon, Alessandro Provetti edited by Sasa Buvac, Tom Costello posted by 2 people p2p01 stavros
	Combining Narratives [My Copy] In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR '98) (June 1998), pp. 48-59. by John Mccarthy, Tom Costello edited by Anthony G. Cohn, Lenhart Schubert, Stuart C. Shapiro posted by 2 people stavros Scis0000002
	Execution Monitoring of High-Level Robot Programs [My Copy] In Principles of Knowledge Representation and Reasoning (1998), pp. 453-465. by Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski posted by 3 people schiffer stavros fheintz
	Human-Level AI's Killer Application: Interactive Computer Games [My Copy] In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence (2000), pp. 1171-1178. by John E. Laird, Michael van Lent posted by 3 people tmancill egunn stavros
	It knows what you're going to do: adding anticipation to a Quakebot [My Copy] In AGENTS '01: Proceedings of the fifth international conference on Autonomous agents (2001), pp. 385-392. by John E. Laird posted by 2 people stavros pthimon
	An incremental interpreter for high-level programs with sensing [My Copy] by G. De Giacomo, H. Levesque posted by 2 people fheintz stavros
	SOAR: an architecture for general intelligence [My Copy] Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 1-64. by John E. Laird, Allen Newell, Paul S. Rosenbloom posted by 3 people stavros didier bsilverthorn
	Find that photo!: interface strategies to annotate, browse, and share [My Copy] Commun. ACM, Vol. 49, No. 4. (April 2006), pp. 69-71. by Ben Shneiderman, Benjamin B. Bederson, Steven M. Drucker posted by 9 people jaremfan codex jonsmith lillejul L3S Adrian_Secord krisl fryanpan iansimon
	Forget It! [My Copy] In Working Notes, AAAI Fall Symposium on Relevance (1994), pp. 154-159. by Fangzhen Lin, Raymond Reiter edited by Russell Greiner, Devika Subramanian posted by 2 people stavros lyongu
	Intelligent Agents: Theory and Practice [My Copy] Vol. 10, No. 2. (1994), pp. 115-152. by Michael Wooldridge, Nicholas R. Jennings posted by 22 people StFX Centre for Logic and Information sccook cedricboidin benoithv harald stavros jounih pverstra paulclinger scis0000001 rgb mzygmunt remipannequin DaveWebster djp1540 bobstark CLIC logical_cognition macc pileWorks Holonic_Tracilog_Team arasbm
	Recent Advances in AI Planning [My Copy] AI Magazine, Vol. 20, No. 2. (1999), pp. 93-123. by Daniel S. Weld posted by 3 people stavros cyph3r kickOffTUG-Robocup
	An overview of recent algorithms for AI planning [My Copy] by Jussi Rintanen, Jörg Hoffmann posted by 2 people stavros bmatichuk
	Intelligent Agents for Computer Games [My Copy] (2000) by A. Nareyek posted by 3 people stavros sdipaola knowlengr
	A tractable knowledge representation service with full introspection [My Copy] In TARK '88: Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge (1988), pp. 145-159. by Gerhard Lakemeyer, Hector J. Levesque posted by 2 people stavros neuralwarp
	Characterizing diagnoses and systems [My Copy] Artificial Intelligence, Vol. 56, No. 2-3. (August 1992), pp. 197-222. by Johan de Kleer, Alan K. Mackworth, Raymond Reiter posted by 3 people stavros fheintz gvdh
	The RoboCup Synthetic Agent Challenge,97 [My Copy] In International Joint Conference on Artificial Intelligence (IJCAI97) (1997) by H. Kitano, M. Tambe, P. Stone, et al.M. Veloso, S. Coradeschi, E. Osawa, H. Matsubara, I. Noda, M. Asada posted by 3 people stavros cyph3r kickOffTUG-Robocup
	Existential assertions and quantum levels on the tree of the situation calculus [My Copy] Artif. Intell., Vol. 170, No. 6. (May 2006), pp. 643-652. by Francesco Savelli posted by 2 people stavros rfk
	Artificial Intelligence: A Modern Approach [My Copy] (2003) by Stuart J. Russell, Peter Norvig posted by 3 people schiffer stavros derwolf
	Agent-Based Software Engineering [My Copy] In Proceedings of the 5th International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM 2000) (2000) by Charles J. Petrie edited by Jeffrey Bradshaw, Geoff Arnold posted by 2 people stavros mlyell
	Feature Discovery for Inductive Concept Learning [My Copy] No. UM-CS-1990-015. (, 1990) by Tom E. Fawcett posted by 2 people stavros eacosta
	AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language [My Copy] In Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World (1996) by Anand S. Rao edited by Rudy van Hoe posted by 4 people stavros scis0000001 mzygmunt AnandRao
	Implementing an Efficient Theorem Prover [My Copy] by Alexandre Riazanov posted by 3 people JacquesC stavros NU-PRL
	Pengi: an implementation of a theory of activity [My Copy] (1995), pp. 635-644. by Philip E. Agre, David Chapman posted by 1 person stavros
	Encoding Plans in Propositional Logic [My Copy] In Proceedings of the Fifth International Conference on the Principle of Knowledge Representation and Reasoning (KR'96) (1996), pp. 374-384. by Henry A. Kautz, David Mcallester, Bart Selman posted by 2 people stavros cyph3r
	Exploiting Local Similarity for Efficient Indexing of Paths in Graph Structured Data [My Copy] In ICDE (2002) by Raghav Kaushik, Pradeep Shenoy, Philip Bohannon, Ehud Gudes posted by 2 people gladwig vannevarvision
	ConQuer: efficient management of inconsistent databases [My Copy] In SIGMOD '05: Proceedings of the 2005 ACM SIGMOD international conference on Management of data (2005), pp. 155-166. by Ariel Fuxman, Elham Fazli, Ren&\#233;e J. Miller posted by 2 people mogwaing stavros
	Complexity and Expressive Power of Logic Programming [My Copy] In IEEE Conference on Computational Complexity (1997), pp. 82-101. by Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov posted by 2 people stavros florianfischer
	Complete Sets of Reductions for Some Equational Theories [My Copy] J. ACM, Vol. 28, No. 2. (April 1981), pp. 233-264. by Gerald E. Peterson, Mark E. Stickel posted by 2 people stavros radico
	Challenges in mining social network data: processes, privacy, and paradoxes [My Copy] In KDD '07: Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining (2007), pp. 4-5. by Jon M. Kleinberg posted by 7 people dokooh dexter_shen tnhh Kwisatz mpotamias fryanpan rrbarb
	BLINKS: ranked keyword searches on graphs [My Copy] In SIGMOD '07: Proceedings of the 2007 ACM SIGMOD international conference on Management of data (2007), pp. 305-316. by Hao He, Haixun Wang, Jun Yang, Philip S. Yu posted by 6 people xiaolizi rexissimus rmbrad lillejul L3S vannevarvision
	Treewidth: Computational Experiments [My Copy] by A. Koster, H. Bodlaender, J. Fouhy, S. van Hoesel posted by 2 people jrw stavros
	line decision-theoretic golog for unpredictable domains [My Copy] by A. Ferrein, C. Fritz, G. Lakemeyer posted by 2 people schiffer stavros
	Making believers out of computers [My Copy] Artif. Intell., Vol. 30, No. 1. (October 1986), pp. 81-108. by H. J. Levesque posted by 2 people stavros rfk
	An On-line Decision-Theoretic Golog Interpreter [My Copy] In IJCAI (2001), pp. 19-26. by Mikhail Soutchanski posted by 2 people schiffer stavros
	A Survey on Knowledge Compilation [My Copy] AI Communications, Vol. 10, No. 3-4. (1997), pp. 137-150. by Marco Cadoli, Francesco M. Donini posted by 2 people knowledge01 stavros
	Scaling Up Reasoning About Actions Using Relational Database Technology [My Copy] by Giuseppe De Giacomo posted by 2 people stavros rfk
	ARTIFICIAL INTELLIGENCE: Autonomous Mental Development by Robots and Animals [My Copy] Science, Vol. 291, No. 5504. (26 January 2001), pp. 599-600. by Juyang Weng, James Mcclelland, Alex Pentland, et al.Olaf Sporns, Ida Stockman, Mriganka Sur, Esther Thelen posted by 10 people akavipat hukkinen stober stavros alterego balicea memphisphil chchatham todd007 Cognitive_Development_Center_-_Neural_Nets_Chapter
	Efficient query evaluation on probabilistic databases [My Copy] The VLDB Journal The International Journal on Very Large Data Bases, Vol. 16, No. 4. (15 October 2007), pp. 523-544. by Nilesh Dalvi, Dan Suciu posted by 3 people Garfieldpig dexter_shen lillejul
	MINERVA: A Tour-Guide Robot that Learns [My Copy] In KI - Kunstliche Intelligenz (1999), pp. 14-26. by Sebastian Thrun, Maren Bennewitz, Wolfram Burgard, et al.Armin B. Cremers, Frank Dellaert, Dieter Fox, Dirk Hahnel, Charles R. Rosenberg, Nicholas Roy, Jamieson Schulte, Dirk Schulz posted by 2 people Charence stavros
	The Eigentrust algorithm for reputation management in P2P networks [My Copy] In WWW '03: Proceedings of the 12th international conference on World Wide Web (2003), pp. 640-651. by Sepandar D. Kamvar, Mario T. Schlosser, Hector G. Molina posted by 33 people clauz nliu82 gaulgot dtsamis akavipat vtraag matteodellamico dexter_shen burt elsantosneto momo54 ChaTo stephenn horeis gverticale danieltruemper chadhogg p2p-sec donade henningpeters xsu yang tdubois bfraser kingsunshine davcer CompIntelligentSystems ecoo-ce sul3n3t jeffpang mywifi Networked Systems Lab eduardomoschetta
	Data Exchange: Semantics and Query Answering [My Copy] Database Theory - ICDT 2003: 9th International Conference Siena, Italy, January 8-10, 2003. Proceedings (2003), pp. 207-224. by Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa posted by 2 people brunoDE anonyox
	Foundations of semantic web databases [My Copy] In PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2004), pp. 95-106. by Claudio Gutierrez, Carlos Hurtado, Alberto O. Mendelzon posted by 3 people jsenn nmoreau anonyox
	Composing schema mappings: Second-order dependencies to the rescue [My Copy] ACM Trans. Database Syst., Vol. 30, No. 4. (December 2005), pp. 994-1055. by Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan posted by 2 people lawley anonyox
	Wherefore art thou r3579x?: anonymized social networks, hidden patterns, and structural steganography [My Copy] In WWW '07: Proceedings of the 16th international conference on World Wide Web (2007), pp. 181-190. by Lars Backstrom, Cynthia Dwork, Jon Kleinberg posted by 13 people dokooh dexter_shen cimbrone isp matteodellamico ChaTo tnhh azygmunt AGH-IISG alfirk eipi mpotamias ciaccio
	A study in the foundations of programming methodology: Specifications, institutions, charters and parchments [My Copy] Category Theory and Computer Programming (1986), pp. 313-333. by Joseph Goguen, R. Burstall posted by 2 people msakai masteraka
	RoleMiner: mining roles using subset enumeration [My Copy] In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 144-153. by Jaideep Vaidya, Vijayalakshmi Atluri, Janice Warner posted by 2 people dexter_shen weqa
	Introducing institutions [My Copy] Logics of Programs (1984), pp. 221-256. by J. Goguen, R. Burstall posted by 2 people msakai masteraka
	Monitoring streams: a new class of data management applications [My Copy] In VLDB '02: Proceedings of the 28th international conference on Very Large Data Bases (2002), pp. 215-226. by Don Carney, Ugur \ccetintemel, Mitch Cherniack, et al.Christian Convey, Sangdon Lee, Greg Seidman, Michael Stonebraker, Nesime Tatbul, Stan Zdonik posted by 4 people pbk arsyed dexter_shen menjo
	Measurement and analysis of online social networks [My Copy] In IMC '07: Proceedings of the 7th ACM SIGCOMM conference on Internet measurement (2007), pp. 29-42. by Alan Mislove, Massimiliano Marcon, Krishna P. Gummadi, Peter Druschel, Bobby Bhattacharjee posted by 30 people dingfei dschafer ajuergens pms dylanwalker Scis0000002 plotti turadg eLearning in Leicester AJCann opw Sonet at FBK phauly dexter_shen elsantosneto logics of knowledge A_Olympia fmccown marcio macle agulli ladamic tnhh harperf dartar jblebrun mdrosou arasbm HenryR rrbarb
	Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) [My Copy] (23 August 1991) by Andrea Asperti, Giuseppe Longo posted by 7 people pedagand robotact AbnerCYH aleks alec Compilers masteraka
	Order preserving encryption for numeric data [My Copy] In SIGMOD '04: Proceedings of the 2004 ACM SIGMOD international conference on Management of data (2004), pp. 563-574. by Rakesh Agrawal, Jerry Kiernan, Ramakrishnan Srikant, Yirong Xu posted by 2 people kawamoto dexter_shen
	Balancing confidentiality and efficiency in untrusted relational DBMSs [My Copy] In CCS '03: Proceedings of the 10th ACM conference on Computer and communications security (2003), pp. 93-102. by Ernesto Damiani, De Capitani Vimercati, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati posted by 5 people 8_01 lilith kawamoto H-Arrietaumn dexter_shen
	Preservation of proximity privacy in publishing numerical sensitive data [My Copy] In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008), pp. 473-486. by Jiexing Li, Yufei Tao, Xiaokui Xiao posted by 2 people dexter_shen trutat1
	Limits to Parallel Computation: P-Completeness Theory [My Copy] (06 April 1995) by Raymond Greenlaw, James H. Hoover, Walter L. Ruzzo posted by 2 people AbnerCYH masteraka
	Towards identity anonymization on graphs [My Copy] In SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data (2008), pp. 93-106. by Kun Liu, Evimaria Terzi posted by 4 people kawamoto dexter_shen trutat1 tnhh