| Publication | Date of Publication | Type |
|---|
Feasibly categorical models
Lecture Notes in Computer Science | 2023-12-12 | Paper |
Positional Marked Patterns in Permutations
Discrete Mathematics & Theoretical Computer Science | 2023-05-30 | Paper |
On logical constraints in logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Logic Programming and Effectively Closed Sets
Structure and Randomness in Computability and Set Theory | 2021-06-15 | Paper |
Effective categoricity of automatic equivalence and nested equivalence structures
Theory of Computing Systems | 2020-08-26 | Paper |
A method to compute the sparse graphs for traveling salesman problem based on frequency quadrilaterals
(available as arXiv preprint) | 2020-07-07 | Paper |
Schur function expansions and the rational shuffle theorem
Journal of Combinatorial Theory. Series A | 2020-07-03 | Paper |
| The Delta conjecture | 2020-05-26 | Paper |
On the complexity of index sets for finite predicate logic programs which allow function symbols
Journal Of Logic And Computation | 2020-04-29 | Paper |
Classical pattern distributions in \(\mathcal{S}_n(132)\) and \(\mathcal{S}_n(123)\)
(available as arXiv preprint) | 2020-01-13 | Paper |
| Classical pattern distributions in \(\mathcal{S}_n(132)\) and \(\mathcal{S}_n(123)\) | 2020-01-13 | Paper |
| p-rook numbers and cycle counting in C_p S_n | 2019-10-16 | Paper |
Paired patterns in lattice paths
(available as arXiv preprint) | 2019-10-16 | Paper |
The combinatorial properties of the Benoumhani polynomials for the Whitney numbers of Dowling lattices
Discrete Mathematics | 2019-09-11 | Paper |
Exploring a delta Schur conjecture
Journal of Combinatorics | 2019-08-12 | Paper |
A proof of the delta conjecture when \(q=0\)
Annals of Combinatorics | 2019-07-09 | Paper |
Patterns in words of ordered set partitions
Journal of Combinatorics | 2019-05-24 | Paper |
| Extending from bijections between marked occurrences of patterns to all occurrences of patterns | 2019-05-24 | Paper |
Counting consecutive pattern matches in \(\mathcal{S}_n(132)\) and \(\mathcal{S}_n(123)\)
Advances in Applied Mathematics | 2019-03-29 | Paper |
Quadrant marked mesh patterns in 123-avoiding permutations
(available as arXiv preprint) | 2018-12-10 | Paper |
| Quadrant marked mesh patterns in 123-avoiding permutations | 2018-12-10 | Paper |
Loop-augmented forests and a variant of Foulkes's conjecture
Algebraic Combinatorics | 2018-12-03 | Paper |
Rises in forests of binary shrubs
(available as arXiv preprint) | 2018-11-30 | Paper |
| Rises in forests of binary shrubs | 2018-11-30 | Paper |
Descent c-Wilf equivalence
(available as arXiv preprint) | 2018-11-26 | Paper |
| Descent c-Wilf equivalence | 2018-11-26 | Paper |
On the Schur positivity of \(\Delta_{e_{2}} e_n[X]\)
The Electronic Journal of Combinatorics | 2018-10-30 | Paper |
On the Schur positivity of \(\Delta_{e_{2}} e_n[X]\)
The Electronic Journal of Combinatorics | 2018-10-30 | Paper |
Rationality, irrationality, and Wilf equivalence in generalized factor order
(available as arXiv preprint) | 2018-07-23 | Paper |
| Rationality, irrationality, and Wilf equivalence in generalized factor order | 2018-07-23 | Paper |
Schur function expansions and the rational shuffle conjecture
Séminaire Lotharingien de Combinatoire | 2018-04-20 | Paper |
The delta conjecture
Transactions of the American Mathematical Society | 2018-03-28 | Paper |
| A note on passing from a quasi-symmetric function expansion to a Schur function expansion of a symmetric function | 2018-02-26 | Paper |
| scientific article; zbMATH DE number 6806834 (Why is no real title available?) | 2017-11-14 | Paper |
| Stieltjes moment sequences of polynomials | 2017-10-16 | Paper |
A note on \(p\)-ascent sequences
Journal of Combinatorics | 2017-09-20 | Paper |
| Action language Hybrid AL | 2017-09-05 | Paper |
Index sets for finite normal predicate logic programs with function symbols
Logical Foundations of Computer Science | 2017-07-21 | Paper |
| On the cohomology rings of Grassmann varieties and Hilbert schemes | 2017-06-08 | Paper |
| Block patterns in generalized Euler Permutations | 2017-06-03 | Paper |
Injection Structures Specified by Finite State Transducers
Computability and Complexity | 2017-04-04 | Paper |
| Generating functions for permutations which avoid consecutive patterns with multiple descents | 2017-02-26 | Paper |
| scientific article; zbMATH DE number 6683606 (Why is no real title available?) | 2017-02-10 | Paper |
| scientific article; zbMATH DE number 6683615 (Why is no real title available?) | 2017-02-10 | Paper |
| Q-analogues of the Fibo-Stirling numbers | 2017-01-25 | Paper |
| Generating functions for descents over words which avoid a consecutive pattern | 2016-12-14 | Paper |
Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2016-11-03 | Paper |
Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays
Discrete Mathematics and Theoretical Computer Science. DMTCS | 2016-11-03 | Paper |
A binomial distribution model for the traveling salesman problem based on frequency quadrilaterals
Journal of Graph Algorithms and Applications | 2016-09-13 | Paper |
Bijections on m-level rook placements
European Journal of Combinatorics | 2016-06-20 | Paper |
Q-analogues of convolutions of Fibonacci numbers
The Australasian Journal of Combinatorics | 2016-04-18 | Paper |
Generating functions for descents over permutations which avoid sets of consecutive patterns
The Australasian Journal of Combinatorics | 2016-04-18 | Paper |
Generating functions for descents over permutations which avoid sets of consecutive patterns
The Australasian Journal of Combinatorics | 2016-04-18 | Paper |
| scientific article; zbMATH DE number 6536279 (Why is no real title available?) | 2016-01-27 | Paper |
Forward chaining for hybrid ASP
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Sub-computable bounded pseudorandomness
Logical Foundations of Computer Science | 2015-12-11 | Paper |
The classification of 231-avoiding permutations by descents and maximum drop
Journal of Combinatorics | 2015-11-10 | Paper |
Quadrant marked mesh patterns in 132-avoiding permutations. III.
(available as arXiv preprint) | 2015-10-29 | Paper |
| Quadrant marked mesh patterns in 132-avoiding permutations. III. | 2015-10-29 | Paper |
| A Fibonacci analogue of Stirling numbers | 2015-10-14 | Paper |
Counting with symmetric functions
Developments in Mathematics | 2015-09-14 | Paper |
Representing graphs via pattern avoiding words
The Electronic Journal of Combinatorics | 2015-08-26 | Paper |
Representing graphs via pattern avoiding words
The Electronic Journal of Combinatorics | 2015-08-26 | Paper |
Connection coefficients between generalized rising and falling factorial bases
Annals of Combinatorics | 2015-07-22 | Paper |
Quadrant marked mesh patterns in 132-avoiding permutations. II.
(available as arXiv preprint) | 2015-07-09 | Paper |
| Quadrant marked mesh patterns in 132-avoiding permutations. II. | 2015-07-09 | Paper |
An extension of MacMahon's equidistribution theorem to ordered set partitions
Journal of Combinatorial Theory. Series A | 2015-06-10 | Paper |
\((a, b)\)-rectangle patterns in permutations and words
Discrete Applied Mathematics | 2015-05-22 | Paper |
Block patterns in Stirling permutations
Journal of Combinatorics | 2015-05-20 | Paper |
Computability-theoretic properties of injection structures
Algebra and Logic | 2015-05-11 | Paper |
Frame patterns in \(n\)-cycles
Discrete Mathematics | 2015-04-01 | Paper |
| p-Ascent Sequences | 2015-03-03 | Paper |
Sub-computable Boundedness Randomness
Logical Methods in Computer Science | 2015-01-15 | Paper |
| Applying a reciprocity method to count permutations avoiding two families of consecutive patterns | 2015-01-09 | Paper |
| scientific article; zbMATH DE number 6385390 (Why is no real title available?) | 2015-01-09 | Paper |
The \(\mu\) pattern in words
Journal of Combinatorics | 2014-12-22 | Paper |
Row-strict quasisymmetric Schur functions
Annals of Combinatorics | 2014-09-04 | Paper |
Consecutive up-down patterns in up-down permutations
The Electronic Journal of Combinatorics | 2014-09-04 | Paper |
Quadrant marked mesh patterns in 132-avoiding permutations
(available as arXiv preprint) | 2014-07-21 | Paper |
| Wilf equivalence for generalized factor orders modulo \(k\) | 2014-07-21 | Paper |
| Minimal overlapping embeddings and exact matches in words | 2014-07-21 | Paper |
| Generalizations of the major index | 2014-07-21 | Paper |
The combinatorics of the HMZ operators applied to Schur functions
Journal of Combinatorics | 2014-04-11 | Paper |
Quadrant marked mesh patterns in alternating permutations. II
Journal of Combinatorics | 2014-04-07 | Paper |
Two-to-one structures
Journal Of Logic And Computation | 2014-04-01 | Paper |
Simple marked mesh patterns
(available as arXiv preprint) | 2014-03-24 | Paper |
| Simple marked mesh patterns | 2014-03-24 | Paper |
The 1-box pattern on pattern-avoiding permutations
(available as arXiv preprint) | 2014-03-24 | Paper |
| The 1-box pattern on pattern-avoiding permutations | 2014-03-24 | Paper |
\(m\)-level rook placements
Journal of Combinatorial Theory. Series A | 2014-03-14 | Paper |
Quadrant marked mesh patterns in alternating permutations
Séminaire Lotharingien de Combinatoire | 2014-03-07 | Paper |
Quadrant marked mesh patterns in alternating permutations
Séminaire Lotharingien de Combinatoire | 2014-03-07 | Paper |
| scientific article; zbMATH DE number 6258680 (Why is no real title available?) | 2014-02-18 | Paper |
A reciprocity method for computing generating functions over the set of permutations with no consecutive occurrence of a permutation pattern
Discrete Mathematics | 2014-01-24 | Paper |
Hybrid answer set programming
Annals of Pure and Applied Logic | 2014-01-13 | Paper |
Properties of the nonsymmetric Robinson-Schensted-Knuth algorithm
Journal of Algebraic Combinatorics | 2013-09-09 | Paper |
Generalized pattern-matching conditions for C_k S_n
ISRN Combinatorics | 2013-06-03 | Paper |
Generalized pattern avoidance condition for the wreath product of cyclic groups with symmetric groups
ISRN Combinatorics | 2013-06-03 | Paper |
Random Continuous Functions
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| Extensions of answer set programming | 2013-02-28 | Paper |
Generating functions for alternating descents and alternating major index
Annals of Combinatorics | 2013-01-03 | Paper |
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
Annals of Mathematics and Artificial Intelligence | 2012-12-28 | Paper |
Q-analogues of the number of permutations with k-excedances
PU.M.A. Pure Mathematics and Applications | 2012-09-18 | Paper |
Patterns in column strict fillings of rectangular arrays
PU.M.A. Pure Mathematics and Applications | 2012-09-18 | Paper |
Pattern matching in the cycle structures of permutations
PU.M.A. Pure Mathematics and Applications | 2012-09-18 | Paper |
| Hybrid ASP | 2012-08-29 | Paper |
Disjunctive Programs with Set Constraints
Correct Reasoning | 2012-07-23 | Paper |
Enumerating \((\mathbf 2+\mathbf 2)\)-free posets by the number of minimal elements and other statistics
Discrete Applied Mathematics | 2012-04-30 | Paper |
Generating functions for permutations avoiding a consecutive pattern
Annals of Combinatorics | 2012-01-24 | Paper |
Symmetric functions and generating functions for descents and major indices in compositions
Annals of Combinatorics | 2012-01-24 | Paper |
A \(p,q\)-analogue of the generalized derangement numbers
Annals of Combinatorics | 2012-01-24 | Paper |
Minimal overlapping patterns in colored permutations
The Electronic Journal of Combinatorics | 2011-11-22 | Paper |
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures
Annals of Pure and Applied Logic | 2011-09-22 | Paper |
Effective Categoricity of Injection Structures
Models of Computation in Context | 2011-09-09 | Paper |
