Research output per year
Research output per year
Search results
-
Assessment of the effectiveness of Omicron transmission mitigation strategies for European universities using an agent-based network model
Lasser, J., Hell, T. & Garcia, D., 19 Dec 2022, In: Clinical Infectious Diseases. 75, 12, p. 2097-2103 7 p., ciac340.Research output: Contribution to journal › Article
Open Access -
Simulation der Ausbreitung der SARS-CoV-2-Variante Omikron an einer Universität
Lasser, J. & Hell, T., 24 Jun 2022, In: Mitteilungen der Deutschen Mathematiker-Vereinigung. 30, 2, p. 103-107Research output: Contribution to journal › Article
-
The first reactive synthesis competition (SYNTCOMP 2014)
Jacobs, S., Bloem, R., Brenguier, R., Ehlers, R., Hell, T., Könighofer, R., Pérez, G. A., Raskin, J. F., Ryzhyk, L., Sankur, O., Seidl, M., Tentrup, L. & Walker, A., 9 Apr 2016, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. p. 1-24 24 p.Research output: Contribution to journal › Article › peer-review