Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 17.


Fijalkow, N and Zimmermann, M ORCID: 0000-0002-8038-2453
(2012) Cost-parity and cost-Streett games. .


Fridman, W, Löding, C and Zimmermann, M ORCID: 0000-0002-8038-2453
(2011) Degrees of lookahead in context-free infinite games. .


Weinert, A and Zimmermann, M ORCID: 0000-0002-8038-2453
(2016) Easy to win, hard to master: Optimal strategies in parity games with costs. .


Weinert, A and Zimmermann, M ORCID: 0000-0002-8038-2453
(2017) Easy to win, hard to master: Optimal strategies in parity games with costs. Logical Methods in Computer Science, 13 (3).


Glasbey, James C, Ademuyiwa, Adesoji, Adisa, Adewale, AlAmeer, Ehab, Arnaud, Alexis P, Ayasra, Faris, Azevedo, Jose, Minaya Bravo, Ana, Costas-Chavarri, Ainhoa, Edwards, John
et al (show 5161 more authors) (2021) Effect of COVID-19 pandemic lockdowns on planned cancer surgery for 15 tumour types in 61 countries: an international, prospective, cohort study. LANCET ONCOLOGY, 22 (11). pp. 1507-1517.


Winter, Sarah and Zimmermann, M ORCID: 0000-0002-8038-2453
(2019) Finite-state Strategies in Delay Games. Information and Computation, 272. p. 104500.


Tabiri, Stephen, Kamarajah, Sivesh K, Nepogodiev, Dmitri, Li, Elizabeth, Simoes, Joana, Sravanam, Sanskrithi, Owusu, Sheila Agyeiwaa, Mahama, Haruna, Agyeman, Yaa Nyarko, Arthur, Joshua
et al (show 4794 more authors) (2021) Impact of Bacillus Calmette-Guerin (BCG) vaccination on postoperative mortality in patients with perioperative SARS-CoV-2 infection. BJS OPEN, 5 (6). zrab131-.


Guha, S, Jecker, I, Lehtinen, K and Zimmermann, M ORCID: 0000-0002-8038-2453
(2022) Parikh Automata over Infinite Words. .


Schewe, S ORCID: 0000-0002-9093-9518, Weinert, A and Zimmermann, M ORCID: 0000-0002-8038-2453
(2018) Parity Games with Weights. In: CSL 2018.


Schewe, Sven ORCID: 0000-0002-9093-9518, Weinert, Alexander and Zimmermann, M ORCID: 0000-0002-8038-2453
(2019) Parity Games with Weights. Logical Methods in Computer Science, 15 (03).


Hague, M ORCID: 0000-0003-4913-3800, Meyer, R, Muskalla, S ORCID: 0000-0001-9195-7323 and Zimmermann, M ORCID: 0000-0002-8038-2453
(2018) Parity to safety in polynomial time for pushdown and collapsible pushdown systems. .


Augustin, H, Berger, N, Blattgerste, C, Dittmeier, S, Ehrler, F, Grzesik, C, Hammerich, J ORCID: 0000-0002-5556-1775, Herkert, A, Huth, L, Immig, D
et al (show 21 more authors) (2019) Performance of the large scale HV-CMOS pixel sensor MuPix8. .


Orlandini, A and Zimmermann, M ORCID: 0000-0002-8038-2453
(2018) Preface. .


Krebs, A, Meier, A ORCID: 0000-0002-8061-5376, Virtema, J ORCID: 0000-0002-1582-3718 and Zimmermann, M ORCID: 0000-0002-8038-2453
(2018) Team semantics for the specification and verification of hyperproperties. .


Zimmermann, M, Vu, MN, Beck, F, Nguyen, A ORCID: 0000-0002-1449-211X and Kugi, A
(2023) Two-Step Online Trajectory Planning of a Quadcopter in Indoor Environments with Obstacles. .


Bravo, Laura, Nepogodiev, Dmitri, Glasbey, James C, Li, Elizabeth, Simoes, Joana FF, Kamarajah, Sivesh K, Picciochi, Maria, Abbott, Tom EF, Ademuyiwa, Adesoji O, Arnaud, Alexis P
et al (show 4809 more authors) (2021) Y Machine learning risk prediction of mortality for patients undergoing surgery with perioperative SARS-CoV-2: the COVIDSurg mortality score. BRITISH JOURNAL OF SURGERY, 108 (11). pp. 1274-1292.


Torfah, H and Zimmermann, M ORCID: 0000-0002-8038-2453
(2014) The complexity of counting models of linear-time temporal logic. .

This list was generated on Sun Mar 17 12:17:40 2024 GMT.