Jordi Levy
Orcid: 0000-0001-5883-5746Affiliations:
- Spanish National Research Council (CSIC), Artificial Intelligence Research Institute (IIIA), Barcelona, Spain
- Polytechnic University of Catalonia (UPC), Department of Languages and Computer Systems, Barcelona, Spain (former)
According to our database1,
Jordi Levy
authored at least 82 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
3
1
4
1
1
3
3
1
2
1
1
1
1
1
1
1
1
1
1
2
4
1
2
1
1
1
1
1
3
3
2
3
1
2
4
2
6
3
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on iiia.csic.es
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Computational Science - ICCS 2024, 2024
2023
The impact of heterogeneity and geometry on the proof complexity of random satisfiability.
Random Struct. Algorithms, December, 2023
Proceedings of the The 12th Joint Conference on Lexical and Computational Semantics, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Proceedings of the Artificial Intelligence Research and Development, 2023
Proceedings of the Artificial Intelligence Research and Development, 2023
2022
Fundam. Informaticae, 2022
Proceedings of the Artificial Intelligence Research and Development, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
2019
Proceedings of the Artificial Intelligence Research and Development, 2019
2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
J. Heuristics, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Artificial Intelligence Research and Development, 2015
2014
Proceedings of the 28th International Workshop on Unification, 2014
Proceedings of the 28th International Workshop on Unification, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
2013
Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013
Proceedings of the Principles and Practice of Constraint Programming, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Principles and Practice of Constraint Programming, 2012
Proceedings of the Artificial Intelligence Research and Development, 2012
2011
On the complexity of Bounded Second-Order Unification and Stratified Context Unification.
Log. J. IGPL, 2011
Proceedings of the Artificial Intelligence Research and Development, 2011
2010
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Appl. Algebra Eng. Commun. Comput., 2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
Proceedings of the Principles and Practice of Constraint Programming, 2009
Proceedings of the Artificial Intelligence Research and Development, 2009
2008
Proceedings of the Artificial Intelligence Research and Development, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007
Proceedings of the Artificial Intelligence Research and Development, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
2004
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004
2003
Electron. Colloquium Comput. Complex., 2003
2002
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
2001
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001
2000
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints.
Proceedings of the Rewriting Techniques and Applications, 11th International Conference, 2000
1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
1996
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
1995
A Decidable Second-Order Unification Problem.
Proceedings of the 9th International Workshop on Unification, 1995
1994
Fundam. Informaticae, 1994
1993
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
1992
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems.
Proceedings of the Recent Trends in Data Type Specification, 1992