×

找到26个文档（结果1-26）

最新的 引文 相关性
亨氏里纳;吕迪格·埃勒斯;Bruno de O.施密特。;乔瓦尼·德米凯利

ESOP形式的精确合成。 （英语） Zbl 1528.94129号

Drechsler，Rolf（编辑）等人，《高级布尔技术》。2018年9月19-21日在德国不来梅举行的第十三届布尔问题国际研讨会上的论文选集。查姆：斯普林格。177-194 (2020).
MSC公司：94C11号机组
PDF格式BibTeX公司 XML格式引用
\textit{H.Riener}等人，in：高级布尔技术。2018年9月19日至21日，德国不来梅，第13届布尔问题国际研讨会论文选集。查姆：斯普林格。177-194（2020年；Zbl 1528.94129）
全文： 内政部 arXiv公司
吕迪格·埃勒斯;凯·特鲁特勒;沃尔克·威斯林

线弧增材制造的分段哈密顿路径约束SAT求解。 （英语） Zbl 07331041号

Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12178, 492-500 (2020).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}等人，Lect。注释计算。科学。12178，492--500（2020；Zbl 07331041）
全文： 内政部
朱利亚·穆利;布鲁诺·施密特;吕迪格·埃勒斯;亨氏里纳;乔瓦尼·德米凯利

评估量子编译流中的ESOP优化方法。 （英语） Zbl 1527.68074号

汤姆森、迈克尔·柯克达尔（编辑）等，《可逆计算》。第11届国际会议，2019年6月24日至25日，瑞士洛桑，RC 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11497, 191-206 (2019).
MSC公司：2012年第68季度 81页65
PDF格式BibTeX公司 XML格式引用
\textit{G.Meuli}等人，Lect。注释计算。科学。11497、191--206（2019；Zbl 1527.68074）
全文： 内政部 链接
基尔西·阿达巴拉;吕迪格·埃勒斯

通用极弱自动机的线性时序逻辑片段。 （英语） Zbl 1517.68219号

Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 335-351 (2018).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Adabala}和\textit{R.Ehlers}，莱克特。注释计算。科学。11138335--351（2018；Zbl 1517.68219）
全文： 内政部
吕迪格·埃勒斯;伯恩德·芬克贝纳

对称合成。 （英语） Zbl 1491.68109号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第26条，第13页（2018年）。
MSC公司：60年第68季度 2007年8月 64岁以下 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；兹bl 1491.68109）
全文： 内政部 arXiv公司
吕迪格·埃勒斯;帕劳罗梅罗，弗朗西斯科

近似传播完成和冲突传播约束编码。 （英语） Zbl 1511.68245号

Beyersdorff，Olaf（编辑）等人，《可满足性测试的理论和应用——2018年SAT》。2018年7月9日至12日在英国牛津举行的2018年第21届国际会议（SAT 2018），作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10929, 19-36 (2018).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}和\textit{F.Palau Romero}，莱克特。注释计算。科学。10929，19-36（2018；Zbl 1511.68245）
全文： 内政部
吕迪格·埃勒斯

分段线性前馈神经网络的形式化验证。 （英语） Zbl 1495.68131号

D’Souza，Deepak（编辑）等人，《验证和分析自动化技术》。2017年10月3日至6日在印度浦那举行的2017年第15届ATVA国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10482, 269-286 (2017).
MSC公司：60年第68季度 68T07型 68T20型
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。10482、269--286（2017；Zbl 1495.68131）
全文： 内政部 arXiv公司
吕迪格·埃勒斯;乌富克托普库

不完全信息下基于估计的反应合成。 （英语） Zbl 1366.68167号

第18届ACM混合系统国际会议论文集：计算与控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3433-4）。249-258 (2015).
MSC公司：60年第68季度 90B06型 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}和\textit{U.Topcu}，in：第18届ACM混合系统国际会议论文集：计算和控制，HSCC 2015，西雅图，华盛顿州，美国，2015年4月14-16日。纽约州纽约市：计算机协会（ACM）。249--258（2015年；Zbl 1366.68167）
全文： 内政部
罗德里克·布洛姆;吕迪格·埃勒斯;罗伯特·Könighfer

协同反应合成。 （英语） Zbl 1471.68131号

Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 394-410 (2015).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。9364，394--410（2015；Zbl 1471.68131）
全文： 内政部 arXiv公司
吕迪格·埃勒斯;乌富克托普库

反应合成中间歇性假设违反的弹性。 （英语） 兹比尔1361.68146

第17届ACM混合系统国际会议论文集：计算与控制，HSCC 2014，德国柏林，2014年4月15日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2732-9）。203-212 (2014).
MSC公司：60年第68季度 65年第68季度 68T40型 93亿B50
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}和\textit{U.Topcu}，in：第17届ACM混合系统国际会议论文集：计算和控制，HSCC 2014，德国柏林，2014年4月15-17日。纽约州纽约市：计算机协会（ACM）。203--212（2014；Zbl 1361.68146）
全文： 内政部
吕迪格·埃勒斯;Sanjit A.Seshia。;Kress-Gazit，哈达斯

带标识符的合成。 （英语） Zbl 1428.68183号

McMillan，Kenneth L.（编辑）等人，《验证、模型检查和抽象解释》。2014年1月19日至21日，第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8318, 415-433 (2014).
MSC公司：60年第68季度 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}等人，Lect。注释计算。科学。8318、415--433（2014年；Zbl 1428.68183）
全文： 内政部
吕迪格·埃勒斯;马丁·兰格

在全区间时序逻辑中增量逼近有限可满足性的工具。 （英语） Zbl 1423.68414号

Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，作为2014年维也纳逻辑之夏VSL的一部分，在奥地利维也纳举行了第七届国际联合会议，IJCAR。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8562, 360-366 (2014).
MSC公司：68吨15 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}和\textit{M.Lange}，莱克特。注释计算。科学。8562，360-366（2014；Zbl 1423.68414）
全文： 内政部
贝恩德·贝克尔;吕迪格·埃勒斯;马修·刘易斯;马林，保罗

通过计算学习求解ALLQBF。 （英语） Zbl 1374.68487号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561370-384（2012）。
MSC公司：68吨15 60年第68季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{B.Becker}等人，Lect。注释计算。科学。7561370-384（2012年；Zbl 1374.68487）
全文： 内政部
吕迪格·埃勒斯;伯恩德·芬克贝纳

反应安全。 （英语） 兹比尔1457.68163

D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，178-191（2011）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}和\textit{B.Finkbeiner}，电子。程序。西奥。计算。科学。（EPTCS）54，178--191（2011；Zbl 1457.68163）
全文： arXiv公司 链接
吕迪格·埃勒斯

无偏：符号有界合成。 （英语） Zbl 1316.68073号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605272-275（2011）。
MSC公司：60年第68季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}，莱克特。注释计算。科学。6605272--275（2011；Zbl 1316.68073）
全文： 内政部
吕迪格·埃勒斯

精确使用SAT求解最小化确定性Büchi自动机。 （英语） Zbl 1306.68094号

Strichman，Ofer（编辑）等人，《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14185-0/pbk）。计算机科学课堂讲稿6175，326-332（2010）。
MSC公司：65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}，莱克特。注释计算。科学。61752326-332（2010年；兹比尔1306.68094）
全文： 内政部
吕迪格·埃勒斯;罗伯特·马特米勒;汉斯·约格·彼得

组合符号表示法求解计时游戏。 （英语） Zbl 1290.68072号

Chatterjee，Krishnendu（编辑）等人，时间系统的形式化建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。计算机科学课堂讲稿6246107-121（2010）。
MSC公司：65年第68季度 91A05型 91A80型
PDF格式BibTeX公司 XML格式引用
\文本{R.Ehlers}等人，Lect。注释计算。科学。6246、107-121（2010年；Zbl 1290.68072）
全文： 内政部
吕迪格·埃勒斯

在\（\omega \）-automata中缩短证人和接受套索。 （英语） Zbl 1284.68349号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2010年5月24日至28日在德国特里尔举行的2010年拉丁美洲旅游协会第四届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13088-5/pbk）。计算机科学课堂讲稿6031261-272（2010）。
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Ehlers}，莱克特。注释计算。科学。6031、261--272（2010年；Zbl 1284.68349）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件