default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 50
Volume 50, Number 1, February 2013
- Fernando Arroyo
, Juan Castellanos, Jürgen Dassow, Victor Mitrana, José-Ramón Sánchez-Couso:
Accepting splicing systems with permitting and forbidding words. 1-14 - Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg:
Step semantics of boolean nets. 15-39 - Jürgen Dassow, Florin Manea, Bianca Truthe:
Networks of evolutionary processors: the power of subregular filters. 41-75
Volume 50, Number 2, March 2013
- Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Compositional type checking of delta-oriented software product lines. 77-122 - Stefan Kahrs:
Infinitary rewriting: closure operators, equivalences and models. 123-156
Volume 50, Number 3, May 2013
- Stefano Bilotta, Elisabetta Grazzini, Elisa Pergola, Renzo Pinzani:
Avoiding cross-bifix-free binary words. 157-173 - Tamar Aizikowitz, Michael Kaminski:
Conjunctive grammars and alternating pushdown automata. 175-197 - Wim H. Hesselink:
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos. 199-228
Volume 50, Number 4, June 2013
- Benedek Nagy, Friedrich Otto:
Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata. 229-255 - Dongfeng Chen, Rada Chirkova, Fereidoon Sadri, Tiia J. Salo:
Query optimization in information integration. 257-287 - Amr Elmasry, Arash Farzan, John Iacono:
On the hierarchy of distribution-sensitive properties for data structures. 289-295
Volume 50, Numbers 5-6, September 2013
- Wim H. Hesselink:
A distributed resource allocation algorithm for many processes. 297-329 - Vesa Halava, Tero Harju:
New proof for the undecidability of the circular PCP. 331-341 - Marie G. Christ, Lene M. Favrholdt, Kim S. Larsen:
Online multi-coloring on the path revisited. 343-357
Volume 50, Numbers 7-8, December 2013
- Jeongbong Seo, Sungwoo Park:
Judgmental subtyping systems with intersection types and modal types. 359-380 - Clelia De Felice:
A note on the factorization conjecture. 381-402 - Fernando Rosa-Velardo:
Petri nets with name creation for transient secure association. 403-436
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 2025-02-28 22:07 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:
