• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

2000

Theory and practice of shift scheduling

Slany, W., Musliu, N., Kortsarz, G. & Gärtner, J., 2000, RIMS Kokyuroku Vol. 1185. ., p. 172-181

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

Theory and practice of shift scheduling (invited paper)

Slany, W., 2000, Workshop on Algorithm Engineering as a New Paradigm: A Challenge to Hard Computation Problems. ., p. 35-35

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

UML ad domain specific language for the construction of knowledge-based configuration systems

Felfernig, A., Friedrich, G. & Jannach, D., 2000, In : International journal of software engineering and knowledge engineering. 10, 4, p. 449-470

Research output: Contribution to journalArticleResearchpeer-review

Using Model-Based Reasoning for Locating Faults in VHDL Designs

Wotawa, F. & Stumptner, M., 2000, In : Künstliche Intelligenz. 14, 4, p. 62-67

Research output: Contribution to journalArticleResearch

1999

A Functional Dependency Model for Java Programs

Wotawa, F., Mateis, C. & Stumptner, M., 1999, In : DBAI technical reports. TR-99-xx, p. ?-?

Research output: Contribution to journalArticleResearch

Consistency-based Diagnosis of Configuration Knowledge Bases

Felfernig, A., Friedrich, G., Jannach, D. & Stumptner, M., 1999, Proceedings of the AAAI'99 Workshop on Configuration. ., p. 41-47

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

Debugging Functional Programs

Wotawa, F. & Stumptner, M., 1999, International Joint Conference on Artificial Intelligence. ., p. 1074-1079

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

Debugging of Java programs using a model-based approach

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

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

Debugging synthesizeable VHDL Programs

Wotawa, F., 1999, International Workshop on Principles of Diagnosis. ., p. ?-?

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

Efficient decision procedures for model checking of linear time logic properties

Bloem, R. P., Ravi, K. & Somenzi, F., 1999, International Conference on Computer Aided Verification. Springer, p. 222-235

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

Executable specifications in software reliability engineering

Aichernig, B., 1999, Workshop on Formal Descriptions and Software Reliability. ., p. ?-?

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

Graph Ramsey games

Slany, W., 1999, . (Technical Report DBAI-TR-99-34)

Research output: Book/ReportOther reportResearch

Guest--Editorial Special Issue on Model-Based Reasoning

Wotawa, F., 1999, In : AI Communications. 12(1/2), p. ?-?

Research output: Contribution to journalArticleResearchpeer-review

Intelligente Produktkonfiguratoren als Voraussetzung für maßgeschneiderte Massenprodukte

Felfernig, A., Friedrich, G. & Jannach, D., 1999, In : e&i - Elektrotechnik und Informationstechnik. 116, 3, p. 201-207

Research output: Contribution to journalArticleResearchpeer-review

Jade - java diagnosis experiments - status and outlook

Wotawa, F. & Stumptner, M., 1999, International Joint Conference on Artificial Intelligence. ., p. ?-?

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

Knowledge Acquisition for Configuration Systems: UML as a link between AI and Software Engineering

Felfernig, A., Friedrich, G. & Jannach, D., 1999, Proceedings of the 13th Workshop Planen und Konfigurieren (PuK). ., p. 72-81

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

Knowledge base construction for configuration systems using executable standard design descriptions

Felfernig, A., 1999, Proceedings of World Manufacturing Congress. ., p. 274-281

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

Knowledge Base Construction for Product configuration Systems using Executable standard Design Descriptions

Felfernig, A., Friedrich, G., Jannach, D. & Zanker, M., 1999, Proceedings of the 2nd World Manufacturing Congress. ., p. 274-281

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

Local Maximum Ozone Concentration Prediction Using Neural Networks

Wotawa, F. & Wieland, D., 1999, AAAI-Workshop on Environmental Decision Support Systems and Artificial Intelligence. ., p. ?-?

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

Model-based diagnosis of hardware designs

Wotawa, F. & Friedrich, G., 1999, In : Artificial Intelligence. 111(2), p. 3-39

Research output: Contribution to journalArticleResearchpeer-review

New Directions in Debugging Hardware Designs

Wotawa, F., 1999, In : DBAI technical reports. TR-99-24, p. ?-?

Research output: Contribution to journalArticleResearch

New Directions in Debugging Hardware Designs

Wotawa, F., 1999, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. ?-?

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

New results on MWT subgraphs

Aichholzer, O., Aurenhammer, F. & Hainz, R., 1999, In : Information Processing Letters. 69, p. 215-219

Research output: Contribution to journalArticleResearchpeer-review

Reconfiguration using model-based diagnosis

Wotawa, F. & Stumptner, M., 1999, International Workshop on Principles of Diagnosis. ., p. ?-?

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

Shiftplanassistant 4.0 -- state of development

Slany, W., Wahl, S., Muslija, N., Angelova, R., Herber, G. & Janke, M., 1999, Shiftwork International Newsletter ; 16(2). ., p. 124-124

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

Shift scheduling from a combinatorial optimization point of view

Slany, W., Muslija, N. & Gaertner, J., 1999, ALIO-EURO Workshop on Applied Combinatorial Optimization. ., p. ?-?

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

Skew Voronoi diagrams

Aichholzer, O., Aurenhammer, F., Chen, D. Z., Lee, D. T. & Papadopoulou, E., 1999, In : International Journal of Computational Geometry and Applications. 9, 3, p. 235-247

Research output: Contribution to journalArticleResearchpeer-review

The Design Diagnosis of VHDL Specificiations Project (DDV) - Fault Localization in Hardware Designs

Wotawa, F., Albrecht, T., Friedrich, G., Rohringer, S. & Stumptner, M., 1999, In : ÖGAI-Journal. 18, 1, p. ?-?

Research output: Contribution to journalArticleResearch

The graph Ramsey achievement game is PSPACE-complete

Slany, W., 1999, Research Communications of the conference held in memory of Paul Erd H os (ERD H OS'99). ., p. 231-235

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

Towards a framework for mobile diagnosis agents

Wotawa, F. & Piccardi, C., 1999, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. ?-?

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

UML as a link between AI and Software Engineering

Felfernig, A., Friedrich, G. & Jannach, D., 1999, Proceedings of the Workshop Planen und Konfigurieren. ., p. 72-81

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

UML as domain-oriented language for the construction of complex knowledge-based configuration systems

Felfernig, A., 1999, 1999 Workshop on Domain-oriented Software Development (DosD). ., p. 1-8

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

UML as domain specific language for the construction and maintenance of simulation models

Felfernig, A. & Erkollar, A., 1999, Proceedings of the 11th European Simulation Symposium 1999. ., p. 31-35

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

UML as domain specific language for the construction of knowledge-based configuration systems

Felfernig, A., Friedrich, G. & Jannach, D., 1999, Proceedings of the 11th International Conference on Software Engineering and Knowledge Engineering (SEKE99). ., p. 337-345

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

Using UML as domain specific modelling language for the construction and maintenance of simulation models in the area of circuit board production

Felfernig, A. & Erkollar, A., 1999, Proceedings of Informs 1999. ., p. 4-9

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

Workshop on Configuration

Faltings, B. (ed.), Felfernig, A. (ed.) & Friedrich, G. (ed.), 1999, .

Research output: Book/ReportAnthologyResearch

1998

Approximate reasoning in scheduling

Slany, W., 1998, In : International journal of approximate reasoning. 19, 1-2, p. 1-3

Research output: Contribution to journalArticleResearchpeer-review

A reusable iterative optimization library to solve combinatorial problems with approximate reasoning

Slany, W. & Raggl, A., 1998, In : International journal of approximate reasoning. 19, 1-2, p. 161-191

Research output: Contribution to journalArticleResearchpeer-review

A reusable iterative optimization library to solve combinatorial problems with approximate reasoning

Slany, W. & Raggl, A., 1998, . (Technical Report DBAI-TR-98-23)

Research output: Book/ReportOther reportResearch

A Survey of Intelligent Debugging

Wotawa, F. & Stumptner, M., 1998, In : AI Communications. 11(1), p. ?-?

Research output: Contribution to journalArticleResearchpeer-review

Automated requirements testing with abstract oracles

Aichernig, B., 1998, Fast abstracts and industrial practices. Paderborn: IEEE Computer Soc., p. 21-22

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

Constant-level greedy triangulations approximate the MWT well

Aichholzer, O., Aurenhammer, F., Rote, G. & Xu, Y., 1998, In : Journal of combinatorial optimization. 2, p. 361-369

Research output: Contribution to journalArticleResearchpeer-review

Efficient -String Searching Based on Pre-clustering

Aichholzer, O., 1998, European Workshop on Computational Geometry. ., p. 11-13

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

Generalized self-approaching curves

Aichholzer, O., Aurenhammer, F., Icking, C., Klein, R., Langetepe, E. & Rote, G., 1998, Algorithms and computation. Berlin [u.a.]: Springer, Vol. 1533. p. 317-326 (Lecture Notes in Computer Science).

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

Generalized self-approaching curves

Aichholzer, O., Aurenhammer, F., Icking, C., Klein, R., Langetepe, E. & Rote, G., 1998, European Workshop on Computational Geometry. ., p. 15-18

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

Industrial multiple criteria scheduling with fuzzy constraints

Slany, W., 1998, Handbook of Fuzzy Computations, chapter G16.1.. 1 ed. Oxford University Press and IOP Publishing Ltd., New York and Bristol, p. ?-?

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

Mbd research activities at vienna university of technology

Wotawa, F. & Stumptner, M., 1998, European Conference on Artificial Intelligence. ., p. ?-?

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

Model-based debugging of functional programs

Wotawa, F. & Stumptner, M., 1998, International Workshop on Principles of Diagnosis. ., p. ?-?

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

Model-based reconfiguration

Wotawa, F. & Stumptner, M., 1998, Artificial intelligence in design '98. Dordrecht: Kluwer, p. ?-?

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

Research at DBAI on logic and complexity

Wotawa, F., Gottlob, G., Leone, N., Slany, W. & Veith, H., 1998, In : ÖGAI-Journal. p. ?-?

Research output: Contribution to journalArticleResearch