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=J. Comput.~Syst.~Sci. AND YEAR=2014
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
String analysis by sliding positioning strategy
Manuel Baena-García
,
José M. Carmona-Cejudo
,
Rafael Morales-Bueno
Journal of Computer and System Sciences
80
(1), 2014, pp. 3-15
Three-objective subgraph mining using multiobjective evolutionary programming
Prakash Shelokar
,
Arnaud Quirin
,
Óscar Cordón
Journal of Computer and System Sciences
80
(1), 2014, pp. 16-26
WCOID-DG: An approach for case base maintenance based on Weighting, Clustering, Outliers, Internal Detection and Dbsan-Gmeans
Abir Smiti
,
Zied Elouedi
Journal of Computer and System Sciences
80
(1), 2014, pp. 27-38
Hierarchical multi-label classification using local neural networks
Ricardo Cerri
,
Rodrigo C. Barros
,
André C.P.L.F. de Carvalho
Journal of Computer and System Sciences
80
(1), 2014, pp. 39-56
Predicting user personality by mining social interactions in Facebook
Alvaro Ortigosa
,
Rosa M. Carro
,
José Ignacio Quiroga
Journal of Computer and System Sciences
80
(1), 2014, pp. 57-71
Mixing local and global information for community detection in large networks
Pasquale De Meo
,
Emilio Ferrara
,
Giacomo Fiumara
,
Alessandro Provetti
Journal of Computer and System Sciences
80
(1), 2014, pp. 72-87
Bootstrap analysis of multiple repetitions of experiments using an interval-valued multiple comparison procedure
José Otero
,
Luciano Sánchez
,
Inés Couso
,
Ana Palacios
Journal of Computer and System Sciences
80
(1), 2014, pp. 88-100
A feature construction approach for genetic iterative rule learning algorithm
David García
,
Antonio González
,
Raúl Pérez
Journal of Computer and System Sciences
80
(1), 2014, pp. 101-117
Discovering gene association networks by multi-objective evolutionary quantitative association rules
M. Martínez-Ballesteros
,
I.A. Nepomuceno-Chamorro
,
J.C. Riquelme
Journal of Computer and System Sciences
80
(1), 2014, pp. 118-136
Branching-time model-checking of probabilistic pushdown automata
Tomás̑ Brázdil
,
Václav Broz̑ek
,
Vojtȇch Forejt
,
Antonín Kuc̑era
Journal of Computer and System Sciences
80
(1), 2014, pp. 139-156
Parameterized complexity of connected even/odd subgraph problems
Fedor V. Fomin
,
Petr A. Golovach
Journal of Computer and System Sciences
80
(1), 2014, pp. 157-179
Lower bounds on the complexity of
MSO_1
model-checking
Robert Ganian
,
Petr Hlinȇný
,
Alexander Langer
,
Jan Obdrz̑álek
,
Peter Rossmanith
,
Somnath Sikdar
Journal of Computer and System Sciences
80
(1), 2014, pp. 180-194
A lightweight dynamic pseudonym identity based authentication and key agreement protocol without verification tables for multi-server architecture
Kaiping Xue
,
Peilin Hong
,
Changsha Ma
Journal of Computer and System Sciences
80
(1), 2014, pp. 195-206
Effective computation of immersion obstructions for unions of graph classes
Archontia C. Giannopoulou
,
Iosif Salem
,
Dimitris Zoros
Journal of Computer and System Sciences
80
(1), 2014, pp. 207-216
The complexity of complex weighted boolean \#CSP
Jin-Yi Cai
,
Pinyan Lu
,
Mingji Xia
Journal of Computer and System Sciences
80
(1), 2014, pp. 217-236
A possibility degree method for interval-valued intuitionistic fuzzy multi-attribute group decision making
Shuping Wan
,
Jiuying Dong
Journal of Computer and System Sciences
80
(1), 2014, pp. 237-256
On speculative replication of transactional systems
Paolo Romano
,
Roberto Palmieri
,
Francesco Quaglia
,
Nuno Carvalho
,
Luis Rodrigues
Journal of Computer and System Sciences
80
(1), 2014, pp. 257-276
The complexity of weighted counting for acyclic conjunctive queries
Arnaud Durand
,
Stefan Mengel
Journal of Computer and System Sciences
80
(1), 2014, pp. 277-296
Search methods for tile sets in patterned DNA self-assembly
Mika Göös
,
Tuomo Lempiäinen
,
Eugen Czeizler
,
Pekka Orponen
Journal of Computer and System Sciences
80
(1), 2014, pp. 297-319
An approach for lifetime reliability analysis using theorem proving
Naeem Abbasi
,
Osman Hasan
,
Sofiène Tahar
Journal of Computer and System Sciences
80
(2), 2014, pp. 323-345
A mechanisation of some context-free language theory in HOL4
Aditi Barthwal
,
Michael Norrish
Journal of Computer and System Sciences
80
(2), 2014, pp. 346-362
A representation theorem for (
q
-)holonomic sequences
T. Kotek
,
J.A. Makowsky
Journal of Computer and System Sciences
80
(2), 2014, pp. 363-374
Branching-time logics with path relativisation
Markus Latte
,
Martin Lange
Journal of Computer and System Sciences
80
(2), 2014, pp. 375-389
Displacement logic for anaphora
Glyn Morrill
,
Oriol Valentín
Journal of Computer and System Sciences
80
(2), 2014, pp. 390-409
Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions
R.H.S. Reiser
,
B.C. Bedregal
,
G.A.A. dos Reis
Journal of Computer and System Sciences
80
(2), 2014, pp. 410-425
Seiten 1
2
3
4
>