Published in: LIPIcs, Volume 114, 10th International Conference on Geographic Information Science (GIScience 2018)
Martin Sudmanns, Stefan Lang, Dirk Tiede, Christian Werner, Hannah Augustin, and Andrea Baraldi. Abstract Data Types for Spatio-Temporal Remote Sensing Analysis (Short Paper). In 10th International Conference on Geographic Information Science (GIScience 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 114, pp. 60:1-60:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{sudmanns_et_al:LIPIcs.GISCIENCE.2018.60, author = {Sudmanns, Martin and Lang, Stefan and Tiede, Dirk and Werner, Christian and Augustin, Hannah and Baraldi, Andrea}, title = {{Abstract Data Types for Spatio-Temporal Remote Sensing Analysis}}, booktitle = {10th International Conference on Geographic Information Science (GIScience 2018)}, pages = {60:1--60:7}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-083-5}, ISSN = {1868-8969}, year = {2018}, volume = {114}, editor = {Winter, Stephan and Griffin, Amy and Sester, Monika}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.GISCIENCE.2018.60}, URN = {urn:nbn:de:0030-drops-93881}, doi = {10.4230/LIPIcs.GISCIENCE.2018.60}, annote = {Keywords: Big Earth Data, Semantic Analysis, Data Cube} }
Published in: LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Lukasz Kaiser, Martin Lang, Simon Leßenich, and Christof Löding. A Unified Approach to Boundedness Properties in MSO. In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 41, pp. 441-456, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{kaiser_et_al:LIPIcs.CSL.2015.441, author = {Kaiser, Lukasz and Lang, Martin and Le{\ss}enich, Simon and L\"{o}ding, Christof}, title = {{A Unified Approach to Boundedness Properties in MSO}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = {441--456}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-90-3}, ISSN = {1868-8969}, year = {2015}, volume = {41}, editor = {Kreutzer, Stephan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.441}, URN = {urn:nbn:de:0030-drops-54309}, doi = {10.4230/LIPIcs.CSL.2015.441}, annote = {Keywords: quantitative logics, monadic second order logic, boundedness, automatic structures, tree automata} }
Feedback for Dagstuhl Publishing