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: Journal=J. Comput.~Syst.~Sci. AND YEAR=2014
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Automatic learners with feedback queries
John Case
,
Sanjay Jain
,
Yuh Shin Ong
,
Pavel Semukhin
,
Frank Stephan
Journal of Computer and System Sciences
80
(4), 2014, pp. 806-820
Detecting correlation between server resources for system management
Stefania Tosi
,
Sara Casolari
,
Michele Colajanni
Journal of Computer and System Sciences
80
(4), 2014, pp. 821-836
On the connectivity preserving minimum cut problem
Qi Duan
,
Jinhui Xu
Journal of Computer and System Sciences
80
(4), 2014, pp. 837-848
Column subset selection problem is UG-hard
A. Çivril
Journal of Computer and System Sciences
80
(4), 2014, pp. 849-859
Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip
Danny Dolev
,
Matthias Függer
,
Markus Posch
,
Ulrich Schmid
,
Andreas Steininger
,
Christoph Lenzen
Journal of Computer and System Sciences
80
(4), 2014, pp. 860-900
Message matching-based greedy behavior detection in delay tolerant networks
Yongming Xie
,
Guojun Wang
Journal of Computer and System Sciences
80
(5), 2014, pp. 903-915
Trust enhanced distributed authorisation for web services
Aarthi Nagarajan
,
Vijay Varadharajan
,
Nathan Tarr
Journal of Computer and System Sciences
80
(5), 2014, pp. 916-934
Self-adaptive federated authorization infrastructures
Christopher Bailey
,
David W. Chadwick
,
Rogério de Lemos
Journal of Computer and System Sciences
80
(5), 2014, pp. 935-952
Software control flow error detection and correlation with system performance deviation
Atef Shalan
,
Mohammad Zulkernine
Journal of Computer and System Sciences
80
(5), 2014, pp. 953-972
A survey of emerging threats in cybersecurity
Julian Jang-Jaccard
,
Surya Nepal
Journal of Computer and System Sciences
80
(5), 2014, pp. 973-993
A security framework in G-Hadoop for big data computing across distributed cloud data centres
Jiaqi Zhao
,
Lizhe Wang
,
Jie Tao
,
Jinjun Chen
,
Weiye Sun
,
Rajiv Ranjan
,
Joanna Koƚodziej
,
Achim Streit
,
Dimitrios Georgakopoulos
Journal of Computer and System Sciences
80
(5), 2014, pp. 994-1007
A hybrid approach for scalable sub-tree anonymization over big data using MapReduce on cloud
Xuyun Zhang
,
Chang Liu
,
Surya Nepal
,
Chi Yang
,
Wanchun Dou
,
Jinjun Chen
Journal of Computer and System Sciences
80
(5), 2014, pp. 1008-1020
Internet traffic clustering with side information
Yu Wang
,
Yang Xiang
,
Jun Zhang
,
Wanlei Zhou
,
Bailin Xie
Journal of Computer and System Sciences
80
(5), 2014, pp. 1021-1036
A complexity question in justification logic
Antonis Achilleos
Journal of Computer and System Sciences
80
(6), 2014, pp. 1038-1045
Realizing public announcements by justifications
Samuel Bucheli
,
Roman Kuznets
,
Thomas Studer
Journal of Computer and System Sciences
80
(6), 2014, pp. 1046-1066
Nominal Lawvere Theories: A category theoretic account of equational theories with names
Ranald Clouston
Journal of Computer and System Sciences
80
(6), 2014, pp. 1067-1086
Polynomial hierarchy graph properties in hybrid logic
F.M. Ferreira
,
C.M. Freire
,
M.R.F. Benevides
,
L. Menasché Schechter
,
A.T. Martins
Journal of Computer and System Sciences
80
(6), 2014, pp. 1087-1101
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
Santiago Figueira
,
Daniel Gorín
,
Rafael Grimson
Journal of Computer and System Sciences
80
(6), 2014, pp. 1102-1118
On the determinacy of concurrent games on event structures with infinite winning sets
Julian Gutierrez
,
Glynn Winskel
Journal of Computer and System Sciences
80
(6), 2014, pp. 1119-1137
Multiset rewriting over Fibonacci and Tribonacci numbers
Max Kanovich
Journal of Computer and System Sciences
80
(6), 2014, pp. 1138-1151
A characterization of definability of second-order generalized quantifiers with applications to non-definability
Juha Kontinen
,
Jakub Szymanik
Journal of Computer and System Sciences
80
(6), 2014, pp. 1152-1162
On polymorphic types of untyped terms
Rick Statman
Journal of Computer and System Sciences
80
(6), 2014, pp. 1163-1173
Maximum number of fixed points in AND-OR-NOT networks
J. Aracena
,
A. Richard
,
L. Salinas
Journal of Computer and System Sciences
80
(7), 2014, pp. 1175-1190
Positive Dedalus programs tolerate non-causality
Tom J. Ameloot
,
Jan Van den Bussche
Journal of Computer and System Sciences
80
(7), 2014, pp. 1191-1213
Algorithms and estimators for summarization of unaggregated data streams
Edith Cohen
,
Nick Duffield
,
Haim Kaplan
,
Carstent Lund
,
Mikkel Thorup
Journal of Computer and System Sciences
80
(7), 2014, pp. 1214-1244
Seiten
<
1
2
3
4
>