• RelView

  • Referenced in 101 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • XSearch

  • Referenced in 3 articles [sw01029]
  • XSearch: A neuralnetwork based tool for components search...
  • TIMBER

  • Referenced in 20 articles [sw02327]
  • TIMBER: A native XML database. This paper describes...
  • Haskell

  • Referenced in 853 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Prover9

  • Referenced in 180 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • ROADRUNNER

  • Referenced in 22 articles [sw06133]
  • Automatic web information extraction in the ROADRUNNER system...
  • MONA

  • Referenced in 127 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • XQuery

  • Referenced in 123 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • Mace4

  • Referenced in 210 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...
  • Rath

  • Referenced in 8 articles [sw08502]
  • RelView and Rath -- two systems for dealing with...
  • Rfuzzy

  • Referenced in 7 articles [sw09052]
  • RFuzzy: Syntax, semantics and implementation details of a...
  • TAX

  • Referenced in 11 articles [sw09437]
  • TAX: A tree algebra for XML. Querying XML...
  • TOY

  • Referenced in 55 articles [sw09812]
  • TOY: A Multiparadigm Declarative System. TOY is the...
  • XCentric

  • Referenced in 6 articles [sw09889]
  • XCentric: logic programming for XML processing. Here we...
  • Jena

  • Referenced in 53 articles [sw10685]
  • Search RDF data with SPARQL: SPARQL and the...
  • XIRQL

  • Referenced in 13 articles [sw12179]
  • XIRQL: A query language for information retrieval in...
  • XSEarch

  • Referenced in 28 articles [sw12180]
  • XSEarch: A semantic search engine for XML. XSEarch...
  • XMill

  • Referenced in 33 articles [sw12312]
  • XMill: an efficient compressor for XML data. We...