Jaime Sánchez-Hernández
Orcid: 0000-0002-8940-5543
According to our database1,
Jaime Sánchez-Hernández
authored at least 27 papers
between 1999 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
2
1
1
1
1
1
1
2
3
2
3
1
1
1
2
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications.
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
2020
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.
Inf. Comput., 2020
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020
2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
2014
Theory Pract. Log. Program., 2014
J. Log. Algebraic Methods Program., 2014
2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
Proceedings of the LPAR 2013, 2013
2009
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009
2008
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008
2007
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007
2006
J. Univers. Comput. Sci., 2006
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006
2004
Theory Pract. Log. Program., 2004
2003
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003
2002
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002
2001
Proceedings of the Logic for Programming, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
2000
Proceedings of the Computational Logic, 2000
1999
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
Disequalities May Help to Narrow.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999