@article{Li-Tsai/11,
AUTHOR = {Li, Zheng-Zhu and Tsai, Y.S.},
TITLE = {Some properties of the disjunctive languages contained in $Q$},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {1},
PAGES = {1-18},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/9qq8gnm772r06582/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Honkala/11,
AUTHOR = {Honkala, Juha},
TITLE = {A characterization of rational D0L power series},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {1},
PAGES = {19-24},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/f79j24n442662116/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Blanchet-Sadri-Mercas-Simmons-Weissenstein/11,
AUTHOR = {Blanchet-Sadri, F. and Merca{\c{s}}, Robert and Simmons, Sean and Weissenstein, Eric},
TITLE = {Avoidable binary patterns in partial words},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {1},
PAGES = {25-41},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/yg32166337285675/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {see Erratum in Acta Inf., Vol. 49, 2012, No. 1, 53-54},
}
@article{Mitrana-Tirnauca/11,
AUTHOR = {Mitrana, Victor and T{\^{i}}rn{\v{a}}uc{\v{a}}, Cristina},
TITLE = {New bounds for the query complexity of an algorithm that learns DFAs with correction and equivalence queries},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {1},
PAGES = {43-50},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/l484w12w3111p362/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kabir-Wang-Bertino/11,
AUTHOR = {Kabir, Md. Enamul and Wang, Hua and Bertino, Elisa},
TITLE = {Efficient systematic clustering method for $k$-anonymization},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {1},
PAGES = {51-66},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/q57542634j302r72/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Aravind-Hesselink/11,
AUTHOR = {Aravind, Alex A. and Hesselink, Wim H.},
TITLE = {Nonatomic dual bakery algorithm with bounded tokens},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {2},
PAGES = {67-96},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/06877370371q8817/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Cavalcanti-Gaudel/11,
AUTHOR = {Cavalcanti, Ana and Gaudel, Marie-Claude},
TITLE = {Testing for refinement in Circus},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {2},
PAGES = {97-147},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/j07mu1n5212g05tx/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Meduna-Zemek/11,
AUTHOR = {Meduna, Alexander and Zemek, Petr},
TITLE = {One-sided random context grammars},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {3},
PAGES = {149-163},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/c70163w7764u8660/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Drewes-Hogberg-Maletti/11,
AUTHOR = {Drewes, Frank and H{\"o}gberg, Johanna and Maletti, Andreas},
TITLE = {MAT learners for tree series: An abstract data type and two realizations},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {3},
PAGES = {165-189},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/t841362l06m248l5/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Seidel-Voigtlander/11,
AUTHOR = {Seidel, Daniel and Voigtl{\"a}nder, Janis},
TITLE = {Refined typing to localize the impact of forced strictness on free theorems},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {3},
PAGES = {191-211},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/xt0g543m23n1857n/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Polyvyanyy-Weidlich-Weske/11,
AUTHOR = {Polyvyanyy, Artem and Weidlich, Matthias and Weske, Mathias},
TITLE = {Connectivity of workflow nets: The foundations of stepwise verification},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {4},
PAGES = {213-242},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/n03h1462325rn3v0/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Do-Chakka-Do-Pap/11,
AUTHOR = {Do, Tien Van and Chakka, Ram and Do, Nam H. and Pap, L{\'a}szl{\'o}},
TITLE = {A Markovian queue with varying number of servers and applications to the performance comparison of HSDPA user equipment},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {4},
PAGES = {243-269},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/rn55336765w17403/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Qiu-Li-Zou-Mateus-Gruska/11,
AUTHOR = {Qiu, Daowen and Li, Lvzhou and Zou, Xiangfu and Mateus, Paulo and Gruska, Jozef},
TITLE = {Multi-letter quantum finite automata: Decidability of the equivalence and minimization of states},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {5-6},
PAGES = {271-290},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/n241114048544436/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Rabe-Schewe/11,
AUTHOR = {Rabe, Markus N. and Schewe, Sven},
TITLE = {Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {5-6},
PAGES = {291-315},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/r0uvk63360201474/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Vagvolgyi/11,
AUTHOR = {V{\'a}gv{\"o}lgyi, S{\'a}ndor},
TITLE = {CHAP and rewrite components},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {5-6},
PAGES = {317-361},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/n2881672042175v6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Perna-Woodcock-Sampaio-Iyoda/11,
AUTHOR = {Perna, Juan and Woodcock, Jim and Sampaio, Augusto and Iyoda, Juliano},
TITLE = {Correct hardware synthesis --- An algebraic approach},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {7-8},
PAGES = {363-396},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/f1k8008438413158/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Domosi-Maroti/11,
AUTHOR = {D{\"o}m{\"o}si, P{\'a}l and Mar{\'o}ti, Gy{\"o}rgy},
TITLE = {On $\alpha{2} - v{2}$ products of automata},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {7-8},
PAGES = {397-408},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/p45526118h060350/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Aman-Ciobanu/11,
AUTHOR = {Aman, Bogdan and Ciobanu, Gabriel},
TITLE = {Solving a weak $NP$-complete problem in polynomial time by using mutual mobile membrane systems},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {7-8},
PAGES = {409-415},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/kg7351476xm7q71g/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chakrabarti-Guruswami-Wirth-Wirth/11,
AUTHOR = {Chakrabarti, Amit and Guruswami, Venkatesan and Wirth, Andrew and Wirth, Anthony},
TITLE = {The query complexity of estimating weighted averages},
JOURNAL = {Acta Inf.},
VOLUME = {48},
NUMBER = {7-8},
PAGES = {417-426},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/0k50n3176q2k0815/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Habermehl-Iosif-Vojnar/11,
AUTHOR = {Habermehl, Peter and Iosif, Radu and Vojnar, Tom{\'a}{\v{s}}},
TITLE = {Automata-based verification of programs with tree updates},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {1},
PAGES = {1-31},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/l76231376151vx88/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Jaghoori-Sirjani-Mousavi-Khamespanah-Movaghar/11,
AUTHOR = {Jaghoori, Mohammad Mahdi and Sirjani, Marjan and Mousavi, Mohammad Reza and Khamespanah, Ehsan and Movaghar, Ali},
TITLE = {Symmetry and partial order reduction techniques in model checking Rebeca},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {1},
PAGES = {33-66},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/j073695258q39614/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Do/11,
AUTHOR = {Do, Tien Van},
TITLE = {M/M/1 retrial queue with working vacations},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {1},
PAGES = {67-75},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/83628x837187h6h2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Berghammer-Winter/11,
AUTHOR = {Berghammer, Rudolf and Winter, Michael},
TITLE = {Embedding mappings and splittings with applications},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {2},
PAGES = {77-110},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/n4p76p20707574h1/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Merro/11,
AUTHOR = {Merro, Massimo},
TITLE = {On the observational theory of the CPS-calculus},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {2},
PAGES = {111-132},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/j0154j77181x1p65/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Loos-Manea-Mitrana/11,
AUTHOR = {Loos, Remco and Manea, Florin and Mitrana, Victor},
TITLE = {Small universal accepting hybrid networks of evolutionary processors},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {2},
PAGES = {133-146},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/m21t701174521135/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Aceto-Fokkink-Ingolfsdottir-Mousavi/11,
AUTHOR = {Aceto, Luca and Fokkink, Wan and Ingolfsdottir, Anna and Mousavi, MohammadReza},
TITLE = {Lifting non-finite axiomatizability results to extensions of process algebras},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {3},
PAGES = {147-177},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/n570k98tj7030564/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kim-Yi/11,
AUTHOR = {Kim, Ik-Soon and Yi, Kwangkeun},
TITLE = {LR error repair using the A* algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {3},
PAGES = {179-207},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/ll37983712138x0m/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Fan-Huang-Shyr-Chen/11,
AUTHOR = {Fan, Chen-Ming and Huang, C.C. and Shyr, H.J. and Chen, Kuo-Hsiang},
TITLE = {A note on autodense related languages},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {4},
PAGES = {209-219},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/k506gn68l2120712/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Ying-Feng/11,
AUTHOR = {Ying, Mingsheng and Feng, Yuan},
TITLE = {Quantum loop programs},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {4},
PAGES = {221-250},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/v2703q7645243065/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Dax-Klaedtke-Lange/11,
AUTHOR = {Dax, Christian and Klaedtke, Felix and Lange, Martin},
TITLE = {On regular temporal logics with past},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {4},
PAGES = {251-277},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/w18w623r6m872595/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Lanotte-Maggiolo-Schettini-Troina/11,
AUTHOR = {Lanotte, Ruggero and Maggiolo-Schettini, Andrea and Troina, Angelo},
TITLE = {Reachability results for timed automata with unbounded data structures},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {5-6},
PAGES = {279-311},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/v24039777mug6886/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Dolev-Tzachar/11,
AUTHOR = {Dolev, Shlomi and Tzachar, Nir},
TITLE = {Randomization adaptive self-stabilization},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {5-6},
PAGES = {313-323},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/xm2572qt0q857138/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hochbaum-Levin/11,
AUTHOR = {Hochbaum, Dorit S. and Levin, Asaf},
TITLE = {How to allocate review tasks for robust ranking},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {5-6},
PAGES = {325-345},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/6318136735276641/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Huang/11,
AUTHOR = {Huang, C.C.},
TITLE = {A note on pure codes},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {5-6},
PAGES = {347-357},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/711622t52h576ghp/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Boyar-Ehmsen-Kohrt-Larsen/11,
AUTHOR = {Boyar, Joan and Ehmsen, Martin R. and Kohrt, Jens S. and Larsen, Kim S.},
TITLE = {A theoretical comparison of LRU and LRU-K},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {7-8},
PAGES = {359-374},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/753218u6pg257527/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Epstein/11,
AUTHOR = {Epstein, Leah},
TITLE = {Equilibria for two parallel links: The strong price of anarchy versus the price of anarchy},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {7-8},
PAGES = {375-389},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/727rj5r407330758/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kutrib-Messerschmidt-Otto/11,
AUTHOR = {Kutrib, Martin and Messerschmidt, Hartmut and Otto, Friedrich},
TITLE = {On stateless deterministic restarting automata},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {7-8},
PAGES = {391-412},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/e878676452nq0165/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Fan-Huang/11,
AUTHOR = {Fan, Chen-Ming and Huang, C.C.},
TITLE = {A note on prefix primitive words},
JOURNAL = {Acta Inf.},
VOLUME = {47},
NUMBER = {7-8},
PAGES = {413-423},
YEAR = {2011},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://springerlink.metapress.com/content/8p2227208x374588/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}