Old Web
English
Sign In
Acemap
>
authorDetail
>
Timotheus Hell
Timotheus Hell
Graz University of Technology
Computer science
Control theory
Reactive system
reactive synthesis
Management science
4
Papers
31
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
High COVID-19 vaccine coverage allows for a re-opening of European universities
2021
medRxiv
Jana Lasser
Timotheus Hell
David Garcia
Show All
Source
Cite
Save
Citations (0)
How to Foster Technology-Enhanced Learning in Higher Education
2019
Martin Ebner
Timotheus Hell
Markus Ebner
Show All
Source
Cite
Save
Citations (0)
The first reactive synthesis competition (SYNTCOMP 2014)
2017
International Journal on Software Tools for Technology Transfer
Swen Jacobs
Roderick Bloem
Romain Brenguier
Rüdiger Ehlers
Timotheus Hell
Robert Könighofer
Guillermo A. Pérez
Jean-François Raskin
Leonid Ryzhyk
Ocan Sankur
Martina Seidl
Leander Tentrup
Adam Walker
Show All
Source
Cite
Save
Citations (31)
The First Reactive Synthesis Competition (SYNTCOMP 2014)
2015
arXiv: Logic in Computer Science
Swen Jacobs
Roderick Bloem
Romain Brenguier
Rüdiger Ehlers
Timotheus Hell
Robert Könighofer
Guillermo A. Pérez
Jean-François Raskin
Leonid Ryzhyk
Ocan Sankur
Martina Seidl
Leander Tentrup
Adam Walker
Show All
Source
Cite
Save
Citations (0)
1