Published in: LIPIcs, Volume 162, 17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2020)
Esther M. Arkin, Faryad Darabi Sahneh, Alon Efrat, Fabian Frank, Radoslav Fulek, Stephen Kobourov, and Joseph S. B. Mitchell. Computing β-Stretch Paths in Drawings of Graphs. In 17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 162, pp. 7:1-7:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{arkin_et_al:LIPIcs.SWAT.2020.7, author = {Arkin, Esther M. and Sahneh, Faryad Darabi and Efrat, Alon and Frank, Fabian and Fulek, Radoslav and Kobourov, Stephen and Mitchell, Joseph S. B.}, title = {{Computing \beta-Stretch Paths in Drawings of Graphs}}, booktitle = {17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2020)}, pages = {7:1--7:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-150-4}, ISSN = {1868-8969}, year = {2020}, volume = {162}, editor = {Albers, Susanne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SWAT.2020.7}, URN = {urn:nbn:de:0030-drops-122540}, doi = {10.4230/LIPIcs.SWAT.2020.7}, annote = {Keywords: stretch factor, dilation, geometric spanners} }
Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)
Joseph P. Near. From Relational Specifications to Logic Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 144-153, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{near:LIPIcs.ICLP.2010.144, author = {Near, Joseph P.}, title = {{From Relational Specifications to Logic Programs}}, booktitle = {Technical Communications of the 26th International Conference on Logic Programming}, pages = {144--153}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-17-0}, ISSN = {1868-8969}, year = {2010}, volume = {7}, editor = {Hermenegildo, Manuel and Schaub, Torsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.144}, URN = {urn:nbn:de:0030-drops-25924}, doi = {10.4230/LIPIcs.ICLP.2010.144}, annote = {Keywords: logic programming, specification languages, executable specifications} }
Feedback for Dagstuhl Publishing