TU Home
 


Publication Database Home  

Publication list for members of
E184 - Institute of Information Systems
E184-2 Datenbanken und Artificial Intelligence
as authors or essentially involved persons
2004 - 2004

54 records


Publications in Scientific Journals


  1. G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, R. Schindlauer, H. Tompits, S. Schaffert:
    "Reasoning Methods for Personalization on the Semantic Web";
    Annals of Mathematics, Computing & Teleinformatics, 2 (2004), 1 - 24.

    More information

  2. R. Baumgartner, M. Herzog:
    "Using Lixto for automating portal-based B2B processes in the automotive industry";
    International Journal of Electronic Business (IJEB), 2 (2004), 5; 519 - 530.

  3. J. Dorn:
    "Planning in virtual enterprises";
    International Journal of Electronic Business (IJEB), 2 (2004), 5; 557 - 565.

    More information

  4. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity";
    ACM Transactions on Computational Logic, 5 (2004), 2; 206 - 263.

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

  6. 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

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

  8. 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.

  9. C. Koch:
    "Query Rewriting with Symmetric Constraints";
    AI Communications, 17 (2004), 2; 41 - 100.

  10. N. Musliu, A. Schaerf, W. Slany:
    "Local search for shift design";
    European Journal of Operational Research, 153 (2004), 1; 51 - 64.

  11. G. Pfeifer:
    "Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs";
    Lecture Notes in Computer Science, 2923 (2004), 2923; 220 - 233.

    More information


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

  2. H. Werthner, O. Fodor, M. Herzog:
    "Web Information Extraction and Mediation as a Basis for Smart Business Networking ";
    in: "Smart Business Networks. Based on the Vanenburg Science Seminar 26-28 May 2004", issued by: Peter Vervest, Eric van Heck, Kenneth Preiss, Louis Francois Pau; Springer, 2004.


Contributions to Proceedings


  1. F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer:
    "New DLV Features for Data Integration";
    in: "Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 2004, Proceedings", J. Alferes, J. Leite (ed.); Springer, LNAI, 2004, ISBN: 3-540-23242-7, 698 - 701.

  2. T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
    "System Description: DLV with Aggregates";
    in: "Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004", V. Lifschitz, I. Niemelä (ed.); Springer, LNAI 2923, 2004, ISBN: 3-540-20721-x, 326 - 330.

  3. J. Dorn, P. Hrastnik, A. Rainer:
    "Conferences as a Virtual Enterprises";
    in: "Virtual Enterprises and Collaborative Networks", issued by: Camarintha-Matos; Virtual Enterprises and Collaborative Networks, Kluwer Academic Publishers, 2004, 551 - 558.

    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. J. Dorn:
    "A Mobile Communication Forum for Conferences";
    Talk: Proceedings of m>Business 2004, New York; 07-12-2004 - 07-13-2004; in: "Proceedings of m>Business 2004", (2004).

    More information

  4. J. Dorn:
    "Evaluating Reactive Scheduling Systems";
    Talk: IAT 2004, Beijing, China; 09-20-2004 - 09-24-2004; in: "Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology", IEEE Computer Society, P2101 (2004), ISBN: 0-7695-2101-0; 458 - 461.

  5. J. Dorn:
    "m>Forvm - Supporting Organization and Participants of Conferences with Multimodal Communication";
    Talk: Fifth Global Information Technology Management World Conference, San Diego, California, USA (invited); 06-13-2004 - 06-15-2004; in: "Fifth Proceedings of the Annual Global Information Technology Management world Conference", (2004), 126.

    More information

  6. J. Dorn, A. Rainer, P. Hrastnik:
    "Strategies for Virtual Enterprises Using XForms and the Semantic Web";
    Talk: International Workshop on Semantic Web Technologies in Electronic Business (SWEB2004), Berlin; 10-11-2004 - 10-13-2004; in: "Proceedings of International Workshop on Semantic Web Technologies in Electronic Business (SWEB2004)", (2004), ISBN: 3-88579-122-6; 16.

    More information

  7. J. Dorn, T. Sillhengst:
    "Integrating Mobile Devices in Web Processes";
    Talk: Fifth Global Information Technology Management World Conference, San Diego, California, USA (invited); 06-13-2004 - 06-15-2004; in: "Proceedings of the Fifth Annual Global Information Techology Management World Conference", (2004), 112 - 115.

    More information

  8. T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
    "Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 06-02-2004 - 06-05-2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth Conference", D. Dubois, C. Welty, M.-A. Williams (ed.); AAAI Press, Menlo Park, CA, USA (2004), ISBN: 1-57735-199-1; 377 - 387.

    More information

  9. W. Faber, N. Leone, G. Pfeifer:
    "Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity";
    Talk: 9th European Conference on Logics in AI (JELIA 2004), Lisbon, Portugal; 09-27-2004 - 09-30-2004; in: "Logics in Artificial Intelligence", J. Alferes, J. Leite (ed.); Springer Verlag, LNAI 3229 (2004), ISBN: 3-540-23242-7; 200 - 212.

  10. J. Gärtner, N. Musliu, W. Slany:
    "A Heuristic Based System for Generation of Shifts with Breaks";
    Talk: Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, United Kingdom; 12-13-2004 - 12-15-2004; in: "Proceedings of the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence", Springer, (2004), ISBN: 1-85233-908-x; 95 - 106.

  11. 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

  12. 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.

  13. 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.

  14. 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

  15. C. Koch, S. Scherzinger, N. Schweikardt, B. Stegmaier:
    "FluXQuery: An Optimizing XQuery Processor for Streaming XML Data";
    Talk: 30th International Conference on Very Large Data Bases (VLDB2004), Toronto, Canada; 08-31-2004 - 09-03-2004; in: "Proceedings of the Thirtieth International Conference on Very Large Data Bases", (2004), ISBN: 0-12-088469-0; 1309 - 1312.

    More information

  16. C. Koch, S. Scherzinger, N. Schweikardt, B. Stegmaier:
    "Schema-Based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams";
    Talk: 30th International Conference on Very Large Data Bases (VLDB2004), Toronto, Canada; 08-29-2004 - 09-03-2004; in: "Proceedings of the Thirtieth International Conference on Very Large Data Bases", Morgan Kaufmann Publishers, (2004), ISBN: 0-12-088469-0; 228 - 239.

    More information

  17. N. Musliu:
    "Local Search Strategies for Rotating Workforce Scheduling";
    Talk: 4th EU/ME Workshop, Nottingham, UK; 11-04-2004 - 11-05-2004; in: "Design and Evaluation of Advanced Hybrid Meta-Heuristics", (2004).

  18. N. Musliu, M. Mörz:
    "Genetic Algorithm for Rotating Workforce Scheduling Problem";
    Talk: ICCC 2004, Wien; 08-30-2004 - 09-01-2004; in: "Proceedings of the Second IEEE International Conference on Computational Cybernetics", (2004), 121 - 126.

  19. 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

  20. 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

  21. W. Steiner, J. Rushby, M. Sorea, G. Pfeifer:
    "Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation";
    Talk: IEEE International Conference on Dependable Systems and Networks, Florence, Italy; 06-28-2004 - 07-01-2004; in: "Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004)", IEEE, (2004), ISBN: 0-7695-2052-9.

    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. A. Balaban:
    "MIKSI - An Example of an Application Based on Service Oriented Architecture";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

  2. S. Denninger:
    "Analyse des Verbesserungspotential von Geschäftsprozessen im Computerhandel durch Einführung von ebXML";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

    More information

  3. 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.

  4. R. Gruber:
    "Bewertung von Geschäftsprozessen";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

    More information

  5. E. Kicker:
    "Entwurf und Realisierung eines Webinformationssystems zur Verwaltung in der Lehre";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

    More information

  6. T. Lukasser:
    "Efficient Processing of XPath Queries";
    Supervisor: C. Koch; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

  7. C. Piffer:
    "Eine Transportplattform für die Koordinierung von Personen- und Gütertransporten in Österreich";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich datenbanken & Artificial Intelligence, 2004.

    More information

  8. E. Schamp:
    "Analyse des Einsatzes von mobiler Kommunikation für die Verwaltung von öffentlichen Parkgaragen";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

    More information

  9. F. Schweiger:
    "EAI Prozessmodellierung";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

    More information

  10. 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.

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

  12. C. Wenger:
    "Entwurf und Realisierung eines Projekts zur Katalogisierung von gastronomischen Betrieben";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

    More information