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=Theor.~Comput.~Sci. AND YEAR=2007
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A formal semantics for protocol narrations
Sébastien Briais
,
Uwe Nestmann
Theoretical Computer Science
389
(3), 2007, pp. 484-511
A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange
Konstantinos Chatzikokolakis
,
Catuscia Palamidessi
Theoretical Computer Science
389
(3), 2007, pp. 512-527
The complexity of fixed point models of trust in distributed networks
Karl Krukow
,
Andrew Twigg
Theoretical Computer Science
389
(3), 2007, pp. 528-549
Complete and directed complete
\Omega
-categories
Hongliang Lai
,
Dexue Zhang
Theoretical Computer Science
388
(1-3), 2007, pp. 1-25
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
Dominique Geniet
,
Gaëlle Largeteau
Theoretical Computer Science
388
(1-3), 2007, pp. 26-52
Modular construction of complete coalgebraic logics
Corina Cîrstea
,
Dirk Pattinson
Theoretical Computer Science
388
(1-3), 2007, pp. 83-108
Fibrations and universal view updatability
Michael Johnson
,
Robert Rosebrugh
Theoretical Computer Science
388
(1-3), 2007, pp. 109-129
Algebras with parametrized iterativity
Jiȓí Adámek
,
Stefan Milius
,
Jiȓí Velebil
Theoretical Computer Science
388
(1-3), 2007, pp. 130-151
Domain-theoretical models of parametric polymorphism
L. Birkedal
,
R.E. Mgelberg
,
R.L. Petersen
Theoretical Computer Science
388
(1-3), 2007, pp. 152-172
Concurrent games with tail objectives
Krishnendu Chatterjee
Theoretical Computer Science
388
(1-3), 2007, pp. 181-198
Control of discrete-event systems with modular or distributed structure
Jan Komenda
,
Jan H. van Schuppen
Theoretical Computer Science
388
(1-3), 2007, pp. 199-226
Verification of Boolean programs with unbounded thread creation
Byron Cook
,
Daniel Kroening
,
Natasha Sharygina
Theoretical Computer Science
388
(1-3), 2007, pp. 227-242
Learning attribute-efficiently with corrupt oracles
Rotem Bennet
,
Nader H. Bshouty
Theoretical Computer Science
387
(1), 2007, pp. 32-50
A general comparison of language learning from examples and from queries
Sanjay Jain
,
Steffen Lange
,
Sandra Zilles
Theoretical Computer Science
387
(1), 2007, pp. 51-66
Learning multiple languages in groups
Sanjay Jain
,
Efim Kinber
Theoretical Computer Science
387
(1), 2007, pp. 67-76
Enumeration and generation with a string automata representation
Marco Almeida
,
Nelma Moreira
,
Rogério Reis
Theoretical Computer Science
387
(2), 2007, pp. 93-102
Regulated RNA rewriting: Modelling RNA editing with guided insertion
Franziska Biegler
,
Michael J. Burrell
,
Mark Daley
Theoretical Computer Science
387
(2), 2007, pp. 103-112
An infinite hierarchy induced by depth synchronization
Franziska Biegler
,
Ian McQuillan
,
Kai Salomaa
Theoretical Computer Science
387
(2), 2007, pp. 113-124
On the existence of regular approximations
Brendan Cordy
,
Kai Salomaa
Theoretical Computer Science
387
(2), 2007, pp. 125-135
On the number of components for some parallel communicating grammar systems
Jürgen Dassow
,
Bianca Truthe
Theoretical Computer Science
387
(2), 2007, pp. 136-146
Transition complexity of language operations
Michael Domaratzki
,
Kai Salomaa
Theoretical Computer Science
387
(2), 2007, pp. 147-154
On the average state and transition complexity of finite languages
Hermann Gruber
,
Markus Holzer
Theoretical Computer Science
387
(2), 2007, pp. 155-166
The size of Higman-Haines sets
Hermann Gruber
,
Markus Holzer
,
Martin Kutrib
Theoretical Computer Science
387
(2), 2007, pp. 167-176
Quantum automata for some multiperiodic languages
Carlo Mereghetti
,
Beatrice Palano
Theoretical Computer Science
387
(2), 2007, pp. 177-186
Burrows-Wheeler compression: Principles and reflections
Peter Fenwick
Theoretical Computer Science
387
(3), 2007, pp. 200-219
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>