@article{Hines/08,
AUTHOR = {Hines, Peter},
TITLE = {Machine semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {1-23},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Demri-Gascon/08,
AUTHOR = {Demri, St{\'{e}}phane and Gascon, R{\'{e}}gis},
TITLE = {Verification of qualitative $\mathbb{Z}$ constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {24-40},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Avellone-Fiorino-Moscato/08,
AUTHOR = {Avellone, Alessandro and Fiorino, Guido and Moscato, Ugo},
TITLE = {Optimization techniques for propositional intuitionistic logic and their implementation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {41-58},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Acciai-Boreale/08,
AUTHOR = {Acciai, Lucia and Boreale, Michele},
TITLE = {Responsiveness in process calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {59-93},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gambino-Garner/08,
AUTHOR = {Gambino, Nicola and Garner, Richard},
TITLE = {The identity type weak factorisation system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {94-109},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Liu-Lee/08,
AUTHOR = {Liu, Xiaojun and Lee, Edward A.},
TITLE = {CPO semantics of timed interactive actor networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {110-125},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Reisig/08,
AUTHOR = {Reisig, W.},
TITLE = {The computable kernel of Abstract State Machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {126-136},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cohen-Jeavons-Zivny/08,
AUTHOR = {Cohen, David A. and Jeavons, Peter G. and {\v{Z}}ivn{\'y}, Stanislav},
TITLE = {The expressive power of valued constraints: Hierarchies and collapses},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {1},
PAGES = {137-153},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bella-Eidelman-Gohberg-Olshevsky/08,
AUTHOR = {Bella, T. and Eidelman, Y. and Gohberg, I. and Olshevsky, V.},
TITLE = {Computations with quasiseparable polynomials and matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {158-179},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cuyt-Lee/08,
AUTHOR = {Cuyt, Annie and Lee, Wen-shin},
TITLE = {A new algorithm for sparse interpolation of multivariate polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {180-185},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Emiris-Tsigaridas/08,
AUTHOR = {Emiris, Ioannis Z. and Tsigaridas, Elias P.},
TITLE = {Real algebraic numbers and polynomial systems of small degree},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {186-199},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Li-Nie-Zhi/08,
AUTHOR = {Li, Bin and Nie, Jiawang and Zhi, Lihong},
TITLE = {Approximate GCDs of polynomials and sparse SOS relaxations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {200-210},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Leibon-Rockmore-Park-Taintor-Chirikjian/08,
AUTHOR = {Leibon, Gregory and Rockmore, Daniel N. and Park, Wooram and Taintor, Robert and Chirikjian, Gregory S.},
TITLE = {A fast Hermite transform},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {211-228},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mourrain-Trebuchet/08,
AUTHOR = {Mourrain, Bernard and Tr{\'{e}}buchet, Philippe},
TITLE = {Stable normal forms for polynomial system solving},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {229-240},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Normandin-Vajda-Valluri/08,
AUTHOR = {Normandin, Marc Eric and Vajda, Adam and Valluri, Sree Ram},
TITLE = {Gravitational wave signal templates, pattern recognition, and reciprocal Eulerian gamma functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {241-254},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Pan-Grady-Murphy-Qian-Rosholt-Ruslanov/08,
AUTHOR = {Pan, V.Y. and Grady, D. and Murphy, B. and Qian, G. and Rosholt, R.E. and Ruslanov, A.D.},
TITLE = {Schur aggregation for linear systems and determinants},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {255-268},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Peyrl-Parrilo/08,
AUTHOR = {Peyrl, Helfried and Parrilo, Pablo A.},
TITLE = {Computing sum of squares decompositions with rational coefficients},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {269-281},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sekigawa/08a,
AUTHOR = {Sekigawa, Hiroshi},
TITLE = {The nearest polynomial with a zero in a given domain},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {282-291},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Sharma/08,
AUTHOR = {Sharma, Vikram},
TITLE = {Complexity of real root isolation using continued fractions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {292-310},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Shirayanagi-Sekigawa/08,
AUTHOR = {Shirayanagi, Kiyoshi and Sekigawa, Hiroshi},
TITLE = {A new Gr{\"{o}}bner basis conversion method based on stabilization techniques},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {2},
PAGES = {311-317},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Zeng/08,
AUTHOR = {Zeng, Zhonggang},
TITLE = {A numerical elimination method for polynomial computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {318-331},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fisher-Sieben/08,
AUTHOR = {Fisher, Edgar and Sieben, N{\'{a}}ndor},
TITLE = {Rectangular polyomino set weak (1, 2)-achievement games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {333-340},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ganchev-Narayanan-Shende/08,
AUTHOR = {Ganchev, Antoniy and Narayanan, Lata and Shende, Sunil},
TITLE = {Games to induce specified equilibria},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {341-350},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cieliebak-Hall-Jacob-Nunkesser/08,
AUTHOR = {Cieliebak, Mark and Hall, Alexander and Jacob, Riko and Nunkesser, Marc},
TITLE = {Sequential vector packing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {351-363},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abbasi-Sheikh/08a,
AUTHOR = {Abbasi, Sarmad and Sheikh, Numan},
TITLE = {Complexity of question/answer games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {364-381},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Baril-Pallo/08,
AUTHOR = {Baril, J.L. and Pallo, J.M.},
TITLE = {The pruning-grafting lattice of binary trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {382-393},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Elzinga-Rahmann-Wang/08,
AUTHOR = {Elzinga, Cees and Rahmann, Sven and Wang, Hui},
TITLE = {Algorithms for subsequence combinatorics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {394-404},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Yan-Zhang/08a,
AUTHOR = {Yan, Weigen and Zhang, Fuji},
TITLE = {A quadratic identity for the number of perfect matchings of plane graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {405-410},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Deckelbaum/08,
AUTHOR = {Deckelbaum, Alan},
TITLE = {Simulating one-reversal multicounter machines by partially blind multihead finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {411-416},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gerede-Ibarra-Ravikumar-Su/08,
AUTHOR = {Gerede, Cagdas E. and Ibarra, Oscar H. and Ravikumar, Bala and Su, Jianwen},
TITLE = {Minimum-cost delegation in service composition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {417-431},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Currie-Visentin/08,
AUTHOR = {Currie, James D. and Visentin, Terry I.},
TITLE = {Long binary patterns are Abelian 2-avoidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {432-437},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Amir-Hartman-Kapah-Shalom-Tsur/08,
AUTHOR = {Amir, Amihood and Hartman, Tzvika and Kapah, Oren and Shalom, B. Riva and Tsur, Dekel},
TITLE = {Generalized LCS},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {438-449},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Tsai-Fu-Chen/08,
AUTHOR = {Tsai, Ping-Ying and Fu, Jung-Sheng and Chen, Gen-Huey},
TITLE = {Edge-fault-tolerant Hamiltonicity of pancake graphs under the conditional fault model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {450-460},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kassel-Reutenauer/08,
AUTHOR = {Kassel, Christian and Reutenauer, Christophe},
TITLE = {A palindromization map for the free group},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {461-470},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jukna/08,
AUTHOR = {Jukna, Stasys},
TITLE = {Expanders and time-restricted branching programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {471-476},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Shen-Lou-Liang-Luo/08,
AUTHOR = {Shen, Xiaojun and Lou, Jianyu and Liang, Weifa and Luo, Junzhou},
TITLE = {Deadline guaranteed packet scheduling for overloaded traffic in input-queued switches},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {477-485},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bille-Farach-Colton/08,
AUTHOR = {Bille, Philip and Farach-Colton, Martin},
TITLE = {Fast and compact regular expression matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {486-496},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Abouelaoualim-Das-Faria-Manoussakis-Martinhon-Saad/08,
AUTHOR = {Abouelaoualim, A. and Das, K.Ch. and Faria, L. and Manoussakis, Y. and Martinhon, C. and Saad, R.},
TITLE = {Paths and trails in edge-colored graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {497-510},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Berenbrink-Friedetzky-Hu-Martin/08,
AUTHOR = {Berenbrink, Petra and Friedetzky, Tom and Hu, Zengjian and Martin, Russell},
TITLE = {On weighted balls-into-bins games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {511-520},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Chan-Lam-Wong/08,
AUTHOR = {Chan, Joseph Wun-Tat and Lam, Tak-Wah and Wong, Prudence W.H.},
TITLE = {Dynamic bin packing of unit fractions items},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {521-529},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fuster-Sabater-Caballero-Gil/08,
AUTHOR = {F{\'{u}}ster-Sabater, A. and Caballero-Gil, P.},
TITLE = {Strategic attack on the shrinking generator},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {530-536},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Silva/08,
AUTHOR = {Silva, Pedro V.},
TITLE = {Rational subsets of partially reversible monoids},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {537-548},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Leroux/08,
AUTHOR = {Leroux, J{\'{e}}r{\^o}me},
TITLE = {Structural Presburger digit vector automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {549-556},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jeandel-Ollinger/08,
AUTHOR = {Jeandel, Emmanuel and Ollinger, Nicolas},
TITLE = {Playing with Conway's problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {557-564},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Asveld/08,
AUTHOR = {Asveld, Peter R.J.},
TITLE = {Generating all permutations by context-free grammars in Greibach normal form},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {565-577},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Glen-Leve-Richomme/08,
AUTHOR = {Glen, Amy and Lev{\'{e}}, Florence and Richomme, Gw{\'{e}}na{\"e}l},
TITLE = {Quasiperiodic and Lyndon Episturmian words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {578-600},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Berry-Dahlhaus-Heggernes-Simonet/08,
AUTHOR = {Berry, Anne and Dahlhaus, Elias and Heggernes, Pinar and Simonet, Genevi{\`{e}}ve},
TITLE = {Sequential and parallel triangulating algorithms for Elimination Game and new insights on Minimum Degree},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {601-616},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jansen-Regan/08,
AUTHOR = {Jansen, Maurice J. and Regan, Kenneth W.},
TITLE = {A nonlinear lower bound for constant depth arithmetical circuits via the discrete uncertainty principle},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {409},
NUMBER = {3},
PAGES = {617-622},
YEAR = {2008},
EDITOR = {Ausiello, G. and Sannella, D.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}