@article{Jilani-Mraihi-Louhichi-Ghardallou-Bsaies-Mili/13,
AUTHOR = {Jilani, Lamia Labed and Mraihi, Olfa and Louhichi, Asma and Ghardallou, Wided and Bsaies, Khaled and Mili, Ali},
TITLE = {Invariant functions and invariant relations: An alternative to invariant assertions},
JOURNAL = {J. Symbolic Computation},
VOLUME = {48},
PAGES = {1-36},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {invariant assertions, invariant relations, invariant functions, while loops, reasoning about loops, invariant generation, loop functions},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000557},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Brickenstein-Dreyer/13,
AUTHOR = {Brickenstein, Michael and Dreyer, Alexander},
TITLE = {Gr{\"o}bner-free normal forms for Boolean polynomials},
JOURNAL = {J. Symbolic Computation},
VOLUME = {48},
PAGES = {37-53},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {interpolation, gr{\"o}bner, normal forms, boolean polynomials},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000624},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Farran-Munuera-Tizziotti-Torres/13,
AUTHOR = {Farr{\'a}n, J.I. and Munuera, C. and Tizziotti, G. and Torres, F.},
TITLE = {Gr{\"o}bner basis for norm-trace codes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {48},
PAGES = {54-63},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {gr{\"o}bner basis, ag codes},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000685},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bogner-Reiter/13,
AUTHOR = {Bogner, Michael and Reiter, Stefan},
TITLE = {On symplectically rigid local systems of rank four and Calabi-Yau operators},
JOURNAL = {J. Symbolic Computation},
VOLUME = {48},
PAGES = {64-100},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {geometric origin, rigidity, calabi-yau operators, hadamard product, convolution},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000788},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{King/13,
AUTHOR = {King, Simon A.},
TITLE = {Minimal generating sets of non-modular invariant rings of finite groups},
JOURNAL = {J. Symbolic Computation},
VOLUME = {48},
PAGES = {101-109},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {invariant ring, fundamental invariants, irreducible secondary invariants, truncated gr{\"o}bner basis},
URL = {http://www.sciencedirect.com/science/article/pii/S074771711200079X},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{La_Scala-Levandovskyy/13,
AUTHOR = {La Scala, Roberto and Levandovskyy, Viktor},
TITLE = {Skew polynomial rings, Gr{\"o}bner bases and the letterplace embedding of the free associative algebra},
JOURNAL = {J. Symbolic Computation},
VOLUME = {48},
PAGES = {110-131},
YEAR = {2013},
EDITOR = {Hong, Hoon},
KEYWORDS = {skew polynomial rings, free algebras, gr{\"o}bner bases},
URL = {http://www.sciencedirect.com/science/article/pii/S0747717112000934},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}