default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa 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
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.
last updated on 2024-12-11 20:33 CET 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:
