TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der Fakultät für Informatik erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für Angehörige von
E192 - Institut für Logic and Computation
E192-02 Database and AI
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen
2004 - 2004

48 Datensätze


Zeitschriftenartikel


  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), S. 1 - 24.

  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; S. 519 - 530.

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

  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; S. 206 - 263.

  5. G. Gottlob, C. Koch:
    "Logic-based Web Information Extraction";
    ACM SIGMOD Record, Vol. 33 (2004), 2; S. 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; S. 74 - 113.

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

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

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


Buchbeiträge


  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, S. 208 - 224.

  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", herausgegeben von: Peter Vervest, Eric van Heck, Kenneth Preiss, Louis Francois Pau; Springer, 2004.


Beiträge in Tagungsbänden


  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 (Hrg.); Springer, LNAI, 2004, ISBN: 3-540-23242-7, S. 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ä (Hrg.); Springer, LNAI 2923, 2004, ISBN: 3-540-20721-x, S. 326 - 330.

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


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


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

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

  3. J. Dorn:
    "A Mobile Communication Forum for Conferences";
    Vortrag: Proceedings of m>Business 2004, New York; 12.07.2004 - 13.07.2004; in: "Proceedings of m>Business 2004", (2004).

  4. J. Dorn:
    "Evaluating Reactive Scheduling Systems";
    Vortrag: IAT 2004, Beijing, China; 20.09.2004 - 24.09.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; S. 458 - 461.

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

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

  7. J. Dorn, T. Sillhengst:
    "Integrating Mobile Devices in Web Processes";
    Vortrag: Fifth Global Information Technology Management World Conference, San Diego, California, USA (eingeladen); 13.06.2004 - 15.06.2004; in: "Proceedings of the Fifth Annual Global Information Techology Management World Conference", (2004), S. 112 - 115.

  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";
    Vortrag: Principles of Knowledge Representation and Reasoning (KR), Whistler, BC, Canada; 02.06.2004 - 05.06.2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth Conference", D. Dubois, C. Welty, M.-A. Williams (Hrg.); AAAI Press, Menlo Park, CA, USA (2004), ISBN: 1-57735-199-1; S. 377 - 387.

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

  10. J. Gärtner, N. Musliu, W. Slany:
    "A Heuristic Based System for Generation of Shifts with Breaks";
    Vortrag: Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, United Kingdom; 13.12.2004 - 15.12.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; S. 95 - 106.

  11. G. Gottlob, C. Koch, R. Baumgartner, M. Herzog, S. Flesca:
    "The_Lixto_Data_Extraction_Project_-_Back_and_Forth_between_Theory_and_Practice";
    Vortrag: PODS 2004, Paris, Frankreich (eingeladen); 14.06.2004 - 16.06.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; S. 1 - 12.

  12. G. Gottlob, C. Koch, K. Schulz:
    "Conjunctive Queries over Trees";
    Vortrag: PODS 2004, Paris, Frankreich (eingeladen); 14.06.2004 - 16.06.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; S. 189 - 200.

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

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

  15. N. Musliu:
    "Local Search Strategies for Rotating Workforce Scheduling";
    Vortrag: 4th EU/ME Workshop, Nottingham, UK; 04.11.2004 - 05.11.2004; in: "Design and Evaluation of Advanced Hybrid Meta-Heuristics", (2004).

  16. N. Musliu, M. Mörz:
    "Genetic Algorithm for Rotating Workforce Scheduling Problem";
    Vortrag: ICCC 2004, Wien; 30.08.2004 - 01.09.2004; in: "Proceedings of the Second IEEE International Conference on Computational Cybernetics", (2004), S. 121 - 126.

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

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

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


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


  1. R. Baumgartner, S. Flesca, G. Gottlob, M. Herzog:
    "Generating Wrappers for Web Information Sources";
    Vortrag: Logic Based Information Agents, Dagstuhl, Deutschland (eingeladen); 18.04.2004 - 23.04.2004.

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


Dissertationen (eigene und begutachtete)


  1. S. Katzenbeisser:
    "Cryptographic Watermarking";
    Betreuer/in(nen), Begutachter/in(nen): H. Veith, G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004.

  2. M. Samer:
    "Reasoning about Specifications in Model Checking";
    Betreuer/in(nen), Begutachter/in(nen): H. Veith, G. Gottlob; Institut für Informationssysteme, 2004.


Diplom- und Master-Arbeiten (eigene und betreute)


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

  3. P. Freidl:
    "XML-basierte Entwicklungsumgebungen für einfache Web-Applikationen und Prototypen im Umfeld medizinischer Forschungsaufgaben";
    Betreuer/in(nen): G. Gottlob, R. Baumgartner; Institut für Informationsysteme, ARGR Datenbaken & Artificial Intelligence, 2004.

  4. R. Gruber:
    "Bewertung von Geschäftsprozessen";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

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

  6. T. Lukasser:
    "Efficient Processing of XPath Queries";
    Betreuer/in(nen): 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";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich datenbanken & Artificial Intelligence, 2004.

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

  9. F. Schweiger:
    "EAI Prozessmodellierung";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

  10. C. Summerer:
    "Interfaces zwischen XML-Datemodellen, basierend auf der Software Lixto, und relationalen Datenbanken";
    Betreuer/in(nen): G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.

  11. C. Wenger:
    "Entwurf und Realisierung eines Projekts zur Katalogisierung von gastronomischen Betrieben";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004.