Found: 7

Select item for more details and to access through your institution.

  • A FORMAL PROOF OF THE KEPLER CONJECTURE.

    Published in:
    Forum of Mathematics, Pi, 2017, v. 5, p. 1, doi. 10.1017/fmp.2017.1
    By:
    • HALES, THOMAS;
    • ADAMS, MARK;
    • BAUER, GERTRUD;
    • TAT DAT DANG;
    • HARRISON, JOHN;
    • LE TRUONG HOANG;
    • KALISZYK, CEZARY;
    • MAGRON, VICTOR;
    • MCLAUGHLIN, SEAN;
    • TAT THANG NGUYEN;
    • QUANG TRUONG NGUYEN;
    • NIPKOW, TOBIAS;
    • OBUA, STEVEN;
    • PLESO, JOSEPH;
    • RUTE, JASON;
    • SOLOVYEV, ALEXEY;
    • THI HOAI AN TA;
    • NAM TRUNG TRAN;
    • THI DIEP TRIEU;
    • URBAN, JOSEF
    Publication type:
    Article

  • Making security type systems less ad hoc.

    Published in:
    IT: Information Technology, 2014, v. 56, n. 6, p. 267, doi. 10.1515/itit-2014-1060
    By:
    • Nipkow, Tobias;
    • Popescu, Andrei
    Publication type:
    Article

  • A compiled implementation of normalisation by evaluation.

    Published in:
    Journal of Functional Programming, 2012, v. 22, n. 1, p. 9, doi. 10.1017/S0956796812000019
    By:
    • AEHLIG, KLAUS;
    • HAFTMANN, FLORIAN;
    • NIPKOW, TOBIAS
    Publication type:
    Article

  • A Revision of the Proof of the Kepler Conjecture.

    Published in:
    Discrete & Computational Geometry, 2010, v. 44, n. 1, p. 1, doi. 10.1007/s00454-009-9148-4
    By:
    • Hales, Thomas C.;
    • Harrison, John;
    • McLaughlin, Sean;
    • Nipkow, Tobias;
    • Obua, Steven;
    • Zumkeller, Roland
    Publication type:
    Article

  • Verified lightweight bytecode verification.

    Published in:
    Concurrency & Computation: Practice & Experience, 2001, v. 13, n. 13, p. 1133, doi. 10.1002/cpe.597
    By:
    • Klein, Gerwin;
    • Nipkow, Tobias
    Publication type:
    Article

  • HOLCF = HOL + LCF.

    Published in:
    Journal of Functional Programming, 1999, v. 9, n. 2, p. 191, doi. 10.1017/s095679689900341x
    By:
    • MÜLLER, OLAF;
    • NIPKOW, TOBIAS;
    • VON OHEIMB, DAVID;
    • SLOTOSCH, OSCAR
    Publication type:
    Article

  • Type Reconstruction for Type Classes.

    Published in:
    Journal of Functional Programming, 1995, v. 5, n. 2, p. 201, doi. 10.1017/S0956796800001325
    By:
    • Nipkow, Tobias;
    • Prehofer, Christian
    Publication type:
    Article