• 8010

    Inffeldgasse 16b Graz

    Austria

Research Output 1986 2019

Filter
Other report
2015

Bounded Determinization of Timed Automata with Silent Transitions

Rosenmann, A., Lorber, F. L., Nickovic, D. & Aichernig, B., 2015, .

Research output: Book/ReportOther reportResearch

Open Access
File
2014

Require, Test and Trace IT

Lorber, F. L., Aichernig, B., Tiran, S. & Nickovic, D., 2014, .

Research output: Book/ReportOther reportResearch

Open Access
File
2013

Fast Refinement Checking for Test Case Generation

Aichernig, B., Jöbstl, E. & Kegele, M., 2013, .

Research output: Book/ReportOther reportResearch

Open Access
File

Model-based Mutation Testing with Timed Automata

Aichernig, B., Lorber, F. L. & Nickovic, D., 2013, .

Research output: Book/ReportOther reportResearch

Open Access
File
2012

Formal Test-Driven Development with Verified Test Cases

Aichernig, B., Lorber, F. L. & Tiran, S., 2012, .

Research output: Book/ReportOther reportResearch

Open Access
File

Spectrum Enhanced Dynamic Slicing for Fault Localization

Hofer, B. G. & Wotawa, F., 2012, .

Research output: Book/ReportOther reportResearch

Open Access
File

The Argos Manual

Tiran, S., 2012, .

Research output: Book/ReportOther reportResearch

Open Access
File
2011

Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms

Podesser, S., 2011, . (CMS 2011)

Research output: Book/ReportOther reportResearch

2009

Program File Bug Fix Effort Estimation Using Machine Learning Methods for Open Source Software Projects

Ahsan, S. N., Ferzund, J. & Wotawa, F., 2009, .

Research output: Book/ReportOther reportResearch

Open Access
File
2006

Approximating boundary-triangulated objects with balls

Aurenhammer, F., Kornberger, B., Peternell, M., Pottmann, H., Aichholzer, O. & Hackl, T., 2006, Graz: .

Research output: Book/ReportOther reportResearch

Computational and structural advantages of circular boundary representation

Aichholzer, O., Aurenhammer, F., Hackl, T., Juettler, B., Oberneder, M. & Sir, Z., 2006, .

Research output: Book/ReportOther reportResearch

Connecting colored point sets

Aichholzer, O., Aurenhammer, F. & Hackl, T., 2006, .

Research output: Book/ReportOther reportResearch

Transforming spanning trees and pseudo-triangulations

Aichholzer, O., Aurenhammer, F., Huemer, C. & Krasser, H., 2006, .

Research output: Book/ReportOther reportResearch

2005

A Causal Analysis Method for Concurrent Hybrid Automata

Hofbaur, M. & Wotawa, F., 2005, .

Research output: Book/ReportOther reportResearch

Theory and practice of the minimum shift design problem

Slany, W., Di Gaspero, L., Gaertner, J., Kortsarz, G., Musliu, N. & Schaerf, A., 2005, Springer. (Metaheuristics: Progress as Real Problem Solvers)

Research output: Book/ReportOther reportResearch

2002

Formal refinement of a cash register system in VDM++

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

Research output: Book/ReportOther reportResearch

Progress on rectilinear crossing numbers

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

Research output: Book/ReportOther reportResearch

2001

A formal specification and annealing of a network-hub in VDM++

Peischl, B., 2001, Graz: . (Technical Report IST-TEC-01-03)

Research output: Book/ReportOther reportResearch

A symmetric strategy in graph avoidance games

Slany, W., Harary, F. & Verbitsky, O., 2001, . (Technical Report DBAI-TR-2001-42)

Research output: Book/ReportOther reportResearch

Local search for shift design

Slany, W., Musliu, N. & Schaerf, A., 2001, . (DBAI-TR-2000-45)

Research output: Book/ReportOther reportResearch

2000

Efficient generation of rotating workforce schedules

Slany, W., Musliu, N. & Gaertner, J., 2000, . (Technical Report DBAI-TR-2000-35)

Research output: Book/ReportOther reportResearch

1999

Graph Ramsey games

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

Research output: Book/ReportOther reportResearch

1998

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

1997

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

1996

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

Clustering the hypercube

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

Research output: Book/ReportOther reportResearch

Man machine cooperation for learning a complex control task

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

Research output: Book/ReportOther reportResearch

1995

Optimal graph orientation with storage applications

Aichholzer, O., Aurenhammer, F. & Rote, G., 1995, Graz: . (SFB-Report , SFB 'Optimierung und Kontrolle')

Research output: Book/ReportOther reportResearch

Straight skeletons for general polygonal figures

Aichholzer, O. & Aurenhammer, F., 1995, Graz: . (IIG-Report-Series)

Research output: Book/ReportOther reportResearch

1994

Comparison of iterative improvement techniques for schedule optimization

Slany, W., Dorn, J., Girsch, M. & Skele, G., 1994, . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

Fuzzy logic in artificial intelligence

Slany, W. & Klement, E. P., 1994, . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

Fuzzy scheduling

Slany, W., 1994, . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

Research issues and challenges in fuzzy scheduling

Slany, W. & Kerr, R. M., 1994, . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

Scheduling as a fuzzy multiple criteria optimization problem

Slany, W., 1994, . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

1993

A fast method for modulus reduction in Residue Number System

Aichholzer, O., 1993, Graz: . (IIG-Report-Series)

Research output: Book/ReportOther reportResearch

A flow shop with compatibility constraints in a steelmaking plant

Slany, W. & Dorn, J., 1993, . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

Aufgabenanalyse der Dispatcher im Stahlwerk LD3

Slany, W., Dorn, J., Snopek, W., Stary, C., Steindl, W. & Stohl, K., 1993, . (CD-Studie)

Research output: Book/ReportOther reportResearch

Aufgabenbasierte Spezifikation des Bildschirmarbeitsplatzes für Dispatcher im Stahlwerk LD3.

Slany, W., Dorn, J., Stary, C., Steindl, W., Snopek, W. & Stohl, K., 1993, . (CD-Studie)

Research output: Book/ReportOther reportResearch

Scheduling von Produktionsprozessen - Von linearen Integermodellen zu symbolischen AI-Modellen

Slany, W. (ed.) & Dorn, J. (ed.), 1993, .

Research output: Book/ReportOther reportResearch

The art of the belly

Slany, W. & Stary, C., 1993, . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

1992

Knowledge based scheduling

Slany, W. (ed.), 1992, .

Research output: Book/ReportOther reportResearch

Uncertainty management by relaxation of conflicting constraints in production process scheduling

Slany, W., Dorn, J. & Stary, C., 1992, Vienna University of Technology: . (CD-Technical Report)

Research output: Book/ReportOther reportResearch

1991

Artificial Intelligence Trends in Japan

Slany, W., 1991, . (CD-Studie)

Research output: Book/ReportOther reportResearch

Dairokkan

Slany, W., 1991, .

Research output: Book/ReportOther reportResearch

1990

Mirai no komyunikeeshon

Slany, W. & Slany, K., 1990, .

Research output: Book/ReportOther reportResearch

Telepolis

Slany, W., 1990, .

Research output: Book/ReportOther reportResearch

1989

Concurrency control in distributed database systems

Slany, W., 1989, Tokyo, Japan: .

Research output: Book/ReportOther reportResearch

The itty-bitty information center about postage in Japan

Slany, W., 1989, .

Research output: Book/ReportOther reportResearch

1988

Competitive learning

Slany, W., 1988, . (Institutsbericht)

Research output: Book/ReportOther reportResearch