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=365
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Transposing partial components - An exercise on coalgebraic refinement
Luís S. Barbosa
,
José N. Oliveira
Theoretical Computer Science
365
(1-2), 2006, pp. 2-22
Creol: A type-safe object-oriented model for distributed concurrent systems
Einar Broch Johnsen
,
Olaf Owe
,
Ingrid Chieh Yu
Theoretical Computer Science
365
(1-2), 2006, pp. 23-66
Games with secure equilibria
Krishnendu Chatterjee
,
Thomas A. Henzinger
,
Marcin Jurdziński
Theoretical Computer Science
365
(1-2), 2006, pp. 67-82
Switched PIOA: Parallel composition via distributed scheduling
Ling Cheung
,
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager
Theoretical Computer Science
365
(1-2), 2006, pp. 83-108
rCOS: A refinement calculus of object systems
He Jifeng
,
Xiaoshan Li
,
Zhiming Liu
Theoretical Computer Science
365
(1-2), 2006, pp. 109-142
Towards imperative modules: Reasoning about invariants and sharing of mutable state
David A. Naumann
,
Mike Barnett
Theoretical Computer Science
365
(1-2), 2006, pp. 143-168
Projective topology on bifinite domains and applications
Samy Abbes
,
Klaus Keimel
Theoretical Computer Science
365
(3), 2006, pp. 171-183
Computational topology for isotopic surface reconstruction
K. Abe
,
J. Bisceglio
,
D.R. Ferguson
,
T.J. Peters
,
A.C. Russell
,
T. Sakkalis
Theoretical Computer Science
365
(3), 2006, pp. 184-198
Cubical local partial orders on cubically subdivided spaces - Existence and construction
Lisbeth Fajstrup
Theoretical Computer Science
365
(3), 2006, pp. 199-205
A spatial view of information
Jonathan Gratus
,
Timothy Porter
Theoretical Computer Science
365
(3), 2006, pp. 206-215
Two categories of effective continuous cpos
G. Hamrin
,
V. Stoltenberg-Hansen
Theoretical Computer Science
365
(3), 2006, pp. 216-236
Partial quasi-metrics
H.-P.A. Künzi
,
H. Pajoohesh
,
M.P. Schellekens
Theoretical Computer Science
365
(3), 2006, pp. 237-246
Deadlocks and dihomotopy in mutual exclusion models
Martin Rauss̈en
Theoretical Computer Science
365
(3), 2006, pp. 247-257
Towards a descriptive set theory for domain-like structures
Victor L. Selivanov
Theoretical Computer Science
365
(3), 2006, pp. 258-282