Edit Profile Talcott, Carolyn L. Compute Distance To: Compute Author ID: talcott.carolyn-l Published as: Talcott, C.; Talcott, Carolyn; Talcott, Carolyn L. Documents Indexed: 80 Publications since 1988, including 10 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 Nigam, Vivek 6 Scedrov, Andre 5 Ban Kirigin, Tajana 5 Lincoln, Patrick D. 4 Escobar, Santiago 4 Kanovich, Max Iosifovich 4 Stehr, Mark-Oliver 3 Agha, Gul A. 3 Clavel, Manuel 3 Denker, Grit 3 Giunchiglia, Fausto 3 Honsell, Furio 3 Kim, Minyoung 3 Loo, Boon Thau 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 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 Guttman, Joshua D. 1 Hwang, Sunil 1 Ito, Tamon 1 Jalili, Saeed 1 Keaton, Mark H. 1 Khakpour, Narges 1 Korte, Andrew R. 1 Kuznetsov, Stepan L’vovich 1 Li, Hang 1 McCann, Julie A. 1 Montanari, Ugo G. 1 Morton, Christine A. 1 Mousavi, Mohammadreza 1 Nemes, Peter 1 Okada, Mitsuhiro 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 4 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 77 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 10 General and overarching topics; collections (00-XX) 4 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) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 52 Publications have been cited 440 times in 308 Documents Cited by ▼ Year ▼ All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 153 2007 The Maude 2.0 system. Zbl 1038.68559Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 51 2003 A foundation for actor computation. Zbl 0870.68091Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L. 26 1997 Equivalence in functional languages with effects. Zbl 0941.68540Mason, Ian; Talcott, Carolyn 21 1991 Semantic models for distributed object reflection. Zbl 1049.68815Meseguer, José; Talcott, Carolyn 14 2002 A theory of binding structures and applications to rewriting. Zbl 0783.68089Talcott, Carolyn 10 1993 A rewriting logic framework for soft constraints. Zbl 1279.68124Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda 9 2007 Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L. 8 2006 Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081Denker, G.; Meseguer, J.; Talcott, C. 8 2000 From operational semantics to domain theory. Zbl 0856.68094Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L. 8 1996 Plan in Maude specifying an active network programming language. Zbl 1272.68044Stehr, Mark-Oliver; Talcott, Carolyn L. 7 2004 Composable semantic models for actor theories. Zbl 0934.68058Talcott, Carolyn L. 7 1998 Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020Sieg, Wilfried (ed.); Sommer, Richard (ed.); Talcott, Carolyn (ed.) 6 2002 Specification and analysis of the AER/NCA active network protocol suite in real-time maude. Zbl 0977.68865Ölveczky, Peter Csaba; Keaton, Mark; Meseguer, José; Talcott, Carolyn; Zabele, Steve 6 2001 A partial order event model for concurrent objects. Zbl 0939.68084Meseguer, José; Talcott, Carolyn 6 1999 An actor rewriting theory. Zbl 0912.68086Talcott, Carolyn L. 6 1996 Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn 6 1996 A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko 5 2017 Actor languages. Their syntax, semantics, translation, and equivalence. Zbl 0954.68089Mason, Ian A.; Talcott, Carolyn L. 5 1999 Reasoning about functions with effects. Zbl 0971.68024Talcott, Carolyn 5 1998 A variable typed logic of effects. Zbl 0832.68009Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn 5 1995 Axiomatizing operational equivalence in the presence of side effects. Zbl 0722.03027Mason, Ian A.; Talcott, Carolyn 5 1989 Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn 4 2011 A semantics preserving actor translation. Zbl 1401.68026Mason, Ian A.; Talcott, Carolyn L. 4 1997 Can actors and pi-agents live together? Zbl 0925.68116Montanari, Ugo; Talcott, Carolyn 4 1997 A distributed logic for networked cyber-physical systems. Zbl 1353.68265Kim, Minyoung; Stehr, Mark-Oliver; Talcott, Carolyn 3 2012 Comparing three coordination models: Reo, ARC, and RRD. Zbl 1277.68208Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping 3 2008 Specification diagrams for actor systems. Zbl 1020.68051Smith, Scott F.; Talcott, Carolyn L. 3 2002 Actor theories in rewriting logic. Zbl 1001.68055Talcott, Carolyn 3 2002 Towards a toolkit for actor system specification. Zbl 0983.68134Talcott, Carolyn L. 3 2000 A theory for program and data type specification. Zbl 0759.68061Talcott, Carolyn 3 1992 Inferring the equivalence of functional programs that mutate data. Zbl 0768.68092Mason, Ian; Talcott, Carolyn 3 1992 Binding structures. Zbl 0755.68083Talcott, Carolyn 3 1991 Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 2 2016 Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011Martí-Oliet, Narciso (ed.); Ölveczky, Csaba (ed.); Talcott, Carolyn (ed.) 2 2015 Formal modeling of evolving self-adaptive systems. Zbl 1264.68131Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza 2 2012 Feferman-Landin logic. Zbl 1069.03019Mason, Ian A.; Talcott, Carolyn L. 2 2002 Simple network protocol simulation within Maude. Zbl 0966.68514Mason, Ian A.; Talcott, Carolyn L. 2 2000 Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L. 2 2000 Mapping OMRS to rewring logic. Zbl 0917.68105Meseguer, José; Talcott, Carolyn 2 1998 Reasoning about meta level activities in open distributed systems. Zbl 1374.68078Venkatasubramanian, Nalini; Talcott, Carolyn 2 1995 Two decades of Maude. Zbl 1321.68007Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn 1 2015 Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. Zbl 1454.68148Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh 1 2015 Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. Zbl 1407.68339Stehr, Mark-Oliver; Kim, Minyoung; Talcott, Carolyn 1 2014 Comparing three coordination models: Reo, ARC, and PBRD. Zbl 1211.68056Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping 1 2011 Analyzing pathways using SAT-based approaches. Zbl 1126.92021Tiwari, Ashish; Talcott, Carolyn; Knapp, Merrill; Lincoln, Patrick; Laderoute, Keith 1 2007 Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415Thati, Prasanna; Talcott, Carolyn; Agha, Gul 1 2004 A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul 1 2001 Modular reasoning for actor specification diagrams. Zbl 0928.68076Smith, Scott F.; Talcott, Carolyn L. 1 1999 Reasoning about object systems in VTLoE. Zbl 0830.68021Mason, Ian; Talcott, Carolyn 1 1995 A theory of classes for a functional language with effects. Zbl 0835.68013Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn 1 1993 Rum - An abstraction theory of function and control abstractions. Zbl 0651.68040Talcott, Carolyn 1 1988 A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko 5 2017 Built-in variant generation and unification, and their applications in maude 2.7. Zbl 06623261Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 2 2016 Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011Martí-Oliet, Narciso (ed.); Ölveczky, Csaba (ed.); Talcott, Carolyn (ed.) 2 2015 Two decades of Maude. Zbl 1321.68007Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn 1 2015 Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. Zbl 1454.68148Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh 1 2015 Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing. Zbl 1407.68339Stehr, Mark-Oliver; Kim, Minyoung; Talcott, Carolyn 1 2014 A distributed logic for networked cyber-physical systems. Zbl 1353.68265Kim, Minyoung; Stehr, Mark-Oliver; Talcott, Carolyn 3 2012 Formal modeling of evolving self-adaptive systems. Zbl 1264.68131Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza 2 2012 Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn 4 2011 Comparing three coordination models: Reo, ARC, and PBRD. Zbl 1211.68056Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping 1 2011 Comparing three coordination models: Reo, ARC, and RRD. Zbl 1277.68208Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping 3 2008 All about Maude – a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. Zbl 1115.68046Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 153 2007 A rewriting logic framework for soft constraints. Zbl 1279.68124Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda 9 2007 Analyzing pathways using SAT-based approaches. Zbl 1126.92021Tiwari, Ashish; Talcott, Carolyn; Knapp, Merrill; Lincoln, Patrick; Laderoute, Keith 1 2007 Specification and analysis of the AER/NCA active network protocol suite in real-time Maude. Zbl 1109.68010Ölveczky, Peter Csaba; Meseguer, José; Talcott, Carolyn L. 8 2006 Plan in Maude specifying an active network programming language. Zbl 1272.68044Stehr, Mark-Oliver; Talcott, Carolyn L. 7 2004 Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415Thati, Prasanna; Talcott, Carolyn; Agha, Gul 1 2004 The Maude 2.0 system. Zbl 1038.68559Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 51 2003 Semantic models for distributed object reflection. Zbl 1049.68815Meseguer, José; Talcott, Carolyn 14 2002 Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020Sieg, Wilfried (ed.); Sommer, Richard (ed.); Talcott, Carolyn (ed.) 6 2002 Specification diagrams for actor systems. Zbl 1020.68051Smith, Scott F.; Talcott, Carolyn L. 3 2002 Actor theories in rewriting logic. Zbl 1001.68055Talcott, Carolyn 3 2002 Feferman-Landin logic. Zbl 1069.03019Mason, Ian A.; Talcott, Carolyn L. 2 2002 Specification and analysis of the AER/NCA active network protocol suite in real-time maude. Zbl 0977.68865Ölveczky, Peter Csaba; Keaton, Mark; Meseguer, José; Talcott, Carolyn; Zabele, Steve 6 2001 A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul 1 2001 Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081Denker, G.; Meseguer, J.; Talcott, C. 8 2000 Towards a toolkit for actor system specification. Zbl 0983.68134Talcott, Carolyn L. 3 2000 Simple network protocol simulation within Maude. Zbl 0966.68514Mason, Ian A.; Talcott, Carolyn L. 2 2000 Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L. 2 2000 A partial order event model for concurrent objects. Zbl 0939.68084Meseguer, José; Talcott, Carolyn 6 1999 Actor languages. Their syntax, semantics, translation, and equivalence. Zbl 0954.68089Mason, Ian A.; Talcott, Carolyn L. 5 1999 Modular reasoning for actor specification diagrams. Zbl 0928.68076Smith, Scott F.; Talcott, Carolyn L. 1 1999 Composable semantic models for actor theories. Zbl 0934.68058Talcott, Carolyn L. 7 1998 Reasoning about functions with effects. Zbl 0971.68024Talcott, Carolyn 5 1998 Mapping OMRS to rewring logic. Zbl 0917.68105Meseguer, José; Talcott, Carolyn 2 1998 A foundation for actor computation. Zbl 0870.68091Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L. 26 1997 A semantics preserving actor translation. Zbl 1401.68026Mason, Ian A.; Talcott, Carolyn L. 4 1997 Can actors and pi-agents live together? Zbl 0925.68116Montanari, Ugo; Talcott, Carolyn 4 1997 From operational semantics to domain theory. Zbl 0856.68094Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L. 8 1996 An actor rewriting theory. Zbl 0912.68086Talcott, Carolyn L. 6 1996 Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn 6 1996 A variable typed logic of effects. Zbl 0832.68009Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn 5 1995 Reasoning about meta level activities in open distributed systems. Zbl 1374.68078Venkatasubramanian, Nalini; Talcott, Carolyn 2 1995 Reasoning about object systems in VTLoE. Zbl 0830.68021Mason, Ian; Talcott, Carolyn 1 1995 A theory of binding structures and applications to rewriting. Zbl 0783.68089Talcott, Carolyn 10 1993 A theory of classes for a functional language with effects. Zbl 0835.68013Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn 1 1993 A theory for program and data type specification. Zbl 0759.68061Talcott, Carolyn 3 1992 Inferring the equivalence of functional programs that mutate data. Zbl 0768.68092Mason, Ian; Talcott, Carolyn 3 1992 Equivalence in functional languages with effects. Zbl 0941.68540Mason, Ian; Talcott, Carolyn 21 1991 Binding structures. Zbl 0755.68083Talcott, Carolyn 3 1991 Axiomatizing operational equivalence in the presence of side effects. Zbl 0722.03027Mason, Ian A.; Talcott, Carolyn 5 1989 Rum - An abstraction theory of function and control abstractions. Zbl 0651.68040Talcott, Carolyn 1 1988 all cited Publications top 5 cited Publications all top 5 Cited by 400 Authors 55 Meseguer Guaita, José 21 Martí-Oliet, Narciso 21 Talcott, Carolyn L. 18 Lucas, Salvador 17 Alpuente, María 14 Escobar, Santiago 12 Durán, Francisco 11 Lucanu, Dorel 11 Olveczky, Peter Csaba 11 Roşu, Grigore 10 Ballis, Demis 9 Verdejo, Alberto 8 Rusu, Vlad 7 Eker, Steven 7 Riesco, Adrián 7 Sapiña, Julia 7 Wirsing, Martin 6 Arusoaie, Andrei 6 Frechina, Francisco 6 Futatsugi, Kokichi 6 Gutiérrez, Raúl 6 Ogata, Kazuhiro 6 Palomino, Miguel 5 Clavel, Manuel 5 Mason, Ian A. 5 Nigam, Vivek 5 Sirjani, Marjan 4 Bruni, Roberto 4 Diaconescu, Răzvan 4 Falaschi, Moreno 4 Montanari, Ugo G. 4 Owe, Olaf 4 Pitts, Andrew M. 4 Ren, Shangping 4 Rocha, Camilo 4 Sabel, David 4 Schmidt-Schauß, Manfred 4 Thati, Prasanna 3 Alarcón, Beatriz 3 Arbab, Farhad 3 Armando, Alessandro 3 Ban Kirigin, Tajana 3 Caballero, Rafael E. 3 Calmet, Jacques 3 Gaĭnă, Daniel 3 Goriac, Eugen-Ioan 3 Harper, Robert 3 Henrio, Ludovic 3 Kanovich, Max Iosifovich 3 Lincoln, Patrick D. 3 Lynch, Christopher A. 3 Muñoz, César A. 3 Orejas, Fernando 3 Pita, Isabel 3 Scedrov, Andre 3 Şerbănuţă, Traian Florin 3 Skeirik, Stephen 3 Stehr, Mark-Oliver 2 Aguirre, Luis Antonio 2 Andrei, Oana 2 Bae, Kyungmin 2 Basin, David A. 2 Birkedal, Lars 2 Bjørner, Dines 2 Boronat, Artur 2 Caltais, Georgiana 2 Coglio, Alessandro 2 Dami, Laurent 2 De Nicola, Rocco 2 Espert, Javier 2 Gaspari, Mauro 2 Genet, Thomas 2 Giunchiglia, Fausto 2 Gramlich, Bernhard 2 Haller, Philipp 2 Hamana, Makoto 2 Hennicker, Rolf 2 Ho, Weng Kin 2 Iborra, José 2 Johnsen, Einar Broch 2 Kahramanoğulları, Ozan 2 Katelman, Michael 2 Kim, Minyoung 2 Kitzelmann, Emanuel 2 Knapp, Alexander 2 Lakin, Matthew R. 2 Lämmel, Ralf 2 Levy, Paul Blain 2 Liu, Zhiqiang 2 Lluch Lafuente, Alberto 2 Martín, Óscar 2 Meadows, Catherine A. 2 Mossakowski, Till 2 Mousavi, Mohammadreza 2 Noll, Thomas 2 Ojeda, Pedro 2 Ranise, Silvio 2 Rodriguez, Dilia E. 2 Romero, Daniel M. 2 Schlatte, Rudolf ...and 300 more Authors all top 5 Cited in 31 Serials 45 Theoretical Computer Science 22 Journal of Logical and Algebraic Methods in Programming 20 Information and Computation 15 The Journal of Logic and Algebraic Programming 8 Science of Computer Programming 8 Journal of Symbolic Computation 7 Formal Aspects of Computing 6 Journal of Automated Reasoning 6 MSCS. Mathematical Structures in Computer Science 5 Journal of Functional Programming 4 Acta Informatica 4 Higher-Order and Symbolic Computation 4 Theory and Practice of Logic Programming 3 The Journal of Symbolic Logic 3 The Bulletin of Symbolic Logic 2 Artificial Intelligence 2 Information Processing Letters 2 Cybernetics and Systems Analysis 2 Computer Languages, Systems & Structures 2 Mathematics in Computer Science 2 Logical Methods in Computer Science 1 Applied Mathematics and Computation 1 Journal of Computer and System Sciences 1 Mathematics and Computers in Simulation 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 Formal Methods in System Design 1 Annals of Mathematics and Artificial Intelligence 1 RAIRO. Theoretical Informatics and Applications 1 Logica Universalis 1 Journal of Theoretical Biology all top 5 Cited in 16 Fields 299 Computer science (68-XX) 69 Mathematical logic and foundations (03-XX) 10 Information and communication theory, circuits (94-XX) 4 Category theory; homological algebra (18-XX) 3 History and biography (01-XX) 3 Biology and other natural sciences (92-XX) 2 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Citations by Year