• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2004

Forschung an der Fakultät für Informatik

Bischof, H., Posch, K-C. & Wotawa, F., 2004, In : Forschungsjournal der Technischen Universität Graz. SS 04, p. 26-27

Research output: Contribution to journalArticleResearch

Illumination Insensitive Robot Self-Localization Using Panoramic Eigenspaces

Steinbauer, G. & Bischof, H., 2004, Proceedings of RoboCup 2004. Nardi, D., Riedmiller, M., Sammut, C. & Santos-Victor, J. (eds.). Springer, p. 84-96 (Lecture Notes in Computer Science).

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

Improving fault localization of programs by using labeled dependencies

Wotawa, F., Chen, R. & Köb, D., 2004, KI 2004 : Advances in artificial intelligence. Biundo, S., Frühwirth, T. & Palm, G. (eds.). Berlin: Springer, Vol. 3238. p. 366-380 (Lecture notes in computer science : Lecture notes in artificial intelligence).

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

Interactively adding web service interfaces to existing web applications

Slany, W., Baumgartner, R., Gottlob, G. & Herzog, M., 2004, International Symposium on Applications and the Internet, SAINT 2004. Los Alamitos, Calif.: IEEE Computer Soc., p. 74-80

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

Introducing alias information into model-based debugging

Wotawa, F. & Köb, D., 2004, International Workshop on Principles of Diagnosis. ., p. 93-98

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

Introducing alias information into model-based debugging

Wotawa, F. & Köb, D., 2004, European Conference on Artificial Intelligence. ., p. 833-837

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

Konzepte zur flexiblen Konfiguration von Finanzdienstleistungen

Felfernig, A., Mehlau, J., Wimmer, A., Russ, C. & Zanker, M., 2004, In : Banking and Information Technology. 5, 1, p. 5-19

Research output: Contribution to journalArticleResearch

LixtoForAll: Consumer-level Semantic Web-Squeezing and Aggregation

Slany, W., 2004, International Semantic Web Conference. ., p. 73-74

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

Local search for shift design

Slany, W., Musliu, N. & Schaerf, A., 2004, In : European journal of operational research. 153, 1, p. 51-64

Research output: Contribution to journalArticleResearchpeer-review

Manipulation of Pseudo-Triangular Surfaces

Hackl, T., 2004

Research output: ThesisDiploma ThesisResearch

Mobile robots in exhibitions, games and education. Do they really help?

Steinbauer, G. & Wotawa, F., 2004, 1st CLAWAR/Euron Workshop on Robots in Entertainment, Leisure and Hobby. Wien: ., p. 117-118

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

MONET Workshop on Model-Based Systems (Workshop 28 - ECAI 2004)

Wotawa, F. (ed.), 2004, .

Research output: Book/ReportAnthologyResearch

Mostly Harmless Team Description 2004

Steinbauer, G., Deutsch, C., Fraser, G., Hagler, M., Mühlenfeld, A., Richter, S., Wöber, G. & Wolf, J., 2004, Proceedings of the International RoboCup Symposium. ., Vol. 8. p. 0-0

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

On the lengths of symmetry breaking-preserving games on graphs

Slany, W., Harary, F. & Verbitsky, O., 2004, In : Theoretical computer science. 303, 3, p. 427-446

Research output: Contribution to journalArticleResearchpeer-review

On the number of pseudo-triangulations of certain point sets

Aichholzer, O., Orden, D., Santos, F. & Speckmann, B., 2004, European Workshop on Computational Geometry. ., p. 119-122

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., 2004, Produktmodellierung und Produktkonfiguration im Financial Planning. 1 ed. Gabler, p. 379-388

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Quickest paths, straight skeletons, and the city Voronoi diagram

Aichholzer, O., Aurenhammer, F. & Palop, B., 2004, In : Discrete & computational geometry. 31, 1, p. 17-35

Research output: Contribution to journalArticleResearchpeer-review

Static and Dynamic Analysis in Automated Debugging

Wotawa, F., Chen, R., Köb, D. & Peischl, B., 2004, European Conference on Artificial Intelligence. ., p. 3-8

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

Toolkits supporting Open Innovation in E-Government

Felfernig, A., Russ, C. & Wundara, M., 2004, Proceedings of the 6th International Conference on Enterprise Information Systems (ICEIS2004). Sétubal: INSTICC, p. 296-303

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

Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach

Wotawa, F. & Peischl, B., 2004, International Workshop on Principles of Diagnosis. ., p. 161-166

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

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