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
2004 - 2004

21 records


Publications in Scientific Journals


  1. G. Gottlob, C. Koch:
    "Logic-based Web Information Extraction";
    ACM SIGMOD Record, Vol. 33 (2004), 2; 87 - 94.

  2. G. Gottlob, C. Koch:
    "Monadic Datalog and the Expressive Power of Languages Web Information Extraction";
    Journal of the ACM, 51 (2004), 1; 74 - 113.

    More information

  3. G. Gottlob, P. Kolaitis, T. Schwentick:
    "Existential second-order logic over graphs: Charting the tractability frontier";
    Journal of the ACM, 51 (2004), 2; 312 - 362.

  4. G. Gottlob, R. Pichler:
    "Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width";
    SIAM JOURNAL ON COMPUTING, Volume 33 (2004), Number 2; 351 - 378.


Contributions to Books


  1. E. Clarke, H. Veith:
    "Counterexamples Revisited: Principles, Algorithms, Applications";
    in: "Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of his 64th Birthday", Springer, LNCS, Heidelberg, 2004, ISBN: 3-540-21002-4, 208 - 224.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. R. Baumgartner, G. Gottlob, M. Herzog, W. Slany:
    "Interactively Adding Web Service Interfaces to Existing Web Applications";
    Talk: International Symposium on Applications and the Internet, Tokyo, Japan; 01-26-2004 - 01-31-2004; in: "Proceedings of the 2004 International Symposium on Applications and the Internet (SAINT 2004)", IEEE, (2004), ISBN: 0-7695-2068-5; 74 - 80.

  2. E. Clarke, M. Talupur, H. Veith, D. Wang:
    "SAT Based Predicate Abstraction for Hardware Verification";
    Talk: SAT 2003, Satisfiably Testing: 6 Internationall Conference, Santa Margherita, Ligurien, Italien (invited); 05-05-2003 - 05-08-2003; in: "Lecture Notes in Computer Science", Springer-Verlag Heidelberg, Volume 2919 / 2004 (2004), ISBN: 3-540-20851-8; 78 - 92.

    More information

  3. G. Gottlob:
    "Hypergraph Transversals";
    Talk: Third International Symposium, FoIKS 2004, Vienna, Austria (invited); 02-17-2004 - 02-20-2004; in: "Foundations of Information and Knowledge", Springer - Verlag Heidelberg, Lecture Notes in Computer Science (2004), ISBN: 3-540-20965-4; 1 - 5.

    More information

  4. G. Gottlob:
    "Second-Order Logic over Finite Structures - Report on a Research Programme";
    Talk: Second International Joint Conference, IJCAR 2004, Cork, Irland (invited); 07-04-2004 - 07-08-2004; in: "Automated reasoning", Springer-Verlag, (2004), ISBN: 3-540-22345-2; 229 - 243.

  5. G. Gottlob, C. Koch, R. Baumgartner, M. Herzog, S. Flesca:
    "The_Lixto_Data_Extraction_Project_-_Back_and_Forth_between_Theory_and_Practice";
    Talk: PODS 2004, Paris, Frankreich (invited); 06-14-2004 - 06-16-2004; in: "Proceedings of the Twenty-third ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", Association for Computing Machinery, Inc. (ACM), New York (2004), ISBN: 1-58113-858-x; 1 - 12.

  6. G. Gottlob, C. Koch, K. Schulz:
    "Conjunctive Queries over Trees";
    Talk: PODS 2004, Paris, Frankreich (invited); 06-14-2004 - 06-16-2004; in: "Proceedings of the Twenty-third ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", Association for Computing Machinery, Inc. (ACM), New York (2004), ISBN: 1-58113-858-x; 189 - 200.

    More information

  7. M. Samer, H. Veith:
    "A Syntactic Characterization of Distributive LTL Queries";
    Talk: International Colloquium on Automata, Languages and Programming (ICALP), Turku, Finnland; 07-12-2004 - 07-16-2004; in: "Proceedings of the 31st International Colloquium on Automata, Languages and Programming", J. Diaz et al. (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 3142 (2004), ISBN: 3-540-22849-7; 1099 - 1110.

    More information

  8. M. Samer, H. Veith:
    "Parameterized Vacuity";
    Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA; 11-14-2004 - 11-17-2004; in: "Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design", A. Hu, A. Martin (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 3312 (2004), ISBN: 3-540-23738-0; 322 - 336.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. R. Baumgartner, S. Flesca, G. Gottlob, M. Herzog:
    "Generating Wrappers for Web Information Sources";
    Talk: Logic Based Information Agents, Dagstuhl, Deutschland (invited); 04-18-2004 - 04-23-2004.

  2. R. Baumgartner, G. Gottlob, M. Herzog, W. Slany:
    "Annotating the Legacy Web with Lixto";
    Talk: ISWC 2004, Hiroshima, Japan; 11-09-2004 - 11-11-2004.


Doctor's Theses (authored and supervised)


  1. S. Katzenbeisser:
    "Cryptographic Watermarking";
    Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004.

    More information

  2. M. Samer:
    "Reasoning about Specifications in Model Checking";
    Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, 2004.

  3. F. Seelisch:
    "Constraint Solving for Model-based Engineering Applications using Relational Aggrigation";
    Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004.


Diploma and Master Theses (authored and supervised)


  1. P. Freidl:
    "XML-basierte Entwicklungsumgebungen für einfache Web-Applikationen und Prototypen im Umfeld medizinischer Forschungsaufgaben";
    Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationsysteme, ARGR Datenbaken & Artificial Intelligence, 2004.

  2. C. Summerer:
    "Interfaces zwischen XML-Datemodellen, basierend auf der Software Lixto, und relationalen Datenbanken";
    Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

  3. C. Tratter:
    "Integration of Web Services into Lixto Transformation Server";
    Supervisor: G. Gottlob; Institut für Informatonssysteme, ARGR DAtenbanken & Artificial Intelligence, 2004.