• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2005

Abstract order type extension and new results on the rectilinear crossing number

Aichholzer, O. & Krasser, H., 2005, Proceedings of the Twenty-First Annual Symposium on Computational Geometry (SCG '05). New York, NY: Association of Computing Machinery, p. 91-98

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Abstract order type extension and new results on the rectilinear crossing number

Aichholzer, O. & Krasser, H., 2005, European Workshop on Computational Geometry. ., p. 61-64

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Causal Analysis Method for Concurrent Hybrid Automata

Hofbaur, M. & Wotawa, F., 2005, .

Research output: Book/ReportOther reportResearch

A coalgebraic semantic framework for component-based development in UML

Meng, S., Aichernig, B., Barbosa, L. S. & Naixiao, Z., 2005, In : Electronic Notes in Theoretical Computer Science . 122, p. 229-245

Research output: Contribution to journalArticleResearch

A comparison of fault explanation and localization

Wotawa, F. & Köb, D., 2005, International Workshop on Principles of Diagnosis. ., p. 157-162

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A Diagnosis-Based Causal Analysis Method for Concurrent Hybrid Automata

Hofbaur, M. & Wotawa, F., 2005, Proceedings of the 16th International Workshop on Principles of Diagnosis (DX05). ., p. 81-87

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

AI Technologien zur Unterstützung von Open Innovation E-Government

Felfernig, A. & Wundara, M., 2005, Wissensmanagement in der öffentlichen Verwaltung: Konzepte, Lösungen und Potentiale. 1 ed. Wien: Österreichische Computergesellschaft, p. 135-145

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

AI Technologies supporting effective development processes for knowledge-based recommender applications

Felfernig, A. & Gordea, S., 2005, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005). Springer, p. 372-379

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

AI Technologies supporting Open Innovation in e-Government

Felfernig, A., 2005, Proceedings of the Joint Workshop on Decision Support Systems, Experimental Economics and e-Participation. ., p. 184-184

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Autonome mobile Roboter - Anwendung von AI zur intelligenten Kontrolle

Fraser, G., Steinbauer, G. & Wotawa, F., 2005, In : e&i - Elektrotechnik und Informationstechnik. 7-8, p. 243-246

Research output: Contribution to journalArticleResearchpeer-review

Bounding the number of plane graphs

Aichholzer, O., Hackl, T., Huemer, C., Hurtado, F., Krasser, H. & Vogtenhuber, B., 2005, Fall Workshop on Computational Geometry. ., p. 31-32

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Challenges in runtime detecting and locating faults in autonomous mobile robots

Steinbauer, G. & Wotawa, F., 2005, IJCAI-05 Workshop on Model-Based Systems. ., p. 73-77

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Coalgebraic component specification and verification in RSL

Meng, S., Aichernig, B. & Naixiao, Z., 2005, International Conference on Parallel and Distributed Computing, Applications and Technologies. IEEE Computer Society, p. 424-426

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Combining algebraic and model-based test case generation

Dan, L. & Aichernig, B., 2005, Theoretical aspects of computing - ICTAC 2004. Liu, Z. (ed.). Berlin [u.a.]: Springer, Vol. 3407. p. 250-264 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Debugging User Interface Descriptions of Knowledge-based Recommenders

Felfernig, A. & Shchekotykhin, K., 2005, Proceedings of the IJCAI 2005 Workshop on Configuration. ., p. 13-18

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Detecting and locating faults in the control software of automomous mobile robots

Steinbauer, G. & Wotawa, F., 2005, International Workshop on Principles of Diagnosis. ., Vol. 16. p. 13-18

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Detecting and locating faults in the control software of autonomous mobile robots.

Steinbauer, G. & Wotawa, F., 2005, International Joint Conference on Artificial Intelligence. Denver, USA: Professional Book Center, p. 1742-1743

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Diagnosis is Repair

Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, 16th International Workshop on Principles of Diagnosis. ., p. 169-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Distributed Computing for Problems from Computational Geometry

Kornberger, B., 2005

Research output: ThesisDiploma ThesisResearch

Effektive Vertriebsunterstützung durch wissensbasierte Beratungssysteme

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2005, In : e&i - Elektrotechnik und Informationstechnik. 122, 7/8, p. 238-242

Research output: Contribution to journalArticleResearchpeer-review

Enhancing Wrapper Usability through Ontology Sharing and Large Scale Cooperation

Schindler, C., Arya, P., Rath, A. & Slany, W., 2005, Workshop on Representation and Analysis of Web Space (RAWS-05). ., p. XX-XX

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Error traces in model-based debugging of hardware description languages

Wotawa, F. & Peischl, B., 2005, International Workshop on Automated Debugging. Association of Computing Machinery, p. 43-48

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Exploring object relations for automated fault localization

Wotawa, F., Köb, D. & Chen, R., 2005, International Workshop on Principles of Diagnosis. ., p. 49-54

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fault localization based on abstract dependencies

Wotawa, F. & Soomro, S., 2005, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, p. 357-359

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Finding and Fixing Faults

Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, Correct Hardware Design and Verification Methods. Berlin [u.a.]: Springer, Vol. 3725. p. 35-49 (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Formal verification of control software: A case study

Griesmayer, A., Bloem, R. P., Hautzendorfer, M. & Wotawa, F., 2005, Innovations in Applied Artificial Intelligence. Ali, M. (ed.). Berlin [u.a.]: Springer, Vol. 3533. p. 783-788 (Lecture notes in computer science : Lecture notes in artificial intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

From extreme programming and usability engineering to extreme usability in software engineering education (XP+UE->XU)

Slany, W., Holzinger, A., Errath, M., Searle, G. & Thurnher, B., 2005, Annual International Computer Software and Applications Conference. Institute of Electrical and Electronics Engineers, p. 169-172

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

From the real-world to its qualitative representation -- Practical lessons learned

Steinbauer, G., Wotawa, F. & Weber, J., 2005, International Workshop on Qualitative Reasoning. Graz: ., p. 186-191

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Games on Triangulations

Aichholzer, O., Bremner, D., Demaine, E., Hurtado, F., Kranakis, E., Krasser, H., Ramaswami, S., Sethia, S. & Urrutia, J., 2005, In : Theoretical computer science. 343, 1-2, p. 42-71

Research output: Contribution to journalArticleResearchpeer-review

Guest Editorial - Special Issue on Binding Environmental Sciences and Artificial Intelligence

Wotawa, F., Sanchez-Marre, M. & Oprea, M., 2005, In : AI Communications. 18, 4, p. 243-245

Research output: Contribution to journalArticleResearchpeer-review

htmlButler: Wrapper usability enhancement through ontology sharing and large scale cooperation

Slany, W., Schindler, C., Rath, A. & Arya, P., 2005, International Workshop on Adaptive and Personalized Semantic Web. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Human-Agent interaction in the light of ontology sharing and large scale cooperation

Slany, W., Arya, P. & Schindler, C., 2005, Proceedings / CIMCA 2005 jointly with IAWTIC 2005. Los Alamitos, Calif.: IEEE Computer Soc., p. 158-161

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

IJCAI-05 Workshop on Model-Based Systems

Wotawa, F. (ed.), 2005, .

Research output: Book/ReportAnthologyResearch

Knowledge-based Interactive Selling of Financial Services with FSAdvisor

Felfernig, A. & Kiener, A., 2005, Proceedings of the 17th Innovative Applications of Artificial Intelligence Conference (IAAI05). ., p. 1475-1482

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Knowledge Representations for the Interactive Selling of Financial Services

Felfernig, A. & Kreutler, G., 2005, Proceedings of the 2nd International Workshop on Enterprise, Applications and Services in the Finance Industry. ., p. 33-40

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Koba4MS: Knowledge-based Recommenders for Marketing and Sales

Felfernig, A., 2005, Proceedings of the 1st International Workshop on Web Personalization, Recommender Systems and Intelligent User Interfaces (WPRSIUI2005). ., p. 164-174

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Koba4MS: Selling Complex Products and Services Using Knowledge-Based Recommender Technologies

Felfernig, A., 2005, Seventh IEEE International Conference on E-Commerce Technology. Los Alamitos, Calif. [u.a.]: IEEE Computer Society, p. 92-100

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Konzepte zur flexiblen Konfiguration von Finanzdienstleistungen

Felfernig, A., 2005, Innovationen im Retail Banking. 1 ed. ., p. 345-362

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Lightweight debugging techniques

Wotawa, F., Peischl, B. & Soomro, S., 2005, Working Notes of the IJCAI-05 Workshop on Model-Based Systems. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Matching edges and faces in polygonal partitions

Aichholzer, O., Aurenhammer, F., Gonzalez-Nava, P., Hackl, T., Huemer, C., Hurtado, F., Krasser, H., Ray, S. & Vogtenhuber, B., 2005, Proc. 17th Canadian Conference on Computational Geometry CCCG '05. ., p. 123-126

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Movement Prediction from real-world Images using a Liquid State Machine

Burgsteiner, H. M., Kröll, M., Leopold, A. & Steinbauer, G., 2005, Innovations in Applied Artificial Intelligence. Springer, Vol. 3533. p. 121-130 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

On network design: fixed charge flows and the covering Steiner problem

Slany, W., Even, G. & Kortsarz, G., 2005, In : ACM Transactions on Algorithms. 1, 1, p. 74-101

Research output: Contribution to journalArticleResearchpeer-review

On pseudo-convex decompositions, partitions, and coverings

Aichholzer, O., Huemer, C., Renkl, S., Speckmann, B. & Tóth, C. D., 2005, European Workshop on Computational Geometry. ., p. 89-92

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

On the computational complexity of the forcing chromatic number

Slany, W., Harary, F. & Verbitsky, O., 2005, STACS 2005. Berlin Heidelberg: Springer, Vol. 3404. p. 182-193 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Plan Execution in Dynamic Environments

Fraser, G., Steinbauer, G. & Wotawa, F., 2005, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, Vol. 3533. p. 208-217 (Lecture Notes in ArtificiaI Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Program Repair as a Game

Jobstmann, B., Griesmayer, A. & Bloem, R. P., 2005, Computer Aided Verification. Berlin [u.a.]: Springer, Vol. 3576. p. 226-238 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Real-Time Diagnosis and Repair of Faults of Robot Control Software.

Steinbauer, G., Mörth, M. & Wotawa, F., 2005, RoboCup International Symposium. Springer, Vol. 4020. p. 13-23 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Repair of boolean programs using games

Griesmayer, A. & Bloem, R. P., 2005, Games in Design and Verification. ., p. ?-?

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review