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=Theor.~Comput.~Sci. AND Volume=388
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
Optimality and condensing of information flow through linear refinement
Fausto Spoto
Theoretical Computer Science
388
(1-3), 2007, pp. 53-82
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
S4 enriched multimodal categorial grammars are context-free
Andrew R. Plummer
Theoretical Computer Science
388
(1-3), 2007, pp. 173-180
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
Component refinement and CSC-solving for STG decomposition
Mark Schaefer
,
Walter Vogler
Theoretical Computer Science
388
(1-3), 2007, pp. 243-266
Tutorial on separation results in process calculi via leader election problems
Maria Grazia Vigliotti
,
Iain Phillips
,
Catuscia Palamidessi
Theoretical Computer Science
388
(1-3), 2007, pp. 267-289
Selective strictness and parametricity in structural operational semantics, inequationally
Janis Voigtlander
,
Patricia Johann
Theoretical Computer Science
388
(1-3), 2007, pp. 290-318
Belnap's logic and conditional composition
Alban Ponse
,
Mark B. van der Zwaag
Theoretical Computer Science
388
(1-3), 2007, pp. 319-336