D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 31 Citations 6,496 166 World Ranking 7776 National Ranking 3649

Overview

What is she best known for?

The fields of study she is best known for:

  • Programming language
  • Computer network
  • Artificial intelligence

Carolyn L. Talcott mainly investigates Theoretical computer science, Programming language, Rewriting, Distributed computing and Operational semantics. Her research in the fields of Nqthm overlaps with other disciplines such as Opportunistic reasoning. Her research on Rewriting also deals with topics like

  • Metamodeling, Executable, Temporal logic, Formal methods and Metaprogramming most often made with reference to Model checking,
  • Representation which is related to area like Epidermal growth factor stimulation and Biological network.

Her Distributed computing study combines topics in areas such as Meta level, Scalable distributed, Computation and Garbage, Garbage collection. Carolyn L. Talcott has researched Operational semantics in several fields, including Equivalence, Bisimulation, Directed set and Domain theory. Her Equivalence study combines topics from a wide range of disciplines, such as Actor model, Denotational semantics of the Actor model and Composability.

Her most cited work include:

  • All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (545 citations)
  • A foundation for actor computation (401 citations)
  • The Maude 2.0 system (227 citations)

What are the main themes of her work throughout her whole career to date?

Carolyn L. Talcott mainly investigates Programming language, Theoretical computer science, Rewriting, Distributed computing and Formal methods. Her Programming language and Semantics, Operational semantics, Object, Object-oriented programming and Functional programming investigations all form part of her Programming language research activities. In her study, Automaton is inextricably linked to Component, which falls within the broad field of Theoretical computer science.

Carolyn L. Talcott interconnects Executable, Temporal logic, State, Model checking and Reflection in the investigation of issues within Rewriting. Her study in Distributed computing focuses on Middleware and Actor model. Her Formal methods study incorporates themes from Formal verification, Protocol and Formal specification.

She most often published in these fields:

  • Programming language (31.84%)
  • Theoretical computer science (28.98%)
  • Rewriting (27.76%)

What were the highlights of her more recent work (between 2017-2021)?

  • Theoretical computer science (28.98%)
  • Rewriting (27.76%)
  • Computer security (4.49%)

In recent papers she was focusing on the following fields of study:

Carolyn L. Talcott mostly deals with Theoretical computer science, Rewriting, Computer security, Computational biology and Formal methods. Her biological study spans a wide range of topics, including Probabilistic logic and Component. Her Rewriting study is associated with Programming language.

Her Computer security research includes elements of Formal verification, Protocol and Undecidable problem. Her Formal methods research integrates issues from Modularity and Composition. Her research integrates issues of Model checking and STRIDE in her study of Security analysis.

Between 2017 and 2021, her most popular works were:

  • Programming and symbolic computation in Maude (13 citations)
  • Associative unification and symbolic reasoning modulo associativity in maude (12 citations)
  • Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information (6 citations)

In her most recent research, the most cited papers focused on:

  • Programming language
  • Computer network
  • Artificial intelligence

Carolyn L. Talcott mainly focuses on Rewriting, Formal methods, Theoretical computer science, Cryptography and Formal verification. Her Rewriting study is concerned with the field of Programming language as a whole. Her Programming language study frequently links to adjacent areas such as Symbolic computation.

Her Theoretical computer science research includes themes of Vagueness, Soft set, Set theory and Extension. Her Cryptography research is multidisciplinary, relying on both Login, Decidability, Security analysis, Semantics and Authentication. Her study looks at the relationship between Formal verification and fields such as Computer security, as well as how they intersect with chemical problems.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

Manuel Clavel;Francisco Durán;Steven Eker;Patrick Lincoln.
(2007)

1346 Citations

A foundation for actor computation

Gul A. Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott.
Journal of Functional Programming (1997)

690 Citations

The maude 2.0 system

Manuel Clavel;Francisco Duran;Steven Eker;Patrick Lincoln.
rewriting techniques and applications (2003)

394 Citations

Equivalence in functional languages with effects

Ian A. Mason;Carolyn L. Talcott.
Journal of Functional Programming (1991)

232 Citations

Towards a Theory of Actor Computation

Gul Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott.
international conference on concurrency theory (1992)

158 Citations

Pathway Logic: Executable Models of Biological Networks

Steven Eker;Merrill Knapp;Keith Laderoute;Patrick Lincoln.
Electronic Notes in Theoretical Computer Science (2004)

140 Citations

Reputation-based trust management

Vitaly Shmatikov;Carolyn Talcott.
Journal of Computer Security (2005)

124 Citations

Cyber-Physical Systems and Events

Carolyn Talcott.
Software-Intensive Systems and New Computing Paradigms (2008)

118 Citations

A variable typed logic of effects

Furio Honsell;Ian A. Mason;Scott Smith;Carolyn Talcott.
Information & Computation (1995)

99 Citations

Pathway logic modeling of protein functional domains in signal transduction.

C. Talcott;S. Eker;M. Knapp;P. Lincoln.
pacific symposium on biocomputing (2003)

91 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Carolyn L. Talcott

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 134

Gul Agha

Gul Agha

University of Illinois at Urbana-Champaign

Publications: 64

Sean Ekins

Sean Ekins

University of Arizona

Publications: 40

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 35

Edward A. Lee

Edward A. Lee

University of California, Berkeley

Publications: 27

Frank S. de Boer

Frank S. de Boer

Centrum Wiskunde & Informatica

Publications: 21

Martin Wirsing

Martin Wirsing

Ludwig-Maximilians-Universität München

Publications: 18

Nalini Venkatasubramanian

Nalini Venkatasubramanian

University of California, Irvine

Publications: 15

Matthias Felleisen

Matthias Felleisen

Northeastern University

Publications: 15

Lars Birkedal

Lars Birkedal

Aarhus University

Publications: 14

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 14

Antonio Vallecillo

Antonio Vallecillo

University of Malaga

Publications: 12

Henry Hoffmann

Henry Hoffmann

University of Chicago

Publications: 11

Boon Thau Loo

Boon Thau Loo

University of Pennsylvania

Publications: 10

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 10

Fausto Giunchiglia

Fausto Giunchiglia

University of Trento

Publications: 10

Something went wrong. Please try again later.