@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},
}