Browse by People


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


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. .


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)