![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Acta Informatica, Volume 43
Volume 43, Number 1, June 2006
- Klaus Indermark, Thomas Noll
:
Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. 1-43 - Jürgen Dingel:
Compositional Analysis of C/C++ Programs with VeriSoft. 45-71
Volume 43, Number 2, August 2006
- Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of Actions in System Computations. 73-130 - Linqiang Pan
, Artiom Alhazov
:
Solving HPP and SAT by P Systems with Active Membranes and Separation Rules. 131-145
Volume 43, Number 3, October 2006
- Amrinder Arora, Fanchun Jin, Gokhan Sahin
, Hosam M. Mahmoud
, Hyeong-Ah Choi:
Throughput analysis in wireless networks with multiple users and multiple channels. 147-164 - Tero Harju
, Dirk Nowotka:
Periods in Extensions of Words. 165-171 - Zheng-Zhu Li, Huei-Jan Shyr, Y. S. Tsai:
Classifications of Dense Languages. 173-194 - Wim H. Hesselink
:
Refinement verification of the lazy caching algorithm. 195-222
Volume 43, Number 4, November 2006
- Henning Bordihn, Markus Holzer
:
Programmed grammars and their relation to the LBA problem. 223-242 - Rafik Aguech, Nabil Lasmar, Hosam M. Mahmoud
:
Distances in random digital search trees. 243-264 - Arnaud Carayol, Antoine Meyer
:
Linearly bounded infinite graphs. 265-292
Volume 43, Number 5, December 2006
- José M. Amigó
:
Representing the integers with powers of 2 and 3. 293-306 - Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler:
Merged processes: a new condensed representation of Petri net behaviour. 307-330 - Artiom Alhazov
, Carlos Martín-Vide, Yurii Rogozhin:
On the number of nodes in universal networks of evolutionary processors. 331-339 - José R. Paramá
, Nieves R. Brisaboa
, Miguel R. Penabad
, Ángeles Saavedra Places
:
A semantic approach to optimize linear datalog programs. 341-370
Volume 43, Number 6, January 2007
- Wim Janssen, Alexandr Korlyukov, Jan Van den Bussche
:
On the tree-transformation power of XSLT. 371-393 - Stavros Konstantinidis
, Nicolae Santean, Sheng Yu:
Representation and uniformization of algebraic transductions. 395-417 - Andrew M. Gravell:
Verification conditions are code. 431-447
Volume 43, Number 7, February 2007
- Ernst-Rüdiger Olderog, Anders P. Ravn:
Editorial: Hybrid Systems. 449-450 - Eugene Asarin
, Thao Dang, Antoine Girard
:
Hybridization methods for the analysis of nonlinear systems. 451-476 - Paulo Tabuada
:
Symbolic models for control systems. 477-500 - Rafael Wisniewski, Martin Raussen
:
Geometric analysis of nondeterminacy in dynamical systems. 501-519
Volume 43, Number 8, March 2007
- James D. Currie, Terry I. Visentin:
On Abelian 2-avoidable binary patterns. 521-533 - Yuxi Fu:
Fair ambients. 535-594
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.