Skip to main navigation
Skip to search
Skip to main content
Graz University of Technology Home
English
Deutsch
Home
Persons
Publications
Organisations
Projects
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, Ayrat
(Co-Investigator (CoI))
Greimel, Karin
(Co-Investigator (CoI))
Jacobs, Swen
(Co-Investigator (CoI))
Hofferek, Georg
(Co-Investigator (CoI))
Könighofer, Bettina
(Co-Investigator (CoI))
Könighofer, Robert
(Co-Investigator (CoI))
Bloem, Roderick
(Principal Investigator (PI))
Institute of Applied Information Processing and Communications (7050)
Project
:
Research project
Overview
Fingerprint
Publications
(27)
Research output
Research output per year
2010
2010
2011
2012
2013
2015
13
Conference paper
10
Other report
2
Doctoral Thesis
1
Poster
1
More
1
Article
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Doctoral Thesis
Search results
2015
Satisfiability-Based Methods for Controller Synthesis
Könighofer, R.
,
2015
Research output
:
Thesis
›
Doctoral Thesis
Open Access
File
2014
Controller Synthesis with Uninterpreted Functions
Hofferek, G.
,
2014
Research output
:
Thesis
›
Doctoral Thesis
Open Access
File