Published in: OASIcs, Volume 130, Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)
Jessica R. Cauchard. Unbound Human-Machine Interfaces for Interaction in Weightless Environments. In Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025). Open Access Series in Informatics (OASIcs), Volume 130, pp. 7:1-7:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{cauchard:OASIcs.SpaceCHI.2025.7,
author = {Cauchard, Jessica R.},
title = {{Unbound Human-Machine Interfaces for Interaction in Weightless Environments}},
booktitle = {Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)},
pages = {7:1--7:8},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-384-3},
ISSN = {2190-6807},
year = {2025},
volume = {130},
editor = {Bensch, Leonie and Nilsson, Tommy and Nisser, Martin and Pataranutaporn, Pat and Schmidt, Albrecht and Sumini, Valentina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SpaceCHI.2025.7},
URN = {urn:nbn:de:0030-drops-239970},
doi = {10.4230/OASIcs.SpaceCHI.2025.7},
annote = {Keywords: human-robot interaction, gravity, space, interaction technique}
}
Published in: OASIcs, Volume 130, Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)
Jiayu He, Yifan Li, Oliver R. Runswick, Peter D. Hodkinson, Jarle Steinberg, Felix Gorbatsevich, and Yang Gao. Gaze Beyond Limits: Integrating Eye-Tracking and Augmented Reality for Next-Generation Spacesuit Interaction. In Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025). Open Access Series in Informatics (OASIcs), Volume 130, pp. 29:1-29:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{he_et_al:OASIcs.SpaceCHI.2025.29,
author = {He, Jiayu and Li, Yifan and Runswick, Oliver R. and Hodkinson, Peter D. and Steinberg, Jarle and Gorbatsevich, Felix and Gao, Yang},
title = {{Gaze Beyond Limits: Integrating Eye-Tracking and Augmented Reality for Next-Generation Spacesuit Interaction}},
booktitle = {Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)},
pages = {29:1--29:15},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-384-3},
ISSN = {2190-6807},
year = {2025},
volume = {130},
editor = {Bensch, Leonie and Nilsson, Tommy and Nisser, Martin and Pataranutaporn, Pat and Schmidt, Albrecht and Sumini, Valentina},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SpaceCHI.2025.29},
URN = {urn:nbn:de:0030-drops-240197},
doi = {10.4230/OASIcs.SpaceCHI.2025.29},
annote = {Keywords: Augmented Reality (AR), Eye-Tracking, Cognitive Load/Workload, Segment Anything Model (SAM), Visual Language Models (VLMs)}
}
Published in: LIPIcs, Volume 344, 25th International Conference on Algorithms for Bioinformatics (WABI 2025)
Ali Ghaffaari, Alexander Schönhuth, and Tobias Marschall. DiVerG: Scalable Distance Index for Validation of Paired-End Alignments in Sequence Graphs. In 25th International Conference on Algorithms for Bioinformatics (WABI 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 344, pp. 10:1-10:24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{ghaffaari_et_al:LIPIcs.WABI.2025.10,
author = {Ghaffaari, Ali and Sch\"{o}nhuth, Alexander and Marschall, Tobias},
title = {{DiVerG: Scalable Distance Index for Validation of Paired-End Alignments in Sequence Graphs}},
booktitle = {25th International Conference on Algorithms for Bioinformatics (WABI 2025)},
pages = {10:1--10:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-386-7},
ISSN = {1868-8969},
year = {2025},
volume = {344},
editor = {Brejov\'{a}, Bro\v{n}a and Patro, Rob},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2025.10},
URN = {urn:nbn:de:0030-drops-239369},
doi = {10.4230/LIPIcs.WABI.2025.10},
annote = {Keywords: Sequence graph, distance index, read mapping, sparse matrix}
}
Published in: LIPIcs, Volume 332, 41st International Symposium on Computational Geometry (SoCG 2025)
Ahmad Biniaz, Anil Maheshwari, Magnus Christian Ring Merrild, Joseph S. B. Mitchell, Saeed Odak, Valentin Polishchuk, Eliot W. Robson, Casper Moldrup Rysgaard, Jens Kristian Refsgaard Schou, Thomas Shermer, Jack Spalding-Jamieson, Rolf Svenning, and Da Wei Zheng. Polynomial-Time Algorithms for Contiguous Art Gallery and Related Problems. In 41st International Symposium on Computational Geometry (SoCG 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 332, pp. 20:1-20:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{biniaz_et_al:LIPIcs.SoCG.2025.20,
author = {Biniaz, Ahmad and Maheshwari, Anil and Merrild, Magnus Christian Ring and Mitchell, Joseph S. B. and Odak, Saeed and Polishchuk, Valentin and Robson, Eliot W. and Rysgaard, Casper Moldrup and Schou, Jens Kristian Refsgaard and Shermer, Thomas and Spalding-Jamieson, Jack and Svenning, Rolf and Zheng, Da Wei},
title = {{Polynomial-Time Algorithms for Contiguous Art Gallery and Related Problems}},
booktitle = {41st International Symposium on Computational Geometry (SoCG 2025)},
pages = {20:1--20:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-370-6},
ISSN = {1868-8969},
year = {2025},
volume = {332},
editor = {Aichholzer, Oswin and Wang, Haitao},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2025.20},
URN = {urn:nbn:de:0030-drops-231720},
doi = {10.4230/LIPIcs.SoCG.2025.20},
annote = {Keywords: Art Gallery Problem, Computational Geometry, Combinatorics, Discrete Algorithms}
}
Published in: LIPIcs, Volume 332, 41st International Symposium on Computational Geometry (SoCG 2025)
Eduard Eiben, Robert Ganian, Iyad Kanj, and M. S. Ramanujan. A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots. In 41st International Symposium on Computational Geometry (SoCG 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 332, pp. 44:1-44:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{eiben_et_al:LIPIcs.SoCG.2025.44,
author = {Eiben, Eduard and Ganian, Robert and Kanj, Iyad and Ramanujan, M. S.},
title = {{A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots}},
booktitle = {41st International Symposium on Computational Geometry (SoCG 2025)},
pages = {44:1--44:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-370-6},
ISSN = {1868-8969},
year = {2025},
volume = {332},
editor = {Aichholzer, Oswin and Wang, Haitao},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2025.44},
URN = {urn:nbn:de:0030-drops-231966},
doi = {10.4230/LIPIcs.SoCG.2025.44},
annote = {Keywords: coordinated motion planning on graphs, parameterized complexity, topological minor testing, planar graphs}
}
Published in: TGDK, Volume 1, Issue 1 (2023): Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge, Volume 1, Issue 1
Jiaoyan Chen, Hang Dong, Janna Hastings, Ernesto Jiménez-Ruiz, Vanessa López, Pierre Monnin, Catia Pesquita, Petr Škoda, and Valentina Tamma. Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities. In Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 1, Issue 1, pp. 5:1-5:33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{chen_et_al:TGDK.1.1.5,
author = {Chen, Jiaoyan and Dong, Hang and Hastings, Janna and Jim\'{e}nez-Ruiz, Ernesto and L\'{o}pez, Vanessa and Monnin, Pierre and Pesquita, Catia and \v{S}koda, Petr and Tamma, Valentina},
title = {{Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities}},
journal = {Transactions on Graph Data and Knowledge},
pages = {5:1--5:33},
year = {2023},
volume = {1},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.1.1.5},
URN = {urn:nbn:de:0030-drops-194791},
doi = {10.4230/TGDK.1.1.5},
annote = {Keywords: Knowledge graphs, Life science, Knowledge discovery, Explainable AI}
}
Published in: Dagstuhl Seminar Proceedings, Volume 5181, Mobile Computing and Ambient Intelligence: The Challenge of Multimedia (2005)
Erik G. Nilsson, Jacqueline Floch, Svein Hallsteinsen, and Erlend Stav. Model-based user interface adaptation. In Mobile Computing and Ambient Intelligence: The Challenge of Multimedia. Dagstuhl Seminar Proceedings, Volume 5181, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{nilsson_et_al:DagSemProc.05181.9,
author = {Nilsson, Erik G. and Floch, Jacqueline and Hallsteinsen, Svein and Stav, Erlend},
title = {{Model-based user interface adaptation}},
booktitle = {Mobile Computing and Ambient Intelligence: The Challenge of Multimedia},
pages = {1--18},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5181},
editor = {Nigel Davies and Thomas Kirste and Heidrun Schumann},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05181.9},
URN = {urn:nbn:de:0030-drops-3722},
doi = {10.4230/DagSemProc.05181.9},
annote = {Keywords: Model-based interface design, personalization and customization of interfaces, patterns-based approaches, adaptive architecture}
}