Jeffrey B. Remmel

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 28

Top Venues

Discret. Math. Theor. Comput. Sci.

J. Comb. Theory, Ser. A

Discret. Math.

Electron. J. Comb.

Publications

Sittipong Thamrongpairoj, Jeffrey B. Remmel
Positional Marked Patterns in Permutations. Discret. Math. Theor. Comput. Sci. 24 (1) (2022)
Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
On the complexity of index sets for finite predicate logic programs which allow function symbols. J. Log. Comput. 30 (1) (2020)
Dun Qiu, Jeffrey B. Remmel
Schur function expansions and the Rational Shuffle Theorem. J. Comb. Theory, Ser. A 175 (2020)
Jacob Carson, Douglas Cenzer, Jeffrey B. Remmel
Effective Categoricity of Automatic Equivalence and Nested Equivalence Structures. Theory Comput. Syst. 64 (6) (2020)
Dun Qiu, Jeffrey B. Remmel
(123). Discret. Math. Theor. Comput. Sci. 21 (2) (2019)
Ran Pan, Dun Qiu, Jeffrey B. Remmel
Counting consecutive pattern matches in Sn(132) and Sn(123). Adv. Appl. Math. 105 (2019)
Jeffrey B. Remmel, Sittipong Thamrongpairoj
The combinatorial properties of the Benoumhani polynomials for the Whitney numbers of Dowling lattices. Discret. Math. 342 (11) (2019)
Yong Wang, Jeffrey B. Remmel
A Method to Compute the Sparse Graphs for Traveling Salesman Problem Based on Frequency Quadrilaterals. CoRR (2018)
Yong Wang, Jeffrey B. Remmel
An iterative algorithm to eliminate edges for traveling salesman problem based on a new binomial distribution - Eliminating edges for TSP. Appl. Intell. 48 (11) (2018)
Yong Wang, Jeffrey B. Remmel
A Method to Compute the Sparse Graphs for Traveling Salesman Problem Based on Frequency Quadrilaterals. FAW (2018)
Dun Qiu, Jeffrey B. Remmel, Emily Sergel, Guoce Xin
[X]. Electron. J. Comb. 25 (4) (2018)
Jeffrey B. Remmel, Sai-Nan Zheng
Rises in forests of binary shrubs. Discret. Math. Theor. Comput. Sci. 19 (1) (2017)
Sam Buss, Douglas Cenzer, Mia Minnes, Jeffrey B. Remmel
Injection Structures Specified by Finite State Transducers. Computability and Complexity (2017)
Alex Brik, Jeffrey B. Remmel
Action Language Hybrid AL. LPNMR (2017)
Kenneth Barrese, Nicholas A. Loehr, Jeffrey B. Remmel, Bruce E. Sagan
Bijections on m-level rook placements. Eur. J. Comb. 57 (2016)
Ran Pan, Jeffrey B. Remmel
Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shape, and column strict arrays. Discret. Math. Theor. Comput. Sci. 18 (2) (2016)
Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. LFCS (2016)
Jeffrey B. Remmel, Janine LoBue Tiefenbruck
Q-analogues of convolutions of Fibonacci numbers. Australas. J Comb. 64 (2016)
Quang T. Bach, Jeffrey B. Remmel
Generating functions for descents over permutations which avoid sets of consecutive patterns. Australas. J Comb. 64 (2016)
Quang T. Bach, Jeffrey B. Remmel
Descent c-Wilf Equivalence. Discret. Math. Theor. Comput. Sci. 18 (2) (2016)
Yong Wang, Jeffrey B. Remmel
A Binomial Distribution Model for the Traveling Salesman Problem Based on Frequency Quadrilaterals. J. Graph Algorithms Appl. 20 (2) (2016)
Miles Eli Jones, Sergey Kitaev, Jeffrey B. Remmel
Frame patterns in n-cycles. Discret. Math. 338 (7) (2015)
Jeffrey B. Remmel, Andrew Timothy Wilson
An extension of MacMahon's equidistribution theorem to ordered set partitions. J. Comb. Theory, Ser. A 134 (2015)
Sergey Kitaev, Jeffrey B. Remmel, Mark Tiefenbruck
Quadrant Marked Mesh Patterns in 132-avoiding Permutations III. Integers 15 (2015)
Sergey Kitaev, Jeffrey B. Remmel, Mark Tiefenbruck
Quadrant Marked Mesh Patterns in 132-Avoiding Permutations II. Integers 15 (2015)
Miles Eli Jones, Sergey Kitaev, Artem V. Pyatkin, Jeffrey B. Remmel
Representing Graphs via Pattern Avoiding Words. Electron. J. Comb. 22 (2) (2015)
Alex Brik, Jeffrey B. Remmel
Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using Hybrid ASP. LPNMR (2015)
Sergey Kitaev, Jeffrey B. Remmel
(a, b)-rectangle patterns in permutations and words. Discret. Appl. Math. 186 (2015)
Kenneth Barrese, Nicholas A. Loehr, Jeffrey B. Remmel, Bruce E. Sagan
m-Level rook placements. J. Comb. Theory, Ser. A 124 (2014)
Alex Brik, Jeffrey B. Remmel
Hybrid Answer Set Programming. Ann. Pure Appl. Log. 165 (1) (2014)
Sergey Kitaev, Jeffrey B. Remmel
The 1-Box Pattern on Pattern-Avoiding Permutations. J. Integer Seq. 17 (3) (2014)
Sam Buss, Douglas Cenzer, Jeffrey B. Remmel
Sub-computable Boundedness Randomness. Log. Methods Comput. Sci. 10 (4) (2014)
Jeffrey B. Remmel
Consecutive Up-down Patterns in Up-down Permutations. Electron. J. Comb. 21 (3) (2014)
Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel
Index sets for Finite Normal Predicate Logic Programs CoRR (2013)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Two-to-one structures. J. Log. Comput. 23 (6) (2013)
Alex Brik, Jeffrey B. Remmel
Forward Chaining for Hybrid ASP. LFCS (2013)
Douglas Cenzer, Jeffrey B. Remmel
Sub-computable Bounded Pseudorandomness. LFCS (2013)
Miles Eli Jones, Jeffrey B. Remmel
A reciprocity method for computing generating functions over the set of permutations with no consecutive occurrence of a permutation pattern. Discret. Math. 313 (23) (2013)
Douglas Cenzer, Jeffrey B. Remmel
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs. Ann. Math. Artif. Intell. 65 (1) (2012)
Victor W. Marek, Jeffrey B. Remmel
Disjunctive Programs with Set Constraints. Correct Reasoning (2012)
Alex Brik, Jeffrey B. Remmel
Expressing Preferences using Preference Set Constraint Atoms CoRR (2012)
Alex Brik, Jeffrey B. Remmel
Combining Logic, Continuous Parameters and Markov Decision Processes Using Hybrid ASP. StarAI@UAI (2012)
Evan Fuller, Jeffrey B. Remmel
Quasi-symmetric functions and up-down compositions. Discret. Math. 311 (16) (2011)
Adrian Duane, Jeffrey B. Remmel
Minimal Overlapping Patterns in Colored Permutations. Electron. J. Comb. 18 (2) (2011)
Victor W. Marek, Jeffrey B. Remmel
Guarded resolution for Answer Set Programming. Theory Pract. Log. Program. 11 (1) (2011)
Alex Brik, Jeffrey B. Remmel
Hybrid ASP. ICLP (Technical Communications) (2011)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
equivalence structures. Ann. Pure Appl. Log. 162 (7) (2011)
Victor W. Marek, Jeffrey B. Remmel
Effectively Reasoning about Infinite Sets in Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Effective Categoricity of Injection Structures. CiE (2011)
Sergey Kitaev, Jeffrey B. Remmel
Enumerating (2+2)-free posets by the number of minimal elements and other statistics. Discret. Appl. Math. 159 (17) (2011)
Sergey Kitaev, Jeffrey B. Remmel
Place-Difference-Value Patterns: A Generalization of Generalized Permutation and Word Patterns. Integers 10 (2010)
Jeffrey B. Remmel, Manda Riehl
Generating Functions for Permutations which Contain a Given Descent Set. Electron. J. Comb. 17 (1) (2010)
Sergey Kitaev, Jeffrey Liese, Jeffrey B. Remmel, Bruce E. Sagan
Rationality, Irrationality, and Wilf Equivalence in Generalized Factor Order. Electron. J. Comb. 16 (2) (2009)
Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel
Equivalence Structures. CiE (2009)
Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin
Space complexity of Abelian groups. Arch. Math. Log. 48 (1) (2009)
Victor W. Marek, Jeffrey B. Remmel
The complexity of recursive constraint satisfaction problems. Ann. Pure Appl. Log. 161 (3) (2009)
John T. Hall, Jeffrey Liese, Jeffrey B. Remmel
q-Counting Descent Pairs with Prescribed Tops and Bottoms. Electron. J. Comb. 16 (1) (2009)
Nicholas A. Loehr, Jeffrey B. Remmel
Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences. Adv. Appl. Math. 42 (4) (2009)
Victor W. Marek, Jeffrey B. Remmel
Automata and Answer Set Programming. LFCS (2009)
Douglas Cenzer, Geoffrey LaForte, Jeffrey B. Remmel
Equivalence structures and isomorphisms in the difference hierarchy. J. Symb. Log. 74 (2) (2009)
V. Wiktor Marek, Jeffrey B. Remmel
Guarded resolution for answer set programming CoRR (2009)
Victor W. Marek, Jeffrey B. Remmel
An Application of Proof-Theory in answer Set Programming CoRR (2009)
George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
-Triviality of Closed Sets and Continuous Functions. J. Log. Comput. 19 (1) (2009)
Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel
Set based logic programming. Ann. Math. Artif. Intell. 52 (1) (2008)
Anil Nerode, Jeffrey B. Remmel
Consistency properties and set based logic programming. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Jeffrey B. Remmel
A Mathematician Looks at Answer Set Programming. ISAIM (2008)
John T. Hall, Jeffrey B. Remmel
Counting descent pairs with prescribed tops and bottoms. J. Comb. Theory, Ser. A 115 (5) (2008)
Jeffrey B. Remmel
My work with Victor Marek: a mathematician looks at answer set programming. Ann. Math. Artif. Intell. 53 (1-4) (2008)
George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
Algorithmic randomness of continuous functions. Arch. Math. Log. 46 (7-8) (2008)
Victor W. Marek, Jeffrey B. Remmel
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP (2008)
Douglas Cenzer, Jeffrey B. Remmel
A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. ISAIM (2008)
Brian K. Miceli, Jeffrey B. Remmel
Augmented Rook Boards and General Product Formulas. Electron. J. Comb. 15 (1) (2008)
Ron M. Adin, Jeffrey B. Remmel, Yuval Roichman
The Combinatorics of the Garsia-Haiman Modules for Hook Shapes. Electron. J. Comb. 15 (1) (2008)
Sergey Kitaev, Toufik Mansour, Jeffrey B. Remmel
Counting Descents, Rises, and Levels, with Prescribed First Element, in Words. Discret. Math. Theor. Comput. Sci. 10 (3) (2008)
Alin Deutsch, Alan Nash, Jeffrey B. Remmel
The chase revisited. PODS (2008)
Anthony Mendes, Jeffrey B. Remmel
Descents, inversions, and major indices in permutation groups. Discret. Math. 308 (12) (2008)
Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel
Random Continuous Functions. Electron. Notes Theor. Comput. Sci. 167 (2007)
Victor W. Marek, Jeffrey B. Remmel
Compactness Properties for Stable Semantics of Logic Programs. Fundam. Informaticae 81 (1-3) (2007)
Victor W. Marek, Jeffrey B. Remmel
Compactness Properties for Stable Semantics of Logic Programs. LFCS (2007)
George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber
-Trivial Closed Sets and Continuous Functions. CiE (2007)
Douglas A. Cenzer, Jeffrey B. Remmel
On the complexity of inductive definitions. Math. Struct. Comput. Sci. 16 (5) (2006)
Anthony Mendes, Jeffrey B. Remmel
Permutations and words counted by consecutive patterns. Adv. Appl. Math. 37 (4) (2006)
Sergey Kitaev, Jeffrey B. Remmel
Classifying Descents According to Equivalence mod k. Electron. J. Comb. 13 (1) (2006)
Alan Nash, Russell Impagliazzo, Jeffrey B. Remmel
Infinitely-Often Universal Languages and Diagonalization. Electron. Colloquium Comput. Complex. 13 (051) (2006)
Douglas A. Cenzer, Jeffrey B. Remmel
Complexity, decidability and completeness. J. Symb. Log. 71 (2) (2006)
Thomas M. Langley, Jeffrey B. Remmel
-tuples of permutations and a new class of power bases for the space of symmetric functions. Adv. Appl. Math. 36 (1) (2006)
Andrius Kulikauskas, Jeffrey B. Remmel
Lyndon Words and Transition Matrices between Elementary, Homogeneous and Monomial Symmetric Functions. Electron. J. Comb. 13 (1) (2006)
Karen S. Briggs, Jeffrey B. Remmel
. J. Comb. Theory, Ser. A 113 (6) (2006)
Douglas A. Cenzer, Jeffrey B. Remmel
The Complexity of Inductive Definability. CiE (2005)
Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek
Logic programming with infinite sets. Ann. Math. Artif. Intell. 44 (4) (2005)
Victor W. Marek, Jeffrey B. Remmel
Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Jeffrey B. Remmel, Victor W. Marek
Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
James Haglund, Nicholas A. Loehr, Jeffrey B. Remmel
Statistics on wreath products, perfect matchings, and signed words. Eur. J. Comb. 26 (6) (2005)
Alan Nash, Jeffrey B. Remmel, Victor Vianu
PTIME Queries Revisited. ICDT (2005)
Jeffrey B. Remmel, Michelle L. Wachs
Rook Theory, Generalized Stirling Numbers and (p, q)-Analogues. Electron. J. Comb. 11 (1) (2004)
Ömer Egecioglu, Jeffrey B. Remmel, S. G. Williamson
A Class Of Graphs Which Has Efficient Ranking And Unranking Algorithms For Spanning Trees And Forests. Int. J. Found. Comput. Sci. 15 (4) (2004)
Douglas Cenzer, Jeffrey B. Remmel
Index sets for computable differential equations. Math. Log. Q. 50 (4-5) (2004)
Anthony Mendes, Jeffrey B. Remmel, Jennifer Wagner
. Electron. J. Comb. 11 (1) (2004)
Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
Locally Determined Logic Programs and Recursive Stable Models. Ann. Math. Artif. Intell. 40 (3-4) (2004)
Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel
Using Logic Programs to Reason about Infinite Sets. AI&M (2004)

Jeffrey B. Remmel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jeffrey B. Remmel