@article{Moriya-Otto/10, AUTHOR = {Moriya, Etsuro and Otto, Friedrich}, TITLE = {On alternating phrase-structure grammars}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {1}, PAGES = {1-25}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007106}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Jansen-Solis-Oba/10, AUTHOR = {Jansen, Klaus and Solis-Oba, Roberto}, TITLE = {Approximation schemes for scheduling jobs with chain precedence constraints}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {1}, PAGES = {27-49}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007118}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Peng-Yang-Tseng-Huang/10, AUTHOR = {Peng, Yung-Hsing and Yang, Chang-Biau and Tseng, Kuo-Tsung and Huang, Kuo-Si}, TITLE = {An algorithm and applications to sequence alignment with weighted constraints}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {1}, PAGES = {51-59}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S012905411000712X}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Chang-Lyuu/10, AUTHOR = {Chang, Ching-Lueh and Lyuu, Yuh-Dauh}, TITLE = {Efficient testing of forecasts}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {1}, PAGES = {61-72}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007131}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Yang-Chang-Tang-Wang/10, AUTHOR = {Yang, Jinn-Shyong and Chang, Jou-Ming and Tang, Shyue-Ming and Wang, Yue-Li}, TITLE = {Constructing multiple independent spanning trees on recursive circulant graphs $\mbox{G}(2^{\mbox{m}}, 2)$}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {1}, PAGES = {73-90}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007143}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Salomaa-Yu/10, AUTHOR = {Salomaa, Arto and Yu, Sheng}, TITLE = {Subword occurrences, Parikh matrices and Lyndon images}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {1}, PAGES = {91-111}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007155}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Huang-Wang/10, AUTHOR = {Huang, Geng-Dian and Wang, Bow-Yaw}, TITLE = {Complete SAT-based model checking for context-free processes}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {2}, PAGES = {115-134}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007179}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Geeraerts-Raskin-van_Begin/10, AUTHOR = {Geeraerts, Gilles and Raskin, Jean-Fran{\c{c}}ois and van Begin, Laurent}, TITLE = {On the efficient computation of the minimal coverability set of Petri nets}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {2}, PAGES = {135-165}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007180}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Kupferman-Lustig/10, AUTHOR = {Kupferman, Orna and Lustig, Yoad}, TITLE = {Latticed simulation relations and games}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {2}, PAGES = {167-189}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007192}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Little-Walter-Jones-Myers-Sen/10, AUTHOR = {Little, Scott and Walter, David and Jones, Kevin and Myers, Chris and Sen, Alper}, TITLE = {Analog/mixed-signal circuit verification using models generated from simulation traces}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {2}, PAGES = {191-210}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007209}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Elkind-Genest-Peled-Spoletini/10, AUTHOR = {Elkind, Edith and Genest, Blaise and Peled, Doron and Spoletini, Paola}, TITLE = {Quantifying the discord: Order discrepancies in message sequence charts}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {2}, PAGES = {211-233}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007210}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Recalde-Haddad-Silva/10, AUTHOR = {Recalde, Laura and Haddad, Serge and Silva, Manuel}, TITLE = {Continuous Petri nets: Expressive power and decidability issues}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {2}, PAGES = {235-256}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007222}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Maletti-Tirnauca/10, AUTHOR = {Maletti, Andreas and T{\^{i}}rn{\u{a}}uc{\u{a}}, C{\u{a}}t{\u{a}}lin Ionu{\c{t}}}, TITLE = {Properties of quasi-relabeling tree bimorphisms}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {257-276}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007234}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Friedmann/10, AUTHOR = {Friedmann, Oliver}, TITLE = {The Stevens-Stirling-Algorithm for solving parity games locally requires exponential time}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {277-287}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007246}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Schnoor/10, AUTHOR = {Schnoor, Henning}, TITLE = {The complexity of model checking for Boolean formulas}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {289-309}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007258}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Aytac-Odabas/10, AUTHOR = {Aytac, Aysun and Odabas, Zeynep Nihan}, TITLE = {Computing the rupture degree in composite graphs}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {311-319}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S012905411000726X}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Ti-Chang-Lyuu-Shen/10, AUTHOR = {Ti, Yen-Wu and Chang, Ching-Lueh and Lyuu, Yuh-Dauh and Shen, Alexander}, TITLE = {Sets of $k$-independent strings}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {321-327}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007271}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Paun-Naksinehaboon-Nassar-Leangsuksun-Scott-Taerat/10, AUTHOR = {Paun, Mihaela and Naksinehaboon, Nichamon and Nassar, Raja and Leangsuksun, Chokchai and Scott, Stephen L. and Taerat, Narate}, TITLE = {Incremental checkpoint schemes for Weibull failure distribution}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {329-344}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007283}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Ehrenfeucht-Main-Rozenberg/10, AUTHOR = {Ehrenfeucht, Andrzej and Main, Michael and Rozenberg, Grzegorz}, TITLE = {Combinatorics of life and death for reaction systems}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {345-356}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007295}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Kellerer-Strusevich/10a, AUTHOR = {Kellerer, Hans and Strusevich, Vitaly A.}, TITLE = {Minimizing total weighted earliness-tardiness on a single machine around a small common due date: An FPTAS using quadratic knapsack}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {357-383}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007301}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Forsell/10, AUTHOR = {Forsell, Martti}, TITLE = {On the performance and cost of some PRAM models on CMP hardware}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {387-404}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007325}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Ito-Nakano/10, AUTHOR = {Ito, Yasuaki and Nakano, Koji}, TITLE = {Low-latency connected component labeling using an FPGA}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {405-425}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007337}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Ando-Ono-Sadakane-Yamashita/10, AUTHOR = {Ando, Ei and Ono, Hirotaka and Sadakane, Kunihiko and Yamashita, Masafumi}, TITLE = {The space complexity of leader election in anonymous networks}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {427-440}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007349}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Bruda-Zhang/10, AUTHOR = {Bruda, Stefan D. and Zhang, Yuanqiao}, TITLE = {Collapsing the hierarchy of parallel computational models}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {441-457}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007350}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Kamei-Kakugawa/10, AUTHOR = {Kamei, Sayaka and Kakugawa, Hirotsugu}, TITLE = {A self-stabilizing distributed approximation algorithm for the minimum connected dominating set}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {3}, PAGES = {459-476}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007362}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Ada/10, AUTHOR = {Ada, Anil}, TITLE = {On the non-deterministic communication complexity of regular languages}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {479-493}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007386}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Bassino-Giambruno-Nicaud/10, AUTHOR = {Bassino, Fr{\'{e}}d{\'{e}}rique and Giambruno, Laura and Nicaud, Cyril}, TITLE = {The average state complexity of rational operations on finite languages}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {495-516}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007398}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Klima-Polak/10, AUTHOR = {Kl{\'{i}}ma, Ond{\v{r}}ej and Pol{\'{a}}k, Libor}, TITLE = {Hierarchies of piecewise testable languages}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {517-533}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007404}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Crochemore-Fazekas-Iliopoulos-Jayasekera/10, AUTHOR = {Crochemore, Maxime and Fazekas, Szil{\'{a}}rd Zsolt and Iliopoulos, Costas S. and Jayasekera, Inuka}, TITLE = {Number of occurrences of powers in strings}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {535-547}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007416}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Csuhaj-Varju-Dassow-Vaszil/10, AUTHOR = {Csuhaj-Varj{\'{u}}, Erzs{\'{e}}bet and Dassow, J{\"{u}}rgen and Vaszil, Gy{\"{o}}rgy}, TITLE = {Variants of competence-based derivations in CD grammar systems}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {549-569}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007428}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Filiot-Talbot-Tison/10, AUTHOR = {Filiot, Emmanuel and Talbot, Jean-Marc and Tison, Sophie}, TITLE = {Tree automata with global constraints}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {571-596}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S012905411000743X}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Gawrychowski-Krieger-Rampersad-Shallit/10, AUTHOR = {Gawrychowski, Pawe{\l} and Krieger, Dalia and Rampersad, Narad and Shallit, Jeffrey}, TITLE = {Finding the growth rate of a regular or context-free language in polynomial time}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {597-618}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007441}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Glockler/10, AUTHOR = {Gl{\"{o}}ckler, Jens}, TITLE = {A taxonomy of deterministic forgetting automata}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {619-631}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007453}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Holub-Nowotka/10, AUTHOR = {Holub, {\v{S}}t{\v{e}}p{\'{a}}n and Nowotka, Dirk}, TITLE = {On the relation between periodicity and unbordered factors of finite words}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {633-645}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007465}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Mantaci-Mantaci-Restivo/10, AUTHOR = {Mantaci, Roberto and Mantaci, Sabrina and Restivo, Antonio}, TITLE = {Balance properties and distribution of squares in circular words}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {647-664}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007477}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Morin/10, AUTHOR = {Morin, R{\'{e}}mi}, TITLE = {Unambiguous shared-memory systems}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {4}, PAGES = {665-685}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007489}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Afonin-Khazova/10, AUTHOR = {Afonin, Sergey and Khazova, Elena}, TITLE = {On the structure of finitely generated semigroups of unary regular languages}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {689-704}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007507}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Blanchet-Sadri-Oey-Rankin/10, AUTHOR = {Blanchet-Sadri, F. and Oey, Taktin and Rankin, Timothy D.}, TITLE = {Fine and Wilf's theorem for partial words with arbitrarily many weak periods}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {705-722}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007519}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Dassow-Stiebe-Truthe/10, AUTHOR = {Dassow, J{\"{u}}rgen and Stiebe, Ralf and Truthe, Bianca}, TITLE = {Generative capacity of subregularly tree controlled grammars}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {723-740}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007520}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Kaminski-Zeitlin/10, AUTHOR = {Kaminski, Michael and Zeitlin, Daniel}, TITLE = {Finite-memory automata with non-deterministic reassignment}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {741-760}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007532}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Klima-Polak/10a, AUTHOR = {Kl{\'{i}}ma, Ond{\v{r}}ej and Pol{\'{a}}k, Libor}, TITLE = {Literally idempotent languages and their varieties --- Two letter case}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {761-780}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007544}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Kutrib-Messerschmidt-Otto/10, AUTHOR = {Kutrib, Martin and Messerschmidt, Hartmut and Otto, Friedrich}, TITLE = {On stateless two-pushdown automata and restarting automata}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {781-798}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007556}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Lehtinen-Okhotin/10, AUTHOR = {Lehtinen, Tommi and Okhotin, Alexander}, TITLE = {Boolean grammars and GSM mappings}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {799-815}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007568}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Lohrey/10, AUTHOR = {Lohrey, Markus}, TITLE = {Compressed membership problems for regular expressions and hierarchical automata}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {817-841}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S012905411000757X}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Malcher-Mereghetti-Palano/10, AUTHOR = {Malcher, Andreas and Mereghetti, Carlo and Palano, Beatrice}, TITLE = {Sublinearly space bounded iterative arrays}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {843-858}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007581}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Manea-Mitrana-Yokomori/10, AUTHOR = {Manea, Florin and Mitrana, Victor and Yokomori, Takashi}, TITLE = {Some remarks on the hairpin completion}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {5}, PAGES = {859-872}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007593}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Chin-Ting-Zhang/10a, AUTHOR = {Chin, Francis Y.L. and Ting, Hing-Fung and Zhang, Yong}, TITLE = {One-space bounded algorithms for two-dimensional bin packing}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {875-891}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007611}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Adamaszek-Czumaj-Lingas/10, AUTHOR = {Adamaszek, Anna and Czumaj, Artur and Lingas, Andrzej}, TITLE = {PTAS for $k$-tour cover problem on the plane for moderately large values of $k$}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {893-904}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007623}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Karpinski-Rucinski-Szymanska/10, AUTHOR = {Karpi{\'n}ski, Marek and Ruci{\'n}ski, Andrzej and Szyma{\'n}ska, Edyta}, TITLE = {Computational complexity of the perfect matching problem in hypergraphs with subcritical density}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {905-924}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007635}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Hsu-Chen-Chao/10, AUTHOR = {Hsu, Ping-Hui and Chen, Kuan-Yu and Chao, Kun-Mao}, TITLE = {Finding all approximate gapped palindromes}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {925-939}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007647}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Yamakami/10, AUTHOR = {Yamakami, Tomoyuki}, TITLE = {The roles of advice to one-tape linear-time Turing machines and finite automata}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {941-962}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007659}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Bell-Potapov/10, AUTHOR = {Bell, Paul C. and Potapov, Igor}, TITLE = {On the undecidability of the identity correspondence problem and its applications for word and matrix semigroups}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {963-978}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007660}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Lee-Chang-Ko/10, AUTHOR = {Lee, Cheng-Chi and Chang, Rui-Xiang and Ko, Hsien-Ju}, TITLE = {Improving two novel three-party encrypted key exchange protocols with perfect forward secrecy}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {979-991}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007672}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Atanasiu/10, AUTHOR = {Atanasiu, Radu-Florian}, TITLE = {Parikh matrix mapping and languages}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {993-1004}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007684}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, NOTE = {see Erratum in International Journal of Foundations of Computer Science, Vol. 22, 2011, No. 1, 273-273}, } @article{Xu-Chen-Zeng-Li/10, AUTHOR = {Xu, Ming and Chen, Liangyu and Zeng, Zhenbing and Li, Zhi-Bin}, TITLE = {Termination analysis of linear loops}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {1005-1019}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007696}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Atanasiu/10a, AUTHOR = {Atanasiu, Adrian}, TITLE = {Parikh matrices, amiability and Istrail morphism}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {1021-1033}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007702}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Apostolico-Tagliacollo/10, AUTHOR = {Apostolico, Alberto and Tagliacollo, Claudia}, TITLE = {Optimal extraction of irredundant motif bases}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {1035-1047}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007714}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Ren-Gu-Wang-Zhang/10, AUTHOR = {Ren, Yanli and Gu, Dawu and Wang, Shuozhong and Zhang, Xinpengu}, TITLE = {Hierarchical identity-based proxy re-encryption without random oracles}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {1049-1063}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007726}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Karki/10, AUTHOR = {K{\"{a}}rki, Tomi}, TITLE = {A new proof of the three-squares lemma for partial words with one hole}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {1065-1071}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007738}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Zhou-Huang-Yin-Zhou/10, AUTHOR = {Zhou, Junping and Huang, Ping and Yin, Minghao and Zhou, Chunguang}, TITLE = {Phase transitions of EXPSPACE-complete problems}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {1073-1088}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S012905411000774X}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, } @article{Kundeti-Rajasekaran/10, AUTHOR = {Kundeti, Vamsi and Rajasekaran, Sanguthevar}, TITLE = {On the hardness of the border length minimization problem on a rectangular array}, JOURNAL = {International Journal of Foundations of Computer Science}, VOLUME = {21}, NUMBER = {6}, PAGES = {1089-1100}, YEAR = {2010}, EDITOR = {Ibarra, Oscar H.}, URL = {http://dx.doi.org/10.1142/S0129054110007751}, PUBLISHER = {World Scientific Publishing Co.}, ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore}, }