• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2007

Searching for Classes of Visual Content in Electronic Lectures

Ziewer, P., Ebner, M., Safran, C. & Slany, W., 2007, Proceedings of the Ninth IEEE *Symposium on Multimedia*. ., p. 377-382

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

Specify, Compile, Run: Hardware from PSL

Bloem, R. P., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A. & Weiglhofer, M., 2007, 6th International Workshop on Compiler Optimization Meets Compiler Verification. ., p. 6-20

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

Standardized Configuration Knowledge Representations as Technological Foundation for Mass Customization

Felfernig, A., 2007, In : IEEE transactions on engineering management. 54, 1, p. 41-56

Research output: Contribution to journalArticleResearchpeer-review

Symbolic Implementation of Alternating Automata

Bloem, R. P., Cimatti, A., Pill, I. H. & Roveri, M., 2007, In : International journal of foundations of computer science. 18, 4, p. 727-743

Research output: Contribution to journalArticleResearchpeer-review

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

Fraser, G. & Wotawa, F., 2007, Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007). Los Alamitos, CA, USA: IEEE Computer Society, p. 45-51

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

Test-case prioritization with model-checkers

Fraser, G. & Wotawa, F., 2007, IASTED International Conference on Software Engineering. ., p. ?-?

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

Test purpose generation in an industrial application

Aichernig, B., Peischl, B., Weiglhofer, M. & Wotawa, F., 2007, Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, p. 115-125

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

The Minimum Shift Design Problem: Theory and Practice

Slany, W., Di Gaspero, L., Gaertner, J., Kortsarz, G., Musliu, N. & Schaerf, A., 2007, In : Annals of Operations Research. 155, 1, p. 79-105

Research output: Contribution to journalArticleResearchpeer-review

The sustainable application of leadership and teaming in hrm-models for the todays organisations needs a meta-level perspective

Shahzad, S., Slany, W., Hussain, Z., Lechner, M., Milchrahm, H., Umgeher, M. & Vlk, T., 2007, Technology Transfer Society Annual Conference. ., p. 0-0

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

The VITA Financial Services Sales Support Environment

Felfernig, A., Isak, K., Szabo, K. & Zachar, P., 2007, Proceedings AAAI/IAAI 2007. Menlo Park, Calif.: AAAI Press, p. 1692-1699

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

User Interface Design for a Content-aware Mobile Multimedia Application: An Iterative Approach

Hussain, Z., Lechner, M., Milchrahm, H., Shahzad, S., Slany, W., Umgeher, M. & Wolkerstorfer, P., 2007, Frontiers in Mobile and Web Computing. ., p. 115-120

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

Using Formal Methods for Ensuring Quality Requirements of Systems

Fraser, G. & Wotawa, F., 2007, In : e&i - Elektrotechnik und Informationstechnik. 124, 1, p. 13-16

Research output: Contribution to journalArticleResearchpeer-review

Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation

Fraser, G. & Wotawa, F., 2007, Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, p. 64-74

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

2006

Abstract Dependence Models in Software Debugging

Wotawa, F., Peischl, B. & Soomro, S., 2006, International Workshop on Principles of Diagnosis. ., p. ?-?

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

A Causal Analysis Method for Concurrent Hybrid Automata

Hofbaur, M. & Wotawa, F., 2006, Proceedings of the 21st National Conference on Artificial Intelligence. Menlo Park, California: AAAI Press, p. 840-846

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

An Empirical Study on Consumer Behavior in the Interaction with Knowledge-based Recommender Applications

Felfernig, A. & Gula, B., 2006, Proceedings of the ECAI 2006 Workshop on Recommender Systems. ., p. 1-5

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

An Empirical Study on Consumer Behavior in the Interaction with Knowledge-based Recommender Applications

Felfernig, A. & Gula, B., 2006, IEEE International Conference on E-Commerce Technology. Piscataway, NJ: Institute of Electrical and Electronics Engineers, p. 288-296

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

An Environment for the Development of Knowledge-based Recommender Applications

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2006, In : International Journal of Electronic Commerce. 11, 2, p. 11-34

Research output: Contribution to journalArticleResearchpeer-review

An ultrasonic/radio-frequency beacon-based self-localization method for autonomous mobile robots

Weiglhofer, M., 2006

Research output: ThesisDiploma ThesisResearch

Approximating boundary-triangulated objects with balls

Aurenhammer, F., Kornberger, B., Peternell, M., Pottmann, H., Aichholzer, O. & Hackl, T., 2006, Graz: .

Research output: Book/ReportOther reportResearch

Automated Fault Localization for C Programs

Griesmayer, A., Staber, S. S. & Bloem, R. P., 2006, Workshop on Verification and Debugging. ., p. 82-99

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

Automated Source Level Error Localization in Hardware Designs

Wotawa, F. & Peischl, B., 2006, In : IEEE design & test of computers. 23, 1, p. 8-19

Research output: Contribution to journalArticleResearchpeer-review

Automated Testing of Knowledge-based Recommender Applications

Felfernig, A. & Stumptner, M., 2006, Customer interacton and customer integration. Berlin: Gito, Vol. 2. p. 105-114 (Series on business informatics and application systems).

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

Automatic Fault Localization for Property Checking

Staber, S. S., Fey, G., Bloem, R. P. & Drechsler, R., 2006, (Accepted/In press) Haifa Verification Conference. Springer

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

Comparing mathematical, local search and hybrid heuristics for solving the minimum shift design problem with breaks

Slany, W., 2006, Workshop on Mathematical Contributions to Metaheuristics. ., p. ?-?

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

Compositional SCC analysis for language emptiness

Wang, C., Bloem, R. P., Hachtel, G. D., Ravi, K. & Somenzi, F., 2006, In : Formal methods in system design. 28, 1, p. 5-36

Research output: Contribution to journalArticleResearchpeer-review

Computational and structural advantages of circular boundary representation

Aichholzer, O., Aurenhammer, F., Hackl, T., Juettler, B., Oberneder, M. & Sir, Z., 2006, .

Research output: Book/ReportOther reportResearch

Connecting colored point sets

Aichholzer, O., Aurenhammer, F. & Hackl, T., 2006, .

Research output: Book/ReportOther reportResearch

Constraint Satisfaction Problems for Modeling and Explanation in Sustainability Science

Wotawa, F., 2006, Advanced methods for Decision Making and Risk Management in Sustainability Science. 1 ed. Hauppauge, NY, USA: Nova Science Publishers, Inc., p. 143-159

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

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, Proceedings of the ECAI Workshop on Model Based Systems. ., p. 28-33

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

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