María Alpuente
Orcid: 0000-0002-9268-1178Affiliations:
- Polytechnic University of Valencia, Spain
According to our database1,
María Alpuente
authored at least 126 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
5
10
1
1
3
4
2
1
3
1
3
2
2
3
1
1
2
2
2
1
1
2
1
2
2
1
1
2
2
2
2
4
2
2
6
3
11
3
2
1
5
5
5
2
3
5
2
2
2
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
-
on dsic.upv.es
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
J. Log. Algebraic Methods Program., April, 2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
2022
Theory Pract. Log. Program., 2022
J. Log. Algebraic Methods Program., 2022
Ann. Math. Artif. Intell., 2022
Proceedings of the Logic-Based Program Synthesis and Transformation, 2022
2020
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME System.
Math. Comput. Sci., 2020
J. Log. Algebraic Methods Program., 2020
Fundam. Informaticae, 2020
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.
Fundam. Informaticae, 2020
2019
ACUOS<sup>2</sup>: A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
2018
Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
Proceedings of the Mathematical Software - ICMS 2018, 2018
2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
2015
Proceedings of the Proceedings XV Jornadas sobre Programación y Lenguajes, 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
A rewriting logic approach to the formal specification and verification of web applications.
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
Sci. Comput. Program., 2013
J. Log. Algebraic Methods Program., 2013
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013
Proceedings of the 27th International Workshop on Unification, 2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
Proceedings of the Programming Languages and Systems, 2013
2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
Log. J. IGPL, 2011
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011
2010
Theor. Comput. Sci., 2010
Theor. Comput. Sci., 2010
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010
Proceedings of the Tenth Annual International Symposium on Applications and the Internet, 2010
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Proceedings of the FM 2009: Formal Methods, 2009
2008
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Proceedings of the 2008 International Symposium on Applications and the Internet, 2008
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008
2007
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006
2005
Theory Pract. Log. Program., 2005
Theor. Comput. Sci., 2005
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
2004
Theor. Comput. Sci., 2004
Rev. Colomb. de Computación, 2004
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004
Proceedings of the 5th International Workshop on Rule-Based Programming, 2004
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Automated Verification of Web Sites Using Partial Rewriting.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
2003
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003
Proceedings of the 4th International Workshop on Rule-Based Programming, 2003
Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003
Proceedings of the Programming Languages and Systems, 2003
Abstract Correction of OBJ-like Programs.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the Logic for Programming, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the 1st International Workshop on Reduction Strategies in Rewriting and Programming, 2001
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001
2000
Using PE to Automate Program Composition.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
Redundancy Analyses in Term Rewriting.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000
1999
Inteligencia Artif., 1999
Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999
Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999
An Incremental Needed Narrowing Calculus for Curry.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
ACM Trans. Program. Lang. Syst., 1998
ACM Comput. Surv., 1998
Proceedings of the Static Analysis, 5th International Symposium, 1998
Polygenetic Partial Evaluation of Lazy Functional Logic Programs.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997
Safe Folding/Unfolding with Conditional Narrowing.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Theor. Comput. Sci., 1996
Proceedings of the Programming Languages and Systems, 1996
Call-By Name Partial Evaluation of Functional Logic Programs.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
Theor. Comput. Sci., 1995
J. Log. Program., 1995
1994
Proceedings of the Algebraic and Logic Programming, 4th International Conference, 1994
A Compositional Semantics for Conditional Term Rewriting Systems.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Incremental Equational Constraint Analyses.
Proceedings of the Logic Programming, 1993
Proceedings of the Programming Language Implementation and Logic Programming, 1993
Using Narrowing Approximations to Optimize Equational Logic Programs.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
Proceedings of the Programming Language Implementation and Logic Programming, 1992
An Equational Constraint Logic Approach to Database Design.
Proceedings of the International Conference on Database and Expert Systems Applications, 1992
1991
Proceedings of the Programming Language Implementation and Logic Programming, 1991