• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

1998

Straight skeletons for general polygonal figures in the plane

Aichholzer, O. & Aurenhammer, F., 1998, Voronoi's impact of modern sciences / Vol. 2. Kiev: ., Vol. 21. p. 7-21 (Proceedings of the Institute of Mathematics of the National Academy of Sciences of Ukraine).

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

VHDLDIAG+:Value-level Diagnosis of VHDL Programs

Wotawa, F. & Stumptner, M., 1998, In : DBAI technical reports. TR-98-01, p. ?-?

Research output: Contribution to journalArticleResearch

1997

A Proof Obligation Generator for the IFAD VDM-SL Toolbox

Aichernig, B., 1997

Research output: ThesisDiploma ThesisResearch

A proof obligation generator for VDM-SL

Aichernig, B. & Larsen, P. G., 1997, Industrial applications and strengthened foundations of formal methods. Berlin: Springer, Vol. 1313. p. 338-357 (Lecture Notes in Computer Science).

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

Characterization of properties and relations defined in monadic second order logic on the nodes of trees

Bloem, R. P. & Engelfriet, J., 1997, Springer. (Technical Report)

Research output: Book/ReportCommissioned reportResearch

Diagnosing tree-structured systems

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

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

Diagnosing Tree-Structured Systems

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

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

FLIP++: A fuzzy logic inference processor library

Slany, W., Bonner, M., Mayer, S. & Raggl, A., 1997, In : Artificial Intelligence. 1188, p. 44-56

Research output: Contribution to journalArticleResearchpeer-review

Monadic second order logic and node relations on graphs and trees

Bloem, R. P. & Engelfriet, J., 1997, Lecture notes in computer science 1261. 1 ed. Springer, p. 144-161

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

New results on minimum-weight triangulations and the LMT skeleton

Aichholzer, O., Hainz, R. & Aurenhammer, F., 1997, European Workshop on Computational Geometry. ., p. 4-6

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

Report on the ASHCOMP 96 school and workshop on approximate solutions of hard combinatorial problems

Slany, W. & Gottlob, G., 1997, .

Research output: Book/ReportOther reportResearch

StarFLIP++ Version 1.0: A reusable iterative optimization library for combinatorial problems with fuzzy constraints

Slany, W. & Reichel, C., 1997, Institute of Information Systems (E184-2), Vienna University of Technology: . (Technical Report DBAI-TR-97-11)

Research output: Book/ReportOther reportResearch

The Path of a Triangulation

Aichholzer, O., 1997, European Workshop on Computational Geometry. ., p. 1-3

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

1996

*FLIP++: a partial constraint satisfaction system for steelmaking scheduling

Slany, W., Santa, U. & Younes, M., 1996, International Conference on the Practical Applications of Constraint Technology (PACT'96): Scheduling, Resource Allocation, Planning, Configuration. ., p. 211-220

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

A consistency checker for a fuzzy diagnosis system applied to warm rolling-mills in steelmaking plants

Slany, W. & Vavsvcák, J., 1996, International Conference on Fuzzy Systems--FUZZ-IEEE'96. ., Vol. 1. p. 206-212

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

A knowledge-base revision tool for the fuzzy constraints-based *FLIP++ scheduling library

Slany, W., 1996, Proceedings of the Fifth IEEE International Conference on Fuzzy Systems / Vol. 1. Piscataway, NJ: IEEE Service Center, p. 306-312

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

A model-based approach to software debugging

Wotawa, F. & Stumptner, M., 1996, In : DBAI technical reports. TR-96-05, p. ?-?

Research output: Contribution to journalArticleResearch

A model-based approach to software debugging

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

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

A model-based tool for finding faults in hardware designs

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

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

A proposal of hard- and software for desulphurization control with neural networks and fuzzy logic

Slany, W., Leisch, F., Hornik, K. & Bonner, M., 1996, . (CD-Studie)

Research output: Book/ReportOther reportResearch

Attribute Grammars and Monadic Second Order Logic

Bloem, R. P., 1996

Research output: ThesisMaster's ThesisResearch

CheckFLIP++: A knowledge acquisition tool for the fuzzy constraints-based *FLIP++ scheduling library

Slany, W., 1996, Information processing and management of uncertainty in knowledge-based systems / Vol. 2. ., p. 611-616

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

Clustering the hypercube

Aichholzer, O., 1996, Graz: . (SFB-Report, SFB 'Optimierung und Kontrolle')

Research output: Book/ReportOther reportResearch

Comparison of iterative improvement techniques for schedule optimization

Slany, W., Dorn, J., Girsch, M. & Skele, G., 1996, In : European journal of operational research. 94(2), p. 349-361

Research output: Contribution to journalArticleResearchpeer-review

Constant-level greedy triangulations approximate the MWT well

Aichholzer, O., Aurenhammer, F., Rote, G. & Xu, Y., 1996, Operations research and its applications. Beijing: World Publ. Corp, Vol. 2. p. 309-318 (Lecture Notes in Operations Research).

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

DomFLIP++

Slany, W., Hendrysiak, W. & Raggl, A., 1996, Intelligent systems and soft computing for nuclear science and industry. Singapore: World Scientific, p. 123-129

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

DynaFLIP++: a knowledge interpreter that matches dynamic domain knowledge with static fuzzy constraints

Slany, W., 1996, Methodologies for the conception, design, and application of intelligent systems / Vol. 2. Singapore: World Scientific, p. 955-958

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

Fuzzy logic in artificial intelligence

Slany, W. & Klement, E. P., 1996, Encyclopedia of Computer Science and Technology. 1 ed. ., Vol. 34. p. ?-?

Research output: Chapter in Book/Report/Conference proceedingChapterResearch

InterFLIP++: A GUI for FLIP++

Slany, W. & Mayer, S., 1996, Proceedings. ., p. 197-202

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

Man machine cooperation for learning a complex control task

Slany, W. & Bonner, M., 1996, . (CD-Studie)

Research output: Book/ReportOther reportResearch

Man machine cooperation for learning a complex control task with FLIP++

Slany, W. & Bonner, M., 1996, EFDAN '96. Dortmund: Fuzzy Demonstrations-Zentrum, p. 115-120

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

Model-based diagnosis of hardware description languages

Wotawa, F. & Stumptner, M., 1996, CESA IMACS Multiconference. ., p. ?-?

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

Model-based diagnosis of hardware description languages

Wotawa, F. & Stumptner, M., 1996, In : DBAI technical reports. TR-96-07, p. ?-?

Research output: Contribution to journalArticleResearch

Model-based diagnosis of hardware designs

Wotawa, F., Friedrich, G. & Stumptner, M., 1996, European Conference on Artificial Intelligence. ., p. ?-?

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

Model-based program debugging and repair

Wotawa, F. & Stumptner, M., 1996, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. ?-?

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

Model-based program debugging and repair

Wotawa, F., 1996, In : DBAI technical reports. TR-96-06, p. ?-?

Research output: Contribution to journalArticleResearch

Modeling constraints with the fuzzy logic inference processor FLIP++

Slany, W., Bonner, M., Mayer, S. & Raggl, A., 1996, Proceedings / EUFIT '96 ; Vol. 2. Aachen: Mainz, p. 1312-1316

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

New greedy triangulation algorithms

Aichholzer, O., Aurenhammer, F., Rote, G. & Xu, Y., 1996, European Workshop on Computational Geometry. ., p. 11-14

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

Scheduling as a fuzzy multiple criteria optimization problem

Slany, W., 1996, In : Fuzzy sets and systems. 78, p. 197-222

Research output: Contribution to journalArticleResearchpeer-review

Straight skeletons for general polygonal figures

Aichholzer, O. & Aurenhammer, F., 1996, 2nd Ann. Int'l. Computing and Combinatorics Conf. COCOON'96. Springer, Vol. 1090. p. 117-126 (Lecture Notes in Computer Science).

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

Straight skeletons for general polygonal figures in the plane

Aichholzer, O. & Aurenhammer, F., 1996, Computing and combinatorics. Berlin [u.a.]: Springer, Vol. 1090. p. 117-126 (Lecture Notes in Computer Science).

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

The automatic check of knowledge base consistency

Slany, W. & Vavsvcák, J., 1996, Intelligent Technologies - Symposium on new trends in control of large-scale systems. Kosice: ELFA, p. 113-122

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

Triangulations intersect nicely

Aichholzer, O., Aurenhammer, F., Cheng, S-W., Katoh, N., Rote, G., Taschwer, M. & Xu, Y-F., 1996, In : Discrete & computational geometry. 16, 4, p. 339-359

Research output: Contribution to journalArticleResearchpeer-review

Triangulation
Intersect
Independence System
Network Flow
Point Sets

Two algorithms for model-based diagnosis

Wotawa, F. & Stumptner, M., 1996, In : DBAI technical reports. TR-96-08, p. ?-?

Research output: Contribution to journalArticleResearch

1995

A graph representation for diagnosing the execution of functional programs

Wotawa, F. & Stumptner, M., 1995, In : DBAI technical reports. TR-95-02, p. ?-?

Research output: Contribution to journalArticleResearch

A novel type of skeleton for polygons

Aichholzer, O., Alberts, D., Aurenhammer, F. & Gärtner, B., 1995, In : Journal of Universal Computer Science . 1, 12, p. 752-761

Research output: Contribution to journalArticleResearchpeer-review

A Simple Linear Time Greedy Triangulation Algorithm for Uniformly Distributed Points

Aichholzer, O., Drysdale, R. & Rote, G., 1995, European Workshop on Computational Geometry. ., p. ?-?

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