Skip to contents

  1. Jones, Timothy [Author]; Homer, Michael [Author] ; http://dx.doi.org/10.4230/LIPIcs.ECOOP.2016.13 [Contributor]

    Object Inheritance Without Classes (Artifact)

    Conference Proceedings
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; DARTS - Dagstuhl Artifacts Series. DARTS, Volume 2, Issue 1, 2016

  2. Jones, Timothy [Author]; Homer, Michael [Author]; Noble, James [Author] ; Timothy Jones and Michael Homer and James Noble [Contributor]

    Brand Objects for Nominal Typing

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss-Dagstuhl - Leibniz Zentrum für Informatik, 2015

  3. Jones, Timothy [Author]; Homer, Michael [Author]; Noble, James [Author] ; http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.198 [Contributor]

    Brand Objects for Nominal Typing (Artifact)

    Conference Proceedings
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; DARTS - Dagstuhl Artifacts Series. DARTS, Volume 1, Issue 1, 2015

  4. Iwaszkiewicz, Jarosław [Author] ; Ganon Asb, Timothy [Contributor]; Kołakowski, Leszek [Contributor]; Lloyd-Jones, Antonia [Contributor]

    The Birch Grove and Other Stories

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Budapest; New York: Central European University Press, [2022]

    Published in: CEU Press Classics (formerly Central European Classics)

  5. Nazari, Meisam [Author] ; Dippold, Michaela [Degree supervisor]; Beissinger, Timothy [Degree supervisor]; Spielvogel, Sandra [Degree supervisor]; Mason-Jones, Kyle [Degree supervisor]

    Functions of root mucilage for plant and soil: Quantifying its exudation, characterizing its composition, and assessing its influence on plant water and nitrogen uptake and rhizosphere microorganisms

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Göttingen, 2022

  6. Nazari, Meisam [Author] ; Dippold, Michaela [Degree supervisor]; Beissinger, Timothy [Other]; Spielvogel, Sandra [Other]; Mason-Jones, Kyle [Other]

    Functions of root mucilage for plant and soil: Quantifying its exudation, characterizing its composition, and assessing its influence on plant water and nitrogen uptake and rhizosphere microorganisms

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2022

  7. Ho, Hsi-Ming [Author]; Zhou, Ruoyu [Author]; Jones, Timothy M. [Author]

    On Verifying Timed Hyperproperties

    Conference Proceedings
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; LIPIcs - Leibniz International Proceedings in Informatics. 26th International Symposium on Temporal Representation and Reasoning (TIME 2019), 2019