Published in: OASIcs, Volume 130, Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)
Kaisheng Li and Richard S. Whittle. Toward an Earth-Independent System for EVA Mission Planning: Integrating Physical Models, Domain Knowledge, and Agentic RAG to Provide Explainable LLM-Based Decision Support. In Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025). Open Access Series in Informatics (OASIcs), Volume 130, pp. 6:1-6:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{li_et_al:OASIcs.SpaceCHI.2025.6,
author = {Li, Kaisheng and Whittle, Richard S.},
title = {{Toward an Earth-Independent System for EVA Mission Planning: Integrating Physical Models, Domain Knowledge, and Agentic RAG to Provide Explainable LLM-Based Decision Support}},
booktitle = {Advancing Human-Computer Interaction for Space Exploration (SpaceCHI 2025)},
pages = {6:1--6:17},
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.6},
URN = {urn:nbn:de:0030-drops-239967},
doi = {10.4230/OASIcs.SpaceCHI.2025.6},
annote = {Keywords: Human-AI Interaction for Space Exploration, Extravehicular Activities, Cognitive load and Human Performance Issues, Human Systems Exploration, Lunar Exploration, LLM}
}
Published in: LIPIcs, Volume 334, 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025)
Lvzhou Li and Jingquan Luo. Nearly Optimal Circuit Size for Sparse Quantum State Preparation. In 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 334, pp. 113:1-113:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{li_et_al:LIPIcs.ICALP.2025.113,
author = {Li, Lvzhou and Luo, Jingquan},
title = {{Nearly Optimal Circuit Size for Sparse Quantum State Preparation}},
booktitle = {52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025)},
pages = {113:1--113:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-372-0},
ISSN = {1868-8969},
year = {2025},
volume = {334},
editor = {Censor-Hillel, Keren and Grandoni, Fabrizio and Ouaknine, Jo\"{e}l and Puppis, Gabriele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2025.113},
URN = {urn:nbn:de:0030-drops-234900},
doi = {10.4230/LIPIcs.ICALP.2025.113},
annote = {Keywords: Quantum computing, quantum state preparation, circuit complexity}
}
Published in: LIPIcs, Volume 333, 39th European Conference on Object-Oriented Programming (ECOOP 2025)
Amber Gorzynski and Alastair F. Donaldson. FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 13:1-13:26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{gorzynski_et_al:LIPIcs.ECOOP.2025.13,
author = {Gorzynski, Amber and Donaldson, Alastair F.},
title = {{FuzzFlesh: Randomised Testing of Decompilers via Control Flow Graph-Based Program Generation}},
booktitle = {39th European Conference on Object-Oriented Programming (ECOOP 2025)},
pages = {13:1--13:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-373-7},
ISSN = {1868-8969},
year = {2025},
volume = {333},
editor = {Aldrich, Jonathan and Silva, Alexandra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.13},
URN = {urn:nbn:de:0030-drops-233062},
doi = {10.4230/LIPIcs.ECOOP.2025.13},
annote = {Keywords: Decompiler, Reverse Engineering, Control Flow, Software Testing, Fuzzing}
}
Published in: TGDK, Volume 2, Issue 1 (2024): Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge, Volume 2, Issue 1
Bradley P. Allen and Filip Ilievski. Standardizing Knowledge Engineering Practices with a Reference Architecture. In Special Issue on Trends in Graph Data and Knowledge - Part 2. Transactions on Graph Data and Knowledge (TGDK), Volume 2, Issue 1, pp. 5:1-5:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{allen_et_al:TGDK.2.1.5,
author = {Allen, Bradley P. and Ilievski, Filip},
title = {{Standardizing Knowledge Engineering Practices with a Reference Architecture}},
journal = {Transactions on Graph Data and Knowledge},
pages = {5:1--5:23},
ISSN = {2942-7517},
year = {2024},
volume = {2},
number = {1},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/TGDK.2.1.5},
URN = {urn:nbn:de:0030-drops-198623},
doi = {10.4230/TGDK.2.1.5},
annote = {Keywords: knowledge engineering, knowledge graphs, quality attributes, software architectures, sociotechnical systems}
}
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
Lucie-Aimée Kaffee, Russa Biswas, C. Maria Keet, Edlira Kalemi Vakaj, and Gerard de Melo. Multilingual Knowledge Graphs and Low-Resource Languages: A Review. In Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 1, Issue 1, pp. 10:1-10:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{kaffee_et_al:TGDK.1.1.10,
author = {Kaffee, Lucie-Aim\'{e}e and Biswas, Russa and Keet, C. Maria and Vakaj, Edlira Kalemi and de Melo, Gerard},
title = {{Multilingual Knowledge Graphs and Low-Resource Languages: A Review}},
journal = {Transactions on Graph Data and Knowledge},
pages = {10:1--10:19},
ISSN = {2942-7517},
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.10},
URN = {urn:nbn:de:0030-drops-194845},
doi = {10.4230/TGDK.1.1.10},
annote = {Keywords: knowledge graphs, multilingual, low-resource languages, review}
}
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
Jeff Z. Pan, Simon Razniewski, Jan-Christoph Kalo, Sneha Singhania, Jiaoyan Chen, Stefan Dietze, Hajira Jabeen, Janna Omeliyanenko, Wen Zhang, Matteo Lissandrini, Russa Biswas, Gerard de Melo, Angela Bonifati, Edlira Vakaj, Mauro Dragoni, and Damien Graux. Large Language Models and Knowledge Graphs: Opportunities and Challenges. In Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 1, Issue 1, pp. 2:1-2:38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{pan_et_al:TGDK.1.1.2,
author = {Pan, Jeff Z. and Razniewski, Simon and Kalo, Jan-Christoph and Singhania, Sneha and Chen, Jiaoyan and Dietze, Stefan and Jabeen, Hajira and Omeliyanenko, Janna and Zhang, Wen and Lissandrini, Matteo and Biswas, Russa and de Melo, Gerard and Bonifati, Angela and Vakaj, Edlira and Dragoni, Mauro and Graux, Damien},
title = {{Large Language Models and Knowledge Graphs: Opportunities and Challenges}},
journal = {Transactions on Graph Data and Knowledge},
pages = {2:1--2:38},
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.2},
URN = {urn:nbn:de:0030-drops-194766},
doi = {10.4230/TGDK.1.1.2},
annote = {Keywords: Large Language Models, Pre-trained Language Models, Knowledge Graphs, Ontology, Retrieval Augmented Language Models}
}
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
Bradley P. Allen, Lise Stork, and Paul Groth. Knowledge Engineering Using Large Language Models. In Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 1, Issue 1, pp. 3:1-3:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{allen_et_al:TGDK.1.1.3,
author = {Allen, Bradley P. and Stork, Lise and Groth, Paul},
title = {{Knowledge Engineering Using Large Language Models}},
journal = {Transactions on Graph Data and Knowledge},
pages = {3:1--3:19},
ISSN = {2942-7517},
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.3},
URN = {urn:nbn:de:0030-drops-194777},
doi = {10.4230/TGDK.1.1.3},
annote = {Keywords: knowledge engineering, large language models}
}
Published in: LIPIcs, Volume 22, 8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013)
Yuxiang Yang and Giulio Chiribella. Is Global Asymptotic Cloning State Estimation?. In 8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 22, pp. 220-234, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{yang_et_al:LIPIcs.TQC.2013.220,
author = {Yang, Yuxiang and Chiribella, Giulio},
title = {{Is Global Asymptotic Cloning State Estimation?}},
booktitle = {8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013)},
pages = {220--234},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-55-2},
ISSN = {1868-8969},
year = {2013},
volume = {22},
editor = {Severini, Simone and Brandao, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2013.220},
URN = {urn:nbn:de:0030-drops-43100},
doi = {10.4230/LIPIcs.TQC.2013.220},
annote = {Keywords: quantum cloning, quantum estimation}
}