( en | de | ru )

 

Disambiguation of "Talcott, Carolyn L."

Author of the publication

copydeleteadd this publication to your clipboard
Practical Techniques for Language Design and Prototyping.

, and . Foundations of Global Computing, volume 05081 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carolyn Lerche

Carolyn Schaller

Carolyn Weber

Carolyn Hinz

Carolyn Grone

 

Other publications of authors with the same name

Inferring the Equivalence of Functional Programs That Mutate Data., and . Theor. Comput. Sci., 105 (2): 167-215 (1992)Predefined Data Modules., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)A Sampler of Application Areas., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Introduction., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Metaprogramming Applications., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach., , , , and . PACBB, volume 477 of Advances in Intelligent Systems and Computing, page 173-181. Springer, (2016)Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders., , and . ESORICS (2), volume 9879 of Lecture Notes in Computer Science, page 450-470. Springer, (2016)Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures., and . TASE, volume 13931 of Lecture Notes in Computer Science, page 1-19. Springer, (2023)José Meseguer: Scientist and Friend Extraordinaire., , and . Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 1-47. Springer, (2015)Specification Diagrams for Actor Systems., and . High. Order Symb. Comput., 15 (4): 301-348 (2002)