• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2006

Debugging User Interface Descriptions of Knowledge-based Recommender Applications

Felfernig, A. & Shchekotykhin, K., 2006, Proceedings of the 2006 International Conference on Intelligent User Interfaces. ., p. 234-241

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

Decompositions, partitions, and coverings with convex polygons and pseudo-triangles

Aichholzer, O., Huemer, C., Kappes, S., Speckmann, B. & Tóth, C. D., 2006, Mathematical foundations of computer science 2006. Berlin [u.a.]: Springer, Vol. 4162. p. 86-97 (Lecture Notes in Computer Science).

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

Diagnosing Faulty Transitions in Recommender User Interface Descriptions

Felfernig, A., 2006, Proceedings of the 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE2006). Ali, M. & Dapoigny, R. (eds.). Springer, Vol. 4031. p. 869-878 (Springer Lecture Notes in Computer Science).

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

ECAI'06 Workshop on Recommender Systems

Felfernig, A. (ed.) & Zanker, M. (ed.), 2006, .

Research output: Book/ReportAnthologyResearch

Extreme Usability XP + UE -> XU

Holzinger, A. & Slany, W., 2006, In : Informatik-Spektrum. 29, 2, p. 91-97

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

Formal analysis of hardware requirements

Pill, I. H., Bloem, R. P., Semprini, S., Roveri, M., Cimatti, A. & Cavada, R., 2006, Design Automation Conference. Association of Computing Machinery, p. 821-826

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

From faults via test purposes to test cases: on the fault-based testing of concurrent systems

Aichernig, B. & Delgado, C. C., 2006, Fundamental Approaches to Software Engineering. Baresi, L. & Heckel, R. (eds.). Springer Verlag, Vol. 3922. p. 324-338 (Lecture Notes in Computer Science).

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

From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems

Aichernig, B. & Corrales, C., 28 Mar 2006.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Fundamentals of debugging using a resolution calculus

Wotawa, F. & Köb, D., 2006, Fundamental Approaches to Software Engineering. Baresi, L. & Heckel, R. (eds.). Berlin [u.a.]: Springer, Vol. 3922. p. 278-292 (Lecture Notes in Computer Science).

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

Game-based and simulation-based improvements for LTL synthesis

Jobstmann, B. & Bloem, R. P., 2006, Games in Design and Verification. ., p. ?-?

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

Gray code enumeration of plane straight-line graphs

Aichholzer, O., Aurenhammer, F., Huemer, C. & Vogtenhuber, B., 2006, European Workshop on Computational Geometry. ., p. 71-74

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

Gray Code Enumeration of Plane Straight-Line Graphs

Aichholzer, O. & Vogtenhuber, B., 26 Mar 2006.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

How to recommend configurable products?

Felfernig, A., Scheer, C. & Loos, P., 2006, Proceedings of the ECAI 2006 Workshop on Configuration. ., p. 51-51

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

htmlButler — Wrapper Usability Enhancement through Ontology Sharing and Large Scale Cooperation

Schindler, C., Pranjal, A., Rath, A. & Slany, W., 2006, Adaptive and Personalized Semantic Web. 1 ed. Heidelberg: Springer Verlag Berlin, p. 85-94 (Studies in Computational Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Improving Robustness of Mobile Robots using Model-Based Reasoning

Hofbaur, M., Köb, J., Steinbauer, G. & Wotawa, F., 2006, 2006 International Symposium on Model-Based Reasoning on Engineering and Robotic Systems. ., p. 0-0

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

Improving Robustness of Mobile Robots using Model-Based Reasoning

Hofbaur, M., Köb, J., Steinbauer, G. & Wotawa, F., 2006, Proceedings of the ECAI Workshop on Model Based Systems. ., p. 28-33

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

Infinite Games Engine

Hofmann, P., 2006, International North-American Conference on Intelligent Games and Simulation. ., p. 23-25

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

Intelligente und robuste Steuerung autonomer mobiler Roboter

Steinbauer, G., 2006

Research output: ThesisDoctoral ThesisResearch

Knowledge-based Recommendation: Technologies and Experiences from Projects

Felfernig, A., Isak, K. & Russ, C., 2006, Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'06). ., p. 632-636

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

Knowledge Representations for the Interactive Selling of Financial Services

Felfernig, A., Isak, K., Kreutler, G., Kruggel, T. & Teppan, E., 2006, In : Information systems and e-business management. 5, 2, p. 143-166

Research output: Contribution to journalArticleResearchpeer-review

Lightweight fault localization with abstract dependencies

Wotawa, F., Peischl, B. & Soomro, S., 2006, IEEE International Conference on Engineering of Intelligent Systems. ., p. ?-?

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

Model-Based Systems (Workshop ECAI-2006)

Wotawa, F. (ed.), 2006, .

Research output: Book/ReportAnthologyResearch

Mostly Harmless Team Description 2006 - Robust Control of Mobile Robots.

Steinbauer, G., Brandstötter, M., Buchleitner, M., Galler, S., Jantscher, S., Krammer, G., Mörth, M., Weber, J. & Weiglhofer, M., 2006, Proceeding of the International RoboCup Symposium. ., Vol. 10. p. 0-0

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

On the crossing number of complete graphs

Aichholzer, O., Aurenhammer, F. & Krasser, H., 2006, In : Computing <Wien>. 76, p. 165-176

Research output: Contribution to journalArticleResearchpeer-review

On the number of plane graphs

Aichholzer, O., Hackl, T., Huemer, C., Hurtado, F., Krasser, H. & Vogtenhuber, B., 2006, Annual ACM-SIAM Symposium on Discrete Algorithms. New York, NY: Association of Computing Machinery, p. 504-513

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

On the Semantics of Componentware: a Coalgebraic Perspective

Barbosa, L. S., Meng, S., Aichernig, B. & Rodrigues, N., 2006, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. 1 ed. World Scientific, Vol. 2. p. 69-118 (Series on Component-Based Software Development).

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

On the structure of sets attaining the rectilinear crossing number

Aichholzer, O., Orden, D. & Ramos, P. A., 2006, European Workshop on Computational Geometry. ., p. 43-46

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

On the value of fault injection on the modeling level

Aichernig, B., 2006, Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005. ., Vol. CS-TR-969. p. 59-71 (University of Newcastle upon Tyne, Computer Science Technical Report Series).

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

Optimizations for LTL synthesis

Jobstmann, B. & Bloem, R. P., 2006, International Conference on Formal Methods in Computer-Aided Design. ., p. ?-?

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

Pre-triangulations and liftable complexes

Aichholzer, O., Aurenhammer, F. & Hackl, T., 2006, Proceedings of the Twenty-Second Annual Symposium on Computational Geometry (SCG '06). New York, NY: Association of Computing Machinery, p. 282-291

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

Property relevant software testing with model-checkers

Fraser, G. & Wotawa, F., 2006, International Workshop on Advances in Model-based Testing. ., p. ?-?

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

Property synthesis

Jobstmann, B., 2006, Design Automation Conference. SIGDA Ph.D. Forum at the Design Automation Conference (DAC 2006), p. ?-?

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

Rat: A tool for formal analysis of requirements

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M., Semprini, S. & Tchaltsev, A., 2006, European Conference on Artificial Intelligence. ., p. ?-?

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

Repair of boolean programs with an application to C

Griesmayer, A., Bloem, R. P. & Byron, C., 2006, Computer Aided Verification. Springer, Vol. 4144. p. 358-371 (LNCS).

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

Retaining Consistency in Temporal Knowledge Bases

Wotawa, F. & Angerer, B., 2006, IEA/ AIE. Ali, M. & Dapoigny, R. (eds.). Springer, p. 600-609

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

RoboCup - Spielwiese für AI

Steinbauer, G., Gspandl, S. & Hofmann, A., 2006, In : ÖGAI-Journal. 2, p. 23-26

Research output: Contribution to journalArticleResearch

Runtime Fault Detection and Localization in Component-oriented Software Systems

Wotawa, F., Peischl, B. & Weber, J., 2006, International Workshop on Principles of Diagnosis. ., p. 203-210

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

Runtime Fault Detection and Localization in Component-oriented Software Systems

Wotawa, F., Peischl, B. & Weber, J., 2006, MONET Workshop on Model-Based Systems. ., p. ?-?

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

Symbolic implementation of alternating automata

Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M. & Semprini, S., 2006, Implementation and application of automata. Berlin [u.a.]: Springer, p. 208-218

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

The htmlButler Approach: Through Shared Ontologies and Large Scale Cooperation to Enhanced Wrapper Usability

Slany, W., Neuhold, K. & Schindler, C., 2006, International Conference on Knowledge Management. ., p. 35-38

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

Towards lightweight fault localization in procedural programs debugging techniques

Wotawa, F., Peischl, B. & Soomro, S., 2006, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, p. ?-?

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

Transforming spanning trees and pseudo-triangulations

Aichholzer, O., Aurenhammer, F., Huemer, C. & Krasser, H., 2006, .

Research output: Book/ReportOther reportResearch

Using AI Techniques for Fault Localization in Component-oriented Software Systems

Weber, J. & Wotawa, F., 2006, MICAI 2006. Gelbukh, A. & Reyes-Garcia, C. A. (eds.). Berlin: Springer, Vol. 4293. p. 1139-1149 (Lecture notes in computer science).

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

Using and Improving Requirement Properties for Mutation Based Test-Case Generation

Fraser, G. & Wotawa, F., 2006, In : WI-MAW-Rundbrief. 12, 2, p. 5-23

Research output: Contribution to journalArticleResearch

Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis

Fraser, G. & Wotawa, F., 2006, International Conference on Software Engineering Advances. ., p. ?-?

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

Verification of platform-independent and platform-specific semantics of dependable embedded systems

Fraser, G., Kandl, S. & Kirner, R., 2006, International Workshop on Dependable Embedded Systems. ., p. ?-?

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

When model-based testing fails

Aichernig, B. & George, C., 2006, In : Electronic Notes in Theoretical Computer Science . 164, 4, p. 115-128

Research output: Contribution to journalArticleResearch

XP + UE -> XU Praktische Erfahrungen mit eXtreme Usability

Slany, W. & Holzinger, A., 2006, In : Informatik-Spektrum. 29, 2, p. 91-97

Research output: Contribution to journalArticleResearchpeer-review

2005

Abstract model refinement for model-based program debugging

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

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