Edit Profile (opens in new tab) Smolka, Scott A. Compute Distance To: Compute Author ID: smolka.scott-a Published as: Smolka, Scott A.; Smolka, S. A.; Smolka, Scott; Smolka, Scot A. more...less External Links: MGP Documents Indexed: 65 Publications since 1983, including 1 Book 5 Contributions as Editor Co-Authors: 96 Co-Authors with 69 Joint Publications 1,826 Co-Co-Authors all top 5 Co-Authors 1 single-authored 25 Grosu, Radu 11 Ramakrishnan, C. R. 9 Bartocci, Ezio 8 Cleaveland, Rance 7 Islam, Md. Ariful 5 Yang, Junxing 4 Corradini, Flavio 4 Entcheva, Emilia 4 Murthy, Abhishek 4 Ramakrishnan, I. V. 4 Stoller, Scott D. 3 Du, Xiaoqun 3 Goldin, Dina Q. 3 Kanellakis, Paris Christos 3 Kumar, K. Narayan 3 Lukina, Anna 3 Stark, Eugene W. 3 Tiwari, Ashish Kumar 3 Wegner, Peter 2 Bergstra, Jan A. 2 Di Berardini, Maria Rita 2 Dong, Yifei 2 Esterle, Lukas 2 Fenton, Flavio H. 2 Huang, Xiaowan 2 Jones, Paul L. 2 Katsaros, Panagiotis 2 Lee, Insup 2 Lin, Shan 2 Mitra, Sayan 2 Paoletti, Nicola 2 Reif, John H. 2 Roychoudhury, Abhik 2 Singh, Anu 2 Srba, Jiří 2 Steffen, Bernhard 1 Abbas, Houssam 1 Al-Rawi, Bashar 1 Attie, Paul C. 1 Baeten, Jos C. M. 1 Basu, Samik 1 Bonakdarpour, Borzoo 1 Byrne, Greg 1 Chatzieleftheriou, George 1 Chen, Hongkai 1 Cherry, Elizabeth M. 1 Cyranka, Jacek 1 Dayar, Zeynep 1 De Francisco, Richard 1 Debray, Saumya K. 1 Dixit, Ketan 1 Donzé, Alexandre 1 Fan, Chuchu 1 Frank, Ariel J. 1 Girard, Antoine 1 Glimm, James G. 1 Gorlin, Andrey 1 Havelund, Klaus 1 Hirsch, Christian 1 Joung, Yuh-Jzer 1 Keller, Curtis W. 1 Kifer, Michael 1 Legay, Axel 1 Liu, Kin Sum 1 Maler, Oded 1 Mehmood, Usama 1 Merelli, Emanuela 1 Moller, Faron 1 Mukund, Madhavan 1 Nickovic, Dejan 1 Peled, Doron A. 1 Phan, Dung 1 Philippou, Anna 1 Piterman, Nir 1 Ponse, Alban 1 Riganelli, Oliviero 1 Rodionova, Alena 1 Roscoe, Andrew William 1 Roy, Shouvik 1 Saha, Diptikalyan 1 Sakallah, Karem A. 1 Sarna-Starosta, Beata 1 Seyster, Justin 1 Singh, Gurdip 1 Sokolsky, Oleg 1 Sonderegger, Elaine L. 1 Strom, Robert E. 1 Traonouez, Louis-Marie 1 van Glabbeek, Robert Jan 1 Venkatakrishnan, V. N. 1 Wu, Sue-Hwey 1 Yang, Ping 1 Yang, Zijiang 1 Yuen, Shoji 1 Zadok, Erez 1 Zwarico, Amy E. all top 5 Serials 6 Information and Computation 4 Theoretical Computer Science 2 Formal Methods in System Design 2 Lecture Notes in Computer Science 1 Acta Informatica 1 Information Processing Letters 1 Science of Computer Programming 1 Algorithmica 1 International Journal of Parallel Programming 1 Formal Aspects of Computing 1 IBM Journal of Research and Development 1 IEEE Transactions on Software Engineering 1 Journal of the ACM 1 1 Theory and Practice of Logic Programming 1 Electronic Notes in Theoretical Computer Science 1 Logical Methods in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Undergraduate Topics in Computer Science all top 5 Fields 59 Computer science (68-XX) 13 Biology and other natural sciences (92-XX) 9 Systems theory; control (93-XX) 4 General and overarching topics; collections (00-XX) 3 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 2 Information and communication theory, circuits (94-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 50 Publications have been cited 527 times in 438 Documents Cited by ▼ Year ▼ CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063Kanellakis, Paris C.; Smolka, Scott A. 105 1990 Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard 85 1995 Handbook of process algebra. Zbl 0971.00006 64 2001 Model repair for probabilistic systems. Zbl 1316.68070Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A. 48 2011 Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A. 25 1995 A process calculus for mobile ad hoc networks. Zbl 1192.68451Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A. 23 2010 Composition and behaviors of probabilistic I/O automata. Zbl 0903.68123Wu, Sue-Hwey; Smolka, Scott A.; Stark, Eugene W. 23 1997 Testing preorders for probabilistic processes. Zbl 1045.68564Cleaveland, Rance; Dayar, Zeynep; Smolka, Scott A.; Yuen, Shoji 21 1999 Monte Carlo model checking. Zbl 1087.68590Grosu, Radu; Smolka, Scott A. 16 2005 Turing machines, transition systems, and interaction. Zbl 1090.68040Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L. 15 2004 Interactive computation. The new paradigm. Zbl 1106.68002 9 2006 Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A. 5 2008 InterAspect: aspect-oriented instrumentation with GCC. Zbl 1284.68153Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez 5 2012 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 Model checking with probabilistic tabled logic programming. Zbl 1260.68062Gorlin, Andrey; Ramakrishnan, C. R.; Smolka, Scott A. 5 2012 Priority as extremal probability. Zbl 0860.68027Smolka, Scott A.; Steffen, Bernhard 4 1996 A process-algebraic language for probabilistic I/O automata. Zbl 1274.68255Stark, Eugene W.; Cleaveland, Rance; Smolka, Scott A. 4 2003 Model-order reduction of ion channel dynamics using approximate bisimulation. Zbl 1337.92061Islam, Md. Ariful; Murthy, Abhishek; Bartocci, Ezio; Cherry, Elizabeth M.; Fenton, Flavio H.; Glimm, James; Smolka, Scott A.; Grosu, Radu 4 2015 Abstract model repair. Zbl 1448.68292Chatzieleftheriou, George; Bonakdarpour, Borzoo; Katsaros, Panagiotis; Smolka, Scott A. 4 2015 Turing machines, transition systems, and interaction. Zbl 1260.68267Goldin, Dina Q.; Smolka, Scott A.; Wegner, Peter 4 2002 Compositionality results for cardiac cell dynamics. Zbl 1362.92017Islam, Md. Ariful; Murthy, Abhishek; Girard, Antoine; Smolka, Scott A.; Grosu, Radu 3 2014 XMC: A logic-programming-based verification toolset. Zbl 0974.68571Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.; Dong, Yifei; Du, Xiaoqun; Roychoudhury, Abhik; Venkatakrishnan, V. N. 3 2000 Local model checking and protocol analysis. Zbl 1059.68584Du, Xiaoqun; Smolka, Scott A.; Cleaveland, Rance 3 1999 A comprehensive study of the complexity of multiparty interaction. Zbl 0882.68036Joung, Yuh-Jzer; Smolka, Scott A. 3 1996 Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R. 3 2009 On the analysis of cooperation and antagonism in networks of communicating processes. Zbl 0636.68023Kanellakis, Paris C.; Smolka, Scott A. 3 1988 Vacuity checking in the modal mu-calculus. Zbl 1275.68090Dong, Yifei; Sarna-Starosta, Beata; Ramakrishnan, C. R.; Smolka, Scott A. 3 2002 Query-based model checking of ad hoc network protocols. Zbl 1254.68157Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A. 3 2009 Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals. Zbl 1364.93728Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 2 2015 A logical encoding of the \(\pi\)-calculus: Model checking mobile processes using tabled resolution. Zbl 1022.68588Yang, Ping; Ramakrishnan, C. R.; Smolka, Scott A. 2 2003 Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A. 2 2007 The complexity of reachability in distributed communicating processes. Zbl 0637.68032Reif, John H.; Smolka, Scott A. 2 1988 Data flow analysis of distributed communicating processes. Zbl 0714.68003Reif, John H.; Smolka, Scott A. 2 1990 StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. 2 2008 Statistical model checking. Zbl 1482.68142Legay, Axel; Lukina, Anna; Traonouez, Louis Marie; Yang, Junxing; Smolka, Scott A.; Grosu, Radu 2 2019 Process algebra and model checking. Zbl 1392.68243Cleaveland, Rance; Roscoe, A. W.; Smolka, Scott A. 1 2018 Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Zbl 1370.68287Phan, Dung; Yang, Junxing; Grosu, Radu; Smolka, Scott A.; Stoller, Scott D. 1 2017 Verification of parameterized systems using logic program transformations. Zbl 0964.68018Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A. 1 2000 Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A. 1 2008 Real-time verification techniques for untimed systems. Zbl 0971.68101Du, Xiaoqun; Ramakrishnan, C. R.; Smolka, Scott A. 1 2000 CONCUR ’95: Concurrency theory. 6th international conference, Philadelphia, PA, USA, August 21–24, 1995. Proceedings. Zbl 0875.00126 1 1995 Hiding resources that can fail: An axiomatic perspective. Zbl 1003.68089Philippou, Anna; Sokolsky, Oleg; Lee, Insup; Cleaveland, Rance; Smolka, Scott A. 1 2001 Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Zbl 1268.68030 1 2013 Model checking tap withdrawal in C. elegans. Zbl 1412.92039Islam, Md. Ariful; De Francisco, Richard; Fan, Chuchu; Grosu, Radu; Mitra, Sayan; Smolka, Scott A. 1 2015 Quantitative regular expressions for arrhythmia detection algorithms. Zbl 1416.92097Abbas, Houssam; Rodionova, Alena; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu 1 2017 Data-driven robust control for type 1 diabetes under meal and exercise uncertainties. Zbl 1416.92095Paoletti, Nicola; Liu, Kin Sum; Smolka, Scott A.; Lin, Shan 1 2017 Distributed algorithms for tree pattern matching. Zbl 0648.68073Singh, Gurdip; Smolka, Scot A.; Ramakrishnan, I. V. 1 1988 Probabilistic I/O automata: theories of two equivalences. Zbl 1151.68554Stark, Eugene W.; Cleaveland, Rance; Smolka, Scott A. 1 2006 Polynomial-time analysis for a class of communicating processes. Zbl 0548.68020Smolka, Scott A. 1 1984 Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability. Zbl 1351.93133Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 1 2017 Statistical model checking. Zbl 1482.68142Legay, Axel; Lukina, Anna; Traonouez, Louis Marie; Yang, Junxing; Smolka, Scott A.; Grosu, Radu 2 2019 Process algebra and model checking. Zbl 1392.68243Cleaveland, Rance; Roscoe, A. W.; Smolka, Scott A. 1 2018 Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Zbl 1370.68287Phan, Dung; Yang, Junxing; Grosu, Radu; Smolka, Scott A.; Stoller, Scott D. 1 2017 Quantitative regular expressions for arrhythmia detection algorithms. Zbl 1416.92097Abbas, Houssam; Rodionova, Alena; Bartocci, Ezio; Smolka, Scott A.; Grosu, Radu 1 2017 Data-driven robust control for type 1 diabetes under meal and exercise uncertainties. Zbl 1416.92095Paoletti, Nicola; Liu, Kin Sum; Smolka, Scott A.; Lin, Shan 1 2017 Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability. Zbl 1351.93133Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 1 2017 Model-order reduction of ion channel dynamics using approximate bisimulation. Zbl 1337.92061Islam, Md. Ariful; Murthy, Abhishek; Bartocci, Ezio; Cherry, Elizabeth M.; Fenton, Flavio H.; Glimm, James; Smolka, Scott A.; Grosu, Radu 4 2015 Abstract model repair. Zbl 1448.68292Chatzieleftheriou, George; Bonakdarpour, Borzoo; Katsaros, Panagiotis; Smolka, Scott A. 4 2015 Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals. Zbl 1364.93728Murthy, Abhishek; Islam, Md. Ariful; Smolka, Scott A.; Grosu, Radu 2 2015 Model checking tap withdrawal in C. elegans. Zbl 1412.92039Islam, Md. Ariful; De Francisco, Richard; Fan, Chuchu; Grosu, Radu; Mitra, Sayan; Smolka, Scott A. 1 2015 Compositionality results for cardiac cell dynamics. Zbl 1362.92017Islam, Md. Ariful; Murthy, Abhishek; Girard, Antoine; Smolka, Scott A.; Grosu, Radu 3 2014 Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Zbl 1268.68030 1 2013 InterAspect: aspect-oriented instrumentation with GCC. Zbl 1284.68153Seyster, Justin; Dixit, Ketan; Huang, Xiaowan; Grosu, Radu; Havelund, Klaus; Smolka, Scott A.; Stoller, Scott D.; Zadok, Erez 5 2012 On temporal logic and signal processing. Zbl 1374.68278Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott 5 2012 Model checking with probabilistic tabled logic programming. Zbl 1260.68062Gorlin, Andrey; Ramakrishnan, C. R.; Smolka, Scott A. 5 2012 Model repair for probabilistic systems. Zbl 1316.68070Bartocci, Ezio; Grosu, Radu; Katsaros, Panagiotis; Ramakrishnan, C. R.; Smolka, Scott A. 48 2011 A process calculus for mobile ad hoc networks. Zbl 1192.68451Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A. 23 2010 Modeling and simulation of cardiac tissue using hybrid I/O automata. Zbl 1173.68028Bartocci, E.; Corradini, F.; Di Berardini, M. R.; Entcheva, E.; Smolka, S. A.; Grosu, R. 3 2009 Query-based model checking of ad hoc network protocols. Zbl 1254.68157Singh, Anu; Ramakrishnan, C. R.; Smolka, Scott A. 3 2009 Learning and detecting emergent behavior in networks of cardiac myocytes. Zbl 1144.92313Grosu, R.; Bartocci, E.; Corradini, F.; Entcheva, E.; Smolka, S. A.; Wasilewska, A. 5 2008 StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. Zbl 1143.92316Bartocci, Ezio; Corradini, Flavio; Grosu, Radu; Merelli, Emanuela; Riganelli, Oliviero; Smolka, Scott A. 2 2008 Spatial networks of hybrid I/O automata for modeling excitable tissue. Zbl 1279.68246Bartocci, Ezio; Corradini, Flavio; Di Berardini, Maria Rita; Entcheva, Emilia; Grosu, Radu; Smolka, Scott A. 1 2008 Learning cycle-linear hybrid automata for excitable cells. Zbl 1221.93019Grosu, R.; Mitra, S.; Ye, P.; Entcheva, E.; Ramakrishnan, I. V.; Smolka, S. A. 2 2007 Interactive computation. The new paradigm. Zbl 1106.68002 9 2006 Probabilistic I/O automata: theories of two equivalences. Zbl 1151.68554Stark, Eugene W.; Cleaveland, Rance; Smolka, Scott A. 1 2006 Monte Carlo model checking. Zbl 1087.68590Grosu, Radu; Smolka, Scott A. 16 2005 Turing machines, transition systems, and interaction. Zbl 1090.68040Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L. 15 2004 A process-algebraic language for probabilistic I/O automata. Zbl 1274.68255Stark, Eugene W.; Cleaveland, Rance; Smolka, Scott A. 4 2003 A logical encoding of the \(\pi\)-calculus: Model checking mobile processes using tabled resolution. Zbl 1022.68588Yang, Ping; Ramakrishnan, C. R.; Smolka, Scott A. 2 2003 Turing machines, transition systems, and interaction. Zbl 1260.68267Goldin, Dina Q.; Smolka, Scott A.; Wegner, Peter 4 2002 Vacuity checking in the modal mu-calculus. Zbl 1275.68090Dong, Yifei; Sarna-Starosta, Beata; Ramakrishnan, C. R.; Smolka, Scott A. 3 2002 Handbook of process algebra. Zbl 0971.00006 64 2001 Hiding resources that can fail: An axiomatic perspective. Zbl 1003.68089Philippou, Anna; Sokolsky, Oleg; Lee, Insup; Cleaveland, Rance; Smolka, Scott A. 1 2001 XMC: A logic-programming-based verification toolset. Zbl 0974.68571Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A.; Dong, Yifei; Du, Xiaoqun; Roychoudhury, Abhik; Venkatakrishnan, V. N. 3 2000 Verification of parameterized systems using logic program transformations. Zbl 0964.68018Roychoudhury, Abhik; Kumar, K. Narayan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Smolka, Scott A. 1 2000 Real-time verification techniques for untimed systems. Zbl 0971.68101Du, Xiaoqun; Ramakrishnan, C. R.; Smolka, Scott A. 1 2000 Testing preorders for probabilistic processes. Zbl 1045.68564Cleaveland, Rance; Dayar, Zeynep; Smolka, Scott A.; Yuen, Shoji 21 1999 Local model checking and protocol analysis. Zbl 1059.68584Du, Xiaoqun; Smolka, Scott A.; Cleaveland, Rance 3 1999 Composition and behaviors of probabilistic I/O automata. Zbl 0903.68123Wu, Sue-Hwey; Smolka, Scott A.; Stark, Eugene W. 23 1997 Priority as extremal probability. Zbl 0860.68027Smolka, Scott A.; Steffen, Bernhard 4 1996 A comprehensive study of the complexity of multiparty interaction. Zbl 0882.68036Joung, Yuh-Jzer; Smolka, Scott A. 3 1996 Reactive, generative, and stratified models of probabilistic processes. Zbl 0832.68042van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard 85 1995 Axiomatizing probabilistic processes: ACP with generative probabilities. Zbl 0829.60044Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A. 25 1995 CONCUR ’95: Concurrency theory. 6th international conference, Philadelphia, PA, USA, August 21–24, 1995. Proceedings. Zbl 0875.00126 1 1995 CCS expressions, finite state processes, and three problems of equivalence. Zbl 0705.68063Kanellakis, Paris C.; Smolka, Scott A. 105 1990 Data flow analysis of distributed communicating processes. Zbl 0714.68003Reif, John H.; Smolka, Scott A. 2 1990 On the analysis of cooperation and antagonism in networks of communicating processes. Zbl 0636.68023Kanellakis, Paris C.; Smolka, Scott A. 3 1988 The complexity of reachability in distributed communicating processes. Zbl 0637.68032Reif, John H.; Smolka, Scott A. 2 1988 Distributed algorithms for tree pattern matching. Zbl 0648.68073Singh, Gurdip; Smolka, Scot A.; Ramakrishnan, I. V. 1 1988 Polynomial-time analysis for a class of communicating processes. Zbl 0548.68020Smolka, Scott A. 1 1984 all cited Publications top 5 cited Publications all top 5 Cited by 739 Authors 19 Smolka, Scott A. 15 Bernardo, Marco 15 Katoen, Joost-Pieter 9 Bartocci, Ezio 9 Cleaveland, Rance 9 de Vink, Erik P. 9 Hermanns, Holger 9 Lüttgen, Gerald 8 Schröder, Lutz 8 Vogler, Walter 7 Castiglioni, Valentina 7 Ćirić, Miroslav D. 7 Grosu, Radu 7 Junges, Sebastian 7 Larsen, Kim Guldstrand 7 Tini, Simone 6 Ignjatović, Jelena 6 Luttik, Bas 6 Rutten, Jan J. M. M. 5 Baier, Christel 5 Corradini, Flavio 5 De Nicola, Rocco 5 Groote, Jan Friso 5 Huynh, Dung T. 5 Merro, Massimo 5 Nunez, Manuel A. 5 van Glabbeek, Robert Jan 4 Aceto, Luca 4 Bonchi, Filippo 4 D’Argenio, Pedro Rubén 4 Deng, Yuxin 4 Di Pierro, Alessandra 4 Gebler, Daniel E. 4 Goncharov, Sergeĭ Savost’yanovich 4 Gorrieri, Roberto 4 Höfner, Peter 4 Ingólfsdóttir, Anna 4 Lanotte, Ruggero 4 Loreti, Michele 4 Montanari, Ugo G. 4 Rauch, Christoph 4 Silva, Alexandra 4 Srba, Jiří 4 Tian, Lu 4 Turrini, Andrea 4 Valero, Valentín 4 Wiklicky, Herbert 3 Andova, Suzana 3 Baeten, Jos C. M. 3 Bonakdarpour, Borzoo 3 Bonsangue, Marcello Maria 3 Boreale, Michele 3 Bravetti, Mario 3 Bruni, Roberto 3 Cabessa, Jérémie 3 Cuartero, Fernando 3 Desharnais, Josée 3 Dovier, Agostino 3 Ferrer Fioriti, Luis María 3 Genitrini, Antoine 3 Hankin, Chris L. 3 Hennessy, Matthew C. B. 3 Jansen, David N. 3 Jonsson, Bengt 3 Kwiatkowska, Marta Z. 3 Lang, Frédéric 3 Lynch, Nancy Ann 3 Ma, Yanfang 3 Majster-Cederbaum, Mila E. 3 Mardare, Radu 3 Mateescu, Radu 3 Milius, Stefan 3 Padovani, Luca 3 Pedersen, Mathias Ruggaard 3 Peschanski, Frédéric 3 Ramakrishnan, C. R. 3 Riguzzi, Fabrizio 3 Roscoe, Andrew William 3 Skowron, Andrzej 3 Stamenković, Aleksandar 3 Steffen, Bernhard 3 Tarasyuk, Igor’ Valer’evich 3 van Benthem, Johan F. A. K. 3 Wijs, Anton J. 3 Wißmann, Thorsten 3 Yen, Hsuchun 2 Abate, Alessandro 2 Abdulla, Parosh Aziz 2 Aldini, Alessandro 2 Attie, Paul C. 2 Backes, Michael 2 Bašić, Milan 2 Basset, Nicolas 2 Bedregal, Benjamín René Callejas 2 Benevides, Mario R. F. 2 Bodei, Chiara 2 Bodini, Olivier 2 Boiten, Eerke A. 2 Bortolussi, Luca 2 Bourke, Timothy ...and 639 more Authors all top 5 Cited in 66 Serials 84 Theoretical Computer Science 44 Information and Computation 21 Formal Aspects of Computing 14 Acta Informatica 12 Formal Methods in System Design 10 Logical Methods in Computer Science 9 Information Processing Letters 9 The Journal of Logic and Algebraic Programming 9 Journal of Logical and Algebraic Methods in Programming 6 Fuzzy Sets and Systems 6 Journal of Computer and System Sciences 6 Distributed Computing 5 Information Sciences 5 Science of Computer Programming 4 Annals of Pure and Applied Logic 4 MSCS. Mathematical Structures in Computer Science 4 Nonlinear Analysis. Hybrid Systems 3 Cybernetics and Systems Analysis 3 Fundamenta Informaticae 3 Theory and Practice of Logic Programming 2 Mathematical Systems Theory 2 Programming and Computer Software 2 Machine Learning 2 Natural Computing 2 ACM Transactions on Computational Logic 1 Artificial Intelligence 1 Computers & Mathematics with Applications 1 Chaos, Solitons and Fractals 1 Computing 1 Journal of Philosophical Logic 1 Synthese 1 Journal of Computer Science and Technology 1 Algorithmica 1 International Journal of Parallel Programming 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Journal of Economic Dynamics & Control 1 Neural Computation 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 RAIRO. Informatique Théorique et Applications 1 Applicable Algebra in Engineering, Communication and Computing 1 Foundations of Computing and Decision Sciences 1 Filomat 1 The Electronic Journal of Combinatorics 1 Annals of Mathematics and Artificial Intelligence 1 Mathematical Problems in Engineering 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 International Journal of Applied Mathematics and Computer Science 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Applied Mathematics and Computing 1 Computer Languages, Systems & Structures 1 Journal of Intelligent and Fuzzy Systems 1 Journal of Applied Logic 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 International Journal of Parallel, Emergent and Distributed Systems 1 Journal of Shanghai Jiaotong University (Science) 1 International Journal of Biomathematics 1 Algorithms 1 Science China. Information Sciences 1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications 1 RAIRO. Theoretical Informatics and Applications 1 Frontiers of Computer Science 1 Advances in Combinatorics 1 Matematicheskie Voprosy Kriptografii all top 5 Cited in 29 Fields 409 Computer science (68-XX) 57 Mathematical logic and foundations (03-XX) 32 Systems theory; control (93-XX) 26 Probability theory and stochastic processes (60-XX) 17 Biology and other natural sciences (92-XX) 12 Category theory; homological algebra (18-XX) 10 Operations research, mathematical programming (90-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Information and communication theory, circuits (94-XX) 7 Ordinary differential equations (34-XX) 6 Combinatorics (05-XX) 3 Statistics (62-XX) 3 Numerical analysis (65-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Number theory (11-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Convex and discrete geometry (52-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Integral transforms, operational calculus (44-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) Citations by Year