Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlicia Villanueva
Person information
- affiliation: Polytechnic University of Valencia, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2020
[j9]María Alpuente
, Daniel Pardo, Alicia Villanueva:
Abstract Contract Synthesis and Verification in the Symbolic K Framework. Fundam. Informaticae 177(3-4): 235-273 (2020)- 2017
- [j8]Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva:
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29(3): 531-557 (2017) - 2014
- [j7]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14(4-5): 787-801 (2014) - 2011
- [j6]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11(4-5): 487-502 (2011) - 2007
- [j5]Alicia Villanueva:
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0. J. Funct. Program. 17(6): 813-814 (2007) - 2006
- [j4]María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
Verifying Real-Time Properties of tccp Programs. J. Univers. Comput. Sci. 12(11): 1551-1573 (2006) - [j3]Moreno Falaschi, Alicia Villanueva:
Automatic verification of timed concurrent constraint programs. Theory Pract. Log. Program. 6(3): 265-300 (2006) - 2005
- [j2]María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
A semantic framework for the abstract model checking of tccp programs. Theor. Comput. Sci. 346(1): 58-95 (2005) - 2004
- [j1]Alicia Villanueva:
Model checking for the concurrent constraint paradigm. AI Commun. 17(2): 93-94 (2004)
Conference and Workshop Papers
- 2023
- [c20]María Alpuente, Alicia Villanueva:
Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 51-71 - 2016
- [c19]María Alpuente, Daniel Pardo, Alicia Villanueva:
Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR 2016: 187-202 - 2015
- [c18]Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva:
Abstract Analysis of Universal Properties for tccp. LOPSTR 2015: 163-178 - [c17]María Alpuente, Daniel Pardo, Alicia Villanueva:
Automatic Inference of Specifications in the K Framework. PROLE 2015: 1-17 - 2013
- [c16]María Alpuente, Marco A. Feliú, Alicia Villanueva:
Automatic inference of specifications using matching logic. PEPM 2013: 127-136 - 2012
- [c15]Giovanni Bacci, Marco Comini, Marco A. Feliú, Alicia Villanueva:
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages. ICLP (Technical Communications) 2012: 144-153 - [c14]Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva:
Automatic synthesis of specifications for first order curry programs. PPDP 2012: 25-34 - 2010
- [c13]María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva:
Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20 - [c12]Alexei Lescaylle, Alicia Villanueva:
Bridging the Gap between Two Concurrent Constraint Languages. WFLP 2010: 155-173 - 2009
- [c11]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204 - [c10]Alexei Lescaylle, Alicia Villanueva:
The tccp Interpreter. PROLE 2009: 63-77 - 2008
- [c9]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231 - [c8]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. PROLE 2008: 57-66 - [c7]Alexei Lescaylle, Alicia Villanueva:
A Tool for Generating a Symbolic Representation of tccp Executions. WFLP 2008: 131-145 - 2007
- [c6]María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. PROLE 2007: 3-21 - [c5]Sonia Flores, Salvador Lucas, Alicia Villanueva:
Formal Verification of Websites. WWV 2007: 103-118 - 2006
- [c4]María Alpuente, Bernhard Gramlich, Alicia Villanueva:
A Framework for Timed Concurrent Constraint Programming with External Functions. PROLE 2006: 143-155 - 2004
- [c3]María Alpuente, Moreno Falaschi, Alicia Villanueva:
A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56 - [c2]María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
Abstract Model Checking of tccp programs. QAPL 2004: 19-36 - 2001
- [c1]Moreno Falaschi, Alberto Policriti, Alicia Villanueva:
Modeling concurrent systems specified in a temporal concurrent constraint language-I. APPIA-GULP-PRODE 2001: 197-210
Editorship
- 2022
- [e3]Alicia Villanueva:
Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings. Lecture Notes in Computer Science 13474, Springer 2022, ISBN 978-3-031-16766-9 [contents] - 2019
- [e2]Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents] - 2017
- [e1]Alicia Villanueva:
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents]
Informal and Other Publications
- 2022
- [i7]Alicia Villanueva:
Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022). CoRR abs/2208.04235 (2022) - 2021
- [i6]Marco Comini, María-del-Mar Gallardo, Alicia Villanueva:
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR abs/2108.12348 (2021) - 2016
- [i5]María Alpuente, Daniel Pardo, Alicia Villanueva:
Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR abs/1608.05619 (2016) - 2014
- [i4]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR abs/1405.3675 (2014) - 2013
- [i3]Marco Comini, Laura Titolo, Alicia Villanueva:
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR abs/1308.4171 (2013) - 2011
- [i2]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for Timed Concurrent Constraint programs. CoRR abs/1109.1587 (2011) - 2005
- [i1]Moreno Falaschi, Alicia Villanueva:
Automatic Verification of Timed Concurrent Constraint Programs. CoRR abs/cs/0505026 (2005)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-01 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
