@article{Ahn-Alt-Asano-Bae-Brass-Cheong-Knauer-Na-Shin-Wolff/09,
AUTHOR = {Ahn, Hee-Kap and Alt, Helmut and Asano, Tetsuo and Bae, Sang Won and Brass, Peter and Cheong, Otfried and Knauer, Christian and Na, Hyeon-Suk and Shin, Chan-Su and Wolff, Alexander},
TITLE = {Constructing optimal highways},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {3-23},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006425},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Gebauer-Okamoto/09,
AUTHOR = {Gebauer, Heidi and Okamoto, Yoshio},
TITLE = {Fast exponential-time algorithms for the forest counting and the Tutte polynomial computation in graph classes},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {25-44},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006437},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Hung-Ting/09,
AUTHOR = {Hung, Regant Y.S. and Ting, H.F.},
TITLE = {A near-optimal broadcasting protocol for mobile video-on-demand},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {45-55},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006449},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Dawson-Gore/09,
AUTHOR = {Dawson, Jeremy E. and Gor{\'{e}}, Rajeev},
TITLE = {Termination of abstract reduction systems},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {57-82},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006450},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Morris-Altenkirch-Ghani/09,
AUTHOR = {Morris, Peter and Altenkirch, Thorsten and Ghani, Neil},
TITLE = {A universe of strictly positive families},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {83-107},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006462},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Vergnaud/09,
AUTHOR = {Vergnaud, Damien},
TITLE = {New extensions of pairing-based signatures into universal (multi) designated verifier signatures},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {109-133},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006474},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Gudmundsson-Smid/09,
AUTHOR = {Gudmundsson, Joachim and Smid, Michiel},
TITLE = {On spanners of geometric graphs},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {135-149},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006486},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Serbanuta/09,
AUTHOR = {{\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}, Virgil Nicolae},
TITLE = {On Parikh Matrices, ambiguity, and prints},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {151-165},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006498},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Bein-Larmore-Reischuk/09,
AUTHOR = {Bein, Wolfgang and Larmore, Lawrence L. and Reischuk, R{\"{u}}diger},
TITLE = {Knowledge states for the caching problem in shared memory multiprocessor systems},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {167-183},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006504},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Messerschmidt-Otto/09,
AUTHOR = {Messerschmidt, Hartmut and Otto, Friedrich},
TITLE = {On deterministic CD-systems of restarting automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {1},
PAGES = {185-209},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006516},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Subramanian-Huey-Nagar/09,
AUTHOR = {Subramanian, K.G. and Huey, Ang Miin and Nagar, Atulya K.},
TITLE = {On Parikh Matrices},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {211-219},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006528},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Stuber-Vogler-Fulop/09,
AUTHOR = {St{\"{u}}ber, Torsten and Vogler, Heiko and F{\"{u}}l{\"{o}}p, Zolt{\'{a}}n},
TITLE = {Decomposition of weighted multioperator tree automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {221-245},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S012905410900653X},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Shakhlevich-Shioura-Strusevich/09,
AUTHOR = {Shakhlevich, Natalia V. and Shioura, Akiyoshi and Strusevich, Vitaly A.},
TITLE = {Single machine scheduling with controllable processing times by submodular optimization},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {247-269},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006541},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Brijder-Hoogeboom-Rozenberg/09,
AUTHOR = {Brijder, Robert and Hoogeboom, Hendrik Jan and Rozenberg, Grzegorz},
TITLE = {Reduction graphs from overlap graphs for gene assembly in ciliates},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {271-291},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006553},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Lazar-Csuhaj-Varju-Lorincz-Vaszil/09,
AUTHOR = {L{\'{a}}z{\'{a}}r, Katalin Anna and Csuhaj-Varj{\'{u}}, Erzs{\'{e}}bet and L{\"o}rincz, Andr{\'{a}}s and Vaszil, Gy{\"{o}}rgy},
TITLE = {Dynamically formed clusters of agents in ECO-grammar systems},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {293-311},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006565},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Chang-Lyuu-Ti/09,
AUTHOR = {Chang, Ching-Lueh and Lyuu, Yuh-Dauh and Ti, Yen-Wu},
TITLE = {Testing embeddability between metric spaces},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {313-329},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006577},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Masopust/09,
AUTHOR = {Masopust, Tom{\'{a}}{\v{s}}},
TITLE = {On the terminating derivation mode in cooperating distributed grammar systems with forbidding components},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {331-340},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006589},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Zajicek/09,
AUTHOR = {Zaj{\'{i}}{\v{c}}ek, Ond{\v{r}}ej},
TITLE = {A note on scheduling parallel unit jobs on hypercubes},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {341-349},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006590},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Lee-Hwang-Tzeng/09,
AUTHOR = {Lee, Cheng-Chi and Hwang, Min-Shiang and Tzeng, Shiang-Feng},
TITLE = {A new convertible authenticated encryption scheme based on the ElGamal Cryptosystem},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {351-359},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006607},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Chen-Healy-Wang-Xu/09,
AUTHOR = {Chen, Danny Z. and Healy, Mark A. and Wang, Chao and Xu, Bin},
TITLE = {Geometric algorithms for the constrained 1-D $k$-means clustering problems and IMRT applications},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {2},
PAGES = {361-377},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006619},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Ciobanu-Gontineac/09,
AUTHOR = {Ciobanu, Gabriel and Gontineac, Mihai},
TITLE = {Encodings of multisets},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {381-393},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006632},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Lucanu/09,
AUTHOR = {Lucanu, Dorel},
TITLE = {Rewriting logic-based semantics of $P$ systems and the maximal concurrency},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {395-410},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006644},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Hinze-Fassler-Lenser-Dittrich/09,
AUTHOR = {Hinze, Thomas and Fassler, Raffael and Lenser, Thorsten and Dittrich, Peter},
TITLE = {Register machine computations on binary numbers by oscillating and catalytic chemical reactions modelled using mass-action kinetics},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {411-426},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006656},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Romero-Campero-Twycross-Camara-Bennett-Gheorghe-Krasnogor/09,
AUTHOR = {Romero-Campero, Francisco J. and Twycross, Jamie and C{\'{a}}mara, Miguel and Bennett, Malcolm and Gheorghe, Marian and Krasnogor, Natalio},
TITLE = {Modular assembly of cell systems biology models using $P$ systems},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {427-442},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006668},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Heuberger-Prodinger/09,
AUTHOR = {Heuberger, Clemens and Prodinger, Helmut},
TITLE = {Analysis of complements in multi-exponentiation algorithms using signed digit representations},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {443-453},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S012905410900667X},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Rogojin/09,
AUTHOR = {Rogojin, Vladimir},
TITLE = {Successful elementary gene assembly strategies},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {455-477},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006681},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Rajasekaran-Kundeti/09,
AUTHOR = {Rajasekaran, Sanguthevar and Kundeti, Vamsi},
TITLE = {Spectrum based techniques for graph isomorphism},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {479-499},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006693},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Glasser-Selman-Zhang/09,
AUTHOR = {Gla{\ss}er, Christian and Selman, Alan L. and Zhang, Liyu},
TITLE = {The informational content of canonical disjoint $NP$ pairs},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {501-522},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S012905410900670X},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Sprojcar/09,
AUTHOR = {{\v{S}}projcar, Josef},
TITLE = {Proposal of a semiformal model of anonymous communication},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {523-548},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006711},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Ahrabian-Nowzari-Dalini-Zare-Mirakabad/09,
AUTHOR = {Ahrabian, H. and Nowzari-Dalini, A. and Zare-Mirakabad, F.},
TITLE = {A constant time algorithm for DNA add},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {3},
PAGES = {549-558},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006723},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Holzer-Kutrib/09,
AUTHOR = {Holzer, Markus and Kutrib, Martin},
TITLE = {Nondeterministic finite automata --- Recent results on the descriptional and computational complexity},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {563-580},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006747},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Yen/09,
AUTHOR = {Yen, Hsu-Chun},
TITLE = {Path decomposition and semilinearity of Petri nets},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {581-596},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006759},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Dixon-Egecioglu-Sherwood/09,
AUTHOR = {Dixon, Ryan and E{\v{g}}ecio{\v{g}}lu, {\"{O}}mer and Sherwood, Timothy},
TITLE = {Analysis of bit-split languages for packet scanning and experiments with Wildcard matching},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {597-612},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006760},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Allauzen-Mohri/09,
AUTHOR = {Allauzen, Cyril and Mohri, Mehryar},
TITLE = {$N$-way composition of weighted finite-state transducers},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {613-627},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006772},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Pighizzini/09,
AUTHOR = {Pighizzini, Giovanni},
TITLE = {Deterministic pushdown automata and unary languages},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {629-645},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006784},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Cantin-Legay-Wolper/09,
AUTHOR = {Cantin, Fran{\c{c}}ois and Legay, Axel and Wolper, Pierre},
TITLE = {Computing convex hulls by automata iteration},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {647-667},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006796},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Almeida-Moreira-Reis/09,
AUTHOR = {Almeida, Marco and Moreira, Nelma and Reis, Rog{\'{e}}rio},
TITLE = {Antimirov and Mosses's rewrite system revisited},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {669-684},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006802},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Abdulla-Bouajjani-Holik-Kaati-Vojnar/09,
AUTHOR = {Abdulla, Parosh Aziz and Bouajjani, Ahmed and Hol{\'{i}}k, Luk{\'{a}}{\v{s}} and Kaati, Lisa and Vojnar, Tom{\'{a}}{\v{s}}},
TITLE = {Composed bisimulation for tree automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {685-700},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006814},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Hempel-Kimmritz/09,
AUTHOR = {Hempel, Harald and Kimmritz, Madlen},
TITLE = {Aspects of persistent computations},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {701-715},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006826},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Matsumoto-Hagio-Takeda/09,
AUTHOR = {Matsumoto, Tetsuya and Hagio, Kazuhito and Takeda, Masayuki},
TITLE = {A run-time efficient implementation of compressed pattern matching automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {717-733},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006838},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Badr/09,
AUTHOR = {Badr, Andrew},
TITLE = {Hyper-minimization in $O(n^2)$},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {735-746},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S012905410900684X},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Tsay-Wang/09,
AUTHOR = {Tsay, Yih-Kuen and Wang, Bow-Yaw},
TITLE = {Automated compositional reasoning of intuitionistically closed regular properties},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {747-762},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006851},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Champarnaud-Dubernard-Jeanne/09,
AUTHOR = {Champarnaud, Jean-Marc and Dubernard, Jean Philippe and Jeanne, Hadrien},
TITLE = {An efficient algorithm to test whether a binary and prolongeable regular language is geometrical},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {4},
PAGES = {763-774},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006863},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Abdulla-Delzanno-Henda-Rezine/09,
AUTHOR = {Abdulla, Parosh Aziz and Delzanno, Giorgio and Henda, Noomene Ben and Rezine, Ahmed},
TITLE = {Monotonic abstraction: On efficient verification of parameterized systems},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {779-801},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006887},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Karhumaki/09,
AUTHOR = {Karhum{\"{a}}ki, Juhani},
TITLE = {On the power of cooperating morphisms via reachability problems},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {803-818},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006899},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Andre-Chatain-Fribourg-Encrenaz/09,
AUTHOR = {Andr{\'{e}}, {\'E}tienne and Chatain, Thomas and Fribourg, Laurent and Encrenaz, Emmanuelle},
TITLE = {An inverse method for parametric timed automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {819-836},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006905},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Boichut-Courbis-Heam-Kouchnarenko/09,
AUTHOR = {Boichut, Yohan and Courbis, Romeo and Heam, Pierre-Cyrille and Kouchnarenko, Olga},
TITLE = {Handling non left-linear rules when completing tree automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {837-849},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006917},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Felscher-Thomas/09,
AUTHOR = {Felscher, Ingo and Thomas, Wolfgang},
TITLE = {Compositionality and reachability with conditions on path lengths},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {851-868},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006929},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Groote-Ploeger/09,
AUTHOR = {Groote, Jan Friso and Ploeger, Bas},
TITLE = {Switching graphs},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {869-886},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006930},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Martyugin/09,
AUTHOR = {Martyugin, Pavel},
TITLE = {The length of subset reachability in nondeterministic automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {887-900},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006942},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Meier-Thomas-Vollmer-Mundhenk/09,
AUTHOR = {Meier, Arne and Thomas, Michael and Vollmer, Heribert and Mundhenk, Martin},
TITLE = {The complexity of satisfiability for fragments of CTL and CTL*},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {901-918},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006954},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Nicolas-Pritykin/09,
AUTHOR = {Nicolas, Francois and Pritykin, Yuri},
TITLE = {On uniformly recurrent morphic sequences},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {919-940},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006966},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Cvetkovic-Davidovic/09,
AUTHOR = {Cvetkovi{\'c}, Drago{\v{s}} and Davidovi{\'c}, Tatjana},
TITLE = {Multiprocessor interconnection networks with small tightness},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {5},
PAGES = {941-963},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006978},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Faro-Lecroq/09,
AUTHOR = {Faro, Simone and Lecroq, Thierry},
TITLE = {Efficient variants of the backward-oracle-matching algorithm},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {967-984},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109006991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Smyth-Wang/09,
AUTHOR = {Smyth, W.F. and Wang, Shu},
TITLE = {An adaptive hybrid pattern-matching algorithm on indeterminate strings},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {985-1004},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007005},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Baturo-Piatkowski-Rytter/09,
AUTHOR = {Baturo, Pawe{\l} and Piatkowski, Marcin and Rytter, Wojciech},
TITLE = {Usefulness of directed acyclic subword graphs in problems related to standard Sturmian words},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1005-1023},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007017},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Galle-Peterlongo-Coste/09,
AUTHOR = {Gall{\'{e}}, Matthias and Peterlongo, Pierre and Coste, Fran{\c{c}}ois},
TITLE = {In-place update of suffix array while recoding words},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1025-1045},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007029},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Christodoulakis-Brey/09,
AUTHOR = {Christodoulakis, Manolis and Brey, Gerhard},
TITLE = {Edit distance with combinations and splits and its applications in OCR name matching},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1047-1068},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007030},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Coetser-Kourie-Watson/09,
AUTHOR = {Coetser, Wikus and Kourie, Derrick G. and Watson, Bruce W.},
TITLE = {On regular expression hashing to reduce FA size},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1069-1086},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007042},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Cantone-Cristofaro-Faro/09,
AUTHOR = {Cantone, Domenico and Cristofaro, Salvatore and Faro, Simone},
TITLE = {New efficient bit-parallel algorithms for the $(\delta, \alpha)$-matching problem with applications in music information retrieval},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1087-1108},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007054},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Lin-Jiang-Adjeroh/09,
AUTHOR = {Lin, Jie and Jiang, Yue and Adjeroh, Don},
TITLE = {The virtual suffix tree},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1109-1133},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007066},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Kusano-Matsubara-Ishino-Shinohara/09,
AUTHOR = {Kusano, Kazuhiko and Matsubara, Wataru and Ishino, Akira and Shinohara, Ayumi},
TITLE = {Average value of sum of exponents of runs in a string},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1135-1146},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S0129054109007078},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Huo-Leung-Wang/09,
AUTHOR = {Huo, Yumei and Leung, Joseph Y.-T. and Wang, Xin},
TITLE = {Preemptive scheduling algorithms with nested processing set restriction},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {20},
NUMBER = {6},
PAGES = {1147-1160},
YEAR = {2009},
EDITOR = {Ibarra, Oscar H.},
URL = {http://dx.doi.org/10.1142/S012905410900708X},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}