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 YEAR=2007
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Parallel
LL
parsing
Ladislav Vagner
,
Boȓivoj Melichar
Acta Informatica
44
(1), 2007, pp. 1-21
An exact subexponential-time lattice algorithm for Asian options
Tian-Shyr Dai
,
Yuh-Dauh Lyuu
Acta Informatica
44
(1), 2007, pp. 23-39
On using data abstractions for model checking refinements
John Derrick
,
Heike Wehrheim
Acta Informatica
44
(1), 2007, pp. 41-71
Erratum to ''Parallel
LL
parsing''
Ladislav Vagner
,
Boȓivoj Melichar
Acta Informatica
44
(1), 2007, pp. 73-73
Decision problems for pushdown threads
Jan Bergstra
,
Inge Bethke
,
Alban Ponse
Acta Informatica
44
(2), 2007, pp. 75-90
Infinitary rewriting: Meta-theory and convergence
Stefan Kahrs
Acta Informatica
44
(2), 2007, pp. 91-121
A criterion for atomicity revisited
Wim H. Hesselink
Acta Informatica
44
(2), 2007, pp. 123-151
The syntactic monoid of hairpin-free languages
Lila Kari
,
Kalpana Mahalingam
,
Gabriel Thierrin
Acta Informatica
44
(3-4), 2007, pp. 153-166
Recursive descent parsing for Boolean grammars
Alexander Okhotin
Acta Informatica
44
(3-4), 2007, pp. 167-189
Improved matrix pair undecidability results
Vesa Halava
,
Mika Hirvensalo
Acta Informatica
44
(3-4), 2007, pp. 191-205
On the equivalence between FDs in XML and FDs in relations
Millist W. Vincent
,
Jixue Liu
,
Mukesh Mohania
Acta Informatica
44
(3-4), 2007, pp. 207-247
Well-structured languages
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent Van Begin
Acta Informatica
44
(3-4), 2007, pp. 249-288
View selection for real conjunctive queries
Foto Afrati
,
Rada Chirkova
,
Manolis Gergatsoulis
,
Vassia Pavlaki
Acta Informatica
44
(5), 2007, pp. 289-321
Dual unbounded nondeterminacy, recursion, and fixpoints
Joseph M. Morris
,
Malcolm Tyrrell
Acta Informatica
44
(5), 2007, pp. 323-344
Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs
Chuzo Iwamoto
,
Naoki Hatayama
,
Yoshiaki Nakashiba
,
Kenichi Morita
,
Katsunobu Imai
Acta Informatica
44
(5), 2007, pp. 345-359
A general exhaustive generation algorithm for Gray structures
Antonio Bernini
,
Elisabetta Grazzini
,
Elisa Pergola
,
Renzo Pinzani
Acta Informatica
44
(5), 2007, pp. 361-376
Distributed consensus, revisited
Rachele Fuzzati
,
Massimo Merro
,
Uwe Nestmann
Acta Informatica
44
(6), 2007, pp. 377-425
BRNGLR: A cubic Tomita-style GLR parsing algorithm
Elizabeth Scott
,
Adrian Johnstone
,
Rob Economopoulos
Acta Informatica
44
(6), 2007, pp. 427-461
Recursive Petri nets - Theory and application to discrete event systems
Serge Haddad
,
Denis Poitrenaud
Acta Informatica
44
(7-8), 2007, pp. 463-508
Solving \#SAT using vertex covers
Naomi Nishimura
,
Prabhakar Ragde
,
Stefan Szeider
Acta Informatica
44
(7-8), 2007, pp. 509-523
Synchronous cooperation for explicit multi-threading
J.A. Bergstra
,
C.A. Middelburg
Acta Informatica
44
(7-8), 2007, pp. 525-569
Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information
Yiwei Jiang
,
Yong He
Acta Informatica
44
(7-8), 2007, pp. 571-590
The complexity of satisfying constraints on databases of transactions
Toon Calders
Acta Informatica
44
(7-8), 2007, pp. 591-624
On the tree-transformation power of XSLT
Wim Janssen
,
Alexandr Korlyukov
,
Jan Van den Bussche
Acta Informatica
43
(6), 2007, pp. 371-393
Representation and uniformization of algebraic transductions
Stavros Konstantinidis
,
Nicolae Santean
,
Sheng Yu
Acta Informatica
43
(6), 2007, pp. 395-417
Seiten 1
2
>