马尔科·Sälzer；马丁·兰格 简单神经网络中的可达性。 （英语） Zbl 07770060号 芬丹。通知。 189，编号3-4，241-259（2022）。MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Sälzer}和\textit{M.Lange}，Fundam。通知。189，编号3--4，241--259（2022；Zbl 07770060） 全文： 内政部 arXiv公司
弗洛里安·布鲁斯；马丁·兰格 模型检查定时递归CTL。 （英语） Zbl 07744955号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第12条，第14页（2021年）。MSC公司：03B44号 第68季度第60季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。206，第12条，第14页（2021；Zbl 07744955） 全文： 内政部
马尔科·Sälzer；马丁·兰格 即使对于最简单的神经网络，可达性也是NP完全的。 （英语） Zbl 07670978号 Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13035, 149-164 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛M.Sälzer｝和\textit｛M.Lange｝，Lect。票据计算。科学。13035，149--164（2021；Zbl 07670978） 全文： 内政部 arXiv公司
弗洛里安·布鲁斯；马丁·兰格 带有递归的时态逻辑。 （英语） Zbl 1530.03069号 穆尼奥斯·韦拉斯科，埃米利奥（编辑）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。178，第6条，第14页（2020年）。MSC公司：03B44号 第68季度第60季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。178，第6条，第14页（2020年；Zbl 1530.03069） 全文： 内政部
弗洛里安·布鲁斯；约格·克里克；马丁·兰格；马尔科·Sälzer 局部高阶不动点迭代。 （英语） Zbl 07455743号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32697-113（2020年）。MSC公司：65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32697--113（2020；Zbl 07455743） 全文： arXiv公司 链接
诺伯特·亨德斯哈根；马丁·兰格 自动结构的受限类上的模型检查CTL。 （英语） Zbl 1478.68162号 Hague，Matthew（编辑）等人，《可达性问题》。2017年9月7日至9日在英国伦敦举行的2017年RP第11届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10506, 87-100 (2017).MSC公司：第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Hundeshagen}和\textit{M.Lange}，Lect。票据计算。科学。10506、87--100（2017；Zbl 1478.68162） 全文： 内政部
奥利弗·弗里德曼；费利克斯·克莱特克；马丁·兰格 基于Ramsey的可视下推自动机包含检查。 （英语） Zbl 1367.68169号 ACM事务处理。计算。日志。 第16号第4条第34条第24页（2015年）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}等人，《美国医学杂志》。计算。日志。16，第4号，第34条，24页（2015；Zbl 1367.68169） 全文： 内政部
马库斯拿铁；马丁·兰格 具有路径相对论的分支时间逻辑。 （英语） Zbl 1297.68170号 J.计算。系统。科学。 80，第2期，375-389（2014）。 审核人：Heribert Vollmer（汉诺威） MSC公司：第68季度第60季度 2015年3月1日 2017年第68季度 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Latte}和\textit{M.Lange}，J.Compute。系统。科学。80，第2号，375--389（2014；Zbl 1297.68170） 全文： 内政部
罗兰·阿克塞尔森；马丁·兰格 形式语言约束可达性和模型检查命题动态逻辑。 （英语） Zbl 1348.68090号 Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945，45-57（2011）。MSC公司：65年第68季度 03B45号 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Axelsson}和\textit{M.Lange}，莱克特。票据计算。科学。6945、45-57（2011年；Zbl 1348.68090） 全文： 内政部
巴哈雷赫巴德班；马丁·兰格 使用SMT求解器对时间自动机进行精确增量分析。 （英语） Zbl 1348.68118号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，177-192（2011）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{M.Lange}，莱克特。票据计算。科学。6919、177--192（2011年；Zbl 1348.68118） 全文： 内政部
马丁·霍夫曼；马丁·兰格 自动机理论和逻辑。（自动化理论与逻辑） （德语） Zbl 1257.68003号 eXamen.新闻。柏林：施普林格出版社（ISBN 978-3-642-18089-7/pbk；978-3-442-18090-3/电子书）。x、 240页。(2011). 审核人：Klaus D.Kiermeier（柏林） MSC公司：68-01 68-02 03-01 03B25号 03B44号 03B70号 05年3月 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{M.Lange}，《自动化与逻辑》。柏林：施普林格出版社（2011；Zbl 1257.68003） 全文： 内政部
罗兰·阿克塞尔森；马修·黑格；斯蒂芬·克鲁泽；马丁·兰格；马库斯拿铁 扩展计算树逻辑。 （英语） Zbl 1306.68098号 Fermüller，Christian G.（编辑）等人，《编程逻辑、人工智能和推理》。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-16241-1/pbk）。计算机科学讲义6397，67-81（2010）。MSC公司：第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Axelsson}等人，Lect。票据计算。科学。6397、67-81（2010年；Zbl 1306.68098） 全文： 内政部 arXiv公司
克里斯蒂安·达克斯；费利克斯·克莱特克；马丁·兰格 关于常规时间逻辑与过去。 （英语） Zbl 1214.68211号 学报信息。 47，第4期，251-277（2010）。MSC公司：第68季度第60季度 03B44号 05年3月 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人，《学报》第47期，第4期，第251--277页（2010年；Zbl 1214.68211） 全文： 内政部 链接
奥利弗·弗里德曼；马丁·兰格 在实践中解决平价游戏。 （英语） Zbl 1258.68077号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799182-196（2009）。MSC公司：65年第68季度 05年3月 第68季度第60季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange}，莱克特。票据计算。科学。5799、182--196（2009年；Zbl 1258.68077） 全文： 内政部
克里斯蒂安·达克斯；马丁·霍夫曼；马丁·兰格 线性时间微积分的一个证明系统。 （英语） 兹比尔1163.03308 Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337，273-284（2006）。MSC公司：03B44号 03B25号 03B70号 05年3月 20层03 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人，Lect。票据计算。科学。4337273-284（2006年；兹bl 1163.03308） 全文： 内政部
凯乔·赫尔扬科；汤米·琼蒂拉；米萨Keinänen；马丁·兰格；蒂莫·拉塔瓦拉 弱交替Büchi自动机的有界模型检验。 （英语） Zbl 1188.68189号 Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学讲义414495-108（2006）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人，Lect。票据计算。科学。4144、95--108（2006年；Zbl 1188.68189） 全文： 内政部
马丁·兰格 线性时间微积分的弱自动机。 （英语） Zbl 1112.68093号 Cousot，Radhia（编辑），验证，模型检查和抽象解释。第六届国际会议，VMCAI 2005，巴黎，法国，2005年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24297-X/pbk）。计算机科学课堂讲稿3385，267-281（2005）。MSC公司：第68季度第60季度 65年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}，莱克特。票据计算。科学。3385267--281（2005；Zbl 1112.68093） 全文： 内政部