Wied Pakusa

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 12

Top Topics

Algebraic Operators

Proof Theoretic

Top Venues

Log. Methods Comput. Sci.

Publications

Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Temporal Constraint Satisfaction Problems in Fixed-Point Logic. LICS (2020)
Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Temporal Constraint Satisfaction Problems in Fixed-Point Logic. CoRR (2020)
Erich Grädel, Wied Pakusa
Rank Logic is dead, Long Live Rank Logic! J. Symb. Log. 84 (1) (2019)
Anuj Dawar, Erich Grädel, Wied Pakusa
Approximations of Isomorphism and Logics with Linear-Algebraic Operators. CoRR (2019)
Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa
A Finite-Model-Theoretic View on Propositional Proof Complexity. Log. Methods Comput. Sci. 15 (1) (2019)
Anuj Dawar, Erich Grädel, Wied Pakusa
Approximations of Isomorphism and Logics with Linear-Algebraic Operators. ICALP (2019)
Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa
A Finite-Model-Theoretic View on Propositional Proof Complexity. CoRR (2018)
Wied Pakusa, Svenja Schalthöfer, Erkal Selman
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. ACM Trans. Comput. Log. 19 (2) (2018)
Erich Grädel, Benedikt Pago, Wied Pakusa
The Model-Theoretic Expressiveness of Propositional Proof Systems. CSL (2017)
Martin Grohe, Wied Pakusa
Descriptive complexity of linear equation systems and applications to propositional proof complexity. LICS (2017)
Faried Abu Zaid, Anuj Dawar, Erich Grädel, Wied Pakusa
Definability of summation problems for Abelian groups and semigroups. LICS (2017)
Wied Pakusa, Svenja Schalthöfer, Erkal Selman
Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. CSL (2016)
Erich Grädel, Wied Pakusa
Rank logic is dead, long live rank logic! CoRR (2015)
Felix Canavoi, Erich Grädel, Simon Leßenich, Wied Pakusa
Defining Winning Strategies in Fixed-Point Logic. LICS (2015)
Erich Grädel, Wied Pakusa, Svenja Schalthöfer, Lukasz Kaiser
Characterising Choiceless Polynomial Time with First-Order Interpretations. LICS (2015)
Erich Grädel, Wied Pakusa
Rank Logic is Dead, Long Live Rank Logic!. CSL (2015)
Faried Abu Zaid, Erich Grädel, Martin Grohe, Wied Pakusa
Choiceless Polynomial Time on Structures with Small Abelian Colour Classes. MFCS (1) (2014)
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa
Model-Theoretic Properties of ω-Automatic Structures. Theory Comput. Syst. 55 (4) (2014)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings Log. Methods Comput. Sci. 9 (4) (2013)
Anuj Dawar, Erich Grädel, Bjarki Holm, Eryk Kopczynski, Wied Pakusa
Definability of linear equation systems over groups and rings. CSL (2012)