• Staff
  • List
  • Directory
  • Research groups
• Research
  • Publications
  • Technical reports
  • Research groups
  • Research grants
  • Software
  • Awards
  • EU projects
• Outside relations
  • Research cooperation
  • Industry cooperation
  • Organized events
  • Colloquium
  • Studies abroad: Erasmus
  • Stays abroad: PhD students
  • Stays abroad: Department staff
• Teaching
  • Studies abroad: Erasmus
  • Courses taught by the department
  • Student Information System
  • Eurobot
• Contact

Software

AgentMat

http://www.ksi.mff.cuni.cz/en/sw/agentmat.html
Framework for Data Scraping and Semantization

Analyzer

http://www.ksi.mff.cuni.cz/en/sw/analyzer.html
Tool for Batch File Analysis

AnoDA

http://www.ksi.mff.cuni.cz/en/sw/anoda.html
Anonymizing Data Aggregator

Bobox

http://www.ksi.mff.cuni.cz/en/sw/bobox.html
A highly parallel framework for data processing

BubbleTrust

http://www.ksi.mff.cuni.cz/en/sw/BubbleTrust.html
A novel trust management system for peer-to-peer networks

DaemonX

http://www.ksi.mff.cuni.cz/en/software.php?sw=29
a framework for modeling and evolution processing by modeling

EgoMath v2

http://www.ksi.mff.cuni.cz/en/software.php?sw=27
Mathematical search engine

eXolutio

http://www.ksi.mff.cuni.cz/en/software.php?sw=31
XML schema modeling, evolution, integrity constraints

eXolutio

http://www.ksi.mff.cuni.cz/en/software.php?sw=32
Tool for XML schema management

Eyes

http://www.ksi.mff.cuni.cz/en/sw/eyes.html
Licence Plate Video-Stream-Based Recognition System

FlexBench

http://www.ksi.mff.cuni.cz/en/sw/flexbench.html
Flexible XML Query Benchmark

GDS

http://www.ksi.mff.cuni.cz/en/sw/gds.html
Graphics Diagnostic System

GFE

http://www.ksi.mff.cuni.cz/en/sw/GFE.html
Graphical Finite State Machine Editor for Parallel Execution

IVP Framework

http://www.ksi.mff.cuni.cz/en/sw/IVP.html
Image and Vector Processing Processing Framework

jInfer

http://www.ksi.mff.cuni.cz/en/software.php?sw=28
a framework for XML schema inference

JRGPS

http://www.ksi.mff.cuni.cz/en/sw/jrgps.html
Time Tables & GPS

LinqToWeb

http://www.ksi.mff.cuni.cz/en/sw/LinqToWeb.html
providing LINQ access to web pages

MetroNG

http://www.ksi.mff.cuni.cz/en/sw/MetroNG.html
Interactive scheduling system

Mosyr

http://www.ksi.mff.cuni.cz/en/sw/mosyr.html
Modular robot control system

Pattern Enforcer

http://www.ksi.mff.cuni.cz/en/software.php?sw=26
Tool for efficient development using design patterns

Payola

http://www.ksi.mff.cuni.cz/en/software.php?sw=33
RDF and Linked Data Visualizer

PGRTree

http://www.ksi.mff.cuni.cz/en/sw/PGR.html
Plugin for Indexing Multidimensional Data in PostgreSQL Using R-tree

Phalanger Improvements

http://www.ksi.mff.cuni.cz/en/sw/phalanger.html
The PHP Language Compiler for the .NET Framework

Phalanger IntelliSense

http://www.ksi.mff.cuni.cz/en/sw/phalangerintellisense.html
Syntactic and Semantic Prediction for PHP Language Integration

PrefWork

http://www.ksi.mff.cuni.cz/en/sw/prefwork.html
Framework for user preference learning

RDF visualizer

http://www.ksi.mff.cuni.cz/en/sw/viz.html
RDF visualization using node merging and triangle layout

S.M.I.L.E.

http://www.ksi.mff.cuni.cz/en/sw/smile.html
Semantic Multi-Interactive Linked Environment

SchemaBuilder

http://www.ksi.mff.cuni.cz/en/sw/schemabuilder.html
Tool for Interactive Inference of XML Schemas

Tokaf

http://www.ksi.mff.cuni.cz/en/sw/tokaf.html
General Implementation of top-k Algorithm

Trisolda

http://www.ksi.mff.cuni.cz/en/sw/trisolda.html
Semantic Web Infrastructure

XCase

http://www.ksi.mff.cuni.cz/en/sw/xcase.html
Case Tool for XML Data Modeling

Xord (BUXT, SSXT)

http://www.ksi.mff.cuni.cz/en/sw/xord.html
Streaming XSLT Processing Framework

ZNAK

http://www.ksi.mff.cuni.cz/en/sw/znak.html
Czech Sign Language Vocabulary