Publications

Export 7151 results:
Author Title [ Type(Asc)] Year
Filters: Efficient-cryptographic-protocols-preventing-%E2%80%9Cman-middle%E2%80%9D-attacks is   [Clear All Filters]
Journal Articles
Vezzulli L, Brettar I, Pezzati E, Reid PC, Colwell RR, Höfle MG, Pruzzo C.  2012.  Long-term effects of ocean warming on the prokaryotic community: evidence from the vibrios. The ISME Journal. 6111114882511(1):21-30.
Grant J, Gryz J, Minker J, Raschid L.  2000.  Logic-based query optimization for object databases. IEEE Transactions on Knowledge and Data Engineering. 12(4):529-547.
Grant J, Kraus S, Perlis D.  2005.  A logic-based model of intention formation and action for multi-agent subcontracting. Artificial Intelligence. 163(2):163-201.
Grant J, Minker J.  2002.  A logic-based approach to data integration. Theory Pract. Log. Program.. 2(3):323-368.
Roussopoulos N.  1982.  The Logical Access Path Schema of a Database. IEEE Transactions on Software Engineering. SE-8(6):563-573.
Anderson ML, Perlis D.  2005.  Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness. Journal of Logic and Computation. 15(1):21-21.
Ruiz C, Minker J.  1998.  Logic knowledge bases with two default rules. Annals of Mathematics and Artificial Intelligence. 22(3):333-361.
Spivey G, Bhattacharyya SS, Nakajima K.  2003.  Logic foundry: rapid prototyping for FPGA-based DSP systems. EURASIP J. Appl. Signal Process.. 2003:565-579.
Grant J, Kraus S, Perlis D.  2000.  A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems. 3(4):351-387.
Minker J.  1997.  Logic and Databases Past, Present, and Future. AI Magazine. 18(3):21-21.
Minker J.  1999.  Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
Minker J.  1996.  Logic and databases: A 20 year retrospective. Logic in Databases. :1-57.
Pratikakis P, Foster JS, Hicks MW.  2011.  LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst.. 33(1):3:1–3:55-3:1–3:55.
Pratikakis P, Foster JS, Hicks MW.  2006.  LOCKSMITH: context-sensitive correlation analysis for race detection. SIGPLAN Not.. 41(6):320-331.
Mihaila GA, Raschid L, Tomasic A.  2002.  Locating and accessing data repositories with WebSemantics. The VLDB journal. 11(1):47-57.
Landau GM, Vishkin U, Nussinov R.  1988.  Locating alignments with k differences for nucleotide and amino acid sequences. Computer applications in the biosciences: CABIOS. 4(1):19-19.
Sauvola JJ, Doermann D, Pietikaeinen M.  1997.  Locally adaptive document skew detection. Proceedings of SPIE. 3027(1):96-108.
Guo M, Mount SM.  1995.  Localization of Sequences Required for Size-specific Splicing of a SmallDrosophilaIntronin Vitro. Journal of Molecular Biology. 253(3):426-437.
Bullock SS, O'Leary DP.  2009.  Locality bounds on hamiltonians for stabilizer codes. Quantum Info. Comput.. 9(5):487-499.
Bulka B, Gaston M, desJardins M.  2007.  Local strategy learning in networked multi-agent team formation. Autonomous Agents and Multi-Agent Systems. 15(1):29-45.
Agarwala R, Batzoglou S, DančíK V, Decatur SE, Hannenhalli S, Farach M, Muthukrishnan S, Skiena S.  1997.  Local Rules for Protein Folding on a Triangular Lattice and Generalized Hydrophobicity in the HP Model. Journal of Computational Biology. 4(3):275-296.
Schwartz W, Davis LS, Pedrini H.  2011.  Local Response Context Applied to Pedestrian Detection. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. :181-188.
Williams LR, Jacobs DW.  1997.  Local Parallel Computation of Stochastic Completion Fields. Neural Computation. 9(4):859-881.
Panconesi A, Srinivasan A.  1995.  The local nature of Δ-coloring and its algorithmic applications. Combinatorica. 15(2):255-280.
Du X, Smolka SA, Cleaveland R.  1999.  Local model checking and protocol analysis. International Journal on Software Tools for Technology Transfer (STTT). 2(3):219-241.

Pages