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=Theory of Computing Systems AND YEAR=2013
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Querying probabilistic business processes for sub-flows
Daniel Deutch
Theory of Computing Systems
52
(3), 2013, pp. 367-402
Knowledge compilation meets database theory: Compiling queries to decision diagrams
Abhay Jha
,
Dan Suciu
Theory of Computing Systems
52
(3), 2013, pp. 403-440
Data cleaning and query answering with matching dependencies and matching functions
Leopoldo Bertossi
,
Solmaz Kolahi
,
Laks V.S. Lakshmanan
Theory of Computing Systems
52
(3), 2013, pp. 441-482
Relaxed notions of schema mapping equivalence revisited
Reinhard Pichler
,
Emanuel Sallinger
,
Vadim Savenkov
Theory of Computing Systems
52
(3), 2013, pp. 483-541
Generating, sampling and counting subclasses of regular tree languages
Timos Antonopoulos
,
Floris Geerts
,
Wim Martens
,
Frank Neven
Theory of Computing Systems
52
(3), 2013, pp. 542-585
On rationality of verbal subsets in a group
A. Myasnikov
,
V. Roman'kov
Theory of Computing Systems
52
(4), 2013, pp. 587-598
The rank-width of edge-coloured graphs
Mamadou Moustapha Kanté
,
Michael Rao
Theory of Computing Systems
52
(4), 2013, pp. 599-644
Colorings with few colors: Counting, enumeration and combinatorial bounds
Jean-Francois Couturier
,
Petr A. Golovach
,
Dieter Kratsch
Theory of Computing Systems
52
(4), 2013, pp. 645-667
Improved lower bounds on the price of stability of undirected network design games
Vittorio Bilò
,
Ioannis Caragiannis
,
Angelo Fanelli
Theory of Computing Systems
52
(4), 2013, pp. 668-686
Partition into triangles on bounded degree graphs
Johan M.M. van Rooij
,
Marcel E. van Kooten Niekerk
Theory of Computing Systems
52
(4), 2013, pp. 687-718
Parameterized complexity of satisfying almost all linear equations over
\mathbb F_2
R. Crowston
,
G. Gutin
,
M. Jones
,
A. Yeo
Theory of Computing Systems
52
(4), 2013, pp. 719-728
Built-in coloring for highly-concurrent doubly-linked lists
Hagit Attiya
,
Eshcar Hillel
Theory of Computing Systems
52
(4), 2013, pp. 729-762
Collusion in atomic splittable routing games
Chien-Chung Huang
Theory of Computing Systems
52
(4), 2013, pp. 763-801
Seiten
<
1
2
3