亚历山大·阿提基斯（编辑）;弗洛里安·布鲁斯（编辑）;卢克·亨斯伯格（编辑） 第30届时间表征和推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。 （英语） Zbl 1522.68013号 LIPIcs–莱布尼茨国际信息学会议录278.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-298-3）。xiv，22篇文章，非连续页面，仅电子版，开放存取（2023年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}（ed.）等人，第30届时间表征与推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68013） 全文： DOI程序 链接
迪莉娅·凯斯纳（编辑）;皮埃尔·马里·佩德罗（编辑） 第28届国际校样和程序类型会议，types 2022，LS2N，南特大学，法国，2022年6月20日至25日。 （英语） Zbl 1517.68019号 LIPIcs–莱布尼茨国际信息学会议录269.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-285-3）。vii，15篇文章，非连续页面，仅电子版，开放存取（2023年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}（ed.）和\textit{P.-M.Pédrot}（edi.），第28届证明和程序类型国际会议，types 2022，LS2N，南特大学，法国，2022年6月20日至25日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1517.68019） 全文： DOI程序 链接
阿努杰，达瓦尔（编辑）;文卡特桑Guruswami（编辑） 第42届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2022），印度钦奈IIT马德拉斯，2022年12月18-20日。 （英语） Zbl 1502.68026号 LIPIcs–莱布尼茨国际信息学会议录250.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-261-7）。xv，44篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 68号30 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Dawar}（编辑）和\textit{V.Guruswami}（编），第42届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2022），印度钦奈IIT Madras，2022年12月18-20日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2022；Zbl 1502.68026） 全文： DOI程序 链接
亚历山大·阿提基斯（编辑）;罗伯托·波塞纳托（编辑）;斯特凡诺·托内塔（编辑） 第29届时间表征与推理国际研讨会（TIME 2022），虚拟会议，2022年11月7日至9日。 （英语） Zbl 1502.68018号 LIPIcs–莱布尼茨国际信息学会议录247.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik（ISBN 978-3-95977-262-4）。xiv，15篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}（编辑）等人，第29届时间表征和推理国际研讨会（TIME 2022），虚拟会议，2022年11月7-9日。瓦德恩：达格斯图尔城堡-莱布尼茨信息中心（2022；Zbl 1502.68018） 全文： DOI程序 链接
海宁·巴索尔德（编辑）;杰斯珀·考克斯（编辑）;西尔维娅·吉勒赞（编辑） 第27届国际校样和程序类型会议，types 2021，荷兰莱顿，虚拟会议，2021年6月14-18日。 （英语） Zbl 1494.68007号 LIPIcs–莱布尼茨国际信息学会议录239.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-254-9）。vii，12篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{H.Basold}（ed.）等人，第27届国际校样和程序类型会议，types 2021，荷兰莱顿，虚拟会议，2021年6月14-18日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2022；Zbl 1494.68007） 全文： DOI程序 链接
Mikołaj博扬奇克（编辑）;钱德拉·切库里（编辑） 第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。 （英语） Zbl 1482.68008号 LIPIcs–莱布尼茨国际信息学会议录213.瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-95977-215-0）。xv，52篇文章，非连续页面，仅电子版，开放存取（2021年）。MSC公司：68-06 68号30 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk}（编辑）和\textit{C.Chekuri}（编），第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2021；Zbl 1482.68008） 全文： DOI程序 链接
卡洛·库比（编辑）;约翰·埃德尔（编辑）;雷诺兹，马克（编辑） 第28届时间表征与推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。 （英语） Zbl 1473.68013号 LIPIcs–莱布尼茨国际信息学会议录206.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-206-8）。xiv，17篇文章，非连续页面，仅电子版，开放存取（2021年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{C.Combi}（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。瓦德恩：达格斯图尔城堡-莱布尼茨信息中心（2021；Zbl 1473.68013） 全文： DOI程序 链接
乌戈·德利古罗（编辑）;Stefano贝拉迪（编辑）;托尔斯滕·阿滕柯奇（编辑） 第26届国际校样和程序类型会议，2020年3月2日至5日，意大利都灵都灵大学，types 2020。 （英语） Zbl 1465.68018号 LIPIcs–莱布尼茨国际信息学会议录188.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（ISBN 978-3-95977-182-5）。vii，11篇文章，非连续页面，仅电子版，开放存取（2021年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{U.de’Liguoro}（ed.）等人，第26届国际校样和程序类型会议，2020年类型，意大利都灵大学，2020年3月2-5日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·富尔Informatik（2021；Zbl 1465.68018） 全文： DOI程序 链接
尼廷·萨克塞纳（编辑）;苏尼尔·西蒙（编辑） 第40届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2020，印度果阿，虚拟会议，2020年12月14-18日。 （英语） Zbl 1451.68027号 LIPIcs–莱布尼茨国际信息学会议录182.瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-95977-174-0）。viii，58篇文章，非连续页面，仅电子版，开放存取（2020年）。MSC公司：68-06 68号30 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{N.Saxena}（编辑）和\textit{S.Simon}（编），第40届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2020，印度果阿，虚拟会议，2020年12月14-18日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2020；Zbl 1451.68027） 全文： DOI程序 链接
埃米利奥·穆尼奥斯·韦拉斯科（编辑）;安娜·奥扎基（编辑）;马丁·西奥博尔德（编辑） 第27届时间表征与推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利Bozen-Bolzano。诉讼程序。 （英语） Zbl 1443.68018号 LIPIcs–莱布尼茨国际信息学会议录178.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-167-2）。xi，19篇文章，非连续页面，仅电子版，开放存取（2020年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{E.Muñoz-Velasco}（ed.）等人，第27届时间表征和推理国际研讨会。《时代》2020，2020年9月23日至25日，意大利博赞博尔扎诺。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2020；Zbl 1443.68018） 全文： DOI程序 链接
马克·贝泽姆（编辑）;阿西亚·马布比（编辑） 第25届校样和程序类型国际会议。2019年，2019年6月11日至14日，挪威奥斯陆。诉讼程序。 （英语） Zbl 1445.68007号 LIPIcs–莱布尼茨国际信息学会议录175.韦德恩：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-95977-158-0）。ix，10篇文章，非连续页面，仅电子版，开放存取（2020年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}（编辑）和textit{A.Mahboubi}（编），第25届国际校样和程序类型会议。2019年6月11日至14日，挪威奥斯陆。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2020；Zbl 1445.68007） 全文： DOI程序 链接
阿尔卡德夫查托帕迪亚伊（编辑）;保罗·加斯廷（编辑） 第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日于印度孟买举行。 （英语） Zbl 1434.68021号 LIPIcs–莱布尼茨国际信息学会议录150.瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-95977-131-3）。xii，51篇文章，非连续页面，仅电子版，开放存取（2019年）。MSC公司：68-06 68号30 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Chattopadhyay}（ed.）和\textit{P.Gastin}（edi.），第39届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2019，印度孟买，2019年12月11-13日。瓦登：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2019；Zbl 1434.68021） 全文： DOI程序 链接
彼得·戴比杰（编辑）;何塞·埃斯皮里托·桑托（编辑）;路易斯·平托（编辑） 2018年6月18日至21日在葡萄牙布拉加举行的第24届国际校样和程序类型会议，2018年types。 （英语） Zbl 1433.68014号 LIPIcs–莱布尼茨国际信息学会议录130.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-106-1）。7篇文章，非连续页面，仅电子版，开放存取（2019年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{P.Dybjer}（ed.）等人，第24届国际校样和程序类型会议，2018年类型，葡萄牙布拉加，2018年6月18-21日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2019；Zbl 1433.68014） 全文： DOI程序 链接
约翰·甘珀（编辑）;苏菲·平奇纳特（编辑）;圭多·西亚维科（编辑） 第26届时间表征与推理国际研讨会，《时代》2019。2019年10月16日至19日，西班牙马拉加。诉讼程序。 （英语） Zbl 1423.68024号 LIPIcs–莱布尼茨国际信息学会议录147.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-127-6）。xi，20篇文章，非连续页面，仅电子版，开放存取（2019年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{J.Gamper}（ed.）等人，第26届时间表征和推理国际研讨会，《时代》2019年。西班牙马拉加，2019年10月16-19日。诉讼程序。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2019；Zbl 1423.68024） 全文： DOI程序 链接
苏米特·甘古利（编辑）;帕里托什·潘迪亚（编辑） 第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。 （英语） Zbl 1407.68032号 LIPIcs–莱布尼茨国际信息学会议录122.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-093-4）。xiii，48篇文章，非连续页面，仅电子版，开放存取（2018年）。MSC公司：68-06 68号30 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{S.Ganguly}（编辑）和\textit{P.Pandya}（编），第38届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2018，印度艾哈迈达巴德，2018年12月11-13日。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2018；Zbl 1407.68032） 全文： DOI程序 链接
安德烈亚斯·亚贝尔（编辑）;弗雷德里克·诺德瓦尔·福斯伯格（编辑）;安布罗斯·卡波西（编辑） 2017年5月24日至6月1日在匈牙利布达佩斯举行的2017年types第23届国际校样和程序类型会议。 （英语） Zbl 1407.68018号 LIPIcs–莱布尼茨国际信息学会议录104.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-071-2）。ix，7篇文章，非连续页面，仅电子版，开放存取（2018年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2018；Zbl 1407.68018） 全文： DOI程序
西尔维娅·吉勒赞（编辑）;赫尔曼·盖弗斯（编辑）;Jelena Ivetić（编辑） 2016年5月23日至26日在塞尔维亚诺维萨德举行的2016年types第22届国际校样和程序类型会议。 （英语） 兹比尔1407.68033 LIPIcs–莱布尼茨国际信息学会议录97.瓦德恩：Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-065-1）。x、 15篇文章，不连续翻页，仅限电子版，开放获取（2018）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}（ed.）等人，第22届国际校样和程序类型会议，types 2016，2016年5月23日至26日，塞尔维亚诺维萨德。瓦登：达格斯图尔宫——莱布尼茨天顶信息馆（2018；Zbl 1407.68033） 全文： DOI程序 链接
娜塔莎·亚历奇纳（编辑）;科杰蒂尔·诺瓦格（编辑）;沃伊切赫·彭泽克（编辑） 第25届时间表征与推理国际研讨会。《时代》2018，波兰华沙，2018年10月15日至17日。诉讼程序。 （英语） Zbl 1402.68016号 LIPIcs–莱布尼茨国际信息学会议录120.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-089-7）。xiii，23篇文章，非连续页面，仅电子版，开放存取（2018年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{N.Alechina}（编辑）等人，第25届时间表征和推理国际研讨会。《时代》2018，波兰华沙，2018年10月15-17日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2018；Zbl 1402.68016） 全文： DOI程序 链接
塔尔莫乌斯塔卢（编辑） 2015年5月18日至21日在爱沙尼亚塔林举行的第21届国际校样和程序类型会议，types 2015。 （英语） Zbl 1392.68035号 LIPIcs–莱布尼茨国际信息学会议录69.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-030-9）。xii，9篇文章，非连续页面，仅电子版，开放存取（2018年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu}（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2018；Zbl 1392.68035） 全文： DOI程序 链接
萨蒂亚·洛卡姆（编辑）;拉马努贾姆，R。（编辑） 第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。 （英语） Zbl 1388.68010号 LIPIcs–莱布尼茨国际信息学会议录93.瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-95977-055-2）。viii，47篇文章，非连续页面，仅电子版，开放存取（2018年）。MSC公司：68-06 68号30 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{S.Lokam}（编辑）和\textit{R.Ramanujam}。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2018；Zbl 1388.68010） 全文： DOI程序 链接
斯文·舍韦（编辑）;托马斯·施耐德（编辑）;杰夫·威森（编辑） 第24届时间表征和推理国际研讨会，2017年10月16日至18日，《时代》杂志，比利时蒙斯。诉讼程序。 （英语） Zbl 1372.68021号 LIPIcs–莱布尼茨国际信息学会议录90.瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-95977-052-1）。xiv，23篇文章，非连续页面，仅电子版，开放存取（2017年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{S.Schewe}（ed.）等人，第24届时间表征与推理国际研讨会，2017年《时代》杂志，比利时蒙斯，2017年10月16-18日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2017；Zbl 1372.68021） 全文： DOI程序 链接
阿卡什·拉尔（编辑）;阿克西，S。（编辑）;萨科特·索拉布（编辑）;桑迪普·森（编辑） 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。 （英语） Zbl 1354.68012号 LIPIcs–莱布尼茨国际信息学会议录65.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。xiv，50篇文章，非连续页面，仅电子版，开放存取（2016年）。MSC公司：68-06 68号30 68季度xx 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{A.Lal}（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2016；Zbl 1354.68012） 全文： 链接 链接
雨果·赫贝林（编辑）;皮埃尔·勒图泽伊（编辑）;索索、马蒂厄（编辑） 2014年5月12日至15日，法国巴黎，第20届国际校样和程序类型会议，types’14。诉讼程序。 （英语） Zbl 1329.68029号 LIPIcs–莱布尼茨国际信息学会议录39.瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-88-0）。x、 第307页。，仅电子版，开放存取（2015年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{H.Herbelin}（ed.）等人，第20届国际校样和程序类型会议，types’14，法国巴黎，2014年5月12-15日。诉讼程序。Wadern:Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2015年；Zbl 1329.68029） 全文： 链接
拉尔夫·马提斯（编辑）;舒伯特，阿列克西（编辑） 2013年4月22日至26日在法国图卢兹举行的第19届国际校样和程序类型会议，types 2013。诉讼程序。 （英语） Zbl 1294.68024号 LIPIcs–莱布尼茨国际信息学会议录26.瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-72-9）。ix，第269页。，仅电子版（2014年）。MSC公司：68-06 03B70号 68号30 00时25分 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}（编辑）和\textit{A.Schubert}（编），第19届国际校样和程序类型会议，types 2013，法国图卢兹，2013年4月22日至26日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2014；Zbl 1294.68024） 全文： 链接