Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/acta/acta46.bht:"
download as .bib file
@article{DBLP:journals/acta/AravindH09,
author = {Alex A. Aravind and
Wim H. Hesselink},
title = {A queue based mutual exclusion algorithm},
journal = {Acta Informatica},
volume = {46},
number = {1},
pages = {73--86},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0086-z},
doi = {10.1007/S00236-008-0086-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AravindH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Armendariz-InigoMGM09,
author = {Jos{\'{e}} Enrique Armend{\'{a}}riz{-}I{\~{n}}igo and
Jos{\'{e}} Ram{\'{o}}n Gonz{\'{a}}lez de Mend{\'{\i}}vil and
Jos{\'{e}} Ram{\'{o}}n Garitagoitia and
Francesc D. Mu{\~{n}}oz{-}Esco{\'{\i}}},
title = {Correctness proof of a database replication protocol under the perspective
of the {I/O} automaton model},
journal = {Acta Informatica},
volume = {46},
number = {4},
pages = {297--330},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0097-4},
doi = {10.1007/S00236-009-0097-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Armendariz-InigoMGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AycockB09,
author = {John Aycock and
Angelo Borsotti},
title = {Early action in an Earley parser},
journal = {Acta Informatica},
volume = {46},
number = {8},
pages = {549--559},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0107-6},
doi = {10.1007/S00236-009-0107-6},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AycockB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Barany09,
author = {Vince B{\'{a}}r{\'{a}}ny},
title = {Semi-synchronous transductions},
journal = {Acta Informatica},
volume = {46},
number = {1},
pages = {29--42},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0083-2},
doi = {10.1007/S00236-008-0083-2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Barany09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BashirovKL09,
author = {Rza Bashirov and
Fabrice Kordon and
H{\"{u}}seyin Lort},
title = {Exploiting colored Petri nets to decide on permutation admissibility},
journal = {Acta Informatica},
volume = {46},
number = {1},
pages = {43--55},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0084-1},
doi = {10.1007/S00236-008-0084-1},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BashirovKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Ben-Amram09,
author = {Amir M. Ben{-}Amram},
title = {A complexity tradeoff in ranking-function termination proofs},
journal = {Acta Informatica},
volume = {46},
number = {1},
pages = {57--72},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0085-0},
doi = {10.1007/S00236-008-0085-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Ben-Amram09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraM09,
author = {Jan A. Bergstra and
Cornelis A. Middelburg},
title = {Machine structure oriented control code logic},
journal = {Acta Informatica},
volume = {46},
number = {5},
pages = {375--401},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0099-2},
doi = {10.1007/S00236-009-0099-2},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BergstraM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BestD09,
author = {Eike Best and
Philippe Darondeau},
title = {A decomposition theorem for finite persistent transition systems},
journal = {Acta Informatica},
volume = {46},
number = {3},
pages = {237--254},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0095-6},
doi = {10.1007/S00236-009-0095-6},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BestD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BozzelliKRS09,
author = {Laura Bozzelli and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
Vojtech Reh{\'{a}}k and
Jan Strejcek},
title = {On decidability of {LTL} model checking for process rewrite systems},
journal = {Acta Informatica},
volume = {46},
number = {1},
pages = {1--28},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0082-3},
doi = {10.1007/S00236-008-0082-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BozzelliKRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BresolinMP09,
author = {Davide Bresolin and
Angelo Montanari and
Gabriele Puppis},
title = {A theory of ultimately periodic languages and automata with an application
to time granularity},
journal = {Acta Informatica},
volume = {46},
number = {5},
pages = {331--360},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0094-7},
doi = {10.1007/S00236-009-0094-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BresolinMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BruckerW09,
author = {Achim D. Brucker and
Burkhart Wolff},
title = {Semantics, calculi, and analysis for object-oriented specifications},
journal = {Acta Informatica},
volume = {46},
number = {4},
pages = {255--284},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0093-8},
doi = {10.1007/S00236-009-0093-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/BruckerW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CampeanuS09,
author = {Cezar C{\^{a}}mpeanu and
Nicolae Santean},
title = {On the closure of pattern expressions languages under intersection
with regular languages},
journal = {Acta Informatica},
volume = {46},
number = {3},
pages = {193--207},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0090-y},
doi = {10.1007/S00236-009-0090-Y},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CampeanuS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CarpiD09,
author = {Arturo Carpi and
Flavio D'Alessandro},
title = {Strongly transitive automata and the Cern{\'{y}} conjecture},
journal = {Acta Informatica},
volume = {46},
number = {8},
pages = {591--607},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0106-7},
doi = {10.1007/S00236-009-0106-7},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CarpiD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CiobanuR09,
author = {Gabriel Ciobanu and
Sergiu Rudeanu},
title = {Final and sequential behaviours of M-automata},
journal = {Acta Informatica},
volume = {46},
number = {5},
pages = {361--374},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0098-3},
doi = {10.1007/S00236-009-0098-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CiobanuR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/CorradiniBV09,
author = {Flavio Corradini and
Maria Rita Di Berardini and
Walter Vogler},
title = {Liveness of a mutex algorithm in a fair process algebra},
journal = {Acta Informatica},
volume = {46},
number = {3},
pages = {209--235},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0092-9},
doi = {10.1007/S00236-009-0092-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/CorradiniBV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Engelfriet09,
author = {Joost Engelfriet},
title = {The time complexity of typechecking tree-walking tree transducers},
journal = {Acta Informatica},
volume = {46},
number = {2},
pages = {139--154},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0087-y},
doi = {10.1007/S00236-008-0087-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Engelfriet09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/EngelfrietLM09,
author = {Joost Engelfriet and
Eric Lilin and
Andreas Maletti},
title = {Extended multi bottom-up tree transducers},
journal = {Acta Informatica},
volume = {46},
number = {8},
pages = {561--590},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0105-8},
doi = {10.1007/S00236-009-0105-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/EngelfrietLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/JanousekM09,
author = {Jan Janousek and
Borivoj Melichar},
title = {On regular tree languages and deterministic pushdown automata},
journal = {Acta Informatica},
volume = {46},
number = {7},
pages = {533--547},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0104-9},
doi = {10.1007/S00236-009-0104-9},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/JanousekM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KhomenkoSVW09,
author = {Victor Khomenko and
Mark Sch{\"{a}}fer and
Walter Vogler and
Ralf Wollowski},
title = {{STG} decomposition strategies in combination with unfolding},
journal = {Acta Informatica},
volume = {46},
number = {6},
pages = {433--474},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0102-y},
doi = {10.1007/S00236-009-0102-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KhomenkoSVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KlonowskaLL09,
author = {Kamilla Klonowska and
Lars Lundberg and
H{\aa}kan Lennerstad},
title = {The maximum gain of increasing the number of preemptions in multiprocessor
scheduling},
journal = {Acta Informatica},
volume = {46},
number = {4},
pages = {285--295},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0096-5},
doi = {10.1007/S00236-009-0096-5},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KlonowskaLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Meyer09,
author = {Roland Meyer},
title = {A theory of structural stationarity in the \emph{pi} -Calculus},
journal = {Acta Informatica},
volume = {46},
number = {2},
pages = {87--137},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0091-x},
doi = {10.1007/S00236-009-0091-X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Meyer09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/QuesadaS09,
author = {Argimiro Arratia Quesada and
Iain A. Stewart},
title = {On the power of deep pushdown stacks},
journal = {Acta Informatica},
volume = {46},
number = {7},
pages = {509--531},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0103-x},
doi = {10.1007/S00236-009-0103-X},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/QuesadaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SawaJ09,
author = {Zdenek Sawa and
Petr Jancar},
title = {Hardness of equivalence checking for composed finite-state systems},
journal = {Acta Informatica},
volume = {46},
number = {3},
pages = {169--191},
year = {2009},
url = {https://doi.org/10.1007/s00236-008-0088-x},
doi = {10.1007/S00236-008-0088-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/SawaJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ShahriarL09,
author = {Md. Sumon Shahriar and
Jixue Liu},
title = {Preserving key in {XML} data transformation},
journal = {Acta Informatica},
volume = {46},
number = {7},
pages = {475--507},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0101-z},
doi = {10.1007/S00236-009-0101-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ShahriarL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SubramaniLG09,
author = {K. Subramani and
Hong{-}Jian Lai and
Xiaofeng Gu},
title = {Random walks for selected boolean implication and equivalence problems},
journal = {Acta Informatica},
volume = {46},
number = {2},
pages = {155--168},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0089-4},
doi = {10.1007/S00236-009-0089-4},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/SubramaniLG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Zuliani09,
author = {Paolo Zuliani},
title = {Reasoning about faulty quantum programs},
journal = {Acta Informatica},
volume = {46},
number = {6},
pages = {403--432},
year = {2009},
url = {https://doi.org/10.1007/s00236-009-0100-0},
doi = {10.1007/S00236-009-0100-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Zuliani09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-30 17:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
