×

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

最新的 引文 关联
简·德雷尔;尼古拉斯·马尔曼;塞巴斯蒂安·西伯茨

结构稀疏图类上的一阶模型检查。 （英语） Zbl 07844613号

Saha，Barna（编辑）等人，第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20日至23日。纽约州纽约市：计算机协会（ACM）。567-580 (2023).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Dreier}等人，in：第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20-23日。纽约州纽约市：计算机协会（ACM）。567--580（2023；Zbl 07844613）
全文： 内政部 arXiv公司
加亚尔斯克，雅库布;尼古拉斯·马尔曼;罗斯·麦卡蒂;皮埃尔·奥曼;Micha Pilipczuk;沃伊切赫·普尔兹比舍夫斯基;塞巴斯蒂安·西伯茨;马雷克·索科·奥斯基;西门托伦奇克

单子稳定图类的Flipper游戏。 arXiv公司：2301.13735

预打印，arXiv:2301.13735[cs.LO]（2023）。
BibTeX公司 引用
\textit{J.Gajarskí}等人，“单函数稳定图类的Flipper游戏”，预打印，arXiv:2301.13735[cs.LO]（2023）
全文： arXiv公司
OA许可证
尼科尔·席尔马赫;塞巴斯蒂安·西伯茨;亚历山大·维格尼

带有连接运算符的一阶逻辑。 （英语） Zbl 07830390号

Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第34条，第17页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Schirrmacher}等人，LIPIcs——莱布尼茨国际程序。通知。216，第34条，第17页（2022；Zbl 07830390）
全文： 内政部
雅罗斯拉夫·内舍特伊尔;德门德斯·帕特里斯·奥斯纳;塞巴斯蒂安·西伯茨

一阶转导拟序的结构性质。 （英语） Zbl 07830387号

Manea，Florin（ed.）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14日至19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第31条，第16页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Nešetřil}et al.，LIPIcs——莱布尼茨国际程序。通知。216，第31条，第16页（2022；兹bl 07830387）
全文： 内政部 arXiv公司
瓦伦丁·巴蒂尔;尼古拉·博斯克;圣战者汉娜;Amer E.穆阿瓦德。;塞巴斯蒂安·西伯茨

在周长为5的图形上滑动标记。 （英语） Zbl 07682401号

Bekos，Michael A.（编辑）等人，《计算机科学中的图论概念》。第48届国际研讨会，2022年6月22日至24日，德国图宾根，WG 2022。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13453, 56-69 (2022).
MSC公司：68兰特
PDF格式BibTeX公司 XML格式引用
\textit{V.Bartier}等人，Lect。注释计算。科学。13453，56-69（2022；Zbl 07682401）
全文： 内政部 arXiv公司
奥赞·海德;塞巴斯蒂安·西伯茨;亚历山大·维格尼

重新审视局部平面控制。 （英语） Zbl 07615856号

Parter，Merav（编辑），《结构信息和通信复杂性》。第29届国际学术讨论会，SIROCCO 2022，德国帕德博恩，2022年6月27日至29日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。13298, 154-173 (2022).
MSC公司：6800万 2011年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{O.Heydt}等人，莱克特。注释计算。科学。13298，154--173（2022；Zbl 07615856）
全文： 内政部 arXiv公司
乔纳·德克斯;马里奥·格罗布勒;罗马人拉比诺维奇;扬尼克·施耐贝尔;塞巴斯蒂安·西伯茨;马西米利安·索尼伯恩

PACE解算器描述：PACA-Java。 （英语） Zbl 07803608号

Golovach，Petr A.（编辑）等人，第16届参数化和精确计算国际研讨会，IPEC 2021，葡萄牙里斯本，2021年9月8日至10日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。214，第30条，第4页（2021年）。
MSC公司：65年第68季度 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Dirks}等人，LIPIcs——莱布尼茨国际程序。通知。214，第30条，第4页（2021；Zbl 07803608）
全文： 内政部
雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

秩宽满足稳定性。 （英语） Zbl 07788458号

Marx，Dániel（编辑），第32届ACM-SIAM离散算法年度研讨会论文集，SODA 2021，美国弗吉尼亚州亚历山大市，虚拟，2021年1月10日至13日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。2014-2033年（2021年）。
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Nešetřil}et al.，in：第32届年度ACM-SIAM离散算法研讨会论文集，SODA 2021，美国弗吉尼亚州亚历山大市，虚拟，2021年1月10日至13日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。2014年-2033年（2021年；Zbl 07788458）
全文： 内政部 arXiv公司
尼古拉斯·马尔曼;塞巴斯蒂安·西伯茨;亚历山大·维格尼

SAT的递归后门。 （英语） Zbl 07724246号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第73条，第18页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Mählmann}等人，LIPIcs——莱布尼茨国际程序。通知。202，第73条，第18页（2021；Zbl 07724246）
全文： 内政部 arXiv公司
西蒙·库布伦茨;塞巴斯蒂安·西伯茨;亚历山大·维格尼

具有有界展开的图类上的常圆分布支配。 （英语） Zbl 07495148号

Jurdziñski，Tomasz（编辑）等人，《结构信息和通信复杂性》。第28届国际学术讨论会，SIROCCO 2021，Wrocław，波兰，2021年6月28日至7月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12810, 334-351 (2021).
MSC公司：6800万 2011年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Kublenz}等人，Lect。注释计算。科学。12810、334--351（2021；Zbl 07495148）
全文： 内政部 arXiv公司
雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

低复杂度的图类：具有有界线性秩宽的类的情况。 （英语） Zbl 1458.05226号

Eur.J.库姆。 91，文章ID 103223，第29页（2021）.
MSC公司：05C75号 03C13号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.Nešetřil}et al.，《欧洲期刊》Comb。91，文章ID 103223，29 p.（2021；Zbl 1458.05226）
全文： 内政部 arXiv公司 哈尔
丹尼尔·洛克斯塔诺夫;Amer E.穆阿瓦德。;法赫德·帕诺兰;塞巴斯蒂安·西伯茨

连通支配集重构的参数化复杂性。 （英语） Zbl 07764115号

曹一新（编辑）等，第十五届参数化和精确计算国际研讨会，IPEC 2020，中国香港，虚拟会议，2020年12月14-18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。180，第24条，第15页（2020）。
MSC公司：65年第68季度 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Lokshtanov}等人，LIPIcs——莱布尼茨国际程序。通知。180，第24条，第15页（2020；Zbl 07764115）
全文： 内政部
亚历山大·林德迈尔;塞巴斯蒂安·西伯茨;亚历山大·维格尼

平面图上有界度的消去距离。 （英语） Zbl 07559436号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第65条，第12页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Lindermayr}等人，LIPIcs——莱布尼茨国际程序。通知。170，第65条，第12页（2020；Zbl 07559436）
全文： 内政部 arXiv公司
雅罗斯拉夫·内舍特伊尔;罗马人拉比诺维奇;帕特里斯·奥斯纳·德·门德斯;塞巴斯蒂安·西伯茨

线性宽度满足稳定性要求。 （英语） Zbl 07304095号

Chawla，Shuchi（编辑），第31届ACM-SIAM离散算法年度研讨会论文集，SODA 2020，美国犹他州盐湖城，2020年1月5日至8日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1180-1199 (2020).
MSC公司：68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Nešetřil}et al.，in：第31届ACM-SIAM离散算法年会论文集，SODA 2020，美国犹他州盐湖城，2020年1月5-8日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1180--1199（2020；Zbl 07304095）
全文： 内政部 arXiv公司
加亚尔斯克，雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克

有界展开类的一阶解释。 （英语） Zbl 1446.68094号

ACM事务处理。计算。日志。 21，第4号，第29条，第41页（2020年）.
MSC公司：第68季度第60季度 03B70号 05C75号
PDF格式BibTeX公司 XML格式引用
\textit｛J.Gajarský｝等人，ACM Trans。计算。日志。21，第4号，第29条，第41页（2020年；Zbl 1446.68094）
全文： 内政部 arXiv公司 链接
科德·艾克迈耶;范登·胡维尔（Jan van den Heuvel）;川崎敬一;斯蒂芬·克鲁泽;帕特丽斯·奥斯纳·德门德斯;Micha Pilipczuk;丹尼尔·基罗兹（Daniel A.Quiroz）。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

有序结构的模型检查。 （英语） Zbl 1446.68092号

ACM事务处理。计算。日志。 21，第2号，第11条，28页（2020年）.
MSC公司：第68季度第60季度 03B70号 05C75号 05C83号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Eickmeyer}等人，《美国医学杂志》。计算。日志。21，第2号，第11条，第28页（2020年；Zbl 1446.68092）
全文： 内政部 arXiv公司
斯蒂芬·克鲁泽;艾琳·穆齐;德门德斯·帕特里斯·奥斯纳;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

稀疏有向图的算法性质。 （英语） Zbl 07559155号

Niedermeier，Rolf（ed.）等人，第36届计算机科学理论方面国际研讨会，STACS 2019，2019年3月13-16日，德国柏林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第126条，第46条，第20页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}等人，LIPIcs——莱布尼茨国际程序。通知。126，第46条，第20页（2019年；Zbl 07559155）
全文： 内政部
格拉泽戈茨法比安斯基;迈克尔·皮利普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克

控制和独立的渐进算法。 （英语） Zbl 07559136号

Niedermeier，Rolf（编辑）等人，第36届计算机科学理论方面国际研讨会，2019年3月13日至16日，德国柏林，STACS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126，第27条，第16页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Fabianáski}等人，LIPIcs--Leibniz Int.Proc。通知。126，第27条，第16页（2019年；Zbl 07559136）
全文： 内政部 arXiv公司
沃伊切赫·纳达拉;马钦·皮里普祖克;罗马人拉比诺维奇;费利克斯·雷德尔;塞巴斯蒂安·西伯茨

广义图着色和一致拟宽度近似算法的经验评估。 （英语） Zbl 1521.68256号

ACM J.实验算法。 24，第2号，第2.6条，第34页（2019）.
MSC公司：68周25 05C15号 05C42号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{W.Nadara}等人，ACM J.实验算法。24，第2号，第2.6条，第34页（2019年；Zbl 1521.68256）
全文： 内政部 链接
赛义德·阿库恩迪安·阿米里（Saeed Akhondian Amiri）;斯特凡·施密德;塞巴斯蒂安·西伯茨

平面图以外的分布式支配集逼近。 （英语） Zbl 1454.68090号

ACM事务处理。算法 第15条第3款第39条第18页（2019年）.
MSC公司：68兰特 05C69号 68宽15 68周25
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Amiri}等人，《美国医学杂志》。算法15，第3条，第39条，第18页（2019年；Zbl 1454.68090）
全文： 内政部 arXiv公司
Micha Pilipczuk;塞巴斯蒂安·西伯茨

适当的次闭图类上中心着色的多项式界。 （英语） Zbl 1434.05056号

Chan，Timothy M.（编辑），《第30届ACM-SIAM离散算法年度研讨会论文集》，2019年1月6日至9日，美国加利福尼亚州圣地亚哥，SODA 2019。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1501-1520 (2019).
MSC公司：05C15号 05C83号 05C42号
PDF格式BibTeX公司 XML格式引用
\textit{M.Pilipczuk}和\textit{S.Siebertz}，in：第30届年度ACM-SIAM离散算法研讨会会议记录，2019年SODA，美国加利福尼亚州圣地亚哥，2019月6-9日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1501-1520（2019年；Zbl 1434.05056）
全文： 内政部 arXiv公司
斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

无处稠密图类的多项式核和宽性。 （英语） Zbl 1454.05064号

ACM事务处理。算法 第15条第2款第24条第19页（2019年）.
MSC公司：05C42号 03C45号机组 05C69号 05C75号 05C85号 2017年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}等人，《美国医学杂志》。算法15，第2条，第24条，第19页（2019年；Zbl 1454.05064）
全文： 内政部 arXiv公司
加亚尔斯克，雅库布;斯蒂芬·克鲁泽;雅罗斯拉夫·内舍特伊尔;帕特丽斯·奥斯纳·德门德斯;迈克尔·皮利普祖克;塞巴斯蒂安·西伯茨;西门托伦奇克

有界展开类的一阶解释。 （英语） Zbl 1499.68202号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第126条，第14页（2018年）。
MSC公司：第68季度第60季度 03B70号 05C75号
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，LIPIcs——莱布尼茨国际程序。通知。107，第126条，第14页（2018；Zbl 1499.68202）
全文： 内政部
Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克

关于稀疏图中类型的数量。 （英语） Zbl 1453.03031号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。799-808 (2018).
MSC公司：03C45号机组 03C13号机组 05C42号
PDF格式BibTeX公司 XML格式引用
\textit{M.Pilipczuk}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。799--808（2018；Zbl 1453.03031）
全文： 内政部 arXiv公司
Micha Pilipczuk;塞巴斯蒂安·西伯茨;西门托伦奇克

稀疏结构模型检测的参数化电路复杂性。 （英语） Zbl 1497.68319号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。789-798 (2018).
MSC公司：第68季度第60季度 03C13号机组 2006年第68季度 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Pilipczuk}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。789-798（2018年；兹bl 1497.68319）
全文： 内政部 arXiv公司
沃伊切赫·纳达拉;马钦·皮里普祖克;罗马人拉比诺维奇;费利克斯·雷德尔;塞巴斯蒂安·西伯茨

广义图着色和一致拟宽度近似算法的经验评估。 （英语） 兹比尔1493.68398

D'Angelo，Gianlorenzo（编辑），第17届实验算法研讨会，2018年6月27日至29日，SEA 2018，意大利拉奎拉。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。103，第14条，第16页（2018年）。
MSC公司：68周25 05C15号 05C85号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{W.Nadara}等人，LIPIcs——莱布尼茨国际程序。通知。103，第14条，第16页（2018；Zbl 1493.68398）
全文： 内政部 arXiv公司
爱德华·艾本;米蒂利什·库马尔;Amer E.穆阿瓦德。;法赫德·帕诺兰;塞巴斯蒂安·西伯茨

稀疏图上连通支配集的有损核。 （英语） Zbl 1487.68176号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第29条，第15页（2018年）。
MSC公司：68兰特 05C69号 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Eiben}等人，LIPIcs——莱布尼茨国际程序。通知。96，第29条，第15页（2018；Zbl 1487.68176）
全文： 内政部 arXiv公司
范登·胡维尔（Jan van den Heuvel）;斯蒂芬·克鲁泽;Micha Pilipczuk;丹尼尔·基罗兹（Daniel A.Quiroz）。;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

有界展开图类上后继不变一阶公式的模型检验。 （英语） Zbl 1460.68066号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第55条，第11页（2017年）。
MSC公司：第68季度第60季度 03B10号机组 03C13号机组 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{J.van den Heuvel}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第55条，第11页（2017；Zbl 1460.68066）
全文： arXiv公司 链接
科德·艾克迈耶;大执政官Giannopoulou。;斯蒂芬·克鲁泽;权，O-Joung;Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

无处稠密图类的邻域复杂性和核化。 （英语） Zbl 1441.68176号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第63条，第14页（2017年）。
MSC公司：68兰特 05C42号 05C69号 05C75号 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Eickmeyer}等人，LIPIcs——莱布尼茨国际程序。通知。80，第63条，第14页（2017年；Zbl 1441.68176）
全文： 内政部 arXiv公司
斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

无处稠密图类的多项式核和宽性。 （英语） Zbl 1410.05112号

Klein，Philip N.（编辑），第28届ACM-SIAM离散算法年度研讨会论文集，2017年SODA，西班牙巴塞罗那，2017年1月16-19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1533-1545 (2017).
MSC公司：05C42号 05C69号 05C75号 05C85号 2017年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}等人，in：第28届年度ACM-SIAM离散算法研讨会论文集，2017年SODA，西班牙巴塞罗那，2017年1月16-19日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。1533-1545（2017；Zbl 1410.05112）
全文： 内政部
斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;格里沙韦伯斯特

稀疏有向图中强距离支配集的结构性质和常数因子逼近。 （英语） Zbl 1402.05180号

Vollmer，Heribert（编辑）等人，第34届计算机科学理论方面研讨会（STACS 2017），德国汉诺威，2017年3月8-11日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-028-6）。LIPIcs–莱布尼茨国际信息学学报66，第48条，第15页（2017年）。
MSC公司：05C75号 05C15号 05C20号 05C42号 05第57页 05C69号 05C83号 68周25
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}等人，LIPIcs——莱布尼茨国际程序。通知。66，第48条，第15页（2017；Zbl 1402.05180）
全文： 内政部
Kwon、O-joung;Micha Pilipczuk;塞巴斯蒂安·西伯茨

在低等级宽度的颜色上。 （英语） Zbl 1483.05185号

Bodlaender，Hans L.（编辑）等人，计算机科学中的图论概念。2017年6月21日至23日，第43届国际研讨会，2017年工作组，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10520, 372-385 (2017).
MSC公司：05C85号 05C15号
PDF格式BibTeX公司 XML格式引用
\textit｛O-j.Kwon｝等人，Lect。注释计算。科学。10520、372--385（2017；Zbl 1483.05185）
全文： 内政部 arXiv公司
斯蒂芬·克鲁泽;Micha Pilipczuk;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

有界扩张类上的广义着色数。 （英语） Zbl 1398.05089号

Faliszewski，Piotr（编辑）等人，第41届计算机科学数学基础国际研讨会，2016年MFCS，波兰克拉科夫，2016年8月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-016-3）。LIPIcs–莱布尼茨国际信息学学报58，第85条，第13页（2016年）。
MSC公司：05C15号 05C75号
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}等人，LIPIcs——莱布尼茨国际程序。通知。58，第85条，第13页（2016；Zbl 1398.05089）
全文： 内政部 arXiv公司
波尔·格伦奥斯·德伦奇;马库斯·德雷吉;费多尔·福明。;斯蒂芬·克鲁泽;丹尼尔·洛克斯塔诺夫;马钦·皮里普祖克;Micha Pilipczuk;费利克斯·雷德尔;费尔南多·桑切斯·维拉米尔;萨科特·索拉布;塞巴斯蒂安·西伯茨;索姆纳特·锡达尔

核化和稀疏性：支配集的情况。 （英语） Zbl 1388.68110号

Ollinger，Nicolas（编辑）等人，第33届计算机科学理论方面研讨会，2016年STACS，法国奥尔良，2016年2月17日至20日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-001-9）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学杂志47，第31条，第14页（2016）。
MSC公司：65年第68季度 05C69号 05C85号 2017年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Drange}等人，LIPIcs——莱布尼茨国际程序。通知。47，第31条，第14页（2016年；Zbl 1388.68110）
全文： 内政部 arXiv公司
Akhoondian Amiri，赛义德;斯特凡·施密德;塞巴斯蒂安·西伯茨

有界亏格图的局部常数因子MDS逼近。 （英语） Zbl 1373.68301号

2016年7月25日至28日，美国伊利诺伊州芝加哥，2016年ACM分布式计算原理研讨会论文集，PODC’16。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3964-3）。227-233 (2016).
MSC公司：68兰特 05C69号 05C85号 64岁以下 68周25
PDF格式BibTeX公司 XML格式引用
\textit{S.Akhoondian Amiri}等人，in：第35届ACM分布式计算原理研讨会论文集，PODC’16，芝加哥，伊利诺伊州，美国，2016年7月25-28日。纽约州纽约市：计算机协会（ACM）。227--233（2016；Zbl 1373.68301）
全文： 内政部 arXiv公司
马丁·格罗;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨;康斯坦蒂诺斯·斯塔夫罗普洛斯

给无处覆盖的稠密图着色。 （英语） Zbl 1417.05067号

Mayr，Ernst W.（编辑），计算机科学中的图论概念。2015年6月17日至19日，德国加兴，第41届国际研讨会，2015年工作组。修订论文。柏林：斯普林格。莱克特。注释计算。科学。9224, 325-338 (2016).
MSC公司：05C15号 05C42号 05C70号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Grohe}等人，Lect。注释计算。科学。9224，325--338（2016；Zbl 1417.05067）
全文： 内政部 arXiv公司
赛义德·阿库恩迪安·阿米里（Saeed Akhondian Amiri）;凯撒，乌卡斯;斯蒂芬·克鲁泽;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

图搜索游戏和有向图的宽度度量。 （英语） Zbl 1355.05168号

Mayr，Ernst W.（编辑）等人，第32届计算机科学理论方面国际研讨会，STACS’15，德国加兴，2015年3月4日至7日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-78-1）。LIPIcs–莱布尼茨国际信息学论文集30，34-47（2015）。
MSC公司：05第57页 2017年第68季度 91A24型 91A43型
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Amiri}等人，LIPIcs——莱布尼茨国际程序。通知。30、34——47（2015；Zbl 1355.05168）
全文： 内政部
范登·胡维尔（Jan van den Heuvel）;帕特丽斯·奥斯纳·德门德斯;罗马人拉比诺维奇;塞巴斯蒂安·西伯茨

关于排除固定次项的图的广义着色数。 （英语） Zbl 1346.05089号

Nešetril，Jaroslav（ed.）等人，《关于组合学、图论和应用的八届欧洲会议的扩展摘要》，EuroComb 2015，挪威卑尔根，2015年8月31日至9月4日。阿姆斯特丹：爱思唯尔。离散数学电子笔记49，523-530，仅电子版（2015）。
MSC公司：05C15号 05C83号 05年10月
PDF格式BibTeX公司 XML格式引用
\textit{J.van den Heuvel}等人，《电子》。注释离散数学。49523--530（2015；Zbl 1346.05089）
全文： 内政部 链接
马丁·格罗;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨

无处稠密图的一阶性质的判定。 （英语） Zbl 1315.05118号

2014年5月31日至6月3日，美国纽约州纽约市STOC’14第46届ACM计算理论年会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2710-7）。89-98 (2014).
MSC公司：05C75号 03B25号 05C42号 05第57页
PDF格式BibTeX公司 XML格式引用
\textit｛M.Grohe｝等人，载：第46届美国计算机学会计算理论年度研讨会论文集，STOC’14，美国纽约州纽约市，2014年5月31日至6月3日。纽约州纽约市：计算机协会（ACM）。89-98（2014年；Zbl 1315.05118）
全文： 内政部 arXiv公司
赛义德·阿库翁迪安·阿米里;阿里·戈尔沙尼;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨

向上平面图中的顶点不相交路径。 （英语） Zbl 1408.68105号

爱德华·赫施（Edward A.Hirsch）等，《计算机科学——理论与应用》。2014年6月7日至11日，第九届俄罗斯国际计算机科学研讨会，CSR 2014，俄罗斯莫斯科。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8476, 52-64 (2014).
MSC公司：68兰特 05年10月 05C20号 05C38号 05C85号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Akhoondian Amiri}等人，Lect。注释计算。科学。8476，52-64（2014年；兹比尔1408.68105）
全文： 内政部 arXiv公司
马丁·格罗;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨

无处密集图的特征（受邀演讲）。 （英语） Zbl 1359.05102号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，21-40（2013）。
MSC公司：05C75号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{M.Grohe}等人，LIPIcs——莱布尼茨国际程序。通知。24、21至40（2013；Zbl 1359.05102）
全文： 内政部
维克托·恩格尔曼;斯蒂芬·克鲁泽;塞巴斯蒂安·西伯茨

有序结构上的一阶和一阶二阶模型检验。 （英语） Zbl 1362.68167号

2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。275-284 (2012).
MSC公司：第68季度第60季度 03B10号机组 03B15号机组 03C07号机组 03C13号机组 第68季度19 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Engelmann}等人，摘自：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。275--284（2012年；Zbl 1362.68167）
全文： 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件