Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Acta Inf. AND Volume=50
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Accepting splicing systems with permitting and forbidding words
Fernando Arroyo
,
Juan Castellanos
,
Jürgen Dassow
,
Victor Mitrana
,
José Ramón Sánchez-Couso
Acta Informatica
50
(1), 2013, pp. 1-14
Step semantics of Boolean nets
Jetty Kleijn
,
Maciej Koutny
,
Marta Pietkiewicz-Koutny
,
Grzegorz Rozenberg
Acta Informatica
50
(1), 2013, pp. 15-39
Networks of evolutionary processors: The power of subregular filters
Jürgen Dassow
,
Florin Manea
,
Bianca Truthe
Acta Informatica
50
(1), 2013, pp. 41-75
Compositional type checking of delta-oriented software product lines
Lorenzo Bettini
,
Ferruccio Damiani
,
Ina Schaefer
Acta Informatica
50
(2), 2013, pp. 77-122
Infinitary rewriting: Closure operators, equivalences and models
Stefan Kahrs
Acta Informatica
50
(2), 2013, pp. 123-156
Avoiding cross-bifix-free binary words
Stefano Bilotta
,
Elisabetta Grazzini
,
Elisa Pergola
,
Renzo Pinzani
Acta Informatica
50
(3), 2013, pp. 157-173
Conjunctive grammars and alternating pushdown automata
Tamar Aizikowitz
,
Michael Kaminski
Acta Informatica
50
(3), 2013, pp. 175-197
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos
Wim H. Hesselink
Acta Informatica
50
(3), 2013, pp. 199-228
Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata
Benedek Nagy
,
Friedrich Otto
Acta Informatica
50
(4), 2013, pp. 229-255
Query optimization in information integration
Dongfeng Chen
,
Rada Chirkova
,
Fereidoon Sadri
,
Tiia J. Salo
Acta Informatica
50
(4), 2013, pp. 257-287
On the hierarchy of distribution-sensitive properties for data structures
Amr Elmasry
,
Arash Farzan
,
John Iacono
Acta Informatica
50
(4), 2013, pp. 289-295
A distributed resource allocation algorithm for many processes
Wim H. Hesselink
Acta Informatica
50
(5-6), 2013, pp. 297-329
New proof for the undecidability of the circular PCP
Vesa Halava
,
Tero Harju
Acta Informatica
50
(5-6), 2013, pp. 331-341
Online multi-coloring on the path revisited
Marie G. Christ
,
Lene M. Favrholdt
,
Kim S. Larsen
Acta Informatica
50
(5-6), 2013, pp. 343-357
Judgmental subtyping systems with intersection types and modal types
Jeongbong Seo
,
Sungwoo Park
Acta Informatica
50
(7-8), 2013, pp. 359-380
A note on the factorization conjecture
Clelia De Felice
Acta Informatica
50
(7-8), 2013, pp. 381-402
Petri nets with name creation for transient secure association
Fernando Rosa-Velardo
Acta Informatica
50
(7-8), 2013, pp. 403-436