This page collects some links in which the DES system has been cited, used, referenced, and/or considered of interest. See also the Statistics tab. Courses: EU: Technische Universität Dresden
Software Technologie
PS09 TU München
Fakultaät für Informatik
Lehrstuhl III: Datenbanksysteme Université Bordeaux
Sciences Technologies
U.F.R. Mathématiques et Informatique
Master informatique semestre 2
Traitement Automatique du Langage Naturel INF478 Universität Bonn - Institut für Informatik
Vorlesung "Deduktive Datenbanken" (SS 2007)
Tab “Downloads” Technische Universität Braunschweig
Institut für Informationssysteme
Master Informatik / Wirtschaftsinformatik
Knowledge-Based Systems and Deductive Databases
Datalog 1, Exercises Universität Freiburg
Institut für Informatik
Konzepte von Programmiersprachen
Projekte für die Vorlesung Konzepte von Programmiersprachen Technische Universtät Darmstadt
Data and Knowledge Engineering
TU Darmstadt, SS 2009. Einführung in Data and Knowledge Engineering. Überblick 2. Vorlesungsteil.
Deduktives Schliessen Technische Universtät Darmstadt
Introduction to Data and Knowledge Engineering
TU Darmstadt, SS 10. Technische Universtät Darmstadt
Fachdidaktische Ergänzung zu Grundlagen der Informatik 1 Université de Mons-Hainaut, Belgique
Institut d'Informatique
Bases de Données II
Tab “BD II Mons” Eötvös Loránd University
Faculty of Informatics
Dept.of Information Systems
Hungary, H-1117 Budapest
GYAK1 Aarhus University, Denmark
Faculty of Science
Programmeringssprog University of Applied Sciences, Berlin
Germany
Hochschule für Technik und Wirtschaft
Ressourcen::DB-Tools
Fachbereich 4 - Wirtschaftsinformatik Tilburg University, The Netherlands
Logic and Knowledge Representation
Bachelor program of 'Information Management RWTH Aachen, Germany
Informatik 5, Ahornstr. 55
lect04.odp UPC Barcelona Tech, Spain
Advances in Data Bases and Objects
Master in Computing UCM Madrid Spain
Extensions of Logic Programming
Master in Computing Research Kingston University, London
BB103 Database Systems Martin-Luther-Universität Halle-Wittenberg, Germany
Deduktive Datenbanken und Logische Programmierung
Institut für Informatik Riga Technical University
Datorzinâtnes un informâcijas tehnoloìijas fakultâte
Riga, Latvia AGH University of Science and Technology
Institute of Automatics
Computer Science Lab
Krakovia, Polland
piw09_es
USA: University of California, at Los Angeles
CS240A: Databases and Knowledge Bases The University of Arizona
CsC372 The State University of New York
University at Buffalo
CSE 636: Data Integration The University of British Columbia
CS304: Introduction to Relational Databases
Datalog Tutorial, Datalog Exercise Arkansas Tech University,
Russellville
Master's of Information Technology The University of Texas at Austin
CS2 Cleveland State University
CS-611 Relational Database Systems Utah State University
CS 6800 - Advanced Database Management Systems
Australia: The University of Sydney
INFO2820: Database Systems 1 (Advanced) (2010 - Semester 1)
Engineering and Information Technologies
Tab ”Resources” The University of Sydney
School of Information Technologies
INFO2120/2820: Database Systems 1 (2009 - Semester 1)
Tutorial 3, DES Wakthrough Allan Hancock College
>> INFO >> 2120 Fall, 2009
Description: School of Information Technologies
INFO2120/2820: Database Systems I 1.Sem./2009
Tutorial 3: SQL and Relational Algebra 23.03.2009
Africa: Projects: 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
Thesis, papers, academia: ASPIDE: Integrated Development Environment for Answer Set Programming
Onofrio Febbraro, Kristian Reale and Francesco Ricca
Logic Programming and Nonmonotonic Reasoning 2011
LNAI 6645
Springer-Verlag Optimizing Database Queries with Materialized Views and Data Mining Models
Nittaya Kerprasop and Kittisak Kerprasop
DTA/BSBT 2011
Springer-Verlag Using Declarative Invariants for Protecting File-System Integrity
Jack Sun, Daniel Fryer, Ashvin Goel, and Angela Demke Brown(University of Toronto)
PLOS'11
October 2011 Overview of selected approaches to rule representation on the SemanticWeb
Weronika T. Adrian, Grzegorz J. Nalepa, Krzysztof Kaczor, Marta Noga
AGH University of Science and Technology Department of Automatics Kraków, POLAND
October 2010 Authorization Constraint Method in Workflow Management Systems Based on RBAC
Shan Xu-mei and Yu Hu-qun
Computer Engineering, Vol. 36, No. 4
February 2010 A Prolog-based Framework for Search, Integration and Empirical Analysis on Software Evolution Data
Pamela Bhattacharya and Iulian Neamtiu.
3rd International Workshop on Search-Driven Development: Users, Infrastructure, Tools and Evaluation (SUITE'11), May 2011 Authorization Constraint Method in Workflow Management Systems Based on RBAC
by SHAN Xu-mei, YU Hui-qun
Journal of Computer Engineering,
Vol.36, Nº.4, February 2010 Collaborative Narrative Generation in Persistent Virtual Environments
by Neil Madden, BSc
Thesis submitted to The University of Nottingham
for the degree of Doctor of Philosophy, January 2009 UNIVERZITA KOMENSKÉHO V BRATISLAVE
Fakulta matematiky, fyziky a informatiky
Magické transformácie pre DATALÓG:
Diplomová práca A Paxon Evaluation of P2
Benjamin Szekely, Elias Torres Alias Analysis for Assembly
David Brumley and James Newsome
CMU-CS-06-180
School of Computer Science
Carnegie Mellon University Roskilde University
Department of Computer Science
Advanced Techniques for Efficient Data Integrity Checking
Ph.D. Dissertation
Davide Martinenghi
October 2005 An Approach to Specifying and Analyzing Context-Aware Access Control Policies
DU Li-ping YU Hui-qun
JOURNAL OF EAST CHINA UNIVERSITY OF SCIENCE AND TECHNOLOGY NATURAL SCIENCE EDITION
2006 Vol.32 No.9 P.1098-1103 A Survey of Approaches to Atomic Schema Matching
Samer Samarah
School of Information Technology and Engineering
University of Ottawa
Canada Efficient Integrity Checking for Databases with Recursive Views
Davide Martinenghi and Henning Christiansen
In Advances in Databases and Information Systems: 9th East European Conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005 : Proceedings
Autor Johann Eder, Hele-Mai Haav, Ahto Kalja, Jaan Penjam
ISBN 3540285857, 9783540285854 PhD
Computer Science and Engineering Department
University of Nebraska - Lincoln, USA PhD
University of Texas at San Antonio, USA
Industry: Links to DES: | 
