Carolyn Talcott | Academic Influence

Carolyn Talcott's AcademicInfluence.com Rankings

Carolyn Talcott

Computer Science

#941

World Rank

#976

Historical Rank

#511

USA Rank

Artificial Intelligence

#177

World Rank

#181

Historical Rank

#79

USA Rank

Database

#3116

World Rank

#3247

Historical Rank

#598

USA Rank

computer-science Degrees

Download Badge

Computer Science

Carolyn Talcott's Degrees

PhD Computer Science Stanford University
Masters Computer Science Stanford University
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Why Is Carolyn Talcott Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Carolyn Talcott is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.

(See a Problem?)

Carolyn Talcott's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic (2007) (1002)
A foundation for actor computation (1997) (525)
The Maude 2.0 System (2003) (323)
Equivalence in functional languages with effects (1991) (187)
Towards a Theory of Actor Computation (1992) (127)
Pathway Logic: Executable Models of Biological Networks (2004) (106)
Cyber-Physical Systems and Events (2008) (105)
Reputation-based trust management (2005) (93)
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems (1994) (90)
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing (2017) (84)
Computational databases, pathway and cheminformatics tools for tuberculosis drug discovery. (2011) (80)
Electron spin resonance spectra of the radical anions of pyridine and related nitrogen heterocyclics (1967) (77)
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude (2001) (73)
Pathway logic modeling of protein functional domains in signal transduction (2003) (72)
Interaction Semantics for Components of Distributed Systems (1997) (71)
A Variable Typed Logic of Effects (1995) (69)
Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery (2015) (68)
Integrated analysis of breast cancer cell lines reveals unique signaling pathways (2009) (68)
From Operational Semantics to Domain Theory (1996) (65)
Semantic Models for Distributed Object Reflection (2002) (61)
Composable Semantic Models for Actor Theories (1997) (61)
Reasoning about meta level activities in open distributed systems (1995) (59)
A Theory of Binding Structures and Applications to Rewriting (1993) (59)
Pathway Logic (2008) (58)
Policy-Based Cognitive Radios (2007) (57)
Formal modeling of evolving self-adaptive systems (2012) (53)
Formal specification and analysis of active networks and communication protocols: the Maude experience (2000) (53)
Scalable Distributed Garbage Collection for Systems of Active Objects (1992) (52)
References, local variables and operational reasoning (1992) (52)
Analyzing Pathways Using SAT-Based Approaches (2007) (47)
Electrolytic tritium production (1990) (46)
Programming, Transforming, and Providing with Function Abstractions and Memories (1989) (46)
A formal model for reasoning about adaptive QoS-enabled middleware (2001) (45)
Axiomatizing operational equivalence in the presence of side effects (1989) (44)
CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies (2007) (44)
Resilient dependable cyber-physical systems: a middleware perspective (2012) (44)
Inferring the Equivalence of Functional Programs That Mutate Data (1992) (43)
An actor rewriting theory (1996) (43)
Actor Languages Their Syntax, Semantics, Translation, and Equivalence (1999) (39)
Plan in Maude: Specifying an Active Network Programming Language (2004) (36)
Multiple Representations of Biological Processes (2006) (34)
Rewriting Semantics of Meta-Objects and Composable Distributed Services (2000) (33)
FSR: formal analysis and implementation toolkit for safe interdomain routing (2011) (33)
Unification and Narrowing in Maude 2.4 (2009) (33)
FSR: Formal Analysis and Implementation Toolkit for Safe Interdomain Routing (2011) (32)
Reasoning about functions with effects (1999) (32)
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems (2010) (31)
Combining Cheminformatics Methods and Pathway Analysis to Identify Molecules with Whole-Cell Activity Against Mycobacterium Tuberculosis (2012) (30)
Specification Diagrams for Actor Systems (1998) (30)
A Rewriting Logic Framework for Soft Constraints (2007) (30)
Gas phase kinetics of the reactions of Na and NaO with O3 and N2O (1986) (30)
A Theory for Program and Data Type Specification (1990) (30)
The Pathway Logic Assistant (2005) (28)
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders (2016) (28)
Toward Distributed Declarative Control of Networked Cyber-Physical Systems (2010) (28)
Large-scale access scheduling in wireless mesh networks using social centrality (2013) (27)
A Partial Order Event Model for Concurrent Objects (1999) (26)
Symbolic Modeling of Signal Transduction in Pathway Logic (2006) (25)
Actor theories in rewriting logic (2002) (25)
A Variable Typed Logic of E ects (1993) (24)
xTune: A formal methodology for cross-layer tuning of mobile embedded systems (2012) (24)
A Semantically Sound Actor Tranlsation (1997) (23)
A sound and complete axiomatization of operational equivalence of programs with memory (1989) (23)
Analyzing BGP Instances in Maude (2011) (22)
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways (2005) (22)
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision (2011) (21)
Formal Methods for Open Object-Based Distributed Systems IV (2000) (21)
Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search (2017) (21)
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems (2007) (21)
A distributed logic for Networked Cyber-Physical Systems (2011) (20)
Comparing three coordination models: Reo, ARC, and PBRD (2008) (20)
Specification and Analysis of a Reliable Broadcasting Protocol in Maude (1999) (20)
Gas phase studies of Na diffusion in He and Ar and kinetics of Na+Cl2 and Na+SF6 (1986) (20)
Quantitative and Probabilistic Modeling in Pathway Logic (2007) (19)
A metaarchitecture for distributed resource management (1993) (19)
A rewriting framework and logic for activities subject to regulations (2015) (18)
A Rewriting Framework for Activities Subject to Regulations (2012) (18)
Coordination Models Based on a Formal Model of Distributed Object Reflection (2006) (18)
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (2016) (18)
A Framework for Analyzing Adaptive Autonomous Aerial Vehicles (2017) (18)
The essence of Rum: a theory of the intensional and extensional aspects of lisp-type computation (1985) (17)
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude (2004) (17)
The Cyclononatetraene Anion Radical (1966) (17)
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (2015) (17)
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols (2015) (17)
Reduction-Based Formal Analysis of BGP Instances (2012) (17)
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude (2018) (17)
Policy-based Coordination in PAGODA: A Case Study (2007) (16)
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 (2011) (16)
Simple Network Protocol Simulation within Maude (2000) (15)
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems (2016) (15)
Reasoning About Object Systems in VTLoE (1995) (15)
Time, computational complexity, and probability in the analysis of distance-bounding protocols (2017) (15)
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman : Lecture Notes in Logic 15 (2002) (14)
Composing Model-Based Analysis Tools (2021) (14)
Modular Reasoning for Actor Specification Diagrams (1999) (14)
A Compositional Framework for Preference-Aware Agents (2016) (14)
Exploring adaptability of secure group communication using formal prototyping techniques (2004) (14)
A Sound and Complete Axiomatization of OperationalEquivalence between Programs with Memory (1989) (13)
Programming and proving with function and control abstractions (1989) (13)
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters (2007) (13)
Reflections on the Foundations of Mathematics Essays in Honor of Solomon Feferman (2016) (12)
Resource-Bounded Intruders in Denial of Service Attacks (2019) (12)
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems (2016) (12)
Application patterns for cyber-physical systems (2013) (12)
A Graphical User Interface for Maude-NPA (2009) (12)
In silico systems biology approaches for the identification of antimicrobial targets. (2013) (12)
Analyzing a Discrete Model of Aplysia Central Pattern Generator (2008) (12)
Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information (2019) (11)
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation (2008) (11)
Practical Techniques for Language Design and Prototyping (2005) (11)
Eos: An Approach of Using Behavior Implications for Policy-Based Self-Management (2003) (11)
A Semantic Framework for Modeling and Reasoning about Reflective Middleware (2001) (11)
Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore (1989) (11)
Techniques for Executing and Reasoning about Specification Diagrams (2004) (11)
A semantics preserving actor translation (1997) (10)
Can Actors and pi-Agents Live Together? (1998) (10)
Binding Structures (1991) (10)
In Silico Pathway Analysis Predicts Metabolites that are Potential Antimicrobial Targets (2011) (10)
Formal Checklists for Remote Agent Dependability (2004) (10)
Rum. An Intensional Theory of Function and Control Abstractions (1986) (10)
Combining Metabolite-Based Pharmacophores with Bayesian Machine Learning Models for Mycobacterium tuberculosis Drug Discovery (2015) (10)
Towards Timed Models for Cyber-Physical Security Protocols (2014) (9)
A reduction-based approach towards scaling up formal analysis of internet configurations (2014) (9)
Inferring Executable Models from Formalized Experimental Evidence (2015) (9)
Formal Executable Models of Cell Signaling Primitives (2006) (9)
Document Logic: Risk analysis of business processes through document authenticity (2009) (9)
Debye-Waller factors of PdDx materials by neutron powder diffraction☆ (1992) (9)
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control (2020) (9)
A Control-Flow Analysis for a Calculus of Concurrent Objects (2000) (8)
Program Transformation via Contextual Assertions (1994) (8)
Reduction-based analysis of BGP systems with BGPVerif (2012) (8)
Hierarchical garbage collection in scalable distributed systems (1992) (8)
Reasoning about Functions with Eeects (1997) (8)
2 REALISM AND THE DEBATE ON IMPREDICATIVITY, 1917–1944 (2013) (8)
A Theory of Classes for a Functional Language with Effects (1992) (8)
Rewriting Logic Systems (2007) (8)
Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols (2018) (8)
A Semantic Framework for Reconfiguration of Instrumented Cyber Physical Spaces (2007) (8)
Towards an automated assistant for clinical investigations (2012) (7)
Predicativity: The outer limits (2016) (7)
Integration of Resource Management Activities in Distributed Systems (1995) (7)
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications (2022) (7)
Soft component automata: Composition, compilation, logic, and verification (2019) (7)
Towards a Toolkit for Actor System Specification (2000) (7)
Reasoning Theories (2001) (7)
Formal Security Verification of Industry 4.0 Applications (2019) (7)
Computing minimal nutrient sets from metabolic networks via linear constraint solving (2013) (7)
String-Functional Semantics for Formal Verification of Synchronous Circuits (1988) (7)
Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View (1990) (7)
Journal of Logical and Algebraic Methods in Programming A semantic model for interacting cyber-physical systems (2022) (7)
Reasoning about Programs With Effects (1990) (7)
Brief announcement: a calculus of policy-based routing systems (2012) (6)
Understanding signalling networks as collections of signal transduction pathways (2010) (6)
Maude as a wide-spectrum framework for formal modeling and analysis of active networks (2002) (6)
A Semantic Model for Interacting Cyber-Physical Systems (2021) (6)
Achieving resilience of heterogeneous networks through predictive, formal analysis (2013) (6)
The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction (2016) (6)
The Logic of FOL Systems: Formulated in Set Theory (1994) (6)
Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic (2015) (6)
LTL Model Checking (2007) (6)
A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols (2019) (6)
An NQTHM mechanization of An Exercise in the Verification of Multi-Process Programs (1991) (6)
Explaining Response to Drugs Using Pathway Logic (2017) (6)
A Logic Computational Framework to Query Dynamics on Complex Biological Pathways (2014) (6)
Intentional Forgetting (2021) (6)
Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data (2018) (6)
Symbolic Systems Biology and Pathway Logic (2008) (6)
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing (2014) (5)
Logic, Rewriting, and Concurrency (2015) (5)
Computing with Contexts (5)
Role of Nerve Growth Factor Signaling in Cancer Cell Proliferation and Survival Using a Reachability Analysis Approach (2016) (5)
Executable Symbolic Models of Neural Processes (2007) (5)
Mapping OMRS to rewriting logic (1998) (5)
Resource and timing aspects of security protocols (2021) (5)
Explicit mathematics with monotone inductive definitions: A survey (2016) (5)
Pathway logic helping biologists understand and organize pathway information (2005) (5)
Automating Safety Proofs About Cyber-Physical Systems Using Rewriting Modulo SMT (2022) (5)
Composing and Controlling Search in Reasoning Theories Using Mappings (2000) (5)
Reflection, Metalevel Computation, and Strategies (2007) (4)
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data (2019) (4)
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems (2020) (4)
Analysis for concurrent objects (1997) (4)
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report (2021) (4)
On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann (2010) (4)
Symbolic Timed Trace Equivalence (2019) (4)
A Formal Framework for Goal Net Analysis (2005) (4)
A Simplifier for Untyped Lambda Expressions (1990) (4)
Using Abstract Resources to Control Reasoning (1998) (4)
Memories of S-expressions Proving properties of Lisp-like programs that destructively alter memory (1985) (4)
Tailoring group membership consistency for mobile networks (2011) (4)
A study of electrolytic tritium production (1990) (4)
Proceedings of the 5th International Conference on Coordination Models and Languages (2002) (4)
Reverse Inference in Symbolic Systems Biology (2017) (3)
Mechanized Reasoning Systems : a Preliminary Report ? (1998) (3)
A Component-Oriented Framework for Autonomous Agents (2017) (3)
Composable QoS-Based Distributed Resource Management (1998) (3)
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude (2003) (3)
Coordination Languages and Models: Proc. Coordination 2002 (2002) (3)
Adaptive Interest Modeling Improves Content Services at the Network Edge (2014) (3)
Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge (2014) (3)
Can we mitigate the attacks on Distance-Bounding Protocols by using challenge-response rounds repeatedly ? (2016) (3)
Feferman-Landin Logic (2016) (3)
Feferman-Landin Logic (2016) (3)
Proceedings of the ACM SIGPLAN Workshop on Continuations CW92 (1993) (3)
Two Decades of Maude (2015) (3)
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (2009) (3)
A Hierarchy of Data Types: From Trees to Sets (2007) (3)
Functional Modules (2007) (3)
A Formal Framework for Interactive Agents (2008) (3)
Computational complexity and induction for partial computable functions in type theory (2016) (3)
On Security Analysis of Periodic Systems: Expressiveness and Complexity (2021) (2)
Runtime Composition Of Systems of Interacting Cyber-Physical Components (2022) (2)
Computability theory: structure or algorithms (2016) (2)
Logic-based Analysis of Gene Expression Data Predicts Association Between TNF, TGFB1 and EGF Pathways in Basal-like Breast Cancer. (2020) (2)
Uranium hydrogeochemical and stream sediment reconnaissance of the Bozeman NTMS quadrangle, Montana, including concentrations of forty-two additional elements (1980) (2)
Pervasive Sensing and Monitoring for Situational Awareness (2012) (2)
Full Maude: Extending Core Maude (2007) (2)
Symbolic Timed Observational Equivalence (2018) (2)
Compliance in Real Time Multiset Rewriting Models (2018) (2)
Towards a Theory of Binding Structures: An Abstract Algebra (1991) (2)
Internal finite tree embeddings (2016) (2)
Programming in QLisp (1990) (2)
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation (2011) (2)
Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation (2006) (2)
Spectral Decomposition of Signaling Networks (2006) (2)
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description) (2022) (2)
Applications of Pathway Logic Modeling to Target Identification (2011) (2)
Formal specification of multisimulations using Maude (2012) (2)
Relating ordinals to proofs in a perspicuous way (2016) (2)
Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model (2020) (2)
A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services (2002) (2)
Program transformations for configuring components (1991) (2)
A Logic Level Specification of the NQTHM Simplification Process (1997) (2)
Tailoring consistency in group membership for mobile networks (2014) (2)
Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481) (2019) (2)
SeCG: Serendipity enabled cyber games project (2014) (1)
Predefined Data Modules (2007) (1)
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings (2002) (1)
A semantic model for safe protocol interaction (2006) (1)
Maude: A Wide Spectrum Language for Secure Active Networks (2002) (1)
A Foundation for Actor Computation Contents 1 Introduction 2 1.1 Overview 3 1.2 Related Work 5 2 Our Actor Language (1993) (1)
Composition of Languages, Models, and Analyses (2021) (1)
Some Tools (2019) (1)
A Reflective Framework for Providing Safe QoS-enabled Customizable Middleware (2007) (1)
On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems (2022) (1)
A Formal Methodology for Compositional Cross-Layer Optimization (2011) (1)
From Soft Agents to Soft Component Automata and Back (2018) (1)
Mobile Maude (2007) (1)
Introduction (2007) (1)
A probabilistic approximate logic for neuro-symbolic learning and reasoning (2022) (1)
Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware (2010) (1)
Erratum to: Formal Methods for OpenObject-Based Distributed Systems IV (2000) (1)
Specication and Analysis of the AER/NCA Active Network Protocol Suite in (2001) (1)
Strain and Particle Size of Palladium Metal Powders by Time-of-Flight Neutron Diffraction (1989) (1)
Transcriptional Response of SK-N-AS Cells to Methamidophos (2019) (1)
Complete List of Maude Commands (2007) (1)
Maude (2000) (1)
Debugging and Troubleshooting (2007) (1)
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine (2019) (1)
System Modules (2007) (1)
Open architectures for formal reasoning and deductive technologies for software development (1994) (0)
What ’ s New in Maude 2 . 4 (2007) (0)
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (2020) (0)
A Rewriting Framework for Interacting Cyber-Physical Agents (2022) (0)
José Meseguer: Scientist and Friend Extraordinaire (2015) (0)
Editorial (1999) (0)
SYMBOLICMODELING OF SIGNALTRANSDUCTIONINPATHWAY LOGIC (2006) (0)
Lectures on the Logic of Computer Programming (Zohar Manna) (1981) (0)
The cost of communication protocols and coordination languages in embedded systems (2002) (0)
Editorial (1999) (0)
HOOTS II Second Workshop on Higher-Order Operational Techniques in Semantics. Volume 10 (1997) (0)
Metaprogramming Applications (2007) (0)
Chapter 2 In Silico Systems Biology Approaches for the Identi fi cation of Antimicrobial Targets (2019) (0)
Conclusion (2021) (0)
{66 () Composable Semantic Models for Actor Theories (1998) (0)
On extensionality, uniformity and comprehension in the theories of operations and classes (2016) (0)
Welcome message from the WCPS2008 co-chairs (2008) (0)
On the Complexity of Verifying Cyber-Physical Security Protocols (2014) (0)
Resilient dependable cyber-physical systems: a middleware perspective (2012) (0)
Editorial (2009) (0)
Spectral Decomposition ofSignaling Networks (2007) (0)
Editorial (2000) (0)
Model Checking Invariants Through Search (2007) (0)
SERENDIPITY enabled CYBER GAMES (SeCG) (2013) (0)
Preface (1989) (0)
A Formal Framework for Distributed Cyber-Physical Systems (2022) (0)
User Interfaces and Metalanguage Applications (2007) (0)
Open Mechanized Reasoning Systems Proposal to Nsf Principal Investigator Participating Investigators (1992) (0)
Introduction (1999) (0)
Analyzing BGP Gadgets in Maude (2011) (0)
Interoperability via Architecture U.s. Partners Brazilian Partner Previous Interactions Bio and Indication of Submission to Cnpq from Brazilian Partner See Attached. Mathematical and Engineering Foundations for Interoperability via Architecture (1998) (0)
Specifying Parameterized Data Structures in Maude (2007) (0)
A MetaArchitecture for QoS-Based Distributed Resource Management (2004) (0)
Semantic interoperation of open systems (2000) (0)
Introduction (2021) (0)
Editorial (2006) (0)
A Reeective Framework for Formal Interoperability Introduction (ii) Introduction (iii) (2007) (0)
Modelling Resource and Timing Aspects of Security Protocols (2020) (0)
Reputation-Based Trust Management (extended abstract) (2003) (0)
Protease networks and pathway interconnectivity in Gram‐positive bacteria (2011) (0)
The Immune System: the ultimate fractionated cyber-physical system (2013) (0)
From Operational Semantics to Domain TheoryIan (1995) (0)
C Proof of Theorem 4 . 1 a Proof of Theorem 3 . 1 (1994) (0)
Editorial (2006) (0)
Detection and diagnosis of deviations in distributed systems of autonomous agents (2022) (0)
Object-Based Programming (2007) (0)
Overview of Challenges in Composing Model-Based Analysis Tools (2021) (0)
Editorial (2007) (0)
The epsilon substitutionmethod and continuity (2016) (0)
Analysis for Concurrent ObjectsPaolo (1996) (0)
Editorial (2009) (0)
Deductive Technologies For Software Development (0)
Program Transformations for Connguring Components (1991) (0)
Executable Formal Models in Rewriting Logic (Invited Talk) (2015) (0)
Logic-based Analysis of Gene Expression Data Predicts Pathway Crosstalk between TNF, TGFB1 and EGF in Basal-like Breast Cancer (2019) (0)
An Inconsistent Theory of (2007) (0)
Editorial (2002) (0)
Statistical Model Checking in the Analysis of Distance- bounding Protocols (2018) (0)
A Computational Logic (Robert S. Boyer and J. Strother Moore) (1981) (0)
Actors and Logical Analysis of Interactive Systems (2005) (0)
Editorial (2001) (0)
Some New Features in Maude 2 . 0 (0)
Composable Formal Models for High-Assurance Fault Tolerant Networks (2004) (0)
Core Maude Grammar (2007) (0)
Foundations (2021) (0)
Combining Cheminformatics Methods and Pathway Analysis to Identify Molecules with Whole-Cell Activity Against Mycobacterium Tuberculosis (2012) (0)
Mechanism of Action Identified in 30 Days: a Systems Biology Approach (2016) (0)
Systems-based analysis of responses to stimulation or inhibition of EGF receptor signaling in breast cancer cells (2007) (0)
Higher-Order and Symbolic: Editorial (2007) (0)
Editorial (2009) (0)
Reasoning about effects: from lists to cyber-physical agents (2018) (0)
The IOP Model of Interoperation as a Basis for Developing Interactive Maude Applications (2005) (0)
Editorial (2002) (0)
Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols (2018) (0)
Toward an Architecture for Open Mechanized Reasoning Systems (2001) (0)
Editorial (2001) (0)
Modeling Sleep-Related Activities from Experimental Observations - Initial Computational Frameworks for Understanding Sleep Function(s) (2010) (0)
Rewriting Logic and Symbolic Systems Biology applied to EGF Signaling Pathway (2014) (0)
Domain Theoretic Techniques in an Operational Setting (2008) (0)
USING PATHWAY LOGIC TO INTEGRATE SIGNAL TRANSDUCTION AND GENE EXPRESSION DATA (2006) (0)
Computing minimal nutrient sets from metabolic networks via linear constraint solving (2013) (0)
Editorial (1993) (0)
ELECTRON SPIN RESONANCE STUDIES OF RADICALS PRODUCED BY ELECTROLYSIS (1967) (0)
Object-Oriented Modules (2007) (0)
Infinitary initial algebra specifications for stream algebras (2016) (0)
Rewriting Logic and Maude I: An Approach to Formal Modeling and Analysis (2007) (0)
Combination and Interoperation of Logical Systems Research in Formal Interoperability (1999) (0)
Editorial (2000) (0)
Basic Research in Knowledge Representation (1998) (0)
Preliminary Version Actors and Logical Analysis of Interactive Systems (2005) (0)
Editorial (2000) (0)
Gas Phase Kinetics of the Reactions of Na and NaO with O3 and N2O. (1987) (0)
Contents and abstracts of the Electronic Notes in Theoretical Computer Science vol. 10: preface volume 10 (1999) (0)
A Rewriting Framework for Cyber-Physical Systems (2022) (0)
Editorial (special issue on rule based programming) (2006) (0)
A Sampler of Application Areas (2007) (0)
On the Security and Complexity of Periodic Systems (2022) (0)
Formal specification of agent-object oriented programs (2008) (0)
DatumKB: A Database of Biological Experimental Results (2021) (0)
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures (2023) (0)
Module Operations (2007) (0)
Syntax and Basic Parsing (2007) (0)
An Executable Formal Model for Specifying and Verifying Clinical Trials (2014) (0)
Preface (2006) (0)

This paper list is powered by the following services:

Other Resources About Carolyn Talcott

en.wikipedia.org

What Schools Are Affiliated With Carolyn Talcott?

Carolyn Talcott is affiliated with the following schools: