×
Edit Profile (opens in new tab)

Pakusa, Wied

Co-Author Distance
Author ID: pakusa.wied Recent zbMATH articles by "Pakusa, Wied"
Published as: Pakusa, Wied; Pakusa, W.
Documents Indexed: 16 Publications since 2012
Co-Authors: 14 Co-Authors with 16 Joint Publications
265 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
12 Grädel, Erich
4 Dawar, Anuj
3 Grohe, Martin
3 Schalthöfer, Svenja
3 Abu Zaid, Faried
2 Holm, Bjarki
2 Kaiser, Lukasz
2 Kopczyński, Eryk
2 Pago, Benedikt
2 Selman, Erkal
1 Bodirsky, Manuel
1 Canavoi, Felix
1 Leßenich, Simon
1 Rydval, Jakub

Serials

2 Logical Methods in Computer Science
1 The Journal of Symbolic Logic
1 Theory of Computing Systems
1 ACM Transactions on Computational Logic
all top 5

Fields

15 Mathematical logic and foundations (03-XX)
13 Computer science (68-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
2 Group theory and generalizations (20-XX)
1 General algebraic systems (08-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

15 Publications have been cited 43 times in 29 Documents Cited by ▼ Year ▼
Choiceless polynomial time on structures with small abelian colour classes. Zbl 1426.68106
Abu Zaid, F.; Grädel, E.; Grohe, M.; Pakusa, W.
5
2014
Rank logic is dead, long live rank logic! Zbl 1373.03047
Grädel, Erich; Pakusa, Wied
5
2015
A finite-model-theoretic view on propositional proof complexity. Zbl 1451.03023
Grädel, Erich; Grohe, Martin; Pago, Benedikt; Pakusa, Wied
5
2019
Rank logic is dead, long live rank logic! Zbl 1425.68134
Grädel, Erich; Pakusa, Wied
4
2019
Descriptive complexity of linear equation systems and applications to propositional proof complexity. Zbl 1462.68075
Grohe, Martin; Pakusa, Wied
4
2017
Definability of linear equation systems over groups and rings. Zbl 1314.68147
Dawar, Anuj; Kopczynski, Eryk; Holm, Bjarki; Grädel, Erich; Pakusa, Wied
4
2013
Model-theoretic properties of \(\omega\)-automatic structures. Zbl 1335.03037
Abu Zaid, Faried; Grädel, Erich; Kaiser, Łukasz; Pakusa, Wied
3
2014
Temporal constraint satisfaction problems in fixed-point logic. Zbl 1498.08003
Bodirsky, Manuel; Pakusa, Wied; Rydval, Jakub
3
2020
Approximations of isomorphism and logics with linear-algebraic operators. Zbl 07561605
Dawar, Anuj; Grädel, Erich; Pakusa, Wied
3
2019
Characterising choiceless polynomial time with first-order interpretations. Zbl 1394.68161
Grädel, Erich; Pakusa, Wied; Schalthöfer, Svenja; Kaiser, Lukasz
2
2015
Definability of linear equation systems over groups and rings. Zbl 1252.03083
Dawar, Anuj; Grädel, Erich; Holm, Bjarki; Kopczynski, Eryk; Pakusa, Wied
1
2012
Defining winning strategies in fixed-point logic. Zbl 1394.03053
Canavoi, Felix; Grädel, Erich; Lessenich, Simon; Pakusa, Wied
1
2015
Definability of summation problems for abelian groups and semigroups. Zbl 1457.68119
Abu Zaid, Faried; Dawar, Anuj; Grädel, Erich; Pakusa, Wied
1
2017
The model-theoretic expressiveness of propositional proof systems. Zbl 1434.03132
Grädel, Erich; Pago, Benedikt; Pakusa, Wied
1
2017
Definability of Cai-Fürer-Immerman problems in choiceless polynomial time. Zbl 1369.68222
Pakusa, Wied; Schalthöfer, Svenja; Selman, Erkal
1
2016
Temporal constraint satisfaction problems in fixed-point logic. Zbl 1498.08003
Bodirsky, Manuel; Pakusa, Wied; Rydval, Jakub
3
2020
A finite-model-theoretic view on propositional proof complexity. Zbl 1451.03023
Grädel, Erich; Grohe, Martin; Pago, Benedikt; Pakusa, Wied
5
2019
Rank logic is dead, long live rank logic! Zbl 1425.68134
Grädel, Erich; Pakusa, Wied
4
2019
Approximations of isomorphism and logics with linear-algebraic operators. Zbl 07561605
Dawar, Anuj; Grädel, Erich; Pakusa, Wied
3
2019
Descriptive complexity of linear equation systems and applications to propositional proof complexity. Zbl 1462.68075
Grohe, Martin; Pakusa, Wied
4
2017
Definability of summation problems for abelian groups and semigroups. Zbl 1457.68119
Abu Zaid, Faried; Dawar, Anuj; Grädel, Erich; Pakusa, Wied
1
2017
The model-theoretic expressiveness of propositional proof systems. Zbl 1434.03132
Grädel, Erich; Pago, Benedikt; Pakusa, Wied
1
2017
Definability of Cai-Fürer-Immerman problems in choiceless polynomial time. Zbl 1369.68222
Pakusa, Wied; Schalthöfer, Svenja; Selman, Erkal
1
2016
Rank logic is dead, long live rank logic! Zbl 1373.03047
Grädel, Erich; Pakusa, Wied
5
2015
Characterising choiceless polynomial time with first-order interpretations. Zbl 1394.68161
Grädel, Erich; Pakusa, Wied; Schalthöfer, Svenja; Kaiser, Lukasz
2
2015
Defining winning strategies in fixed-point logic. Zbl 1394.03053
Canavoi, Felix; Grädel, Erich; Lessenich, Simon; Pakusa, Wied
1
2015
Choiceless polynomial time on structures with small abelian colour classes. Zbl 1426.68106
Abu Zaid, F.; Grädel, E.; Grohe, M.; Pakusa, W.
5
2014
Model-theoretic properties of \(\omega\)-automatic structures. Zbl 1335.03037
Abu Zaid, Faried; Grädel, Erich; Kaiser, Łukasz; Pakusa, Wied
3
2014
Definability of linear equation systems over groups and rings. Zbl 1314.68147
Dawar, Anuj; Kopczynski, Eryk; Holm, Bjarki; Grädel, Erich; Pakusa, Wied
4
2013
Definability of linear equation systems over groups and rings. Zbl 1252.03083
Dawar, Anuj; Grädel, Erich; Holm, Bjarki; Kopczynski, Eryk; Pakusa, Wied
1
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 44 Authors

10 Grädel, Erich
6 Pakusa, Wied
5 Bodirsky, Manuel
5 Dawar, Anuj
4 Grohe, Martin
3 Rydval, Jakub
2 Atserias, Albert
2 Geerts, Floris
2 Schalthöfer, Svenja
1 Conghaile, Adam Ó
1 Escudero, Daniel E.
1 Feng, Shiguang
1 Ferrarotti, Flavio Antonio
1 Fijalkow, Joanna
1 Gao, Ziyuan
1 González, Senén
1 Greiner, Johannes
1 Hieronymi, Philipp
1 Hoelzel, Matthias
1 Jain, Sanjay
1 Kaiser, Lukasz
1 Knäuer, Simon
1 Lücking, Niels
1 Naaf, Matthias
1 Neuen, Daniel
1 Ochremiak, Joanna
1 Pago, Benedikt
1 Qi, Ji
1 Quinn-Gregson, Thomas
1 Schlicht, Philipp
1 Schweitzer, Pascal
1 Soria-Vazquez, Eduardo
1 Starke, Florian
1 Stephan, Frank
1 Tarr, Jacob
1 Turull Torres, Jose Maria
1 Vagnozzi, Danny
1 Van den Bussche, Jan
1 Virtema, Jonni
1 Walsberg, Erik
1 Wang, Kexu
1 Wilsenach, Gregory
1 Abu Zaid, Faried
1 Zhao, Xishun
all top 5

Cited in 9 Serials

5 Logical Methods in Computer Science
1 Journal of Computer and System Sciences
1 The Journal of Symbolic Logic
1 SIAM Journal on Computing
1 Selecta Mathematica. New Series
1 Theory of Computing Systems
1 Journal of the ACM
1 Journal of Mathematical Logic
1 Moscow Journal of Combinatorics and Number Theory
all top 5

Cited in 13 Fields

21 Computer science (68-XX)
20 Mathematical logic and foundations (03-XX)
5 Combinatorics (05-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Operations research, mathematical programming (90-XX)
2 Information and communication theory, circuits (94-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 General algebraic systems (08-XX)
1 Associative rings and algebras (16-XX)
1 Group theory and generalizations (20-XX)
1 Real functions (26-XX)
1 Geometry (51-XX)
1 General topology (54-XX)

Citations by Year