Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
2020 – today
- 2021
[i6]Marco Comini, María-del-Mar Gallardo, Alicia Villanueva:
A denotational semantics for PROMELA addressing arbitrary jumps. CoRR abs/2108.12348 (2021)- 2020
- [j16]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)
2010 – 2019
- 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
- [j15]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) - [e1]Alicia Villanueva:
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents] - 2016
- [c12]María Alpuente, Daniel Pardo, Alicia Villanueva:
Symbolic Abstract Contract Synthesis in a Rewriting Framework. LOPSTR 2016: 187-202 - [i5]María Alpuente, Daniel Pardo, Alicia Villanueva:
Symbolic Abstract Contract Synthesis in a Rewriting Framework. CoRR abs/1608.05619 (2016) - 2015
- [c11]Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva:
Abstract Analysis of Universal Properties for tccp. LOPSTR 2015: 163-178 - [c10]María Alpuente, Daniel Pardo, Alicia Villanueva:
Automatic Inference of Specifications in the K Framework. PROLE 2015: 1-17 - 2014
- [j14]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) - [i4]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR abs/1405.3675 (2014) - 2013
- [c9]María Alpuente, Marco A. Feliú, Alicia Villanueva:
Automatic inference of specifications using matching logic. PEPM 2013: 127-136 - [i3]Marco Comini, Laura Titolo, Alicia Villanueva:
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR abs/1308.4171 (2013) - 2012
- [c8]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 - [c7]Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva:
Automatic synthesis of specifications for first order curry programs. PPDP 2012: 25-34 - 2011
- [j13]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11(4-5): 487-502 (2011) - [i2]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for Timed Concurrent Constraint programs. CoRR abs/1109.1587 (2011) - 2010
- [c6]María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva:
Datalog-Based Program Analysis with BES and RWL. Datalog 2010: 1-20 - [c5]Alexei Lescaylle, Alicia Villanueva:
Bridging the Gap between Two Concurrent Constraint Languages. WFLP 2010: 155-173
2000 – 2009
- 2009
- [j12]Alexei Lescaylle, Alicia Villanueva:
A Tool for Generating a Symbolic Representation of tccp Executions. Electron. Notes Theor. Comput. Sci. 246: 131-145 (2009) - [j11]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. Electron. Notes Theor. Comput. Sci. 248: 57-66 (2009) - [j10]Alexei Lescaylle, Alicia Villanueva:
The tccp Interpreter. Electron. Notes Theor. Comput. Sci. 258(1): 63-77 (2009) - [c4]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Defining Datalog in Rewriting Logic. LOPSTR 2009: 188-204 - 2008
- [j9]Sonia Flores, Salvador Lucas, Alicia Villanueva:
Formal Verification of Websites. Electron. Notes Theor. Comput. Sci. 200(3): 103-118 (2008) - [j8]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. Electron. Notes Theor. Comput. Sci. 206: 3-21 (2008) - [c3]María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva:
Using Datalog and Boolean Equation Systems for Program Analysis. FMICS 2008: 215-231 - 2007
- [j7]María Alpuente, Bernhard Gramlich, Alicia Villanueva:
A Framework for Timed Concurrent Constraint Programming with External Functions. Electron. Notes Theor. Comput. Sci. 188: 143-155 (2007) - [j6]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
- [j5]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) - [j4]Moreno Falaschi, Alicia Villanueva:
Automatic verification of timed concurrent constraint programs. Theory Pract. Log. Program. 6(3): 265-300 (2006) - 2005
- [j3]María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
Abstract Model Checking of tccp programs. Electron. Notes Theor. Comput. Sci. 112: 19-36 (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) - [i1]Moreno Falaschi, Alicia Villanueva:
Automatic Verification of Timed Concurrent Constraint Programs. CoRR abs/cs/0505026 (2005) - 2004
- [j1]Alicia Villanueva:
Model checking for the concurrent constraint paradigm. AI Commun. 17(2): 93-94 (2004) - [c2]María Alpuente, Moreno Falaschi, Alicia Villanueva:
A Symbolic Model Checker for tccp Programs. RISE 2004: 45-56 - 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
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-05-10 23:28 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 has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
