2024年11月25日至27日||第三次研讨会复杂性和算法CoA 2024亨利·彭加莱研究所在巴黎

2025年3月31日-4月4日||Le Kaléidoscope de la Complexitéat研究院CIRM公司在马赛

轨道有限维向量空间与加权寄存器自动机|与Mikołaj Bojann czyk、Bartek Klin、Joshua Moerman

理论CS 2024  ||  下载↓

可定义椭球方法、平方和证明和图同构问题|与阿尔伯特·阿塞里亚斯

SIAM计算机杂志（SICOMP）2023  ||  下载↓

关于对称线性规划的幂|与Albert Atserias，Anuj Dawar

美国医学会杂志（JACM）2021  ||  下载↓

可定义同构问题|与哈迪杰·凯什瓦尔杜斯特、巴特·克林、萨威克·拉索塔、西蒙·托伦奇克

2019年计算机科学中的逻辑方法  ||  下载↓

关于对称线性规划的幂|与Albert Atserias，Anuj Dawar

2019年LICS  ||  下载↓  ||  满↓

证明复杂性符合代数|与阿尔伯特·阿塞里亚斯

2019年ACM计算逻辑事务（TOCL）  ||  下载↓

可定义椭球方法、平方和证明和同构问题|与阿尔伯特·阿塞里亚斯

许可证2018  ||  下载↓  ||  满↓

证明复杂性符合代数|与阿尔伯特·阿塞里亚斯

2017年ICALP  ||  下载↓  ||  满↓

一阶可定义结构的同态问题|与Bartek Klin、Sławek Lasota、Szymon Toru nn czyk合作

2016年FSTTCS  ||  下载↓  ||  满↓

扩展约束满足问题

博士论文||下载↓

树上一元数据日志程序的递归消除|与菲利普·马佐维耶基、亚当·维特科夫斯基

2015年MFCS  ||  下载↓

局部有限约束满足问题|与Bartek Klin、Eryk Kopczyñski、Szymon Toruñczyk

2015年LICS  ||  下载↓

值约束满足问题的代数性质|和Marcin Kozik

ICALP 2015年  ||  下载↓  ||  满↓

原子图灵机、约束满足问题和描述复杂性|与Bartek Klin、Sławek Lasota、Szymon Toru nn czyk合作

CSL-LICS 2014年  ||  下载↓

代数原子上的标称集

2014年RAMiCS  ||  下载↓

关于对称线性规划的幂

29.06.2022受邀演讲2022年逻辑座谈会（计算机科学逻辑特别会议），雷克雅未克
20.03.2019  自动机理论研讨会，华沙大学

证明复杂性简介|28.06.2021

逻辑指导研讨会

证明复杂性符合有限模型理论

07.06.2021  MIAO视频研讨会哥本哈根大学和隆德大学
03.03.2021  SAT/SMT求解的理论基础加州大学伯克利分校西蒙斯研究所

用逻辑理解线性和半定规划的威力|04.04.2019

受邀演讲Complexitéet算法法国罗斯科夫

图同构问题的证明复杂性|13.03.2019

GdR国家信息数学杂志，奥尔良人

可定义椭球方法、平方和证明和图同构问题

13.11.2018  理论小组研究研讨会伦敦玛丽女王大学
19.09.2018  2018年亮点，柏林
12.07.2018  2018年LICS，牛津||下载↓
15.06.2018  逻辑和验证巴黎北部信息实验室

代数和半代数证明系统|19.07.2018

受邀在2018年汽车展法国盖德雷

平方和、计数逻辑和图同构

27.03.2018  塞米奈尔·阿尔戈巴黎大学Est
30.01.2018  证明复杂性达格斯图尔研讨会
26.01.2018  瓦尔达研讨会，ENS巴黎

证明复杂性符合代数

13.12.2017  计算中的逻辑结构加州大学伯克利分校西蒙斯研究所
17.08.2017  证明复杂性及其以外Oberwolfach研讨会
11.07.2017  2017年ICALP，华沙||下载↓

约束满足问题的证明复杂性

15.04.2021加州大学伯克利分校西蒙斯研究所研究员谈话
03.11.2017  Links研讨会、里尔
31.10.2017  DIMAP研讨会，华威大学
03.10.2017  塞米纳伊尔·德·勒基佩（Séminaire de l’equipe Méthodes Formelles）、拉布里、波尔多
15.09.2017  2017年亮点，伦敦
07.09.2017  有限和算法模型理论，达格斯图尔研讨会||下载↓
03.05.2017  逻辑和数据库理论的当前主题，柏林||下载↓
12.04.2017  自动机理论研讨会，华沙大学

FO-可定义约束满足问题

15.05.2017  Séminaire Général de Logique公司Jussieu数学研究所
9.11.2016  {对称、逻辑、计算}加州大学伯克利分校西蒙斯研究所下载↓

原子集合中的计算|19.09.2016

在数量LA研讨会||下载↓

一阶可定义结构的同态问题

21.04.2016  逻辑与人工智能研讨会伦敦帝国理工学院
12.04.2016  2016年ALGA，马赛||下载↓

扩展约束满足问题|24.02.2016

博士辩护  ||  下载↓

值CSP可牵引性的代数必要条件|18.09.2015

2015年亮点，布拉格||下载↓

确定FO定义的CSP实例|24.07.2015

约束满足问题，达格斯图尔研讨会||下载↓

局部有限约束满足问题

08.07.2015  2015年LICS，京都
02.06.2015  验证研讨会，牛津||下载↓
22.05.2015  ToCAI研讨会伦敦米德尔塞克斯大学
15.05.2015  逻辑和语义研讨会，剑桥
09.01.2015  “自动化”研讨会、LIAFA、巴黎

值约束满足问题的代数性质

06.07.2015  ICALP 2015年，京都||下载↓
20.05.2015  算法研讨会，牛津

原子图灵机与约束满足问题|3.09.2014

2014年亮点，巴黎||下载↓

代数原子上的标称集|29.04.2014

2014年RAMiCS，Marienstatt im Westerwald||下载↓