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: Author="Aceto, Luca"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Axiomatizing weak simulation semantics over BCCSP
Luca Aceto
,
David de Frutos Escrig
,
Carlos Gregorio-Rodríguez
,
Anna Ingolfsdottir
Theoretical Computer Science
537
, 2014, pp. 42-71
Algebraic synchronization trees and processes
Luca Aceto
,
Arnaud Carayol
,
Zoltán Ésik
,
Anna Ingólfsdóttir
Lecture Notes in Computer Science
7392
, 2012, pp. 30-41
Rule formats for distributivity
Luca Aceto
,
Matteo Cimini
,
Anna Ingolfsdottir
,
MohammadReza Mousavi
,
Michel A. Reniers
Theoretical Computer Science
458
, 2012, pp. 1-28
Advice coins for classical and quantum computation
Scott Aaronson
,
Andrew Drucker
Lecture Notes in Computer Science
6755
, 2011, pp. 61-72
VC-dimension and shortest path algorithms
Ittai Abraham
,
Daniel Delling
,
Amos Fiat
,
Andrew V. Goldberg
,
Renato F. Werneck
Lecture Notes in Computer Science
6755
, 2011, pp. 690-699
On the axiomatizability of priority II
Luca Aceto
,
Taolue Chen
,
Anna Ingolfsdottir
,
Bas Luttik
,
Jaco van de Pol
Theoretical Computer Science
412
(28), 2011, pp. 3035-3044
SOS rule formats for zero and unit elements
Luca Aceto
,
Matteo Cimini
,
Anna Ingolfsdottir
,
MohammadReza Mousavi
,
Michel A. Reniers
Theoretical Computer Science
412
(28), 2011, pp. 3045-3071
Lifting non-finite axiomatizability results to extensions of process algebras
Luca Aceto
,
Wan Fokkink
,
Anna Ingolfsdottir
,
MohammadReza Mousavi
Acta Informatica
47
(3), 2011, pp. 147-177
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Luca Aceto
,
David de Frutos Escrig
,
Carlos Gregorio-Rodríguez
,
Anna Ingolfsdottir
Information Processing Letters
111
(9), 2011, pp. 408-413
Approximation schemes for capacitated geometric network design
Anna Adamaszek
,
Artur Czumaj
,
Andrzej Lingas
,
Jakub Onufry Wojtaszczyk
Lecture Notes in Computer Science
6755
, 2011, pp. 25-36
Tight bounds for linkages in planar graphs
Isolde Adler
,
Stavros G. Kolliopoulos
,
Philipp Klaus Krause
,
Daniel Lokshtanov
,
Saket Saurabh
,
Dimitrios Thilikkos
Lecture Notes in Computer Science
6755
, 2011, pp. 110-121
Linear programming in the semi-streaming model with application to the maximum matching problem
Kook Jin Ahn
,
Sudipto Guha
Lecture Notes in Computer Science
6756
, 2011, pp. 526-538
Limits on the computational power of random strings
Eric Allender
,
Luke Friedman
,
William Gasarch
Lecture Notes in Computer Science
6755
, 2011, pp. 293-304
On the power of algebraic branching programs of width two
Eric Allender
,
Fengming Wang
Lecture Notes in Computer Science
6755
, 2011, pp. 736-747
Nondeterministic streaming string transducers
Rajeev Alur
,
Jyotirmoy V. Deshmukh
Lecture Notes in Computer Science
6756
, 2011, pp. 1-20
On the relation between differential privacy and quantitative information flow
Mário S. Alvim
,
Miguel E. Andrés
,
Konstantinos Chatzikokolakis
,
Catuscia Palamidessi
Lecture Notes in Computer Science
6756
, 2011, pp. 60-76
Meeting deadlines: How much speed suffices?
S. Anand
,
Naveen Garg
,
Nicole Megow
Lecture Notes in Computer Science
6755
, 2011, pp. 232-243
Locality of queries definable in invariant first-order logic with arbitrary built-in predicates
Matthew Anderson
,
Dieter van Melkebeek
,
Nicole Schweikardt
,
Luc Segoufin
Lecture Notes in Computer Science
6756
, 2011, pp. 368-379
New algorithms for learning in presence of errors
Sanjeev Arora
,
Rong Ge
Lecture Notes in Computer Science
6755
, 2011, pp. 403-415
A simple deterministic reduction for the gap minimum distance of code problem
Per Austrin
,
Subhash Khot
Lecture Notes in Computer Science
6755
, 2011, pp. 474-485
Guarded negation
Vince Bárány
,
Balder ten Cate
,
Luc Segoufin
Lecture Notes in Computer Science
6756
, 2011, pp. 356-367
Algebraic independence and blackbox identity testing
Malte Beecken
,
Johannes Mittmann
,
Nitin Saxena
Lecture Notes in Computer Science
6756
, 2011, pp. 137-148
The cost of traveling between languages
Michael Benedikt
,
Gabriele Puppis
,
Cristian Riveros
Lecture Notes in Computer Science
6756
, 2011, pp. 234-245
Steiner transitive-closure spanners of low-dimensional posets
Piotr Berman
,
Arnab Bhattacharyya
,
Elena Grigorescu
,
Sofya Raskhodnikova
,
David P. Woodruff
,
Grigory Yaroslavtsev
Lecture Notes in Computer Science
6755
, 2011, pp. 760-772
Improved approximation for the directed spanner problem
Piotr Berman
,
Arnab Bhattacharyya
,
Konstantin Makarychev
,
Sofya Raskhodnikova
,
Grigory Yaroslavtsev
Lecture Notes in Computer Science
6755
, 2011, pp. 1-12
Seiten 1
2
3
4
5
6
7
8
9
10
11
12
>