• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2002

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

Customer-Adaptive and Distributed Online Product Configuration in the CAWICOMS project

Ardissono, L., Felfernig, A., Jannach, D., Friedrich, G., Schäfer, R. & Zanker, M., 2001, Proceedings of the IJCAI 2001 Workshop on Configuration. ., p. 8-14

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

Deriving Qualitative Rules from Neural Networks - A Case Study for Ozone Forecasting

Wotawa, F. & Wotawa, G., 2001, In : AI Communications. 14(1), p. ?-?

Research output: Contribution to journalArticleResearchpeer-review

Der öGAI Preis

Wotawa, F., 2001, In : ÖGAI-Journal. 20, 3, p. ?-?

Research output: Contribution to journalArticleResearch

Diagnosing tree-structured systems

Wotawa, F. & Stumptner, M., 2001, In : Artificial Intelligence. 127(1), p. 1-29

Research output: Contribution to journalArticleResearchpeer-review

DiKe - A Model-Based Diagnosis Kernel and its Application

Fleischanderl, G., Havelka, T., Schreiner, H., Stumptner, M. & Wotawa, F., 2001, Advance in artificial intelligence. Berlin [u.a.]: Springer, Vol. 2174. p. 440-454 (Lecture notes in computer science).

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

Distributed Configuration as Distributed Dynamic Constraint Satisfaction

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2001, Proceedings of the 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2001). Springer, p. 434-444

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

Distributed Configuring

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2001, Proceedings of the IJCAI 2001 Workshop on Configuration. ., p. 18-24

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

Divide and compose: SCC refinement for language emptiness

Wang, C., Bloem, R. P., Hachtel, G. D., Ravi, K. & Somenzi, F., 2001, CONCUR 2001 - Concurrency Theory. Berlin: Springer, Vol. 2154. p. 456-471 (Lecture notes in computer science).

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

Enumerating order types for small point sets with applications

Aichholzer, O., Aurenhammer, F. & Krasser, H., 2001, ACM Symposium on Computational Geometry. ., p. 11-18

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

Evolutionary computing for shift scheduling and other combinatorial optimization problems

Slany, W., 2001, WSEAS International Conference on Evolutionary Computations. Puerto De La Cruz: ., Vol. 3. p. 113-118

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

Evolution Strategy and Hierarchical Clustering

Aichholzer, O., Aurenhammer, F., Brandtstätter, B., Krasser, H., Magele, C., Mühlmann, M. & Renhart, W., 2001, Conference on the Computation of Electromagnetic Fields. ., p. ?-?

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

Fixing Faults in VHDL-RTL Programs: An Application of Model-based Diagnosis to Digital Circuit Design

Peischl, B. & Wotawa, F., 2001, In : ÖGAI-Journal. 21, 4, p. 6-17

Research output: Contribution to journalArticleResearch

Fuzzy inductive reasoning for the prediction of maximum ozone concentration

Wotawa, F., Goméz, P., Nebot, A. & Mugica, F., 2001, European Simulation Symposium. ., p. ?-?

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

Generalized self-approaching curves

Aichholzer, O., Aurenhammer, F., Icking, C., Klein, R., Langetepe, E. & Rote, G., 2001, In : Discrete applied mathematics. 109, 1-2, p. 3-24

Research output: Contribution to journalArticleResearchpeer-review

Hierarchical Diagnosis of large configurator knowledge bases

Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M. & Zanker, M., 2001, Proceedings of the (24th/9th) German/Austrian Conference on Artificial Intelligence (KI2001). Springer, Vol. 2174. p. 185-197 (Lecture Notes in Computer Science).

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

Hierarchical Diagnosis of large configurator knowledge bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 2001, Proceedings of the 12th International Workshop on Principles of Diagnosis. ., p. 55-66

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

Improving the Configuration Knowledge Base Development Process

Felfernig, A., 2001

Research output: ThesisDoctoral ThesisResearch

Intelligent Interfaces for Distributed Web-based Product and Service Configuration

Felfernig, A., Ardissono, L., Friedrich, G., Jannach, D., Schäfer, R. & Zanker, M., 2001, Web Intelligence. Berlin: Springer, Vol. 2198. p. 184-188 (Springer Lecture Notes in Computer Science).

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

Intelligent support for interactive configuration of mass-customized products

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2001, Proceedings of the 14thInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2001). Springer, Vol. 2071. p. 746-756 (Springer Lecture Notes in Computer Science).

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

Local search for shift design

Slany, W., Musliu, N. & Schaerf, A., 2001, . (DBAI-TR-2000-45)

Research output: Book/ReportOther reportResearch

Local search for shift design

Slany, W., Musliu, N. & Schaerf, A., 2001, Metaheuristics International Conference. ., p. 465-470

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

Model-Based Debugging

Wotawa, F., 2001

Research output: ThesisHabilitationResearch

Modellbasierte Diagnose - Überblick und technische Anwendung

Wotawa, F. & Stumptner, W., 2001, In : e&i - Elektrotechnik und Informationstechnik. 7/8, p. ?-?

Research output: Contribution to journalArticleResearchpeer-review

Multi-site product configuration of Telecommunication Switches

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2001, Proceedings of 20th IASTED Conference on Applied Informatics. ., p. 113-118

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

On the Relationship between Model-based Debugging and Programm Mutation

Wotawa, F., 2001, International Workshop on Principles of Diagnosis. ., p. ?-?

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

Personalized customer interaction for the configuration of products and services in a supply chain

Schäfer, R., Schütz, W., Ceugniet, X., Mitchener, J., Ardissono, L., Goy, A., Zanker, M., Jannach, D., Felfernig, A., Simeoni, R. & Gavazzi, R., 2001, E-work and E-commerce. Novel solutions and practices for a global networked economy. 1 ed. ., p. 298-304

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Rota: a research project on algorithms for workforce scheduling and shift design optimization

Slany, W., Gaertner, J. & Musliu, N., 2001, In : AI Communications. 14, 2, p. 83-92

Research output: Contribution to journalArticleResearchpeer-review

Search Techniques and Automata for Symbolic Model Checking

Bloem, R. P., 2001

Research output: ThesisDoctoral ThesisResearch