乌里·法伦贝格；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） 全文： 内政部
博利格，贝内迪克特；卡琳·夸斯；阿诺德·桑尼尔 平冻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） 全文： 内政部 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） 全文： 内政部 arXiv公司
英格玛·梅内克；卡琳·夸斯 加权网络的参数化模型检查。 （英语） 兹比尔1310.68151 西奥。计算。科学。 53469-85（2014年）. 审核人：Antti Valmari（坦佩雷） MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Meinecke}和\textit{K.Quaas}，Theor。计算。科学。534、69-85（2014年；Zbl 1310.68151） 全文： 内政部
卡琳·夸斯 加权时间自动机的MSO逻辑。 （英语） Zbl 1258.68089号 形式方法系统。设计。 38，第3期，193-222（2011）.MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，形式方法系统。设计。38，第3号，193--222（2011；Zbl 1258.68089） 全文： 内政部
曼弗雷德·德罗斯特；卡琳·夸斯 加权时间自动机的Kleene-Schützenberger定理。 （英语） Zbl 1217.68128号 西奥。计算。科学。 412，编号12-14，1140-1153（2011）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{K.Quaas}，Theor。计算。科学。412，编号12--141140--1153（2011；Zbl 1217.68128） 全文： 内政部
卡琳·夸斯 在可识别的定时序列的支持下。 （英语） Zbl 1262.68094号 Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，243-257（2009）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，莱克特。注释计算。科学。5813、243-257（2009年；Zbl 1262.68094） 全文： 内政部
卡琳·夸斯 加权定时MSO逻辑。 （英语） Zbl 1247.03069号 Diekert，Volker（编辑）等人，《语言理论的发展》。第13届国际会议，DLT 2009，德国斯图加特，2009年6月30日至7月3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02736-9/pbk）。计算机科学课堂讲稿5583419-430（2009）。MSC公司：05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Quaas}，莱克特。注释计算。科学。5583、419--430（2009年；Zbl 1247.03069） 全文： 内政部
曼弗雷德·德罗斯特；卡琳·夸斯 加权时间自动机的Kleene-Schützenberger定理。 （英语） Zbl 1139.68031号 Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962142-156（2008）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{K.Quaas}，莱克特。注释计算。科学。4962、142--156（2008年；Zbl 1139.68031） 全文： 内政部