@article{Arroyo-Castellanos-Dassow-Mitrana-Sanchez-Couso/13,
AUTHOR = {Arroyo, Fernando and Castellanos, Juan and Dassow, J{\"u}rgen and Mitrana, Victor and S{\'a}nchez-Couso, Jos{\'e} Ram{\'o}n},
TITLE = {Accepting splicing systems with permitting and forbidding words},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {1},
PAGES = {1-14},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0169-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kleijn-Koutny-Pietkiewicz-Koutny-Rozenberg/13,
AUTHOR = {Kleijn, Jetty and Koutny, Maciej and Pietkiewicz-Koutny, Marta and Rozenberg, Grzegorz},
TITLE = {Step semantics of Boolean nets},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {1},
PAGES = {15-39},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0170-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Dassow-Manea-Truthe/13,
AUTHOR = {Dassow, J{\"u}rgen and Manea, Florin and Truthe, Bianca},
TITLE = {Networks of evolutionary processors: The power of subregular filters},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {1},
PAGES = {41-75},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0172-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bettini-Damiani-Schaefer/13,
AUTHOR = {Bettini, Lorenzo and Damiani, Ferruccio and Schaefer, Ina},
TITLE = {Compositional type checking of delta-oriented software product lines},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {2},
PAGES = {77-122},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0173-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Kahrs/13,
AUTHOR = {Kahrs, Stefan},
TITLE = {Infinitary rewriting: Closure operators, equivalences and models},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {2},
PAGES = {123-156},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0174-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Bilotta-Grazzini-Pergola-Pinzani/13,
AUTHOR = {Bilotta, Stefano and Grazzini, Elisabetta and Pergola, Elisa and Pinzani, Renzo},
TITLE = {Avoiding cross-bifix-free binary words},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {3},
PAGES = {157-173},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0176-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Aizikowitz-Kaminski/13,
AUTHOR = {Aizikowitz, Tamar and Kaminski, Michael},
TITLE = {Conjunctive grammars and alternating pushdown automata},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {3},
PAGES = {175-197},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0177-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hesselink/13,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {3},
PAGES = {199-228},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0178-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Nagy-Otto/13,
AUTHOR = {Nagy, Benedek and Otto, Friedrich},
TITLE = {Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {4},
PAGES = {229-255},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-012-0175-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Chen-Chirkova-Sadri-Salo/13,
AUTHOR = {Chen, Dongfeng and Chirkova, Rada and Sadri, Fereidoon and Salo, Tiia J.},
TITLE = {Query optimization in information integration},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {4},
PAGES = {257-287},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0179-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Elmasry-Farzan-Iacono/13,
AUTHOR = {Elmasry, Amr and Farzan, Arash and Iacono, John},
TITLE = {On the hierarchy of distribution-sensitive properties for data structures},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {4},
PAGES = {289-295},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0180-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Hesselink/13a,
AUTHOR = {Hesselink, Wim H.},
TITLE = {A distributed resource allocation algorithm for many processes},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {5-6},
PAGES = {297-329},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0181-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Halava-Harju/13,
AUTHOR = {Halava, Vesa and Harju, Tero},
TITLE = {New proof for the undecidability of the circular PCP},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {5-6},
PAGES = {331-341},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0183-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Christ-Favrholdt-Larsen/13,
AUTHOR = {Christ, Marie G. and Favrholdt, Lene M. and Larsen, Kim S.},
TITLE = {Online multi-coloring on the path revisited},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {5-6},
PAGES = {343-357},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0184-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Seo-Park/13,
AUTHOR = {Seo, Jeongbong and Park, Sungwoo},
TITLE = {Judgmental subtyping systems with intersection types and modal types},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {7-8},
PAGES = {359-380},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0186-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{De_Felice/13,
AUTHOR = {De Felice, Clelia},
TITLE = {A note on the factorization conjecture},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {7-8},
PAGES = {381-402},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0187-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@article{Rosa-Velardo/13,
AUTHOR = {Rosa-Velardo, Fernando},
TITLE = {Petri nets with name creation for transient secure association},
JOURNAL = {Acta Inf.},
VOLUME = {50},
NUMBER = {7-8},
PAGES = {403-436},
YEAR = {2013},
EDITOR = {Olderog, Ernst-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/s00236-013-0188-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}