• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2004

Towards a Unified Modeling Language for Diagnosis

Wotawa, F., 2004, European Conference on Artificial Intelligence. ., p. 29-33

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

Using Knowledge-based Advisor Technology for Improved Customer Satisfaction in the Shoe Industry

Felfernig, A., Stoefler, D., Russ, C. & Zanker, M., 2004, International Conference on Economic, Technical and organisational aspects of Product Configuration Systems. ., p. 20-22

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

Using Model-based Reasoning for Generating Explanations from Environmental Models

Wotawa, F., 2004, EU-LAT Workshop on e-Environment. ., Vol. 11. p. 341-354

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

2003

A Coalgebraic Calculus for Component Based Systems

Meng, S. & Aichernig, B., 2003, Workshop on Formal Aspects of Component Software (FACS'03). ., Vol. 284. p. 27-46 (UNU-IIST Technical Reports).

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

A Framework for the Development of personalized, distributed Web-Based Configuration Systems

Ardissono, L., Felfernig, A., Friedrich, G., Goy, A., Jannach, D., Petrone, G., Ralph, S. & Zanker, M., 2003, In : AI Magazine. 24, 3, p. 93-110

Research output: Contribution to journalArticleResearchpeer-review

A hybrid network flow tabu search heuristic for the minimum shift design problem

Slany, W., Di Gaspero, L., Gaertner, J., Kortsarz, G., Musliu, N. & Schaerf, A., 2003, Metaheuristics International Conference. ., p. 0-0

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

AI-Planning for Robotic Soccer

Fraser, G., 2003

Research output: ThesisDiploma ThesisResearch

Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

Peischl, B. & Wotawa, F., 2003, DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. ., p. 175-180 (DX Woskshop Series).

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

Configuration Knowledge Representations for Semantic Web Applications

Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M. & Zanker, M., 2003, In : Artificial Intelligence for Engineering Design, Analysis and Manufacturing. 17, 2, p. 31-50

Research output: Contribution to journalArticleResearchpeer-review

Contract-based Testing

Aichernig, B., 2003, Formal Methods at the Crossroads: from Panacea to Foundational Support. Berlin, ...: Springer Verlag, Vol. 2757. p. 34-48 (Lecture Notes in Computer Science).

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

Coupling CSP Decomposition and Diagnosis for Tree-Structured Systems

Stumptner, M. & Wotawa, F., 2003, Fourteenth International Workshop on Principles of Diagnosis (DX-03). ., p. 125-130

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

Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems

Stumptner, M. & Wotawa, F., 2003, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI). San Francisco: Morgan Kaufmann Publishers, p. 388-393

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

Debugging Program Exceptions

Mayer, W., Stumptner, M. & Wotawa, F., 2003, Fourteenth International Workshop on Principles of Diagnosis (DX-03). Ali, M. & Dapoigny, R. (eds.). ., p. 119-124

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

Debugging VHDL Designs Using Temporal Process Instances

Peischl, B., Wotawa, F. & Köb, D., 2003, Developments in Artificial Intelligence. Chung, P. W. H., Hinde, C. & Ali, M. (eds.). Berlin, Heidelberg: Springer, Vol. 2718. p. 402-415 (Lecture notes in computer science : Lecture Notes in Artificial Intelligence).

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

Debugging With an Enriched Dependency-based Model or How to Distinguish Between Aliasing and Value Assignment

Chen, R. & Wotawa, F., 2003, Seventeenth International Workshop on Qualitative Reasoning (QR). ., p. 55-62

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

Degree bounds for constrained pseudo-triangulations

Aichholzer, O., Hoffmann, M., Speckmann, B. & Tóth, C. D., 2003, Canadian Conference on Computational Geometry. ., p. 155-158

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

Developing Constraint-based Applications with Spreadsheets

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2003, Proceedings of the IJCAI 2003 Workshop on Configuration. ., p. 70-75

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

Developing Constraint-based Applications with Spreadsheets

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2003, Proceedings of 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence. Chung, P. W. H., Hinde, C. & Ali, M. (eds.). ., p. 197-207

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

Distributed Generative CSP Approach towards multi-site product configuration

Felfernig, A., Friedrich, G., Jannach, D., Silaghi, M. & Zanker, M., 2003, Proceedings of the Workshop on Immediate Applications of Constraint Programming (ACP). ., p. 100-123

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

Efficient Volume Measurement using Voxelization

Reitinger, B., Bornik, A. & Beichel, R., 2003, Proc. of the Spring Conference on Computer Graphics. K. Joy and L. Szirmay-Kalos, eds., p. 57-64

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

Environmental Decision Support Systems (Workshop IJCAI-03)

Wotawa, F. (ed.), 2003, .

Research output: Book/ReportAnthologyResearch

Guest Editorial - Spezial Issue on Binding Environmental Science and Artificial Intelligence

Cortes, U., Sanchez-Marre, M. & Wotawa, F., 2003, In : AI Communications. 16, 4, p. 219-220

Research output: Contribution to journalArticleResearchpeer-review

Long Proteins with Unique Optimal Foldings in the H-P Model

Aichholzer, O., Bremner, D., Demaine, E., Meijer, H., Sacristán, V. & Soss, M., 2003, In : Computational geometry. 25, 1-2, p. 139-159

Research output: Contribution to journalArticleResearchpeer-review

Model-Based Diagnosis or Reasoning from First Principles

Peischl, B. & Wotawa, F., 2003, In : IEEE Intelligent Systems. 18, 3;May/June, p. 32-37

Research output: Contribution to journalArticleResearchpeer-review

Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach

Wotawa, F. & Peischl, B., 2003, Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). ., p. 197-210

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

Modulbasiertes Hardware-Design für Autonome Mobile Mehrzweck-Roboter

Steinbauer, G., Koholka, R., Röhrer, R., Hartl, H., Wotawa, F. & Mühlenfeld, A., 2003, Informationstagung Mikroelektronik 2003. Wien: ÖVE, Vol. 33. p. 505-510 (ÖVE-Schriftenreihe).

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

Mostly Harmless Team Description

Steinbauer, G., Faschinger, M., Richter, S., Wöber, G., Wolf, J., Fraser, G. & Mühlenfeld, A., 2003, Proceeding of the International RoboCup Symposium. ., Vol. 7. p. 0-0

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

Multisite product configuration of telecommunication switches

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2003, Proceedings of 21th International Conference on Applied Informatics. Anaheim [u.a.]: Acta Press, p. 113-118

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

Mutation Testing in the Refinement Calculus

Aichernig, B., 2003, In : Formal aspects of computing. 15, 2, p. 280-295

Research output: Contribution to journalArticleResearchpeer-review

Open Source Software: challenges and prospects for developing countries

Aichernig, B., 2003, In : Technology policy briefs. 2, 2, p. 8-10

Research output: Contribution to journalArticleResearch

Plan Description and Execution with Invariants, The Planning System of the RoboCup Team Mostly Harmless

Fraser, G. & Wotawa, F., 2003, In : ÖGAI-Journal. 22, 4, p. 2-7

Research output: Contribution to journalArticleResearch

Playing with Triangulations

Aichholzer, O., Bremner, D., Demaine, E. D., Hurtado, F., Kranakis, E., Krasser, H., Ramaswami, S., Sethia, S. & Urrutia, J., 2003, Discrete and computational geometry. Berlin [u.a.]: Springer, Vol. 2866. p. 22-37 (Lecture Notes in Computer Science).

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

Produktmodellierung und Produktkonfiguration im Financial Planning

Wimmer, A., Felfernig, A., Jannach, D., Mehlau, J., Russ, C. & Zanker, M., 2003, In : Banking and Information Technology. 4, 1, p. 43-52

Research output: Contribution to journalArticleResearch

RoboCup in Austria

Steinbauer, G., 2003, In : ÖGAI-Journal. 22, 3, p. 2-7

Research output: Contribution to journalArticleResearch

Spatial Embedding of Pseudo-Triangulations

Aichholzer, O., Aurenhammer, F., Brass, P. & Krasser, H., 2003, Proceedings of the Nineteenth Annual Symposium on Computational Geometry (SCG '03). NEW York, NY: Association of Computing Machinery, p. 144-153

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

Systemverifikation im Designprozess heterogener mikroelektrischer Systeme

Pistauer, M., Steger, C., Kajtazovic, S. & Pill, I. H., 2003, ANALOG 2003'. Berlin [u.a.]: VDE Verlag GmbH, Vol. 177. p. 43-44 (ITG-Fachbericht).

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

Test Derivation in a Refinement Process

Aichernig, B., 2003, RCS'03 - 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments. ., p. ?-?

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

The Commuting V-Diagram: on the Relation of Refinement and Testing

Aichernig, B., 2003, Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium. Baaz, M. & Makowsky, J. A. (eds.). Springer, Vol. 2803. p. 15-28 (Lecture notes in computer science).

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

The minimum shift design problem: theory and practice

Slany, W., Di Gaspero, L., Gärtner, J., Kortsarz, G., Musliu, N. & Schaerf, A., 2003, Algorithms - ESA 2003. Berlin, Heidelberg [u.a.]: Springer, Vol. 2832. p. 593-604 (Lecture notes in computer science).

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

The zigzag path of a pseudo-triangulation

Aichholzer, O., Rote, G., Speckmann, B. & Streinu, I., 2003, International Workshop on Algorithms and Data Structures. ., Vol. 2748. p. 377-389

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

Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs

Peischl, B. & Wotawa, F., 2003, Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. ., Vol. 14. p. 181-186 (DX Workshop Series).

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., 2003, Knowledge Transformation for the Semantic Web. 1 ed. IOS Press, p. 154-168

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

2002

A Case Study: Application of Wearable Computers in Paperless Picking Systems

Kreiner, C., Käfer, G., Voit, K. & Weiß, R., 2002, Proceedings of the Workshop on Mobile Computing (TCMC 2001). Graz: ., p. 21-24

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

Acquiring Configuration Knowledge Bases in the Semantic Web

Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M. & Zanker, M., 2002, Knowledge Engineering and Knowledge Management. Gómez-Pérez, A. & Benjamins, V. R. (eds.). Berlin [u.a.]: Springer, Vol. 2473. p. 352-357 (Springer Lecture Notes in Computer Science).

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

A Framework for Rapid Development of Advanced Web-based Configurator Applications

Ardissono, L., Felfernig, A., Jannach, D., Friedrich, G., Schäfer, R. & Zanker, M., 2002, Proceedings of the 15th European Conference on Artificial Intelligence - Prestigious Applications of Intelligent Systems (PAIS). ., p. 618-622

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

A Joint Foundation for Configuration in the Semantic Web

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

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

Analysis of symbolic SCC hull algorithms

Bloem, R. P., Somenzi, F. & Ravi, K., 2002, International Conference on Formal Methods in Computer-Aided Design. Aagaard, M. D. & O’Leary, J. W. (eds.). Springer, p. 88-105

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

Architectural Software Power Estimation Support for Power Aware Remote Processing

Käfer, G., Haid, J., Weiß, R. & Voit, K., 2002, (Submitted) IASTED International Conference on Parallel and Distributed Computing and Systems. .

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