Edit Profile (opens in new tab) Goubault-Larrecq, Jean Co-Author Distance Author ID: goubault-larrecq.jean Published as: Goubault-Larrecq, Jean; Goubault, Jean Homepage: http://www.lsv.fr/~goubault/ External Links: ORCID Documents Indexed: 90 Publications since 1993, including 2 Books and 6 Additional arXiv Preprints 3 Contributions as Editor Co-Authors: 42 Co-Authors with 46 Joint Publications 911 Co-Co-Authors all top 5 Co-Authors 47 single-authored 7 Finkel, Alain 6 Goubault, Eric 5 Jia, Xiaodong 4 Dubut, Jérémy 4 Verma, Kumar Neeraj 3 Lasota, Sławomir 3 Nowak, David E. 2 Blondin, Michael 2 Halfon, Simon 2 Jung, Achim 1 Arunkumar, S. 1 Baier, Christel 1 Bouissou, Olivier 1 De Brecht, Matthew 1 Goguen, Healfdene 1 Ho, Weng Kin 1 Jouannaud, Jean-Pierre 1 Karandikar, Prateek 1 Keimel, Klaus 1 König, Barbara 1 Kumar, K. Narayan 1 Laboureix, Bastien 1 Lachance, Jean-Philippe 1 Lopez, Aliaume 1 Lyu, Zhenchao 1 Mackie, Ian 1 Mynard, Frédéric 1 Ng, Kok Min 1 Olivain, Julien 1 Palamidessi, Catuscia 1 Parrennes, Fabrice 1 Pouzet, Maurice 1 Prasad, Sanjiva 1 Putot, Sylvie 1 Rival, Xavier 1 Roger, Muriel 1 Schmitz, Sylvain 1 Schnoebelen, Philippe 1 Segala, Roberto 1 Troina, Angelo 1 Xi, Xiaoyong 1 Zhang, Yu all top 5 Serials 11 Mathematical Structures in Computer Science 8 Topology and its Applications 5 Logical Methods in Computer Science 4 Topology Proceedings 2 Houston Journal of Mathematics 2 Colloquium Mathematicum 2 Applied Categorical Structures 1 Information Processing Letters 1 Computing 1 Theoretical Computer Science 1 Information and Computation 1 Formal Methods in System Design 1 Journal of the IGPL 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Homology, Homotopy and Applications 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Applied Logic Series 1 Electronic Notes in Theoretical Computer Science 1 New Mathematical Monographs 1 LIPIcs – Leibniz International Proceedings in Informatics 1 Journal of Logical and Algebraic Methods in Programming 1 Minimax Theory and its Applications all top 5 Fields 51 Computer science (68-XX) 27 General topology (54-XX) 24 Mathematical logic and foundations (03-XX) 18 Order, lattices, ordered algebraic structures (06-XX) 10 Category theory; homological algebra (18-XX) 6 Information and communication theory, circuits (94-XX) 4 Measure and integration (28-XX) 4 Functional analysis (46-XX) 3 General and overarching topics; collections (00-XX) 3 Algebraic topology (55-XX) 3 Probability theory and stochastic processes (60-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 70 Publications have been cited 624 times in 435 Documents Cited by ▼ Year ▼ Non-Hausdorff topology and domain theory. Selected topics in point-set topology. Zbl 1280.54002 Goubault-Larrecq, Jean 224 2013 Forward analysis for WSTS. I: Completions. Zbl 1236.68183 Finkel, Alain; Goubault-Larrecq, Jean 24 2009 The Ho-Zhao problem. Zbl 1459.06003 Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong 15 2018 Logical relations for monadic types. Zbl 1156.03014 Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David 14 2008 Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172 Goubault-Larrecq, Jean; Schmitz, Sylvain 14 2016 Prevision domains and convex powercones. Zbl 1139.68034 Goubault-Larrecq, Jean 13 2008 Continuous previsions. Zbl 1179.68074 Goubault-Larrecq, Jean 13 2007 QRB-domains and the probabilistic powerdomain. Zbl 1239.06002 Goubault-Larrecq, Jean 13 2012 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329 Finkel, Alain; Goubault-Larrecq, Jean 12 2012 Karp-Miller trees for a branching extension of VASS. Zbl 1152.68462 Verma, Kumar Neeraj; Goubault-Larrecq, Jean 12 2005 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352 Finkel, Alain; Goubault-Larrecq, Jean 12 2009 Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026 Goubault-Larrecq, Jean 11 2015 A few notes on formal balls. Zbl 1385.54009 Goubault-Larrecq, Jean; Ng, Kok Min 11 2017 Deciding \(\mathcal H_1\) by resolution. Zbl 1185.68620 Goubault-Larrecq, Jean 10 2005 Continuous capacities on continuous state spaces. Zbl 1171.91316 Goubault-Larrecq, Jean 10 2007 Cryptographic protocol analysis on real C code. Zbl 1111.68506 Goubault-Larrecq, Jean; Parrennes, Fabrice 10 2005 De Groot duality and models of choice: angels, demons and nature. Zbl 1193.06005 Goubault-Larrecq, Jean 9 2010 A probabilistic applied pi-calculus. Zbl 1137.68448 Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo 8 2007 Directed homology theories and Eilenberg-Steenrod axioms. Zbl 1422.55009 Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean 8 2017 Formal ball monads. Zbl 1447.54027 Goubault-Larrecq, Jean 8 2019 Isomorphism theorems between models of mixed choice. Zbl 1378.68111 Goubault-Larrecq, Jean 8 2017 Domain-complete and LCS-complete spaces. Zbl 07513470 de Brecht, Matthew; Goubault-Larrecq, Jean; Jia, Xiaodong; Lyu, Zhenchao 8 2019 Simulation hemi-metrics between infinite-state stochastic games. Zbl 1139.68041 Goubault-Larrecq, Jean 7 2008 Reflecting BDDs in Coq. Zbl 0988.68600 Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S. 7 2000 Natural homology. Zbl 1448.55010 Dubut, Jérémy; Goubault, Éric; Goubault-Larrecq, Jean 7 2015 A generalization of \(p\)-boxes to affine arithmetic. Zbl 1247.60006 Bouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie 7 2012 Noetherian spaces in verification. Zbl 1288.68165 Goubault-Larrecq, Jean 6 2010 Proof theory and automated deduction. Zbl 0896.03014 Goubault-Larrecq, Jean; Mackie, Ian 6 1997 Well-founded recursive relations. Zbl 0999.68094 Goubault-Larrecq, Jean 6 2001 Logical relations for monadic types. Zbl 1021.03003 Goubault-Larrecq, Jean; Lasota, Slawomir; Nowak, David 5 2002 The complexity of resource-bounded first-order classical logic. Zbl 0941.03547 Goubault, Jean 5 1994 Alternating two-way AC-tree automata. Zbl 1118.68081 Verma, Kumar Neeraj; Goubault-Larrecq, Jean 5 2007 QRB, QFS, and the probabilistic powerdomain. Zbl 1337.68160 Goubault-Larrecq, Jean; Jung, Achim 5 2014 A short proof of the Schröder-Simpson theorem. Zbl 1362.46002 Goubault-Larrecq, Jean 5 2015 Higher-order positive set constraints. Zbl 1020.03012 Goubault-Larrecq, Jean 4 2002 Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically. Zbl 1078.68032 Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 4 2005 The ideal approach to computing closed subsets in well-quasi-orderings. Zbl 1446.68191 Goubault-Larrecq, Jean; Halfon, Simon; Karandikar, Prateek; Kumar, K. Narayan; Schnoebelen, Philippe 4 2020 A rule-based algorithm for rigid \(E\)-unification. Zbl 0793.68132 Goubault, Jean 4 1993 Forward analysis for WSTS. III: Karp-Miller trees. Zbl 1491.68118 Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean 4 2018 Forward analysis for WSTS. I: Completions. Zbl 1491.68122 Finkel, Alain; Goubault-Larrecq, Jean 4 2020 On the geometry of intuitionistic S4 proofs. Zbl 1022.03010 Goubault-Larrecq, Jean; Goubault, Éric 3 2003 Spaces with no infinite discrete subspace. Zbl 1420.54051 Goubault-Larrecq, Jean 3 2019 A non-Hausdorff minimax theorem. Zbl 1392.49009 Goubault-Larrecq, Jean 3 2018 Bisimulations and unfolding in P-accessible categorical models. Zbl 1392.68296 Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean 3 2016 The Orchids intrusion detection tool. Zbl 1081.68630 Olivain, Julien; Goubault-Larrecq, Jean 3 2005 A proof of weak termination of typed \(\lambda\sigma\)-calculi. Zbl 0927.03030 Goubault-Larrecq, Jean 3 1998 A constructive proof of the topological Kruskal theorem. Zbl 1403.03126 Goubault-Larrecq, Jean 3 2013 Products and projective limits of continuous valuations on \(T_0\) spaces. Zbl 1481.54009 Goubault-Larrecq, Jean 3 2021 Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces. Zbl 1458.54012 Goubault-Larrecq, Jean 3 2020 Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations. Zbl 1473.46036 Goubault-Larrecq, Jean 3 2021 Infinitary Noetherian constructions. I: Infinite words. Zbl 1498.54031 Goubault-Larrecq, Jean 3 2022 Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007 Goubault-Larrecq, Jean; Keimel, Klaus 3 2011 Algebras of the extended probabilistic powerdomain monad. Zbl 07513471 Goubault-Larrecq, Jean; Jia, Xiaodong 3 2019 The blossom of finite semantic trees. Zbl 1383.03017 Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre 2 2013 Exponentiable streams and prestreams. Zbl 1293.54011 Goubault-Larrecq, Jean 2 2014 Random measurable selections. Zbl 1407.68255 Goubault-Larrecq, Jean; Segala, Roberto 2 2014 Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains. Zbl 1478.54020 Goubault-Larrecq, Jean 2 2022 On weakly Hausdorff spaces and locally strongly sober spaces. Zbl 1520.54012 Goubault-Larrecq, Jean 2 2023 Convergence without points. Zbl 1473.54006 Goubault-Larrecq, Jean; Mynard, Frédéric 2 2020 Musings around the geometry of interaction, and coherence. Zbl 1222.03066 Goubault-Larrecq, Jean 1 2011 On the complexity of monitoring Orchids signatures, and recurrence equations. Zbl 1394.68180 Goubault-Larrecq, Jean; Lachance, Jean-Philippe 1 2018 Sequent combinators: A Hilbert system for the lambda calculus. Zbl 0957.03015 Goguen, Healfdene; Goubault-Larrecq, Jean 1 2000 Extension of valuations. Zbl 1067.68089 Goubault-Larrecq, Jean 1 2005 Complete lax logical relations for cryptographic lambda-calculi. Zbl 1095.03009 Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David; Zhang, Yu 1 2004 A BDD-based simplification and Skolemization procedure. Zbl 0879.03005 Goubault, Jean 1 1995 Forward analysis for WSTS. III: Karp-Miller trees. Zbl 1491.68117 Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean 1 2020 A semantics for nabla. Zbl 1456.03055 Goubault-Larrecq, Jean 1 2019 Separating minimal valuations, point-continuous valuations, and continuous valuations. Zbl 07527573 Goubault-Larrecq, Jean; Jia, Xiaodong 1 2021 Fooling the parallel or tester with probability 8/27. Zbl 1535.68048 Goubault-Larrecq, Jean 1 2019 Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions. Zbl 1508.54017 Goubault-Larrecq, Jean 1 2022 On weakly Hausdorff spaces and locally strongly sober spaces. Zbl 1520.54012 Goubault-Larrecq, Jean 2 2023 Infinitary Noetherian constructions. I: Infinite words. Zbl 1498.54031 Goubault-Larrecq, Jean 3 2022 Kantorovich-Rubinstein quasi-metrics. II: Hyperspaces and powerdomains. Zbl 1478.54020 Goubault-Larrecq, Jean 2 2022 Kantorovich-Rubinstein quasi-metrics. III: Spaces of sublinear and superlinear previsions. Zbl 1508.54017 Goubault-Larrecq, Jean 1 2022 Products and projective limits of continuous valuations on \(T_0\) spaces. Zbl 1481.54009 Goubault-Larrecq, Jean 3 2021 Kantorovich-Rubinstein quasi-metrics. I: Spaces of measures and of continuous valuations. Zbl 1473.46036 Goubault-Larrecq, Jean 3 2021 Separating minimal valuations, point-continuous valuations, and continuous valuations. Zbl 07527573 Goubault-Larrecq, Jean; Jia, Xiaodong 1 2021 The ideal approach to computing closed subsets in well-quasi-orderings. Zbl 1446.68191 Goubault-Larrecq, Jean; Halfon, Simon; Karandikar, Prateek; Kumar, K. Narayan; Schnoebelen, Philippe 4 2020 Forward analysis for WSTS. I: Completions. Zbl 1491.68122 Finkel, Alain; Goubault-Larrecq, Jean 4 2020 Some topological properties of spaces of Lipschitz continuous maps on quasi-metric spaces. Zbl 1458.54012 Goubault-Larrecq, Jean 3 2020 Convergence without points. Zbl 1473.54006 Goubault-Larrecq, Jean; Mynard, Frédéric 2 2020 Forward analysis for WSTS. III: Karp-Miller trees. Zbl 1491.68117 Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean 1 2020 Formal ball monads. Zbl 1447.54027 Goubault-Larrecq, Jean 8 2019 Domain-complete and LCS-complete spaces. Zbl 07513470 de Brecht, Matthew; Goubault-Larrecq, Jean; Jia, Xiaodong; Lyu, Zhenchao 8 2019 Spaces with no infinite discrete subspace. Zbl 1420.54051 Goubault-Larrecq, Jean 3 2019 Algebras of the extended probabilistic powerdomain monad. Zbl 07513471 Goubault-Larrecq, Jean; Jia, Xiaodong 3 2019 A semantics for nabla. Zbl 1456.03055 Goubault-Larrecq, Jean 1 2019 Fooling the parallel or tester with probability 8/27. Zbl 1535.68048 Goubault-Larrecq, Jean 1 2019 The Ho-Zhao problem. Zbl 1459.06003 Ho, Weng Kin; Goubault-Larrecq, Jean; Jung, Achim; Xi, Xiaoyong 15 2018 Forward analysis for WSTS. III: Karp-Miller trees. Zbl 1491.68118 Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean 4 2018 A non-Hausdorff minimax theorem. Zbl 1392.49009 Goubault-Larrecq, Jean 3 2018 On the complexity of monitoring Orchids signatures, and recurrence equations. Zbl 1394.68180 Goubault-Larrecq, Jean; Lachance, Jean-Philippe 1 2018 A few notes on formal balls. Zbl 1385.54009 Goubault-Larrecq, Jean; Ng, Kok Min 11 2017 Directed homology theories and Eilenberg-Steenrod axioms. Zbl 1422.55009 Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean 8 2017 Isomorphism theorems between models of mixed choice. Zbl 1378.68111 Goubault-Larrecq, Jean 8 2017 Deciding piecewise testable separability for regular tree languages. Zbl 1388.68172 Goubault-Larrecq, Jean; Schmitz, Sylvain 14 2016 Bisimulations and unfolding in P-accessible categorical models. Zbl 1392.68296 Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean 3 2016 Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases. Zbl 1304.68026 Goubault-Larrecq, Jean 11 2015 Natural homology. Zbl 1448.55010 Dubut, Jérémy; Goubault, Éric; Goubault-Larrecq, Jean 7 2015 A short proof of the Schröder-Simpson theorem. Zbl 1362.46002 Goubault-Larrecq, Jean 5 2015 QRB, QFS, and the probabilistic powerdomain. Zbl 1337.68160 Goubault-Larrecq, Jean; Jung, Achim 5 2014 Exponentiable streams and prestreams. Zbl 1293.54011 Goubault-Larrecq, Jean 2 2014 Random measurable selections. Zbl 1407.68255 Goubault-Larrecq, Jean; Segala, Roberto 2 2014 Non-Hausdorff topology and domain theory. Selected topics in point-set topology. Zbl 1280.54002 Goubault-Larrecq, Jean 224 2013 A constructive proof of the topological Kruskal theorem. Zbl 1403.03126 Goubault-Larrecq, Jean 3 2013 The blossom of finite semantic trees. Zbl 1383.03017 Goubault-Larrecq, Jean; Jouannaud, Jean-Pierre 2 2013 QRB-domains and the probabilistic powerdomain. Zbl 1239.06002 Goubault-Larrecq, Jean 13 2012 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329 Finkel, Alain; Goubault-Larrecq, Jean 12 2012 A generalization of \(p\)-boxes to affine arithmetic. Zbl 1247.60006 Bouissou, Olivier; Goubault, Eric; Goubault-Larrecq, Jean; Putot, Sylvie 7 2012 Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. Zbl 1228.60007 Goubault-Larrecq, Jean; Keimel, Klaus 3 2011 Musings around the geometry of interaction, and coherence. Zbl 1222.03066 Goubault-Larrecq, Jean 1 2011 De Groot duality and models of choice: angels, demons and nature. Zbl 1193.06005 Goubault-Larrecq, Jean 9 2010 Noetherian spaces in verification. Zbl 1288.68165 Goubault-Larrecq, Jean 6 2010 Forward analysis for WSTS. I: Completions. Zbl 1236.68183 Finkel, Alain; Goubault-Larrecq, Jean 24 2009 Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352 Finkel, Alain; Goubault-Larrecq, Jean 12 2009 Logical relations for monadic types. Zbl 1156.03014 Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David 14 2008 Prevision domains and convex powercones. Zbl 1139.68034 Goubault-Larrecq, Jean 13 2008 Simulation hemi-metrics between infinite-state stochastic games. Zbl 1139.68041 Goubault-Larrecq, Jean 7 2008 Continuous previsions. Zbl 1179.68074 Goubault-Larrecq, Jean 13 2007 Continuous capacities on continuous state spaces. Zbl 1171.91316 Goubault-Larrecq, Jean 10 2007 A probabilistic applied pi-calculus. Zbl 1137.68448 Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo 8 2007 Alternating two-way AC-tree automata. Zbl 1118.68081 Verma, Kumar Neeraj; Goubault-Larrecq, Jean 5 2007 Karp-Miller trees for a branching extension of VASS. Zbl 1152.68462 Verma, Kumar Neeraj; Goubault-Larrecq, Jean 12 2005 Deciding \(\mathcal H_1\) by resolution. Zbl 1185.68620 Goubault-Larrecq, Jean 10 2005 Cryptographic protocol analysis on real C code. Zbl 1111.68506 Goubault-Larrecq, Jean; Parrennes, Fabrice 10 2005 Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically. Zbl 1078.68032 Goubault-Larrecq, Jean; Roger, Muriel; Verma, Kumar Neeraj 4 2005 The Orchids intrusion detection tool. Zbl 1081.68630 Olivain, Julien; Goubault-Larrecq, Jean 3 2005 Extension of valuations. Zbl 1067.68089 Goubault-Larrecq, Jean 1 2005 Complete lax logical relations for cryptographic lambda-calculi. Zbl 1095.03009 Goubault-Larrecq, Jean; Lasota, Sławomir; Nowak, David; Zhang, Yu 1 2004 On the geometry of intuitionistic S4 proofs. Zbl 1022.03010 Goubault-Larrecq, Jean; Goubault, Éric 3 2003 Logical relations for monadic types. Zbl 1021.03003 Goubault-Larrecq, Jean; Lasota, Slawomir; Nowak, David 5 2002 Higher-order positive set constraints. Zbl 1020.03012 Goubault-Larrecq, Jean 4 2002 Well-founded recursive relations. Zbl 0999.68094 Goubault-Larrecq, Jean 6 2001 Reflecting BDDs in Coq. Zbl 0988.68600 Verma, Kumar Neeraj; Goubault-Larrecq, Jean; Prasad, Sanjiva; Arun-Kumar, S. 7 2000 Sequent combinators: A Hilbert system for the lambda calculus. Zbl 0957.03015 Goguen, Healfdene; Goubault-Larrecq, Jean 1 2000 A proof of weak termination of typed \(\lambda\sigma\)-calculi. Zbl 0927.03030 Goubault-Larrecq, Jean 3 1998 Proof theory and automated deduction. Zbl 0896.03014 Goubault-Larrecq, Jean; Mackie, Ian 6 1997 A BDD-based simplification and Skolemization procedure. Zbl 0879.03005 Goubault, Jean 1 1995 The complexity of resource-bounded first-order classical logic. Zbl 0941.03547 Goubault, Jean 5 1994 A rule-based algorithm for rigid \(E\)-unification. Zbl 0793.68132 Goubault, Jean 4 1993 all cited Publications top 5 cited Publications all top 5 Cited by 488 Authors 44 Goubault-Larrecq, Jean 38 Li, Qingguo 31 Zhao, Dongsheng 26 Xi, Xiaoyong 20 Xu, Xiaoquan 15 Wang, Longchun 11 Shen, Chong 10 Finkel, Alain 9 Jia, Xiaodong 9 Lu, Jing 9 Zhao, Bin 8 Bice, Tristan Matthew 8 Wang, Kaiyun 7 Ho, Weng Kin 7 Lawson, Jimmie Don 7 Miao, Hualin 7 Zhou, Xiangnan 6 Katsumata, Shin-ya 6 Lyu, Zhenchao 6 Schmitz, Sylvain 6 Valero, Oscar 5 Dubut, Jérémy 5 Goubault, Eric 5 He, Qingyu 5 Kou, Hui 5 Lasota, Sławomir 5 Lazić, Ranko 5 Lu, Chongxia 5 Wen, Xinpeng 5 Xu, Luoshan 5 Zhang, Dexue 4 Cobzaş, Ştefan 4 Czerwiński, Wojciech 4 Farjudian, Amin 4 Fritz, Tobias 4 Gavazzo, Francesco 4 Greshnov, Aleksandr Valer’evich 4 Jung, Achim 4 Keimel, Klaus 4 Neves, Renato 4 Seidl, Helmut 4 Zetzsche, Georg 3 Arutyunov, Aram Vladimirovic 3 Blondin, Michael 3 Dal Lago, Ugo 3 De Brecht, Matthew 3 Desharnais, Josée 3 Jouannaud, Jean-Pierre 3 Li, Wei 3 Lopez, Aliaume 3 Miñana, Juan-José 3 Mynard, Frédéric 3 Perrone, Paolo 3 Plotkin, Gordon D. 3 Reuß, Andreas 3 Sato, Tetsuya 3 Schnoebelen, Philippe 3 Shi, Fu-Gui 3 Verma, Kumar Neeraj 3 Wu, Guohua 3 Yuan, Zhenzhu 2 Abadi, Martín 2 Aguirre, Alejandro 2 Amini, Massoud 2 Bao, Meng 2 Baran, Tesnim Meryem 2 Barbosa, Luís Soares 2 Bedregal, Benjamín René Callejas 2 Berger, Ulrich 2 Bhargavan, Karthikeyan 2 Bonacina, Maria Paola 2 Chadha, Rohit 2 Chambart, Pierre 2 Chatterjee, Krishnendu 2 Chen, Yixiang 2 Chen, Yuxu 2 Dagnino, Francesco 2 Dahlqvist, Fredrik 2 Demri, Stéphane P. 2 Dershowitz, Nachum 2 Doyen, Laurent 2 Fournet, Cédric 2 Gao, You 2 Gordon, Andrew D. 2 Haddad, Serge 2 Halfon, Simon 2 He, Zhengmao 2 Henzinger, Thomas A. 2 Hermida, Claudio 2 Hertling, Peter H. 2 Hofman, Piotr 2 Hofmann, Dirk 2 Hou, Huijun 2 Infusino, Federico G. 2 Jacquemard, Florent 2 Jagadeesan, Radha 2 Jančar, Petr 2 Kahl, Thomas 2 Karandikar, Prateek 2 Kawai, Tatsuji ...and 388 more Authors all top 5 Cited in 95 Serials 62 Topology and its Applications 29 Theoretical Computer Science 29 Mathematical Structures in Computer Science 17 Logical Methods in Computer Science 13 Information and Computation 9 Houston Journal of Mathematics 8 Topology Proceedings 6 Journal of Automated Reasoning 6 Formal Methods in System Design 6 Applied Categorical Structures 5 Information Processing Letters 5 Quaestiones Mathematicae 5 Archive for Mathematical Logic 4 Fuzzy Sets and Systems 4 Order 4 Journal of Logical and Algebraic Methods in Programming 4 Journal of Applied and Computational Topology 3 Rocky Mountain Journal of Mathematics 3 Algebra Universalis 3 Results in Mathematics 3 International Journal of Approximate Reasoning 3 Forum Mathematicum 3 Filomat 3 Acta Mathematica Sinica. English Series 3 ACM Transactions on Computational Logic 2 Advances in Mathematics 2 Colloquium Mathematicum 2 Commentationes Mathematicae Universitatis Carolinae 2 Information Sciences 2 Journal of Pure and Applied Algebra 2 Semigroup Forum 2 Studia Logica 2 Annals of Pure and Applied Logic 2 Theory and Applications of Categories 2 Doklady Mathematics 2 Communications de la Faculté des Sciences de l’Université d’Ankara. Séries A1. Mathematics and Statistics 2 The Journal of Logic and Algebraic Programming 2 Fixed Point Theory 2 Journal of Nonlinear Science and Applications 2 Applied General Topology 1 Acta Informatica 1 Artificial Intelligence 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Mathematical Analysis and Applications 1 Linear and Multilinear Algebra 1 Demonstratio Mathematica 1 Fundamenta Mathematicae 1 Journal of Algebra 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Mathematica Slovaca 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Revista de la Unión Matemática Argentina 1 Siberian Mathematical Journal 1 Synthese 1 Mathematical Social Sciences 1 Optimization 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 Annals of Operations Research 1 Discrete Event Dynamic Systems 1 Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 1 Journal of Knot Theory and its Ramifications 1 Journal of Logic, Language and Information 1 Journal of Mathematical Sciences (New York) 1 Computational and Applied Mathematics 1 Turkish Journal of Mathematics 1 Georgian Mathematical Journal 1 Journal of Functional Programming 1 Mathematical Problems in Engineering 1 Theory of Computing Systems 1 Optimization Methods & Software 1 Positivity 1 Soft Computing 1 Journal of the ACM 1 Matematicheskie Trudy 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 Acta Mathematica Scientia. Series B. (English Edition) 1 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 1 Computer Languages, Systems & Structures 1 Journal of Algebra and its Applications 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 Journal of Homotopy and Related Structures 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Journal of Mahani Mathematical Research Center 1 Universal Journal of Mathematics and Mathematical Sciences 1 Computability 1 Sahand Communications in Mathematical Analysis 1 Open Mathematics 1 Minimax Theory and its Applications 1 Categories and General Algebraic Structures with Applications 1 Probability, Uncertainty and Quantitative Risk all top 5 Cited in 34 Fields 218 Computer science (68-XX) 162 General topology (54-XX) 138 Order, lattices, ordered algebraic structures (06-XX) 80 Mathematical logic and foundations (03-XX) 50 Category theory; homological algebra (18-XX) 13 Algebraic topology (55-XX) 13 Information and communication theory, circuits (94-XX) 10 Functional analysis (46-XX) 10 Probability theory and stochastic processes (60-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 8 Operator theory (47-XX) 5 Group theory and generalizations (20-XX) 5 Topological groups, Lie groups (22-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 4 Quantum theory (81-XX) 3 Combinatorics (05-XX) 3 Numerical analysis (65-XX) 2 General algebraic systems (08-XX) 2 Algebraic geometry (14-XX) 2 Real functions (26-XX) 2 Measure and integration (28-XX) 2 Convex and discrete geometry (52-XX) 2 Manifolds and cell complexes (57-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 \(K\)-theory (19-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) Citations by Year