Alicia Villanueva
Orcid: 0000-0003-1090-5009Affiliations:
- Polytechnic University of Valencia, Spain
According to our database1,
Alicia Villanueva
authored at least 33 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
2
1
1
1
1
2
1
2
2
2
3
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dsic.upv.es
On csauthors.net:
Bibliography
2024
2023
Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023
2022
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022).
CoRR, 2022
2021
2020
Fundam. Informaticae, 2020
2017
Formal Aspects Comput., 2017
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-Based Program Synthesis and Transformation, 2015
2014
Theory Pract. Log. Program., 2014
2013
CoRR, 2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
2012
Proceedings of the Principles and Practice of Declarative Programming, 2012
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
2011
Theory Pract. Log. Program., 2011
2010
Proceedings of the Functional and Constraint Logic Programming, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009
Proceedings of the Logic-Based Program Synthesis and Transformation, 2009
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 Formal Methods for Industrial Critical Systems, 2008
2007
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0.
J. Funct. Program., 2007
Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, 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
2006
Theory Pract. Log. Program., 2006
Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006
2005
Theor. Comput. Sci., 2005
2004
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004
2001
Modeling concurrent systems specified in a temporal concurrent constraint language-I.
Proceedings of the Declarative Programming, 2001