TU Home
 


Publication Database Home  

Publication list for members of
E184 - Institute of Information Systems
E184 (Persons without Research Area Affiliation)
E184-2 Datenbanken und Artificial Intelligence
as authors or essentially involved persons
2003 - 2003

35 records


Publications in Scientific Journals


  1. R. Baumgartner, G. Gottlob, M. Herzog:
    "Lixto - Halfway to the Semantic Web";
    ÖGAI Journal, 1 (2003), 19 - 24.

  2. E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith:
    "Counterexample-Guided Abstraction Refinement for Symbolic Model Checking";
    Journal of the ACM, Volume 50 (2003), Issue 5; 752 - 794.

    More information

  3. T. Eiter, G. Gottlob, K. Makino:
    "New Results on Monotone Dualization and Generating Hypergraph Transversals";
    SIAM JOURNAL ON COMPUTING, 32 (2003), 2; 514 - 537.

  4. G. Gottlob, C. Koch, R. Pichler:
    "XPath Processing in a Nutshell";
    ACM SIGMOD Record, Issue 1 (2003), Volume 32; 12 - 19.

    More information

  5. G. Gottlob, C. Papadimitriou:
    "On the Complexity of single-rule datalog Queries";
    Information and Computation, 183 (2003), 1; 104 - 122.


Contributions to Books


  1. R. Baumgartner, S. Eichholz, S. Flesca, G. Gottlob, M. Herzog:
    "Semantic Markup of News Items with Lixto";
    in: "Annotation for the Semantic Web", S. Handschuh, S. Staab (ed.); issued by: Frontiers in Artificial Intelligence and Applications; IOS Press Ohmsha, 2003, ISBN: 1-58603-345-x, 63 - 78.


Contributions to Proceedings


  1. S. Chaki, E. Clarke, A. Groce, S. Jha, H. Veith:
    "Modular Verification of Software Components in C*";
    in: "Proceedings of the 25th Conference on Software Engineering ", issued by: 25thConference on Software Engineering; IEEE, 2003, ISBN: 0-7695-1877-x, 385 - 395.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. A. Adelsbach, S. Katzenbeisser, H. Veith:
    "Watermarking schemes provably secure against copy and ambiguity attacks";
    Poster: ACM Workshop On Digital Rights Management, Washington, DC, USA; 10-27-2003; in: "Porceedings of the 2003 ACM workshop on Digital rights management", ACM Press, New York, NY, USA (2003), ISBN: 1-58113-786-9; 111 - 119.

  2. R. Baumgartner, M. Ceresna, G. Gottlob, M. Herzog, V. Zigo:
    "Web Information Acquisition with Lixto Suite: A Demonstration";
    Poster: 19th International Conference on Data Engineering, Bangalore, India; 03-05-2003 - 03-08-2003; in: "Proceedings 19th International Conference on Data Engineering", IEEE Computer Society, (2003), ISBN: 0-7803-7665-x; 747 - 749.

    More information

  3. R. Baumgartner, G. Gottlob, M. Herzog:
    "Visual Programming of Web Data Aggregation Applications";
    Talk: IIWeb-03: IJCAI-03 Workshop on Information Integration on the Web, Acapulco, Mexiko; 08-09-2003 - 08-10-2003; in: "Information Integration on the Web (IIWeb-03)", S. Kambhampati, C. Knoblock (ed.); (2003), 137 - 142.

  4. F. Buccafurri, G. Gottlob:
    "Multiagent Compromises, Joint Fixpoints and Stable Models";
    Talk: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien; 09-03-2003 - 09-05-2003; in: "Proceedings of the 2003 Joint Conference on Declarative Programming", (2003), 180 - 192.

    More information

  5. G. Gottlob, G. Greco, F. Scarcello:
    "Pure Nash Equilibria: Hard and Easy Games";
    Talk: 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 03), Bloomington, USA; 06-20-2003 - 06-22-2003; in: "Proceedings of the 9th conference on Theoretical Aspects of Rationality and Knowledge", (2003), 215 - 229.

    More information

  6. G. Gottlob, M. Herzog:
    "Enabling Systems to access Web Data - Novel Wrapper and Data Aggregation Technology";
    Talk: Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spanien (invited); 02-24-2003 - 02-28-2004; in: "Procedings of the Ninth International Conference on Computer Aided Systems Theory", IUCTC Universidad de Las Palmas de Gran Canaria, (2003), ISBN: 84-688-0820-2; 1 - 3.

  7. G. Gottlob, C. Koch, R. Pichler:
    "The Complexity of XPath Query Evaluation";
    Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, San Diego, USA (invited); 06-09-2003 - 06-11-2003; in: "Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", F. Neven (ed.); ACM Press, (2003), ISBN: 1-58113-670-6; 179 - 190.

    More information

  8. G. Gottlob, C. Koch, R. Pichler:
    "XPath Query Evaluation: Improving Time and Space Efficiency";
    Talk: 19th International Conference on Data Engineering, Bangalore, Indien; 03-05-2003 - 03-08-2003; in: "Proceedings on the ICDE 2003", (2003), 379 - 390.

  9. Sagar, P. Fenkam, H. Veith, H. Gall, E. Kirda, S. Jha:
    "Integrating Publish/Subscribe into a Mobile Teamwork Support Platform";
    Talk: International Conference on Software Engineering and Knowledge Engineering (SEKE), USA, San Francisco Bay; 07-01-2003 - 07-03-2003; in: "Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering", (2003), ISBN: 1-891706-12-8; 510 - 517.

    More information

  10. M. Samer, H. Veith:
    "Validity of CTL Queries Revisited";
    Talk: Annual Conference of the European Association for Computer Science Logic (CSL), Wien, Österreich; 08-25-2003 - 08-30-2003; in: "Proceedings of the 12th Annual Conference of the European Association for Computer Science Logic", M. Baaz, J. A. Makowsky (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 2803 (2003), ISBN: 3-540-40801-0; 470 - 483.

  11. H. Veith:
    "Friends or Foes? Communities in Software Verification";
    Talk: Computer Science Logic (CSLī3), Wien, Österreich (invited); 08-25-2003 - 08-30-2003; in: "Lecture Notes in Computer Science", Spronger-Verlag Heidelberg, Volume 2803 / 2003 (2003), ISBN: 3-540-40801-0; 528 - 529.


Talks and Poster Presentations (without Proceedings-Entry)


  1. G. Gottlob:
    "Enabling Systems to Access Web Data-Novel Wrapper and Data Aggregation Technology";
    Talk: Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spain (invited); 02-24-2003 - 02-28-2003.

  2. G. Gottlob:
    "Existential Second-Order Logic over Graphs: Charting the Tractability Frontier";
    Talk: Model Theory Workshop FMT'03, Bedlewo, Polen (invited); 03-31-2003 - 04-04-2003.

  3. G. Gottlob:
    "Monadic Second order Logic and Logic Programming over Tree-Structured Data";
    Talk: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien (invited); 09-03-2003 - 09-05-2003.

  4. G. Gottlob:
    "Web information Extraction with Lixto: Visual Logic and Expressive Power";
    Talk: The 2003 IEEE/WIC International Conference on Web Intelligence (WI 2003), Halifax, Kanada (invited); 10-13-2003 - 10-16-2003.

    More information

  5. G. Gottlob, R. Baumgartner, S. Flesca, M. Herzog, C. Koch:
    "Web information Extracton with Lixto: Visual Logic and Expressive Power";
    Talk: DISI Seminar, Genua, Italien (invited); 11-24-2003 - 11-26-2003.

  6. G. Gottlob, C. Koch:
    "Xpath Query Processing";
    Talk: The 9th International Workshop on Data Base Programming Languages, Potsdam, Deutschland (invited); 09-06-2003 - 09-08-2003.


Doctor's Theses (authored and supervised)


  1. E. Fütty:
    "A machine translation system based on the interlingua method, using ESPERANTO as the interlingua, in conbination with sentence patterns";
    Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  2. T. Korimort:
    "Heuristic Hypertree Decomposition";
    Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  3. A. Polleres:
    "Advances in Answer Set Planning";
    Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2003.

    More information


Diploma and Master Theses (authored and supervised)


  1. A. Burner:
    "Multi-Platform Publishing";
    Supervisor: G. Gottlob, M. Herzog; Institut für Informationssysteme, 2003.

  2. A. Corradini:
    "Eine webbasierte Übungsumgebung: Ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten "minimale Überdeckung", Schlüsselsuche und 3. Normalform";
    Supervisor: G. Gottlob, G. Pfeifer; für Informationssysteme, 2003.

  3. K. Dotchkov:
    "Database Migration from Oracle to SQL Server";
    Supervisor: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  4. C. Gruber:
    "Generisches Entwickeln mittels PHP und M4 SQL am Beispiel einer Backoffile-Datenbank";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2003.

  5. T. Györgyfalvay:
    "Efficient Implementation of Telecommunication Support Tools Based on Database Systems";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2003.

    More information

  6. V. Krammer:
    "Vergleich von Open-Source-Datenbanksystemen: SAP DB, PostgreSQL und MySQL";
    Supervisor: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  7. A. Plaickner:
    "Symbolic Model Checking using NUSMV";
    Supervisor: H. Veith; Institut für Informationssysteme, 2003.

    More information

  8. A. Plaickner:
    "Symbolic Model Checking using NUSMV";
    Supervisor: H. Veith; Institut für Informationssysteme, 2003.