@article{Berthe-Rigo/07,
AUTHOR = {Berth{\'e}, Val{\'e}rie and Rigo, Michel},
TITLE = {Odometers on regular languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {1},
PAGES = {1-31},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1215-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Shparlinski-Steinfeld/07,
AUTHOR = {Shparlinski, Igor E. and Steinfeld, Ron},
TITLE = {Chinese remaindering with multiplicative noise},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {1},
PAGES = {33-41},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1272-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Halava-Harju-Karhumaki/07,
AUTHOR = {Halava, Vesa and Harju, Tero and Karhum{\"a}ki, Juhani},
TITLE = {The structure of infinite solutions of marked and binary post correspondence problems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {1},
PAGES = {43-54},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1222-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Kaplan-Milo-Shabo/07,
AUTHOR = {Kaplan, Haim and Milo, Tova and Shabo, Ronen},
TITLE = {Compact labeling scheme for XML ancestor queries},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {1},
PAGES = {55-99},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1281-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Krause/07,
AUTHOR = {Krause, Matthias},
TITLE = {OBDD-based cryptanalysis of oblivious keystream generators},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {1},
PAGES = {101-121},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1282-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Tsin/07a,
AUTHOR = {Tsin, Yung H.},
TITLE = {A simple 3-edge-connected component algorithm},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {2},
PAGES = {125-142},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1269-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Barriere-Flocchini-Fraigniaud-Santoro/07,
AUTHOR = {Barri{\`e}re, Lali and Flocchini, Paola and Fraigniaud, Pierre and Santoro, Nicola},
TITLE = {Rendezvous and election of mobile agents: Impact of sense of direction},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {2},
PAGES = {143-162},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1223-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Drewes-Hogberg/07,
AUTHOR = {Drewes, Frank and H{\"o}gberg, Johanna},
TITLE = {Query learning of regular tree languages: How to avoid dead states},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {2},
PAGES = {163-185},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1233-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Xu-Xu/07a,
AUTHOR = {Xu, Guang and Xu, Jinhui},
TITLE = {Constant approximation algorithms for rectangle stabbing and related problems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {2},
PAGES = {187-204},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1273-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Grabner-Rigo/07,
AUTHOR = {Grabner, Peter J. and Rigo, Michel},
TITLE = {Distribution of additive functions with respect to numeration systems on regular languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {3},
PAGES = {205-223},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1231-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Markou-Pelc/07,
AUTHOR = {Markou, Euripides and Pelc, Andrzej},
TITLE = {Efficient exploration of faulty trees},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {3},
PAGES = {225-247},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1252-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Hofmeister-Schoning-Schuler-Watanabe/07,
AUTHOR = {Hofmeister, Thomas and Sch{\"o}ning, Uwe and Schuler, Rainer and Watanabe, Osamu},
TITLE = {Randomized algorithms for 3-SAT},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {3},
PAGES = {249-262},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1275-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Klima-Tesson-Therien/07,
AUTHOR = {Kl{\'{i}}ma, O. and Tesson, P. and Th{\'e}rien, D.},
TITLE = {Dichotomies in the complexity of solving systems of equations over finite semigroups},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {3},
PAGES = {263-297},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-005-1279-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Krebs-Lange-Reifferscheid/07,
AUTHOR = {Krebs, Andreas and Lange, Klaus-J{\"o}rn and Reifferscheid, Stephanie},
TITLE = {Characterizing TC$^0$ in terms of infinite groups},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {303-325},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1310-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Franceschini/07,
AUTHOR = {Franceschini, Gianni},
TITLE = {Sorting stably, in place, with $O(n \log n)$ comparisons and $O(n)$ moves},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {327-353},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1311-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Weber-Schwentick/07,
AUTHOR = {Weber, Volker and Schwentick, Thomas},
TITLE = {Dynamic complexity theory revisited},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {355-377},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1312-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Buhrman-Newman-Rohrig-de_Wolf/07,
AUTHOR = {Buhrman, Harry and Newman, Ilan and R{\"o}hrig, Hein and de Wolf, Ronald},
TITLE = {Robust polynomials and quantum algorithms},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {379-395},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1313-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Jeandel/07,
AUTHOR = {Jeandel, Emmanuel},
TITLE = {Topological automata},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {397-407},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1314-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Poupet/07,
AUTHOR = {Poupet, Victor},
TITLE = {Cellular automata: Real-time equivalence between one-dimensional neighborhoods},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {409-421},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1315-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Andelman-Azar-Sorani/07,
AUTHOR = {Andelman, Nir and Azar, Yossi and Sorani, Motti},
TITLE = {Truthful approximation mechanisms for scheduling selfish related machines},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {423-436},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1316-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Berwanger-Gradel-Lenzi/07,
AUTHOR = {Berwanger, Dietmar and Gr{\"a}del, Erich and Lenzi, Giacomo},
TITLE = {The variable hierarchy of the $\mu$-calculus is strict},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {437-466},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1317-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Doerr/07a,
AUTHOR = {Doerr, Benjamin},
TITLE = {Roundings respecting hard constraints},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {467-483},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1318-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Kavitha-Mehlhorn/07,
AUTHOR = {Kavitha, Telikepalli and Mehlhorn, Kurt},
TITLE = {Algorithms to compute minimum cycle basis in directed graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {485-505},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1319-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Burderi-Restivo/07,
AUTHOR = {Burderi, F. and Restivo, A.},
TITLE = {Varieties of codes and Kraft inequality},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {507-520},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1320-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Kunc/07,
AUTHOR = {Kunc, Michal},
TITLE = {The power of commuting with finite sets of words},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {521-551},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1321-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}
@article{Malajovich-Meer/07,
AUTHOR = {Malajovich, Gregorio and Meer, Klaus},
TITLE = {Computing minimal multi-homogeneous B{\'e}zout numbers is hard},
JOURNAL = {Theory of Computing Systems},
VOLUME = {40},
NUMBER = {4},
PAGES = {553-570},
YEAR = {2007},
URL = {http://dx.doi.org/10.1007/s00224-006-1322-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
}