×

zbMATH — the first resource for mathematics

Edit Profile

Talcott, Carolyn L.

Compute Distance To:
Author ID: talcott.carolyn-l
Published as: Talcott, C.; Talcott, Carolyn; Talcott, Carolyn L.
Documents Indexed: 79 Publications since 1988, including 9 Books
Biographic References: 1 Publication
all top 5

Co-Authors

11 single-authored
14 Mason, Ian A.
12 Meseguer Guaita, José
7 Eker, Steven
7 Martí-Oliet, Narciso
7 Smith, Scott F.
6 Durán, Francisco
6 Scedrov, Andre
5 Lincoln, Patrick D.
5 Nigam, Vivek
4 Ban Kirigin, Tajana
4 Escobar, Santiago
4 Kanovich, Max I.
4 Stehr, Mark-Oliver
3 Agha, Gul A.
3 Clavel, Manuel
3 Denker, Grit
3 Giunchiglia, Fausto
3 Honsell, Furio
3 Kim, Minyoung
3 Olveczky, Peter Csaba
3 Ren, Shangping
3 Sirjani, Marjan
3 Venkatasubramanian, Nalini
2 Arbab, Farhad
2 Danvy, Olivier
2 Gurney, Alexander J. T.
2 Knapp, Merrill
2 Laderoute, Keith
2 Loo, Boon Thau
2 Pecchiari, Paolo
2 Perovic, Ranko
2 Regan, Amelia C.
2 Wang, Anduo
2 Wu, Di
1 AlTurki, Musab A.
1 Arkhipov, Dmitri I.
1 Arul, Albert-Baskar
1 Avar, Peter
1 Bao, Lichun
1 Briesemeister, Linda
1 Bunin, Deborah I.
1 Cadoli, Marco
1 Coglio, Alessandro
1 Davis, Brian M.
1 Dinn, Sean R.
1 Gordon, Andrew D.
1 Hwang, Sunil
1 Ito, Tamon
1 Jalili, Saeed
1 Keaton, Mark H.
1 Khakpour, Narges
1 Korte, Andrew R.
1 Li, Hang
1 McCann, Julie A.
1 Montanari, Ugo G.
1 Morton, Christine A.
1 Mousavi, Mohammadreza
1 Nemes, Peter
1 Ölveczky, Csaba
1 Parvin, Lida
1 Pitts, Andrew M.
1 Poggio, Andrew
1 Poggio, Andy
1 Rubio, Rubén
1 Sahab, Ziad J.
1 Sevinsky, Christopher J.
1 Sieg, Wilfried
1 Sommer, Richard
1 Sriram, M. G.
1 Stopka, Sylwia
1 Thati, Prasanna
1 Tiwari, Ashish Kumar
1 Urquiza, Abraão Aires
1 Vertes, Akos
1 Weyhrauch, Richard W.
1 Wirsing, Martin
1 Yadav, Maneesh K.
1 Yu, Yue
1 Zabele, Steve
1 Zavodszky, Maria I.
1 Zhang, Linwen
all top 5

Serials

5 Theoretical Computer Science
5 Higher-Order and Symbolic Computation
3 Lecture Notes in Computer Science
2 Science of Computer Programming
2 Information and Computation
2 International Journal of Foundations of Computer Science
2 Journal of Functional Programming
2 Electronic Notes in Theoretical Computer Science
1 IEEE Transactions on Computers
1 Journal of Automated Reasoning
1 Journal of Parallel and Distributed Computing
1 MSCS. Mathematical Structures in Computer Science
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 Lecture Notes in Logic
1 Logical Methods in Computer Science
1 Journal of Logical and Algebraic Methods in Programming
all top 5

Fields

76 Computer science (68-XX)
13 Mathematical logic and foundations (03-XX)
9 General and overarching topics; collections (00-XX)
3 Biology and other natural sciences (92-XX)
3 Information and communication theory, circuits (94-XX)
2 History and biography (01-XX)
1 Combinatorics (05-XX)
1 General algebraic systems (08-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Statistics (62-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription