Projects




		Datalog Web Interface for DES GitHub repository Technical University of München. Henrik Muehe Datalog Interface Learn SQL GitHub repository University Complutense of Madrid. E. Martín et al. The Baze GitHub repository for a database development environment. M. Schatten JavaScript Static Analysis Tool GitHub repository for a suite of tools to analyze JavaScript code statically. Originally developed to analyze Google Chrome extensions. I. Gozali Datalog DES Syntax for Vim GitHub repository for Vim syntax highlighting for Datalog DES. L. Karsai pyxf GitHub repository for Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite. M. Schatten and J. Morris JavaScript Static Analysis Tool University of California at Los Angeles, USA The Student Advising System Arkansas Tech University, USA Secure System Architecture Florida International University school of Computing and Information Sciences, USA Automatic Reasoning on the Effect of Events on UML Schemas Software Engineering final assignment, UPC, Spain Adaptive Services Grid (ASG) project supported by the European Comission Scientific Session - Multi-component Workshop "Web Service Modeling Ontology" Major Topics Software & Knowledge Engineering Laboratory Greek National Centre for Scientific Research "DEMOKRITOS" Institute of Informatics and Telecommunications DL Reasoning Laboratótio Nacional de Computação Científica, Brazil ComCiDis Computação Científica Distribuída A Linguagem Prolog