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
[1]
Hilfe
Suche: Author="Blum, E.K."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the equivalence of distributed systems with queries and communication
Serge Abiteboul
,
Balder ten Cate
,
Yannis Katsis
Journal of Computer and System Sciences
79
(6), 2013, pp. 739-762
A survey on reliability in distributed systems
Waseem Ahmed
,
Yong Wei Wu
Journal of Computer and System Sciences
79
(8), 2013, pp. 1243-1255
Several extensions of the Parikh matrix
L
-morphism
Hamed M.K. Alazemi
,
Anton C̑erný
Journal of Computer and System Sciences
79
(5), 2013, pp. 658-668
The language of plain SO-tgds: Composition, inversion and structural properties
Marcelo Arenas
,
Jorge Pérez
,
Juan Reutter
,
Cristian Riveros
Journal of Computer and System Sciences
79
(6), 2013, pp. 763-784
Efficient genetic based topological mapping using analytical models for on-chip networks
Mohammad Arjomand
,
S. Hamid Amiri
,
Hamid Sarbazi-Azad
Journal of Computer and System Sciences
79
(4), 2013, pp. 492-513
A multi-criteria job scheduling framework for large computing farms
Ranieri Baraglia
,
Gabriele Capannini
,
Patrizio Dazzi
,
Giancarlo Pagano
Journal of Computer and System Sciences
79
(2), 2013, pp. 230-244
A peer-to-peer recommender system for self-emerging user communities based on gossip overlays
Ranieri Baraglia
,
Patrizio Dazzi
,
Matteo Mordacchini
,
Laura Ricci
Journal of Computer and System Sciences
79
(2), 2013, pp. 291-308
Feasibility interval for the transactional event handlers of P-FRP
Chaitanya Belwal
,
Albert M.K. Cheng
,
Bo Liu
Journal of Computer and System Sciences
79
(5), 2013, pp. 530-541
Bounded repairability of word languages
Michael Benedikt
,
Gabriele Puppis
,
Cristian Riveros
Journal of Computer and System Sciences
79
(8), 2013, pp. 1302-1321
Datalog and constraint satisfaction with infinite templates
Manuel Bodirsky
,
Víctor Dalmau
Journal of Computer and System Sciences
79
(1), 2013, pp. 79-100
Solutions in XML data exchange
Mikoƚaj Bojańczyk
,
Leszek A. Koƚodziejczyk
,
Filip Murlak
Journal of Computer and System Sciences
79
(6), 2013, pp. 785-815
Computation with perturbed dynamical systems
Olivier Bournez
,
Daniel S. Graça
,
Emmanuel Hainry
Journal of Computer and System Sciences
79
(5), 2013, pp. 714-724
EC3: Elastic Cloud Computing Cluster
Miguel Caballer
,
Carlos de Alfonso
,
Fernando Alvarruiz
,
Germán Moltó
Journal of Computer and System Sciences
79
(8), 2013, pp. 1341-1351
On simplification of schema mappings
Diego Calvanese
,
Giuseppe De Giacomo
,
Maurizio Lenzerini
,
Moshe Y. Vardi
Journal of Computer and System Sciences
79
(6), 2013, pp. 816-834
Probabilistic automata for computing with words
Yongzhi Cao
,
Lirong Xia
,
Mingsheng Ying
Journal of Computer and System Sciences
79
(1), 2013, pp. 152-172
Multi-dimensional criteria for testing web services transactions
Rubén Casado
,
Muhammad Younas
,
Javier Tuya
Journal of Computer and System Sciences
79
(7), 2013, pp. 1057-1076
\{2,3\}
-extraconnectivities of hypercube-like networks
Nai-Wen Chang
,
Sun-Yuan Hsieh
Journal of Computer and System Sciences
79
(5), 2013, pp. 669-688
Strategy improvement for concurrent reachability and turn-based stochastic safety games
Krishnendu Chatterjee
,
Luca de Alfaro
,
Thomas A. Henzinger
Journal of Computer and System Sciences
79
(5), 2013, pp. 640-657
A novel distributed framework for optimizing query routing trees in wireless sensor networks via optimal operator placement
Georgios Chatzimilioudis
,
Alfredo Cuzzocrea
,
Dimitrios Gunopulos
,
Nikos Mamoulis
Journal of Computer and System Sciences
79
(3), 2013, pp. 349-368
TopCluster: A hybrid cluster model to support dynamic deployment in Grid
Gang Chen
,
Yongwei Wu
,
Jie Wu
,
Weimin Zheng
Journal of Computer and System Sciences
79
(2), 2013, pp. 201-215
On the complexity of Newman's community finding approach for biological and social networks
Bhaskar DasGupta
,
Devendra Desai
Journal of Computer and System Sciences
79
(1), 2013, pp. 50-67
The covering and boundedness problems for branching vector addition systems
Stéphane Demri
,
Marcin Jurdziński
,
Oded Lachish
,
Ranko Lazić
Journal of Computer and System Sciences
79
(1), 2013, pp. 23-38
On selective unboundedness of VASS
Stéphane Demri
Journal of Computer and System Sciences
79
(5), 2013, pp. 689-713
On the aggregation problem for synthesized Web services
Ting Deng
,
Wenfei Fan
,
Leonid Libkin
,
Yinghui Wu
Journal of Computer and System Sciences
79
(6), 2013, pp. 873-891
Cluster-based topologies for 3D Networks-on-Chip using advanced inter-layer bus architecture
Masoumeh Ebrahimi
,
Masoud Daneshtalab
,
Pasi Liljeberg
,
Juha Plosila
,
Hannu Tenhunen
Journal of Computer and System Sciences
79
(4), 2013, pp. 475-491
Seiten 1
2
3
4
5
6
7
8
9
10
11
12
>