| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alex Brik, Jeffrey B. Remmel |
Expressing Preferences using Preference Set Constraint Atoms  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Evan Fuller, Jeffrey B. Remmel |
Quasi-symmetric functions and up-down compositions. |
Discrete Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Duane, Jeffrey B. Remmel |
Minimal Overlapping Patterns in Colored Permutations. |
Electr. J. Comb. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
Σ01 and Π01 equivalence structures. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Kitaev, Jeffrey B. Remmel |
Enumerating (2+2)-free posets by the number of minimal elements and other statistics. |
Discrete Applied Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Guarded resolution for Answer Set Programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Brik, Jeffrey B. Remmel |
Hybrid ASP. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Effectively Reasoning about Infinite Sets in Answer Set Programming. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
Effective Categoricity of Injection Structures. |
CiE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey B. Remmel, Manda Riehl |
Generating Functions for Permutations which Contain a Given Descent Set. |
Electr. J. Comb. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Geoffrey LaForte, Jeffrey B. Remmel |
Equivalence structures and isomorphisms in the difference hierarchy. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | John T. Hall, Jeffrey Liese, Jeffrey B. Remmel |
q-Counting Descent Pairs with Prescribed Tops and Bottoms. |
Electr. J. Comb. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sergey Kitaev, Jeffrey Liese, Jeffrey B. Remmel, Bruce E. Sagan |
Rationality, Irrationality, and Wilf Equivalence in Generalized Factor Order. |
Electr. J. Comb. |
2009 |
DBLP BibTeX RDF |
|
| 1 | George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
K-Triviality of Closed Sets and Continuous Functions. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
The complexity of recursive constraint satisfaction problems. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Jeffrey B. Remmel |
Guarded resolution for answer set programming |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
An Application of Proof-Theory in answer Set Programming |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel, Zia Uddin |
Space complexity of Abelian groups. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Automata and Answer Set Programming. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
S01 and P01 Equivalence Structures. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
equivalence structures, effective categoricity, computability theory, computable model theory |
| 1 | John T. Hall, Jeffrey B. Remmel |
Counting descent pairs with prescribed tops and bottoms. |
J. Comb. Theory, Ser. A |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Mendes, Jeffrey B. Remmel |
Descents, inversions, and major indices in permutation groups. |
Discrete Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Kitaev, Toufik Mansour, Jeffrey B. Remmel |
Counting Descents, Rises, and Levels, with Prescribed First Element, in Words. |
Discrete Mathematics & Theoretical Computer Science |
2008 |
DBLP BibTeX RDF |
|
| 1 | Brian K. Miceli, Jeffrey B. Remmel |
Augmented Rook Boards and General Product Formulas. |
Electr. J. Comb. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ron M. Adin, Jeffrey B. Remmel, Yuval Roichman |
The Combinatorics of the Garsia-Haiman Modules for Hook Shapes. |
Electr. J. Comb. |
2008 |
DBLP BibTeX RDF |
|
| 1 | George Barmpalias, Paul Brodhead, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
Algorithmic randomness of continuous functions. |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03D28, 68Q30, 60D05 |
| 1 | Anil Nerode, Jeffrey B. Remmel |
Consistency properties and set based logic programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70 |
| 1 | Jeffrey B. Remmel |
My work with Victor Marek: a mathematician looks at answer set programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03D80, 03B70 |
| 1 | Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel |
Set based logic programming. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99 |
| 1 | Victor W. Marek, Jeffrey B. Remmel |
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Jeffrey B. Remmel |
A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey B. Remmel |
A Mathematician Looks at Answer Set Programming. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alin Deutsch, Alan Nash, Jeffrey B. Remmel |
The chase revisited. |
PODS |
2008 |
DBLP DOI BibTeX RDF |
chase |
| 1 | Paul Brodhead, Douglas Cenzer, Jeffrey B. Remmel |
Random Continuous Functions. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Compactness Properties for Stable Semantics of Logic Programs. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Compactness Properties for Stable Semantics of Logic Programs. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
K -Trivial Closed Sets and Continuous Functions. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
Computability, Randomness, Classes |
| 1 | Karen S. Briggs, Jeffrey B. Remmel |
m-Rook numbers and a generalization of a formula of Frobenius to Cm Sn. |
J. Comb. Theory, Ser. A |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Nash, Russell Impagliazzo, Jeffrey B. Remmel |
Infinitely-Often Universal Languages and Diagonalization. |
Electronic Colloquium on Computational Complexity (ECCC) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
On the complexity of inductive definitions. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Complexity, decidability and completeness. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andrius Kulikauskas, Jeffrey B. Remmel |
Lyndon Words and Transition Matrices between Elementary, Homogeneous and Monomial Symmetric Functions. |
Electr. J. Comb. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sergey Kitaev, Jeffrey B. Remmel |
Classifying Descents According to Equivalence mod k. |
Electr. J. Comb. |
2006 |
DBLP BibTeX RDF |
|
| 1 | James Haglund, Nicholas A. Loehr, Jeffrey B. Remmel |
Statistics on wreath products, perfect matchings, and signed words. |
Eur. J. Comb. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek |
Logic programming with infinite sets. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
logic programming, nonmonotonic logic |
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Normal Form Theorem for Logic Programs with Cardinality Constraints. |
Nonmonotonic Reasoning, Answer Set Programming and Constraints |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey B. Remmel, Victor W. Marek |
Set Based Logic Programming. |
Nonmonotonic Reasoning, Answer Set Programming and Constraints |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alan Nash, Jeffrey B. Remmel, Victor Vianu |
PTIME Queries Revisited. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
The Complexity of Inductive Definability. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Cenzer, Jeffrey B. Remmel |
Index sets for computable differential equations. |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ö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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | James Haglund, Jeffrey B. Remmel |
Cycles and perfect matchings. |
Discrete Mathematics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Mendes, Jeffrey B. Remmel, Jennifer Wagner |
A lambda-ring Frobenius Characteristic for G wreath Sn. |
Electr. J. Comb. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nicholas A. Loehr, Jeffrey B. Remmel |
Conjectured Combinatorial Models for the Hilbert Series of Generalized Diagonal Harmonics Modules. |
Electr. J. Comb. |
2004 |
DBLP BibTeX RDF |
|
| 1 | T. M. Langley, Jeffrey B. Remmel |
The Plethysm sλ[sμ] at Hook and Near-Hook Shapes. |
Electr. J. Comb. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey B. Remmel, Michelle L. Wachs |
Rook Theory, Generalized Stirling Numbers and (p, q)-Analogues. |
Electr. J. Comb. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
Locally Determined Logic Programs and Recursive Stable Models. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
logic programming, non-monotonic logic |
| 1 | Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel |
Using Logic Programs to Reason about Infinite Sets. |
ISAIM |
2004 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Jeffrey B. Remmel |
Set Constraints in Logic Programming. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
Answer set programming with default logic. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | David A. Meyer, James Pommersheim, Jeffrey B. Remmel |
Finding stable models via quantum computation. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel |
Using Logic Programs to Reason about Infinite Sets. |
AMAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Index sets for omega-languages. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen S. Briggs, Jeffrey B. Remmel |
A p, q-analogue of a Formula of Frobenius. |
Electr. J. Comb. |
2003 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Jeffrey B. Remmel |
On the Expressibility of Stable Logic Programming |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Jeffrey B. Remmel |
On the expressibility of stable logic programming. |
TPLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Nash, Russell Impagliazzo, Jeffrey B. Remmel |
Universal Languages and the Power of Diagonalization. |
IEEE Conference on Computational Complexity |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Effectively closed sets and graphs of computable real functions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey B. Remmel, S. G. Williamson |
Spanning Trees and Function Classes. |
Electr. J. Comb. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
On logic programs with cardinality constraints. |
NMR |
2002 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Jeffrey B. Remmel |
On the Expressibility of Stable Logic Programming. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Jeffrey B. Remmel |
On the Foundations of Answer Set Programming. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
Characterizing the Set of Extensions of a Nonmonotonic Rule System with Levels. |
AMAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Index Sets in Computable Analysis. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Logic Programs, Well-Orderings, and Forward Chaining. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt |
Locally Determined Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey B. Remmel, Mark Shimozono |
A simple proof of the Littlewood-Richardson rule and applications. |
Discrete Mathematics |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luisa Carini, Jeffrey B. Remmel |
Formulas for the expansion of the plethysms s2[S(a, b)] and S2[S(nk)]. |
Discrete Mathematics |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Complexity and Categoricity. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mei Yang, Jeffrey B. Remmel |
Hook-Schur Functions Analogues of Littlewood's Identities and their Bijective Proofs. |
Eur. J. Comb. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Index Sets for Pi01 Classes. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Feasible Graphs with Standard Universe. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas A. Cenzer, Jeffrey B. Remmel |
Preface. |
Ann. Pure Appl. Logic |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel, V. S. Subrahmanian |
Annotated Nonmonotonic Rule Systems. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Ash, Julia F. Knight, Jeffrey B. Remmel |
Quasi-Simple Relations in Copies of a Given Recursive Structure. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Complexity of Recursive Normal Default Logic. |
Fundam. Inform. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Nonmonotonic rule systems with recursive sets of restraints. |
Arch. Math. Log. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Basic Forward Chaining Construction for Logic Programs. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ch. Pollet, Jeffrey B. Remmel |
Non-Monotonic Reasoning with Quantified Boolean Constraints. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Jeffrey B. Remmel |
Hybrid Dynamic Programming. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Anil Nerode, Jeffrey B. Remmel |
Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Ram, Jeffrey B. Remmel, Tamsen Whitehead |
Combinatorics of theq-Basis of Symmetric Functions. |
J. Comb. Theory, Ser. A |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Desiree A. Beck, Jeffrey B. Remmel, Tamsen Whitehead |
The combinatorics of transition matrices between the bases of the symmetric functions and the Bn analogues. |
Discrete Mathematics |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis |
McNaughton Games and Extracting Strategies for Concurrent Programs. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel |
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field. |
Ann. Pure Appl. Logic |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey B. Remmel |
Nonmonotonic Rule Systems: Foward Chaining, Constraints, and Complexity (Abstract). |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis |
Hybrid System Games: Extraction of Control Automata with Small Topologies. |
Hybrid Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Anil Nerode, Jeffrey B. Remmel |
Agent Based Velocity Control of Highway Systems. |
Hybrid Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
On the Complexity of Abduction. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquin O. Carbonara, Jeffrey B. Remmel, Andrius Kulikauskas |
A Combinatorial Proof of the Equivalence of the Classical and Combinatorial Definitions of Schur Function. |
J. Comb. Theory, Ser. A |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")