• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2003

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

Autonomous fast learning in a mobile robot

Maass, W., Steinbauer, G. & Koholka, R., 2002, Sensor Based Intelligent Robots. International Workshop, Dagstuhl, 2000, Selected Revised Papers. Berlin: Springer, Vol. 2238. p. 345-356 (Lecture Notes in Computer Science).

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

Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models

Mayer, W., Stumptner, M., Wieland, D. & Wotawa, F., 2002, European Conference on Artificial Intelligence. Amsterdam, The Netherlands: IOS Press, p. 417-421

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

Combining hypertree, bicomp, and hinge decomposition

Gottlob, G., Hutle, M. & Wotawa, F., 2002, European Conference on Artificial Intelligence. Amsterdam, The Netherlands: IOS Press, p. 161-165

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

Configuration Knowledge Representation using UML/OCL

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, The unified modeling language. Berlin [u.a.]: Springer, Vol. 2460. p. 49-62 (Springer Lecture Notes in Computer Science).

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

Contract-based mutation testing in the Refinement Calculus

Aichernig, B., 2002, In : Electronic Notes in Theoretical Computer Science . 70, 3, p. 351-351

Research output: Contribution to journalArticleResearch

Customizing the interaction with the user in online configuration systems

Ardissono, L., Felfernig, A., Friedrich, G., Goy, A., Jannach, D., Meyer, M., Petrone, G., Schäfer, R., Schütz, W. & Zanker, M., 2002, Proceedings of the Customizing the interaction with the user in online configuration systems. ., p. 119-124

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

Debugging Hardware Designs using a Value-based Model

Wotawa, F., 2002, In : Applied Intelligence. 16, 1, p. 71-92

Research output: Contribution to journalArticleResearchpeer-review

Distributed generative CSP framework for multi-site product configuration

Felfernig, A., Friedrich, G., Jannach, D., Silaghi, M. & Zanker, M., 2002, Proceedings of the ECAI 2002 Workshop on Configuration. Klusch, M., Pechoucek, M. & Polleres, A. (eds.). ., p. 77-81

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

Efficient generation of rotating workforce schedules

Slany, W., Musliu, N. & Gaertner, J., 2002, In : Discrete applied mathematics. 118, 1-2, p. 85-98

Research output: Contribution to journalArticleResearchpeer-review

Endgame problems of Sim-like graph Ramsey avoidance games are PSPACE-complete

Slany, W., 2002, In : Theoretical computer science. 289, 1, p. 829-843

Research output: Contribution to journalArticleResearchpeer-review

Evolution strategy and hierarchical clustering

Aichholzer, O., Aurenhammer, F., Brandstätter, B., Ebner, T., Krasser, H., Magele, C. & Mühlmann, M., 2002, In : IEEE Transactions on Magnetics. 38, 2, p. 1041-1044

Research output: Contribution to journalArticleResearchpeer-review

Fair simulation minimization

Bloem, R. P., Gurumurthy, S. & Somenzi, F., 2002, International Conference on Computer Aided Verification. Springer, p. 610-623

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

Flipturning Polygons

Aichholzer, O., Cortés, C., Demaine, E., Dujmović, V., Erickson, J., Meijer, H., Overmars, M., Palop, B., Ramaswami, S. & Toussaint, G., 2002, In : Discrete & computational geometry. 28, 2, p. 231-253

Research output: Contribution to journalArticleResearchpeer-review

Formal refinement of a cash register system in VDM++

Köb, D., 2002, Graz: . (Technical Report IST)

Research output: Book/ReportOther reportResearch

From Neural Networks to Qualitative Models in Environmental Engineering

Wieland, D., Wotawa, F. & Wotawa, G., 2002, In : Computer-aided civil and infrastructure engineering. 17, p. 104-118

Research output: Contribution to journalArticleResearchpeer-review

Iterative Focusing for Finding Faults in Large Configurator Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M. & Zanker, M., 2002, In : ÖGAI-Journal. 21, 3, p. 13-22

Research output: Contribution to journalArticleResearch

Knowledge Acquisition for building and integrating product configurators

Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. & Schäfer, R., 2002, Collaborative business ecosystems and virtual enterprises. Boston: Kluwer, Vol. 85. p. 193-200 (International Federation for Information Processing).

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

Model-based Debugging or How to Diagnose Programs Automatically

Wotawa, F., Stumptner, W. & Mayer, W., 2002, Developments in applied artificial intelligence. Berlin [u.a.]: Springer, Vol. 2358. p. 746-746 (Lecture notes in computer science : Lecture notes in artificial intelligence).

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

Model-Based Reasoning in Mathematical Tutoring - Preliminary Thoughts and Problems to be solved

Wotawa, F. & Neuper, W., 2002, International Conference on Intelligent Tutoring Systems. ., p. 53-61

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

Multi-site product configuration of telecommunication switches

Felfernig, A., Friedrich, G., Jannach, D., Russ, C. & Zanker, M., 2002, In : Computing <Wien>. 1, 2, p. 1-10

Research output: Contribution to journalArticleResearchpeer-review

Observations and results gained from the jade project

Wotawa, F., Mayer, W., Stumptner, W. & Wieland, D., 2002, International Workshop on Principles of Diagnosis. ., p. ?-?

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

On network design problems: Fixed cost flows and the covering Steiner problem

Slany, W., Even, G. & Kortsarz, G., 2002, Algorithm theory. Penttonen, M. & Schmidt, E. M. (eds.). Berlin [u.a.]: Springer, Vol. 2368. p. 318-329 (Lecture Notes in Computer Science).

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

On the relationship between model-based debugging and program slicing

Wotawa, F., 2002, In : Artificial Intelligence. 135, 1-2, p. 125-143

Research output: Contribution to journalArticleResearchpeer-review

Personalizing online configuration of products and services

Felfernig, A., Ardissono, L., Friedrich, G., Goy, A., Jannach, D., Meyer, M., Petrone, G., Schäfer, R., Schütz, W. & Zanker, M., 2002, Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002). ., p. 225-229

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

Points and combinatorics

Aichholzer, O., Aurenhammer, F. & Krasser, H., 2002, In : Telematik. 8, 1, p. 12-17

Research output: Contribution to journalArticleResearch

Progress on rectilinear crossing numbers

Aichholzer, O., Aurenhammer, F. & Krasser, H., 2002, Graz: . (Technical report)

Research output: Book/ReportOther reportResearch

Quickest paths, straight skeletons, and the city Voronoi diagram

Aichholzer, O., Aurenhammer, F. & Palop, B., 2002, ACM Symposium on Computational Geometry. ., p. 151-159

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

Rapid Knowledge Base Development for Product Configuration Systems using the Unified Modeling Language

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 2002, Domain Oriented Systems Development - Perspectives and Practices. 1 ed. Taylor & Francis Group, p. 119-138

Research output: Chapter in Book/Report/Conference proceedingChapterResearch