• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

2004

Applying Function Point Analysis to Effort Estimation in Configurator Development

Felfernig, A. & Salbrechter, A., 2004, International Conference on Economic, Technical and organisational aspects of Product Configuration Systems. ., S. 109-119

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

Applying Natural-Language Processing to Knowledge-based Configuration

Felfernig, A., Fliedl, G. & Kop, C., 2004, Proceedings of the ECAI 2004 Workshop on Configuration. ., S. 1-6

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

A quadratic distance bound on sliding between crossing-free spanning trees - extended abstract

Aichholzer, O. & Reinhardt, K., 2004, European Workshop on Computational Geometry. ., S. 13-16

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

Architectural Software Power Estimation Support for Power Aware Remote Processing

Käfer, G., Haid, J., Weiß, R. & Voit, K., 2004, in : International journal of computers and applications. 26, 3, S. 1-6

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Are Error Traces Enough for Automated Fault Localization in VHDL Designs?

Wotawa, F. & Peischl, B., 2004, Workshop on Intelligent Solutions in Embedded Systems. ., S. 49-60

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

Berechnung strategischer Zielpositionen in Multi-Agent Systemen

Weiglhofer, M., 2004

Publikation: StudienabschlussarbeitBachelorarbeitForschung

Consistency-based Diagnosis of configuration knowledge bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 2004, in : Artificial Intelligence. 152, 2, S. 213-234

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Convexity minimizes pseudo-triangulations

Aichholzer, O., Aurenhammer, F., Krasser, H. & Speckmann, B., 2004, in : Computational geometry. 28, S. 3-10

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Cooperative planning and plan execution in partially observable dynamic domains

Wotawa, F. & Fraser, G., 2004, RoboCup International Symposium. ., S. 0-0

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

Debugging vhdl designs: Introducing multiple models and first empirical results

Wotawa, F., 2004, in : Applied Intelligence. 21, S. 159-172

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Diagnosing java programs with static abstractions of data structures

Wotawa, F., Chen, R. & Köb, D., 2004, Intelligent information processing II. Shi, Z. & He, Q. (Hrsg.). Boston: Kluwer, Band 163. S. 369-372 (International Federation for Information Processing).

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

Effort Estimation for Knowledge-based Configuration Systems

Felfernig, A., 2004, Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering (SEKE2004). ., S. 148-154

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

Effort Estimation for Knowledge-based Configuration Systems,” in Workshop on Configuration

Felfernig, A., 2004, Proceedings of the ECAI 2004 Workshop on Configuration. ., S. 1-6

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

Exploiting alias information to fault localization for java programs

Wotawa, F. & Chen, R., 2004, International Conference on Computational Intelligence for Modelling, Control and Automation. ., S. 680-692

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

Exploiting Static Abstraction of Data Structures for Debugging

Wotawa, F., Chen, R. & Köb, D., 2004, European Conference on Artificial Intelligence. ., S. 9-14

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

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, S. 26-27

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

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. (Hrsg.). Springer, S. 84-96 (Lecture Notes in Computer Science).

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

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. (Hrsg.). Berlin: Springer, Band 3238. S. 366-380 (Lecture notes in computer science : Lecture notes in artificial intelligence).

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

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., S. 74-80

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

Introducing alias information into model-based debugging

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

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

Introducing alias information into model-based debugging

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

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

Konzepte zur flexiblen Konfiguration von Finanzdienstleistungen

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

LixtoForAll: Consumer-level Semantic Web-Squeezing and Aggregation

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

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

Local search for shift design

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Manipulation of Pseudo-Triangular Surfaces

Hackl, T., 2004

Publikation: StudienabschlussarbeitDiplomarbeitForschung

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

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

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

Wotawa, F. (Hrsg.), 2004, .

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

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

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

On the lengths of symmetry breaking-preserving games on graphs

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

On the number of pseudo-triangulations of certain point sets

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

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

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 Aufl. Gabler, S. 379-388

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

Quickest paths, straight skeletons, and the city Voronoi diagram

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Static and Dynamic Analysis in Automated Debugging

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

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

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, S. 296-303

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

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. ., S. 161-166

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

Towards a Unified Modeling Language for Diagnosis

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

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

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. ., S. 20-22

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

Using Model-based Reasoning for Generating Explanations from Environmental Models

Wotawa, F., 2004, EU-LAT Workshop on e-Environment. ., Band 11. S. 341-354

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

2003

A Coalgebraic Calculus for Component Based Systems

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

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

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, S. 93-110

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

AI-Planning for Robotic Soccer

Fraser, G., 2003

Publikation: StudienabschlussarbeitDiplomarbeitForschung

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. ., S. 175-180 (DX Woskshop Series).

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

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Contract-based Testing

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

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

Coupling CSP Decomposition and Diagnosis for Tree-Structured Systems

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

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

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, S. 388-393

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

Debugging Program Exceptions

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

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

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. (Hrsg.). Berlin, Heidelberg: Springer, Band 2718. S. 402-415 (Lecture notes in computer science : Lecture Notes in Artificial Intelligence).

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

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

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