Mateu Villaret

762 total citations
48 papers, 241 citations indexed

About

Mateu Villaret is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Mateu Villaret has authored 48 papers receiving a total of 241 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Artificial Intelligence, 20 papers in Computational Theory and Mathematics and 14 papers in Computer Networks and Communications. Recurrent topics in Mateu Villaret's work include Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (16 papers) and Constraint Satisfaction and Optimization (12 papers). Mateu Villaret is often cited by papers focused on Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (16 papers) and Constraint Satisfaction and Optimization (12 papers). Mateu Villaret collaborates with scholars based in Spain, Austria and France. Mateu Villaret's co-authors include Miquel Bofill, Jordi Levy, Temur Kutsia, Felip Manyà, Carlos Ansótegui, Manfred Schmidt-Schauß, Alexander Baumgärtner, Dídac Busquets, Beatriz López and Vı́ctor Muñoz and has published in prestigious journals such as Artificial Intelligence, Fuzzy Sets and Systems and Computers & Operations Research.

In The Last Decade

Mateu Villaret

42 papers receiving 234 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Mateu Villaret Spain	9	162	135	49	38	31	48	241
Miquel Bofill Spain	9	96 0.6×	97 0.7×	42 0.9×	38 1.0×	29 0.9×	33	165
Mutsunori Banbara Japan	7	103 0.6×	60 0.4×	81 1.7×	37 1.0×	21 0.7×	15	167
Bertrand Mazure France	7	123 0.8×	89 0.7×	101 2.1×	23 0.6×	18 0.6×	22	173
Berthe Y. Choueiry United States	8	108 0.7×	37 0.3×	168 3.4×	23 0.6×	35 1.1×	50	233
Miyuki Koshimura Japan	6	69 0.4×	59 0.4×	66 1.3×	29 0.8×	25 0.8×	28	140
Martin Brain United Kingdom	9	118 0.7×	74 0.5×	11 0.2×	26 0.7×	4 0.1×	24	203
Oliver Giel Germany	6	158 1.0×	139 1.0×	46 0.9×	16 0.4×	20 0.6×	11	207
Vojtěch Forejt United Kingdom	9	140 0.9×	150 1.1×	36 0.7×	8 0.2×	18 0.6×	22	219
Alessandro Previti Portugal	7	163 1.0×	78 0.6×	68 1.4×	16 0.4×	11 0.4×	11	211
Max Ostrowski Germany	7	360 2.2×	59 0.4×	69 1.4×	9 0.2×	8 0.3×	12	412

Countries citing papers authored by Mateu Villaret

Since Specialization

Citations

This map shows the geographic impact of Mateu Villaret'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 Mateu Villaret with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mateu Villaret more than expected).

Fields of papers citing papers by Mateu Villaret

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mateu Villaret. 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 Mateu Villaret. The network helps show where Mateu Villaret may publish in the future.

Co-authorship network of co-authors of Mateu Villaret

This figure shows the co-authorship network connecting the top 25 collaborators of Mateu Villaret. A scholar is included among the top collaborators of Mateu Villaret 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 Mateu Villaret. Mateu Villaret 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

Villaret, Mateu, et al.. (2024). Optimizing resource allocation in home care services using MaxSAT. Cognitive Systems Research. 88. 101291–101291.

Miguel, Ian, et al.. (2024). Plotting: a case study in lifted planning with constraints. Constraints. 29(1-2). 40–79.

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

Bofill, Miquel, et al.. (2022). Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem. Journal of Artificial Intelligence Research. 74. 263–301. 8 indexed citations

Bofill, Miquel, et al.. (2022). The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches. Computers & Operations Research. 142. 105730–105730. 3 indexed citations

Bofill, Miquel, et al.. (2021). SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artificial Intelligence. 302. 103604–103604. 5 indexed citations

Bofill, Miquel, et al.. (2017). Relaxed Exists-Step Plans in Planning as SMT. 563–570. 2 indexed citations

Bofill, Miquel, et al.. (2016). The RANTANPLAN planner: system description. The Knowledge Engineering Review. 31(5). 452–464. 8 indexed citations

Bofill, Miquel, et al.. (2016). Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT. 239–246. 8 indexed citations

10.

Bofill, Miquel, et al.. (2016). A Semantic Notion of Interference for Planning Modulo Theories. Proceedings of the International Conference on Automated Planning and Scheduling. 26. 56–64. 4 indexed citations

11.

Kutsia, Temur, Jordi Levy, & Mateu Villaret. (2013). Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning. 52(2). 155–190. 12 indexed citations

12.

Torra, Vicenç, Yasuo Narukawa, Beatriz López, & Mateu Villaret. (2012). Modeling Decisions for Artificial Intelligence: 9th International Conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012, Proceedings. CERN Document Server (European Organization for Nuclear Research). 2 indexed citations

13.

Ansótegui, Carlos, Miquel Bofill, Felip Manyà, & Mateu Villaret. (2012). Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. 25–30. 12 indexed citations

14.

Bofill, Miquel, et al.. (2012). Solving constraint satisfaction problems with SAT modulo theories. Constraints. 17(3). 273–303. 17 indexed citations

15.

Ansótegui, Carlos, et al.. (2011). Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem. 11 indexed citations

16.

Ansótegui, Carlos, Miquel Bofill, Felip Manyà, & Mateu Villaret. (2011). Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 230–235. 1 indexed citations

17.

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

18.

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

19.

Torra, Vicenç, Yasuo Narukawa, Beatriz López, & Mateu Villaret. (2005). Proceedings of the Second international conference on Modeling Decisions for Artificial Intelligence. 3 indexed citations

20.

Levy, Jordi & Mateu Villaret. (2002). Currying Second-Order Unification Problems. 1 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