18 results for KLEIN,+Gerwin

18 results for KLEIN,+Gerwin

Export to excel
Print

Export record to excel

File type to download

Beta version

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:KLEIN, Gerwin ; ANDRONICK, June ; ELPHINSTONE, Kevin ; MURRAY, Toby ; SEWELL, Thomas ; KOLANSKI, Rafal ; HEISER, Gernot
    Publisher:New York, NY: Association for Computing Machinery
    Journal title:ACM transactions on computer systems, 2014-02, Vol.32 (1), p.1-70
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Syeda, Hira Taqdees ; Klein, Gerwin
    Publisher:Dordrecht: Springer Netherlands
    Journal title:Journal of automated reasoning, 2020-06, Vol.64 (5), p.911-945
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version

    Author / Creator:Campbell, MacGregor
    Publisher:London: New Scientist
    Journal title:New scientist (1971), 2009-08, Vol.203 (2723), p.21-21
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:O’CONNOR, LIAM ; CHEN, ZILIN ; RIZKALLAH, CHRISTINE ; JACKSON, VINCENT ; AMANI, SIDNEY ; KLEIN, GERWIN ; MURRAY, TOBY ; SEWELL, THOMAS ; KELLER, GABRIELE
    Publisher:Cambridge, UK: Cambridge University Press
    Journal title:Journal of functional programming, 2021-01, Vol.31, Article e25
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Klein, Gerwin ; Andronick, June ; Keller, Gabriele ; Matichuk, Daniel ; Murray, Toby ; O'Connor, Liam
    Publisher:England: The Royal Society Publishing
    Journal title:Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.20150404-20150404
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Klein, Gerwin ; Andronick, June ; Keller, Gabriele ; Matichuk, Daniel ; Murray, Toby ; O'Connor, Liam
    Publisher:THE ROYAL SOCIETY
    Journal title:Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2017-10, Vol.375 (2104), p.1-23
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Avigad, Jeremy ; Blanchette, Jasmin Christian ; Klein, Gerwin ; Paulson, Lawrence ; Popescu, Andrei ; Snelting, Gregor
    Publisher:Dordrecht: Springer Netherlands
    Journal title:Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.1-8
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Daum, Matthias ; Billing, Nelson ; Klein, Gerwin
    Publisher:London: Springer London
    Journal title:Formal aspects of computing, 2014-11, Vol.26 (6), p.1205-1229
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Klein, Gerwin ; Huuck, Ralf ; Schlich, Bastian
    Publisher:Dordrecht: Springer Netherlands
    Journal title:Journal of automated reasoning, 2009-04, Vol.42 (2-4), p.123-124
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Barnes, Nick ; Baumgartner, Peter ; Caetano, Tiberio ; Durrant-Whyte, Hugh ; Klein, Gerwin ; Sanderson, Penelope ; Sattar, Abdul ; Stuckey, Peter ; Thiebaux, Sylvie ; Van Hentenryck, Pascal ; Walsh, Toby
    Publisher:American Association for Artificial Intelligence
    Journal title:The AI magazine, 2012-09, Vol.33 (3), p.115
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesPeer ReviewedFull Text

    Author / Creator:Barnes, Nick ; Baumgartner, Peter ; Caetano, Tiberio ; Durrant‐Whyte, Hugh ; Klein, Gerwin ; Sanderson, Penelope ; Sattar, Abdul ; Stuckey, Peter ; Thiebaux, Sylvie ; Van Hentenryck, Pascal ; Walsh, Toby
    Publisher:La Canada: John Wiley & Sons, Inc
    Journal title:The AI magazine, 2012, Vol.33 (3), p.115-127
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Buckley, Scott ; Sison, Robert ; Wistoff, Nils ; Millar, Curtis ; Murray, Toby ; Klein, Gerwin ; Heiser, Gernot
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2023-10
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Heiser, Gernot ; Klein, Gerwin ; Murray, Toby
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2019-01
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:Cassez, Franck ; Huuck, Ralf ; Klein, Gerwin ; Schlich, Bastian
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2012-11
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version
    ArticlesFull Text

    Author / Creator:O'Connor, Liam ; Rizkallah, Christine ; Chen, Zilin ; Amani, Sidney ; Lim, Japheth ; Nagashima, Yutaka ; Sewell, Thomas ; Hixon, Alex ; Keller, Gabriele ; Murray, Toby ; Klein, Gerwin
    Publisher:Ithaca: Cornell University Library, arXiv.org
    Journal title:arXiv.org, 2016-01
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version

    Author / Creator:Heiser, Gernot ; Klein, Gerwin ; Andronick, June
    Publisher:New York: Association for Computing Machinery
    Journal title:Communications of the ACM, 2020-04, Vol.63 (4), p.72-75
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version

    Author / Creator:Klein, Gerwin ; Andronick, June ; Fernandez, Matthew ; Kuz, Ihor ; Murray, Toby ; Heiser, Gernot
    Journal title:Communications of the ACM, 2018-10, Vol.61 (10), p.68-77
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.

  • Export this record

    Export to excel
    Print

    Export record to excel

    File type to download

    Beta version

    Author / Creator:KLEIN, Gerwin ; ANDRONICK, June ; SEWELL, Thomas ; TUCH, Harvey ; WINWOOD, Simon ; ELPHINSTONE, Kevin ; HEISER, Gemot ; COCK, David ; DERRIN, Philip ; ELKADUWE, Dhammika ; ENGELHARDT, Kai ; KOLANSKI, Rafal ; NORRISH, Michael
    Publisher:New York, NY: Association for Computing Machinery
    Journal title:Communications of the ACM, 2010-06, Vol.53 (6), p.107-115
    View online as a Library member
    Access ebook if you are in the Library. Registered NSW residents may log in from home.