×
Author ID: martin.barnaby-d Recent zbMATH articles by "Martin, Barnaby D."
Published as: Martin, Barnaby; Martin, Barnaby D.

Publications by Year

Citations contained in zbMATH Open

62 Publications have been cited 266 times in 157 Documents Cited by Year
The complexity of surjective homomorphism problems-a survey. Zbl 1246.05104
Bodirsky, Manuel; Kára, Jan; Martin, Barnaby
32
2012
The computational complexity of disconnected cut and \(2 K_2\)-partition. Zbl 1307.05128
Martin, Barnaby; Paulusma, Daniël
16
2015
The packing chromatic number of the infinite square lattice is between 13 and 15. Zbl 1361.05051
Martin, Barnaby; Raimondi, Franco; Chen, Taolue; Martin, Jos
16
2017
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
15
2012
Constraint satisfaction problems over the integers with successor. Zbl 1440.68111
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
14
2015
Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András
12
2019
Colouring \(H\)-free graphs of bounded diameter. Zbl 07561658
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
10
2019
Parameterized proof complexity. Zbl 1252.68151
Dantchev, Stefan; Martin, Barnaby; Szeider, Stefan
9
2011
Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436
Martin, Barnaby; Madelaine, Florent
8
2006
Injective colouring for H-free graphs. Zbl 07493522
Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
8
2021
Tight rank lower bounds for the Sherali-Adams proof system. Zbl 1168.03043
Dantchev, Stefan; Martin, Barnaby; Rhodes, Mark
7
2009
Some analytical solutions for viscometric flows of power-law fluids with heat generation and temperature dependent viscosity. Zbl 0166.21702
Martin, B.
7
1967
Discrete temporal constraint satisfaction problems. Zbl 1425.68135
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
7
2018
The complexity of positive first-order logic without equality. Zbl 1351.68119
Madelaine, Florent; Martin, Barnaby
6
2012
Acyclic, star and injective colouring: a complexity picture for \(H\)-free graphs. Zbl 07651161
Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
6
2020
First-order model checking problems parameterized by the model. Zbl 1142.68439
Martin, Barnaby
5
2008
Acyclic, star, and injective colouring: bounding the diameter. Zbl 07538588
Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
5
2021
From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby
4
2015
Constraint satisfaction with counting quantifiers. Zbl 1392.68206
Martin, Barnaby; Madelaine, Florent; Stacho, Juraj
4
2015
Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224
Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
4
2022
Colouring graphs of bounded diameter in the absence of small cycles. Zbl 1489.05056
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
4
2022
Acyclic, star, and injective colouring: bounding the diameter. Zbl 1491.05074
Brause, Christoph; Golovach, Petr; Martin, Barnaby; Ochem, Pascal; Paulusma, Daniël; Smith, Siani
4
2022
Distance constraint satisfaction problems. Zbl 1287.68068
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael
4
2010
Finding vertex-surjective graph homomorphisms. Zbl 1253.68149
Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël
4
2012
The complexity of quantified constraints using the algebraic formulation. Zbl 1441.68087
Carvalho, Catarina; Martin, Barnaby; Zhuk, Dmitriy
4
2017
QCSP on partially reflexive forests. Zbl 1401.68124
Martin, Barnaby
3
2011
Optimal robot motions for physical criteria. Zbl 1065.70006
Bobrow, J. E.; Martin, B.; Sohl, G.; Wang, E. C.; Park, F. C.; Kim, Junggon
3
2001
Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1380.68221
Glaßer, Christian; Jonsson, Peter; Martin, Barnaby
3
2017
Induced disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07682425
Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
3
2022
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
3
2019
Relativization makes contradictions harder for resolution. Zbl 1277.68093
Dantchev, Stefan; Martin, Barnaby
3
2014
Colouring graphs of bounded diameter in the absence of small cycles. Zbl 07667143
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
3
2021
Finding vertex-surjective graph homomorphisms. Zbl 1360.68511
Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël
2
2012
Constraint satisfaction with counting quantifiers. Zbl 1360.68514
Madelaine, Florent; Martin, Barnaby; Stacho, Juraj
2
2012
Statistics of the three-dimensional ferromagnet. Zbl 0041.58901
ter Haar, D.; Martin, B.
2
1950
Finite-amplitude neutral disturbances in plane Poiseuille flow. Zbl 0363.76030
George, W. D.; Hellums, J. D.; Martin, B.
2
1974
Quantified constraints and containment problems. Zbl 1448.68248
Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby
2
2015
Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1388.68102
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András
2
2016
Distance constraint satisfaction problems. Zbl 1336.68116
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael
2
2016
QCSP on partially reflexive cycles – the wavy line of tractability. Zbl 1381.68099
Madelaine, Florent; Martin, Barnaby
2
2013
Cutting planes and the parameter cutwidth. Zbl 1268.03080
Dantchev, Stefan; Martin, Barnaby
2
2009
Hard problems that quickly become very easy. Zbl 07444827
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
2
2022
QCSP monsters and the demise of the Chen conjecture. Zbl 07298233
Zhuk, Dmitriy; Martin, Barnaby
2
2020
Surjective H-colouring over reflexive digraphs. Zbl 1485.68191
Larose, Benoît; Martin, Barnaby; Paulusma, Daniël
2
2018
Few induced disjoint paths for \(H\)-free graphs. Zbl 1527.05104
Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
2
2023
Disconnected cuts in claw-free graphs. Zbl 1450.05073
Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan
2
2020
The limits of tractability in resolution-based propositional proof systems. Zbl 1251.03070
Dantchev, Stefan; Martin, Barnaby
1
2012
Constraint satisfaction with counting quantifiers. II. Zbl 1407.68230
Martin, Barnaby; Stacho, Juraj
1
2014
Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1475.68123
Glaßer, Christian; Jonsson, Peter; Martin, Barnaby
1
2016
Quantified constraint satisfaction problem on semicomplete digraphs. Zbl 1367.68115
Đapić, Petar; Marković, Petar; Martin, Barnaby
1
2017
First-order queries on finite abelian groups. Zbl 1373.68254
Bova, Simone; Martin, Barnaby
1
2015
Parameterized resolution with bounded conjunction. Zbl 1381.68096
Dantchev, Stefan; Martin, Barnaby
1
2013
The limits of tractability in resolution-based propositional proof systems. Zbl 1286.03159
Dantchev, Stefan; Martin, Barnaby
1
2010
QCSP on reflexive tournaments. Zbl 07740913
Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav
1
2021
The complexity of positive first-order logic without equality. II: The four-element case. Zbl 1287.68065
Martin, Barnaby; Martin, Jos
1
2010
Quantified constraints in twenty seventeen. Zbl 1482.68168
Martin, Barnaby
1
2017
Partitioning \(H\)-free graphs of bounded diameter. Zbl 07575095
Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
1
2022
Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07495038
Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
1
2021
The complexity of disjunctive linear Diophantine constraints. Zbl 1512.68112
Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine
1
2018
Disconnected cuts in claw-free graphs. Zbl 1524.05256
Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan
1
2018
On the complexity of the model checking problem. Zbl 1393.68078
Madelaine, Florent R.; Martin, Barnaby D.
1
2018
The complexity of \(L(p, q)\)-edge-labelling. Zbl 07556570
Berthe, Gaétan; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
1
2022
Few induced disjoint paths for \(H\)-free graphs. Zbl 1527.05104
Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
2
2023
Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07437224
Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
4
2022
Colouring graphs of bounded diameter in the absence of small cycles. Zbl 1489.05056
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
4
2022
Acyclic, star, and injective colouring: bounding the diameter. Zbl 1491.05074
Brause, Christoph; Golovach, Petr; Martin, Barnaby; Ochem, Pascal; Paulusma, Daniël; Smith, Siani
4
2022
Induced disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07682425
Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
3
2022
Hard problems that quickly become very easy. Zbl 07444827
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
2
2022
Partitioning \(H\)-free graphs of bounded diameter. Zbl 07575095
Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
1
2022
The complexity of \(L(p, q)\)-edge-labelling. Zbl 07556570
Berthe, Gaétan; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
1
2022
Injective colouring for H-free graphs. Zbl 07493522
Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
8
2021
Acyclic, star, and injective colouring: bounding the diameter. Zbl 07538588
Brause, Christoph; Golovach, Petr; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
5
2021
Colouring graphs of bounded diameter in the absence of small cycles. Zbl 07667143
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
3
2021
QCSP on reflexive tournaments. Zbl 07740913
Larose, Benoît; Marković, Petar; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; Żivný, Stanislav
1
2021
Disjoint paths and connected subgraphs for \(H\)-free graphs. Zbl 07495038
Kern, Walter; Martin, Barnaby; Paulusma, Daniël; Smith, Siani; van Leeuwen, Erik Jan
1
2021
Acyclic, star and injective colouring: a complexity picture for \(H\)-free graphs. Zbl 07651161
Bok, Jan; Jedličková, Nikola; Martin, Barnaby; Paulusma, Daniël; Smith, Siani
6
2020
QCSP monsters and the demise of the Chen conjecture. Zbl 07298233
Zhuk, Dmitriy; Martin, Barnaby
2
2020
Disconnected cuts in claw-free graphs. Zbl 1450.05073
Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan
2
2020
Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1430.68121
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András
12
2019
Colouring \(H\)-free graphs of bounded diameter. Zbl 07561658
Martin, Barnaby; Paulusma, Daniël; Smith, Siani
10
2019
Surjective \(H\)-colouring: new hardness results. Zbl 1425.05055
Golovach, Petr A.; Johnson, Matthew; Martin, Barnaby; Paulusma, Daniël; Stewart, Anthony
3
2019
Discrete temporal constraint satisfaction problems. Zbl 1425.68135
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
7
2018
Surjective H-colouring over reflexive digraphs. Zbl 1485.68191
Larose, Benoît; Martin, Barnaby; Paulusma, Daniël
2
2018
The complexity of disjunctive linear Diophantine constraints. Zbl 1512.68112
Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine
1
2018
Disconnected cuts in claw-free graphs. Zbl 1524.05256
Martin, Barnaby; Paulusma, Daniël; van Leeuwen, Erik Jan
1
2018
On the complexity of the model checking problem. Zbl 1393.68078
Madelaine, Florent R.; Martin, Barnaby D.
1
2018
The packing chromatic number of the infinite square lattice is between 13 and 15. Zbl 1361.05051
Martin, Barnaby; Raimondi, Franco; Chen, Taolue; Martin, Jos
16
2017
The complexity of quantified constraints using the algebraic formulation. Zbl 1441.68087
Carvalho, Catarina; Martin, Barnaby; Zhuk, Dmitriy
4
2017
Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1380.68221
Glaßer, Christian; Jonsson, Peter; Martin, Barnaby
3
2017
Quantified constraint satisfaction problem on semicomplete digraphs. Zbl 1367.68115
Đapić, Petar; Marković, Petar; Martin, Barnaby
1
2017
Quantified constraints in twenty seventeen. Zbl 1482.68168
Martin, Barnaby
1
2017
Constraint satisfaction problems for reducts of homogeneous graphs. Zbl 1388.68102
Bodirsky, Manuel; Martin, Barnaby; Pinsker, Michael; Pongrácz, András
2
2016
Distance constraint satisfaction problems. Zbl 1336.68116
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael
2
2016
Circuit satisfiability and constraint satisfaction around Skolem arithmetic. Zbl 1475.68123
Glaßer, Christian; Jonsson, Peter; Martin, Barnaby
1
2016
The computational complexity of disconnected cut and \(2 K_2\)-partition. Zbl 1307.05128
Martin, Barnaby; Paulusma, Daniël
16
2015
Constraint satisfaction problems over the integers with successor. Zbl 1440.68111
Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
14
2015
From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby
4
2015
Constraint satisfaction with counting quantifiers. Zbl 1392.68206
Martin, Barnaby; Madelaine, Florent; Stacho, Juraj
4
2015
Quantified constraints and containment problems. Zbl 1448.68248
Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby
2
2015
First-order queries on finite abelian groups. Zbl 1373.68254
Bova, Simone; Martin, Barnaby
1
2015
Relativization makes contradictions harder for resolution. Zbl 1277.68093
Dantchev, Stefan; Martin, Barnaby
3
2014
Constraint satisfaction with counting quantifiers. II. Zbl 1407.68230
Martin, Barnaby; Stacho, Juraj
1
2014
QCSP on partially reflexive cycles – the wavy line of tractability. Zbl 1381.68099
Madelaine, Florent; Martin, Barnaby
2
2013
Parameterized resolution with bounded conjunction. Zbl 1381.68096
Dantchev, Stefan; Martin, Barnaby
1
2013
The complexity of surjective homomorphism problems-a survey. Zbl 1246.05104
Bodirsky, Manuel; Kára, Jan; Martin, Barnaby
32
2012
On the scope of the universal-algebraic approach to constraint satisfaction. Zbl 1308.68062
Bodirsky, Manuel; Hils, Martin; Martin, Barnaby
15
2012
The complexity of positive first-order logic without equality. Zbl 1351.68119
Madelaine, Florent; Martin, Barnaby
6
2012
Finding vertex-surjective graph homomorphisms. Zbl 1253.68149
Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël
4
2012
Finding vertex-surjective graph homomorphisms. Zbl 1360.68511
Golovach, Petr A.; Lidický, Bernard; Martin, Barnaby; Paulusma, Daniël
2
2012
Constraint satisfaction with counting quantifiers. Zbl 1360.68514
Madelaine, Florent; Martin, Barnaby; Stacho, Juraj
2
2012
The limits of tractability in resolution-based propositional proof systems. Zbl 1251.03070
Dantchev, Stefan; Martin, Barnaby
1
2012
Parameterized proof complexity. Zbl 1252.68151
Dantchev, Stefan; Martin, Barnaby; Szeider, Stefan
9
2011
QCSP on partially reflexive forests. Zbl 1401.68124
Martin, Barnaby
3
2011
Distance constraint satisfaction problems. Zbl 1287.68068
Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Pinsker, Michael
4
2010
The limits of tractability in resolution-based propositional proof systems. Zbl 1286.03159
Dantchev, Stefan; Martin, Barnaby
1
2010
The complexity of positive first-order logic without equality. II: The four-element case. Zbl 1287.68065
Martin, Barnaby; Martin, Jos
1
2010
Tight rank lower bounds for the Sherali-Adams proof system. Zbl 1168.03043
Dantchev, Stefan; Martin, Barnaby; Rhodes, Mark
7
2009
Cutting planes and the parameter cutwidth. Zbl 1268.03080
Dantchev, Stefan; Martin, Barnaby
2
2009
First-order model checking problems parameterized by the model. Zbl 1142.68439
Martin, Barnaby
5
2008
Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436
Martin, Barnaby; Madelaine, Florent
8
2006
Optimal robot motions for physical criteria. Zbl 1065.70006
Bobrow, J. E.; Martin, B.; Sohl, G.; Wang, E. C.; Park, F. C.; Kim, Junggon
3
2001
Finite-amplitude neutral disturbances in plane Poiseuille flow. Zbl 0363.76030
George, W. D.; Hellums, J. D.; Martin, B.
2
1974
Some analytical solutions for viscometric flows of power-law fluids with heat generation and temperature dependent viscosity. Zbl 0166.21702
Martin, B.
7
1967
Statistics of the three-dimensional ferromagnet. Zbl 0041.58901
ter Haar, D.; Martin, B.
2
1950
all top 5

Cited by 196 Authors

42 Martin, Barnaby D.
26 Paulusma, Daniël
22 Bodirsky, Manuel
15 Smith, Siani
10 Pinsker, Michael
8 Brešar, Boštjan
7 Lauria, Massimo
7 Mottet, Antoine
7 Van Leeuwen, Erik Jan
7 Živný, Stanislav
6 Ferme, Jasmina
6 Golovach, Petr A.
5 Jonsson, Peter
5 Klavžar, Sandi
5 Madelaine, Florent R.
5 Tale, Prafullkumar
4 Chen, Hubie
4 Dantchev, Stefan Stoyanov
4 Dose, Titus
4 Glaßer, Christian
4 Mamino, Marcello
4 Nordström, Jakob
4 Pongrácz, András
4 Zhuk, Dmitriy N.
3 Antony, Cyriac
3 Beyersdorff, Olaf
3 Brause, Christoph
3 Galesi, Nicola
3 Johnson, Matthew
3 Rall, Douglas F.
3 Rzążewski, Paweł
2 Atserias, Albert
2 Barth, Dominik
2 Barto, Libor
2 Beck, Moritz
2 Behrisch, Mike
2 Berthe, Gaétan
2 Bulatov, Andrei A.
2 Chudnovsky, Maria
2 de Rezende, Susanna F.
2 Gastineau, Nicolas
2 Gillibert, Pierre
2 Greiner, Johannes
2 Holub, Přemysl
2 Huang, Shenwei
2 Jonušas, Julius
2 Kamiński, Marcin Marek
2 Kern, Walter
2 Knäuer, Simon
2 Kompatscher, Michael
2 Korže, Danilo
2 Krithika, R.
2 Lidický, Bernard
2 Matl, Gregor
2 Meir, Or
2 Michler, Larissa
2 Moura, Phablo F. S.
2 Olšák, Miroslav
2 Opršal, Jakub
2 Robere, Robert
2 Rydval, Jakub
2 Sau, Ignasi
2 Saurabh, Saket
2 Shalu, M. A.
2 Spirkl, Sophie Theresa
2 Stewart, Anthony
2 Technau, Marc
2 Thapper, Johan
2 Thilikos, Dimitrios M.
2 Togni, Olivier
2 Vargas, Edith Mireya
2 Vesel, Aleksander
2 Wakabayashi, Yoshiko
2 Wrona, Michał
2 Zhong, Mingxian
1 Abbas, Moncef
1 Angeleska, Angela
1 Baader, Franz
1 Bidine, Ez Zobair
1 Bodor, Bertalan
1 Bok, Jan
1 Bonamy, Marthe
1 Börner, Ferdinand
1 Brakensiek, Joshua
1 Campos, Victor A.
1 Ciardo, Lorenzo
1 Dabrowski, Konrad Kazimierz
1 Dalmau, Víctor
1 Dalmau, Víictor
1 Dapić, Petar
1 de Sousa Filho, Gilberto Farias
1 Dȩbsk, Michał
1 dos Santos, Vinícius Fernandes
1 Feghali, Carl
1 Finger, Marcelo
1 Focke, Jacob
1 Fragoso, Felipe C.
1 Fresán-Figueroa, Julián
1 Fulla, Peter
1 Gabbay, Murdoch James
...and 96 more Authors

Citations by Year