sign in · help · news · about ·

BibSonomy :: author :: Talcott ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(176)

<< < 1 | 2 | 3 > >>

References, Local Variables and Operational Reasoning
Ian A. Mason, and Carolyn L. Talcott LICS, page 186-197. IEEE Computer Society, (1992)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Axiomatizing Operational Equivalence in the Presence of Side Effects
Ian A. Mason, and Carolyn L. Talcott LICS, page 284-293. IEEE Computer Society, (1989)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
A Control-Flow Analysis for a Calculus of Concurrent Objects.
Paolo Di Blasio, Kathleen Fisher, and Carolyn L. Talcott IEEE Trans. Software Eng. 26(7):617-634 (2000)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Applications of Pathway Logic Modeling to Target Identification.
Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande, and Carolyn L. Talcott Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, page 434-445. Springer, (2011)
to dblp by dblp on Oct 31, 2011, 12:00 AM
URL | BibTeX
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, and Andy Poggio Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, page 110-143. Springer, (2011)
to dblp by dblp on Oct 31, 2011, 12:00 AM
URL | BibTeX
A Formal Methodology for Compositional Cross-Layer Optimization.
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, and Nalini Venkatasubramanian Formal Modeling: Actors, Open Systems, Biological Systems, volume 7000 of Lecture Notes in Computer Science, page 207-222. Springer, (2011)
to dblp by dblp on Oct 31, 2011, 12:00 AM
URL | BibTeX
Reputation-based trust management.
Vitaly Shmatikov, and Carolyn L. Talcott Journal of Computer Security 13(1):167-190 (2005)
to dblp by dblp and 1 other user on Sep 9, 2011, 12:00 AM
URL | BibTeX
Inferring the Equivalence of Functional Programs That Mutate Data.
Ian A. Mason, and Carolyn L. Talcott Theor. Comput. Sci. 105(2):167-215 (1992)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
A Theory of Binding Structures and Applications to Rewriting.
Carolyn L. Talcott Theor. Comput. Sci. 112(1):99-143 (1993)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
A Theory for Program and Data Type Specification.
Carolyn L. Talcott Theor. Comput. Sci. 104(1):129-159 (1992)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Document Logic: Risk analysis of business processes through document authenticity.
S. Iida, Grit Denker, and Carolyn L. Talcott EDOCW, page 54-63. IEEE Computer Society, (2009)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation.
Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, and Carolyn L. Talcott UIC, volume 6905 of Lecture Notes in Computer Science, page 310-325. Springer, (2011)
to dblp by dblp on Aug 25, 2011, 12:00 AM
URL | BibTeX
A Foundation for Actor Computation.
Gul Agha, Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott Journal of Functional Programming 7(1):1-72 (1997)
to Actor Language MacroStep Semantics Theory by gron and 2 other users on Aug 18, 2011, 11:22 AM
URL | BibTeX
Techniques for Executing and Reasoning about Specification Diagrams.
Prasanna Thati, Carolyn L. Talcott, and Gul Agha AMAST, volume 3116 of Lecture Notes in Computer Science, page 521-536. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
A Variable Typed Logic of Effects
Furio Honsell, Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott Inf. Comput. 119(1):55-90 (May 1995)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
From Operational Semantics to Domain Theory.
Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott Inf. Comput. 128(1):26-47 (1996)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management.
Sandeep Uttamchandani, Carolyn L. Talcott, and David Pease DSOM, volume 2867 of Lecture Notes in Computer Science, page 16-27. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, and Carolyn L. Talcott CMSB, volume 2602 of Lecture Notes in Computer Science, page 164-165. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
The Maude 2.0 System.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Carolyn L. Talcott RTA, volume 2706 of Lecture Notes in Computer Science, page 76-87. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, and Steve Zabele FASE, volume 2029 of Lecture Notes in Computer Science, page 333-348. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100