• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2002

Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models

Mayer, W., Stumptner, M., Wieland, D. & Wotawa, F., 2002, European Conference on Artificial Intelligence. Amsterdam, The Netherlands: IOS Press, p. 417-421

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

Combining hypertree, bicomp, and hinge decomposition

Gottlob, G., Hutle, M. & Wotawa, F., 2002, European Conference on Artificial Intelligence. Amsterdam, The Netherlands: IOS Press, p. 161-165

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

Configuration Knowledge Representation using UML/OCL

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, The unified modeling language. Berlin [u.a.]: Springer, Vol. 2460. p. 49-62 (Springer Lecture Notes in Computer Science).

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

Contract-based mutation testing in the Refinement Calculus

Aichernig, B., 2002, In : Electronic Notes in Theoretical Computer Science . 70, 3, p. 351-351

Research output: Contribution to journalArticleResearch

Customizing the interaction with the user in online configuration systems

Ardissono, L., Felfernig, A., Friedrich, G., Goy, A., Jannach, D., Meyer, M., Petrone, G., Schäfer, R., Schütz, W. & Zanker, M., 2002, Proceedings of the Customizing the interaction with the user in online configuration systems. ., p. 119-124

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

Debugging Hardware Designs using a Value-based Model

Wotawa, F., 2002, In : Applied Intelligence. 16, 1, p. 71-92

Research output: Contribution to journalArticleResearchpeer-review

Distributed generative CSP framework for multi-site product configuration

Felfernig, A., Friedrich, G., Jannach, D., Silaghi, M. & Zanker, M., 2002, Proceedings of the ECAI 2002 Workshop on Configuration. Klusch, M., Pechoucek, M. & Polleres, A. (eds.). ., p. 77-81

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

Efficient generation of rotating workforce schedules

Slany, W., Musliu, N. & Gaertner, J., 2002, In : Discrete applied mathematics. 118, 1-2, p. 85-98

Research output: Contribution to journalArticleResearchpeer-review

Endgame problems of Sim-like graph Ramsey avoidance games are PSPACE-complete

Slany, W., 2002, In : Theoretical computer science. 289, 1, p. 829-843

Research output: Contribution to journalArticleResearchpeer-review

Evolution strategy and hierarchical clustering

Aichholzer, O., Aurenhammer, F., Brandstätter, B., Ebner, T., Krasser, H., Magele, C. & Mühlmann, M., 2002, In : IEEE Transactions on Magnetics. 38, 2, p. 1041-1044

Research output: Contribution to journalArticleResearchpeer-review

Fair simulation minimization

Bloem, R. P., Gurumurthy, S. & Somenzi, F., 2002, International Conference on Computer Aided Verification. Springer, p. 610-623

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

Flipturning Polygons

Aichholzer, O., Cortés, C., Demaine, E., Dujmović, V., Erickson, J., Meijer, H., Overmars, M., Palop, B., Ramaswami, S. & Toussaint, G., 2002, In : Discrete & computational geometry. 28, 2, p. 231-253

Research output: Contribution to journalArticleResearchpeer-review

Formal refinement of a cash register system in VDM++

Köb, D., 2002, Graz: . (Technical Report IST)

Research output: Book/ReportOther reportResearch

From Neural Networks to Qualitative Models in Environmental Engineering

Wieland, D., Wotawa, F. & Wotawa, G., 2002, In : Computer-aided civil and infrastructure engineering. 17, p. 104-118

Research output: Contribution to journalArticleResearchpeer-review

Iterative Focusing for Finding Faults in Large Configurator Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M. & Zanker, M., 2002, In : ÖGAI-Journal. 21, 3, p. 13-22

Research output: Contribution to journalArticleResearch

Knowledge Acquisition for building and integrating product configurators

Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. & Schäfer, R., 2002, Collaborative business ecosystems and virtual enterprises. Boston: Kluwer, Vol. 85. p. 193-200 (International Federation for Information Processing).

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

Model-based Debugging or How to Diagnose Programs Automatically

Wotawa, F., Stumptner, W. & Mayer, W., 2002, Developments in applied artificial intelligence. Berlin [u.a.]: Springer, Vol. 2358. p. 746-746 (Lecture notes in computer science : Lecture notes in artificial intelligence).

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

Model-Based Reasoning in Mathematical Tutoring - Preliminary Thoughts and Problems to be solved

Wotawa, F. & Neuper, W., 2002, International Conference on Intelligent Tutoring Systems. ., p. 53-61

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

Multi-site product configuration of telecommunication switches

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2002, In : Computing <Wien>. 1, 2, p. 1-10

Research output: Contribution to journalArticleResearchpeer-review

Observations and results gained from the jade project

Wotawa, F., Mayer, W., Stumptner, W. & Wieland, D., 2002, International Workshop on Principles of Diagnosis. ., p. ?-?

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

On network design problems: Fixed cost flows and the covering Steiner problem

Slany, W., Even, G. & Kortsarz, G., 2002, Algorithm theory. Penttonen, M. & Schmidt, E. M. (eds.). Berlin [u.a.]: Springer, Vol. 2368. p. 318-329 (Lecture Notes in Computer Science).

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

On the relationship between model-based debugging and program slicing

Wotawa, F., 2002, In : Artificial Intelligence. 135, 1-2, p. 125-143

Research output: Contribution to journalArticleResearchpeer-review

Personalizing online configuration of products and services

Felfernig, A., Ardissono, L., Friedrich, G., Goy, A., Jannach, D., Meyer, M., Petrone, G., Schäfer, R., Schütz, W. & Zanker, M., 2002, Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002). ., p. 225-229

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

Points and combinatorics

Aichholzer, O., Aurenhammer, F. & Krasser, H., 2002, In : Telematik. 8, 1, p. 12-17

Research output: Contribution to journalArticleResearch

Progress on rectilinear crossing numbers

Aichholzer, O., Aurenhammer, F. & Krasser, H., 2002, Graz: . (Technical report)

Research output: Book/ReportOther reportResearch

Quickest paths, straight skeletons, and the city Voronoi diagram

Aichholzer, O., Aurenhammer, F. & Palop, B., 2002, ACM Symposium on Computational Geometry. ., p. 151-159

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

Rapid Knowledge Base Development for Product Configuration Systems using the Unified Modeling Language

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Domain Oriented Systems Development - Perspectives and Practices. 1 ed. Taylor & Francis Group, p. 119-138

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Semantic Configuration Web Services in the CAWICOMS project

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Proceedings of the 1st International Semantic Web Conference (ISWC02). Springer, Vol. 2342. p. 192-205 (Lecture Notes in Computer Science).

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

Semantic Configuration Web Services in the CAWICOMS project

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Proceedings of the ECAI 2002 Workshop on Configuration. ., p. 82-88

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

Theory and practice of the shift design problem

Slany, W., 2002, PATAT 2002. ., p. 53-56

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

The Path of a Pseudo-Triangulation

Aichholzer, O., Speckmann, B. & Streinu, I., 2002, DIMACS Workshop on Computational Geometry. ., p. ?-?

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

Towards an Integrated Debugging Environment

Mayer, W., Stumptner, M., Wieland, D. & Wotawa, F., 2002, European Conference on Artificial Intelligence. Amsterdam, The Netherlands: IOS Press, p. 422-426

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

Transforming UML domain descriptions into Configuration Knowledge Bases for the Semantic Web

Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M. & Zanker, M., 2002, Proceedings of the ECAI 2002 Workshop on Knowledge Transformations for the Semantic Web (KTSW2002). ., p. 11-18

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

UML as Knowledge Acquisition Frontend for Semantic Web Configuration Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web. ., p. 155-169

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

UML as Semantic Web Service Description Language

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Proceedings of the Workshop on Software Model Engineering. ., p. 1-1

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

Verification and Fault Localization for VHDL Programs

Bloem, R. P. & Wotawa, F., 2002, In : Telematik. 8, 2, p. 30-33

Research output: Contribution to journalArticleResearch

Voronoi diagrams - computational geometry's favorite

Aichholzer, O. & Aurenhammer, F., 2002, In : Telematik. 8, 1, p. 7-11

Research output: Contribution to journalArticleResearch

Web-based Commerce of Complex Products and Services with Multiple Suppliers

Ardissono, L., Felfernig, A., Friedrich, G., Goy, A., Jannach, D., Schäfer, R. & Zanker, M., 2002, E-Business Applications - Technologies for Tomorrow’s Solutions. Advanced Information Processing ed. Springer, p. 618-622

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Web-based configuration of Virtual Private Networks with Multiple Suppliers

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Proceedings of the 7th Internation Conference on Artificial Intelligence in Design. ., p. 41-62

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

Wissensbasierte Technologien für die virtuelle Beratung von Fondsprodukten

Felfernig, A., Jannach, D., Russ, C. & Zanker, M., 2002, In : Banking and Information Technology. 3, 3, p. 46-52

Research output: Contribution to journalArticleResearch

2001

A formal specification and annealing of a network-hub in VDM++

Peischl, B., 2001, Graz: . (Technical Report IST-TEC-01-03)

Research output: Book/ReportOther reportResearch

Analysing Models for Software Debugging

Wotawa, F., Stumptner, M. & Wieland, D., 2001, International Workshop on Principles of Diagnosis. ., p. ?-?

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

A symmetric strategy in graph avoidance games

Slany, W., Harary, F. & Verbitsky, O., 2001, . (Technical Report DBAI-TR-2001-42)

Research output: Book/ReportOther reportResearch

A Variant of Reiter's Hitting-Set Algorithm

Wotawa, F., 2001, In : Information Processing Letters. 79, 1, p. 45-51

Research output: Contribution to journalArticleResearchpeer-review

A’calculemus-approach’ to high-school math?

Neuper, W., 2001, Calculemus - Symposium on the Integration of Symbolic Computation Systems and Mechanized Reasoning. ., p. ?-?

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

Comparing Two Models for Software Debugging

Stumptner, M., Wieland, D. & Wotawa, F., 2001, Advances in artificial intelligence. Berlin [u.a.]: Springer, Vol. 2174. p. 351-365 (Lecture notes in computer science).

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

Conceptual modeling for configuration of mass-customizable products

Felfernig, A., Friedrich, G. & Jannach, D., 2001, In : Artificial Intelligence in Engineering. 15, 2, p. 165-176

Research output: Contribution to journalArticleResearchpeer-review

Contributions to schedule optimization methods

Slany, W., 2001

Research output: ThesisHabilitationResearch