@article{Coffman-Dereniowski-Kubiak/12,
AUTHOR = {Coffman, Edward G., Jr. and Dereniowski, Dariusz and Kubiak, Wies{\l}aw},
TITLE = {An efficient algorithm for finding ideal schedules},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {1},
PAGES = {1-14},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-011-0146-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Wang-Jiao/12,
AUTHOR = {Wang, Yunhe and Jiao, Li},
TITLE = {Using transition set sequences to partition behaviors of Petri nets},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {1},
PAGES = {15-28},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-011-0147-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bozapalidis-Fulop-Rahonis/12,
AUTHOR = {Bozapalidis, Symeon and F{\"u}l{\"o}p, Zolt{\'a}n and Rahonis, George},
TITLE = {Equational weighted tree transformations},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {1},
PAGES = {29-52},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-011-0148-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Blanchet-Sadri-Mercas-Simmons-Weissenstein/12,
AUTHOR = {Blanchet-Sadri, F. and Merca{\c{s}}, Robert and Simmons, Sean and Weissenstein, Eric},
TITLE = {Erratum to ``Avoidable binary patterns in partial words''},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {1},
PAGES = {53-54},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-011-0149-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Originally in Acta Inf., Vol. 48, 2011, No. 1, 25-41},
}
@article{Meduna-Zemek/12,
AUTHOR = {Meduna, Alexander and Zemek, Petr},
TITLE = {Nonterminal complexity of one-sided random context grammars},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {2},
PAGES = {55-68},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0150-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Stahl-Vogler/12,
AUTHOR = {Stahl, Christian and Vogler, Walter},
TITLE = {A trace-based service semantics guaranteeing deadlock freedom},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {2},
PAGES = {69-103},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0151-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Lorencs/12,
AUTHOR = {Lorencs, A.},
TITLE = {The identity problem of finitely generated bi-ideals},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {2},
PAGES = {105-115},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0152-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Lescanne-Perrinel/12,
AUTHOR = {Lescanne, Pierre and Perrinel, Matthieu},
TITLE = {``Backward'' coinduction, Nash equilibrium and the rationality of escalation},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {3},
PAGES = {117-137},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0153-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bergstra-Middelburg/12,
AUTHOR = {Bergstra, J.A. and Middelburg, C.A.},
TITLE = {Instruction sequence processing operators},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {3},
PAGES = {139-172},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0154-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Wang-Yu-Pang-Liu/12,
AUTHOR = {Wang, Junhu and Yu, Jeffrey Xu and Pang, Chaoyi and Liu, Chengfei},
TITLE = {Least common container of tree pattern queries and its applications},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {3},
PAGES = {173-202},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0155-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Baier-Brazdil-Grosser-Kucera/12,
AUTHOR = {Baier, Christel and Br{\'a}zdil, Tom{\'a}{\v{s}} and Gr{\"o}{\ss}er, Marcus and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Stochastic game logic},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {4},
PAGES = {203-224},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0156-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Choffrut-Malcher-Mereghetti-Palano/12,
AUTHOR = {Choffrut, Christian and Malcher, Andreas and Mereghetti, Carlo and Palano, Beatrice},
TITLE = {First-order logics: Some characterizations and closure properties},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {4},
PAGES = {225-248},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0157-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bozzelli-Legay-Pinchinat/12,
AUTHOR = {Bozzelli, Laura and Legay, Axel and Pinchinat, Sophie},
TITLE = {On timed alternating simulation for concurrent timed games},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {4},
PAGES = {249-279},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0158-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Fan-Huang-Tseng-Wang/12,
AUTHOR = {Fan, Chen-Ming and Huang, Cheng-Chih and Tseng, Christine Chifen and Wang, Jen-Tse},
TITLE = {Prefix-primitive annihilators of languages under some operations},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {5},
PAGES = {281-293},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0159-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Katz-Rutter-Woeginger/12,
AUTHOR = {Katz, Bastian and Rutter, Ignaz and Woeginger, Gerhard},
TITLE = {An algorithmic study of switch graphs},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {5},
PAGES = {295-312},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0160-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Santone-Vaglini/12,
AUTHOR = {Santone, Antonella and Vaglini, Gigliola},
TITLE = {Abstract reduction in directed model checking CCS processes},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {5},
PAGES = {313-341},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0161-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Guttmann/12,
AUTHOR = {Guttmann, Walter},
TITLE = {Algebras for iteration and infinite computations},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {5},
PAGES = {343-359},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0162-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Tan-Wan-Zhang-Ren/12,
AUTHOR = {Tan, Zhiyi and Wan, Long and Zhang, Qi and Ren, Wei},
TITLE = {Inefficiency of equilibria for the machine covering game on uniform machines},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {6},
PAGES = {361-379},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0163-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Golovach-Lidicky-Martin-Paulusma/12,
AUTHOR = {Golovach, Petr A. and Lidick{\'y}, Bernard and Martin, Barnaby and Paulusma, Dani{\"e}l},
TITLE = {Finding vertex-surjective graph homomorphisms},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {6},
PAGES = {381-394},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0164-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Vasile-Pavel-Dumitrache-Paun/12,
AUTHOR = {Vasile, Cristian Ioan and Pavel, Ana Br{\^a}ndu{\c{s}}a and Dumitrache, Ioan and P{\v{a}}un, Gheorghe},
TITLE = {On the power of enzymatic numerical P systems},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {6},
PAGES = {395-412},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0166-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Caron-Champarnaud-Mignot/12,
AUTHOR = {Caron, Pascal and Champarnaud, Jean-Marc and Mignot, Ludovic},
TITLE = {Multi-tilde-bar expressions and their automata},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {6},
PAGES = {413-436},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0167-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chunhua-Di-Yin/12,
AUTHOR = {Chunhua, Cao and Di, Yang and Yin, Liu},
TITLE = {Disjunctive languages related to $p$-primitive words},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {7-8},
PAGES = {437-444},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0165-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Xu/12,
AUTHOR = {Xu, Xian},
TITLE = {Distinguishing and relating higher-order and first-order processes by expressiveness},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {7-8},
PAGES = {445-484},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0168-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Brand/12,
AUTHOR = {Brand, Michael},
TITLE = {Does indirect addressing matter?},
JOURNAL = {Acta Inf.},
VOLUME = {49},
NUMBER = {7-8},
PAGES = {485-491},
YEAR = {2012},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0171-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}