Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jeffrey B. Remmel
@article{DBLP:journals/dmtcs/ThamrongpairojR22,
author = {Sittipong Thamrongpairoj and
Jeffrey B. Remmel},
title = {Positional Marked Patterns in Permutations},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {24},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/dmtcs.7171},
doi = {10.46298/DMTCS.7171},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/ThamrongpairojR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcta/QiuR20,
author = {Dun Qiu and
Jeffrey B. Remmel},
title = {Schur function expansions and the Rational Shuffle Theorem},
journal = {J. Comb. Theory, Ser. {A}},
volume = {175},
pages = {105272},
year = {2020},
url = {https://doi.org/10.1016/j.jcta.2020.105272},
doi = {10.1016/J.JCTA.2020.105272},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcta/QiuR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CenzerMR20,
author = {Douglas Cenzer and
Victor W. Marek and
Jeffrey B. Remmel},
title = {On the complexity of index sets for finite predicate logic programs
which allow function symbols},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {107--156},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa005},
doi = {10.1093/LOGCOM/EXAA005},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CenzerMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CarsonCR20,
author = {Jacob Carson and
Douglas Cenzer and
Jeffrey B. Remmel},
title = {Effective Categoricity of Automatic Equivalence and Nested Equivalence
Structures},
journal = {Theory Comput. Syst.},
volume = {64},
number = {6},
pages = {1110--1139},
year = {2020},
url = {https://doi.org/10.1007/s00224-020-09974-9},
doi = {10.1007/S00224-020-09974-9},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CarsonCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/PanQR19,
author = {Ran Pan and
Dun Qiu and
Jeffrey B. Remmel},
title = {Counting consecutive pattern matches in Sn(132) and Sn(123)},
journal = {Adv. Appl. Math.},
volume = {105},
pages = {130--167},
year = {2019},
url = {https://doi.org/10.1016/j.aam.2019.01.005},
doi = {10.1016/J.AAM.2019.01.005},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aam/PanQR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/RemmelT19,
author = {Jeffrey B. Remmel and
Sittipong Thamrongpairoj},
title = {The combinatorial properties of the Benoumhani polynomials for the
Whitney numbers of Dowling lattices},
journal = {Discret. Math.},
volume = {342},
number = {11},
pages = {2966--2983},
year = {2019},
url = {https://doi.org/10.1016/j.disc.2019.05.026},
doi = {10.1016/J.DISC.2019.05.026},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/RemmelT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/QiuR19,
author = {Dun Qiu and
Jeffrey B. Remmel},
title = {Classical pattern distributions in S\({}_{\mbox{n}}\)(132) and S\({}_{\mbox{n}}\)(123)},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {21},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/DMTCS-21-2-4},
doi = {10.23638/DMTCS-21-2-4},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/QiuR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/WangR18,
author = {Yong Wang and
Jeffrey B. Remmel},
title = {An iterative algorithm to eliminate edges for traveling salesman problem
based on a new binomial distribution - Eliminating edges for {TSP}},
journal = {Appl. Intell.},
volume = {48},
number = {11},
pages = {4470--4484},
year = {2018},
url = {https://doi.org/10.1007/s10489-018-1222-2},
doi = {10.1007/S10489-018-1222-2},
timestamp = {Wed, 13 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/WangR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/DunRSX18,
author = {Dun Qiu and
Jeffrey B. Remmel and
Emily Sergel and
Guoce Xin},
title = {On the Schur Positivity of {\(\Delta\)}\({}_{\mbox{e\({}_{\mbox{2}}\)}}\)
e\({}_{\mbox{n}}\)[X]},
journal = {Electron. J. Comb.},
volume = {25},
number = {4},
pages = {P4.20},
year = {2018},
url = {http://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i4p20},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/DunRSX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faw/WangR18,
author = {Yong Wang and
Jeffrey B. Remmel},
editor = {Jianer Chen and
Pinyan Lu},
title = {A Method to Compute the Sparse Graphs for Traveling Salesman Problem
Based on Frequency Quadrilaterals},
booktitle = {Frontiers in Algorithmics - 12th International Workshop, {FAW} 2018,
Guangzhou, China, May 8-10, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10823},
pages = {286--299},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-78455-7\_22},
doi = {10.1007/978-3-319-78455-7\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/faw/WangR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09407,
author = {Yong Wang and
Jeffrey B. Remmel},
title = {A Method to Compute the Sparse Graphs for Traveling Salesman Problem
Based on Frequency Quadrilaterals},
journal = {CoRR},
volume = {abs/1801.09407},
year = {2018},
url = {http://arxiv.org/abs/1801.09407},
eprinttype = {arXiv},
eprint = {1801.09407},
timestamp = {Wed, 13 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/RemmelZ17,
author = {Jeffrey B. Remmel and
Sai{-}Nan Zheng},
title = {Rises in forests of binary shrubs},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {19},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/DMTCS-19-1-15},
doi = {10.23638/DMTCS-19-1-15},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/RemmelZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BussCMR17,
author = {Sam Buss and
Douglas Cenzer and
Mia Minnes and
Jeffrey B. Remmel},
editor = {Adam R. Day and
Michael R. Fellows and
Noam Greenberg and
Bakhadyr Khoussainov and
Alexander G. Melnikov and
Frances A. Rosamond},
title = {Injection Structures Specified by Finite State Transducers},
booktitle = {Computability and Complexity - Essays Dedicated to Rodney G. Downey
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10010},
pages = {394--417},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50062-1\_24},
doi = {10.1007/978-3-319-50062-1\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BussCMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrikR17,
author = {Alex Brik and
Jeffrey B. Remmel},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {Action Language Hybrid {AL}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {322--335},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_29},
doi = {10.1007/978-3-319-61660-5\_29},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrikR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajc/RemmelT16,
author = {Jeffrey B. Remmel and
Janine LoBue Tiefenbruck},
title = {Q-analogues of convolutions of Fibonacci numbers},
journal = {Australas. {J} Comb.},
volume = {64},
pages = {166--193},
year = {2016},
url = {http://ajc.maths.uq.edu.au/pdf/64/ajc\_v64\_p166.pdf},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajc/RemmelT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajc/BachR16,
author = {Quang T. Bach and
Jeffrey B. Remmel},
title = {Generating functions for descents over permutations which avoid sets
of consecutive patterns},
journal = {Australas. {J} Comb.},
volume = {64},
pages = {194--231},
year = {2016},
url = {http://ajc.maths.uq.edu.au/pdf/64/ajc\_v64\_p194.pdf},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ajc/BachR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/BachR16,
author = {Quang T. Bach and
Jeffrey B. Remmel},
title = {Descent c-Wilf Equivalence},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {18},
number = {2},
year = {2016},
url = {https://doi.org/10.46298/dmtcs.1312},
doi = {10.46298/DMTCS.1312},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/BachR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/PanR16,
author = {Ran Pan and
Jeffrey B. Remmel},
title = {Asymptotics for minimal overlapping patterns for generalized Euler
permutations, standard tableaux of rectangular shape, and column strict
arrays},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {18},
number = {2},
year = {2016},
url = {https://doi.org/10.46298/dmtcs.1315},
doi = {10.46298/DMTCS.1315},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/PanR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/BarreseLRS16,
author = {Kenneth Barrese and
Nicholas A. Loehr and
Jeffrey B. Remmel and
Bruce E. Sagan},
title = {Bijections on m-level rook placements},
journal = {Eur. J. Comb.},
volume = {57},
pages = {13--35},
year = {2016},
url = {https://doi.org/10.1016/j.ejc.2016.03.005},
doi = {10.1016/J.EJC.2016.03.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/BarreseLRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgaa/WangR16,
author = {Yong Wang and
Jeffrey B. Remmel},
title = {A Binomial Distribution Model for the Traveling Salesman Problem Based
on Frequency Quadrilaterals},
journal = {J. Graph Algorithms Appl.},
volume = {20},
number = {2},
pages = {411--434},
year = {2016},
url = {https://doi.org/10.7155/jgaa.00400},
doi = {10.7155/JGAA.00400},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jgaa/WangR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CenzerMR16,
author = {Douglas A. Cenzer and
Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Index Sets for Finite Normal Predicate Logic Programs with Function
Symbols},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9537},
pages = {60--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27683-0\_5},
doi = {10.1007/978-3-319-27683-0\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CenzerMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/JonesKPR15,
author = {Miles Eli Jones and
Sergey Kitaev and
Artem V. Pyatkin and
Jeffrey B. Remmel},
title = {Representing Graphs via Pattern Avoiding Words},
journal = {Electron. J. Comb.},
volume = {22},
number = {2},
pages = {2},
year = {2015},
url = {https://doi.org/10.37236/4946},
doi = {10.37236/4946},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/JonesKPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KitaevR15,
author = {Sergey Kitaev and
Jeffrey B. Remmel},
title = {(a, b)-rectangle patterns in permutations and words},
journal = {Discret. Appl. Math.},
volume = {186},
pages = {128--146},
year = {2015},
url = {https://doi.org/10.1016/j.dam.2014.12.024},
doi = {10.1016/J.DAM.2014.12.024},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KitaevR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/JonesKR15,
author = {Miles Eli Jones and
Sergey Kitaev and
Jeffrey B. Remmel},
title = {Frame patterns in n-cycles},
journal = {Discret. Math.},
volume = {338},
number = {7},
pages = {1197--1215},
year = {2015},
url = {https://doi.org/10.1016/j.disc.2015.01.033},
doi = {10.1016/J.DISC.2015.01.033},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/JonesKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/KitaevRT15,
author = {Sergey Kitaev and
Jeffrey B. Remmel and
Mark Tiefenbruck},
title = {Quadrant Marked Mesh Patterns in 132-Avoiding Permutations {II}},
journal = {Integers},
volume = {15},
pages = {A16},
year = {2015},
url = {http://math.colgate.edu/\%7Eintegers/p16/p16.Abstract.html},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/KitaevRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/KitaevRT15a,
author = {Sergey Kitaev and
Jeffrey B. Remmel and
Mark Tiefenbruck},
title = {Quadrant Marked Mesh Patterns in 132-avoiding Permutations {III}},
journal = {Integers},
volume = {15},
pages = {A39},
year = {2015},
url = {http://math.colgate.edu/\%7Eintegers/p39/p39.Abstract.html},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/int/KitaevRT15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/RemmelW15,
author = {Jeffrey B. Remmel and
Andrew Timothy Wilson},
title = {An extension of MacMahon's equidistribution theorem to ordered set
partitions},
journal = {J. Comb. Theory, Ser. {A}},
volume = {134},
pages = {242--277},
year = {2015},
url = {https://doi.org/10.1016/j.jcta.2015.03.012},
doi = {10.1016/J.JCTA.2015.03.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/RemmelW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrikR15,
author = {Alex Brik and
Jeffrey B. Remmel},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Diagnosing Automatic Whitelisting for Dynamic Remarketing Ads Using
Hybrid {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {173--185},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_16},
doi = {10.1007/978-3-319-23264-5\_16},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrikR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BrikR14,
author = {Alex Brik and
Jeffrey B. Remmel},
title = {Hybrid Answer Set Programming},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {1},
pages = {134--163},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2013.07.008},
doi = {10.1016/J.APAL.2013.07.008},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BrikR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/Remmel14,
author = {Jeffrey B. Remmel},
title = {Consecutive Up-down Patterns in Up-down Permutations},
journal = {Electron. J. Comb.},
volume = {21},
number = {3},
pages = {3},
year = {2014},
url = {https://doi.org/10.37236/3210},
doi = {10.37236/3210},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/Remmel14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BussCR14,
author = {Sam Buss and
Douglas Cenzer and
Jeffrey B. Remmel},
title = {Sub-computable Boundedness Randomness},
journal = {Log. Methods Comput. Sci.},
volume = {10},
number = {4},
year = {2014},
url = {https://doi.org/10.2168/LMCS-10(4:15)2014},
doi = {10.2168/LMCS-10(4:15)2014},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BussCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/BarreseLRS14,
author = {Kenneth Barrese and
Nicholas A. Loehr and
Jeffrey B. Remmel and
Bruce E. Sagan},
title = {m-Level rook placements},
journal = {J. Comb. Theory, Ser. {A}},
volume = {124},
pages = {130--165},
year = {2014},
url = {https://doi.org/10.1016/j.jcta.2014.01.006},
doi = {10.1016/J.JCTA.2014.01.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/BarreseLRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jintseq/KitaevR14,
author = {Sergey Kitaev and
Jeffrey B. Remmel},
title = {The 1-Box Pattern on Pattern-Avoiding Permutations},
journal = {J. Integer Seq.},
volume = {17},
number = {3},
pages = {14.3.3},
year = {2014},
url = {https://cs.uwaterloo.ca/journals/JIS/VOL17/Kitaev/kitaev4.html},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jintseq/KitaevR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/JonesR13,
author = {Miles Eli Jones and
Jeffrey B. Remmel},
title = {A reciprocity method for computing generating functions over the set
of permutations with no consecutive occurrence of a permutation pattern},
journal = {Discret. Math.},
volume = {313},
number = {23},
pages = {2712--2729},
year = {2013},
url = {https://doi.org/10.1016/j.disc.2013.08.010},
doi = {10.1016/J.DISC.2013.08.010},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/JonesR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CenzerHR13,
author = {Douglas Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
title = {Two-to-one structures},
journal = {J. Log. Comput.},
volume = {23},
number = {6},
pages = {1195--1223},
year = {2013},
url = {https://doi.org/10.1093/logcom/ext040},
doi = {10.1093/LOGCOM/EXT040},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CenzerHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BrikR13,
author = {Alex Brik and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Forward Chaining for Hybrid {ASP}},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {74--88},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_6},
doi = {10.1007/978-3-642-35722-0\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BrikR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/CenzerR13,
author = {Douglas Cenzer and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Sub-computable Bounded Pseudorandomness},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {104--118},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_8},
doi = {10.1007/978-3-642-35722-0\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/CenzerR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-6555,
author = {Douglas Cenzer and
Victor W. Marek and
Jeffrey B. Remmel},
title = {Index sets for Finite Normal Predicate Logic Programs},
journal = {CoRR},
volume = {abs/1303.6555},
year = {2013},
url = {http://arxiv.org/abs/1303.6555},
eprinttype = {arXiv},
eprint = {1303.6555},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-6555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CenzerR12,
author = {Douglas Cenzer and
Jeffrey B. Remmel},
title = {A connection between the Cantor-Bendixson derivative and the well-founded
semantics of finite logic programs},
journal = {Ann. Math. Artif. Intell.},
volume = {65},
number = {1},
pages = {1--24},
year = {2012},
url = {https://doi.org/10.1007/s10472-012-9294-x},
doi = {10.1007/S10472-012-9294-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CenzerR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MarekR12,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Disjunctive Programs with Set Constraints},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {471--486},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_32},
doi = {10.1007/978-3-642-30743-0\_32},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MarekR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/starai/BrikR12,
author = {Alex Brik and
Jeffrey B. Remmel},
editor = {Henry A. Kautz and
Kristian Kersting and
Sriraam Natarajan and
David Poole},
title = {Combining Logic, Continuous Parameters and Markov Decision Processes
Using Hybrid {ASP}},
booktitle = {2nd International Workshop on Statistical Relational {AI} (StaRAI-12),
held at the Uncertainty in Artificial Intelligence Conference {(UAI}
2012), Catalina Island, CA, USA, August 18, 2012},
year = {2012},
url = {https://starai.cs.kuleuven.be/2012/accepted/brik.pdf},
timestamp = {Thu, 10 Nov 2022 14:49:26 +0100},
biburl = {https://dblp.org/rec/conf/starai/BrikR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-0587,
author = {Alex Brik and
Jeffrey B. Remmel},
title = {Expressing Preferences using Preference Set Constraint Atoms},
journal = {CoRR},
volume = {abs/1203.0587},
year = {2012},
url = {http://arxiv.org/abs/1203.0587},
eprinttype = {arXiv},
eprint = {1203.0587},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-0587.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerHR11,
author = {Douglas Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
title = {{\(\Sigma\)}\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) and {\(\Pi\)}\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)
equivalence structures},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {7},
pages = {490--503},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.01.002},
doi = {10.1016/J.APAL.2011.01.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/DuaneR11,
author = {Adrian Duane and
Jeffrey B. Remmel},
title = {Minimal Overlapping Patterns in Colored Permutations},
journal = {Electron. J. Comb.},
volume = {18},
number = {2},
year = {2011},
url = {https://doi.org/10.37236/2021},
doi = {10.37236/2021},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/DuaneR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KitaevR11,
author = {Sergey Kitaev and
Jeffrey B. Remmel},
title = {Enumerating (2+2)-free posets by the number of minimal elements and
other statistics},
journal = {Discret. Appl. Math.},
volume = {159},
number = {17},
pages = {2098--2108},
year = {2011},
url = {https://doi.org/10.1016/j.dam.2011.07.010},
doi = {10.1016/J.DAM.2011.07.010},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KitaevR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/FullerR11,
author = {Evan Fuller and
Jeffrey B. Remmel},
title = {Quasi-symmetric functions and up-down compositions},
journal = {Discret. Math.},
volume = {311},
number = {16},
pages = {1754--1767},
year = {2011},
url = {https://doi.org/10.1016/j.disc.2011.04.018},
doi = {10.1016/J.DISC.2011.04.018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/FullerR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarekR11,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {Guarded resolution for Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {111--123},
year = {2011},
url = {https://doi.org/10.1017/S1471068410000062},
doi = {10.1017/S1471068410000062},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarekR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MarekR11,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Effectively Reasoning about Infinite Sets in Answer Set Programming},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {131--147},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4\_9},
doi = {10.1007/978-3-642-20832-4\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MarekR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CenzerHR11,
author = {Douglas Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Effective Categoricity of Injection Structures},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {51--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_6},
doi = {10.1007/978-3-642-21875-0\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/CenzerHR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrikR11,
author = {Alex Brik and
Jeffrey B. Remmel},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Hybrid {ASP}},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {40--50},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.40},
doi = {10.4230/LIPICS.ICLP.2011.40},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrikR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/RemmelR10,
author = {Jeffrey B. Remmel and
Manda Riehl},
title = {Generating Functions for Permutations which Contain a Given Descent
Set},
journal = {Electron. J. Comb.},
volume = {17},
number = {1},
year = {2010},
url = {https://doi.org/10.37236/299},
doi = {10.37236/299},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/RemmelR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/int/KitaevR10,
author = {Sergey Kitaev and
Jeffrey B. Remmel},
title = {Place-Difference-Value Patterns: {A} Generalization of Generalized
Permutation and Word Patterns},
journal = {Integers},
volume = {10},
pages = {A11},
year = {2010},
url = {http://math.colgate.edu/\%7Eintegers/k11/k11.Abstract.html},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/int/KitaevR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/LoehrR09,
author = {Nicholas A. Loehr and
Jeffrey B. Remmel},
title = {Rook-by-rook rook theory: Bijective proofs of rook and hit equivalences},
journal = {Adv. Appl. Math.},
volume = {42},
number = {4},
pages = {483--503},
year = {2009},
url = {https://doi.org/10.1016/j.aam.2008.09.003},
doi = {10.1016/J.AAM.2008.09.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aam/LoehrR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CenzerDRU09,
author = {Douglas Cenzer and
Rodney G. Downey and
Jeffrey B. Remmel and
Zia Uddin},
title = {Space complexity of Abelian groups},
journal = {Arch. Math. Log.},
volume = {48},
number = {1},
pages = {115--140},
year = {2009},
url = {https://doi.org/10.1007/s00153-008-0113-3},
doi = {10.1007/S00153-008-0113-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CenzerDRU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekR09,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {The complexity of recursive constraint satisfaction problems},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {3},
pages = {447--457},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.07.005},
doi = {10.1016/J.APAL.2009.07.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/HallLR09,
author = {John T. Hall and
Jeffrey Liese and
Jeffrey B. Remmel},
title = {q-Counting Descent Pairs with Prescribed Tops and Bottoms},
journal = {Electron. J. Comb.},
volume = {16},
number = {1},
year = {2009},
url = {https://doi.org/10.37236/200},
doi = {10.37236/200},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/HallLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KitaevLRS09,
author = {Sergey Kitaev and
Jeffrey Liese and
Jeffrey B. Remmel and
Bruce E. Sagan},
title = {Rationality, Irrationality, and Wilf Equivalence in Generalized Factor
Order},
journal = {Electron. J. Comb.},
volume = {16},
number = {2},
year = {2009},
url = {https://doi.org/10.37236/88},
doi = {10.37236/88},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/KitaevLRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CenzerLR09,
author = {Douglas Cenzer and
Geoffrey LaForte and
Jeffrey B. Remmel},
title = {Equivalence structures and isomorphisms in the difference hierarchy},
journal = {J. Symb. Log.},
volume = {74},
number = {2},
pages = {535--556},
year = {2009},
url = {https://doi.org/10.2178/jsl/1243948326},
doi = {10.2178/JSL/1243948326},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CenzerLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BarmpaliasCRW09,
author = {George Barmpalias and
Douglas A. Cenzer and
Jeffrey B. Remmel and
Rebecca Weber},
title = {\emph{K}-Triviality of Closed Sets and Continuous Functions},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {3--16},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn021},
doi = {10.1093/LOGCOM/EXN021},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BarmpaliasCRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CenzerHR09,
author = {Douglas A. Cenzer and
Valentina S. Harizanov and
Jeffrey B. Remmel},
editor = {Klaus Ambos{-}Spies and
Benedikt L{\"{o}}we and
Wolfgang Merkle},
title = {S\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) and P\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)
Equivalence Structures},
booktitle = {Mathematical Theory and Computational Practice, 5th Conference on
Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5635},
pages = {99--108},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03073-4\_11},
doi = {10.1007/978-3-642-03073-4\_11},
timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
biburl = {https://dblp.org/rec/conf/cie/CenzerHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekR09,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Automata and Answer Set Programming},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5407},
pages = {323--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92687-0\_22},
doi = {10.1007/978-3-540-92687-0\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-3953,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
title = {Guarded resolution for answer set programming},
journal = {CoRR},
volume = {abs/0904.3953},
year = {2009},
url = {http://arxiv.org/abs/0904.3953},
eprinttype = {arXiv},
eprint = {0904.3953},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-3953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-0197,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {An Application of Proof-Theory in answer Set Programming},
journal = {CoRR},
volume = {abs/0905.0197},
year = {2009},
url = {http://arxiv.org/abs/0905.0197},
eprinttype = {arXiv},
eprint = {0905.0197},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-0197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BlairMR08,
author = {Howard A. Blair and
Victor W. Marek and
Jeffrey B. Remmel},
title = {Set based logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {52},
number = {1},
pages = {81--105},
year = {2008},
url = {https://doi.org/10.1007/s10472-008-9098-1},
doi = {10.1007/S10472-008-9098-1},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BlairMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Remmel08,
author = {Jeffrey B. Remmel},
title = {My work with Victor Marek: a mathematician looks at answer set programming},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
pages = {5--16},
year = {2008},
url = {https://doi.org/10.1007/s10472-009-9107-z},
doi = {10.1007/S10472-009-9107-Z},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Remmel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/NerodeR08,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Consistency properties and set based logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
pages = {289--311},
year = {2008},
url = {https://doi.org/10.1007/s10472-009-9117-x},
doi = {10.1007/S10472-009-9117-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/NerodeR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BarmpaliasBCRW08,
author = {George Barmpalias and
Paul Brodhead and
Douglas A. Cenzer and
Jeffrey B. Remmel and
Rebecca Weber},
title = {Algorithmic randomness of continuous functions},
journal = {Arch. Math. Log.},
volume = {46},
number = {7-8},
pages = {533--546},
year = {2008},
url = {https://doi.org/10.1007/s00153-007-0060-4},
doi = {10.1007/S00153-007-0060-4},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BarmpaliasBCRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/AdinRR08,
author = {Ron M. Adin and
Jeffrey B. Remmel and
Yuval Roichman},
title = {The Combinatorics of the Garsia-Haiman Modules for Hook Shapes},
journal = {Electron. J. Comb.},
volume = {15},
number = {1},
year = {2008},
url = {http://www.combinatorics.org/Volume\_15/Abstracts/v15i1r38.html},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/AdinRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/MiceliR08,
author = {Brian K. Miceli and
Jeffrey B. Remmel},
title = {Augmented Rook Boards and General Product Formulas},
journal = {Electron. J. Comb.},
volume = {15},
number = {1},
year = {2008},
url = {http://www.combinatorics.org/Volume\_15/Abstracts/v15i1r85.html},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/MiceliR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/MendesR08,
author = {Anthony Mendes and
Jeffrey B. Remmel},
title = {Descents, inversions, and major indices in permutation groups},
journal = {Discret. Math.},
volume = {308},
number = {12},
pages = {2509--2524},
year = {2008},
url = {https://doi.org/10.1016/j.disc.2007.05.027},
doi = {10.1016/J.DISC.2007.05.027},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/MendesR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/KitaevMR08,
author = {Sergey Kitaev and
Toufik Mansour and
Jeffrey B. Remmel},
title = {Counting Descents, Rises, and Levels, with Prescribed First Element,
in Words},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {10},
number = {3},
year = {2008},
url = {https://doi.org/10.46298/dmtcs.432},
doi = {10.46298/DMTCS.432},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/KitaevMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/HallR08,
author = {John T. Hall and
Jeffrey B. Remmel},
title = {Counting descent pairs with prescribed tops and bottoms},
journal = {J. Comb. Theory, Ser. {A}},
volume = {115},
number = {5},
pages = {693--725},
year = {2008},
url = {https://doi.org/10.1016/j.jcta.2007.09.001},
doi = {10.1016/J.JCTA.2007.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/HallR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekR08,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {On the Continuity of Gelfond-Lifschitz Operator and Other Applications
of Proof-Theory in {ASP}},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {223--237},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_25},
doi = {10.1007/978-3-540-89982-2\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarekR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/CenzerR08,
author = {Douglas Cenzer and
Jeffrey B. Remmel},
title = {A Connection between Cantor-Bendixson Derivatives and the Well-Founded
Semantics of Logic Programs},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0019\_22d0520e976f830794416390e34d14f7.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/CenzerR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/Remmel08,
author = {Jeffrey B. Remmel},
title = {A Mathematician Looks at Answer Set Programming},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
year = {2008},
url = {http://isaim2008.unl.edu/PAPERS/SS1-AI+Logic/JRemmel-ss1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/Remmel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/DeutschNR08,
author = {Alin Deutsch and
Alan Nash and
Jeffrey B. Remmel},
editor = {Maurizio Lenzerini and
Domenico Lembo},
title = {The chase revisited},
booktitle = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
BC, Canada},
pages = {149--158},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376916.1376938},
doi = {10.1145/1376916.1376938},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/DeutschNR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekR07,
author = {Victor W. Marek and
Jeffrey B. Remmel},
title = {Compactness Properties for Stable Semantics of Logic Programs},
journal = {Fundam. Informaticae},
volume = {81},
number = {1-3},
pages = {211--239},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi81-1-3-14},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarekR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BarmpaliasCRW07,
author = {George Barmpalias and
Douglas A. Cenzer and
Jeffrey B. Remmel and
Rebecca Weber},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {\emph{K} -Trivial Closed Sets and Continuous Functions},
booktitle = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
pages = {135--145},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9\_14},
doi = {10.1007/978-3-540-73001-9\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/BarmpaliasCRW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekR07,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Compactness Properties for Stable Semantics of Logic Programs},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2007, New York, NY, USA, June 4-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4514},
pages = {379--400},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72734-7\_27},
doi = {10.1007/978-3-540-72734-7\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/LangleyR06,
author = {Thomas M. Langley and
Jeffrey B. Remmel},
title = {Enumeration of \emph{m}-tuples of permutations and a new class of
power bases for the space of symmetric functions},
journal = {Adv. Appl. Math.},
volume = {36},
number = {1},
pages = {30--66},
year = {2006},
url = {https://doi.org/10.1016/j.aam.2005.05.005},
doi = {10.1016/J.AAM.2005.05.005},
timestamp = {Mon, 05 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aam/LangleyR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/MendesR06,
author = {Anthony Mendes and
Jeffrey B. Remmel},
title = {Permutations and words counted by consecutive patterns},
journal = {Adv. Appl. Math.},
volume = {37},
number = {4},
pages = {443--480},
year = {2006},
url = {https://doi.org/10.1016/j.aam.2005.09.005},
doi = {10.1016/J.AAM.2005.09.005},
timestamp = {Tue, 06 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aam/MendesR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KitaevR06,
author = {Sergey Kitaev and
Jeffrey B. Remmel},
title = {Classifying Descents According to Equivalence mod k},
journal = {Electron. J. Comb.},
volume = {13},
number = {1},
year = {2006},
url = {https://doi.org/10.37236/1090},
doi = {10.37236/1090},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/KitaevR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KulikauskasR06,
author = {Andrius Kulikauskas and
Jeffrey B. Remmel},
title = {Lyndon Words and Transition Matrices between Elementary, Homogeneous
and Monomial Symmetric Functions},
journal = {Electron. J. Comb.},
volume = {13},
number = {1},
year = {2006},
url = {https://doi.org/10.37236/1044},
doi = {10.37236/1044},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/KulikauskasR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/BriggsR06,
author = {Karen S. Briggs and
Jeffrey B. Remmel},
title = {\emph{m}-Rook numbers and a generalization of a formula of Frobenius
to \emph{C\({}_{\mbox{m}}\) S\({}_{\mbox{n}}\)}},
journal = {J. Comb. Theory, Ser. {A}},
volume = {113},
number = {6},
pages = {1138--1171},
year = {2006},
url = {https://doi.org/10.1016/j.jcta.2005.10.009},
doi = {10.1016/J.JCTA.2005.10.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/BriggsR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CenzerR06,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Complexity, decidability and completeness},
journal = {J. Symb. Log.},
volume = {71},
number = {2},
pages = {399--424},
year = {2006},
url = {https://doi.org/10.2178/jsl/1146620150},
doi = {10.2178/JSL/1146620150},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CenzerR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CenzerR06,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {On the complexity of inductive definitions},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {5},
pages = {763--788},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005585},
doi = {10.1017/S0960129506005585},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CenzerR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrodheadCR07,
author = {Paul Brodhead and
Douglas Cenzer and
Jeffrey B. Remmel},
editor = {Douglas Cenzer and
Ruth Dillhage and
Tanja Grubba and
Klaus Weihrauch},
title = {Random Continuous Functions},
booktitle = {Proceedings of the Third International Conference on Computability
and Complexity in Analysis, {CCA} 2006, November 1-5, 2006, University
of Florida, Gainesville, {USA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {167},
pages = {275--287},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.016},
doi = {10.1016/J.ENTCS.2006.08.016},
timestamp = {Tue, 24 Jan 2023 11:08:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrodheadCR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/NashIR06,
author = {Alan Nash and
Russell Impagliazzo and
Jeffrey B. Remmel},
title = {Infinitely-Often Universal Languages and Diagonalization},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR06-051}},
year = {2006},
url = {https://eccc.weizmann.ac.il/eccc-reports/2006/TR06-051/index.html},
eprinttype = {ECCC},
eprint = {TR06-051},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/NashIR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CenzerRM05,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel and
Victor W. Marek},
title = {Logic programming with infinite sets},
journal = {Ann. Math. Artif. Intell.},
volume = {44},
number = {4},
pages = {309--339},
year = {2005},
url = {https://doi.org/10.1007/s10472-005-7030-5},
doi = {10.1007/S10472-005-7030-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CenzerRM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/HaglundLR05,
author = {James Haglund and
Nicholas A. Loehr and
Jeffrey B. Remmel},
title = {Statistics on wreath products, perfect matchings, and signed words},
journal = {Eur. J. Comb.},
volume = {26},
number = {6},
pages = {835--868},
year = {2005},
url = {https://doi.org/10.1016/j.ejc.2004.06.004},
doi = {10.1016/J.EJC.2004.06.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/HaglundLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/CenzerR05,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {The Complexity of Inductive Definability},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {75--85},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_11},
doi = {10.1007/11494645\_11},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/CenzerR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/NashRV05,
author = {Alan Nash and
Jeffrey B. Remmel and
Victor Vianu},
editor = {Thomas Eiter and
Leonid Libkin},
title = {{PTIME} Queries Revisited},
booktitle = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3363},
pages = {274--288},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30570-5\_19},
doi = {10.1007/978-3-540-30570-5\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/NashRV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MarekR05,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Gerhard Brewka and
Ilkka Niemel{\"{a}} and
Torsten Schaub and
Miroslaw Truszczynski},
title = {Normal Form Theorem for Logic Programs with Cardinality Constraints},
booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29.
April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05171},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/259},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MarekR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RemmelM05,
author = {Jeffrey B. Remmel and
Victor W. Marek},
editor = {Gerhard Brewka and
Ilkka Niemel{\"{a}} and
Torsten Schaub and
Miroslaw Truszczynski},
title = {Set Based Logic Programming},
booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29.
April 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05171},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/266},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/RemmelM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/CenzerRV04,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel and
Amy Vanderbilt},
title = {Locally Determined Logic Programs and Recursive Stable Models},
journal = {Ann. Math. Artif. Intell.},
volume = {40},
number = {3-4},
pages = {225--262},
year = {2004},
url = {https://doi.org/10.1023/B:AMAI.0000012868.41613.e7},
doi = {10.1023/B:AMAI.0000012868.41613.E7},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/CenzerRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/LangleyR04,
author = {Thomas M. Langley and
Jeffrey B. Remmel},
title = {The Plethysm s\({}_{\mbox{{\(\lambda\)}}}\)[s\({}_{\mbox{{\(\mu\)}}}\)]
at Hook and Near-Hook Shapes},
journal = {Electron. J. Comb.},
volume = {11},
number = {1},
year = {2004},
url = {https://doi.org/10.37236/1764},
doi = {10.37236/1764},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/LangleyR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/LoehrR04,
author = {Nicholas A. Loehr and
Jeffrey B. Remmel},
title = {Conjectured Combinatorial Models for the Hilbert Series of Generalized
Diagonal Harmonics Modules},
journal = {Electron. J. Comb.},
volume = {11},
number = {1},
year = {2004},
url = {https://doi.org/10.37236/1821},
doi = {10.37236/1821},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/LoehrR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/MendesRW04,
author = {Anthony Mendes and
Jeffrey B. Remmel and
Jennifer Wagner},
title = {A lambda-ring Frobenius Characteristic for {G} wreath S\({}_{\mbox{n}}\)},
journal = {Electron. J. Comb.},
volume = {11},
number = {1},
year = {2004},
url = {https://doi.org/10.37236/1809},
doi = {10.37236/1809},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/MendesRW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/RemmelW04,
author = {Jeffrey B. Remmel and
Michelle L. Wachs},
title = {Rook Theory, Generalized Stirling Numbers and (p, q)-Analogues},
journal = {Electron. J. Comb.},
volume = {11},
number = {1},
year = {2004},
url = {https://doi.org/10.37236/1837},
doi = {10.37236/1837},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/RemmelW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/HaglundR04,
author = {James Haglund and
Jeffrey B. Remmel},
title = {Cycles and perfect matchings},
journal = {Discret. Math.},
volume = {274},
number = {1-3},
pages = {93--108},
year = {2004},
url = {https://doi.org/10.1016/S0012-365X(03)00082-7},
doi = {10.1016/S0012-365X(03)00082-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/HaglundR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/EgeciogluRW04,
author = {{\"{O}}mer Egecioglu and
Jeffrey B. Remmel and
S. G. Williamson},
title = {A Class Of Graphs Which Has Efficient Ranking And Unranking Algorithms
For Spanning Trees And Forests},
journal = {Int. J. Found. Comput. Sci.},
volume = {15},
number = {4},
pages = {619--648},
year = {2004},
url = {https://doi.org/10.1142/S0129054104002650},
doi = {10.1142/S0129054104002650},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/EgeciogluRW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CenzerR04,
author = {Douglas Cenzer and
Jeffrey B. Remmel},
title = {Index sets for computable differential equations},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {329--344},
year = {2004},
url = {https://doi.org/10.1002/malq.200310102},
doi = {10.1002/MALQ.200310102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CenzerR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/CenzerMR04,
author = {Douglas Cenzer and
V. Wiktor Marek and
Jeffrey B. Remmel},
title = {Using Logic Programs to Reason about Infinite Sets},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}M 2004, Fort Lauderdale, Florida, USA, January 4-6, 2004},
year = {2004},
url = {http://rutcor.rutgers.edu/\%7Eamai/aimath04/AcceptedPapers/Cenzer-aimath04.pdf},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/CenzerMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekR04,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Set Constraints in Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {167--179},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_16},
doi = {10.1007/978-3-540-24609-1\_16},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MarekR04,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {James P. Delgrande and
Torsten Schaub},
title = {Answer set programming with default logic},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {276--284},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper36.pdf},
timestamp = {Mon, 21 Jun 2004 10:11:59 +0200},
biburl = {https://dblp.org/rec/conf/nmr/MarekR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MeyerPR04,
author = {David A. Meyer and
James Pommersheim and
Jeffrey B. Remmel},
editor = {James P. Delgrande and
Torsten Schaub},
title = {Finding stable models via quantum computation},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {285--291},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper37.pdf},
timestamp = {Wed, 24 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/MeyerPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/BriggsR03,
author = {Karen S. Briggs and
Jeffrey B. Remmel},
title = {A p, q-analogue of a Formula of Frobenius},
journal = {Electron. J. Comb.},
volume = {10},
year = {2003},
url = {https://doi.org/10.37236/1702},
doi = {10.37236/1702},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/BriggsR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CzenzerR03,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Index sets for omega-languages},
journal = {Math. Log. Q.},
volume = {49},
number = {1},
pages = {22--33},
year = {2003},
url = {https://doi.org/10.1002/malq.200310002},
doi = {10.1002/MALQ.200310002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CzenzerR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarekR03,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
title = {On the expressibility of stable logic programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {551--567},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001777},
doi = {10.1017/S1471068403001777},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarekR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/NashIR03,
author = {Alan Nash and
Russell Impagliazzo and
Jeffrey B. Remmel},
title = {Universal Languages and the Power of Diagonalization},
booktitle = {18th Annual {IEEE} Conference on Computational Complexity (Complexity
2003), 7-10 July 2003, Aarhus, Denmark},
pages = {337--346},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CCC.2003.1214432},
doi = {10.1109/CCC.2003.1214432},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coco/NashIR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0312053,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
title = {On the Expressibility of Stable Logic Programming},
journal = {CoRR},
volume = {cs.AI/0312053},
year = {2003},
url = {http://arxiv.org/abs/cs/0312053},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0312053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/RemmelW02,
author = {Jeffrey B. Remmel and
S. G. Williamson},
title = {Spanning Trees and Function Classes},
journal = {Electron. J. Comb.},
volume = {9},
number = {1},
year = {2002},
url = {https://doi.org/10.37236/1650},
doi = {10.37236/1650},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/combinatorics/RemmelW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CenzerR02,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Effectively closed sets and graphs of computable real functions},
journal = {Theor. Comput. Sci.},
volume = {284},
number = {2},
pages = {279--318},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00069-X},
doi = {10.1016/S0304-3975(01)00069-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CenzerR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/MarekR02,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {On logic programs with cardinality constraints},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {219--228},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/MarekR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/HaglundR01,
author = {James Haglund and
Jeffrey B. Remmel},
title = {Rook Theory for Perfect Matchings},
journal = {Adv. Appl. Math.},
volume = {27},
number = {Issues},
pages = {438--481},
year = {2001},
url = {https://doi.org/10.1006/aama.2001.0744},
doi = {10.1006/AAMA.2001.0744},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aam/HaglundR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/MarekR01,
author = {Victor W. Marek and
Jeffrey B. Remmel},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {On the Foundations of Answer Set Programming},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/15.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/MarekR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekR01,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {On the Expressibility of Stable Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {107--120},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_8},
doi = {10.1007/3-540-45402-0\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amai/CenzerRV00,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel and
Amy Vanderbilt},
title = {Characterizing the Set of Extensions of a Nonmonotonic Rule System
with Levels},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}M 2000, Fort Lauderdale, Florida, USA, January 5-7, 2000},
year = {2000},
url = {http://rutcor.rutgers.edu/\%7Eamai/aimath00/regular/cenzer\_et\_al-old.ps},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amai/CenzerRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekNR99,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Logic Programs, Well-Orderings, and Forward Chaining},
journal = {Ann. Pure Appl. Log.},
volume = {96},
number = {1-3},
pages = {231--276},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00041-4},
doi = {10.1016/S0168-0072(98)00041-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekNR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/RemmelW99,
author = {Jeffrey B. Remmel and
S. Gill Williamson},
title = {Large-Scale Regularities of Lattice Embeddings of Posets},
journal = {Order},
volume = {16},
number = {3},
pages = {245--260},
year = {1999},
url = {https://doi.org/10.1023/A:1006333600638},
doi = {10.1023/A:1006333600638},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/RemmelW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CenzerR99,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Index Sets in Computable Analysis},
journal = {Theor. Comput. Sci.},
volume = {219},
number = {1-2},
pages = {111--150},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00286-2},
doi = {10.1016/S0304-3975(98)00286-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CenzerR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CenzerRV99,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel and
Amy Vanderbilt},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Locally Determined Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {34--48},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_3},
doi = {10.1007/3-540-46767-X\_3},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CenzerRV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerR98a,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {93},
number = {1-3},
pages = {1--2},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00051-1},
doi = {10.1016/S0168-0072(97)00051-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerR98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerR98b,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Index Sets for Pi\({}^{\mbox{0}}\)\({}_{\mbox{1}}\) Classes},
journal = {Ann. Pure Appl. Log.},
volume = {93},
number = {1-3},
pages = {3--61},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00052-3},
doi = {10.1016/S0168-0072(97)00052-3},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerR98b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerR98,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Feasible Graphs with Standard Universe},
journal = {Ann. Pure Appl. Log.},
volume = {94},
number = {1-3},
pages = {21--35},
year = {1998},
url = {https://doi.org/10.1016/S0168-0072(97)00064-X},
doi = {10.1016/S0168-0072(97)00064-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/CariniR98,
author = {Luisa Carini and
Jeffrey B. Remmel},
title = {Formulas for the expansion of the plethysms s\({}_{\mbox{2}}\)[S\({}_{\mbox{(a,
b)}}\)] and S\({}_{\mbox{2}}\)[S\({}_{\mbox{(n\({}^{\mbox{k}}\))}}\)]},
journal = {Discret. Math.},
volume = {193},
number = {1-3},
pages = {147--177},
year = {1998},
url = {https://doi.org/10.1016/S0012-365X(98)00139-3},
doi = {10.1016/S0012-365X(98)00139-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/CariniR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/RemmelS98,
author = {Jeffrey B. Remmel and
Mark Shimozono},
title = {A simple proof of the Littlewood-Richardson rule and applications},
journal = {Discret. Math.},
volume = {193},
number = {1-3},
pages = {257--266},
year = {1998},
url = {https://doi.org/10.1016/S0012-365X(98)00145-9},
doi = {10.1016/S0012-365X(98)00145-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/RemmelS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/YangR98,
author = {Mei Yang and
Jeffrey B. Remmel},
title = {Hook-Schur Functions Analogues of Littlewood's Identities and their
Bijective Proofs},
journal = {Eur. J. Comb.},
volume = {19},
number = {2},
pages = {257--272},
year = {1998},
url = {https://doi.org/10.1006/eujc.1997.0173},
doi = {10.1006/EUJC.1997.0173},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejc/YangR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CenzerR98,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Complexity and Categoricity},
journal = {Inf. Comput.},
volume = {140},
number = {1},
pages = {2--25},
year = {1998},
url = {https://doi.org/10.1006/inco.1997.2676},
doi = {10.1006/INCO.1997.2676},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CenzerR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Nonmonotonic rule systems with recursive sets of restraints},
journal = {Arch. Math. Log.},
volume = {36},
number = {4-5},
pages = {339--384},
year = {1997},
url = {https://doi.org/10.1007/s001530050070},
doi = {10.1007/S001530050070},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AshKR97,
author = {Christopher J. Ash and
Julia F. Knight and
Jeffrey B. Remmel},
title = {Quasi-Simple Relations in Copies of a Given Recursive Structure},
journal = {Ann. Pure Appl. Log.},
volume = {86},
number = {3},
pages = {203--218},
year = {1997},
url = {https://doi.org/10.1016/S0168-0072(97)00010-9},
doi = {10.1016/S0168-0072(97)00010-9},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AshKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity of Recursive Normal Default Logic},
journal = {Fundam. Informaticae},
volume = {32},
number = {2},
pages = {139--147},
year = {1997},
url = {https://doi.org/10.3233/FI-1997-32203},
doi = {10.3233/FI-1997-32203},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NerodeRS97,
author = {Anil Nerode and
Jeffrey B. Remmel and
V. S. Subrahmanian},
title = {Annotated Nonmonotonic Rule Systems},
journal = {Theor. Comput. Sci.},
volume = {171},
number = {1-2},
pages = {111--146},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00127-2},
doi = {10.1016/S0304-3975(96)00127-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NerodeRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnNR97,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Michael D. Lemmon and
Anil Nerode and
Shankar Sastry},
title = {Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems},
booktitle = {Hybrid Systems V, Proceedings of the Fifth International Workshop
on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1567},
pages = {122--141},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49163-5\_7},
doi = {10.1007/3-540-49163-5\_7},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnR97,
author = {Wolf Kohn and
Jeffrey B. Remmel},
editor = {Oded Maler},
title = {Hybrid Dynamic Programming},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {391--396},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014740},
doi = {10.1007/BFB0014740},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/MarekNR97,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Basic Forward Chaining Construction for Logic Programs},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {214--225},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_22},
doi = {10.1007/3-540-63045-7\_22},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/MarekNR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PolletR97,
author = {Ch. Pollet and
Jeffrey B. Remmel},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {Non-Monotonic Reasoning with Quantified Boolean Constraints},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {18--39},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_3},
doi = {10.1007/3-540-63255-7\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PolletR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeRY96,
author = {Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
title = {McNaughton Games and Extracting Strategies for Concurrent Programs},
journal = {Ann. Pure Appl. Log.},
volume = {78},
number = {1-3},
pages = {203--242},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00032-1},
doi = {10.1016/0168-0072(95)00032-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeRY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeR96,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {On the Lattices of NP-Subspaces of a Polynomial Time Vector Space
over a Finite Field},
journal = {Ann. Pure Appl. Log.},
volume = {81},
number = {1-3},
pages = {125--170},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00051-8},
doi = {10.1016/0168-0072(95)00051-8},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BeckRW96,
author = {Desiree A. Beck and
Jeffrey B. Remmel and
Tamsen Whitehead},
title = {The combinatorics of transition matrices between the bases of the
symmetric functions and the B\({}_{\mbox{n}}\) analogues},
journal = {Discret. Math.},
volume = {153},
number = {1-3},
pages = {3--27},
year = {1996},
url = {https://doi.org/10.1016/0012-365X(95)00124-F},
doi = {10.1016/0012-365X(95)00124-F},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/BeckRW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/RamRW96,
author = {Arun Ram and
Jeffrey B. Remmel and
Tamsen Whitehead},
title = {Combinatorics of theq-Basis of Symmetric Functions},
journal = {J. Comb. Theory, Ser. {A}},
volume = {76},
number = {2},
pages = {231--271},
year = {1996},
url = {https://doi.org/10.1006/jcta.1996.0103},
doi = {10.1006/JCTA.1996.0103},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/RamRW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnNR96,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Agent Based Velocity Control of Highway Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {174--214},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031561},
doi = {10.1007/BFB0031561},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NerodeRY96,
author = {Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid System Games: Extraction of Control Automata with Small Topologies},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {248--293},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031565},
doi = {10.1007/BFB0031565},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NerodeRY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR96,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {On the Complexity of Abduction},
booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
New Brunswick, New Jersey, USA, July 27-30, 1996},
pages = {513--522},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/LICS.1996.561468},
doi = {10.1109/LICS.1996.561468},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Remmel96,
author = {Jeffrey B. Remmel},
editor = {Wojciech Penczek and
Andrzej Szalas},
title = {Nonmonotonic Rule Systems: Foward Chaining, Constraints, and Complexity
(Abstract)},
booktitle = {Mathematical Foundations of Computer Science 1996, 21st International
Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1113},
pages = {113},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61550-4\_142},
doi = {10.1007/3-540-61550-4\_142},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Remmel96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/BeckR95,
author = {Desiree A. Beck and
Jeffrey B. Remmel},
title = {Permutation Enumeration of the Symmetric Group and the Combinatorics
of Symmetric Functions},
journal = {J. Comb. Theory, Ser. {A}},
volume = {72},
number = {1},
pages = {1--49},
year = {1995},
timestamp = {Mon, 05 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jct/BeckR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/CarbonaraRK95,
author = {Joaquin O. Carbonara and
Jeffrey B. Remmel and
Andrius Kulikauskas},
title = {A Combinatorial Proof of the Equivalence of the Classical and Combinatorial
Definitions of Schur Function},
journal = {J. Comb. Theory, Ser. {A}},
volume = {72},
number = {2},
pages = {293--301},
year = {1995},
timestamp = {Mon, 05 Jul 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jct/CarbonaraRK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RemmelC95,
author = {Jeffrey B. Remmel and
Douglas A. Cenzer},
title = {Feasible Graphs and Colorings},
journal = {Math. Log. Q.},
volume = {41},
pages = {327--352},
year = {1995},
url = {https://doi.org/10.1002/malq.19950410305},
doi = {10.1002/MALQ.19950410305},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RemmelC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KohnNRY95,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
title = {Viability in Hybrid Systems},
journal = {Theor. Comput. Sci.},
volume = {138},
number = {1},
pages = {141--168},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(94)00150-H},
doi = {10.1016/0304-3975(94)00150-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KohnNRY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GeKNR95,
author = {Xiaolin Ge and
Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Hybrid Systems: Chattering Approximation to Relaxed Controls},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {76--100},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020937},
doi = {10.1007/BFB0020937},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GeKNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR95,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity of Normal Default Logic and Related Modes of Nonmonotonic
Reasoning},
booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
San Diego, California, USA, June 26-29, 1995},
pages = {178--185},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/LICS.1995.523255},
doi = {10.1109/LICS.1995.523255},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekNR95,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {On Logical Constraints in Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {43--56},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_4},
doi = {10.1007/3-540-59487-6\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekNR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BauerleR94,
author = {Frank A. B{\"{a}}uerle and
Jeffrey B. Remmel},
title = {On Speedable and Levelable Vector Spaces},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {61--112},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90008-6},
doi = {10.1016/0168-0072(94)90008-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BauerleR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic
Rule Systems},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {269--323},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90013-2},
doi = {10.1016/0168-0072(94)90013-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {The Stable Models of a Predicate Logic Program},
journal = {J. Log. Program.},
volume = {21},
number = {3},
pages = {129--153},
year = {1994},
timestamp = {Thu, 27 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlcs/CrossleyR94,
author = {John N. Crossley and
Jeffrey B. Remmel},
title = {Proofs, programs, and run times},
journal = {Methods Log. Comput. Sci.},
volume = {1},
number = {2},
pages = {183--215},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=200763},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlcs/CrossleyR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnNR94,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation
to Connections},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {294--321},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_15},
doi = {10.1007/3-540-60472-3\_15},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NerodeRY94,
author = {Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Controllers as Fixed Points of Set-Valued Operators},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {344--358},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_17},
doi = {10.1007/3-540-60472-3\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NerodeRY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/CenzerR94,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
editor = {Daniel Leivant},
title = {Feasibly Categorial Models},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {300--312},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_91},
doi = {10.1007/3-540-60178-3\_91},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lcc/CenzerR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MarekNR94,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Peter Z. Revesz and
Divesh Srivastava and
Peter J. Stuckey and
S. Sudarshan},
title = {On Logical Constraints in Logic Programming},
booktitle = {{ILPS} 1994, Workshop 2: Constraints and Databases, Ithaca, New York,
USA, November 17, 1994},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MarekNR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekNR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems {II}},
journal = {Ann. Math. Artif. Intell.},
volume = {5},
number = {2-4},
pages = {229--263},
year = {1992},
url = {https://doi.org/10.1007/BF01543477},
doi = {10.1007/BF01543477},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekNR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarekR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {How Complicated is the Set of Stable Models of a Recursive Logic Program?},
journal = {Ann. Pure Appl. Log.},
volume = {56},
number = {1-3},
pages = {119--135},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90069-C},
doi = {10.1016/0168-0072(92)90069-C},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarekR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CrossleyR92,
author = {John N. Crossley and
Jeffrey B. Remmel},
title = {Cancellation Laws for Polynomial-Time p-Isolated Sets},
journal = {Ann. Pure Appl. Log.},
volume = {56},
number = {1-3},
pages = {147--172},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90071-7},
doi = {10.1016/0168-0072(92)90071-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CrossleyR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerR92,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Polynomial-Time Abelian Groups},
journal = {Ann. Pure Appl. Log.},
volume = {56},
number = {1-3},
pages = {313--363},
year = {1992},
url = {https://doi.org/10.1016/0168-0072(92)90076-C},
doi = {10.1016/0168-0072(92)90076-C},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Remmel92,
author = {Jeffrey B. Remmel},
title = {Formulas for the expansion of the Kronecker products S\({}_{\mbox{(m,
n)}}\) * S\({}_{\mbox{(1\({}^{\mbox{p-r}}\), r)}}\) and S\({}_{\mbox{(1\({}^{\mbox{k}}\)2\({}^{\mbox{l}}\))}}\)
* S\({}_{\mbox{(1\({}^{\mbox{p-r}}\), r)}}\)},
journal = {Discret. Math.},
volume = {99},
number = {1-3},
pages = {265--287},
year = {1992},
url = {https://doi.org/10.1016/0012-365X(92)90376-Q},
doi = {10.1016/0012-365X(92)90376-Q},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Remmel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekNR92a,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Rule Systems and Well-Orderings},
booktitle = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
pages = {69--92},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Thu, 21 Jun 2018 07:36:34 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MarekNR92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MarekNR92,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Krzysztof R. Apt},
title = {The Stable Models of a Predicate Logic Program},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {446--460},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MarekNR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1992w1,
editor = {Howard A. Blair and
V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic
methods in Logic-Programming, Washington, DC, USA, November 13, 1992},
publisher = {Mathematical Sciences Institute, Cornell University},
year = {1992},
timestamp = {Thu, 21 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1992w1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerR91,
author = {Douglas A. Cenzer and
Jeffrey B. Remmel},
title = {Polynomial-Time versus Recursive Models},
journal = {Ann. Pure Appl. Log.},
volume = {54},
number = {1},
pages = {17--58},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90008-A},
doi = {10.1016/0168-0072(91)90008-A},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/EgeciogluR91,
author = {{\"{O}}mer Egecioglu and
Jeffrey B. Remmel},
title = {Brick tabloids and the connection matrices between bases of symmetric
functions},
journal = {Discret. Appl. Math.},
volume = {34},
number = {1-3},
pages = {107--120},
year = {1991},
url = {https://doi.org/10.1016/0166-218X(91)90081-7},
doi = {10.1016/0166-218X(91)90081-7},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/EgeciogluR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/JockuschLR91,
author = {Carl G. Jockusch Jr. and
Andrew E. M. Lewis and
Jeffrey B. Remmel},
title = {Pi\({}^{\mbox{0}}\)\({}_{\mbox{1}}\)-Classes and Rado's Selection
Principle},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {684--693},
year = {1991},
url = {https://doi.org/10.2307/2274710},
doi = {10.2307/2274710},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/JockuschLR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/RemmelY91,
author = {Jeffrey B. Remmel and
Mei Yang},
title = {Special Rim Hook Tabloids and Some New Multiplicity-Free \emph{S}-Series},
journal = {{SIAM} J. Discret. Math.},
volume = {4},
number = {2},
pages = {253--274},
year = {1991},
url = {https://doi.org/10.1137/0404024},
doi = {10.1137/0404024},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/RemmelY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarekNR90,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems {I}},
journal = {Ann. Math. Artif. Intell.},
volume = {1},
pages = {241--273},
year = {1990},
url = {https://doi.org/10.1007/BF01531080},
doi = {10.1007/BF01531080},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarekNR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/EgeciogeluR90,
author = {{\"{O}}mer Egecioglu and
Jeffrey B. Remmel},
title = {The monomial symmetric functions and the Frobenius map},
journal = {J. Comb. Theory, Ser. {A}},
volume = {54},
number = {2},
pages = {272--295},
year = {1990},
url = {https://doi.org/10.1016/0097-3165(90)90035-U},
doi = {10.1016/0097-3165(90)90035-U},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/EgeciogeluR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MarekNR90,
author = {V. Wiktor Marek and
Anil Nerode and
Jeffrey B. Remmel},
title = {A Theory of Nonmonotonic Rule Systems},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {79--94},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113736},
doi = {10.1109/LICS.1990.113736},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MarekNR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/DowneyR89,
author = {Rodney G. Downey and
Jeffrey B. Remmel},
title = {Classification of Degree Classes Associated with r.e. Subspaces},
journal = {Ann. Pure Appl. Log.},
volume = {42},
number = {2},
pages = {105--124},
year = {1989},
url = {https://doi.org/10.1016/0168-0072(89)90051-1},
doi = {10.1016/0168-0072(89)90051-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/DowneyR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeR89,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity-Theoretic Algebra {II:} Boolean Algebras},
journal = {Ann. Pure Appl. Log.},
volume = {44},
number = {1-2},
pages = {71--99},
year = {1989},
url = {https://doi.org/10.1016/0168-0072(89)90047-X},
doi = {10.1016/0168-0072(89)90047-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/NerodeRS89,
author = {Anil Nerode and
Jeffrey B. Remmel and
Andre Scedrov},
title = {Polynomially Grade Logic {I:} {A} Graded Version of System {T}},
booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science
{(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
pages = {375--385},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/LICS.1989.39192},
doi = {10.1109/LICS.1989.39192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/NerodeRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BradyR87,
author = {Sheryl Silibovsky Brady and
Jeffrey B. Remmel},
title = {The undecidability of the lattice of {R.E.} closed subsets of an effective
topological space},
journal = {Ann. Pure Appl. Log.},
volume = {35},
pages = {193--203},
year = {1987},
url = {https://doi.org/10.1016/0168-0072(87)90063-7},
doi = {10.1016/0168-0072(87)90063-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BradyR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Remmel87,
author = {Jeffrey B. Remmel},
title = {Recursively rigid Boolean algebras},
journal = {Ann. Pure Appl. Log.},
volume = {36},
pages = {39--52},
year = {1987},
url = {https://doi.org/10.1016/0168-0072(87)90011-X},
doi = {10.1016/0168-0072(87)90011-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Remmel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Remmel87,
author = {Jeffrey B. Remmel},
title = {Permutation statistics and (k, l)-hook Schur functions},
journal = {Discret. Math.},
volume = {67},
number = {3},
pages = {271--298},
year = {1987},
url = {https://doi.org/10.1016/0012-365X(87)90178-6},
doi = {10.1016/0012-365X(87)90178-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/Remmel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyR87,
author = {Rodney G. Downey and
Jeffrey B. Remmel},
title = {Automorphisms and Recursive Structures},
journal = {Math. Log. Q.},
volume = {33},
number = {4},
pages = {339--345},
year = {1987},
url = {https://doi.org/10.1002/malq.19870330409},
doi = {10.1002/MALQ.19870330409},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coco/NerodeR87,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Complexity theoretic algebra {I} - vector spaces over finite fields},
booktitle = {Proceedings of the Second Annual Conference on Structure in Complexity
Theory, Cornell University, Ithaca, New York, USA, June 16-19, 1987},
pages = {218--239},
publisher = {{IEEE} Computer Society},
year = {1987},
url = {https://ieeexplore.ieee.org/document/10319273},
timestamp = {Tue, 21 Nov 2023 11:59:25 +0100},
biburl = {https://dblp.org/rec/conf/coco/NerodeR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeR86,
author = {Anil Nerode and
Jeffrey B. Remmel},
title = {Generic objects in recursion theory {II:} Operations on recursive
approximation spaces},
journal = {Ann. Pure Appl. Log.},
volume = {31},
pages = {257--288},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90073-4},
doi = {10.1016/0168-0072(86)90073-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Remmel86,
author = {Jeffrey B. Remmel},
title = {Graph colorings and recursively bounded {\(\Pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\)-classes},
journal = {Ann. Pure Appl. Log.},
volume = {32},
pages = {185--194},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90051-5},
doi = {10.1016/0168-0072(86)90051-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Remmel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/GarsiaR86,
author = {Adriano M. Garsia and
Jeffrey B. Remmel},
title = {Q-counting rook configurations and a formula of frobenius},
journal = {J. Comb. Theory, Ser. {A}},
volume = {41},
number = {2},
pages = {246--275},
year = {1986},
url = {https://doi.org/10.1016/0097-3165(86)90083-X},
doi = {10.1016/0097-3165(86)90083-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/GarsiaR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/EgeciogluR86,
author = {{\"{O}}mer Egecioglu and
Jeffrey B. Remmel},
title = {Bijections for Cayley trees, spanning trees, and their \emph{q}-analogues},
journal = {J. Comb. Theory, Ser. {A}},
volume = {42},
number = {1},
pages = {15--30},
year = {1986},
url = {https://doi.org/10.1016/0097-3165(86)90004-X},
doi = {10.1016/0097-3165(86)90004-X},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jct/EgeciogluR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/GarsiaR85,
author = {Adriano M. Garsia and
Jeffrey B. Remmel},
title = {A Combinatorial View of Andrews' Proof of the {L-M-W} Conjectures},
journal = {Eur. J. Comb.},
volume = {6},
number = {4},
pages = {335--352},
year = {1985},
url = {https://doi.org/10.1016/S0195-6698(85)80047-0},
doi = {10.1016/S0195-6698(85)80047-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/GarsiaR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/GarsiaR85,
author = {Adriano M. Garsia and
Jeffrey B. Remmel},
title = {Shuffles of permutations and the Kronecker product},
journal = {Graphs Comb.},
volume = {1},
number = {1},
pages = {217--263},
year = {1985},
url = {https://doi.org/10.1007/BF02582950},
doi = {10.1007/BF02582950},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gc/GarsiaR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/RemmelW84,
author = {Jeffrey B. Remmel and
Roger Whitney},
title = {Multiplying Schur functions},
journal = {J. Algorithms},
volume = {5},
number = {4},
pages = {471--487},
year = {1984},
url = {https://doi.org/10.1016/0196-6774(84)90002-6},
doi = {10.1016/0196-6774(84)90002-6},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/RemmelW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MillerR84,
author = {D. Miller and
Jeffrey B. Remmel},
title = {Effectively Nowhere Simple Sets},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {129--136},
year = {1984},
url = {https://doi.org/10.2307/2274096},
doi = {10.2307/2274096},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MillerR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LermanR84,
author = {Manuel Lerman and
Jeffrey B. Remmel},
title = {The Universal Splitting Property. {II}},
journal = {J. Symb. Log.},
volume = {49},
number = {1},
pages = {137--150},
year = {1984},
url = {https://doi.org/10.2307/2274097},
doi = {10.2307/2274097},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LermanR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyR84,
author = {Rodney G. Downey and
Jeffrey B. Remmel},
title = {The Universal Complementation Property},
journal = {J. Symb. Log.},
volume = {49},
number = {4},
pages = {1125--1136},
year = {1984},
url = {https://doi.org/10.2307/2274265},
doi = {10.2307/2274265},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/RemmelW83,
author = {Jeffrey B. Remmel and
Roger Whitney},
title = {A Bijective Proof of the Hook Formula for the Number of Column Strict
Tableaux with Bounded Entries},
journal = {Eur. J. Comb.},
volume = {4},
number = {1},
pages = {45--63},
year = {1983},
url = {https://doi.org/10.1016/S0195-6698(83)80008-0},
doi = {10.1016/S0195-6698(83)80008-0},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejc/RemmelW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/Remmel83,
author = {Jeffrey B. Remmel},
title = {A Note on a Recursion for the Number of Derangements},
journal = {Eur. J. Comb.},
volume = {4},
number = {4},
pages = {371--374},
year = {1983},
url = {https://doi.org/10.1016/S0195-6698(83)80034-1},
doi = {10.1016/S0195-6698(83)80034-1},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/Remmel83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KiersteadR83,
author = {Henry A. Kierstead and
Jeffrey B. Remmel},
title = {Indiscernibles and Decidable Models},
journal = {J. Symb. Log.},
volume = {48},
number = {1},
pages = {21--32},
year = {1983},
url = {https://doi.org/10.2307/2273316},
doi = {10.2307/2273316},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KiersteadR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KalantariR83,
author = {Iraj Kalantari and
Jeffrey B. Remmel},
title = {Degrees of Recursively Enumerable Topological Spaces},
journal = {J. Symb. Log.},
volume = {48},
number = {3},
pages = {610--622},
year = {1983},
url = {https://doi.org/10.2307/2273453},
doi = {10.2307/2273453},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KalantariR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Remmel82,
author = {Jeffrey B. Remmel},
title = {Bijective Proofs of Some Classical Partition Identities},
journal = {J. Comb. Theory, Ser. {A}},
volume = {33},
number = {3},
pages = {273--286},
year = {1982},
url = {https://doi.org/10.1016/0097-3165(82)90040-1},
doi = {10.1016/0097-3165(82)90040-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jct/Remmel82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel81,
author = {Jeffrey B. Remmel},
title = {Recursive Isomorphism Types of Recursive Boolean Algebras},
journal = {J. Symb. Log.},
volume = {46},
number = {3},
pages = {572--594},
year = {1981},
url = {https://doi.org/10.2307/2273757},
doi = {10.2307/2273757},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel81a,
author = {Jeffrey B. Remmel},
title = {Recursive Boolean Algebras with Recursive Atoms},
journal = {J. Symb. Log.},
volume = {46},
number = {3},
pages = {595--616},
year = {1981},
url = {https://doi.org/10.2307/2273758},
doi = {10.2307/2273758},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ManasterR81,
author = {Alfred B. Manaster and
Jeffrey B. Remmel},
title = {Partial Orderings of Fixed Finite Dimension: Model Companions and
Density},
journal = {J. Symb. Log.},
volume = {46},
number = {4},
pages = {789--802},
year = {1981},
url = {https://doi.org/10.2307/2273228},
doi = {10.2307/2273228},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ManasterR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/GarsiaR80,
author = {Adriano M. Garsia and
Jeffrey B. Remmel},
title = {A Combinatorial Interpretation of q-Derangement and q-Laguerre Numbers},
journal = {Eur. J. Comb.},
volume = {1},
number = {1},
pages = {47--59},
year = {1980},
url = {https://doi.org/10.1016/S0195-6698(80)80021-7},
doi = {10.1016/S0195-6698(80)80021-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejc/GarsiaR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel80,
author = {Jeffrey B. Remmel},
title = {On {R.E.} and {CO-R.E.} Vector Spaces with Nonextendible Bases},
journal = {J. Symb. Log.},
volume = {45},
number = {1},
pages = {20--34},
year = {1980},
url = {https://doi.org/10.2307/2273351},
doi = {10.2307/2273351},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel80a,
author = {Jeffrey B. Remmel},
title = {Recursion Theory on Orderings. {II}},
journal = {J. Symb. Log.},
volume = {45},
number = {2},
pages = {317--333},
year = {1980},
url = {https://doi.org/10.2307/2273192},
doi = {10.2307/2273192},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/RemmelM80,
author = {Jeffrey B. Remmel and
Alfred B. Manaster},
title = {CO-Simple Higher-Order Indecomposable Isols},
journal = {Math. Log. Q.},
volume = {26},
number = {14-18},
pages = {279--288},
year = {1980},
url = {https://doi.org/10.1002/malq.19800261408},
doi = {10.1002/MALQ.19800261408},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/RemmelM80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MetakidesR79,
author = {George Metakides and
Jeffrey B. Remmel},
title = {Recursion Theory on Orderings. I. {A} Model Theoretic Setting},
journal = {J. Symb. Log.},
volume = {44},
number = {3},
pages = {383--402},
year = {1979},
url = {https://doi.org/10.2307/2273131},
doi = {10.2307/2273131},
timestamp = {Thu, 28 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MetakidesR79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel79,
author = {Jeffrey B. Remmel},
title = {R-Maximal Boolean Algebras},
journal = {J. Symb. Log.},
volume = {44},
number = {4},
pages = {533--548},
year = {1979},
url = {https://doi.org/10.2307/2273292},
doi = {10.2307/2273292},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel78,
author = {Jeffrey B. Remmel},
title = {A r-Maximal Vector Space not contained in any Maximal Vector Space},
journal = {J. Symb. Log.},
volume = {43},
number = {3},
pages = {430--441},
year = {1978},
url = {https://doi.org/10.2307/2273519},
doi = {10.2307/2273519},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel77,
author = {Jeffrey B. Remmel},
title = {Maximal and Cohesive Vector Spaces},
journal = {J. Symb. Log.},
volume = {42},
number = {3},
pages = {400--418},
year = {1977},
url = {https://doi.org/10.2307/2272868},
doi = {10.2307/2272868},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Remmel76,
author = {Jeffrey B. Remmel},
title = {Co-Hypersimple Structures},
journal = {J. Symb. Log.},
volume = {41},
number = {3},
pages = {611--625},
year = {1976},
url = {https://doi.org/10.1017/S0022481200051185},
doi = {10.1017/S0022481200051185},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Remmel76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-30 00:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
