Published in: LIPIcs, Volume 164, 36th International Symposium on Computational Geometry (SoCG 2020)
Sariel Har-Peled and Mitchell Jones. Fast Algorithms for Geometric Consensuses. In 36th International Symposium on Computational Geometry (SoCG 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 164, pp. 50:1-50:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{harpeled_et_al:LIPIcs.SoCG.2020.50, author = {Har-Peled, Sariel and Jones, Mitchell}, title = {{Fast Algorithms for Geometric Consensuses}}, booktitle = {36th International Symposium on Computational Geometry (SoCG 2020)}, pages = {50:1--50:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-143-6}, ISSN = {1868-8969}, year = {2020}, volume = {164}, editor = {Cabello, Sergio and Chen, Danny Z.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2020.50}, URN = {urn:nbn:de:0030-drops-122088}, doi = {10.4230/LIPIcs.SoCG.2020.50}, annote = {Keywords: Geometric optimization, centerpoint, voting games} }
Published in: LIPIcs, Volume 147, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
Hsi-Ming Ho, Ruoyu Zhou, and Timothy M. Jones. On Verifying Timed Hyperproperties. In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 147, pp. 20:1-20:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{ho_et_al:LIPIcs.TIME.2019.20, author = {Ho, Hsi-Ming and Zhou, Ruoyu and Jones, Timothy M.}, title = {{On Verifying Timed Hyperproperties}}, booktitle = {26th International Symposium on Temporal Representation and Reasoning (TIME 2019)}, pages = {20:1--20:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-127-6}, ISSN = {1868-8969}, year = {2019}, volume = {147}, editor = {Gamper, Johann and Pinchinat, Sophie and Sciavicco, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2019.20}, URN = {urn:nbn:de:0030-drops-113782}, doi = {10.4230/LIPIcs.TIME.2019.20}, annote = {Keywords: Timed Automata, Temporal Logics, Cybersecurity} }
Published in: LIPIcs, Volume 129, 35th International Symposium on Computational Geometry (SoCG 2019)
Timothy M. Chan. Dynamic Geometric Data Structures via Shallow Cuttings. In 35th International Symposium on Computational Geometry (SoCG 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 129, pp. 24:1-24:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{chan:LIPIcs.SoCG.2019.24, author = {Chan, Timothy M.}, title = {{Dynamic Geometric Data Structures via Shallow Cuttings}}, booktitle = {35th International Symposium on Computational Geometry (SoCG 2019)}, pages = {24:1--24:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-104-7}, ISSN = {1868-8969}, year = {2019}, volume = {129}, editor = {Barequet, Gill and Wang, Yusu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2019.24}, URN = {urn:nbn:de:0030-drops-104288}, doi = {10.4230/LIPIcs.SoCG.2019.24}, annote = {Keywords: dynamic data structures, convex hulls, nearest neighbor search, closest pair, shallow cuttings} }
Published in: LIPIcs, Volume 124, 10th Innovations in Theoretical Computer Science Conference (ITCS 2019)
Timothy M. Chan, Sariel Har-Peled, and Mitchell Jones. On Locality-Sensitive Orderings and Their Applications. In 10th Innovations in Theoretical Computer Science Conference (ITCS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 124, pp. 21:1-21:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{chan_et_al:LIPIcs.ITCS.2019.21, author = {Chan, Timothy M. and Har-Peled, Sariel and Jones, Mitchell}, title = {{On Locality-Sensitive Orderings and Their Applications}}, booktitle = {10th Innovations in Theoretical Computer Science Conference (ITCS 2019)}, pages = {21:1--21:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-095-8}, ISSN = {1868-8969}, year = {2019}, volume = {124}, editor = {Blum, Avrim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2019.21}, URN = {urn:nbn:de:0030-drops-101140}, doi = {10.4230/LIPIcs.ITCS.2019.21}, annote = {Keywords: Approximation algorithms, Data structures, Computational geometry} }
Published in: LIPIcs, Volume 56, 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Timothy Jones, Michael Homer, James Noble, and Kim Bruce. Object Inheritance Without Classes. In 30th European Conference on Object-Oriented Programming (ECOOP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 56, pp. 13:1-13:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{jones_et_al:LIPIcs.ECOOP.2016.13, author = {Jones, Timothy and Homer, Michael and Noble, James and Bruce, Kim}, title = {{Object Inheritance Without Classes}}, booktitle = {30th European Conference on Object-Oriented Programming (ECOOP 2016)}, pages = {13:1--13:26}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-014-9}, ISSN = {1868-8969}, year = {2016}, volume = {56}, editor = {Krishnamurthi, Shriram and Lerner, Benjamin S.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2016.13}, URN = {urn:nbn:de:0030-drops-61077}, doi = {10.4230/LIPIcs.ECOOP.2016.13}, annote = {Keywords: Inheritance, Objects, Classes, Operational semantics} }
Published in: DARTS, Volume 2, Issue 1, Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Timothy Jones and Michael Homer. Object Inheritance Without Classes (Artifact). In Special Issue of the 30th European Conference on Object-Oriented Programming (ECOOP 2016). Dagstuhl Artifacts Series (DARTS), Volume 2, Issue 1, pp. 6:1-6:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{jones_et_al:DARTS.2.1.6, author = {Jones, Timothy and Homer, Michael}, title = {{Object Inheritance Without Classes (Artifact)}}, pages = {6:1--6:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2016}, volume = {2}, number = {1}, editor = {Jones, Timothy and Homer, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.2.1.6}, URN = {urn:nbn:de:0030-drops-61278}, doi = {10.4230/DARTS.2.1.6}, annote = {Keywords: Inheritance, Objects, Classes, Operational semantics, PLT Redex} }
Published in: DARTS, Volume 1, Issue 1, Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Timothy Jones, Michael Homer, and James Noble. Brand Objects for Nominal Typing (Artifact). In Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015). Dagstuhl Artifacts Series (DARTS), Volume 1, Issue 1, pp. 4:1-4:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{jones_et_al:DARTS.1.1.4, author = {Jones, Timothy and Homer, Michael and Noble, James}, title = {{Brand Objects for Nominal Typing (Artifact)}}, pages = {4:1--4:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2015}, volume = {1}, number = {1}, editor = {Jones, Timothy and Homer, Michael and Noble, James}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.1.1.4}, URN = {urn:nbn:de:0030-drops-55134}, doi = {10.4230/DARTS.1.1.4}, annote = {Keywords: brands, types, structural, nominal, Grace} }
Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)
Timothy Jones, Michael Homer, and James Noble. Brand Objects for Nominal Typing. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 198-221, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{jones_et_al:LIPIcs.ECOOP.2015.198, author = {Jones, Timothy and Homer, Michael and Noble, James}, title = {{Brand Objects for Nominal Typing}}, booktitle = {29th European Conference on Object-Oriented Programming (ECOOP 2015)}, pages = {198--221}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-86-6}, ISSN = {1868-8969}, year = {2015}, volume = {37}, editor = {Boyland, John Tang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.198}, URN = {urn:nbn:de:0030-drops-52314}, doi = {10.4230/LIPIcs.ECOOP.2015.198}, annote = {Keywords: brands, types, structural, nominal, Grace} }
Feedback for Dagstuhl Publishing