Published in: LIPIcs, Volume 277, 12th International Conference on Geographic Information Science (GIScience 2023)
Nina Wiedemann, Ye Hong, and Martin Raubal. Predicting visit frequencies to new places (Short Paper). In 12th International Conference on Geographic Information Science (GIScience 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 277, pp. 84:1-84:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{wiedemann_et_al:LIPIcs.GIScience.2023.84, author = {Wiedemann, Nina and Hong, Ye and Raubal, Martin}, title = {{Predicting visit frequencies to new places}}, booktitle = {12th International Conference on Geographic Information Science (GIScience 2023)}, pages = {84:1--84:6}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-288-4}, ISSN = {1868-8969}, year = {2023}, volume = {277}, editor = {Beecham, Roger and Long, Jed A. and Smith, Dianna and Zhao, Qunshan and Wise, Sarah}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2023.84}, URN = {urn:nbn:de:0030-drops-189794}, doi = {10.4230/LIPIcs.GIScience.2023.84}, annote = {Keywords: Human mobility, Visitation patterns, Place recommendation, Next location prediction} }
Published in: LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022)
Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, and Bican Xia. Compositional Verification of Interacting Systems Using Event Monads. In 13th International Conference on Interactive Theorem Proving (ITP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 237, pp. 33:1-33:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{zhan_et_al:LIPIcs.ITP.2022.33, author = {Zhan, Bohua and Lv, Yi and Wang, Shuling and Zhao, Gehang and Hao, Jifeng and Ye, Hong and Xia, Bican}, title = {{Compositional Verification of Interacting Systems Using Event Monads}}, booktitle = {13th International Conference on Interactive Theorem Proving (ITP 2022)}, pages = {33:1--33:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-252-5}, ISSN = {1868-8969}, year = {2022}, volume = {237}, editor = {Andronick, June and de Moura, Leonardo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.33}, URN = {urn:nbn:de:0030-drops-167420}, doi = {10.4230/LIPIcs.ITP.2022.33}, annote = {Keywords: Hoare Logic, Compositional Verification, Events} }
Published in: LIPIcs, Volume 222, 36th European Conference on Object-Oriented Programming (ECOOP 2022)
Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, and Bruno C. d. S. Oliveira. Direct Foundations for Compositional Programming. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 222, pp. 18:1-18:28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{fan_et_al:LIPIcs.ECOOP.2022.18, author = {Fan, Andong and Huang, Xuejing and Xu, Han and Sun, Yaozhu and Oliveira, Bruno C. d. S.}, title = {{Direct Foundations for Compositional Programming}}, booktitle = {36th European Conference on Object-Oriented Programming (ECOOP 2022)}, pages = {18:1--18:28}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-225-9}, ISSN = {1868-8969}, year = {2022}, volume = {222}, editor = {Ali, Karim and Vitek, Jan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2022.18}, URN = {urn:nbn:de:0030-drops-162463}, doi = {10.4230/LIPIcs.ECOOP.2022.18}, annote = {Keywords: Intersection types, disjoint polymorphism, operational semantics} }
Published in: LIPIcs, Volume 208, 11th International Conference on Geographic Information Science (GIScience 2021) - Part II
Ye Hong, Yanan Xin, Henry Martin, Dominik Bucher, and Martin Raubal. A Clustering-Based Framework for Individual Travel Behaviour Change Detection. In 11th International Conference on Geographic Information Science (GIScience 2021) - Part II. Leibniz International Proceedings in Informatics (LIPIcs), Volume 208, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{hong_et_al:LIPIcs.GIScience.2021.II.4, author = {Hong, Ye and Xin, Yanan and Martin, Henry and Bucher, Dominik and Raubal, Martin}, title = {{A Clustering-Based Framework for Individual Travel Behaviour Change Detection}}, booktitle = {11th International Conference on Geographic Information Science (GIScience 2021) - Part II}, pages = {4:1--4:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-208-2}, ISSN = {1868-8969}, year = {2021}, volume = {208}, editor = {Janowicz, Krzysztof and Verstegen, Judith A.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2021.II.4}, URN = {urn:nbn:de:0030-drops-147635}, doi = {10.4230/LIPIcs.GIScience.2021.II.4}, annote = {Keywords: Human mobility, Travel behaviour, Change detection, Trip clustering} }
Published in: DARTS, Volume 7, Issue 2, Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang. Type-Directed Operational Semantics for Gradual Typing (Artifact). In Special Issue of the 35th European Conference on Object-Oriented Programming (ECOOP 2021). Dagstuhl Artifacts Series (DARTS), Volume 7, Issue 2, pp. 9:1-9:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Article{ye_et_al:DARTS.7.2.9, author = {Ye, Wenjia and Oliveira, Bruno C. d. S. and Huang, Xuejing}, title = {{Type-Directed Operational Semantics for Gradual Typing (Artifact)}}, pages = {9:1--9:6}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2021}, volume = {7}, number = {2}, editor = {Ye, Wenjia and Oliveira, Bruno C. d. S. and Huang, Xuejing}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.7.2.9}, URN = {urn:nbn:de:0030-drops-140337}, doi = {10.4230/DARTS.7.2.9}, annote = {Keywords: Gradual Typing, Operational Semantics, Type Systems} }
Published in: LIPIcs, Volume 194, 35th European Conference on Object-Oriented Programming (ECOOP 2021)
Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang. Type-Directed Operational Semantics for Gradual Typing. In 35th European Conference on Object-Oriented Programming (ECOOP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 194, pp. 12:1-12:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{ye_et_al:LIPIcs.ECOOP.2021.12, author = {Ye, Wenjia and Oliveira, Bruno C. d. S. and Huang, Xuejing}, title = {{Type-Directed Operational Semantics for Gradual Typing}}, booktitle = {35th European Conference on Object-Oriented Programming (ECOOP 2021)}, pages = {12:1--12:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-190-0}, ISSN = {1868-8969}, year = {2021}, volume = {194}, editor = {M{\o}ller, Anders and Sridharan, Manu}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.12}, URN = {urn:nbn:de:0030-drops-140551}, doi = {10.4230/LIPIcs.ECOOP.2021.12}, annote = {Keywords: Gradual Typing, Type Systems, Operational Semantics} }
Published in: LIPIcs, Volume 112, 26th Annual European Symposium on Algorithms (ESA 2018)
Yixin Cao, Ashutosh Rai, R. B. Sandeep, and Junjie Ye. A Polynomial Kernel for Diamond-Free Editing. In 26th Annual European Symposium on Algorithms (ESA 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 112, pp. 10:1-10:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{cao_et_al:LIPIcs.ESA.2018.10, author = {Cao, Yixin and Rai, Ashutosh and Sandeep, R. B. and Ye, Junjie}, title = {{A Polynomial Kernel for Diamond-Free Editing}}, booktitle = {26th Annual European Symposium on Algorithms (ESA 2018)}, pages = {10:1--10:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-081-1}, ISSN = {1868-8969}, year = {2018}, volume = {112}, editor = {Azar, Yossi and Bast, Hannah and Herman, Grzegorz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2018.10}, URN = {urn:nbn:de:0030-drops-94732}, doi = {10.4230/LIPIcs.ESA.2018.10}, annote = {Keywords: Kernelization, Diamond-free, H-free editing, Graph modification problem} }
Feedback for Dagstuhl Publishing