Forskningsområder

Find indenfor forskningsområde:

331661 - 331670 ud af 406.676Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

    Pantropical diversification of padauk trees and relatives was influenced by biome-switching and long-distance dispersal

    Schley, R. J., Qin, M., Vatanparast, Mohammad, Malakasi, P., de la Estrella, M., Lewis, G. P. & Klitgård, B. B., 2022, I: Journal of Biogeography. 49, 2, s. 391-404 14 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  2. Udgivet

    Biodiversity and ecosystem services in European cultural landscapes: Pathways, pitfalls and perspectives

    Schleyer, C., Schaich, H., Bieling, C., Gerdes, H., Ohnesorge, B., Plieninger, T., Trommler, K. & Wolff, F., 5 jun. 2015, Biodiversity in the Green Economy. Gasparatos, A. & Willis, K. J. (red.). Routledge, s. 149-171 23 s. (Routledge Studies in Ecological Economics).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  3. Obstacles and options for the design and implementation of payment schemes for ecosystem services provided through farm trees in the German state of Saxony

    Schleyer, C. & Plieninger, T., 2011, I: Environmental Conservation. 38, s. 454 463 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  4. Marktbasierte Instrumente zur Förderung neuer Leistungen ländlicher Räume

    Schleyer, C., Bieling, C. & Plieninger, T., 2011, I: Geographische Rundschau. 63, s. 30 35 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  5. Udgivet

    Application of replicated difference testing

    Schlich, P., Dacremont, C. & Brockhoff, P. M. B., 2000, I: Food Quality and Preference. 11, s. 43-46 4 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    Congenital hepatic fibrosis, Cruveilhier-Baumgarten syndrome and splenic artery aneurysms in a 62-year-old woman

    Schlichting, P. & Henriksen, J. H. S., 1979, I: Danish Medical Bulletin. 26, 2, s. 101-3 2 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  7. Udgivet

    Differential Testing of Pushdown Reachability with a Formally Verified Oracle

    Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, Dmitriy, 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (red.). TU Wien Academic Press, s. 369-379

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

    Schlichtkrull, A., Blanchette, J. C., Traytel, Dmitriy & Waldmann, U., 2020, I: Journal of Automated Reasoning. 64, s. 1169–1195

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. A Verified Prover Based on Ordered Resolution

    Schlichtkrull, A., Blanchette, J. C. & Traytel, Dmitriy, 2019, CPP 2019. Mahboubi, A. & Myreen, M. O. (red.). ACM, s. 152-165 14 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  10. Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

    Schlichtkrull, A., Blanchette, J. C., Traytel, Dmitriy & Waldmann, U., 2018, IJCAR 2018. Galmiche, D., Schulz, S. & Sebastiani, R. (red.). Springer, Cham, Bind 10900. s. 89-107 19 s. (LNCS).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1...33163 33164 33165 33166 33167 33168 33169 33170 ...40668 Næste