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
[1]
Hilfe
Suche: Author="Talcott, Carolyn"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Large-scale access scheduling in wireless mesh networks using social centrality
Di Wu
,
Lichun Bao
,
Amelia C. Regan
,
Carolyn L. Talcott
Journal Parallel Distributed Computing
73
(8), 2013, pp. 1049-1065
The pathalyzer: A tool for analysis of signal transduction pathways
David L. Dill
,
Merrill A. Knapp
,
Pamela Gage
,
Carolyn Talcott
,
Keith Laderoute
,
Patrick Lincoln
LNCS/LNBI
4023
, 2007, pp. 11-22
Actor theories in rewriting logic
Carolyn Talcott
Theoretical Computer Science
285
(2), 2002, pp. 441-485
Contents and abstracts of the electronic notes in Theoretical Computer Science Vol. 10
Andrew Gordon
,
Andrew Pitts
,
Carolyn Talcott
Theoretical Computer Science
230
(1-2), 2000, pp. 275-284
Actor languages - Their syntax, semantics, translation, and equivalence
Ian A. Mason
,
Carolyn L. Talcott
Theoretical Computer Science
220
(2), 1999, pp. 409-467
A semantics preserving actor translation
Ian A. Mason
,
Carolyn L. Talcott
Lecture Notes in Computer Science
1256
, 1997, pp. 369-378
From operational semantics to domain theory
Ian A. Mason
,
Scott F. Smith
,
Carolyn L. Talcott
Information and Computation
128
(1), 1996, pp. 26-47
A variable typed logic of effects
Furio Honsell
,
Ian A. Mason
,
Scott Smith
,
Carolyn Talcott
Information and Computation
119
(1), 1995, pp. 55-90
Reasoning about object systems in VTLoE
Ian Mason
,
Carolyn Talcott
International Journal of Foundations of Computer Science
6
(3), 1995, pp. 265-298
A theory of binding structures and applications to rewriting
Carolyn Talcott
Theoretical Computer Science
112
, 1993, pp. 99-143
Inferring the equivalence of functional programs that mutate data
Ian Mason
,
Carolyn Talcott
Theoretical Computer Science
105
, 1992, pp. 167-215
A theory for program and data type specification
Carolyn Talcott
Theoretical Computer Science
104
, 1992, pp. 129-159