Jordi Levy

1.6k total citations
43 papers, 387 citations indexed

About

Jordi Levy is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Jordi Levy has authored 43 papers receiving a total of 387 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 18 papers in Computer Networks and Communications. Recurrent topics in Jordi Levy's work include Logic, programming, and type systems (20 papers), Constraint Satisfaction and Optimization (16 papers) and Logic, Reasoning, and Knowledge (13 papers). Jordi Levy is often cited by papers focused on Logic, programming, and type systems (20 papers), Constraint Satisfaction and Optimization (16 papers) and Logic, Reasoning, and Knowledge (13 papers). Jordi Levy collaborates with scholars based in Spain, Austria and Germany. Jordi Levy's co-authors include Marı́a Luisa Bonet, Carlos Ansótegui, Mateu Villaret, Jesús Giráldez-Cru, Felip Manyà, Temur Kutsia, Margus Veanes, Manfred Schmidt-Schauß, Alexander Baumgärtner and Dave de Jonge and has published in prestigious journals such as Information Sciences, Artificial Intelligence and SIAM Journal on Computing.

In The Last Decade

Jordi Levy

35 papers receiving 371 citations

Peers

Jordi Levy

AI

CTM

CNC

SOFTW

IS

Federico Heras Spain

Sophie Pinchinat France

Anton Belov Ireland

Éric Badouel France

Alessandro Previti Portugal

Gilles Audemard France

Philippe Schnoebelen France

Saïd Jabbour France

Anne Parrain France

Joost P. Warners Netherlands

Federico Heras Spain

Jordi Levy

255 ×0.9

AI

248 ×1.1

CTM

236 ×1.5

CNC

79 ×1.5

SOFTW

30 ×0.7

IS

Citations per year, relative to Jordi Levy Jordi Levy (= 1×) peers Federico Heras

Countries citing papers authored by Jordi Levy

Since Specialization

Citations

This map shows the geographic impact of Jordi Levy's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Jordi Levy with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Jordi Levy more than expected).

Fields of papers citing papers by Jordi Levy

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Jordi Levy. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Jordi Levy. The network helps show where Jordi Levy may publish in the future.

Co-authorship network of co-authors of Jordi Levy

This figure shows the co-authorship network connecting the top 25 collaborators of Jordi Levy. A scholar is included among the top collaborators of Jordi Levy based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Jordi Levy. Jordi Levy is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Bonet, Marı́a Luisa, et al.. (2024). Weighted, Circular and Semi-Algebraic Proofs. Journal of Artificial Intelligence Research. 79. 447–482.

2.

Schmidt-Schauß, Manfred, et al.. (2022). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundamenta Informaticae. 185(3). 247–283.

3.

Jonge, Dave de, Filippo Bistaffa, & Jordi Levy. (2021). A Heuristic Algorithm for Multi-Agent Vehicle Routing with Automated Negotiation. Autonomous Agents and Multi-Agent Systems. 404–412. 3 indexed citations

4.

Giráldez-Cru, Jesús & Jordi Levy. (2016). Generating SAT instances with community structure. Artificial Intelligence. 238. 119–134. 13 indexed citations

5.

Ansótegui, Carlos, Marı́a Luisa Bonet, Jesús Giráldez-Cru, & Jordi Levy. (2016). Structure features for SAT instances classification. Journal of Applied Logic. 23. 27–39. 7 indexed citations

6.

Ansótegui, Carlos, Marı́a Luisa Bonet, & Jordi Levy. (2013). SAT-based MaxSAT algorithms. Artificial Intelligence. 196. 77–105. 79 indexed citations

7.

Ansótegui, Carlos & Jordi Levy. (2011). On the Modularity of Industrial SAT Instances. 232. 11–20. 2 indexed citations

8.

Kutsia, Temur, Jordi Levy, & Mateu Villaret. (2011). Anti-Unification for Unranked Terms and Hedges. LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas). 10. 219–234. 3 indexed citations

9.

Levy, Jordi & Mateu Villaret. (2010). An Efficient Nominal Unification Algorithm. LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas). 6. 209–226. 15 indexed citations

10.

Ansótegui, Carlos, Marı́a Luisa Bonet, & Jordi Levy. (2009). Towards industrial-like random SAT instances. International Joint Conference on Artificial Intelligence. 387–392. 20 indexed citations

11.

Ansótegui, Carlos, Marı́a Luisa Bonet, Jordi Levy, & Felip Manyà. (2008). Measuring the hardness of SAT instances. National Conference on Artificial Intelligence. 222–228. 17 indexed citations

12.

Levy, Jordi, Manfred Schmidt-Schauß, & Mateu Villaret. (2008). The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. 38(3). 1113–1140. 11 indexed citations

13.

Ansótegui, Carlos, Marı́a Luisa Bonet, Jordi Levy, & Felip Manyà. (2007). What Is a Real-World SAT Instance?. 19–28. 1 indexed citations

14.

Ansótegui, Carlos, Marı́a Luisa Bonet, Jordi Levy, & Felip Manyà. (2007). Inference rules for high-order consistency in weighted CSP. National Conference on Artificial Intelligence. 167–172. 3 indexed citations

15.

Bonet, Marı́a Luisa, Jordi Levy, & Felip Manyà. (2007). Resolution for Max-SAT. Artificial Intelligence. 171(8-9). 606–618. 35 indexed citations

16.

Levy, Jordi, Manfred Schmidt-Schauß, & Mateu Villaret. (2006). Stratified context unification is NP-complete. 1 indexed citations

17.

Atserias, Albert, Marı́a Luisa Bonet, & Jordi Levy. (2003). On Chvátal Rank and Cutting Planes Proofs. Electronic colloquium on computational complexity. 41. 1 indexed citations

18.

Levy, Jordi & Mateu Villaret. (2002). Currying Second-Order Unification Problems. 1 indexed citations

19.

Levy, Jordi & Margus Veanes. (2000). On the Undecidability of Second-Order Unification. Information and Computation. 159(1-2). 125–150. 16 indexed citations

20.

Levy, Jordi, et al.. (1996). Bi-rewrite Systems. Journal of Symbolic Computation. 22(3). 279–314. 12 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact