Items where authors include "Schneider, T"

Article

Sakai, P, Oberling, D, Schneider, T et al. (8 more authors) (2017) Climate Change Adaptation in Ciudad del Este: Starting-Point Vulnerability Assessment. Paraquaria Natural, 5 (2). pp. 19-31. ISSN 2309-5237

Gil, EC, Albarran, EM, Minucci, E et al. (293 more authors) (2017) The beam and detector of the NA62 experiment at CERN. Journal of Instrumentation, 12. ISSN 1748-0221

Beyersdorff, O, Meier, A, Mundhenk, M et al. (3 more authors) (2011) Model Checking CTL is Amost Always Inherently Sequential. Logical Methods in Computer Science, 7 (2). ISSN 1860-5974

Monograph

Hernandez Montes de Oca, P orcid.org/0000-0003-0901-652X, Sakai Diaz, MAH, Aquino, C et al. (7 more authors) (2018) Construyendo desarrollo resiliente al climatica en la Triple Frontera. Report. Ciudades Resilientes , University of Leeds.

Sakai, P orcid.org/0000-0003-0901-652X, Sakai, M, Schneider, T et al. (8 more authors) (2017) Vulnerability Assessment and Adaptation Strategies for the Triangle-City Region. Report. University of Leeds , Leeds, UK.

Proceedings Paper

Beyersdorff, O, Meier, A, Thomas, M et al. (3 more authors) (2009) Model Checking CTL is Almost Always Inherently Sequential. In: Lutz, C and Raskin, J-F, (eds.) 16th International Symposium on Temporal Representation and Reasoning 2009. International Symposium on Temporal Representation and Reasoning, 23-25 Jul 2009, Bressanone, Brixen, Italy. IEEE , 21 - 28 . ISBN 978-0-7695-3727-6