Publications All Research Groups


       2006     2001-2005     1996-2000     1991-1995     1990 and before 
                       
  Automated Reasoning     PDF   HTML    PDF HTML    PDF  BibTeX    PDF  BibTeX    PDF  BibTeX
                       
  Knowledge Representation     PDF   HTML    PDF HTML    PDF  BibTeX    PDF  BibTeX    PDF  BibTeX
                       
  Multi-Agent Systems     PDF   HTML    PDF HTML    PDF  BibTeX    PDF  BibTeX    PDF  BibTeX
                       
  E-learning     PDF   HTML    PDF HTML    PDF  BibTeX    PDF  BibTeX    PDF  BibTeX
                       
  Verification, Safety and Security    PDF   HTML    PDF HTML    PDF  BibTeX    PDF  BibTeX    PDF  BibTeX