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 Volume=78
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing optimal outcomes under an expressive representation of settings with externalities
Vincent Conitzer
,
Tuomas Sandholm
Journal of Computer and System Sciences
78
(1), 2012, pp. 2-14
Truthful randomized mechanisms for combinatorial auctions
Shahar Dobzinski
,
Noam Nisan
,
Michael Schapira
Journal of Computer and System Sciences
78
(1), 2012, pp. 15-25
View-based query answering in Description Logics: Semantics and complexity
Diego Calvanese
,
Giuseppe De Giacomo
,
Maurizio Lenzerini
,
Riccardo Rosati
Journal of Computer and System Sciences
78
(1), 2012, pp. 26-46
Conjunctive query answering in the description logic
\mathcal {SH}
using knots
Thomas Eiter
,
Magdalena Ortiz
,
Mantas S̑imkus
Journal of Computer and System Sciences
78
(1), 2012, pp. 47-85
Synonymous theories and knowledge representations in answer set programming
D. Pearce
,
A. Valverde
Journal of Computer and System Sciences
78
(1), 2012, pp. 86-104
Markov network based ontology matching
Sivan Albagli
,
Rachel Ben-Eliyahu-Zohary
,
Solomon E. Shimony
Journal of Computer and System Sciences
78
(1), 2012, pp. 105-118
An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
Alessandro Armando
,
Enrico Giunchiglia
,
Marco Maratea
,
Serena Elisa Ponta
Journal of Computer and System Sciences
78
(1), 2012, pp. 119-141
An improved two-party identity-based authenticated key agreement protocol using pairings
Marko Hölbl
,
Tatjana Welzer
,
Bos̑tjan Brumen
Journal of Computer and System Sciences
78
(1), 2012, pp. 142-150
Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables
Gregory Gutin
,
Leo van Iersel
,
Matthias Mnich
,
Anders Yeo
Journal of Computer and System Sciences
78
(1), 2012, pp. 151-163
A three-string approach to the closest string problem
Zhi-Zhong Chen
,
Bin Ma
,
Lusheng Wang
Journal of Computer and System Sciences
78
(1), 2012, pp. 164-178
Editing graphs to satisfy degree constraints: A parameterized approach
Luke Mathieson
,
Stefan Szeider
Journal of Computer and System Sciences
78
(1), 2012, pp. 179-191
Accurate and precise aggregation counting
Franco P. Preparata
Journal of Computer and System Sciences
78
(1), 2012, pp. 192-197
The tractability frontier for NFA minimization
Henrik Björklund
,
Wim Martens
Journal of Computer and System Sciences
78
(1), 2012, pp. 198-210
A
2k
kernel for the cluster editing problem
Jianer Chen
,
Jie Meng
Journal of Computer and System Sciences
78
(1), 2012, pp. 211-220
Learning finite cover automata from queries
Florentin Ipate
Journal of Computer and System Sciences
78
(1), 2012, pp. 221-244
Scheduling malleable tasks with precedence constraints
Klaus Jansen
,
Hu Zhang
Journal of Computer and System Sciences
78
(1), 2012, pp. 245-259
Optimal sampling from sliding windows
Vladimir Braverman
,
Rafail Ostrovsky
,
Carlo Zaniolo
Journal of Computer and System Sciences
78
(1), 2012, pp. 260-272
A new efficient indexing algorithm for one-dimensional real scaled patterns
Yung-Hsing Peng
,
Chang-Biau Yang
,
Chiou-Ting Tseng
,
Chiou-Yi Hor
Journal of Computer and System Sciences
78
(1), 2012, pp. 273-278
Improved approximation algorithms for Directed Steiner Forest
Moran Feldman
,
Guy Kortsarz
,
Zeev Nutov
Journal of Computer and System Sciences
78
(1), 2012, pp. 279-292
On restricted context-free grammars
Jürgen Dassow
,
Tomás̑ Masopust
Journal of Computer and System Sciences
78
(1), 2012, pp. 293-304
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between
Serge Gaspers
,
Gregory B. Sorkin
Journal of Computer and System Sciences
78
(1), 2012, pp. 305-335
On bounded block decomposition problems for under-specified systems of equations
Matthijs Bomhoff
,
Walter Kern
,
Georg Still
Journal of Computer and System Sciences
78
(1), 2012, pp. 336-347
Generic local computation
Jürg Kohlas
,
Marc Pouly
,
Cesar Schneuwly
Journal of Computer and System Sciences
78
(1), 2012, pp. 348-369
Maintaining awareness using policies; Enabling agents to identify relevance of information
Amir Talaei-Khoei
,
Terje Solvoll
,
Pradeep Ray
,
Nandan Parameshwaran
Journal of Computer and System Sciences
78
(1), 2012, pp. 370-391
A survey of stochastic
\omega
-regular games
Krishnendu Chatterjee
,
Thomas A. Henzinger
Journal of Computer and System Sciences
78
(2), 2012, pp. 394-413
Seiten 1
2
3
4
5
>