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=458
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Rule formats for distributivity
Luca Aceto
,
Matteo Cimini
,
Anna Ingolfsdottir
,
MohammadReza Mousavi
,
Michel A. Reniers
Theoretical Computer Science
458
, 2012, pp. 1-28
A type system for counting instances of software components
Marc Bezem
,
Dag Hovland
,
Hoang Truong
Theoretical Computer Science
458
, 2012, pp. 29-48
Energy parity games
Krishnendu Chatterjee
,
Laurent Doyen
Theoretical Computer Science
458
, 2012, pp. 49-60
A state-based model of sensor protocols
Young-ri Choi
,
Mohamed G. Gouda
Theoretical Computer Science
458
, 2012, pp. 61-75
A complete symbolic bisimulation for full applied pi calculus
Jia Liu
,
Huimin Lin
Theoretical Computer Science
458
, 2012, pp. 76-112
Periodic scheduling of marked graphs using balanced binary words
Jean-Vivien Millo
,
Robert de Simone
Theoretical Computer Science
458
, 2012, pp. 113-130
Finite and infinite implementation of transition systems
Wim H. Hesselink
,
Gerard R. Renardel de Lavalette
Theoretical Computer Science
458
, 2012, pp. 131-135