Jesús Manuel Almendros-Jiménez
Orcid: 0000-0002-7925-2678
According to our database1,
Jesús Manuel Almendros-Jiménez
authored at least 90 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
2023
IEEE Trans. Software Eng., February, 2023
2021
Discovery and diagnosis of wrong SPARQL queries with ontology and constraint reasoning.
Expert Syst. Appl., 2021
Proceedings of the Practical Aspects of Declarative Languages, 2021
Proceedings of the Web Engineering - 21st International Conference, 2021
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021
Proceedings of the DBPL '21: The 18th International Symposium on Database Programming Languages, 2021
2019
Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019
2018
ISPRS Int. J. Geo Inf., 2018
2017
Softw. Test. Verification Reliab., 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Web Engineering - 17th International Conference, 2017
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017
Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017), 2017
Proceedings of The 16th International Symposium on Database Programming Languages, 2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the Model and Data Engineering - 6th International Conference, 2016
SemSynX: Flexible Similarity Analysis of XML Data via Semantic and Syntactic Heterogeneity/Homogeneity Detection.
Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016
2015
OBIA System for Identifying Mesoscale Oceanic Structures in SeaWiFS and MODIS-Aqua Images.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2015
Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Workshops, 2015
Proceedings of the 17th International Conference on Information Integration and Web-based Applications & Services, 2015
Proceedings of the Geographical Information Systems Theory, Applications and Management, 2015
Proceedings of the 2015 IEEE International Conference on Fuzzy Systems, 2015
Proceedings of the 26th International Workshop on Database and Expert Systems Applications, 2015
Proceedings of the Database and Expert Systems Applications, 2015
2014
Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014
Proceedings of the Rough Sets and Current Trends in Computing, 2014
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014
Proceedings of the Model and Data Engineering - 4th International Conference, 2014
2013
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2013
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013
Proceedings of the Advances in Computational Intelligence, 2013
2012
Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012
Proceedings of the Rules on the Web: Research and Applications, 2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012 Workshops, 2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Proceedings of the Model and Data Engineering - 2nd International Conference, 2012
Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012
2011
Proceedings of the XI Spanish Conference on Programming and Languages, 2011
Proceedings of the XI Spanish Conference on Programming and Languages, 2011
Proceedings of the Functional and Constraint Logic Programming, 2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the 4th International Workshop on Logic in Databases, 2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011
Proceedings of the Web Technologies and Applications - 13th Asia-Pacific Web Conference, 2011
2010
Proceedings of the Tenth Spanish Conference on Programming and Languages, 2010
Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010
Proceedings of the Knowledge Management, Information Systems, E-Learning, and Sustainability Research, 2010
Proceedings of the IEEE International Geoscience & Remote Sensing Symposium, 2010
2009
Proceedings of the Database and XML Technologies, 6th International XML Database Symposium, 2009
Proceedings of the Visioning and Engineering the Knowledge Society. A Web Science Perspective, 2009
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
2008
J. Vis. Lang. Comput., 2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
2007
A performance comparison of distance-based query algorithms using R-trees in spatial databases.
Inf. Sci., 2007
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 2007
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
2006
Proceedings of the Implementation and Application of Functional Languages, 2006
2005
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, 2005
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005
2004
Proceedings of the Metainformatics, International Symposium, 2004
2003
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
2002
Erratum to "Bases for the development of LAST: a formal method for business software requirements specification" [Information and Software Technology, 44 (2002) 65-75].
Inf. Softw. Technol., 2002
Bases for the development of LAST: a formal method for business software requirements specification.
Inf. Softw. Technol., 2002
2001
Proceedings of the Logic Programming, 17th International Conference, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
2000
The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997
1996
Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
Type Inference and Checking for POS-typed Funtional Logic Programs.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996