凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 通过降低SAT来解决平价游戏。 （英语） Zbl 1279.68211号 J.计算。系统。科学。 78，第2期，430-440（2012）。MSC公司：60年第68季度 03B70号 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人，J.Compute。系统。科学。78，第2号，430-440（2012；Zbl 1279.68211） 全文： 内政部
罗兰·阿克塞尔森;凯乔·赫尔扬科;马丁·兰格 使用增量SAT求解器分析上下文无关语法。 （英语） Zbl 1155.68408号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。第35届国际学术讨论会，2008年ICALP，冰岛雷克雅未克，2008年7月7日至11日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126410-422（2008）。MSC公司：2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Axelsson}等人，Lect。注释计算。科学。5126410--422（2008；Zbl 1155.68408） 全文： 内政部 链接
阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉;蒂莫·拉塔瓦拉;维克多·舒潘 有界LTL模型检查的线性编码。 （英语） Zbl 1127.68057号 日志。方法计算。科学。 2，第5期，论文5，64页（2006年）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Biere}等人，Log。方法计算。科学。2，第5号，论文5，64页（2006年；Zbl 1127.68057） 全文： 内政部
凯乔·赫尔扬科;汤米·琼蒂拉;蒂莫·拉塔瓦拉 完整PLTL的增量和完整有界模型检查。 （英语） Zbl 1081.68621号 Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿357698-111（2005）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人，Lect。注释计算。科学。3576，98--111（2005；Zbl 1081.68621） 全文： 内政部
蒂莫·拉塔瓦拉;阿明·比尔;凯乔·赫尔扬科;汤米·琼蒂拉 简单是更好的：对过去的LTL进行有效的有界模型检查。 （英语） Zbl 1111.68510号 Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学课堂讲稿3385380-395（2005）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit｛T.Latvala｝等人，Lect。注释计算。科学。3385380-395（2005年；Zbl 1111.68510） 全文： 内政部
凯乔·赫尔扬科;伊尔卡·尼梅尔 用稳定模型检验有界LTL模型。 （英语） Zbl 1079.68058号 理论与实践。日志。程序。 3，编号4-5，519-550（2003）。MSC公司：60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}和\textit{I.Niemelä}，理论与实践。日志。程序。3，编号4-519-550（2003年；兹bl 1079.68058） 全文： 内政部