Edit Profile Silva, Alexandra Compute Distance To: Compute Author ID: silva.alexandra Published as: Silva, A.; Silva, Alexandra Documents Indexed: 92 Publications since 1980, including 10 Books all top 5 Co-Authors 3 single-authored 18 Rutten, Jan J. M. M. 17 Bonsangue, Marcello Maria 15 Bonchi, Filippo 14 Kozen, Dexter C. 7 Jacobs, Bart 6 Milius, Stefan 6 Sammartino, Matteo 6 Zanasi, Fabio 5 Kappé, Tobias 5 Sokolova, Ana 5 van Heerdt, Gerco 4 Brunet, Paul 4 Caltais, Georgiana 4 Mamouras, Konstantinos 3 Foster, Nate 3 Hansen, Helle Hvid 3 Jeannin, Jean-Baptiste 3 Rot, Jurriaan 2 Albert, Elvira 2 Barbosa, Luís Soares 2 Barthe, Gilles 2 Bliudze, Simon 2 Bruni, Roberto 2 Dahlqvist, Fredrik 2 Endrullis, Jörg 2 Gómez-Zamalloa, Miguel 2 Goncharov, Sergeĭ Savost’yanovich 2 Hendriks, Dimitri 2 Katoen, Joost-Pieter 2 König, Barbara 2 Luttik, Bas 2 Moerman, Joshua 2 Niqui, Milad 2 Polonsky, Andrew 2 Pous, Damien 2 Rubio, Albert 2 Staton, Sam 2 Wagemaker, Jana 1 Adámek, Jiří 1 Arbab, Farhad 1 Ben Mokhtar, Sonia 1 Beohar, Harsh 1 Boreale, Michele 1 Bouajjani, Ahmed 1 Carbone, Marco 1 Clarke, Dave 1 Constable, Robert Lee 1 Cunha, Alcino 1 De Queiroz, Ruy José Guerra Barretto 1 Goriac, Eugen-Ioan 1 Grohmann, Davide 1 Hsu, Justin 1 Hülsbusch, Mathias 1 Isabel, Miguel 1 Kennedy, Juliette Cara 1 Klin, Bartek 1 Krause, Christian 1 Kumar, Praveen 1 Kupke, Clemens 1 Küpper, Sebastian 1 Lanese, Ivan 1 Lucanu, Dorel 1 Milano, Matthew 1 Moon, Young-Joo 1 Oliveira, José Nuno 1 Ouaknine, Joel O. 1 Panangaden, Prakash 1 Parlant, Louis 1 Petrisan, Daniela Luan 1 Reitblatt, Mark 1 Sadrzadeh, Mehrnoosh 1 Smolka, Steffen Juilf 1 Sutton, Peter R. 1 Szynwelski, Michał 1 Thompson, Laure 1 Troina, Angelo 1 Umbach, Carla 1 Westerbaan, Bram 1 Wißmann, Thorsten all top 5 Serials 5 Journal of Logical and Algebraic Methods in Programming 4 MSCS. Mathematical Structures in Computer Science 4 Logical Methods in Computer Science 3 Theoretical Computer Science 3 Information and Computation 3 ACM Transactions on Computational Logic 3 Lecture Notes in Computer Science 3 Electronic Notes in Theoretical Computer Science 2 Science of Computer Programming 2 Scientific Annals of Computer Science 2 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 American Mathematical Monthly 1 Journal of Computer and System Sciences 1 Logic Journal of the IGPL 1 Fundamenta Informaticae all top 5 Fields 78 Computer science (68-XX) 16 Category theory; homological algebra (18-XX) 12 General and overarching topics; collections (00-XX) 9 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-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 54 Publications have been cited 286 times in 156 Documents Cited by ▼ Year ▼ Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 20 2013 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 16 2014 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 16 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 15 2012 Nominal Kleene coalgebra. Zbl 1440.68174Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra 14 2015 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 14 2012 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 14 2010 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 12 2009 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 8 2015 Graphs of girth at least 7 have high \(b\)-chromatic number. Zbl 1315.05048Campos, V.; Lima, C.; Silva, A. 8 2015 Trace semantics via determinization. Zbl 1327.68158Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 8 2015 Non-deterministic Kleene coalgebras. Zbl 1208.68141Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 8 2010 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 7 2015 A coalgebraic decision procedure for NetKAT. Zbl 1346.68132Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 7 2015 Trace semantics via determinization. Zbl 1328.68122Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 7 2012 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 7 2011 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 7 2008 Probabilistic NetKAT. Zbl 1335.68027Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra 6 2016 Language constructs for non-well-founded computation. Zbl 1381.68034Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 6 2013 Practical coinduction. Zbl 1376.68095Kozen, Dexter; Silva, Alexandra 5 2015 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393Silva, Alexandra; Rutten, Jan 5 2007 Completeness and incompleteness in nominal Kleene algebra. Zbl 06527600Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 4 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 4 2015 Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243Silva, Alexandra; Sokolova, Ana 4 2011 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Behnke-Stein theorem on complex spaces with singularities. Zbl 0820.32007Colţoiu, M.; Silva, A. 4 1995 CoCaml: functional programming with regular coinductive types. Zbl 1374.68098Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 3 2017 Learning nominal automata. Zbl 1380.68243Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał 3 2017 Dynamics of a gyrostat satellite subjected to the action of gravity moment. Equilibrium attitudes and their stability. Zbl 1327.93294Gutnik, S. A.; Santos, L.; Sarychev, V. A.; Silva, A. 3 2015 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2014 A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193Silva, Alexandra; Westerbaan, Bram 3 2013 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Left-handed completeness. Zbl 1364.68268Kozen, Dexter; Silva, Alexandra 3 2012 A model of context-dependent component connectors. Zbl 1243.68147Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra 3 2012 Calculating invariants as coreflexive bisimulations. Zbl 1170.68426Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra 3 2008 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 06825413Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 2 2018 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Damageable contact between an elastic body and a rigid foundation. Zbl 1156.74030Campo, M.; Fernández, J. R.; Silva, A. 2 2009 Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra 1 2018 A coalgebraic treatment of conditional transition systems with upgrades. Zbl 06864542Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wißmann, Thorsten 1 2018 Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra 1 2017 On the existence of tree backbones that realize the chromatic number on a backbone coloring. Zbl 1368.05041Araujo, J.; Cezar, A. A.; Silva, A. 1 2017 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 Well-founded coalgebras, revisited. Zbl 1376.68094Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 1 2015 A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad 1 2014 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 On Moessner’s theorem. Zbl 1271.13041Kozen, Dexter; Silva, Alexandra 1 2013 Analysis and numerical simulation of viscous Burgers equation. Zbl 1254.35188Clark, H. R.; Rincon, M. A.; Silva, A. 1 2011 A coinductive calculus of binary trees. Zbl 1200.68082Silva, Alexandra; Rutten, Jan 1 2010 Numerical analysis of convective heat transfer in nanofluid. Zbl 1419.76023Rouboa, A.; Silva, A.; Freire, A. J.; Borges, A.; Ribeiro, J.; Silva, P.; Alexandre, J. L. 1 2008 A simple and direct method for generating travelling wave solutions for nonlinear equations. Zbl 1153.35066Bazeia, D.; Das, Ashok; Losano, L.; Silva, A. 1 2008 On the cohomology of an open subspace of a Stein space. Zbl 0424.32008Raimondo, M.; Silva, A. 1 1980 Coinductive foundations of infinitary rewriting and infinitary equational logic. Zbl 06825413Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 2 2018 Convex language semantics for nondeterministic probabilistic automata. Zbl 06983522van Heerdt, Gerco; Hsu, Justin; Ouaknine, Joël; Silva, Alexandra 1 2018 A coalgebraic treatment of conditional transition systems with upgrades. Zbl 06864542Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wißmann, Thorsten 1 2018 CoCaml: functional programming with regular coinductive types. Zbl 1374.68098Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 3 2017 Learning nominal automata. Zbl 1380.68243Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał 3 2017 Cantor meets Scott: semantic foundations for probabilistic networks. Zbl 1380.68132Smolka, Steffen; Kumar, Praveen; Foster, Nate; Kozen, Dexter; Silva, Alexandra 1 2017 On the existence of tree backbones that realize the chromatic number on a backbone coloring. Zbl 1368.05041Araujo, J.; Cezar, A. A.; Silva, A. 1 2017 Probabilistic NetKAT. Zbl 1335.68027Foster, Nate; Kozen, Dexter; Mamouras, Konstantinos; Reitblatt, Mark; Silva, Alexandra 6 2016 A coalgebraic view on decorated traces. Zbl 1364.68276Bonchi, F.; Bonsangue, M.; Caltais, G.; Rutten, J.; Silva, A. 1 2016 Nominal Kleene coalgebra. Zbl 1440.68174Kozen, Dexter; Mamouras, Konstantinos; Petrişan, Daniela; Silva, Alexandra 14 2015 A coinductive framework for infinitary rewriting and equational reasoning. Zbl 1366.68114Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra 8 2015 Graphs of girth at least 7 have high \(b\)-chromatic number. Zbl 1315.05048Campos, V.; Lima, C.; Silva, A. 8 2015 Trace semantics via determinization. Zbl 1327.68158Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 8 2015 Enhanced coalgebraic bisimulation. Zbl 1380.68300Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra 7 2015 A coalgebraic decision procedure for NetKAT. Zbl 1346.68132Foster, Nate; Kozen, Dexter; Milano, Matthew; Silva, Alexandra; Thompson, Laure 7 2015 Practical coinduction. Zbl 1376.68095Kozen, Dexter; Silva, Alexandra 5 2015 Completeness and incompleteness in nominal Kleene algebra. Zbl 06527600Kozen, Dexter; Mamouras, Konstantinos; Silva, Alexandra 4 2015 Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure. Zbl 1330.68194Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 4 2015 Dynamics of a gyrostat satellite subjected to the action of gravity moment. Equilibrium attitudes and their stability. Zbl 1327.93294Gutnik, S. A.; Santos, L.; Sarychev, V. A.; Silva, A. 3 2015 Well-founded coalgebras, revisited. Zbl 1376.68094Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 1 2015 Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra 16 2014 Towards a coalgebraic Chomsky hierarchy (extended abstract). Zbl 1417.68085Goncharov, Sergey; Milius, Stefan; Silva, Alexandra 3 2014 A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Zbl 1412.68065Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad 1 2014 How to kill epsilons with a dagger. A coalgebraic take on systems with algebraic label structure. Zbl 1331.68148Bonchi, Filippo; Milius, Stefan; Silva, Alexandra; Zanasi, Fabio 1 2014 Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra 20 2013 Generalizing determinization from automata to coalgebras. Zbl 1262.18002Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 16 2013 Language constructs for non-well-founded computation. Zbl 1381.68034Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 6 2013 A coalgebraic view of \(\varepsilon \)-transitions. Zbl 1395.68193Silva, Alexandra; Westerbaan, Bram 3 2013 Brzozowski’s and up-to algorithms for must testing. Zbl 1426.68180Bonchi, Filippo; Caltais, Georgiana; Pous, Damien; Silva, Alexandra 2 2013 On Moessner’s theorem. Zbl 1271.13041Kozen, Dexter; Silva, Alexandra 1 2013 A coalgebraic perspective on linear weighted automata. Zbl 1279.68235Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra 15 2012 A coalgebraic perspective on minimization and determinization. Zbl 1352.68171Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra 14 2012 Trace semantics via determinization. Zbl 1328.68122Jacobs, Bart; Silva, Alexandra; Sokolova, Ana 7 2012 Brzozowski’s algorithm (co)algebraically. Zbl 1354.68185Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M.; Silva, Alexandra 7 2012 Final semantics for decorated traces. Zbl 1342.68224Bonchi, Filippo; Bonsangue, Marcello; Caltais, Georgiana; Rutten, Jan; Silva, Alexandra 3 2012 Left-handed completeness. Zbl 1364.68268Kozen, Dexter; Silva, Alexandra 3 2012 A model of context-dependent component connectors. Zbl 1243.68147Bonsangue, Marcello; Clarke, Dave; Silva, Alexandra 3 2012 Quantitative Kleene coalgebras. Zbl 1227.68075Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan 7 2011 Sound and complete axiomatization of trace semantics for probabilistic systems. Zbl 1342.68243Silva, Alexandra; Sokolova, Ana 4 2011 A decision procedure for bisimilarity of generalized regular expressions. Zbl 1325.68127Bonsangue, Marcello; Caltais, Georgiana; Goriac, Eugen-Ioan; Lucanu, Dorel; Rutten, Jan; Silva, Alexandra 2 2011 Analysis and numerical simulation of viscous Burgers equation. Zbl 1254.35188Clark, H. R.; Rincon, M. A.; Silva, A. 1 2011 Generalizing the powerset construction, coalgebraically. Zbl 1245.68141Silva, Alexandra; Bonchi, Filippo; Bonsangue, Marcello M.; Rutten, Jan J. M. M. 14 2010 Non-deterministic Kleene coalgebras. Zbl 1208.68141Silva, Alexandra; Bonsangue, Marcello; Rutten, Jan 8 2010 A coinductive calculus of binary trees. Zbl 1200.68082Silva, Alexandra; Rutten, Jan 1 2010 A Kleene theorem for polynomial coalgebras. Zbl 1234.68272Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 12 2009 Deriving syntax and axioms for quantitative regular behaviours. Zbl 1254.68129Bonchi, Filippo; Bonsangue, Marcello; Rutten, Jan; Silva, Alexandra 4 2009 Damageable contact between an elastic body and a rigid foundation. Zbl 1156.74030Campo, M.; Fernández, J. R.; Silva, A. 2 2009 Coalgebraic logic and synthesis of Mealy machines. Zbl 1137.68034Bonsangue, M. M.; Rutten, Jan; Silva, Alexandra 7 2008 Calculating invariants as coreflexive bisimulations. Zbl 1170.68426Barbosa, Luís S.; Oliveira, José N.; Silva, Alexandra 3 2008 Numerical analysis of convective heat transfer in nanofluid. Zbl 1419.76023Rouboa, A.; Silva, A.; Freire, A. J.; Borges, A.; Ribeiro, J.; Silva, P.; Alexandre, J. L. 1 2008 A simple and direct method for generating travelling wave solutions for nonlinear equations. Zbl 1153.35066Bazeia, D.; Das, Ashok; Losano, L.; Silva, A. 1 2008 Behavioural differential equations and coinduction for binary trees. Zbl 1213.68393Silva, Alexandra; Rutten, Jan 5 2007 Behnke-Stein theorem on complex spaces with singularities. Zbl 0820.32007Colţoiu, M.; Silva, A. 4 1995 On the cohomology of an open subspace of a Stein space. Zbl 0424.32008Raimondo, M.; Silva, A. 1 1980 all cited Publications top 5 cited Publications all top 5 Cited by 206 Authors 25 Silva, Alexandra 17 Rutten, Jan J. M. M. 15 Bonsangue, Marcello Maria 12 Milius, Stefan 11 Bonchi, Filippo 9 Kozen, Dexter C. 9 Rot, Jurriaan 7 Sokolova, Ana 6 Hansen, Helle Hvid 6 Wißmann, Thorsten 5 Adámek, Jiří 5 Hasuo, Ichiro 5 Kupke, Clemens 5 Pattinson, Dirk 4 Jacobs, Bart 4 Mamouras, Konstantinos 4 Oliveira, José Nuno 4 Petrisan, Daniela Luan 4 Pous, Damien 4 Schröder, Lutz 3 Ballester-Bolinches, Adolfo 3 Boreale, Michele 3 Caltais, Georgiana 3 Colţoiu, Mihnea 3 Cosme-Llópez, Enric 3 König, Barbara 3 Küpper, Sebastian 3 Linhares-Sales, Claudia 3 Lucanu, Dorel 3 Myers, Robert S. R. 3 Peressotti, Marco 3 Sammartino, Matteo 3 Urbat, Henning 3 Winter, Joost 2 Basold, Henning 2 Brengos, Tomasz 2 Capretta, Venanzio 2 Cho, Kenta 2 Colcombet, Thomas 2 Czajka, Łukasz 2 Dagnino, Francesco 2 De Vrijer, Roel C. 2 Endrullis, Jörg 2 Gutnik, Sergey A. 2 Kataoka, Toshiki 2 Khludnev, Aleksandr Mikhaĭlovich 2 Klop, Jan Willem 2 Lombardi, Carlos 2 Madeira, Alexandre 2 Manzonetto, Giulio 2 Martins, Manuel António 2 Miculan, Marino 2 Neves, Renato 2 Panangaden, Prakash 2 Polonsky, Andrew 2 Ríos, Alejandro 2 Sarychev, Vasily A. 2 Silva, Ana L. 2 Silva, Ana T. C. 2 Sprunger, David 2 Urabe, Natsuki 2 Woracek, Harald 2 Zanasi, Fabio 1 Abe, Makoto 1 Abuhlail, Jawad Y. 1 Al-Sulaiman, Nabeela 1 Albert, Elvira 1 Alfaro Vigo, Daniel Gregorio 1 Alpernas, Kalev 1 Ancona, Davide 1 Arbab, Farhad 1 Bacci, Giorgio 1 Bacci, Giovanni 1 Balle, Borja 1 Barbanera, Franco 1 Barbosa, L. S. 1 Barbosa, Luís Soares 1 Beohar, Harsh 1 Biswas, Anjan 1 Blanchette, Jasmin Christian 1 Bolognesi, Tommaso 1 Bouzy, Aymeric 1 Brázdil, Tomáš 1 Breuvart, Flavien 1 Brunet, Paul 1 Bruni, Roberto 1 Campos, Víctor C. S. 1 Carle, Georg 1 Castiglioni, Valentina 1 Chatterjee, Krishnendu 1 Ciancia, Vincenzo 1 Clark, David 1 Clarke, Dave 1 Clausen, Christian 1 D’Antoni, Loris 1 Danvy, Olivier 1 Dezani-Ciancaglini, Mariangiola 1 Diekmann, Cornelius 1 Dokter, Kasper 1 Doroshin, Anton V. ...and 106 more Authors all top 5 Cited in 38 Serials 16 Logical Methods in Computer Science 14 Theoretical Computer Science 14 Journal of Logical and Algebraic Methods in Programming 8 Information and Computation 6 MSCS. Mathematical Structures in Computer Science 3 Discrete Mathematics 3 Journal of Computer and System Sciences 3 Journal of Automated Reasoning 3 Formal Aspects of Computing 2 Acta Informatica 2 Algebra Universalis 2 Journal of Computational and Applied Mathematics 2 Journal of Pure and Applied Algebra 2 Science of Computer Programming 2 Graphs and Combinatorics 2 Journal of Functional Programming 1 Communications in Algebra 1 Computers & Mathematics with Applications 1 Discrete Applied Mathematics 1 International Journal of Heat and Mass Transfer 1 Arkiv för Matematik 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 BIT 1 Nagoya Mathematical Journal 1 Programming and Computer Software 1 Studia Logica 1 Algorithmica 1 International Journal of Foundations of Computer Science 1 The Journal of Geometric Analysis 1 Formal Methods in System Design 1 Journal of Computer and Systems Sciences International 1 Applied Categorical Structures 1 Theory and Applications of Categories 1 Soft Computing 1 Communications in Nonlinear Science and Numerical Simulation 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie V all top 5 Cited in 27 Fields 131 Computer science (68-XX) 40 Category theory; homological algebra (18-XX) 28 Mathematical logic and foundations (03-XX) 9 Combinatorics (05-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 General algebraic systems (08-XX) 5 Several complex variables and analytic spaces (32-XX) 4 Partial differential equations (35-XX) 3 Associative rings and algebras (16-XX) 3 Mechanics of particles and systems (70-XX) 2 Number theory (11-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Probability theory and stochastic processes (60-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year