You can check VRAIN’s publications on Google Scholar: VRAIN Google Scholar

Journals
Chapters
Books
Conferences

Search

Search Clear
Array
Reversible Debugging in Logic Programming

Book: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems.pp. 266-280. Editorial: Springer Authors: Vidal, Germán (2023).

Assessing AI capabilities with education tests

Book: AI and the Future of Skills, Volume 2.pp. 40-64. Editorial: Organisation for Economic Cooperation and Development (OECD) Authors: Antoni Mestre; Martínez-Plumed, Fernando; Aso-Mollar, Ángel; Mila Staneva; Abel Baret; Joseph Blass; Carrión-Ponz, Salvador; Pradeep Dasigi; Ulises Cortes; Janice Gobert; Bao Sheng Loe; Karina Vold; Jim Hendler; Vincent Conitzer; Jordi Gonzàlez; Izquierdo-Domenech, Juan (2023).

Computer generation of hypothetical zeolites

Book: AI-Guided Design and Property Prediction for Zeolites and Nanoporous Materials.pp. 145-172. Editorial: John Wiley & Sons Authors: SASTRE NAVARRO, GERMAN IGNACIO; Argente, Estefanía; Valero Cubas, Soledad; Misturini, Alechania; Baumes ., Laurent Allan; Mike M. J. Treacy (2023).

The LiteStrat Modelling Method: Towards the Alignment of Strategy and Code

Book: Domain-Specific Conceptual Modeling: Concepts, Methods and ADOxx Tools.pp. 141-159. Editorial: Springer Authors: Pastor López, Oscar; Noel-Lopez, Rene; Panach Navarrete, Jose Ignacio; Ruiz Carmona, Luz Marcela (2022).

Prefix-Based Tracing in Message-Passing Concurrency

Book: Logic-Based Program Synthesis and Transformation.pp. 157-175. Editorial: Springer Authors: González-Abril, Juan José; Vidal, Germán (2022).

Teaching and explanation: aligning priors between machines and humans

Book: Human-Like Machine Intelligence.pp. 171-198. Editorial: Oxford University Press Authors: Hernández-Orallo, José; Ferri Ramírez, César (2021).

A Models-to-Program Information Systems Engineering Method

Book: Modelling to Program.pp. 162-176. Editorial: Springer Authors: Noel-Lopez, Rene; Panach Navarrete, Jose Ignacio; Pastor López, Oscar (2021).

Protocol Analysis with Time and Space

Book: Protocols, Strands, and Logic.pp. 22-49. Editorial: Springer Authors: Aparicio-Sánchez, Damián; Escobar Román, Santiago; Catherine Meadows; José Meseguer; Sapiña-Sanchis, Julia (2021).

CitrusGenome: Applying User Centered Design for Evaluating the Usability of Genomic User Interfaces

Book: 13th International Conference, ENASE 2018 Funchal, Madeira, Portugal, March 23–24, 2018 Revised Selected Papers.pp. 213-240. Editorial: Springer Authors: Alberto García S.; Iñiguez Jarrín, Carlos Efrain; Pastor López, Oscar; Daniel Gonzalez-Ibea; Pérez -Román, Estela; Carles Borredà; Javier Terol; V. Ibáñez; Talón, Manuel (2019).

Lessons Learned About Gamification in Software Engineering Education

Book: Latin American Women and Research Contributions to the IT Field.pp. 174-197. Editorial: IGI Global Authors: Marín, Beatriz (2021).

From Strategy to Code: Achieving Strategical Alignment in Software Development Projects Through Conceptual Modelling

Book: Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII.pp. 145-164. Editorial: Springer Authors: Pastor López, Oscar; Noel-Lopez, Rene; Panach Navarrete, Jose Ignacio (2021).

A Models-to-Program Information Systems Engineering Method

Book: Modelling to Program.pp. 162-176. Editorial: Springer Authors: Noel-Lopez, Rene; Panach Navarrete, Jose Ignacio; Pastor López, Oscar (2021).

Explanation-Based Learning of Action Models

Book: Knowledge Engineering Tools and Techniques for AI Planning.pp. 3-20. Editorial: Springer Authors: Aineto, Diego; Jiménez-Celorrio, Sergio; Onaindia De La Rivaherrera, Eva (2020).

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

Book: Reversible Computation: Extending Horizons of Computing.pp. 108-127. Editorial: Springer Authors: James Hoey; Ivan Lanese; Nishida, Naoki; Irek Ulidowski; Vidal, Germán (2020).

Foundations of Reversible Computation

Book: Reversible Computation: Extending Horizons of Computing.pp. 1-40. Editorial: Springer Authors: Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Mikulski, Lukasz Mikulski; Rajagopal Nagarajan; Iain Phillips; G. Michele Pinna; Luca Prigioniero; Irek Ulidowski; Vidal, Germán (2020).

Maude-NPA and Formal Analysis of Protocols with Equational Theories

Book: NATO Science for Peace and Security Series - D: Information and Communication Security.pp. 163-188. Editorial: IOS Press Authors: Catherine Meadows; Escobar Román, Santiago; José Meseguer (2019).

Agreement Technologies for Conflict Resolution

Book: Natural Language Processing: Concepts, Methodologies, Tools, and Applications.pp. 464-484. Editorial: IGI Global Authors: Julian Inglada, Vicente Javier; Heras, Stella; Sanchez-Anguix, Víctor; Carrascosa Casamayor, Carlos (2020).

Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method

Book: Foundations of Security, Protocols, and Equational Reasoning.pp. 15-38. Editorial: Springer Verlag Authors: Escobar Román, Santiago; José Meseguer (2019).

UTILIZACIÓN DEL TRANSMEDIA PARA LA MEJORA DE LAS COMPETENCIAS TRANSVERSALES EN LA EDUCACIÓN SUPERIOR

Book: FECIES 2017.pp. 744-750. Editorial: Asociación española de psicología conductual (AEPC). Authors: Rebollo Pedruelo, Miguel; Lloret Romero, María Nuria; Díez-Somavilla, Rebeca; Cabrera, Marga; Poza-Lujan, Jose-Luis; Del Val Noguera, Elena; Calduch-Losa, Ángeles (2019).

GenesLove.Me 2.0: Improving the Prioritization of Genetic Variations

Book: 13th International Conference, ENASE 2018 Funchal, Madeira, Portugal, March 23–24, 2018 Revised Selected Papers.pp. 314-333. Editorial: Springer Authors: REYES ROMÁN, JOSÉ FABIÁN; García-Simón, Alberto; Urko Rueda; Pastor López, Oscar (2019).

Applying Sentiment Analysis with Cross-Domain Models to Evaluate User eXperience in Virtual Learning Environments

Book: Advances in Computational Intelligence.pp. 609-620. Editorial: Springer International Publishing Authors: Sanchis-Font, Rosario; Castro-Bleda, Maria Jose; González-Barba, José Ángel (2019).

Erlang Code Evolution Control

Book: Logic-Based Program Synthesis and Transformation.pp. 128-144. Editorial: Springer Verlag Authors: Insa Cabrera, David; Pérez-Rubio, Sergio; Silva, Josep; Tamarit Muñoz, Salvador (2018).

How Data Science helps to build Smart Cities: València as a use case

Book: Small and Medium Smart Cities. Congress .pp. 3-11. Editorial: Universitat Politècnica de València Authors: Contreras-Ochando, Lidia; Cristina I. Font-Julián; Nieves-Cordones, David; Martínez-Plumed, Fernando (2018).

Mapping Intelligence: Requirements and Possibilities

Book: Studies in Applied Philosophy, Epistemology and Rational Ethics book series (SAPERE, volume 44).pp. 117-135. Editorial: Springer Authors: Sankalp Bhatnagar; Anna Alexandrova; Shahar Avin; Stephen Cave; Lucy Cheke; Matthew Crosby; Jan Feyereisl; Marta Halina; Bao Sheng Loe; Seán Ó hÉigeartaigh; Martínez-Plumed, Fernando; Huw Price; Henry Shevlin; Adrian Weller; Alan Winfield; Hernández-Orallo, José (2018).

Modelling Machine Learning Models

Book: Studies in Applied Philosophy, Epistemology and Rational Ethics book series (SAPERE, volume 44).pp. 175-186. Editorial: Springer Authors: Fabra-Boluda, Raúl; Ferri Ramírez, César; Hernández-Orallo, José; Martínez-Plumed, Fernando; Ramírez Quintana, María José (2018).

Influence of external features on housing prices. A study in the city of Valencia

Book: Reactive proactive architecture.pp. 176-181. Editorial: Editorial Universitat Politècnica de València Authors: Cozar Lizandra, Andrés; Llorca Ponce, Alicia; Valero Cubas, Soledad (2018).

Capability Support for Entrepreneurial Ventures

Book: Capability Management in Digital Enterprises.pp. 311-327. Editorial: Springer, Cham Authors: España Cubillo, Sergio; H. Koç; Ruiz Carmona, Luz Marcela; Pastor López, Oscar (2018).

Context-Aware e-Government

Book: Capability Management in Digital Enterprises.pp. 255-282. Editorial: Springer, Cham Authors: González Cardona, Tania; I. Vilar Roldan; Pastor López, Oscar (2018).

Capability Design with CDD

Book: Capability Management in Digital Enterprises.pp. 101-116. Editorial: Springer, Cham Authors: Martin Henkel; Zdravkovic, Jelena; Valverde Giromé, Francisco; Pastor López, Oscar (2018).

Scientific Discussion: Open Reviews of “ARTI Reference Architecture–PROSA Revisited”

Book: Service Orientation in Holonic and Multi-Agent Manufacturing.pp. 20-37. Editorial: Springer Authors: T. Borangiu; O. Cadi; R.Babiceanu; Giret Boggino, Adriana Susana; K. Kruger; S. Raileanu; G. Weichhart (2018).

Cooperation Between Smart Manufacturing Scheduling Systems and Energy Providers: A Multi-agent Perspective

Book: Service Orientation in Holonic and Multi-Agent Manufacturing.pp. 197-210. Editorial: Springer Authors: M. Nouiri; Trentesaux, Damien; A. Bekrar; Giret Boggino, Adriana Susana; Miguel A. Salido (2018).

Energy Efficiency, Robustness, and Makespan Optimality in Job-Shop

Book: Sustainable Manufacturing and Remanufacturing Management: Process Planning, Optimization and Applications.pp. 213-233. Editorial: Springer Authors: Miguel A. Salido; Escamilla-Fuster, Joan; Federico Barber; Giret Boggino, Adriana Susana; Tang, Dunbing; Min, Dai (2018).

Genomic Tools*: Web-Applications Based on Conceptual Models for the Genomic Diagnosis

Book: Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers.pp. 48-69. Editorial: Springer International Publishing AG, part of Springer Nature 2018 Authors: REYES ROMÁN, JOSÉ FABIÁN; Iñiguez Jarrín, Carlos Efrain; Pastor López, Oscar (2018).

Guidelines for Designing User Interfaces to Analyze Genetic Data. Case of Study: GenDomus

Book: Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers.pp. 3-22. Editorial: Springer International Publishing AG, part of Springer Nature 2018 Authors: Iñiguez Jarrín, Carlos Efrain; García-Simón, Alberto; REYES ROMÁN, JOSÉ FABIÁN; Pastor López, Oscar (2018).

Argumentation-Based Personal Assistants for Ambient Assisted Living

Book: Personal Assistants: Emerging Technologies.pp. 19-36. Editorial: Springer Authors: Heras Barberá, Stella María; Palanca Cámara, Javier; Chesñevar, Carlos Iván (2018).

Measuring the Intelligence of Everything

Book: Is the Universe a Hologram?: Scientists Answer the Most Provocative Questions.pp. 343-357. Editorial: MIT Press Authors: Hernández-Orallo, José (2017).

Cognitive Abilities in Agents

Book: Issues in Multi-agent Systems.pp. 59-85. Editorial: Birkhauser Verlag Authors: Jiménez-Celorrio, Sergio (2008).

Improving Automated Planning with Machine Learning

Book: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques.pp. 599-620. Editorial: IGI Global Authors: Jiménez-Celorrio, Sergio; SUSANA FERNÁNDEZ ARREGUI; Tomás de la Rosa Turbides (2010).

Learning-Based Planning

Book: Encyclopedia of Artificial Intelligence.pp. 1024-1028. Editorial: IGI Global - Information Science Reference Authors: Jiménez-Celorrio, Sergio; Tomás de la Rosa Turbides (2008).

Modeling Life: A Conceptual Schema-centric Approach to Understand the Genome

Book: Conceptual Modeling Perspectives.pp. 25-40. Editorial: Verlag: Springer International Publishing Authors: Pastor López, Oscar; León-Palacio, Ana; REYES ROMÁN, JOSÉ FABIÁN; Casamayor Rodenas, Juan Carlos (2017).

Discurso y diálogo

Book: Tecnologías del lenguaje en España. Comunicación inteligente entre personas y máquinas.pp. 101-116. Editorial: Editorial Ariel (Fundación Telefónica) Authors: Sanchís Arnal, Emilio (2016).

PLANNING AND COORDINATION IN MULTIAGENT ENVIRONMENTS

Book: Wiley Encyclopedia of Electrical and Electronic Engineering.pp. 1-12. Editorial: John Wiley & Sons Authors: Torreño Lerma, Alejandro; Onaindia De La Rivaherrera, Eva; Botti V. (2016).

On the inference of finite state automata from positive and negative data

Book: Topics in Grammatical Inference.pp. 73-112. Editorial: Springer Authors: López Rodríguez, Damián; García Gómez, Pedro (2016).

La profesionalización de la informática en España

Book: Un viaje a la historia de la Informática.pp. 81-91. Editorial: Universidad Politécnica de Valencia Authors: Andrés Marzal Varó; Castro-Bleda, Maria Jose; Aibar, P. (2016).

Un método Orientado a Objetos para el diseño de aplicaciones de Comercio Electrónico

Book: New Methods and Tools Supporting E-Commerce.pp. 15-25. Editorial: Catedral Publicaciones Authors: Abrahao Gonzales, Silvia Mara; Fons Cors, Joan Josep; GONZÁLEZ TOÑÁNEZ, MAGALÍ; Pastor López, Oscar; Pelechano Ferragud, Vicente (2001).

Artefacts and Guidelines for Designing Sustainable Manufacturing Systems

Book: Service Orientation in Holonic and Multi-Agent Manufacturing.pp. 93-101. Editorial: Springer Authors: Giret Boggino, Adriana Susana; Damien (2016).

ROMAS-Magentix2

Book: Social Coordination Frameworks for Social Technical Systems.pp. 153-171. Editorial: Springer Authors: Garcia Marques, Mª Emilia; Valero Cubas, Soledad; Giret Boggino, Adriana Susana (2016).

Agreement Technologies for Conflict Resolution

Book: Interdisciplinary Perspectives on Contemporary Conflict Resolution.pp. 147-167. Editorial: IGI Global Authors: Julian Inglada, Vicente Javier; Sanchez-Anguix, Víctor; Heras Barberá, Stella María; Carrascosa Casamayor, Carlos (2016).

Conciliating Model-Driven Engineering with Technical Debt Using a Quality Framework

Book: Information Systems Engineering in Complex Environments.pp. 199-214. Editorial: Springer Authors: Giraldo-Velásquez, Faber Danilo; España Cubillo, Sergio; Oscar Pastor Lopez; Oscar Pastor Lopez; Pastor López, Oscar (2015).

Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

Book: Logic, Rewriting, and Concurrency.pp. 311-330. Editorial: Springer-Verlag Authors: Gutiérrez Gil, Raúl; Lucas Alba, Salvador (2015).

Localized Operational Termination in General Logics

Book: Software, Services and Systems.pp. 91-114. Editorial: Springer-Verlag Authors: Lucas Alba, Salvador; José Meseguer (2015).

ANEMONA-S + Thomas: A Framework for Developing Service-Oriented Intelligent Manufacturing Systems

Book: Service Orientation in Holonic and Multi-agent Manufacturing.pp. 61-70. Editorial: Springer Authors: Giret Boggino, Adriana Susana; Botti V. (2015).

Concolic Execution in Functional Programming by Program Instrumentation

Book: Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015 Siena, Italy, July 13–15, 2015 Revised Selected Papers.pp. 277-292. Editorial: Springer Authors: Germán Vidal; ADRIÁN (2015).

Concolic Execution and Test Case Generation in Prolog

Book: Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9–11, 2014 Revised Selected Papers.pp. 167-181. Editorial: Springer Authors: Germán Vidal (2015).

Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories

Book: Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday.pp. 238-261. Editorial: Springer-Verlag Authors: Escobar Román, Santiago; Catherine Meadows; José Meseguer; Santiago Pinazo, Sonia (2015).

Two Decades of Maude

Book: Logic, Rewriting, and Concurrency.pp. 232-254. Editorial: Springer-Verlag Authors: Manuel Clavel; Francisco; Steven; Escobar Román, Santiago; Patrick; NARCISO MARTÍ OLIET; Carolyn (2015).

From Physical to Virtual: Widening the Perspective on Multi-Agent Environments

Book: Agent Environments for Multi-Agent Systems IV.pp. 133-146. Editorial: Springer Authors: Carrascosa Casamayor, Carlos; ; ; (2015).

Agent Bodies: An Interface Between Agent and Environment

Book: Agent Environments for Multi-Agent Systems IV.pp. 25-40. Editorial: Springer Authors: Julien Saunier; Carrascosa Casamayor, Carlos; ; (2015).

Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

Book: Logic, Rewriting, and Concurrency.pp. 72-96. Editorial: Springer-Verlag Authors: Alpuente Frasnedo, María; Ballis ., Demis; Frechina, F.; Julia (2015).

Incremental and Adaptive Software Systems Development of Natural Language Applications

Book: Information System Development. Improving Enterprise Communication.pp. 511-523. Editorial: Springer Authors: Elena; Escobar Román, Santiago; PALOMAR, M.; Ramos Salavert, Isidro (2014).

Intra-Team Strategies for Teams Negotiating Against Competitor, Matchers, and Conceders

Book: Novel Insights in Agent-based Complex Automated Negotiation.pp. 3-22. Editorial: Springer Authors: Sanchez-Anguix, Víctor; Reyhan ; Julian Inglada, Vicente Javier; Catholijn (2014).

GORMAS: A methodological guideline for Organizational-Oriented MAS

Book: Handbook on Agent-Oriented Design Processes.pp. 173-218. Editorial: Springer Berlin Heidelberg Authors: Esparcia García, Sergio; E. Argente; Julian Inglada, Vicente Javier; Botti V. (2014).

From Requirements to Code: A Full Model-Driven Development Perspective

Book: Software and Data Technologies (Communications in Computer and Information Science).pp. 56-70. Editorial: Springer Berlin Heidelberg Authors: Pastor López, Oscar; Ruiz Carmona, Luz Marcela; España Cubillo, Sergio (2013).

Uso de material audiovisual como apoyo en las clases teóricas

Book: XII Jornadas de Redes de Investigación en Docencia Universitaria.pp. 122-131. Editorial: Universidad de Alicante Authors: López Rodríguez, Damián; CRISTINA GARCÍA CABANES; Laura; Juan; Pedro; Laura; Gema; Estela; Violeta; Nicolas; VICTORIA MANEU FLORES (2014).

Diseño de nuevas experiencias docentes para el trabajo en grupo

Book: La Producción Científica y la Actividad de Innovación Docente en Proyectos de Redes.pp. 2418-2431. Editorial: Universidad de Alicante Authors: Juan; CRISTINA GARCÍA CABANES; Laura; López Rodríguez, Damián; Violeta; Pedro; J.A.; Gema; Nicolas; VICTORIA MANEU FLORES (2014).

Aplicación de métodos de aprendizaje automático a la planificación de la cirugía del queratocono. Redes neuronales.

Book: Biomecánica y Arquitectura Corneal.pp. 367-372. Editorial: Elsevier Authors: Valdés Mas, María Angeles; JOSÉ DAVID MARTÍN GUERRERO; Rupérez Moreno, María José; C. Monserrat; C. Peris-Martínez (2014).

ROMAS Methodology

Book: Handbook on Agent-Oriented Design Processes.pp. 331-369. Editorial: Springer Berlin Heidelberg Authors: Garcia Marques, Mª Emilia; Giret Boggino, Adriana Susana; Botti V. (2014).

Defining Virtual Organizations Following a Formal Approach

Book: Agents and Artificial Intelligence.pp. 365-381. Editorial: Springer Authors: Esparcia García, Sergio; E. Argente (2013).

The Future of CAiSE

Book: Seminal Contributions to Information Systems Engineering 2013.pp. 453-458. Editorial: SPRINGER Authors: John Krogstie; Pastor López, Oscar; Barbara Pernici (2013).

mWater, a Case Study for Modeling Virtual Markets;

Book: New Perspectives on Agreement Technologies.pp. 565-582. Editorial: Springer Authors: Antonio Garrido; Giret Boggino, Adriana Susana; Botti V.; PABLO NORIEGA (2013).

Modelos en Tiempo de Ejecución

Book: Desarrollo de Software Dirigido por Modelos: Conceptos, Métodos y Herramientas.pp. 529-552. Editorial: RA-MA EDITORIAL Authors: Pelechano Ferragud, Vicente; Fons Cors, Joan Josep; Alférez-Salinas, Germán Harvey; Gómez Lacruz, María (2013).

Desarrollo Dirigido por Modelos en la Práctica. MOSKitt y el Desarrollo de Aplicaciones de Gestión

Book: Desarrollo de Software Dirigido por Modelos: Conceptos, Métodos y Herramientas.pp. 425-444. Editorial: RA-MA EDITORIAL Authors: Pelechano Ferragud, Vicente (2013).

Diseño y Desarrollo de Interfaces de Usuario

Book: Desarrollo de Software Dirigido por Modelos: Conceptos, Métodos y Herramientas.pp. 445-468. Editorial: RA-MA EDITORIAL Authors: Fons Cors, Joan Josep (2013).

Automating the Interoperability of Conceptual Models in Specific Development Domains

Book: Domain Engineering: Product Lines, Languages, and Conceptual Models.pp. 349-374. Editorial: Springer Authors: Pastor López, Oscar; Giachetti Herrera, Giovanni Andrés; Marín, Beatriz; Valverde Giromé, Francisco (2013).

Variability in Autonomic Computing

Book: Systems and Software Variability Management: Concepts, Techniques and Tools.pp. 261-268. Editorial: SPRINGER Authors: Pelechano Ferragud, Vicente (2013).

The Conceptual Model Is The Code. Why Not?

Book: Seminal Contributions to Information Systems Engineering 2013.pp. 153-159. Editorial: SPRINGER Authors: Oscar Pastor; Vicente Pelechano (2013).

00-METHOD: An 00 Software Production Environment Combining Conventional and Formal Methods

Book: Seminal Contributions to Information Systems Engineering 2013.pp. 139-152. Editorial: SPRINGER Authors: Pastor López, Oscar; Pelechano Ferragud, Vicente (2013).

Abstract: Learning Management Systems for new Practices in Teaching

Book: EDULEARN13: 5th International Conference on Education and New Learning Technologies-Conference Abstracts.pp. 1-1. Editorial: International Association of Technology, Education and Development (IATED) Authors: CASTRO, I.; Castro-Bleda, Maria Jose; Aibar, P. (2013).

ANÁLISIS DE DIVERSOS MÉTODOS DE EVALUACIÓN IMPLANTADOS EN ASIGNATURAS DE LOS TÍTULOS DE GRAD

Book: XI Jornades de xarxes d'investigació en docència universitària.pp. 1886-1896. Editorial: Universidad de Alicante Authors: López Rodríguez, Damián (2013).

LAS REDES SOCIALES COMO MEDIO DE INTERACCIÓN ESTUDIANTE-PROFESOR: USO DE TWITTER PARA LA RESOLUCIÓN DE PROBLEMAS

Book: XI Jornades de xarxes d'investigació en docència universitària.pp. 1243-1253. Editorial: Universidad de Alicante Authors: López Rodríguez, Damián (2013).

LA ELABORACIÓN DEL AUTOINFORME EN LA ACREDITACIÓN POR ABET

Book: FECIES 2012. IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR.pp. 1593-1599. Editorial: Asociación Española de Psicología Conductual (AEPC). Authors: Oliver Villarroya, Javier; Balbastre Tejedor, Juan Vicente; Fernández Martínez, Nemesio; Castell Zeising, Vicente; Cano Hurtado, Juan Jaime (2013).

CRITERIOS DE CALIDAD A CONSIDERAR EN LA ACREDITACIÓN POR ABET

Book: FECIES 2012. IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR.pp. 1588-1592. Editorial: Asociación Española de Psicología Conductual (AEPC). Authors: Mendoza Roca, José Antonio; Martínez Iranzo, Miguel Andrés; Oliver Villarroya, Javier; Calderón García, Pedro Antonio; Cano Hurtado, Juan Jaime (2013).

LA ELABORACIÓN DEL AUTOINFORME EN LA ACREDITACIÓN POR ABET

Book: FECIES 2012. IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR.pp. 1593-1599. Editorial: Asociación Española de Psicología Conductual (AEPC). Authors: Oliver Villarroya, Javier; Balbastre Tejedor, Juan Vicente; Fernández Martínez, Nemesio; Castell Zeising, Vicente; Cano Hurtado, Juan Jaime (2013).

EL PROCESO DE ACREDITACIÓN DE TITULACIONES DE INGENIERÍA CON LA AGENCIA NORTEAMERICANA ABET. LA EXPERIENCIA DE LA UNIVERSITAT POLITÈCNICA DE VALÈNCIA: VISIÓN INSTITUCIONAL

Book: FECIES 2012. IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR.pp. 1265-1269. Editorial: Asociación Española de Psicología Conductual (AEPC). Authors: Cano Hurtado, Juan Jaime; Carda Batalla, María Isabel; Mendoza Roca, José Antonio; Oliver Villarroya, Javier; Calderón García, Pedro Antonio; Castell Zeising, Vicente; Fernández Martínez, Nemesio (2013).

CRITERIOS DE CALIDAD A CONSIDERAR EN LA ACREDITACIÓN POR ABET

Book: FECIES 2012. IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR.pp. 1588-1592. Editorial: Asociación Española de Psicología Conductual (AEPC). Authors: Mendoza Roca, José Antonio; Martínez Iranzo, Miguel Andrés; Oliver Villarroya, Javier; Calderón García, Pedro Antonio; Cano Hurtado, Juan Jaime (2013).

Achieving Individual Feedback through the On-line Educational Platform

Book: Computers in Education (SIIE), 2012 International Symposium on.pp. 107-112. Editorial: IEEE Xplore Authors: Alberola Oltra, Juan Miguel; García-Fornes, A (2012).

EL PROCESO DE ACREDITACIÓN DE TITULACIONES DE INGENIERÍA CON LA AGENCIA NORTEAMERICANA ABET. LA EXPERIENCIA DE LA UNIVERSITAT POLITÈCNICA DE VALÈNCIA: VISIÓN INSTITUCIONAL

Book: FECIES 2012. IX FORO INTERNACIONAL SOBRE LA EVALUACIÓN DE LA CALIDAD DE LA INVESTIGACIÓN Y DE LA EDUCACIÓN SUPERIOR.pp. 1265-1269. Editorial: Asociación Española de Psicología Conductual (AEPC). Authors: Cano Hurtado, Juan Jaime; Carda Batalla, María Isabel; Mendoza Roca, José Antonio; Oliver Villarroya, Javier; Calderón García, Pedro Antonio; Castell Zeising, Vicente; FERNANDEZ OCHANDO, NEMESIO (2013).

Communication Analysis requirements models: grammar design and implementation

Book: Modelling and Quality in Requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday.pp. 175-188. Editorial: Münster : Verl.-Haus Monsenstein und Vannerdat, 2012 Authors: Pastor López, Oscar; Ruiz Carmona, Luz Marcela; España Cubillo, Sergio; González del Río Rams, Arturo (2012).

Testing of Future Internet Applications Running in the Cloud

Book: Software Testing in the Cloud: Perspectives on an Emerging Discipline.pp. 305-321. Editorial: IGI Global Authors: Vos ., Tanja Ernestina; PAOLO TONELLA TONELLA; JOACHIM WEGENER; Mark; I.S.W.B. PRASETYA; Shmuel (2012).

Conceptual modeling of human genome: integration chalenges

Book: Conceptual Modelling and its Theoretical Foundations.pp. 231-250. Editorial: Springer Verlag Authors: Pastor López, Oscar; CASAMAYOR, J.; Casamayor Rodenas, Juan Carlos; Celma Giménez, Matilde; Mota Herranz, Laura; Pastor Cubillo, Mª Ángeles; Levin Chucrel, Ana Marcela (2012).

Agreement Technologies: A Computing Perspective

Book: Agreement Technologies.pp. 3-16. Editorial: Springer Verlag Authors: SASCHA OSSOWSKY; SIERRA GARCIA, CARLES; Botti V. (2012).

Cost-Aware Reorganization Service for Multiagent Systems

Book: AAMAS Workshops 2011, AMPLE, AOSE, ARMS, DOCM³AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers.pp. 442-456. Editorial: Springer Authors: Alberola Oltra, Juan Miguel; Julian Inglada, Vicente Javier; García-Fornes, A (2012).

Adaptive Agent Organisations

Book: Agreement Technologies.pp. 321-353. Editorial: Springer Verlag Authors: E. Argente; HOLGER BILLHARDT; CARLOS ENRIQUE CUESTA QUINTERO; Esparcia García, Sergio; Jana; R. Hermoso; Kristi; Marin Lujak; José-Santiago Pérez-Sotelo; K. Taveter (2012).

Describing Agent Organisations

Book: Agreement Technologies.pp. 253-276. Editorial: Springer Verlag Authors: E. Argente; O. Boissier ; Esparcia García, Sergio; Jana; Kristi; K. Taveter (2012).

mWater, a Case Study for Modeling Virtual Markets

Book: Agreement Technologies.pp. 563-579. Editorial: Springer Verlag Authors: Garrido Tejero, Antonio; Giret Boggino, Adriana Susana; Botti V.; PABLO NORIEGA (2012).

Diagen: A Model-Driven Framework for Integrating Bioinformatic Tools

Book: IS Olympics:Information Systems in a Diverse World. CAiSE Forum 2011, London, UK, June 2011, Selected Extended Papers.pp. 49-63. Editorial: Springer Authors: Villanueva Del Pozo, Maria José; Valverde Giromé, Francisco; Levin Chucrel, Ana Marcela; Pastor López, Oscar (2012).

Arguing to Support Customers: the Call Centre Study Case

Book: Agreement Technologies.pp. 507-527. Editorial: Springer Verlag Authors: Heras Barberá, Stella María; Jordan Prunera, Jaume Magi; Botti V.; Julian Inglada, Vicente Javier (2012).

Intelligent Customer Support for Help-Desk Environments

Book: Hybrid Artificial Intelligence Systems.pp. 73-80. Editorial: Universidad de Salamanca Authors: Heras Barberá, Stella María; Garcia Pardo Gimenez De Los Galanes, Juan Angel; Rebollo Pedruelo, Miguel; Julian Inglada, Vicente Javier; Botti V. (2007).

State f the art of mobile development technologies

Book: New Trends in Mobile and Web Development 2012.pp. 1-90. Editorial: Lahti University of Applied Sciences Authors: Linares Pellicer, Jordi Joan (2012).

An Agent Infrastructure for Privacy-Enhancing Agent-Based E-commerce Applications

Book: AAMAS Workshops 2011, AMPLE, AOSE, ARMS, DOCM³AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers.pp. 411-425. Editorial: Springer Authors: Such Aparicio, José Miguel; Espinosa Minguet, Agustín Rafael; García-Fornes, A (2012).

Arabic Handwriting Recognition Using Bernoulli HMMs

Book: Guide to OCR for Arabic Scripts.pp. 255-272. Editorial: Springer Authors: Ihab Alkhoury; Giménez Pastor, Adrián; Juan Císcar, Alfonso (2012).

Experiencia en la Aplicación de Innovaciones Docentes: De la Teoría Pedagógica a la Práctica Informática.

Book: Experiencias de Innovación Educativa Politécnicos 2010.pp. 7-18. Editorial: Andana Llibres S.L. Authors: Civera Saiz, Jorge (2010).

A Conceptual Modeling Approach to Improve Human Genome Understanding

Book: Handbook of Conceptual Modeling.pp. 517-538. Editorial: Springer Authors: Pastor López, Oscar; Van Der Kroon ., Matthijs; Levin Chucrel, Ana Marcela; CASAMAYOR, J.; Celma Giménez, Matilde (2011).

Conceptual-Model Programming: A Manifesto

Book: Handbook of Conceptual Modeling.pp. 3-15. Editorial: Springer Authors: David; Steve; Pastor López, Oscar (2011).

Model-Based Engineering Applied to the Interpretation of the Human Genome

Book: The Evolution of Conceptual Modeling.pp. 306-330. Editorial: Springer Authors: Pastor López, Oscar; Levin Chucrel, Ana Marcela; Celma Giménez, Matilde; Casamayor Rodenas, Juan Carlos (2011).

Explotación de un Sistema de Encuestas Electrónicas en Clases Universitarias

Book: Diseño y Evaluación de Innovaciones Docentes en el Ámbito Universitario: Casos Prácticos.pp. 73-85. Editorial: La Sirena Authors: Such Aparicio, José Miguel; García-Fornes, A (2011).

Active Interaction and Learning in Handwritten Text Transcription

Book: Multimodal Interactive Pattern Recognition and Applications.pp. 119-133. Editorial: Springer Authors: Serrano Martinez Santos, Nicolas; Giménez Pastor, Adrián; Sanchis Navarro, José Alberto; Juan Císcar, Alfonso (2011).

Massively Multiplayer Online Games Developed with Agents

Book: Transactions on Edutainment VII.pp. 129-138. Editorial: Springer-Verlag Authors: Carrascosa Casamayor, Carlos (2012).

State of the art of mobile development technologies

Book: New Trends in Mobile and Web Development.pp. 1-88. Editorial: Marfil Authors: Linares Pellicer, Jordi Joan; CARRASQUER MOYA, MARIA AMPARO (2011).

Facing the Challenges of Genome Information Systems: A Variation Analysis Prototype

Book: Information Systems Evolution: CAiSE Forum 2010, Hammamet, Tunisia, June 7-9, 2010, Selected Extended Papers.pp. 222-237. Editorial: Springer Authors: Martínez Ferrandis, Ana María; Martín Mayordomo, Ainoha; Villanueva Del Pozo, Maria José; Valverde Giromé, Francisco; Levin Chucrel, Ana Marcela; Pastor López, Oscar (2011).

Conceptual Modelling of Interaction

Book: Handbook of Conceptual Modeling.pp. 335-358. Editorial: Springer Authors: Nathalie Aquino; Jean Vanderdonckt; José Ignacio Panach; Óscar Pastor (2011).

General Framework

Book: Multimodal Interactive Pattern Recognition and Applications.pp. 1-45. Editorial: Springer Authors: Andrés Ferrer, Jesús; Romero Gómez, Verónica; Sanchis Navarro, José Alberto (2011).

Interactive Machine Translation

Book: Multimodal Interactive Pattern Recognition and Applications.pp. 135-152. Editorial: Springer Authors: Civera Saiz, Jorge; González Rubio, Jesús; Ortiz Martínez, Daniel (2011).

Diseño y Evaluación de Innovaciones Docentes en el Ámbito Universitario

Book: Diseño y Evaluación de Innovaciones Docentes en el Ámbito Universitario: Casos Prácticos.pp. 9-18. Editorial: La Sirena Authors: Criado Pacheco, Natalia; Such Aparicio, José Miguel (2011).

A Distributed Architecture for Enforcing Norms in Open MAS

Book: AAMAS Workshops 2011, AMPLE, AOSE, ARMS, DOCM³AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers.pp. 457-471. Editorial: Springer Authors: Criado Pacheco, Natalia; E. Argente; PABLO NORIEGA; Botti V. (2012).

On a computational Argumentation Framework for Agent Societies

Book: Argumentation in Multi-Agent Systems.pp. 123-140. Editorial: Springer Authors: Heras Barberá, Stella María; Botti V.; Julian Inglada, Vicente Javier (2011).

The Role of MAS as a Decision Support Tool in a Water-Rights Market

Book: AAMAS Workshops 2011, AMPLE, AOSE, ARMS, DOCM³AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers.pp. 35-49. Editorial: Springer Authors: Vicente Botti; Antonio Garrido; Adriana Giret; Pablo Noriega (2012).

The generalist recommender system GRSK and its extension to groups

Book: Web Information Systems and Technologies (LNBIP 75).pp. 215-229. Editorial: Springer Heidelberg NewYork Authors: García García, Inmaculada; Sebastiá Tarín, Laura; Pajares Ferrando, Sergio; Onaindia De La Rivaherrera, Eva (2011).

Rational Strategies for Norm Compliance in the n-BDI Proposal

Book: Coordination, Organizations, Institutions, and Norms in Agent Systems VI COIN 2010 International Workshops, COIN@AAMAS 2010. Revised selected papers.pp. 1-20. Editorial: Springer Authors: Criado Pacheco, Natalia; Argente Villaplana, Estefanía; Botti Navarro, Vicente Juan (2011).

Modelling with agents

Book: Agent-Oriented Software Engineering X - 10th International Workshop AOSE 2009 - Revised Selected Papers.pp. 157-168. Editorial: Springer Authors: Argente Villaplana, Estefanía; Ghassan Beydoun; Rubén Fuentes-Fernández; Brian Henderson-Sellers; Graham Low (2011).

GORMAS: An Organizational-Oriented Methodological Guideline for Open MAS

Book: Agent-Oriented Software Engineering X - 10th International Workshop AOSE 2009 - Revised Selected Papers.pp. 32-47. Editorial: Springer Authors: Argente Villaplana, Estefanía; Botti Navarro, Vicente Juan; Julian Inglada, Vicente Javier (2011).

Norms enforceability in Electronic Institutions?

Book: Coordination, Organizations, Institutions, and Norms in Agent Systems VI COIN 2010 International Workshops, COIN@AAMAS 2010. Revised selected papers.pp. 250-267. Editorial: Springer Authors: Natalia Criado; Estefania Argente; Antonio Garrido; Juan A. Gimeno; Francesc Igual; Vicente Botti; Pablo Noriega; Adriana Giret (2011).

Defeasible Planning through Multi-agent Argumentation

Book: Combinations of Intelligent Methods and Applications, Smart Innovation, Systems and Technologies.pp. 1-19. Editorial: Springer Authors: Pajares Ferrando, Sergio; Onaindia De La Rivaherrera, Eva (2011).

Strengths and Weaknesses of the i* Framework: An Empirical Evaluation

Book: Social Modeling for Requirements Engineering.pp. 607-644. Editorial: MIT Press Authors: Oscar Pastor (2010).

Una librería de código libre y abierto para el cálculo de métricas del paisaje

Book: Biogeografía una ciencia para la conservación del medio.pp. 129-138. Editorial: P.Giménez, J.Marcos, E.Matarredona, A.Padilla,... Authors: Linares, J.; Esparza, J. (2010).

An Open Architecture for Service-Oriented Virtual Organizations

Book: Programming Multi-Agent Systems.pp. 118-132. Editorial: Springer Authors: A. Giret; V. Julian; M. Rebollo; E. Argente; C. Carrascosa; V. Botti (2010).

Applying Dialogue Games to Manage Recommendation in Social Networks

Book: Argumentation in Multi-Agent Systems.pp. 256-272. Editorial: Springer Authors: S. Heras; M. Navarro; V. Botti; V. Julián (2010).

A Norm-Based Organization Management System

Book: Coordination, Organizations, Institutions and Norms in Agent Systems V.pp. 19-35. Editorial: Springer Authors: N. Criado; V. Julian; V. Botti; E. Argente (2010).

Linking Goal-Oriented Requirements and Model-Driven Development

Book: Intentional Perpectives on Information Systems Engineering.pp. 257-276. Editorial: Springer-Verlag Authors: Oscar Pastor; Giovanni Giachetti (2010).

Aplicación del Aprendizaje Colaborativo en las Prácticas de Programación Básica

Book: Experiencias de Innovación Educativa Politécnicos 2010.pp. 43-55. Editorial: Andana Llibres S.L. Authors: S. Heras; V. Julián (2010).

Innovación Docente para la adecuación de Fundamentos de Informática al Título de Grado de Ingeniería Electrónica y Automática

Book: Experiencias de Innovación Educativa Politécnicos 2010.pp. 97-114. Editorial: Andana Llibres S.L. Authors: J. D. Segrelles; M.A. Salido; A.S. Giret (2010).

OO-Method: A Conceptual Schema-Centric Development Approach

Book: Systems Analysis and Design: Techniques, Methodologies, Approaches and Architectures.pp. 201-222. Editorial: M: E: Sharpe Authors: Oscar Pastor López (2009).

Adoption of Software Product Lines to Develop Autonomic

Book: Applied Software Product Line Engineering.pp. 141-172. Editorial: CRC Press, Taylor & Francis Group Authors: Carlos Cetina; Joan Fons; Vicente Pelechano (2009).

Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

Book: Foundations of Security Analysis and Design V.pp. 1-50. Editorial: Springer Authors: Santiago Escobar (2009).

A Model-Driven Engineering Approach for Defining Rich Internet Applications: A Web 2.0 Case Study

Book: Handbook of Research ON Web 2.0, 3.0 and X.0.pp. 40-58. Editorial: Information Science Reference (IGI Global) Authors: Francisco Valverde; Oscar Pastor; Pedro Valderas; Vicente Pelechano (2009).

Dealing with Abstract Interaction Modeling in a MDE Development Process: A Pattern-Based Approach

Book: New Trends on Human-Computer Interaction.pp. 119-128. Editorial: Springer Authors: Francisco Valverde; Ignacio Panach; Nathalie Aquino; Oscar Pastor (2009).

Model-driven Web Engineering in the CMS domain: A Preliminary Research Applying SME

Book: Enterprise Information Systems.pp. 226-237. Editorial: Springer Authors: Kevin Vlaanderen; Francisco Valverde; Oscar Pastor (2009).

Calibration of Machine Learning Models

Book: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques.pp. 128-146. Editorial: IGI Global Authors: Antonio Bella; Cèsar Ferri; José Hernández-Orallo; María José Ramírez-Quintana (2010).

Neural Networks for Modeling the Contact Foot-Shoe Upper

Book: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques.pp. 561-573. Editorial: IGI Global Authors: M.J. Rupérez; J.D. Martín; C. Monserrat; M. Alcañiz (2010).

From Early to Late Requirements: A Goal-Based Approach

Book: Agent-Oriented Information Systems.pp. 123-142. Editorial: Springer-Verlag Authors: Oscar Pastor (2008).

Behaviour-based Clustering of Neural Networks

Book: Encyclopedia of Artificial Intelligence.pp. 231-235. Editorial: Information Science Reference Authors: María José Castro-Bleda; Salvador España-Boquera; Francisco Zamora-Martínez (2008).

Una herramienta CASE para la mejora de la enseñanza de la ingeniería del software

Book: TICAI2007: TICs para el Aprendizaje de la Ingeniería.pp. 47-52. Editorial: IEEE Authors: César Ferri; Emilio Insfran; Adrian Fernandez (2008).

Extending Classical Planning for Time: Research Trends in Optimal and Suboptimal Temporal Planning

Book: Artificial Intelligence for Advanced Problem Solving Techniques.pp. 23-61. Editorial: Information Science Reference Authors: Antonio Garrido; Eva Onaindía (2008).

Innovación docente en la enseñanza de Algorítmica en la Facultad de Informática

Book: Jornada de Innovación Docente. Facultad de Informática. 2008.pp. 3-3. Editorial: Editorial de la Universidad Politécnica de Valenci Authors: María José Castro Bleda; Salvador España Boquera; Emilio Sanchis Arnal (2008).

Actividad conjunta entre las asignaturas Estadística y Estructuras de Datos y Algoritmos

Book: Jornada de Innovación Docente. Facultad de Informática. 2008.pp. 4-4. Editorial: Editorial de la Universidad Politécnica de Valenci Authors: R.M. Alcover; S. España; M.J. Castro; J.M. Prats; L.R. Zúnica (2008).

Administración de Sistemas Operativos

Book: Jornada de Innovación Docente. Facultad de Informática. 2008.pp. 1-1. Editorial: Editorial de la Universidad Politécnica de Valenci Authors: Andrés Terrasa; Agustín Espinosa; Alvaro Alvarez (2008).

Planificación

Book: Inteligencia Artificial. Técnicas, métodos y aplicaciones.pp. 537-587. Editorial: McGraw Hill Authors: Eva Onaindia de la Rivaherrera; Antonio Garrido Tejero (2008).

Técnicas de Extracción de Reglas

Book: Inteligencia Artificial. Técnicas, métodos y aplicaciones.pp. 763-792. Editorial: McGraw Hill Authors: RAMIREZ QUINTANA, MARIA JOSE; Hernández Orallo, Jósé (2008).

Aprendizaje de árboles y reglas de decisión

Book: Inteligencia Artificial. Técnicas, métodos y aplicaciones.pp. 725-758. Editorial: McGraw Hill Authors: FERRI RAMIREZ, CESAR; RAMIREZ QUINTANA, MARIA JOSE (2008).

Conceptual Alignment of Software Production Methods

Book: Conceptual Modeling in Information System Engineering.pp. 209-229. Editorial: Springer-Verlag Authors: Oscar Pastor; Arturo Gonzalez; Sergio España (2007).

A Software Factory for Pervasive Systems Development

Book: Pervasive Information Systems.pp. 103-126. Editorial: M.E. Sharpe Authors: Javier Muñoz; Vicente Pelechano (2007).

Applying the OOWS Model-Driven Approach for Developing Web Applications. The Internet Movie Database Case Study

Book: Web Engineering. Modelling and Implementing Web Applications.pp. 65-108. Editorial: Springer Authors: Joan Fons; Vicente Pelechano; Oscar Pastor; Pedro Valderas; Victoria Torres (2008).

Introduction to Web Engineering and Web Applications Development

Book: Web Engineering. Modelling and Implementing Web Applications.pp. 3-6. Editorial: Springer Authors: Oscar Pastor (2008).

Conclusions: the future of Web Engineering

Book: Web Engineering. Modelling and Implementing Web Applications.pp. 449-453. Editorial: Springer Authors: Oscar Pastor (2008).

Handling Usability Aspects For The Construction Of Business Process Driven Web Applications

Book: Handbook of Research on Web Information Systems Quality.pp. 247-265. Editorial: IDEA Group Publishing Authors: Victoria Torres; Joan Fons; Vicente Pelechano (2008).

Integrating New Behaviors into the Artis Agent Architecture

Book: Artificial Intelligence and its Applications: From Theory to Practice.pp. 215-243. Editorial: Universidad de Salamanca Authors: Vicente Julián; Carlos Carrascosa; Vicente Botti (2007).

Hybrid Multi-Agent Architecture for Mail-Robot Navigation

Book: Artificial Intelligence and its Applications: From Theory to Practice.pp. 243-260. Editorial: Universidad de Salamanca Authors: Carlos Carrascosa; Vicente Julián; Vicente Botti (2007).

Ubiquitous Computing for Mobile Environments

Book: Issues in Multi-agent Systems.pp. 33-57. Editorial: Birkhauser Verlag Authors: Estefanía Argente; Vicente Botti; Vicente Julián (2008).

Physical Agents

Book: Issues in Multi-agent Systems.pp. 117-143. Editorial: Birkhauser Verlag Authors: Vicente Julián; Carlos Carrascosa; Vicente Botti (2008).

Agent Applications in Tourism

Book: Issues in Multi-agent Systems.pp. 179-206. Editorial: Birkhauser Verlag Authors: Vicente Botti; Vicente Julián (2008).

Agent Oriented Software Engineering

Book: Issues in Multi-agent Systems.pp. 1-31. Editorial: Birkhauser Verlag Authors: Vicente Botti; Adriana Giret (2008).

La interpretación semántica

Book: Los sistemas de diálogo.pp. 99-118. Editorial: Servei de publicacions UAB Authors: Encarna Segarra Soriano (2006).

La enseñanza de Algorítmica basada en la participación activa del alumnado

Book: Innovación Docente en la Facultad de Informática.pp. 11-14. Editorial: Universidad Politécnica de Valencia Authors: María José Castro Bleda; Salvador España Boquera; Emilio Sanchis Arnal (2007).

Actividad conjunta entre las asignaturas Estadística y Estructuras de Datos y Algoritmos

Book: Innovación Docente en la Facultad de Informática.pp. 125-130. Editorial: Universidad Politécnica de Valencia Authors: R.M. Alcover; S. España; M.J. Castro (2007).

Uso de un espacio virtual para el trabajo colaborativo

Book: Innovación Docente en la Facultad de Informática.pp. 65-69. Editorial: Universidad Politécnica de Valencia Authors: Alicia Villanueva García (2007).

Experiencia docente en la asignatura Administración de Sistemas Operativos

Book: Innovación Docente en la Facultad de Informática.pp. 1-6. Editorial: Universidad Politécnica de Valencia Authors: Andrés Terrasa; Agustín Espinosa; Alvaro Alvarez (2007).

Generating User Interfaces from Conceptual Models: A Model-transformation based Approach

Book: Computer-Aided Design of User Interfaces V.pp. 1-14. Editorial: Springer Authors: Oscar Pastor (2006).

A Framework based on Design Patterns: Implementing UML Association, Aggregation and Composition Relationships in the Context of Model-Driven Code Generation

Book: Object-Oriented Design Knowledge: Principles, Heuristics and Best Practices.pp. 56-104. Editorial: IDEA GROUP PUBLISHING Authors: Manoli Albert; Marta Ruiz; Javier Muñoz; Vicente Pelechano (2006).

Using Linguistic Patterns to Model Interactions

Book: Object-Oriented Design Knowledge: Principles, Heuristics and Best Practices.pp. 23-55. Editorial: Idea Group Publishing Authors: Isabel Díaz; Oscar Pastor; Lidia Moreno; Alfredo Matteo (2007).

Linking requirements specification with interaction design and implementation

Book: Human Work Interaction: Designing for Human Work.pp. 123-133. Editorial: Springer Authors: España Cubillo, Sergio; Pederiva ., Ines; Panach Navarrete, Jose Ignacio; Abrahao, Silvia Mara; PASTOR LOPEZ, OSCAR (2006).

Requirements Engineering for Pervasive Systems: A Transformational Approach

Book: 14th IEEE International Requirements Engineering Conference.pp. 351-353. Editorial: IEEE Computer Society Authors: Muñoz Ferrara, Javier; VALDERAS ARANDA, PEDRO JOSÉ; PELECHANO FERRAGUD, VICENTE; PASTOR LOPEZ, OSCAR (2006).

OCR research in PRHLT group

Book: Pattern Recognition: Progress Directions and Applications.pp. 106-125. Editorial: Centre de Visió per Computador (UAB) Authors: J. García-Hernández; A.H. Toselli; J. Arlandis; R. Paredes; R. Llobet; A. Juan; J.C. Pérez-Cortés; J. Cano; E. Vidal; F. Casacuberta (2006).

Pattern Recognition Approaches for Speech Recognition Applications

Book: Pattern Recognition: Progress Directions and Applications.pp. 21-40. Editorial: Centre de Visió per Computador (UAB) Authors: V. Alabau; J.M. Benedí; F. Casacuberta; A. Juan; C.D. Martínez-Hinarejos; M. Pastor; L. Rodríguez; J.A. Sánchez; A. Sanchis; E. Vidal (2006).

The naive Bayes model, generalisations and applications

Book: Pattern Recognition: Progress Directions and Applications.pp. 162-179. Editorial: Centre de Visió per Computador (UAB) Authors: V. Alabau; J. Andrés; F. Casacuberta; J. Civera; J. García-Hernández; A. Giménez; A. Juan; A. Sanchis; E. Vidal (2006).

Off-line and On-line Continuous Handwritten Text Recogntion in PRHLT Group

Book: Pattern Recognition: Progress Directions and Applications.pp. 146-161. Editorial: Centre de Visió per Computador (UAB) Authors: Alejandro H. Toselli; Moisés Pastor; Verónica Romero; Alfons Juan; Enrique Vidal; Francisco Casacuberta (2006).

Pattern Recognition approaches to Machine Translation and Computer Assisted Translation at PRHLT group

Book: Pattern Recognition: Progress Directions and Applications.pp. 1-20. Editorial: Centre de Visió per Computador (UAB) Authors: J. Andrés; F. Casacuberta; J. Civera; E. Cubel; I. García-Varea; J. González; M. T. González; A. L. Lagarda; J. R. Navarro; F. Nevado; D. Ortiz; D. Picó; L. Rodríguez; G. Sanchís; J. Tomás; E. Vidal; J. M. Vilar (2006).

Modelos en minería de datos: interpretación, combinación y adaptación

Book: Minería de Datos: Técnicas y Aplicaciones.pp. 35-66. Editorial: Dep. de Informática- U. de Castilla-La Mancha Authors: José Hernández Orallo; Ricardo Blanco Vega; Cèsar Ferri Ramírez; M.José Ramírez Quintana (2005).

Conceptual Modelling of Web Applications: the OOWS approach

Book: Web Engineering: Theory and Practice of Metrics and Measurement for Web Development.pp. 277-301. Editorial: Springer Authors: Oscar Pastor; Joan Fons; Vicente Pelechano; Silvia Abrahão (2005).

Complexity Applications of Covering Rules in P Systems

Book: Recent Results in Natural Computing.pp. 277-291. Editorial: Fénix Editora Authors: José M. Sempere (2005).

Data Warehousing and OLAP

Book: Encyclopedia of Database Technologies and Applications.pp. 127-133. Editorial: Idea Group Reference Authors: Jose Hernandez-Orallo (2005).

Knowledge Discovery from Databases

Book: Encyclopedia of Database Technologies and Applications.pp. 313-318. Editorial: Idea Group Reference Authors: Jose Hernandez-Orallo (2005).

Aplicaciones Industriales de los Sistemas Multi agentes

Book: Agentes Software y Sistemas Multi-Agente. Conceptos, Arquitecturas y Aplicaciones.pp. 186-203. Editorial: Pearson Education Authors: Adriana Giret; Vicente Julián; Vicente Botti (2005).

Aplicaciones en Recuperación de la Información

Book: Agentes Software y Sistemas Multi-Agente. Conceptos, Arquitecturas y Aplicaciones.pp. 221-231. Editorial: Pearson Education Authors: Vicente Julián; Adriana Giret; Vicente Botti (2005).

Getting Ready Web Engineering Methods for the Semantic Web. Putting Ontologies into Practice

Book: Engineering Advanced Web Applications.pp. 90-100. Editorial: Rinton Press Authors: V. Torres; J. Fons; V. Pelechano (2004).

Distributed Contraints by Sampling in Non-Binary CSPs

Book: Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems.pp. 77-91. Editorial: IOS PRESS Authors: Miguel A. Salido; Adriana Giret; Federico Barber (2004).

Especificación de Requisitos en el Desarrollo de Aplicaciones Web

Book: Tendencias en el Desarrollo de Aplicaciones Web.pp. 101-118. Editorial: Avalon Programming Solution Authors: Pedro J. Valderas Aranda; Marta Ruiz Server; Victoria Torres Bosch; Vicente Pelechano Ferragud (2004).

Servicios Web. Aplicaciones, Tecnologías y Diseño

Book: Tendencias en el Desarrollo de Aplicaciones Web.pp. 85-100. Editorial: Avalon Programming Solution Authors: Vicente Pelechano; Joan Fons (2004).

Aprendizaje de Árboles de Decisión Basados en Distancias

Book: Tendencias de la Minería de Datos en España.pp. 425-436. Editorial: Universidad de Sevilla Authors: V. Estruch; C. Ferri; J. Hernández-Orallo; M.J. Ramírez-Quintana (2004).

El Método Mimético, una alternativa para la comprensibilidad de modelos de "caja negra"

Book: Tendencias de la Minería de Datos en España.pp. 391-402. Editorial: Universidad de Sevilla Authors: R. Blanco-Vega; J. Hernández-Orallo; M.J. Ramírez-Quintana (2004).

Generación Automática de Aplicaciones WEB a partir de Esquemas Conceptuales Orientados a Objetos

Book: Tendencias Actuales en la Interacción Persona-Ordenador: Accesibilidad, Adaptabilidad y Nuevos Paradigmas.pp. 1-20. Editorial: Departamento de Informática de la UCLM Authors: Oscar Pastor; Joan Fons; Vicente Pelechano (2003).

Decision Support for Data Mining: Introduction to ROC analysis and its application

Book: Data Mining and Decision Support: Integration and Collaboration .pp. 81-90. Editorial: Kluwer Academic Publishers Authors: Peter Flach; Hendrik Blockeel; Cèsar Ferri; José Hernández-Orallo; Jan Struyf (2003).

A Code Generation Process for Role Classes. An approach based on Formal Techniques and Design patterns

Book: Technology of Object-Oriented Languages, Systems and Architectures.pp. 137-153. Editorial: Kluwer Academic Publishers Authors: Vicente Pelechano; Manoli Albert; Eva Campos; Oscar Pastor (2003).

Semi Automatic Generation of User Interface Prototypes from Early Requirements Models

Book: Perspectives on Requirements Engineering.pp. 201-222. Editorial: Kluwer Academic Publishers Authors: Juan Sánchez Díaz; Oscar Pastor López; Hugo Estrada Esquivel; Alicia Martínez Rebollar; Jorge Belenguer Faguás (2004).

Preface Volume 86(3)

Book: Functional and (Constraint) Logic Programming. Selected papers from the 12th international workshop (WFLP'03).pp. 1-4. Editorial: Elsevier Science Publishers Authors: German Vidal (2003).

Current Trends in Web Engineering

Book: Business Briefing: Data Management & Storage Technology.pp. 54-57. Editorial: World Markets Series Authors: Oscar Pastor López (2002).

Automatic Generation of User Interfaces Prototypes from Requirement Models

Book: Applying Requirements Engineering.pp. 101-119. Editorial: Catedral Authors: Juan Sánchez; Jorge Belenguer; Oscar Pastor López (2002).

Generating Conceptual Schemas from Requirements Models

Book: Applying Requirements Engineering.pp. 131-142. Editorial: Catedral Authors: Emilio Insfran Pelozo; Oscar Pastor López; Vicente Pelechano (2002).

Dialogue Act Connectionist Detection in a Spoken Dialogue System

Book: Soft Computing Systems. Design, Management and Applications.pp. 644-651. Editorial: IOS Press Authors: Emilio Sanchis; María José Castro (2002).

Calidad de Sistemas Web

Book: Calidad en el desarrollo y mantenimiento del software.pp. 119-138. Editorial: Ra-Ma Editorial Authors: Silvia Mara Abrahão; Óscar Pastor (2003).

JUST-UI: A User Interface Specification Model

Book: Computer-Aided Design of User Interfaces.pp. 63-75. Editorial: Kliwer Academic Publishers Authors: Oscar Pastor (2002).

Aplicaciones de los Sistemas Multiagente (SMA) en Industria

Book: Agentes Inteligentes: Sistemas Multiagentes y Aplicaciones.pp. 19-82. Editorial: Universidad Internacional Menéndez Pelayo Authors: Vicente Botti; Adriana Giret (2002).

Holons and Agents. Do they Differ?

Book: Research and Development in Intelligent Systems XIX.pp. 309-322. Editorial: Springer Authors: Adriana Giret; Vicente Botti (2002).

An Operational Semantics for Declarative Multi-Paradigm Languages

Book: 2nd Int'l Workshop on Reduction Strategies and Programming (Selected papers).pp. 31-49. Editorial: Elsevier Authors: Javier Oliver; German Vidal (2002).

PRototype Extraction for K-NN Classifiers using Median Strings

Book: Pattern Recognition and String Matching.pp. 465-476. Editorial: Kluwer Academic Publishers Authors: Carlos D. Martínez Hinarejos; Alfons Juan; Francisco Casacuberta (2002).

Inference of k-Piecewise Testable Tree Languages

Book: Pattern Recognition and String Matching.pp. 341-352. Editorial: Kluwer Academic Publishers Authors: Damián López; José Ruiz; Pedro García (2002).

Operational Semantics for Functional Logic Programs

Book: 11th Int'l Workshop on Functional and (Constraint) Logic Programming (Selected Papers).pp. 1-22. Editorial: Elsevier Science Authors: Javier Oliver; German Vidal (2002).

Desarrollo de Aplicaciones WEB basadas en Servicios WEB XML. Un Caso Práctico

Book: Avances en Comercio Electrónico.pp. 99-118. Editorial: Avalon Programming Solutions Authors: Vicente Pelechano; Marta Ruíz; Joan Fons; Pedro Valderas (2002).

OOWS: Un Método de Producción de Software en Ambientes Web

Book: Avances en Comercio Electrónico.pp. 119-136. Editorial: Avalon Programming Solutions Authors: Joan Fons; Oscar Pastor; Pedro Valderas; Marta Ruíz (2002).

Preprocessing Algorithm for Non-binary Disjunctive Constraints Satisfaction

Book: Research and Development in Intelligent Systems XVIII.pp. 123-133. Editorial: Springer Verlag Authors: M.A. Salido; A. Giret; F. Barber (2001).

A non-binary Constraint Satisfaction Solver: The One-face Hyperpolyhedron Heuristic

Book: Research and Development in Intelligent Systems XVIII.pp. 313-324. Editorial: Springer Verlag Authors: M.A. Salido; A. Giret; F. Barber (2001).

Constraints Satisfaction by means of Dynamic Polyhedra

Book: Operations Research Proceedings 2001.pp. 405-412. Editorial: Springer Verlag Authors: Salido M.; Giret, A.; Barber, F. (2002).

Modelling phone-context in Spanish by using SCMGGI Models

Book: Speech Recognition and Coding.pp. 268-271. Editorial: Springer Verlag Authors: I.Galiano; F.Casacuberta; E.Sanchis (1995).

Learning structural models of sublexical units

Book: Speech Recognition and Understanding.pp. 525-530. Editorial: Springer Verlag Authors: E.Sanchis; F.Casacuberta; S.Carpi (1992).

Application of the Error Correcting Grammatical Inference Method (ECGI) to Multi-Speaker Isolated Word Recognition

Book: Recent Advances in Speech Understanding and Dialog Systems.pp. 317-322. Editorial: Springer Verlag Authors: E.Sanchis (1988).

A general fuzzy-parsing Scheme for speech recognition

Book: New Systems and Architectures for Automatic Speech Recognition and Synthesis.pp. 427-446. Editorial: Springer Verlag Authors: E.Vidal; F.Casacuberta; E.Sanchis; J.M.Benedi (1985).

A compositional semantics for term rewriting systems

Book: Nuevas Tendencias en la Informática: Arquitecturas Paralelas y Programación Declarativa.pp. 291-302. Editorial: Ed. Authors: María Alpuente; Germán Vidal (1994).

Survey of Concurrent Calculi

Book: Nuevas Tendencias en la Informática: Arquitecturas Paralelas y Programación Declarativa.pp. 267-290. Editorial: Ed. Authors: Javier Oliver (1994).

OOWS-Modeling: Object Oriented Web Solutions Modeling

Book: Ingeniería del Software y Bases de Datos. Tendencias Actuales.pp. 1-20. Editorial: Servicio de Publicaciones de la UCLM Authors: Oscar Pastor López (2000).

Fast phoneme look-ahead in the Atros system

Book: Pattern Recognition and Applications.pp. 203-211. Editorial: IOS Authors: Joan Andreu Sánchez; Francisco Casacuberta; Pablo Aibar; D. Llorens; Maria Jose Castro (2000).

Hybrid connectionist-structural acoustical modeling

Book: Pattern Recognition and Applications.pp. 175-184. Editorial: IOS Authors: Maria Jose Castro; Francisco Casacuberta (2000).

Automatic Object-Oriented visual programming with OO-Method

Book: Software and Hardware Engineering for the 21th Century.pp. 345-354. Editorial: World Authors: Oscar Pastor López (1999).

Metodologías del reconocimiento del habla

Book: RECONOCIMIENTO DE FORMAS Y ANÁLISIS DE IMÁGENES.pp. 1-1. Editorial: AERFAI Authors: P. Aibar; J. M. Benedi; F. Casacuberta; M. J. Castro; A. Marzal (1998).

A Temporal Blackboard Model for Process Control

Book: Selected Papers from the International Symposium on Artificial Intelligence in Real-Time Control.pp. 459-465. Editorial: Pergamon. Authors: V.Botti (1993).

Personalización de Autocad

Book: Introducción al AUTOCAD 12. Dos dimensiones. .pp. 171-196. Editorial: SPUPV Authors: Carlos Monserrat Aranda (1995).

Multiclips: Incorporating Clips-Based Agents into a Real-Time Architecture

Book: Expert Systems: Principles and Programming. Third Edition.pp. 1-1. Editorial: PWS Authors: E.Vivancos; V.J.Botti (1998).