| Automatic verification of timed concurrent constraint programs M Falaschi, A Villanueva Theory and Practice of Logic Programming 6 (03), 265-300, 2006 | 51 | 2006 |
| A semantic framework for the abstract model checking of tccp programs M Alpuente, M del Mar Gallardo, E Pimentel, A Villanueva Theoretical Computer Science 346 (1), 58-95, 2005 | 28 | 2005 |
| Verifying Real-Time Properties of tccp Programs. M Alpuente, María-del-Mar Gallardo, E Pimentel, A Villanueva J. Univers. Comput. Sci. 12 (11), 1551-1573, 2006 | 24* | 2006 |
| Abstract diagnosis for timed concurrent constraint programs M Comini, L Titolo, A Villanueva Theory and Practice of Logic Programming 11 (4-5), 487-502, 2011 | 21 | 2011 |
| Modeling concurrent systems specified in a temporal concurrent constraint language-i M Falaschi, A Policriti, A Villanueva Electronic Notes in Theoretical Computer Science 48, 197-210, 2001 | 21* | 2001 |
| Datalog-based program analysis with BES and RWL M Alpuente, MA Feliú, C Joubert, A Villanueva International Datalog 2.0 Workshop, 1-20, 2010 | 18 | 2010 |
| Formal verification of websites S Flores, S Lucas, A Villanueva Electronic Notes in Theoretical Computer Science 200 (3), 103-118, 2008 | 18 | 2008 |
| Automatic synthesis of specifications for first order curry programs G Bacci, M Comini, MA Feliú, A Villanueva Proceedings of the 14th symposium on Principles and practice of declarative …, 2012 | 16 | 2012 |
| Automatic inference of specifications using matching logic M Alpuente, MA Feliú, A Villanueva Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 15 | 2013 |
| Defining datalog in rewriting logic M Alpuente, MA Feliú, C Joubert, A Villanueva International Symposium on Logic-Based Program Synthesis and Transformation …, 2009 | 14 | 2009 |
| Abstract Diagnosis for tccp using a Linear Temporal Logic M Comini, L Titolo, A Villanueva Theory and Practice of Logic Programming 14 (4-5), 787-801, 2014 | 13 | 2014 |
| Using datalog and boolean equation systems for program analysis M Alpuente, MA Feliú, C Joubert, A Villanueva International Workshop on Formal Methods for Industrial Critical Systems …, 2008 | 13 | 2008 |
| The tccp interpreter A Lescaylle, A Villanueva Electronic Notes in Theoretical Computer Science 258 (1), 63-77, 2009 | 10 | 2009 |
| A Symbolic Model checker for tccp Programs M Alpuente, M Falaschi, A Villanueva International Workshop on Rapid Integration of Software Engineering …, 2004 | 10 | 2004 |
| Abstract Model Checking of tccp programs M Alpuente, M del Mar Gallardo, E Pimentel, A Villanueva Electronic Notes in Theoretical Computer Science 112, 19-36, 2005 | 9 | 2005 |
| An Abstract Analysis Framework for Synchronous Concurrent Languages based on source–to–source Transformation M Alpuente, MM Gallardo, E Pimentel, A Villanueva Electronic Notes in Theoretical Computer Science 206, 3-21, 2008 | 8 | 2008 |
| A tool for Generating a Symbolic Representation of tccp executions A Lescaylle, A Villanueva Electronic Notes in Theoretical Computer Science 246, 131-145, 2009 | 7 | 2009 |
| Uso de wikis en ingeniería informática A Villanueva Red U Revista de Docencia Universitaria, Número Monográfico V, 2009 | 7 | 2009 |
| Implementing Datalog in Maude M Alpuente, MA Feliú, C Joubert, A Villanueva PROLE, 2009 | 7 | 2009 |
| Using tccp for the Specification and Verification of Communication Protocols A Lescaylle, A Villanueva Proc. of WFLP 7, 2007 | 7 | 2007 |
Maria AlpuenteVRAIN Valencian Research Institute for Artificial Intelligence (Universitat Politècnica de València)Email verificata su vrain.upv.es
