乌里·法伦贝格；Legay、Axel；卡琳·夸斯 用定量游戏计算分支距离。 （英语） Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司：68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Theor。计算。科学。847134-146（2020年；Zbl 1464.68239） 全文： DOI程序
乌里·法伦贝格；Legay、Axel；卡琳·夸斯 使用定量游戏计算分支距离。 （英语） Zbl 1464.68238号 Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 59-75 (2019).MSC公司：68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。11884，59-75（2019年；兹比尔1464.68238） 全文： DOI程序 arXiv公司
博利格，贝内迪克特；卡琳·夸斯；阿诺德·桑尼尔 平冻LTL的复杂性。 （英语） Zbl 1442.68101号 日志。方法计算。科学。 15，第3号，第33号论文，第26页（2019年）.MSC公司：60年第68季度 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，日志。方法计算。科学。15，第3号，第33号论文，第26页（2019年；Zbl 1442.68101） 全文： DOI程序 arXiv公司
卡琳·夸斯；马赫萨·希尔穆罕默德；詹姆斯·沃雷尔 重温时间自动机中的可达性。 （英语） Zbl 1457.68147号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第38条，第12页（2017年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第38条，第12页（2017；Zbl 1457.68147） 全文： arXiv公司 链接
博利格，贝内迪克特；卡琳·夸斯；阿诺德·桑尼尔 平冻LTL的复杂性。 （英语） Zbl 1442.68102号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第33条，第16页（2017年）。MSC公司：60年第68季度 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。85，第33条，第16页（2017年；Zbl 1442.68102） 全文： DOI程序
冯世光；马库斯·洛伊；卡琳·夸斯 数据字上MTL和TPTL的路径检查。 （英语） 兹比尔1459.68118 日志。方法计算。科学。 13，第3号，第19号论文，34页（2017年）.MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人，Log。方法计算。科学。13，第3号，第19号论文，34页（2017；Zbl 1459.68118） 全文： DOI程序 arXiv公司
冯世光；马库斯·洛伊；卡琳·夸斯 数据字上MTL和TPTL的路径检查。 （英语） 兹比尔1434.68297 Potapov，Igor（编辑），语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9168, 326-339 (2015).MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人，Lect。注释计算。科学。9168、326--339（2015年；Zbl 1434.68297） 全文： DOI程序 arXiv公司
卡琳·夸斯 用无界离散数据结构扩展的时间自动机的验证。 （英语） Zbl 1448.68314号 日志。方法计算。科学。 11，第3号，第20号论文，24页（2015年）.MSC公司：60年第68季度 68第05页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，日志。方法计算。科学。11，第3号，第20号论文，24页（2015；Zbl 1448.68314） 全文： DOI程序
卡琳·夸斯 单时钟参数时间自动机的MTL模型检验是不可判定的。 （英语） Zbl 1467.68093号 André，ed tienne（编辑）等人，《第一届连续参数合成国际研讨会论文集》，SynCoP’14，法国格勒诺布尔，2014年4月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）145，5-17（2014）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，电子。程序。西奥。计算。科学。（EPTCS）145，5--17（2014；Zbl 1467.68093） 全文： arXiv公司 链接
卡琳·夸斯 用无界离散数据结构扩展的时间自动机的验证。 （英语） Zbl 1417.68104号 Baldan，Paolo（编辑）等人，CONCUR 2014–并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 512-526 (2014).MSC公司：60年第68季度 68第05页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，莱克特。注释计算。科学。8704512-526（2014；Zbl 1417.68104） 全文： DOI程序 arXiv公司
卡琳·夸斯 用一个计数器对自动机上的度量时态逻辑进行模型检查。 （英语） Zbl 1377.68137号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810468-479（2013）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，莱克特。注释计算。科学。7810468-479（2013年；Zbl 1377.68137） 全文： DOI程序