default search action
Acta Informatica, Volume 47
Volume 47, Number 1, February 2010
- Peter Habermehl, Radu Iosif, Tomás Vojnar:
Automata-based verification of programs with tree updates. 1-31 - Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar:
Symmetry and partial order reduction techniques in model checking Rebeca. 33-66 - Tien Van Do:
M/M/1 retrial queue with working vacations. 67-75
Volume 47, Number 2, March 2010
- Rudolf Berghammer, Michael Winter:
Embedding mappings and splittings with applications. 77-110 - Massimo Merro:
On the observational theory of the CPS-calculus. 111-132 - Remco Loos, Florin Manea, Victor Mitrana:
Small universal accepting hybrid networks of evolutionary processors. 133-146
Volume 47, Number 3, May 2010
- Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
Lifting non-finite axiomatizability results to extensions of process algebras. 147-177 - Ik-Soon Kim, Kwangkeun Yi:
LR error repair using the A* algorithm. 179-207
Volume 47, Number 4, June 2010
- Chen-Ming Fan, Cheng-Chih Huang, Huei-Jan Shyr, Kuo-Hsiang Chen:
A note on autodense related languages. 209-219 - Mingsheng Ying, Yuan Feng:
Quantum loop programs. 221-250 - Christian Dax, Felix Klaedtke, Martin Lange:
On regular temporal logics with past. 251-277
Volume 47, Numbers 5-6, September 2010
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Reachability results for timed automata with unbounded data structures. 279-311 - Shlomi Dolev, Nir Tzachar:
Randomization adaptive self-stabilization. 313-323 - Dorit S. Hochbaum, Asaf Levin:
How to allocate review tasks for robust ranking. 325-345 - Cheng-Chi Huang:
A note on pure codes. 347-357
Volume 47, Numbers 7-8, December 2010
- Joan Boyar, Martin R. Ehmsen, Jens S. Kohrt, Kim S. Larsen:
A theoretical comparison of LRU and LRU-K. 359-374 - Leah Epstein:
Equilibria for two parallel links: the strong price of anarchy versus the price of anarchy. 375-389 - Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto:
On stateless deterministic restarting automata. 391-412 - Chen-Ming Fan, Cheng-Chih Huang:
A note on prefix primitive words. 413-423
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.