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

50 Datensätze


Zeitschriftenartikel


  1. R. Baumgartner, G. Gottlob, M. Herzog:
    "Lixto - Halfway to the Semantic Web";
    ÖGAI Journal, 1 (2003), S. 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; S. 752 - 794.

  3. T. Eiter, W. Faber, N. Leone, G. Pfeifer:
    "Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
    Theory and Practice of Logic Programming, 3 (2003), 4+5; S. 463 - 498.

  4. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "A Logic Programming Approach to Knowledge-State Planning, II: The DLVK System";
    Artificial Intelligence, 144 (2003), 1; S. 157 - 211.

  5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "Answer Set Planning under Action Costs";
    Journal of Artificial Intelligence Research, 19 (2003), S. 25 - 71.

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

  7. C. Koch, N. Leone, G. Pfeifer:
    "Enhancing disjunctive logic programming systems by SAT checkers";
    Artificial Intelligence, Volume 151 (2003), Issues 1-2; S. 177 - 212.

  8. J. Renz:
    "A Canonical Model of the Region Connection Calculus";
    Journal of Applied Non-Classical Logics (JANCL), 12 (2003), 3-4.


Buchbeiträge


  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 (Hrg.); herausgegeben von: Frontiers in Artificial Intelligence and Applications; IOS Press Ohmsha, 2003, ISBN: 1-58603-345-x, S. 63 - 78.

  2. J. Dorn, K. Fröschl, M. Hackl:
    "Web-enabled Smart Service Business Infrastructures";
    in: "Building the Knowledge Economy: Issues, Applications Case Studies", herausgegeben von: P. Cunningham, M. Cunningham and P. Fateling; IOS Press, Amsterdam, Niederlande, 2003, ISBN: 1586033794, S. 967 - 974.


Beiträge in Tagungsbänden


  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 ", herausgegeben von: 25thConference on Software Engineering; IEEE, 2003, ISBN: 0-7695-1877-x, S. 385 - 395.

  2. T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
    "Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV";
    in: "Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003", Elsevier Science Publishers, 2003, ISBN: 0-127-05661-0, S. 847 - 852.

  3. T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
    "Aggregate Functions in DLV";
    in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (Hrg.); CEUR-WS.org, 2003, ISSN: 1613-0073, S. 274 - 288.


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


  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; 27.10.2003; in: "Porceedings of the 2003 ACM workshop on Digital rights management", ACM Press, New York, NY, USA (2003), ISBN: 1-58113-786-9; S. 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; 05.03.2003 - 08.03.2003; in: "Proceedings 19th International Conference on Data Engineering", IEEE Computer Society, (2003), ISBN: 0-7803-7665-x; S. 747 - 749.

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

  4. R. Baumgartner, M. Herzog, T. Wiedemair:
    "Web Data Extraction and Integration (Tutorial)";
    Vortrag: 2nd International Conference on Mobile Business, Vienna; 23.06.2003 - 24.06.2003; in: "The Second International Conference of Mobile Business", G. Giaglis, H. Werthner, V. Tschammer, K. Fröschl (Hrg.); OCG, (2003), ISBN: 3-85403-169-6; S. 575 - 577.

  5. P. Buneman, M. Grohe, C. Koch:
    "Path Queries on Compressed XML";
    Vortrag: 29th Conference on Very Large Data Bases, Berlin, Deutschland; 09.09.2003 - 12.09.2003; in: "Proceedings of the 29 th VLDB Conference", M. Kaufman (Hrg.); Kaufmann, (2003), ISBN: 0-12-722442-4; S. 141 - 152.

  6. L. Di Gaspero, J. Gärtner, G. Kortsarz, N. Musliu, A. Schärf, W. Slany:
    "A Hybrid Network flow Tabu Search for the Miimum Shift Design Poblem";
    Vortrag: The 5th Metaheuristics International Conference, Kyoto, Japan; 25.08.2003 - 28.08.2003; in: "Proceedings ot The Fifth Metaheuristics International Conference", A. Schärf (Hrg.); (2003), 6 S.

  7. L. Di Gaspero, J. Gärtner, G. Kortsarz, N. Musliu, A. Schärf, W. Slany:
    "The MinimumShift Design problem: Theory and Pratice";
    Vortrag: 11th Annual European Symposium on Algorithms (ESA 2003), Budapest, Ungarn; 16.09.2003 - 19.09.2003; in: "Proceedings of the 11th Annual European Symposium on Algorithms", Lecture Notes in Computer Science, 2832 (2003), ISBN: 3-540-20064-9; S. 593 - 604.

  8. T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
    "Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
    Vortrag: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 26.09.2003 - 28.09.2003; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (Hrg.); CEUR-WS, 78 (2003), ISSN: 1613-0073; S. 69 - 83.

  9. M. Frick, M. Grohe, C. Koch:
    "Query Evaluation on Compressed Trees";
    Vortrag: IEEE Symposium on Logic in Computer Science, Ottawa, Kanada; 21.06.2003 - 25.06.2003; in: "Proceeding on LICS 2003", IEEE, (2003), ISBN: 0-7695-1884-2; S. 188 - 197.

  10. G. Gottlob, M. Herzog:
    "Enabling Systems to access Web Data - Novel Wrapper and Data Aggregation Technology";
    Vortrag: Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spanien (eingeladen); 24.02.2003 - 28.02.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; S. 1 - 3.

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

  12. G. Gottlob, C. Koch, R. Pichler:
    "XPath Query Evaluation: Improving Time and Space Efficiency";
    Vortrag: 19th International Conference on Data Engineering, Bangalore, Indien; 05.03.2003 - 08.03.2003; in: "Proceedings on the ICDE 2003", (2003), S. 379 - 390.

  13. C. Koch, S. Scherzinger:
    "Attribute Grammars for Scalable Query Processing on XML Streams";
    Poster: The 9th International Workshop on Data Base Programming Languages, Potsdam, Deutschland (eingeladen); 06.09.2003 - 08.09.2003; in: "Informal Proceedings of the 9th International Workshop on Data Base Programming Languages", (2003), S. 135 - 146.

  14. N. Musliu:
    "Applying Tabu Search to the Rotating Workforce Scheduling Problem";
    Poster: The 5th Metaheuristics International Conference, Kyoto, Japan; 25.08.2003 - 28.08.2003; in: "Proceedings of "The Fifth Metaheuristics International Conference", (2003), S. 12 - 18.

  15. G. Pfeifer:
    "Solving Hard Disjunctive Logic Programs Faster";
    Poster: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien; 03.09.2003 - 05.09.2003; in: "Proceedings of the 2003 Joint Conference on Declarative Programming", Mediterranea, (2003), S. 227 - 236.

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

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

  18. H. Veith:
    "Friends or Foes? Communities in Software Verification";
    Vortrag: Computer Science Logic (CSL´3), Wien, Österreich (eingeladen); 25.08.2003 - 30.08.2003; in: "Lecture Notes in Computer Science", Spronger-Verlag Heidelberg, Volume 2803 / 2003 (2003), ISBN: 3-540-40801-0; S. 528 - 529.


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


  1. G. Gottlob, R. Baumgartner, S. Flesca, M. Herzog, C. Koch:
    "Web information Extracton with Lixto: Visual Logic and Expressive Power";
    Vortrag: DISI Seminar, Genua, Italien (eingeladen); 24.11.2003 - 26.11.2003.

  2. G. Gottlob, C. Koch:
    "Xpath Query Processing";
    Vortrag: The 9th International Workshop on Data Base Programming Languages, Potsdam, Deutschland (eingeladen); 06.09.2003 - 08.09.2003.


Habilitationsschriften


  1. C. Koch:
    "Queries on tree-structured data";
    TU Wien, Fakultät für Informatik, 2003.


Dissertationen (eigene und begutachtete)


  1. A. Prianichnikova:
    "Preemtive Scheduling in real time systems with cyclic precedence constraints";
    Betreuer/in(nen), Begutachter/in(nen): J. Dorn; Institut für Informationssysteme, 2003.


Diplom- und Master-Arbeiten (eigene und betreute)


  1. F. Bruckner:
    "Entwurf und Implementierung eines wertebasierten Diagnose-Modells für VHDL-Programme";
    Betreuer/in(nen): F. Wotawa; Institut für Informationssysteme, 2003.

  2. A. Burner:
    "Multi-Platform Publishing";
    Betreuer/in(nen): G. Gottlob, M. Herzog; Institut für Informationssysteme, 2003.

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

  4. R. El-Berry:
    "Analyse, Entwurf und Implementierung einer XML-basierten Prozessgrammatik";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003.

  5. S. Forsich:
    "Zahlungssysteme im Internet";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  6. G. Houska:
    "Erfolgsfaktoren Mobiler Kommunikation im Aussendienst";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Datenbanken & Artificial Intelligence, 2003.

  7. A. Köck:
    "Internet-basierte Billig-Systeme im Tourismus";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003.

  8. A. Krisch:
    "Ubiquitous Computing und Privatsphäre";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, 2003.

  9. M. Kummerer:
    "Problematik der nachträglichen Dokumentation einer Datenbankanwendung unter besonderer Berücksichtigung der Unified Modeling Language";
    Betreuer/in(nen): W. Slany; Institut für Informationssysteme, 2003.

  10. A. Plaickner:
    "Symbolic Model Checking using NUSMV";
    Betreuer/in(nen): H. Veith; Institut für Informationssysteme, 2003.

  11. A. Plaickner:
    "Symbolic Model Checking using NUSMV";
    Betreuer/in(nen): H. Veith; Institut für Informationssysteme, 2003.

  12. R. Rateshtari:
    "Personal and Knowledge Management";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  13. T. Sillhengst:
    "Integration von mobilen Geräten in Web - Prozesse";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003.


Wissenschaftliche Berichte


  1. T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
    "Semantics and Computation of Aggregate Functions in Disjunctive Logic Programming";
    2003.

  2. T. Eiter, W. Faber, G. Pfeifer, M. Fink, S. Woltran:
    "Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming";
    2003.