• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2001

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

Test-design through abstraction - a systematic approach based on the refinement calculus

Aichernig, B., 2001, In : Journal of Universal Computer Science . 7, 8, p. 710-735

Research output: Contribution to journalArticleResearchpeer-review

The CAWICOMS Project

Ardissono, L., Felfernig, A., Friedrich, G., Jannach, D., Schäfer, R. & Zanker, M., 2001, Arbeitskonferenz Elektronische Geschäftsprozesse, eBusiness Processes (EGP2001). Horrocks, I. & Hendler, J. (eds.). it Verlag, p. 193-204

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

The complexity of graph Ramsey games

Slany, W., 2001, Computers and Games. Berlin [u.a.]: Springer, Vol. 2063. p. 186-203 (Lecture notes in computer science).

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

Towards Compatible Triangulations

Aichholzer, O., Aurenhammer, F., Hurtado, F. & Krasser, H., 2001, Computing and combinatorics. Berlin [u.a.]: Springer, Vol. 2108. p. 101-110 (Lecture Notes in Computer Science).

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

Towards Distributed Configuration

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

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

Using Multiple Models for Debugging VHDL Designs

Wotawa, F., 2001, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer Verlag, p. ?-?

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

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., 2001, Proceedings of Workshop: Planen und Konfigurieren (PuK). ., p. 1-8

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

Zyklische Schichtplanung

Slany, W., Fingerlos, R., Gaertner, J. & Musliu, N., 2001, In : Künstliche Intelligenz. 2, p. 31-34

Research output: Contribution to journalArticleResearch

2000

A comparative study of symbolic algorithms for the computation of fair cycles

Bloem, R. P., Ravi, K. & Somenzi, F., 2000, International Conference on Formal Methods in Computer-Aided Design. Hunt, W. A. (ed.). ., p. 143-160

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

A comparison of tree transductions defined by monadic second order logic and by attribute grammars

Bloem, R. P. & Engelfriet, J., 2000, In : Journal of computer and system sciences. 61, 1, p. 1-50

Research output: Contribution to journalArticleResearchpeer-review

AD2L- A Programming Language for Model-Based Systems

Wotawa, F., Havelka, T. & Stumptner, W., 2000, International Workshop on Principles of Diagnosis. ., p. ?-?

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

A Framework for the Development of cooperative Configuration Agents

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000, Proceedings of the 13thInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2000). Logananthara, R., Palm, G. & Ali, M. (eds.). Springer, p. 24-33

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

AI Support for Debugging Java Programs

Wotawa, F., Mateis, C., Stumptner, M. & Wieland, D., 2000, International Conference on Software Engineering. ., p. ?-?

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

An algorithm for strongly connected component analysis in n log n symbolic steps

Bloem, R. P., Gabow, H. N. & Somenzi, F., 2000, International Conference on Formal Methods in Computer-Aided Design. Springer, p. 37-54

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

An Environment and Language for Industrial Use of Model-based Diagnosis

Wotawa, F., Fleischanderl, G., Schreiner, H. & Stumptner, M., 2000, European Conference on Artificial Intelligence. ., p. ?-?

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

An Integrated Development Environment for the Design and Maintenance of Large Configuration Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 2000, Artificial Intelligence in Design '00. Dordrecht [u.a.]: Kluwer, p. 169-189

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

Approximations for fixpoint computations in symbolic model chec king

Bloem, R. P., Moon, I-H., Ravi, K. & Somenzi, F., 2000, World Multiconference on Systemics, Cybernetics and Informatics. ., p. 701-706

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

A symmetric strategy in graph avoidance games

Slany, W., Harary, F. & Verbitsky, O., 2000, Combinatorial Games Theory Workshop and Conference. ., p. ?-?

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

A Value-Based Diagnosis Model for Java Programs

Wotawa, F., Mateis, C. & Stumptner, M., 2000, International Workshop on Principles of Diagnosis. ., p. ?-?

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

Conceptual Design for configuration and reconfiguration of customizable products

Felfernig, A., Friedrich, G. & Jannach, D., 2000, Proceedings of the Workshop on Advances in Conceptual Modeling in Design (ACMD00). ., p. 5-21

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

Consistency-based diagnosis of configuration knowledge bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 2000, Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000). IOS Press, p. 146-150

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

Contextual Diagrams as structuring mechanisms for designing configuration knowledge bases in UML

Felfernig, A., Jannach, D. & Zanker, M., 2000, 3rd International Conference on the Unified Modeling Language (UML2000). Evans, A., Kent, S. & Selic, B. (eds.). ., Vol. 1939. p. 240-254 (Springer Lecture Notes in Computer Science).

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

Cooperative Configuration Agents supporting Supply Chain Integration of Configurable Products

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000.

Research output: Contribution to conferencePosterResearch

Cooperative Configuration Agents supporting Supply Chain Integration of Configurable Products

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2000, Proceedings 4th International Conference on Multi-Agent Systems. Los Alamitos, Calif.: Institute of Electrical and Electronics Engineers, p. 385-386

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

Debugging VHDL Designs using Model-Based Reasoning

Wotawa, F., 2000, In : Artificial Intelligence in Engineering. 14, 4, p. 331-351

Research output: Contribution to journalArticleResearchpeer-review

Deriving Qualitative Rules from Neural Networks in Environmental Science

Wotawa, F. & Wotawa, G., 2000, European Conference on Artificial Intelligence. ., p. ?-?

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

Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language

Felfernig, A. & Zanker, M., 2000, Theory and Application of Diagrams. Anderson, M., Cheng, P. & Haarslev, V. (eds.). Berlin [u.a.]: Springer, Vol. 1889. p. 361-375 (Springer 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., 2000, Proceedings of the ECAI 2000 Workshop on Configuration. ., p. 35-40

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

Edge Operations on Non-Crossing Spanning Trees

Aichholzer, O., Aurenhammer, F. & Hurtado, F., 2000, European Workshop on Computational Geometry. ., p. 121-125

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