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
[2]
Hilfe
Suche: Author="Broy, M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
View selection for real conjunctive queries
Foto Afrati
,
Rada Chirkova
,
Manolis Gergatsoulis
,
Vassia Pavlaki
Acta Informatica
44
(5), 2007, pp. 289-321
Hybridization methods for the analysis of nonlinear systems
Eugene Asarin
,
Thao Dang
,
Antoine Girard
Acta Informatica
43
(7), 2007, pp. 451-476
Decision problems for pushdown threads
Jan Bergstra
,
Inge Bethke
,
Alban Ponse
Acta Informatica
44
(2), 2007, pp. 75-90
Synchronous cooperation for explicit multi-threading
J.A. Bergstra
,
C.A. Middelburg
Acta Informatica
44
(7-8), 2007, pp. 525-569
A general exhaustive generation algorithm for Gray structures
Antonio Bernini
,
Elisabetta Grazzini
,
Elisa Pergola
,
Renzo Pinzani
Acta Informatica
44
(5), 2007, pp. 361-376
The complexity of satisfying constraints on databases of transactions
Toon Calders
Acta Informatica
44
(7-8), 2007, pp. 591-624
On Abelian 2-avoidable binary patterns
James D. Currie
,
Terry I. Visentin
Acta Informatica
43
(8), 2007, pp. 521-533
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
Fair ambients
Yuxi Fu
Acta Informatica
43
(8), 2007, pp. 535-594
Distributed consensus, revisited
Rachele Fuzzati
,
Massimo Merro
,
Uwe Nestmann
Acta Informatica
44
(6), 2007, pp. 377-425
Well-structured languages
Gilles Geeraerts
,
Jean-François Raskin
,
Laurent Van Begin
Acta Informatica
44
(3-4), 2007, pp. 249-288
Verification conditions are code
Andrew M. Gravell
Acta Informatica
43
(6), 2007, pp. 431-447
Recursive Petri nets - Theory and application to discrete event systems
Serge Haddad
,
Denis Poitrenaud
Acta Informatica
44
(7-8), 2007, pp. 463-508
Improved matrix pair undecidability results
Vesa Halava
,
Mika Hirvensalo
Acta Informatica
44
(3-4), 2007, pp. 191-205
A criterion for atomicity revisited
Wim H. Hesselink
Acta Informatica
44
(2), 2007, pp. 123-151
A new bound for the D0Ll sequence equivalence problem
Juha Honkala
Acta Informatica
43
(6), 2007, pp. 419-429
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
On the tree-transformation power of XSLT
Wim Janssen
,
Alexandr Korlyukov
,
Jan Van den Bussche
Acta Informatica
43
(6), 2007, pp. 371-393
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
Infinitary rewriting: Meta-theory and convergence
Stefan Kahrs
Acta Informatica
44
(2), 2007, pp. 91-121
The syntactic monoid of hairpin-free languages
Lila Kari
,
Kalpana Mahalingam
,
Gabriel Thierrin
Acta Informatica
44
(3-4), 2007, pp. 153-166
Representation and uniformization of algebraic transductions
Stavros Konstantinidis
,
Nicolae Santean
,
Sheng Yu
Acta Informatica
43
(6), 2007, pp. 395-417
Dual unbounded nondeterminacy, recursion, and fixpoints
Joseph M. Morris
,
Malcolm Tyrrell
Acta Informatica
44
(5), 2007, pp. 323-344
Solving \#SAT using vertex covers
Naomi Nishimura
,
Prabhakar Ragde
,
Stefan Szeider
Acta Informatica
44
(7-8), 2007, pp. 509-523
Seiten 1
2
3
4
5
>