Items where Institution is :Other partners > Universität Freiburg (GERMANY)

Bolander, Thomas and Engesser, Thorsten and Herzig, Andreas and Mattmüller, Robert and Nebel, Bernhard The dynamic logic of policies and contingent planning. (2019) In: European Conference on Logics in Artificial Intelligence (JELIA 2019), 7 May 2019 - 11 May 2019 (Rende, Italy).

Courbaud, Benoît and Kraus, Daniel and De Coligny, François and Larrieu, Laurent and Lethort, Anthony Effect of selection cutting on light capture and use by forest trees. (2017) In: CAQSIS, 28 March 2017 - 30 March 2017 (Bordeaux, France). (Unpublished)

Kraus, Daniel and Bütler, Rita and Krumm, Frank and Lachat, Thibault and Larrieu, Laurent and Mergner, Ulrich and Paillet, Yoan and Rydkvist, Tomas and Schuck, Andreas and Winter, Susanne Katalog over mikrohabitater på traeer: Referenceliste til feltbrug. (2016) [Report]

Van der Plas, Fons and Manning, Peter and Allan, Eric and Scherer-Lorenzen, Michael and Verheyen, Kris and Wirth, Christian and Zavala, Miguel Angel and Hector, Andy and Ampoorter, Evy and Baeten, Lander and Barbaro, Luc and Bauhus, Jürgen and Benavides, Raquel and Benneter, Adam and Berthold, Felix and Bonal, Damien and Bouriaud, Olivier and Bruelheide, Helge and Bussotti, Filippo and Carnol, Monique and Castagneyrol, Bastien and Charbonnier, Yohan and Coomes, David and Coppi, Andrea and Bastias, Cristina C. and Muhie Dawud, Seid and De Wandeler, Hans and Domisch, Timo and Finér, Leena and Gessler, Arthur and Granier, André and Grossiord, Charlotte and Guyot, Virginie and Hättenschwiler, Stephan and Jactel, Hervé and Jaroszewicz, Bogdan and Joly, François-Xavier and Jucker, Tommaso and Koricheva, Julia and Milligan, Harriet and Müller, Sandra and Muys, Bart and Nguyen, Diem and Pollastrini, Martina and Raulund-Rasmussen, Karsten and Selvi, Federico and Stenlid, Jan and Valladares, Fernando and Vesterdal, Lars and Zielínski, Dawid and Fischer, Markus Jack-of-all-trades effects drive biodiversity–ecosystem multifunctionality relationships in European forests. (2016) Nature Communications, 7. 1-11. ISSN 2041-1723

Schimpf, Alexander and Smaus, Jan-Georg Büchi Automata Optimisations Formalised in Isabelle/HOL. (2015) In: 6th Indian Conference on Logics and its Applications (ICLA 2015), 8 January 2015 - 10 January 2015 (Mumbai, India).

Schilling, Christian and Smaus, Jan-Georg and Wenzelmann, Fabian A Pretty Complete Combinatorial Algorithm for the Threshold Synthesis Problem. (2014) In: International Workshop on Combinatorial Algorithms (IWOCA 2013), 10 July 2013 - 12 July 2013 (Rouen, France).

Esparza, Javier and Lammich, Peter and Neumann, René and Nipkow, Tobias and Schimpf, Alexander and Smaus, Jan-Georg A Fully Verified Executable LTL Model Checker. (2013) In: 25th International Conference on Computer Aided Verification (CAV 2013), 13 June 2013 - 19 July 2013 (Saint Petersbourg, Russian Federation).