Search Results - "Hell, Timotheus"

Assessment of the Effectiveness of Omicron Transmission Mitigation Strategies for European Universities Using an Agent-Based Network Model by Lasser, Jana, Hell, Timotheus, Garcia, David

“…Abstract Background Returning universities to full on-campus operations while the coronavirus disease 2019 pandemic is ongoing has been a controversial…”
Get full text

The first reactive synthesis competition (SYNTCOMP 2014) by Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentrup, Leander, Walker, Adam

“…We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of…”
Get full text

Two-Year Progress of Pilot Research Activities in Teaching Digital Thinking Project (TDT) by Roland Ambros, Angelika Bernsteiner, Roderick Bloem, Dominik Dolezal, David Garcia, Katrin Göltl, Claudia Haagen-Schützenhöfer, Markus Hadler, Timotheus Hell, Alina Herderich, Petar Jercic, Fares Kayali, Ferenc Kemény, Christoph Kirsch, Beate Kloesch, Daniel Kocher, Karin Landerl, Jana Lasser, Elisabeth Lex, Renate Motschnig, Claudia Plant, Lisa Posch, Markus Reiter-Haas, Thomas Schubatzky, Wolfgang Slany, Ana Sokolova, Philipp Spitzer, Matthias Steinböck, Yllka Velaj, Pelin Yüksel-Arslan

“…This article presents a progress report from the last two years of the Teaching Digital Thinking (TDT) project. This project aims to implement new concepts,…”
Get full text

Assessment of the effectiveness of Omicron transmission mitigation strategies for European universities using an agent-based network model by Lasser, Jana, Hell, Timotheus, Garcia, David

“…Returning universities to full on-campus operations while the COVID-19 pandemic is ongoing has been a controversial discussion in many countries. The risk of…”
Get full text

The First Reactive Synthesis Competition (SYNTCOMP 2014) by Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A, Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentrup, Leander, Walker, Adam

“…International Journal on Software Tools for Technology Transfer, Online First, 2016, pp 1-24 We introduce the reactive synthesis competition (SYNTCOMP), a…”
Get full text