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
FWF - RiSE - Rigorous Systems Engineering
Könighofer, Robert
(Co-Investigator (CoI))
Khalimov, Ayrat
(Co-Investigator (CoI))
Bloem, Roderick
(Principal Investigator (PI))
Könighofer, Bettina
(Co-Investigator (CoI))
Jacobs, Swen
(Co-Investigator (CoI))
Institute of Applied Information Processing and Communications (7050)
Project
:
Research project
Overview
Fingerprint
Publications
(25)
Research output
Research output per year
2011
2012
2014
2015
2015
19
Conference paper
2
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
Other report
Search results
2015
Demiurge 1.2.0: A SAT-Based Synthesis Tool
Könighofer, R.
&
Seidl, M.
,
2015
,
.
Research output
:
Book/Report
›
Other report
Open Access
File
2014
Demiurge: A SAT-Based Synthesis Tool
Könighofer, R.
&
Seidl, M.
,
2014
,
.
Research output
:
Book/Report
›
Other report
Open Access
File