Forskningsområder

Find indenfor forskningsområde:

331671 - 331680 ud af 406.682Pr. side: 10
Sortering: 1. forfatter
  1. 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

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

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

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

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

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

  7. Udgivet

    Fourier inversion on a reductive symmetric space

    Schlichtkrull, Henrik & Ban van den, E., 1999, I: Acta Mathematica. 182, s. 25-85

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

  8. Udgivet

    On the boundary behaviour of generalized poisson integrals on symmetric spaces

    Schlichtkrull, Henrik, jul. 1985, I: Transactions of the American Mathematical Society. 290, 1, s. 273-280 8 s.

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

  9. Udgivet

    A series of unitary irreducible representations induced from a symmetric subgroup of a semisimple Lie group

    Schlichtkrull, Henrik, okt. 1982, I: Inventiones Mathematicae. 68, 3, s. 497-516 20 s.

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

  10. Udgivet

    A residue calculus for root systems

    Schlichtkrull, Henrik & Ban van den, E., 2000, I: Compositio Mathematica. 123, s. 27-72

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

Forrige 1...33164 33165 33166 33167 33168 33169 33170 33171 ...40669 Næste