Research areas

Find within research areas:

331671 - 331680 out of 406,681Page size: 10
Sort by: 1st author
  1. Published

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

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  2. Published

    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. (eds.). TU Wien Academic Press, p. 369-379

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  4. A Verified Prover Based on Ordered Resolution

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. 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. (eds.). Springer, Cham, Vol. 10900. p. 89-107 19 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  6. Published

    Fourier inversion on a reductive symmetric space

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

    Research output: Contribution to journal › Journal article › Research › peer-review

  7. Published

    The most continuous part of the Plancherel decomposition for a reductive symmetric space

    Schlichtkrull, Henrik & Ban van den, E., 1997, In: Ann. of Math.. 145, p. 267-364

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    On the boundary behaviour of generalized poisson integrals on symmetric spaces

    Schlichtkrull, Henrik, Jul 1985, In: Transactions of the American Mathematical Society. 290, 1, p. 273-280 8 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  9. Published

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

    Schlichtkrull, Henrik, Oct 1982, In: Inventiones Mathematicae. 68, 3, p. 497-516 20 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  10. Published

    A residue calculus for root systems

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

    Research output: Contribution to journal › Journal article › Research › peer-review

Previous 1...33164 33165 33166 33167 33168 33169 33170 33171 ...40669 Next