Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

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

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 July 2009, Bressanone, Brixen, Italy. IEEE , 21 - 28 . ISBN 978-0-7695-3727-6

This list was generated on Mon Aug 19 08:11:00 2019 BST.