Wied Pakusa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Approximations of isomorphism and logics with linear-algebraic operators	2022-07-21	Paper
Temporal constraint satisfaction problems in fixed-point logic Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Descriptive complexity of linear equation systems and applications to propositional proof complexity	2021-01-19	Paper
scientific article; zbMATH DE number 7297830 (Why is no real title available?)	2021-01-19	Paper
scientific article; zbMATH DE number 7204319 (Why is no real title available?)	2020-05-26	Paper
Rank logic is dead, long live rank logic! Journal of Symbolic Logic	2019-03-15	Paper
A finite-model-theoretic view on propositional proof complexity	2019-02-25	Paper
Approximations of Isomorphism and Logics with Linear-Algebraic Operators	2019-02-18	Paper
Defining winning strategies in fixed-point logic 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Characterising choiceless polynomial time with first-order interpretations 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time ACM Transactions on Computational Logic	2018-03-22	Paper
Rank logic is dead, long live rank logic!	2017-08-31	Paper
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time	2017-07-19	Paper
Model-theoretic properties of \(\omega\)-automatic structures Theory of Computing Systems	2015-02-05	Paper
Choiceless polynomial time on structures with small abelian colour classes Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Definability of linear equation systems over groups and rings Logical Methods in Computer Science	2013-11-28	Paper
Definability of linear equation systems over groups and rings	2012-11-22	Paper

Research outcomes over time

This page was built for person: Wied Pakusa