托马斯·埃勒巴赫;斯普纳，雅各布·T·。 参数化时间探索问题。 （英语） Zbl 07677368号 J.计算。系统。科学。 135, 73-88 (2023).MSC公司：68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Erlebach}和\textit{J.T.Spooner}，J.Compute。系统。科学。135、73-88（2023年；Zbl 07677368） 全文： 内政部 arXiv公司 OA许可证
托马斯·埃勒巴赫;斯普纳，雅各布·T·。 缺（k）边时态图的探索。 （英语） Zbl 07578092号 学报信息。 59，第4期，387-407（2022）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Erlebach}和\textit{J.T.Spooner}，《学报》第59期，第4期，第387--407页（2022年；Zbl 07578092） 全文： 内政部 OA许可证
托马斯·埃勒巴赫;斯普纳，雅各布·T·。 缺（k）边时态图的探索。 （英语） Zbl 07498690号 Lubiw，Anna（编辑）等人，《算法和数据结构》。第17届国际研讨会，WADS 2021，虚拟活动，2021年8月9日至11日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12808, 371-384 (2021).MSC公司：68第05页 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{T.Erlebach}和\textit{J.T.Spooner}，莱克特。注释计算。科学。12808371--384（2021；Zbl 07498690） 全文： 内政部
托马斯·埃勒巴赫;斯普纳，雅各布·T·。 非严格的时间探索。 （英语） Zbl 07581063号 Richa，Andrea Werneck（编辑）等人，《结构信息和通信复杂性》。第27届国际学术讨论会，SIROCCO 2020，德国帕德博恩，2020年6月29日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12156, 129-145 (2020).MSC公司：6800万 2011年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.Erlebach}和\textit{J.T.Spooner}，莱克特。注释计算。科学。12156、129--145（2020；Zbl 07581063） 全文： 内政部
托马斯·埃勒巴赫;斯普纳，雅各布·T·。 更快地探索有度界限的时间图。 （英语） Zbl 1512.68211号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第36条，第13页（2018）。MSC公司：68兰特 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Erlebach}和\textit{J.T.Spooner}，LIPIcs——莱布尼茨国际程序。通知。117，第36条，第13页（2018；Zbl 1512.68211） 全文： 内政部