• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2001

Contributions to schedule optimization methods

Slany, W., 2001

Publikation: StudienabschlussarbeitHabilitationForschung

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. ., S. 8-14

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Der öGAI Preis

Wotawa, F., 2001, in : ÖGAI-Journal. 20, 3, S. ?-?

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Diagnosing tree-structured systems

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, Band 2174. S. 440-454 (Lecture notes in computer science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 434-444

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Distributed Configuring

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Band 2154. S. 456-471 (Lecture notes in computer science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Enumerating order types for small point sets with applications

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Evolutionary computing for shift scheduling and other combinatorial optimization problems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. ?-?

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 6-17

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Fuzzy inductive reasoning for the prediction of maximum ozone concentration

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Generalized self-approaching curves

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, Band 2174. S. 185-197 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 55-66

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Improving the Configuration Knowledge Base Development Process

Felfernig, A., 2001

Publikation: StudienabschlussarbeitDissertationForschung

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, Band 2198. S. 184-188 (Springer Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Band 2071. S. 746-756 (Springer Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Local search for shift design

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Local search for shift design

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Model-Based Debugging

Wotawa, F., 2001

Publikation: StudienabschlussarbeitHabilitationForschung

Modellbasierte Diagnose - Überblick und technische Anwendung

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. ., S. 113-118

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

On the Relationship between Model-based Debugging and Programm Mutation

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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 Aufl. ., S. 298-304

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

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, S. 83-92

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Search Techniques and Automata for Symbolic Model Checking

Bloem, R. P., 2001

Publikation: StudienabschlussarbeitDissertationForschung

Systematic Black-Box Testing of Computer Based Systems through Formal Abstraction Techniques

Aichernig, B., 2001

Publikation: StudienabschlussarbeitDissertationForschung

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

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. (Hrsg.). it Verlag, S. 193-204

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

The complexity of graph Ramsey games

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Towards Compatible Triangulations

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Band 2174. S. 198-212 (Springer Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. ?-?

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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). ., S. 1-8

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Zyklische Schichtplanung

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

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. (Hrsg.). ., S. 143-160

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 1-50

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

AD2L- A Programming Language for Model-Based Systems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. (Hrsg.). Springer, S. 24-33

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

AI Support for Debugging Java Programs

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 37-54

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. ?-?

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 169-189

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 701-706

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

A symmetric strategy in graph avoidance games

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

A Value-Based Diagnosis Model for Java Programs

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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). ., S. 5-21

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung