• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

Filter
Sonstiger Bericht
2015

Bounded Determinization of Timed Automata with Silent Transitions

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei
2014

Require, Test and Trace IT

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei
2013

Fast Refinement Checking for Test Case Generation

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei

Model-based Mutation Testing with Timed Automata

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei
2012

Formal Test-Driven Development with Verified Test Cases

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei

Spectrum Enhanced Dynamic Slicing for Fault Localization

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei

The Argos Manual

Tiran, S., 2012, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei
2011

Implementation Aspects of Anonymous Credential Systems for Mobile Trusted Platforms

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

2009

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

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Open Access
Datei
2006

Approximating boundary-triangulated objects with balls

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Computational and structural advantages of circular boundary representation

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Connecting colored point sets

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Transforming spanning trees and pseudo-triangulations

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

2005

A Causal Analysis Method for Concurrent Hybrid Automata

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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)

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

2002

Formal refinement of a cash register system in VDM++

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Progress on rectilinear crossing numbers

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

2001

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

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

A symmetric strategy in graph avoidance games

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Local search for shift design

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

2000

Efficient generation of rotating workforce schedules

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1999

Graph Ramsey games

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1998

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

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1997

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

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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)

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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)

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Clustering the hypercube

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Man machine cooperation for learning a complex control task

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1995

Optimal graph orientation with storage applications

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Straight skeletons for general polygonal figures

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1994

Comparison of iterative improvement techniques for schedule optimization

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Fuzzy logic in artificial intelligence

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Fuzzy scheduling

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Research issues and challenges in fuzzy scheduling

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Scheduling as a fuzzy multiple criteria optimization problem

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1993

A fast method for modulus reduction in Residue Number System

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

A flow shop with compatibility constraints in a steelmaking plant

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Aufgabenanalyse der Dispatcher im Stahlwerk LD3

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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)

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

The art of the belly

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1992

Knowledge based scheduling

Slany, W. (Hrsg.), 1992, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

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)

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1991

Artificial Intelligence Trends in Japan

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Dairokkan

Slany, W., 1991, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1990

Mirai no komyunikeeshon

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

Telepolis

Slany, W., 1990, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1989

Concurrency control in distributed database systems

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

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

The itty-bitty information center about postage in Japan

Slany, W., 1989, .

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung

1988

Competitive learning

Slany, W., 1988, . (Institutsbericht)

Publikation: Buch/Bericht/KonferenzbandSonstiger BerichtForschung