Edit Profile (opens in new tab) Talcott, Carolyn L. Compute Distance To: Compute Author ID: talcott.carolyn-l Published as: Talcott, Carolyn; Talcott, Carolyn L.; Talcott, C. Documents Indexed: 70 Publications since 1988, including 1 Book 11 Contributions as Editor Biographic References: 1 Publication Co-Authors: 83 Co-Authors with 69 Joint Publications 1,290 Co-Co-Authors 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. 5 Stehr, Mark-Oliver 4 Escobar, Santiago 4 Kanovich, Max Iosifovich 4 Kim, Minyoung 3 Agha, Gul A. 3 Clavel, Manuel 3 Denker, Grit 3 Giunchiglia, Fausto 3 Honsell, Furio 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 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 2 Journal of Logical and Algebraic Methods in Programming 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 all top 5 Fields 78 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 Open 55 Publications have been cited 437 times in 311 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 157 2007 The Maude 2.0 system. Zbl 1038.68559Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 44 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 22 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 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 From operational semantics to domain theory. Zbl 0856.68094Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L. 7 1996 Composable semantic models for actor theories. Zbl 0934.68058Talcott, Carolyn L. 7 1998 Rewriting semantics of meta-objects and composable distributed services. Zbl 0962.68081Denker, G.; Meseguer, J.; Talcott, C. 7 2000 A rewriting logic framework for soft constraints. Zbl 1279.68124Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda 7 2007 Programming and symbolic computation in Maude. Zbl 07161317Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 7 2020 Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Zbl 1001.00020 6 2002 Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn 6 1996 A partial order event model for concurrent objects. Zbl 0939.68084Meseguer, José; Talcott, Carolyn 6 1999 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 variable typed logic of effects. Zbl 0832.68009Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn 6 1995 Plan in Maude specifying an active network programming language. Zbl 1272.68044Stehr, Mark-Oliver; Talcott, Carolyn L. 6 2004 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 semantics preserving actor translation. Zbl 1401.68026Mason, Ian A.; Talcott, Carolyn L. 4 1997 An actor rewriting theory. Zbl 0912.68086Talcott, Carolyn L. 4 1996 Can actors and pi-agents live together? Zbl 0925.68116Montanari, Ugo; Talcott, Carolyn 4 1997 Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 4 2016 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 4 2017 Variants, unification, narrowing, and symbolic reachability in Maude 2.6. Zbl 1236.68180Duran, Francisco; Eker, Steven; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn 4 2011 Inferring the equivalence of functional programs that mutate data. Zbl 0768.68092Mason, Ian; Talcott, Carolyn 3 1992 A theory for program and data type specification. Zbl 0759.68061Talcott, Carolyn 3 1992 Towards a toolkit for actor system specification. Zbl 0983.68134Talcott, Carolyn L. 3 2000 Actor theories in rewriting logic. Zbl 1001.68055Talcott, Carolyn 3 2002 Specification diagrams for actor systems. Zbl 1020.68051Smith, Scott F.; Talcott, Carolyn L. 3 2002 Comparing three coordination models: Reo, ARC, and RRD. Zbl 1277.68208Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping 3 2008 A distributed logic for networked cyber-physical systems. Zbl 1353.68265Kim, Minyoung; Stehr, Mark-Oliver; Talcott, Carolyn 3 2012 Binding structures. Zbl 0755.68083Talcott, Carolyn 2 1991 Reasoning about meta level activities in open distributed systems. Zbl 1374.68078Venkatasubramanian, Nalini; Talcott, Carolyn 2 1995 Mapping OMRS to rewring logic. Zbl 0917.68105Meseguer, José; Talcott, Carolyn 2 1998 Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L. 2 2000 Simple network protocol simulation within Maude. Zbl 0966.68514Mason, Ian A.; Talcott, Carolyn L. 2 2000 Feferman-Landin logic. Zbl 1069.03019Mason, Ian A.; Talcott, Carolyn L. 2 2002 Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011 2 2015 Formal modeling of evolving self-adaptive systems. Zbl 1264.68131Khakpour, Narges; Jalili, Saeed; Talcott, Carolyn; Sirjani, Marjan; Mousavi, Mohammadreza 2 2012 Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004 1 2020 Inferring mechanism of action of an unknown compound from time series omics data. Zbl 1397.92236Vertes, Akos; Arul, Albert-Baskar; Avar, Peter; Korte, Andrew R.; Li, Hang; Nemes, Peter; Parvin, Lida; Stopka, Sylwia; Hwang, Sunil; Sahab, Ziad J.; Zhang, Linwen; Bunin, Deborah I.; Knapp, Merrill; Poggio, Andrew; Stehr, Mark-Oliver; Talcott, Carolyn L.; Davis, Brian M.; Dinn, Sean R.; Morton, Christine A.; Sevinsky, Christopher J.; Zavodszky, Maria I. 1 2018 Modular reasoning for actor specification diagrams. Zbl 0928.68076Smith, Scott F.; Talcott, Carolyn L. 1 1999 Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415Thati, Prasanna; Talcott, Carolyn; Agha, Gul 1 2004 A theory of classes for a functional language with effects. Zbl 0835.68013Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn 1 1993 A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul 1 2001 Reasoning about object systems in VTLoE. Zbl 0830.68021Mason, Ian; Talcott, Carolyn 1 1995 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 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 Coordinating asynchronous and open distributed systems under semiring-based timing constraints. Zbl 1347.68032Yu, Yue; Ren, Shangping; Talcott, Carolyn 1 2009 Two decades of Maude. Zbl 1321.68007Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn 1 2015 Axiomatizing operational equivalence in the presence of side effects. Zbl 0722.03027Mason, Ian A.; Talcott, Carolyn 1 1989 Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems. Zbl 1454.68148Talcott, Carolyn; Arbab, Farhad; Yadav, Maneesh 1 2015 Programming and symbolic computation in Maude. Zbl 07161317Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn 7 2020 Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Zbl 1464.03004 1 2020 Inferring mechanism of action of an unknown compound from time series omics data. Zbl 1397.92236Vertes, Akos; Arul, Albert-Baskar; Avar, Peter; Korte, Andrew R.; Li, Hang; Nemes, Peter; Parvin, Lida; Stopka, Sylwia; Hwang, Sunil; Sahab, Ziad J.; Zhang, Linwen; Bunin, Deborah I.; Knapp, Merrill; Poggio, Andrew; Stehr, Mark-Oliver; Talcott, Carolyn L.; Davis, Brian M.; Dinn, Sean R.; Morton, Christine A.; Sevinsky, Christopher J.; Zavodszky, Maria I. 1 2018 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 4 2017 Built-in variant generation and unification, and their applications in Maude 2.7. Zbl 1475.68046Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn 4 2016 Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Zbl 1319.68011 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 Coordinating asynchronous and open distributed systems under semiring-based timing constraints. Zbl 1347.68032Yu, Yue; Ren, Shangping; Talcott, Carolyn 1 2009 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 157 2007 A rewriting logic framework for soft constraints. Zbl 1279.68124Wirsing, Martin; Denker, Grit; Talcott, Carolyn; Poggio, Andy; Briesemeister, Linda 7 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. 6 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 44 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.00020 6 2002 Actor theories in rewriting logic. Zbl 1001.68055Talcott, Carolyn 3 2002 Specification diagrams for actor systems. Zbl 1020.68051Smith, Scott F.; Talcott, Carolyn L. 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. 7 2000 Towards a toolkit for actor system specification. Zbl 0983.68134Talcott, Carolyn L. 3 2000 Composing and controlling search in reasoning theories using mappings. Zbl 0965.68094Coglio, Alessandro; Giunchiglia, Fausto; Meseguer, José; Talcott, Carolyn L. 2 2000 Simple network protocol simulation within Maude. Zbl 0966.68514Mason, Ian A.; 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. 7 1996 Reasoning theories. Towards an architecture for open mechanized reasoning systems. Zbl 0899.03022Giunchiglia, Fausto; Pecchiari, Paolo; Talcott, Carolyn 6 1996 An actor rewriting theory. Zbl 0912.68086Talcott, Carolyn L. 4 1996 A variable typed logic of effects. Zbl 0832.68009Honsell, Furio; Mason, Ian A.; Smith, Scott; Talcott, Carolyn 6 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 Inferring the equivalence of functional programs that mutate data. Zbl 0768.68092Mason, Ian; Talcott, Carolyn 3 1992 A theory for program and data type specification. Zbl 0759.68061Talcott, Carolyn 3 1992 Equivalence in functional languages with effects. Zbl 0941.68540Mason, Ian; Talcott, Carolyn 22 1991 Binding structures. Zbl 0755.68083Talcott, Carolyn 2 1991 Axiomatizing operational equivalence in the presence of side effects. Zbl 0722.03027Mason, Ian A.; Talcott, Carolyn 1 1989 all cited Publications top 5 cited Publications all top 5 Cited by 401 Authors 51 Meseguer Guaita, José 22 Talcott, Carolyn L. 21 Martí-Oliet, Narciso 19 Lucas, Salvador 17 Alpuente, María 15 Escobar, Santiago 12 Durán, Francisco 11 Ballis, Demis 11 Lucanu, Dorel 10 Olveczky, Peter Csaba 10 Roşu, Grigore 10 Sapiña, Julia 10 Verdejo, Alberto 8 Riesco, Adrián 8 Rusu, Vlad 7 Wirsing, Martin 6 Arusoaie, Andrei 6 Eker, Steven 6 Frechina, Francisco 6 Futatsugi, Kokichi 6 Gutiérrez, Raúl 6 Ogata, Kazuhiro 5 Mason, Ian A. 5 Palomino, Miguel 5 Sirjani, Marjan 4 Bruni, Roberto 4 Diaconescu, Răzvan 4 Montanari, Ugo G. 4 Nigam, Vivek 4 Owe, Olaf 4 Pita, Isabel 4 Pitts, Andrew M. 4 Ren, Shangping 4 Rocha, Camilo 4 Sabel, David 4 Schmidt-Schauß, Manfred 4 Stehr, Mark-Oliver 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 Caltais, Georgiana 3 Clavel, Manuel 3 Gaĭnă, Daniel 3 Goriac, Eugen-Ioan 3 Henrio, Ludovic 3 Kanovich, Max Iosifovich 3 Kim, Minyoung 3 Lincoln, Patrick D. 3 Rubio, Rubén 3 Scedrov, Andre 3 Skeirik, Stephen 2 Aguirre, Luis Antonio 2 Andrei, Oana 2 Asăvoae, Irina Măriuca 2 Bae, Kyungmin 2 Basin, David A. 2 Bjørner, Dines 2 Boronat, Artur 2 Coglio, Alessandro 2 Dal Lago, Ugo 2 Dami, Laurent 2 De Nicola, Rocco 2 Dundua, Besik 2 Espert, Javier 2 Falaschi, Moreno 2 Gaspari, Mauro 2 Gavazzo, Francesco 2 Giunchiglia, Fausto 2 Haller, Philipp 2 Hamana, Makoto 2 Harper, Robert 2 Hennicker, Rolf 2 Ho, Weng Kin 2 Johnsen, Einar Broch 2 Kahramanoğulları, Ozan 2 Katelman, Michael 2 Kitzelmann, Emanuel 2 Knapp, Alexander 2 Kutsia, Temur 2 Lakin, Matthew R. 2 Levy, Paul Blain 2 Liu, Zhiqiang 2 Lluch Lafuente, Alberto 2 Lynch, Christopher A. 2 Marin, Mircea 2 Martín, Óscar 2 Meadows, Catherine A. 2 Mousavi, Mohammadreza 2 Muñoz, César A. 2 Ojeda, Pedro 2 Orejas, Fernando 2 Ranise, Silvio 2 Rodriguez, Dilia E. 2 Romero, Daniel M. 2 Salaün, Gwen 2 Schlatte, Rudolf ...and 301 more Authors all top 5 Cited in 33 Serials 34 Theoretical Computer Science 30 Journal of Logical and Algebraic Methods in Programming 17 Information and Computation 13 The Journal of Logic and Algebraic Programming 8 Science of Computer Programming 8 Journal of Symbolic Computation 8 Formal Aspects of Computing 7 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 3 Fundamenta Informaticae 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 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 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Logica Universalis 1 Journal of Theoretical Biology 1 Electronic Journal of Graph Theory and Applications all top 5 Cited in 20 Fields 302 Computer science (68-XX) 66 Mathematical logic and foundations (03-XX) 11 Information and communication theory, circuits (94-XX) 4 Category theory; homological algebra (18-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 2 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 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Geometry (51-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year