| Capítulo | 2025 | Bayesian Model Selection Pruning in Predictive Maintenance | Lecture Notes in Computer Science |
| Ponencia | 2024 | Accurate LiDAR-Based Semantic Classification for Powerline Inspection | Lecture Notes in Computer Science |
| Ponencia | 2024 | An Experimental Comparison of Qiskit and Pennylane for Hybrid Quantum-Classical Support Vector Machines | Lecture Notes in Computer Science |
| Ponencia | 2024 | An Innovative Approach to Diagrams Representation: The Marlo Diagrams Web Page | Lecture Notes in Computer Science |
| Ponencia | 2024 | Breast Cancer Biomarker Analysis Using Gene Co-expression Networks | Lecture Notes in Computer Science |
| Ponencia | 2024 | Computational Modelling of Complex Multiphase Behavior of Environmentally-Friendly Materials for Sustainable Technological Solutions | Lecture Notes in Computer Science |
| Ponencia | 2024 | Cryptographic Security Through a Hardware Root of Trust | Lecture Notes in Computer Science |
| Ponencia | 2024 | Deep Variational Auto-Encoder for Model-Based Water Quality Patrolling with Intelligent Surface Vehicles | ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2024 | Digital Models of Citizens Participation in Spain at Municipal Level | Lecture Notes in Computer Science |
| Ponencia | 2024 | Ground-Level Ozone Forecasting Using Explainable Machine Learning | Lecture Notes in Computer Science |
| Ponencia | 2024 | Hypergraphs in logic programming | Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings |
| Ponencia | 2024 | Lipschitz Determinacy and Arithmetic Transfinite Recursion | Lecture Notes in Computer Science |
| Capítulo | 2024 | Matrix Representation of Virus Machines | Lecture Notes in Computer Science |
| Capítulo | 2024 | Multi-Objective Lagged Feature Selection Based on Dependence Coefficient for Time-Series Forecasting | ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2024 | Multi-UAV System for Power-Line Failure Detection Within the RESISTO Project | Lecture Notes in Computer Science |
| Editorial | 2024 | Preface | Lecture Notes in Computer Science |
| Editorial | 2024 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2024 | RESISTO Project: Safeguarding the Power Grid from Meteorological Phenomena | Lecture Notes in Computer Science |
| Ponencia | 2024 | SLA-Wizard - Automated Configuration of RESTful API Gateways Based on SLAs | Lecture Notes in Computer Science |
| Ponencia | 2024 | Some Initial Guidelines for Building Reusable Quantum Oracles | Lecture Notes in Computer Science |
| Ponencia | 2024 | Techno-empowerment of Process Automation: Understanding Employee Acceptance of Autonomous AI in Business Processes | Lecture Notes in Computer Science |
| Ponencia | 2024 | The IDL Tool Suite: Inter-parameter Dependency Management in Web APIs | Lecture Notes in Computer Science |
| Capítulo | 2024 | Toward Explaining Competitive Success in League of Legends: A Machine Learning Analysis | ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2024 | Towards a Systematic Comparison Framework for Cloud Services Customer Agreements | Lecture Notes in Computer Science |
| Capítulo | 2024 | Towards Pricing4SaaS: A Framework for Pricing-Driven Feature Toggling in SaaS | Lecture Notes in Computer Science |
| Ponencia | 2024 | What’s Behind the Screen? Unveiling UI Hierarchies in Process-Related UI Logs | Lecture Notes in Computer Science |
| Ponencia | 2023 | A Feature Selection and Association Rule Approach to Identify Genes Associated with Metastasis and Low Survival in Sarcoma | Lecture Notes in Computer Science |
| Ponencia | 2023 | A New Hybrid CNN-LSTM for Wind Power Forecasting in Ethiopia | Lecture Notes in Computer Science |
| Ponencia | 2023 | Apache Kafka as a middleware to support the PLC-service bus architecture with IEC 61499 | Software Architecture. ECSA 2022 Tracks and Workshops: Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers |
| Ponencia | 2023 | Board miner: a tool to analyze the use of board-based collaborative work management tools | Lecture Notes in Computer Science |
| Ponencia | 2023 | Cell-Level Pathway Scoring Comparison with a Biologically Constrained Variational Autoencoder | Lecture Notes in Computer Science |
| Ponencia | 2023 | From Text to Performance Measurement: Automatically Computing Process Performance Using Textual Descriptions and Event Logs | Lecture Notes in Computer Science |
| Ponencia | 2023 | HCI for Digital Democracy and Citizen Participation | Lecture Notes in Computer Science |
| Ponencia | 2023 | IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs | Lecture Notes in Computer Science |
| Ponencia | 2023 | LoVizQL: A Query Language for Visualizing and Analyzing Business Processes from Event Logs | Lecture Notes in Computer Science |
| Editorial | 2023 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2023 | Semi-automated capacity analysis of limitation-aware microservices architectures | Lecture Notes in Computer Science |
| Libro | 2023 | Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I | Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I |
| Libro | 2023 | Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II | Service-oriented computing: 21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II |
| Capítulo | 2023 | SLA4OAI-Analyzer: Automated Validation of RESTful API Pricing Plans | Lecture Notes in Computer Science |
| Ponencia | 2023 | Specification-driven code generation for inter-parameter dependencies in web APIs | Lecture Notes in Computer Science |
| Ponencia | 2022 | A cellular automaton model of a laser with saturable absorber reproducing laser passive Q-switching | Lecture Notes in Computer Science |
| Ponencia | 2022 | Analyzing how process mining reports answer time performance questions | Lecture Notes in Computer Science |
| Ponencia | 2022 | Analyzing Variable Human Actions for Robotic Process Automation | Lecture Notes in Computer Science |
| Capítulo | 2022 | Basic arithmetic calculations through virus-based machines | Bio-inspired systems and applications: from robotics to ambient intelligence: 9th International work-conference on the interplay between natural and artificial computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, proceedings, part II |
| Ponencia | 2022 | BPM in digital transformation: new tools and productivity challenges | Lecture Notes in Computer Science |
| Ponencia | 2022 | Concept drift detection to improve time series forecasting of wind energy generation | Lecture Notes in Computer Science |
| Ponencia | 2022 | Dynamic checks of evidence models for assurance projects in eclipse OpenCert | Lecture Notes in Computer Science |
| Capítulo | 2022 | Feature Ranking for Feature Sorting and Feature Selection: FR4(FS)2 | Bio-inspired systems and applications: from robotics to ambient intelligence: 9th International work-conference on the interplay between natural and artificial computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, proceedings, part II |
| Ponencia | 2022 | LIDAR signature based node detection and classification in graph topological maps for indoor navigation | Lecture Notes in Computer Science |
| Ponencia | 2022 | Living with Haru4Kids: child and parent perceptions of a co-habitation robot for children | Lecture Notes in Computer Science |
| Ponencia | 2022 | Multi-modal data fusion for people perception in the social robot haru | Lecture Notes in Computer Science |
| Ponencia | 2022 | On the topological disparity characterization of square-pixel binary image data by a labeled bipartite graph | Lecture Notes in Computer Science |
| Ponencia | 2022 | P systems with evolutional communication and separation rules | Lecture Notes in Computer Science |
| Ponencia | 2022 | Post-quantum secure communication with IoT devices using Kyber and SRAM behavioral and physical unclonable functions (extended abstract) | Lecture Notes in Computer Science |
| Editorial | 2022 | Preface | Lecture Notes in Computer Science |
| Editorial | 2022 | Preface | Lecture Notes in Computer Science |
| Libro | 2022 | Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings | Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings |
| Ponencia | 2022 | The evolution of vermicular structures and sintering behavior of alumina | Lecture Notes in Computer Science |
| Ponencia | 2022 | Topological analysis of simple segmentation maps | Lecture Notes in Computer Science |
| Ponencia | 2022 | Updating prediction models for predictive process monitoring | Lecture Notes in Computer Science |
| Ponencia | 2021 | A Model-Based Deep Transfer Learning Algorithm for Phenology Forecasting Using Satellite Imagery | Lecture Notes in Computer Science |
| Ponencia | 2021 | A topologically consistent color digital image representation by a single tree | Lecture Notes in Computer Science |
| Ponencia | 2021 | Attestation Waves: Platform Trust via Remote Power Analysis | Lecture Notes in Computer Science |
| Ponencia | 2021 | Autonomous driving of a rover-like robot using neuromorphic computing | Lecture Notes in Computer Science |
| Ponencia | 2021 | Building hierarchical tree representations using homological-based tools | Lecture Notes in Computer Science |
| Ponencia | 2021 | Composite generalized elliptic curve-based surface reconstruction | Lecture Notes in Computer Science |
| Ponencia | 2021 | Design patterns for board-based collaborative work management tools | Lecture Notes in Computer Science |
| Ponencia | 2021 | Diagrams as Part of Physical Theories: A Representational Conception | Lecture Notes in Computer Science |
| Ponencia | 2021 | Electricity Consumption Time Series Forecasting Using Temporal Convolutional Networks | Lecture Notes in Computer Science |
| Ponencia | 2021 | Evaluation of the transformer architecture for univariate time series forecasting | Lecture Notes in Computer Science |
| Ponencia | 2021 | Failure and communication in a synchronized multi-drone system | Lecture Notes in Computer Science |
| Ponencia | 2021 | Image = structure + few colors | Lecture Notes in Computer Science |
| Ponencia | 2021 | Nearest neighbors-based forecasting for electricity demand time series in streaming | Advances in Artificial Intelligence: 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22–24, 2021, Proceedings |
| Ponencia | 2021 | On topological analysis of cells organization in biological images | Lecture Notes in Computer Science |
| Editorial | 2021 | Preface | Advances in Artificial Intelligence: 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2020/2021, Málaga, Spain, September 22–24, 2021, Proceedings |
| Capítulo | 2021 | Product optimization in stepwise design | Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday |
| Ponencia | 2021 | The experience “Mondrian from inside”. An immersive and interactive virtual reality experience in art | Lecture Notes in Computer Science |
| Ponencia | 2021 | Toward XAI & human synergies to explain the history of art: the Smart Photobooth project | Lecture Notes in Computer Science |
| Ponencia | 2020 | A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in nD | Lecture Notes in Computer Science |
| Ponencia | 2020 | A parallelized variant of Junker’s QuickXPlain algorithm | Lecture Notes in Computer Science |
| Ponencia | 2020 | A proposal to evolving towards digital twins in healthcare | Lecture Notes in Computer Science |
| Ponencia | 2020 | Definition and verification of security configurations of cyber-physical systems | Lecture Notes in Computer Science |
| Ponencia | 2020 | Euler Well-Composedness | Lecture Notes in Computer Science |
| Ponencia | 2020 | IoMT-Driven eHealth: a technological innovation proposal based on smart speakers | Bioinformatics and biomedical engineering |
| Ponencia | 2020 | PBIL for optimizing hyperparameters of convolutional neural networks and STL decomposition | Lecture Notes in Computer Science |
| Ponencia | 2020 | RESTest: black-box constraint-based testing of RESTful web APIs | Lecture Notes in Computer Science |
| Ponencia | 2020 | Secure management of IoT devices based on blockchain non-fungible tokens and physical unclonable functions | Lecture Notes in Computer Science |
| Ponencia | 2019 | A Catalogue of Inter-parameter Dependencies in RESTful Web APIs | Lecture Notes in Computer Science |
| Ponencia | 2019 | A comparison among the denavit - hartenberg, the screw theory, and the iterative methods to solve inverse kinematics for assistant robot arm | Lecture Notes in Computer Science |
| Ponencia | 2019 | A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle | ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019) |
| Ponencia | 2019 | Addressing Security Properties in Systems of Systems: Challenges and Ideas | Lecture Notes in Computer Science |
| Ponencia | 2019 | An approach for the automated generation of engaging dashboards | Lecture Notes in Computer Science |
| Ponencia | 2019 | An automated fall detection system using recurrent neural networks | ARTIFICIAL INTELLIGENCE IN MEDICINE, AIME 2019 |
| Ponencia | 2019 | Automating SLA-Driven API Development with SLA4OAI | Lecture Notes in Computer Science |
| Ponencia | 2019 | AYNEC: All you need for evaluating completion techniques in knowledge graphs | SEMANTIC WEB, ESWC 2019 |
| Ponencia | 2019 | Characterising epithelial tissues using persistent entropy | Lecture Notes in Computer Science |
| Ponencia | 2019 | Computing and reducing slope complexes | Lecture Notes in Computer Science |
| Ponencia | 2019 | Computing the component-labeling and the adjacency tree of a binary digital image in near logarithmic-time | Lecture Notes in Computer Science |
| Ponencia | 2019 | Congratulations! Dual Graphs Are Now Orientated! | GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, GBRPR 2019 |
| Capítulo | 2019 | Convolutional neural networks for olive oil classification | FROM BIOINSPIRED SYSTEMS AND BIOMEDICAL APPLICATIONS TO MACHINE LEARNING, PT II |
| Ponencia | 2019 | Convolutional neural networks for olive oil classification | FROM BIOINSPIRED SYSTEMS AND BIOMEDICAL APPLICATIONS TO MACHINE LEARNING, PT II |
| Capítulo | 2019 | CyberParks Songs and Stories - Enriching Public Spaces with Localized Culture Heritage Material such as Digitized Songs and Stories | CYBERPARKS - THE INTERFACE BETWEEN PEOPLE, PLACES AND TECHNOLOGY: NEW APPROACHES AND PERSPECTIVES |
| Ponencia | 2019 | Design of Specific P Systems Simulators on GPUs | Lecture Notes in Computer Science |
| Ponencia | 2019 | Does your accurate process predictive monitoring model give reliable predictions? | Lecture Notes in Computer Science |
| Ponencia | 2019 | ELECTRA: Induced usage limitations calculation in RESTful APIs | Lecture Notes in Computer Science |
| Ponencia | 2019 | Enhanced parallel generation of tree structures for the recognition of 3D images | PATTERN RECOGNITION, MCPR 2019 |
| Ponencia | 2019 | Generating second order (co)homological information within at-model context | Lecture Notes in Computer Science |
| Ponencia | 2019 | History-aware dynamic process fragmentation for risk-aware resource allocation | Lecture Notes in Computer Science |
| Ponencia | 2019 | Homological region adjacency tree for a 3D binary digital image via HSF model | COMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2019, PT I |
| Capítulo | 2019 | Labeled network allocation problems. An application to transport systems | Transactions on Computational Collective Intelligence XXXIV |
| Capítulo | 2019 | Looking for emotions on a single EEG signal | Physiological Computing Systems: international conferences, PhyCS 2016, Lisbon, Portugal, July 27–28, 2016, PhyCS 2017, Madrid, Spain, July 27–28, 2017, PhyCS 2018, Seville, Spain, September 19–21, 2018, revised and extended selected papers |
| Ponencia | 2019 | Maths, Computation and Flamenco: Overview and Challenges | MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2019 |
| Ponencia | 2019 | Minimal-Time Trajectories for Interception of Malicious Drones in Constrained Environments | COMPUTER VISION SYSTEMS (ICVS 2019) |
| Ponencia | 2019 | On the space between critical points | Lecture Notes in Computer Science |
| Ponencia | 2019 | One more step towards well-composedness of cell complexes over nD pictures | Lecture Notes in Computer Science |
| Ponencia | 2019 | Persistent homology computation using combinatorial map simplification | Lecture Notes in Computer Science |
| Editorial | 2019 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2019 | Random hyper-parameter search-based deep neural network for power consumption forecasting | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2019, PT I |
| Ponencia | 2019 | Refined Deep Learning for Digital Objects Recognition via Betti Invariants | COMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2019, PT I |
| Ponencia | 2019 | Second International Workshop on Maturity of Web Engineering Practices (MATWEP 2019) | Current Trends in Web Engineering: ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019, Proceedings |
| Ponencia | 2019 | Seismograph design for landslide monitoring in the andean region using automatic control techniques and mathematical modeling | Lecture Notes in Computer Science |
| Ponencia | 2019 | Topological homogeneity for electron microscopy images | Lecture Notes in Computer Science |
| Ponencia | 2019 | Topology-preserving augmentation for cnn-based segmentation of congenital heart defects from 3d paediatric cmr | Lecture Notes in Computer Science |
| Capítulo | 2019 | Towards efficient and scalable data-intensive content delivery: State-of-the-art, issues and challenges | High-performance modelling and simulation for big data applications: selected results of the COST action IC1406 cHiPSet |
| Ponencia | 2019 | Towards emotion recognition: A persistent entropy application | Lecture Notes in Computer Science |
| Artículo | 2019 | Variability Modelling and Analysis During 30 Years | Lecture Notes in Computer Science |
| Ponencia | 2019 | Vision and crowdsensing technology for an optimal response in physical-security | Lecture Notes in Computer Science |
| Ponencia | 2018 | 1st International Workshop on Maturity of Web Engineering Practices (MATWEP 2018) | Current Trends in Web Engineering: ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers |
| Ponencia | 2018 | A hybrid approach to mining conditions | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018) |
| Ponencia | 2018 | A hybrid genetic-bootstrapping approach to link resources in the web of data | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018) |
| Capítulo | 2018 | A kernel-based membrane clustering algorithm | Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
| Capítulo | 2018 | A simulation workflow for membrane computing: from MeCoSim to PMCGPU through P-Lingua | Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
| Ponencia | 2018 | Applying model-driven web engineering to the testing phase of the ADAGIO project | Lecture Notes in Computer Science |
| Ponencia | 2018 | Artificial decision maker driven by PSO: an approach for testing reference point based interactive methods | PARALLEL PROBLEM SOLVING FROM NATURE - PPSN XV, PT I |
| Ponencia | 2018 | Automatic Breast Cancer Grading of Histological Images Based on Colour and Texture Descriptors | Lecture Notes in Computer Science |
| Ponencia | 2018 | Clinical processes - The killer application for constraint-based process interactions? | ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018 |
| Ponencia | 2018 | Counting membrane systems | Lecture Notes in Computer Science |
| Capítulo | 2018 | Design patterns for efficient solutions to NP-complete problems in membrane computing | Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
| Libro | 2018 | Enjoying Natural Computing: Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday | Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
| Ponencia | 2018 | Expressing measurement uncertainty in OCL/UML datatypes | MODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018) |
| Ponencia | 2018 | Extending the Speed-Constrained Multi-objective PSO (SMPSO) with Reference Point Based Preference Articulation | PARALLEL PROBLEM SOLVING FROM NATURE - PPSN XV, PT I |
| Editorial | 2018 | Foreword | Lecture Notes in Computer Science |
| Ponencia | 2018 | GreeAODV: An Energy Efficient Routing Protocol for Vehicular Ad Hoc Networks | INTELLIGENT COMPUTING METHODOLOGIES, ICIC 2018, PT III |
| Libro | 2018 | Intelligent Data Engineering and Automated Learning – IDEAL 2018 | Lecture Notes in Computer Science |
| Ponencia | 2018 | Managing uncertain complex events in web of things applications | Lecture Notes in Computer Science |
| Ponencia | 2018 | Maximum Box Problem on Stochastic Points | LATIN 2018: THEORETICAL INFORMATICS |
| Capítulo | 2018 | Membrane computing as a modelling tool: looking back and forward from Sevilla | Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
| Ponencia | 2018 | On evolution-communication P systems with energy having bounded and unbounded communication | Lecture Notes in Computer Science |
| Ponencia | 2018 | On the relationships between decision management and performance measurement | ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018 |
| Ponencia | 2018 | Optimum Network/Framework Selection from High-Level Specifications in Embedded Deep Learning Vision Applications | ADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, ACIVS 2018 |
| Capítulo | 2018 | Other buds in membrane computing | Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
| Capítulo | 2018 | Other Buds in Membrane Computing | Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday |
| Ponencia | 2018 | Reconstruction by low cost software based on photogrammetry as a reverse engineering process | VIRTUAL, AUGMENTED AND MIXED REALITY: INTERACTION, NAVIGATION, VISUALIZATION, EMBODIMENT, AND SIMULATION, VAMR 2018, PT I |
| Ponencia | 2018 | Scanning the invisible: framing diagrammatic cognition in experimental particle physics | Lecture Notes in Computer Science |
| Ponencia | 2018 | Sensor-Mesh-Based System with Application on Sleep Study | Lecture Notes in Computer Science |
| Ponencia | 2018 | SLA-Driven Governance for RESTful Systems | SERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS |
| Capítulo | 2018 | Small spiking neural P systems with structural plasticity | Lecture Notes in Computer Science |
| Ponencia | 2018 | SmartFD: A Real Big Data Application for Electrical Fraud Detection | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018) |
| Ponencia | 2018 | Spiking hough for shape recognition | Lecture Notes in Computer Science |
| Capítulo | 2018 | Splitting schemes for mixtures of nematic-isotropic flows with anchoring effects | LARGE-SCALE SCIENTIFIC COMPUTING, LSSC 2017 |
| Ponencia | 2017 | A Fuzzy Colour Model Sensitive to the Context: Study Cases Using PRAGR and Logics | MODELING DECISIONS FOR ARTIFICIAL INTELLIGENCE (MDAI 2017) |
| Ponencia | 2017 | A microcontroller based system for controlling patient respiratory guidelines | Lecture Notes in Computer Science |
| Ponencia | 2017 | A multi-objective optimization framework for multiple sequence alignment with metaheuristics | BIOINFORMATICS AND BIOMEDICAL ENGINEERING, IWBBIO 2017, PT II |
| Ponencia | 2017 | A Sensor Grid for Pressure and Movement Detection Supporting Sleep Phase Analysis | BIOINFORMATICS AND BIOMEDICAL ENGINEERING, IWBBIO 2017, PT II |
| Ponencia | 2017 | A SpiNNaker Application: Design, Implementation and Validation of SCPGs | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I |
| Ponencia | 2017 | Accuracy Improvement of Neural Networks Through Self-Organizing-Maps over Training Datasets | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I |
| Ponencia | 2017 | An analysis of RESTful APIs offerings in the industry | Lecture Notes in Computer Science |
| Ponencia | 2017 | An automatic and intelligent system for integrated healthcare processes management | Lecture Notes in Computer Science |
| Ponencia | 2017 | Automated analysis of cloud offerings for optimal service provisioning | Lecture Notes in Computer Science |
| Ponencia | 2017 | Automatic Detection of Globules, Streaks and Pigment Network Based on Texture and Color Analysis in Dermoscopic Images | IMAGE ANALYSIS AND RECOGNITION, ICIAR 2017 |
| Artículo | 2017 | Automatic tool for optic disc and cup detection on retinal fundus images | Lecture Notes in Computer Science |
| Ponencia | 2017 | Comprehensive Evaluation of OpenCL-Based CNN Implementations for FPGAs | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II |
| Ponencia | 2017 | Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs | ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017) |
| Ponencia | 2017 | Existing Approaches to Smart Parking: An Overview | SMART CITIES |
| Ponencia | 2017 | Labeling color 2D digital images in theoretical near logarithmic time | COMPUTER ANALYSIS OF IMAGES AND PATTERNS |
| Ponencia | 2017 | Low dimensionality or same subsets as a result of feature selection: An in-depth roadmap | Lecture Notes in Computer Science |
| Ponencia | 2017 | Multi-objective big data optimization with jMetal and spark | Lecture Notes in Computer Science |
| Ponencia | 2017 | Neuromorphic Approach Sensitivity Cell Modeling and FPGA Implementation | ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2017, PT I |
| Ponencia | 2017 | Neuronal texture analysis in murine model of down’s syndrome | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II |
| Editorial | 2017 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2017 | Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division | UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2017 |
| Ponencia | 2017 | Space-Variant Gabor Decomposition for Filtering 3D Medical Images | COMPUTER ANALYSIS OF IMAGES AND PATTERNS |
| Ponencia | 2017 | Topological Data Analysis for Self-organization of Biological Tissues | COMBINATORIAL IMAGE ANALYSIS, IWCIA 2017 |
| Ponencia | 2017 | Toward parallel computation of dense homotopy skeletons for nD digital objects | COMBINATORIAL IMAGE ANALYSIS, IWCIA 2017 |
| Ponencia | 2017 | Understanding matching data through their partial components | Lecture Notes in Computer Science |
| Ponencia | 2017 | Using abstract stobjs in ACL2 to compute matrix normal forms | Lecture Notes in Computer Science |
| Ponencia | 2016 | A framework for modelling local human-robot interactions based on unsupervised learning | Lecture Notes in Computer Science |
| Ponencia | 2016 | A Nearest Neighbours-Based Algorithm for Big Time Series Data Forecasting | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
| Ponencia | 2016 | A new multi-objective approach for molecular docking based on rmsd and binding energy | Lecture Notes in Computer Science |
| Ponencia | 2016 | A parallel implementation for computing the region-adjacency-tree of a segmentation of a 2D digital image | IMAGE AND VIDEO TECHNOLOGY - PSIVT 2015 WORKSHOPS |
| Ponencia | 2016 | A Preliminary Study of the Suitability of Deep Learning to Improve LiDAR-Derived Biomass Estimation | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
| Ponencia | 2016 | A Sensor Fusion Horse Gait Classification by a Spiking Neural Network on SpiNNaker | ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT I |
| Ponencia | 2016 | A study of archiving strategies in multi-objective PSO for molecular docking | SWARM INTELLIGENCE |
| Ponencia | 2016 | Accuracy Increase on Evolving Product Unit Neural Networks via Feature Subset Selection | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
| Libro | 2016 | Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection: 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings | Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection: 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings |
| Ponencia | 2016 | An Approach to Silhouette and Dunn Clustering Indices Applied to Big Data in Spark | ADVANCES IN ARTIFICIAL INTELLIGENCE, CAEPIA 2016 |
| Ponencia | 2016 | Automated Detection of Diabetic Macular Edema Risk in Fundus Images | BIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2016) |
| Ponencia | 2016 | Automatic Enforcement of Security Properties | TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS |
| Ponencia | 2016 | Biclustering of Gene Expression Data Based on SimUI Semantic Similarity Measure | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
| Ponencia | 2016 | Designing a Topological Algorithm for 3D Activity Recognition | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016 |
| Ponencia | 2016 | Discovery of Genes Implied in Cancer by Genetic Algorithms and Association Rules | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
| Ponencia | 2016 | Dynamic multi-objective optimization with jMetal and Spark: A case study | Lecture Notes in Computer Science |
| Ponencia | 2016 | Efficient and Customisable Declarative Process Mining with SQL | ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016) |
| Ponencia | 2016 | Encoding specific 3D polyhedral complexes using 3D binary images | Lecture Notes in Computer Science |
| Ponencia | 2016 | Fast, Simple and Separable Computation of Betti Numbers on Three-Dimensional Cubical Complexes | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016 |
| Ponencia | 2016 | Future and emergent trends in language technology: First international workshop, FETLT 2015 Seville, Spain, november 19–20, 2015 revised selected papers | Lecture Notes in Computer Science |
| Ponencia | 2016 | Inter-observer Reliability and Agreement Study on Early Diagnosis of Diabetic Retinopathy and Diabetic Macular Edema Risk | BIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2016) |
| Ponencia | 2016 | Introduction to the 2nd workshop on resource management in service-oriented computing (RMSOC) 2015 | Lecture Notes in Computer Science |
| Ponencia | 2016 | Learning robot navigation behaviors by demonstration using a RRT* planner | Lecture Notes in Computer Science |
| Ponencia | 2016 | Multilayer Spiking Neural Network for Audio Samples Classification Using SpiNNaker | ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT I |
| Ponencia | 2016 | Narrowing the business-IT gap in process performance measurement | ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016) |
| Ponencia | 2016 | On Homotopy Continuation for Speech Restoration | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016 |
| Ponencia | 2016 | Parallel Homology Computation of Meshes | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016 |
| Editorial | 2016 | Preface | Lecture Notes in Computer Science |
| Editorial | 2016 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2016 | Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs | SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS |
| Ponencia | 2016 | Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages | SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS |
| Ponencia | 2016 | Search-Based Model Transformations with MOMoT | THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2016 |
| Ponencia | 2016 | Separating Topological Noise from Features Using Persistent Entropy | SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS (STAF 2016) |
| Ponencia | 2016 | Simulating reputation with regulatory policies: The case of San Jerónimo vegetable garden, Seville, Spain | Lecture Notes in Computer Science |
| Ponencia | 2016 | Sound recognition system using spiking and MLP neural networks | ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT II |
| Capítulo | 2016 | The Core for Games with Cooperation Structure | TRANSACTIONS ON COMPUTATIONAL COLLECTIVE INTELLIGENCE XXIII |
| Ponencia | 2016 | The role of small robots in designed play workshops in centers of adults with cerebral palsy | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, ICCHP 2016, PT I |
| Ponencia | 2016 | Topological Comparisons of Fluvial Reservoir Rock Volumes Using Betti Numbers: Application to CO2 Storage Uncertainty Analysis | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT, CTIC 2016 |
| Ponencia | 2016 | TRIQ: A comprehensive evaluation measure for triclustering algorithms | Lecture Notes in Computer Science |
| Ponencia | 2016 | Two measures for the homology groups of binary volumes | Lecture Notes in Computer Science |
| Ponencia | 2016 | Using Models at Runtime to Adapt Self-managed Agents for the IoT | MULTIAGENT SYSTEM TECHNOLOGIES, MATES 2016 |
| Ponencia | 2015 | A Fingerprint Retrieval Technique Using Fuzzy Logic-Based Rules | ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I |
| Ponencia | 2015 | A New Strategy to Improve the Performance of PDP-Systems Simulators | MEMBRANE COMPUTING (CMC 2015) |
| Ponencia | 2015 | A Particle-Filter Approach for Active Perception in Networked Robot Systems | SOCIAL ROBOTICS (ICSR 2015) |
| Ponencia | 2015 | Advertising liking recognition technique applied to neuromarketing by using low-cost EEG headset | BIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT II |
| Ponencia | 2015 | An Efficient Nearest Neighbor Method for Protein Contact Prediction | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2015) |
| Ponencia | 2015 | Asynchronous spiking neural p systems with structural plasticity | Lecture Notes in Computer Science |
| Ponencia | 2015 | Cellular Skeletons: A New Approach to Topological Skeletons with Geometric Features | COMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2015, PT II |
| Ponencia | 2015 | Computing Partial Recursive Functions by Virus Machines | MEMBRANE COMPUTING (CMC 2015) |
| Ponencia | 2015 | Data Cleansing Meets Feature Selection: A Supervised Machine Learning Approach | BIOINSPIRED COMPUTATION IN ARTIFICIAL SYSTEMS, PT II |
| Ponencia | 2015 | Developing mathematical thinking with scratch an experiment with 6th grade students | Lecture Notes in Computer Science |
| Ponencia | 2015 | Dynamic Deployment and Monitoring of Security Policies | TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS |
| Ponencia | 2015 | Finding unknown nodes in phylogenetic graphs | BIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT I |
| Ponencia | 2015 | Heart rate variability indicating stress visualized by correlations plots | BIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT II |
| Ponencia | 2015 | Improving Earthquake Prediction with Principal Component Analysis: Application to Chile | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2015) |
| Ponencia | 2015 | Improving Spanish Polarity Classification Combining Different Linguistic Resources | NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS, NLDB 2015 |
| Ponencia | 2015 | LBP and Irregular Graph Pyramids | COMPUTER ANALYSIS OF IMAGES AND PATTERNS, CAIP 2015, PT II |
| Ponencia | 2015 | Mining Project-Oriented Business Processes | BUSINESS PROCESS MANAGEMENT, BPM 2015 |
| Ponencia | 2015 | Modelling Service Level Agreements for Business Process Outsourcing Services | ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
| Ponencia | 2015 | Multi-stage biomarker models for progression estimation in Alzheimer’s disease | Lecture Notes in Computer Science |
| Ponencia | 2015 | On Member Labelling in Social Networks | ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT II |
| Ponencia | 2015 | Patient lifecycle management: An approach for clinical processes | BIOINFORMATICS AND BIOMEDICAL ENGINEERING (IWBBIO 2015), PT II |
| Ponencia | 2015 | Public and secret forgetting of propositional formulas | ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015) |
| Ponencia | 2015 | RALph: A Graphical Notation for Resource Assignments in Business Processes | ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
| Ponencia | 2015 | Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms | MEMBRANE COMPUTING (CMC 2015) |
| Ponencia | 2015 | Spatiotemporal barcodes for image sequence analysis | Lecture Notes in Computer Science |
| Ponencia | 2015 | Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem | MEMBRANE COMPUTING (CMC 2015) |
| Ponencia | 2015 | Stabbing segments with rectilinear objects | Lecture Notes in Computer Science |
| Ponencia | 2014 | A Bioinspired Computing Approach to Model Complex Systems | MEMBRANE COMPUTING (CMC 2014) |
| Ponencia | 2014 | An Efficient DTW-Based Approach for Melodic Similarity in Flamenco Singing | SIMILARITY SEARCH AND APPLICATIONS |
| Ponencia | 2014 | An Improved Segmentation Method for Non-melanoma Skin Lesions Using Active Contour Model | IMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT II |
| Ponencia | 2014 | Artificial intelligence and symbolic computation: 12th international conference, AISC 2014 Seville, Spain, December 11-13, 2014 proceedings | Lecture Notes in Computer Science |
| Ponencia | 2014 | Closing the gap between the specification and enforcement of security policies | Lecture Notes in Computer Science |
| Ponencia | 2014 | Computing the topology of an arrangement of implicit and parametric curves given by values | COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2014 |
| Ponencia | 2014 | Efficient Program Transformers for Translating LCC to PDL | LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014 |
| Artículo | 2014 | Efficient program transformers for translating LCC to PDL | Lecture Notes in Computer Science |
| Artículo | 2014 | Emergent concepts on knowledge intensive processes | Lecture Notes in Computer Science |
| Ponencia | 2014 | Entrepreneurship support based on mixed bio-artificial neural network simulator (ESBBANN) | Lecture Notes in Computer Science |
| Ponencia | 2014 | Extending Qualitative Spatial Theories with Emergent Spatial Concepts An Automated Reasoning Approach | HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014 |
| Ponencia | 2014 | Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems | MEMBRANE COMPUTING (CMC 2014) |
| Ponencia | 2014 | Gait-based carried object detection using persistent homology | PROGRESS IN PATTERN RECOGNITION IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2014 |
| Ponencia | 2014 | Improving the k-nearest neighbour rule by an evolutionary voting approach | HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, HAIS 2014 |
| Ponencia | 2014 | Live demonstration: Real-time motor rotation frequency detection by spike-based visual and auditory sensory fusion on AER and FPGA | Lecture Notes in Computer Science |
| Ponencia | 2014 | Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio | MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2014 |
| Ponencia | 2014 | On using semantically-aware rules for efficient online communication | Lecture Notes in Computer Science |
| Ponencia | 2014 | Predictive Task Monitoring for Business Processes | BUSINESS PROCESS MANAGEMENT, BPM 2014 |
| Ponencia | 2014 | Predictive task monitoring for business processes | Lecture Notes in Computer Science |
| Editorial | 2014 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2014 | Probabilistic guarded P systems, a new formal modelling framework | MEMBRANE COMPUTING (CMC 2014) |
| Ponencia | 2014 | Prognosing the compliance of declarative business processes using event trace robustness | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES |
| Capítulo | 2014 | Proving and computing: applying automated reasoning to the verification of symbolic computation systems (invited talk) | Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings |
| Ponencia | 2014 | Proving and computing: Applying automated reasoning to the verification of symbolic computation systems (invited talk) | Lecture Notes in Computer Science |
| Ponencia | 2014 | Reflectance-Based Segmentation Using Photometric and Illumination Invariants | IMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT I |
| Ponencia | 2014 | Runtime Enforcement of Dynamic Security Policies | SOFTWARE ARCHITECTURE, ECSA 2014 |
| Ponencia | 2014 | Simulating Turing Machines with Polarizationless P Systems with Active Membranes | MEMBRANE COMPUTING (CMC 2014) |
| Ponencia | 2014 | Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques | MEMBRANE COMPUTING (CMC 2014) |
| Ponencia | 2014 | Statistical-Based Segmentation of Bone Structures via Continuous Max-Flow Optimization | IMAGE ANALYSIS AND RECOGNITION, ICIAR 2014, PT II |
| Ponencia | 2014 | Tackling ant colony optimization meta-heuristic as search method in feature subset selection based on correlation or consistency measures | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2014 |
| Ponencia | 2014 | The possibilities of kinect as an access device for people with cerebral palsy: A preliminary study | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, ICCHP 2014, PT II |
| Ponencia | 2014 | The relevance of the environment on the efficiency of tissue p systems | Lecture Notes in Computer Science |
| Ponencia | 2014 | Topo-Geometric Filtration Scheme for Geometric Active Contours and Level Sets: Application to Cerebrovascular Segmentation | Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014, Pt I |
| Ponencia | 2014 | Topological Features for Monitoring Human Activities at Distance | ACTIVITY MONITORING BY MULTIPLE DISTRIBUTED SENSING |
| Ponencia | 2014 | Towards a Formal Specification of SLAs with Compensations | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES |
| Ponencia | 2014 | Towards a formal specification of SLAs with compensations* | Lecture Notes in Computer Science |
| Ponencia | 2014 | Towards Real-World Neurorobotics: Integrated Neuromorphic Visual Attention | NEURAL INFORMATION PROCESSING, ICONIP 2014, PT III |
| Ponencia | 2014 | Vulnerability assessment of spatial networks: Models and solutions | Lecture Notes in Computer Science |
| Ponencia | 2013 | A FPGA spike-based robot controlled with neuro-inspired VITE | ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT I |
| Ponencia | 2013 | A sensitivity analysis for quality measures of quantitative association rules | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
| Ponencia | 2013 | Automated analysis in feature modelling and product configuration | Lecture Notes in Computer Science |
| Ponencia | 2013 | Evolving the automated analysis of feature models | Lecture Notes in Computer Science |
| Ponencia | 2013 | Extending WS-agreement to support automated conformity check on transport and logistics service agreements | SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Ponencia | 2013 | Gait-based gender classification using persistent homology | Lecture Notes in Computer Science |
| Ponencia | 2013 | Generalized simple surface points | Lecture Notes in Computer Science |
| Ponencia | 2013 | Generating multi-objective optimized business process enactment plans | Lecture Notes in Computer Science |
| Ponencia | 2013 | iAgree studio: A platform to edit and validate WS-agreement documents | SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Ponencia | 2013 | Improving the efficiency of MECoMaP: A protein residue-residue contact predictor | Lecture Notes in Computer Science |
| Ponencia | 2013 | Low power implementation of Trivium stream cipher | INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION |
| Ponencia | 2013 | Network Time Synchronization: A Full Hardware Approach | INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION |
| Ponencia | 2013 | New results on stabbing segments with a polygon | Lecture Notes in Computer Science |
| Ponencia | 2013 | On the AER stereo-vision processing: A spike approach to epipolar matching | Lecture Notes in Computer Science |
| Ponencia | 2013 | On the reusable specification of non-functional properties in DSLs | Lecture Notes in Computer Science |
| Ponencia | 2013 | Personalized surgical planning to support interventions and training of surgeons: Biomodels for planning and guidance | Lecture Notes in Computer Science |
| Ponencia | 2013 | PPINOT tool suite: A performance management solution for process-oriented organisations | SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Editorial | 2013 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2013 | Priority-based human resource allocation in business processes | SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
| Ponencia | 2013 | Qualitative Reasoning on Complex Systems from Observations | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS |
| Ponencia | 2013 | Relating transition p systems and spiking neural p systems (Extended Abstract) | Lecture Notes in Computer Science |
| Ponencia | 2013 | Spikes monitors for FPGAs, an experimental comparative study | ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT I |
| Ponencia | 2013 | SVITE: A spike-based VITE neuro-inspired robot controller | Lecture Notes in Computer Science |
| Ponencia | 2013 | Towards minimal barcodes | Lecture Notes in Computer Science |
| Ponencia | 2013 | Two-phase MOBILE interconnection schemes for ultra-grain pipeline applications | INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION |
| Ponencia | 2012 | A framework for populating ontological models from semi-structured web documents | Lecture Notes in Computer Science |
| Ponencia | 2012 | A non-parametric approach for accurate contextual classification of LIDAR and imagery data fusion | HYBRID ARTIFICIAL INTELLIGENT SYSTEMS, PT II |
| Ponencia | 2012 | A NSGA-II algorithm for the residue-residue contact prediction | Lecture Notes in Computer Science |
| Ponencia | 2012 | A P-lingua based simulator for spiking neural P systems | Lecture Notes in Computer Science |
| Ponencia | 2012 | A real-time, event-driven neuromorphic system for goal-directed attentional selection | NEURAL INFORMATION PROCESSING, ICONIP 2012, PT II |
| Ponencia | 2012 | A spiking neural P system simulator based on CUDA | Lecture Notes in Computer Science |
| Ponencia | 2012 | An Efficient Algorithm to Compute Subsets of Points in Z(n) | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC) |
| Ponencia | 2012 | An unsupervised technique to extract information from semi-structured web pages | Lecture Notes in Computer Science |
| Ponencia | 2012 | Assessment of biosignals for managing a virtual keyboard | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PT II |
| Ponencia | 2012 | Augmented reality for archaeological finds | Lecture Notes in Computer Science |
| Ponencia | 2012 | Automated resource assignment in BPMN models using RACI matrices | Lecture Notes in Computer Science |
| Ponencia | 2012 | Automatic Cup-to-Disc Ratio Estimation Using Active Contours and Color Clustering in Fundus Images for Glaucoma Diagnosis | IMAGE ANALYSIS AND RECOGNITION, PT II |
| Ponencia | 2012 | Automatic Detection of Optic Disc from Retinal Fundus Images Using Dynamic Programming | IMAGE ANALYSIS AND RECOGNITION, PT II |
| Ponencia | 2012 | Automatic test case generation from functional requirements in NDT | Lecture Notes in Computer Science |
| Ponencia | 2012 | Bichromatic 2-Center of Pairs of Points | LATIN 2012: THEORETICAL INFORMATICS |
| Ponencia | 2012 | Compact grid representation of graphs | Lecture Notes in Computer Science |
| Ponencia | 2012 | DCBA: Simulating population dynamics P systems with proportional object distribution | Lecture Notes in Computer Science |
| Ponencia | 2012 | Defining process performance indicators by using templates and patterns | BUSINESS PROCESS MANAGEMENT, BPM 2012 |
| Ponencia | 2012 | Detecting conflicts and inconsistencies in web application requirements | Lecture Notes in Computer Science |
| Ponencia | 2012 | DP automata versus right-linear simple matrix grammars | Lecture Notes in Computer Science |
| Ponencia | 2012 | Formal verification of p systems with active membranes through model checking | Lecture Notes in Computer Science |
| Ponencia | 2012 | Heterotic computing examples with optics, bacteria, and chemicals | Lecture Notes in Computer Science |
| Ponencia | 2012 | Human gait identification using persistent homology | Lecture Notes in Computer Science |
| Ponencia | 2012 | Identifying and modelling complex workflow requirements in web applications | Lecture Notes in Computer Science |
| Ponencia | 2012 | Local induction and provably total computable functions: A case study | Lecture Notes in Computer Science |
| Ponencia | 2012 | Locating a service facility and a rapid transit line | Lecture Notes in Computer Science |
| Ponencia | 2012 | Matching business process workflows across abstraction levels | Lecture Notes in Computer Science |
| Ponencia | 2012 | NDT-Suite: A model-based suite for the application of NDT | Lecture Notes in Computer Science |
| Ponencia | 2012 | On structures and behaviors of spiking neural P systems and Petri nets | Lecture Notes in Computer Science |
| Ponencia | 2012 | On the complexity of shared conceptualizations | ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I |
| Ponencia | 2012 | On the number of radial orderings of colored planar point sets | Lecture Notes in Computer Science |
| Ponencia | 2012 | One way of bringing final year computer science student world to the world of children with cerebral palsy: a case study | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PT I |
| Ponencia | 2012 | Parallel Skeletonizing of Digital Images by Using Cellular Automata | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC) |
| Ponencia | 2012 | Perfect discrete morse functions on triangulated 3-manifolds | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC) |
| Ponencia | 2012 | Persistent homology for 3D reconstruction evaluation | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC) |
| Ponencia | 2012 | Population dynamics P systems on CUDA | Lecture Notes in Computer Science |
| Ponencia | 2012 | Prediction of mitochondrial matrix protein structures based on feature selection and fragment assembly | Lecture Notes in Computer Science |
| Ponencia | 2012 | Removal Operations in nD Generalized Maps for Efficient Homology Computation | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC) |
| Ponencia | 2012 | Reverse engineering feature models with evolutionary algorithms: An exploratory study | Lecture Notes in Computer Science |
| Ponencia | 2012 | Segmentation of muscle fibres in fluorescence microscopy images | IMAGE ANALYSIS AND RECOGNITION, PT II |
| Ponencia | 2012 | Short-range interactions and decision tree-based protein contact map predictor | Lecture Notes in Computer Science |
| Ponencia | 2012 | Spiking neural P systems with functional astrocytes | Lecture Notes in Computer Science |
| Ponencia | 2012 | The 1-center and 1-highway problem | Lecture Notes in Computer Science |
| Ponencia | 2012 | The efficiency of tissue P systems with cell separation relies on the environment | Lecture Notes in Computer Science |
| Editorial | 2012 | Third Workshop on the Web and Requirements Engineering (WeRE 2012) | Lecture Notes in Computer Science |
| Ponencia | 2012 | Towards a method for unsupervised web information extraction | Lecture Notes in Computer Science |
| Ponencia | 2012 | Towards discovering conceptual models behind web sites | Lecture Notes in Computer Science |
| Ponencia | 2012 | Towards discovering ontological models from big RDF data | Lecture Notes in Computer Science |
| Ponencia | 2012 | Triangle Mesh Compression and Homological Spanning Forests | COMPUTATIONAL TOPOLOGY IN IMAGE CONTEXT (CTIC) |
| Ponencia | 2011 | A comparative study between two regression methods on LiDAR data: A case study | Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II |
| Ponencia | 2011 | A comparative study of classifier combination methods applied to NLP tasks | NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS |
| Ponencia | 2011 | A Conceptual Framework for Efficient Web Crawling in Virtual Integration Contexts | WEB INFORMATION SYSTEMS AND MINING, PT II |
| Ponencia | 2011 | A decision tree-based method for protein contact map prediction | EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS |
| Ponencia | 2011 | A homological-based description of subdivided nD objects | COMPUTER ANALYSIS OF IMAGES AND PATTERNS: 14TH INTERNATIONAL CONFERENCE, CAIP 2011, PT I |
| Ponencia | 2011 | A nearest neighbour-based approach for viral protein structure prediction | EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS |
| Ponencia | 2011 | A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P Systems | COMPUTER ANALYSIS OF IMAGES AND PATTERNS: 14TH INTERNATIONAL CONFERENCE, CAIP 2011, PT 2 |
| Ponencia | 2011 | A tool for link-based web page classification | ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2011 | AER spiking neuron computation on GPUs: The frame-to-AER generation | NEURAL INFORMATION PROCESSING, PT I |
| Ponencia | 2011 | An AER spike-processing filter simulator and automatic VHDL generator based on cellular automata | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I |
| Ponencia | 2011 | An AER to CAN bridge for spike-based robot control | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I |
| Ponencia | 2011 | An approach to distance estimation with stereo vision using address-event-representation | NEURAL INFORMATION PROCESSING, PT I |
| Ponencia | 2011 | An evolutionary approach for protein contact map prediction | EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS |
| Ponencia | 2011 | Analysis of Measures of Quantitative Association Rules | Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II |
| Ponencia | 2011 | Applying ACL2 to the formalization of algebraic topology: Simplicial polynomials | Lecture Notes in Computer Science |
| Ponencia | 2011 | Associating cell complexes to four dimensional digital objects | DISCRETE GEOMETRY FOR COMPUTER IMAGERY |
| Ponencia | 2011 | Automatic generation of a data-centered view of business processes | Lecture Notes in Computer Science |
| Ponencia | 2011 | Combining Textual Content and Hyperlinks in Web Spam Detection | NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS |
| Ponencia | 2011 | Computational Intelligence Techniques for Predicting Earthquakes | Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II |
| Ponencia | 2011 | Confidence-Based Reasoning with Local Temporal Formal Contexts | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II |
| Ponencia | 2011 | Cup Products on Polyhedral Approximations of 3D Digital Images | COMBINATORIAL IMAGE ANALYSIS |
| Ponencia | 2011 | Current developments on computational modeling using P systems | Lecture Notes in Computer Science |
| Ponencia | 2011 | Defining and Analysing Resource Assignments in Business Processes with RAL | SERVICE-ORIENTED COMPUTING |
| Ponencia | 2011 | Describing the orthology signal in a PPI network at a functional, complex level | BIOINFORMATICS RESEARCH AND APPLICATIONS |
| Capítulo | 2011 | Evolutionary protein contact maps prediction based on amino acid properties | Hybrid Artificial Intelligent Systems: 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II |
| Ponencia | 2011 | Fast Independent Component Analysis Using a New Property | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II |
| Ponencia | 2011 | Frequency Analysis of a 64x64 Pixel Retinomorphic System with AER Output to Estimate the Limits to Apply onto Specific Mechanical Environment | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I |
| Ponencia | 2011 | Fuzzy models for fingerprint description | Lecture Notes in Computer Science |
| Ponencia | 2011 | Generating SPARQL Executable Mappings to Integrate Ontologies | CONCEPTUAL MODELING - ER 2011 |
| Ponencia | 2011 | Hidden variables simulating quantum contextuality increasingly violate the holevo bound | Lecture Notes in Computer Science |
| Ponencia | 2011 | Improving the accuracy of a two-stage algorithm in evolutionary product unit neural networks for classification by means of feature selection | NEW CHALLENGES ON BIOINSPIRED APPLICATIONS |
| Ponencia | 2011 | Incremental-decremental algorithm for computing AT-models and persistent homology | COMPUTER ANALYSIS OF IMAGES AND PATTERNS: 14TH INTERNATIONAL CONFERENCE, CAIP 2011, PT I |
| Ponencia | 2011 | Independent component analysis: A low-complexity technique | NEW CHALLENGES ON BIOINSPIRED APPLICATIONS |
| Ponencia | 2011 | Information-theoretic perspective for teaching logic | Lecture Notes in Computer Science |
| Editorial | 2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Lecture Notes in Computer Science |
| Editorial | 2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Lecture Notes in Computer Science |
| Ponencia | 2011 | Lightweight Testing of Communication Networks with e-Motions | TESTS AND PROOFS, TAP 2011 |
| Ponencia | 2011 | Membrane computing (tutorial) | Lecture Notes in Computer Science |
| Ponencia | 2011 | Mobile architecture for communication and development of applications based on context | Lecture Notes in Computer Science |
| Ponencia | 2011 | Mosto: Generating SPARQL executable mappings between ontologies | ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS |
| Ponencia | 2011 | Neuromorphic real-time objects tracking using address event representation and silicon retina | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I |
| Ponencia | 2011 | New platforms of the violence in Internet | ADVANCES IN NEW TECHNOLOGIES, INTERACTIVE INTERFACES, AND COMMUNICABILITY |
| Ponencia | 2011 | On the designing of spikes band-pass filters for FPGA | ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II |
| Artículo | 2011 | P and dP Automata: a survey | RAINBOW OF COMPUTER SCIENCE |
| Ponencia | 2011 | Performance study of software AER-based convolutions on a parallel supercomputer | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I |
| Editorial | 2011 | Preface | Lecture Notes in Computer Science |
| Editorial | 2011 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2011 | Simulating building blocks for spikes signals processing | ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II |
| Ponencia | 2011 | Spiking neural P system simulations on a high performance GPU platform | ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT II |
| Ponencia | 2011 | Subgroup Discovery for Defect Prediction | SEARCH BASED SOFTWARE ENGINEERING |
| Ponencia | 2011 | The Influence of Customer Familiarity and Personal Innovativeness toward Information Technologies on the Sense of Virtual Community and Participation | HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT III |
| Ponencia | 2011 | Three Steps | COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS |
| Ponencia | 2011 | TOES: A taxonomy-based opinion extraction system | NATURAL LANGUAGE PROCESSING AND INFORMATION SYSTEMS |
| Ponencia | 2011 | Unravelling the yeast cell cycle using the TriGen algorithm | ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Capítulo | 2011 | Unravelling the Yeast Cell CycleUsing the TriGen Algorithm | ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2011 | Well-composed cell complexes | DISCRETE GEOMETRY FOR COMPUTER IMAGERY |
| Ponencia | 2011 | WS-governance: A policy language for SOA governance | SERVICE-ORIENTED COMPUTING |
| Ponencia | 2010 | A computational complexity theory in membrane computing | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
| Ponencia | 2010 | A model of user preferences for semantic services discovery and ranking | SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS |
| Ponencia | 2010 | A P system based model of an ecosystem of some scavenger birds | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
| Ponencia | 2010 | A SVM and k-NN restricted stacking to improve land use and land cover classification | HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2 |
| Ponencia | 2010 | ACS searching for D 4t -hadamard matrices | Lecture Notes in Computer Science |
| Ponencia | 2010 | Alpha helix prediction based on evolutionary computation | PATTERN RECOGNITION IN BIOINFORMATICS |
| Ponencia | 2010 | An overview of P-Lingua 2.0 | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
| Ponencia | 2010 | Augmented and alternative communication system based on dasher application and an accelerometer | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 2 |
| Ponencia | 2010 | Automatic parameter tuning with metaheuristics of the AODV routing protocol for vehicular ad-hoc networks | APPLICATIONS OF EVOLUTIONARY COMPUTATION, PT II, PROCEEDINGS |
| Ponencia | 2010 | Characterizing tractability by tissue-like P systems | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
| Ponencia | 2010 | Computing matrix representations of filiform lie algebras | Lecture Notes in Computer Science |
| Ponencia | 2010 | Correlation-based scatter search for discovering biclusters from gene expression data | EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS, PROCEEDINGS |
| Ponencia | 2010 | Customizable software interface for monitoring applications | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1 |
| Ponencia | 2010 | Dealing with fixable and non-fixable properties in service matchmaking | SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
| Ponencia | 2010 | Defining process performance indicators: An ontological approach | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT I |
| Ponencia | 2010 | Depth-First Search with P Systems | Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers |
| Ponencia | 2010 | Evolutionary q-Gaussian Radial Basis Functions for Improving Prediction Accuracy of Gene Classification Using Feature Selection | ARTIFICIAL NEURAL NETWORKS-ICANN 2010, PT I |
| Ponencia | 2010 | Expert System to Real Time Control of Machining Processes | CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2010 | Implementing P systems parallelism by means of GPUs | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
| Ponencia | 2010 | Integrating aggregation strategies in an in-home domain dialogue system | Lecture Notes in Computer Science |
| Ponencia | 2010 | Label dependent evolutionary feature weighting for remote sensing data | HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2 |
| Editorial | 2010 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Lecture Notes in Computer Science |
| Ponencia | 2010 | Matrix representation of spiking neural P systems | Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers |
| Ponencia | 2010 | Measuring the quality of shifting and scaling patterns in biclusters | PATTERN RECOGNITION IN BIOINFORMATICS |
| Libro | 2010 | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
| Editorial | 2010 | Membrane computing: Preface | Lecture Notes in Computer Science |
| Ponencia | 2010 | Modeling population growth of Pyrenean chamois (Rupicapra p. pyrenaica) by using P-systems | Membrane computing: 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised selected papers |
| Ponencia | 2010 | Multi-objective particle swarm optimizers: An experimental comparison | Lecture Notes in Computer Science |
| Ponencia | 2010 | New technique to enhance the performance of spoken dialogue systems by means of implicit recovery of ASR errors | Lecture Notes in Computer Science |
| Ponencia | 2010 | On the complexity of program debugging using constraints for modeling the program's syntax and semantics | CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2010 | On the Specification of Non-functional Properties of Systems by Observation | MODELS IN SOFTWARE ENGINEERING |
| Ponencia | 2010 | QUEF (Quality Evaluation Framework) for Model-Driven Web methodologies | CURRENT TRENDS IN WEB ENGINEERING |
| Ponencia | 2010 | Reconciling Knowledge in Social Tagging Web Services | HYBRID ARTIFICIAL INTELLIGENCE SYSTEMS, PT 2 |
| Ponencia | 2010 | Searching previous configurations in membrane computing | Membrane computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised selected and invited papers |
| Ponencia | 2010 | Switching noise optimization in the wake-up phase of leakage-aware power gating structures | INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION |
| Ponencia | 2010 | Towards a Rewriting Logic Semantics for ATL | THEORY AND PRACTICE OF MODEL TRANSFORMATIONS |
| Ponencia | 2010 | Tracking system based on accelerometry for users with restricted physical activity | TRENDS IN APPLIED INTELLIGENT SYSTEMS, PT II, PROCEEDINGS |
| Ponencia | 2010 | Using automated analysis of temporal-aware SLAs in logistics | SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
| Ponencia | 2010 | Using regression analysis to identify patterns of non-technical losses on power utilities | KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I |
| Ponencia | 2010 | Using Remote Data Mining on LIDAR and Imagery Fusion Data to Develop Land Cover Maps | TRENDS IN APPLIED INTELLIGENT SYSTEMS, PT I, PROCEEDINGS |
| Ponencia | 2009 | A heuristic procedure with guided reproduction for constructing cocyclic hadamard matrices | ADAPTIVE AND NATURAL COMPUTING ALGORITHMS |
| Ponencia | 2009 | A hybrid metaheuristic for biclustering based on scatter search and genetic algorithms | PATTERN RECOGNITION IN BIOINFORMATICS, PROCEEDINGS |
| Ponencia | 2009 | A hybrid model for dynamic simulation of custom software projects in a multiproject environment | TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS |
| Ponencia | 2009 | A License Plate Extraction Algorithm Based on Edge Statistics and Region Growing | IMAGE ANALYSIS AND PROCESSING - ICIAP 2009, PROCEEDINGS |
| Ponencia | 2009 | A multiscale modeling framework based on P systems | Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers |
| Ponencia | 2009 | A P-lingua programming environment for membrane computing | Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers |
| Ponencia | 2009 | ACL2 verification of simplicial degeneracy programs in the kenzo system | INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS |
| Ponencia | 2009 | Advanced Vision Processing Systems: Spike-Based Simulation and Processing | ADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, PROCEEDINGS |
| Ponencia | 2009 | An approach to the engineering of cellular models based on P systems | MATHEMATICAL THEORY AND COMPUTATIONAL PRACTICE |
| Ponencia | 2009 | Cell AT-Models for Digital Volumes | GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS |
| Ponencia | 2009 | Connectivity Forests for Homological Analysis of Digital Volumes | BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1 |
| Ponencia | 2009 | Conservative retractions of propositional logic theories by means of boolean derivatives: Theoretical foundations | INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS |
| Ponencia | 2009 | Control of cellular glycolysis by perturbations in the glucose influx | COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS |
| Ponencia | 2009 | Decomposing cavities in digital volumes into products of cycles | DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS |
| Ponencia | 2009 | Descriptional Complexity of Tissue-Like P Systems with Cell Division | UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Artículo | 2009 | Effective allocation of fleet frequencies by reducing intermediate stops and short turning in transit systems | Robust and online large-scale optimization |
| Ponencia | 2009 | Evaluating the performance of the multilayer perceptron as a data editing tool | BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1 |
| Ponencia | 2009 | Explaining the non-compliance between templates and agreement offers in ws-agreement | SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS |
| Ponencia | 2009 | FAST-SE: An ESB based framework for SLA trading | SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS |
| Ponencia | 2009 | FPGA implementations comparison of neuro-cortical inspired convolution processors for spiking systems | BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1 |
| Ponencia | 2009 | From vision sensor to actuators, spike based robot control through address-event-representation | BIO-INSPIRED SYSTEMS: COMPUTATIONAL AND AMBIENT INTELLIGENCE, PT 1 |
| Ponencia | 2009 | Getting topological information for a 80-adjacency doxel-based 4D volume through a polytopal cell complex | PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2009 | Hebbian learning from spiking neural P systems view | Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers |
| Ponencia | 2009 | Homological computation using spanning trees | PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2009 | Homological Tree-Based Strategies for Image Analysis | COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS |
| Ponencia | 2009 | Improvement of the Initialization of ICA Time-Frequency Algorithms for Speech Separation | INDEPENDENT COMPONENT ANALYSIS AND SIGNAL SEPARATION, PROCEEDINGS |
| Ponencia | 2009 | Improving Time Series Forecasting by Discovering Frequent Episodes in Sequences | ADVANCES IN INTELLIGENT DATA ANALYSIS VIII, PROCEEDINGS |
| Artículo | 2009 | Integrating robust railway network design and line planning under failures | Robust and online large-scale optimization |
| Ponencia | 2009 | Irregular Graph Pyramids and Representative Cocycles of Cohomology Generators | GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS |
| Ponencia | 2009 | MDA-based framework for automatic generation of consistent firewall ACLs with NAT | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II |
| Ponencia | 2009 | Membrane Dissolution and Division in P | UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Ponencia | 2009 | Modeling ecosystems using P systems: the bearded vulture, a case study | Membrane computing: 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, revised selected and invited papers |
| Ponencia | 2009 | Multi-objective particle swarm optimizers: an experimental comparison | EVOLUTIONARY MULTI-CRITERION OPTIMIZATION |
| Ponencia | 2009 | On user preferences and utility functions in selection: A semantic approach | SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
| Ponencia | 2009 | Pattern Analysis of Dermoscopic Images Based on FSCM Color Markov Random Fields | ADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, PROCEEDINGS |
| Ponencia | 2009 | Power dissipation associated to internal effect transitions in static CMOS gates | INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION |
| Ponencia | 2009 | Quantitative Association Rules Applied to Climatological Time Series Forecasting | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING, PROCEEDINGS |
| Ponencia | 2009 | Rooted Trees Searching for Cocyclic Hadamard Matrices over D 4t | Lecture Notes in Computer Science |
| Ponencia | 2009 | Segmentation in 2D and 3D Image Using Tissue-Like P System | PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2009 | Self-assessed Contrast-Maximizing Adaptive Region Growing | ADVANCED CONCEPTS FOR INTELLIGENT VISION SYSTEMS, PROCEEDINGS |
| Ponencia | 2009 | Service-oriented device integration for ubiquitous ambient assisted living environments | DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS |
| Ponencia | 2009 | Simultaneous optimal control and discrete stochastic sensor selection | Lecture Notes in Computer Science |
| Ponencia | 2009 | Simultaneous Optimal Control and Discrete Stochastic Sensor Selection | HYBRID SYSTEMS: COMPUTATION AND CONTROL |
| Ponencia | 2009 | Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division | METHODS AND MODELS IN ARTIFICIAL AND NATURAL COMPUTATION, PT I |
| Ponencia | 2009 | Stable Rankings in Collective Decision Making with Imprecise Information | ALGORITHMIC DECISION THEORY, PROCEEDINGS |
| Ponencia | 2009 | Structure-preserving smoothing of biomedical images | COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS |
| Ponencia | 2009 | Surgical planning and patient-specific biomechanical simulation for tracheal endoprostheses interventions | Lecture Notes in Computer Science |
| Ponencia | 2009 | Temporal-awareness in SLAs: Why should we be concerned? | SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
| Ponencia | 2009 | Toward Semantic Mobile Web 2.0 through Multiagent Systems | AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2009 | Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 WORKSHOPS |
| Ponencia | 2009 | Universal Spaces for (k, (k)over-bar)-Surfaces | DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS |
| Ponencia | 2009 | Universal spaces for (K,K̄) surfaces | Lecture Notes in Computer Science |
| Ponencia | 2009 | Using a dynamic model to simulate the heuristic evaluation of usability | HUMAN-COMPUTER INTERACTION - INTERACT 2009, PT II, PROCEEDINGS |
| Ponencia | 2009 | Using membrane computing for obtaining homology groups of binary 2D digital images | COMBINATORIAL IMAGE ANALYSIS, PROCEEDINGS |
| Ponencia | 2009 | Virtual center for the elderly: lessons learned | DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS |
| Ponencia | 2008 | A fuzzy thresholding circuit for image segmentation | KNOWLEDGE - BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS |
| Ponencia | 2008 | A Reference Architecture for Automated Negotiations of Service Agreements in Open and Dynamic Environments | ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS |
| Ponencia | 2008 | Advanced Homology Computation of Digital Volumes Via Cell Complexes | STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION |
| Ponencia | 2008 | AFPL, an abstract language model for firewall ACLs | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS |
| Ponencia | 2008 | An initial approach to explaining SLA inconsistencies | SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS |
| Ponencia | 2008 | Automated merging of feature models using graph transformations | Generative and Transformational Techniques in Software Engineering II |
| Ponencia | 2008 | Cover contact graphs | GRAPH DRAWING |
| Ponencia | 2008 | Dimensionality Reduction for Classification Comparison of Techniques and Dimension Choice | ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2008 | Dimensionality reduction for classification, comparison of techniques and dimension choice | Lecture Notes in Computer Science |
| Ponencia | 2008 | Integral Operators for Computing Homology Generators at Any Dimension | PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2008 | Membrane Computing as a Modeling Framework. Cellular Systems Case Studies | FORMAL METHODS FOR COMPUTATIONAL SYSTEMS BIOLOGY |
| Ponencia | 2008 | Multiprimary support for the availability of cluster-based stateful firewalls using FT-FW | COMPUTER SECURITY - ESORIC 2008, PROCEEDINGS |
| Ponencia | 2008 | New research in nature inspired algorithms for mobility management in GSM networks | APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS |
| Ponencia | 2008 | Parallelizations of the error correcting code problem | LARGE-SCALE SCIENTIFIC COMPUTING |
| Ponencia | 2008 | Smart environment vectorization - An approach to learning of user lighting preferences | KNOWLEDGE - BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS |
| Ponencia | 2008 | Smart environment vectorization an approach to learning of user lighting preferences | Lecture Notes in Computer Science |
| Ponencia | 2008 | Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies | UNCERTAINTY REASONING FOR THE SEMANTIC WEB I |
| Ponencia | 2008 | Viral system to solve optimization problems: An immune-inspired computational intelligence approach | ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS |
| Ponencia | 2008 | Visualization of Use Cases through Automatically Generated Activity Diagrams | MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS |
| Ponencia | 2007 | A deterministic model to infer gene networks from microarray data | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007 |
| Ponencia | 2007 | A deterministic model to infer gene networks from microarray data | Lecture Notes in Computer Science |
| Ponencia | 2007 | A formal foundation for Knowledge Integration of defficent information in the Semantic Web | COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 |
| Ponencia | 2007 | A formally verified prover for the ALC description logic | Lecture Notes in Computer Science |
| Ponencia | 2007 | A formally verified prover for the ALC description logic | THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS |
| Ponencia | 2007 | A graph-with-loop structure for a topological representation of 3D objects | COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS |
| Ponencia | 2007 | A heuristic predictive logic controller applied to hybrid solar air conditioning plant | HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS |
| Ponencia | 2007 | A hybrid approach to modeling biological systems | Membrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers |
| Ponencia | 2007 | A logarithmic bound for solving subset sum with P systems | Membrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers |
| Ponencia | 2007 | A precise electrical disturbance generator for neural network training with real level output | PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS AND APPLICATIONS, PROCEEDINGS |
| Ponencia | 2007 | An AER-Based actuator interface for controlling an anthropomorphic robotic hand | NATURE INSPIRED PROBLEM-SOLVING METHODS IN KNOWLEDGE ENGINEERING, PT 2, PROCEEDINGS |
| Ponencia | 2007 | An hybrid, QoS-Aware discovery of semantic web services using constraint programming | SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS |
| Ponencia | 2007 | An integrated methodology for the Rapid Transit Network Design Problem | ALGORITHMIC METHODS FOR RAILWAY OPTIMIZATION |
| Ponencia | 2007 | An orientation service for dependent people based on an open service architecture | HCI AND USABILITY FOR MEDICINE AND HEALTH CARE, PROCEEDINGS |
| Capítulo | 2007 | Automated Merging of Feature Models Using Graph Transformations | Generative and Transformational Techniques in Software Engineering II |
| Ponencia | 2007 | Automatic detection of filters in images with Gaussian noise using independent component analysis | COMPUTATIONAL AND AMBIENT INTELLIGENCE |
| Ponencia | 2007 | Biclusters evaluation based on shifting and scaling patterns | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007 |
| Ponencia | 2007 | Building the core architecture of a NASA multiagent system product line | AGENT-ORIENTED SOFTWARE ENGINEERING VII |
| Ponencia | 2007 | Combining smart tags and body fixed sensors for disabled people assistance | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT II, PROCEEDINGS |
| Ponencia | 2007 | Computation in one-dimensional piecewise maps | HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS |
| Ponencia | 2007 | Discovering α–patterns from gene expression data | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007 |
| Ponencia | 2007 | Error correcting codes from quasi-Hadamard matrices | ARITHMETIC OF FINITE FIELDS, PROCEEDINGS |
| Ponencia | 2007 | Extending the notion of AT-model for integer homology computation | GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS |
| Ponencia | 2007 | Improving temporal-awareness of WS-agreement | SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS |
| Ponencia | 2007 | Information extraction in a set of knowledge using a fuzzy logic based intelligent agent | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2007, PT 3, PROCEEDINGS |
| Ponencia | 2007 | KRRT: Knowledge Representation and Reasoning Tutor system | COMPUTER AIDED SYSTEMS THEORY- EUROCAST 2007 |
| Ponencia | 2007 | KRRT: Knowledge representation and reasoning tutor system | Lecture Notes in Computer Science |
| Ponencia | 2007 | Modeling smart homes for prediction algorithms | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT II, PROCEEDINGS |
| Ponencia | 2007 | Multi-classification with tri-class support vector machines. A review | COMPUTATIONAL AND AMBIENT INTELLIGENCE |
| Ponencia | 2007 | Multi-task implementation for image reconstruction of an AER communication | COMPUTATIONAL AND AMBIENT INTELLIGENCE |
| Ponencia | 2007 | New results on minimax regret single facility ordered median location problems on networks | ALGORITHMS - ESA 2007, PROCEEDINGS |
| Ponencia | 2007 | On a paun's conjecture in membrane systems | BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS |
| Ponencia | 2007 | On rules and parameter free systems in bounded arithmetic | COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS |
| Ponencia | 2007 | On the computation of A∞-maps | Lecture Notes in Computer Science |
| Ponencia | 2007 | Partitioning-clustering techniques applied to the electricity price time series | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2007 |
| Ponencia | 2007 | Polarizationless P systems with active membranes working in the minimally parallel mode | UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Ponencia | 2007 | satDNA analyzer 1.2 as a valuable computing tool for evolutionary analysis of satellite-DNA families: Revisiting Y-linked satellite-DNA sequences of Rumex (Polygonaceae) | Lecture Notes in Computer Science |
| Ponencia | 2007 | Simulating the bitonic sort using P systems | Membrane computing: 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 revised selected and invited papers |
| Ponencia | 2007 | Solving subset sum in linear time by using tissue P systems with cell division | BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS |
| Ponencia | 2007 | Static power consumption in CMOS gates using independent bodies | INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION |
| Ponencia | 2007 | Targeting differentially co-regulated genes by multiobjective and multimodal optimization | Lecture Notes in Computer Science |
| Ponencia | 2007 | The complex version of the minimum support criterion | INDEPENDENT COMPONENT ANALYSIS AND SIGNAL SEPARATION, PROCEEDINGS |
| Ponencia | 2007 | Uniform solution of QSAT using polarizationless active membranes | MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS |
| Ponencia | 2007 | Virtual error: a new measure for evolutionary biclustering | EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS, PROCEEDINGS |
| Ponencia | 2006 | A case study in (mem)brane computation: generating squares of natural numbers | Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Ponencia | 2006 | A conceptual framework for automated negotiation systems | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS |
| Ponencia | 2006 | A Genetic Algorithm for Cocyclic Hadamard Matrices | Lecture Notes in Computer Science |
| Artículo | 2006 | A hybrid VNS/Tabu Search algorithm for apportioning the European Parliament | EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, PROCEEDINGS |
| Ponencia | 2006 | A linear solution for QSAT with membrane creation | Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers |
| Artículo | 2006 | A Mathematica notebook for computing the homology of iterated products of groups | MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS |
| Artículo | 2006 | A measure for data set editing by ordered projections | ADVANCES IN APPLIED ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
| Ponencia | 2006 | A modeling approach based on P systems with bounded parallelism | Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Artículo | 2006 | A smart electric wheelchair using UPnP | AMBIENT INTELLIGENCE IN EVERDAY LIFE |
| Artículo | 2006 | A topological-based method for allocating sensors by using CSP techniques | CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Artículo | 2006 | Algebraic computation of some intersection D-modules | MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS |
| Artículo | 2006 | Algorithmic invariants for Alexander modules | COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS |
| Ponencia | 2006 | An analysis of service trading architectures | Lecture Notes in Computer Science |
| Artículo | 2006 | Analysis of service trading architectures | E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS |
| Artículo | 2006 | Calculating cocyclic Hadamard matrices in Mathematica: Exhaustive and heuristic searches | MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS |
| Ponencia | 2006 | Can agent oriented software engineering be used to build MASs product lines? | INNOVATIVE CONCEPTS FOR AUTONOMIC AND AGENT-BASED SYSTEMS |
| Ponencia | 2006 | Classifying states of a finite Markov chain with membrane computing | Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Artículo | 2006 | Comparison maps for relatively free resolutions | COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS |
| Ponencia | 2006 | Computing with spiking neural P systems: Traces and small universal systems | DNA COMPUTING |
| Artículo | 2006 | Databases reduction simultaneously by ordered projection | DISCOVERY SCIENCE, PROCEEDINGS |
| Ponencia | 2006 | Decision making association rules for recognition of differential gene expression profiles | Lecture Notes in Computer Science |
| Artículo | 2006 | Diagnosing errors in DbC programs using Constraint Programming | CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Ponencia | 2006 | eDiab: a system for monitoring, assisting and educating people with diabetes | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS |
| Ponencia | 2006 | Fusion of domain knowledge for dynamic learning in transcriptional networks | Lecture Notes in Computer Science |
| Ponencia | 2006 | Fuzzy logic activities at the Microelectronics Institute of Seville | NEURAL NETS |
| Ponencia | 2006 | Fuzzy motion adaptive algorithm for video de-interlacing | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
| Artículo | 2006 | Gene ranking from microarray data for cancer classification - A machine learning approach | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
| Ponencia | 2006 | Gene ranking from microarray data for cancer classification-A machine learning approach | Lecture Notes in Computer Science |
| Artículo | 2006 | Giving neurons to sensors: an approach to QoS management through artificial intelligence in wireless networks | PERSONAL WIRELESS COMMUNICATIONS, PROCEEDINGS |
| Ponencia | 2006 | Graphical modeling of higher plants using P systems | Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Artículo | 2006 | Handling Markov chains with membrane computing | UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Artículo | 2006 | Improving the computational efficiency in symmetrical numeric constraint satisfaction problems | CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Artículo | 2006 | Integrated expert management knowledge on OSI network management objects | ADVANCES IN INFORMATION SYSTEMS, PROCEEDINGS |
| Artículo | 2006 | Lineal image compression based on Lukasiewicz's operators | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
| Ponencia | 2006 | Membrane systems with external control | Lecture Notes in Computer Science |
| Artículo | 2006 | MIDAS: detection of non-technical losses in electrical consumption using neural networks and statistical techniques | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 5 |
| Ponencia | 2006 | Mining structural databases: An Evolutionary Multi-Objetive Conceptual Clustering methodology | Lecture Notes in Computer Science |
| Ponencia | 2006 | Modeling signal transduction using P systems | Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Artículo | 2006 | Neighborhood-based clustering of gene-gene interactions | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS |
| Ponencia | 2006 | New characteristics for the classification of burns: Experimental study | IMAGE ANALYSIS AND RECOGNITION, PT 2 |
| Ponencia | 2006 | On P systems as a modelling tool for biological systems | Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers |
| Ponencia | 2006 | On the power of dissolution in P systems with active membranes | Membrane computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, revised selected and invited papers |
| Ponencia | 2006 | Optimal selection of microarray analysis methods using a conceptual clustering algorithm | Lecture Notes in Computer Science |
| Artículo | 2006 | Optimization of master-slave flip-flops for high-performance applications | INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION |
| Ponencia | 2006 | P systems, a new computational modelling tool for Systems Biology | TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VI |
| Artículo | 2006 | Parallel implementation of a cellular automaton model for the simulation of laser dynamics | COMPUTATIONAL SCIENCE - ICCS 2006, PT 3, PROCEEDINGS |
| Artículo | 2006 | Reducing computational costs in the Basic Perturbation Lemma | COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS |
| Artículo | 2006 | Reusing integer homology information of binary digital images | DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS |
| Artículo | 2006 | Shifting patterns discovery in microarrays with evolutionary algorithms | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
| Artículo | 2006 | Simplicial perturbation techniques and effective homology | COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS |
| Ponencia | 2006 | SIR: a new wireless sensor network routing protocol based on artificial intelligence | ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS |
| Artículo | 2006 | Some notes on (Mem)Brane computation | PARALLEL PROBLEM SOLVING FROM NATURE - PPSN IX, PROCEEDINGS |
| Artículo | 2006 | Sudokus and Grobner bases: Not only a divertimento | COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS |
| Ponencia | 2006 | Supervised TextRank | Lecture Notes in Computer Science |
| Artículo | 2006 | Supervised TextRank | ADVANCES IN NATURAL LANGUAGE PROCESSING, PROCEEDINGS |
| Ponencia | 2006 | tarfa: Tableaux and resolution for finite abduction | LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
| Artículo | 2006 | The evolution of OSI network management by integrated the expert knowledge | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS |
| Ponencia | 2006 | Towards a P systems pseudomonas quorum sensing model | Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Ponencia | 2006 | Towards probabilistic model checking on P systems using PRISM | Membrane computing: 7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, revised, selected, and invited papers |
| Artículo | 2006 | Using artificial intelligence in wireless sensor routing protocols | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS |
| Artículo | 2006 | VHDL high level modelling and implementation of fuzzy systems | FUZZY LOGIC AND APPLICATIONS |
| Artículo | 2006 | Visual ontology cleaning: Cognitive principles and applicability | SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS |
| Artículo | 2005 | A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS) | Lecture Notes in Computer Science |
| Artículo | 2005 | A linear solution of subset sum problem by using membrane creation | MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS |
| Artículo | 2005 | A study of the robustness of the EGFR signalling cascade using continuous membrane systems | MECHANISMS, SYMBOLS AND MODELS UNDERLYING COGNITION, PT 1, PROCEEDINGS |
| Artículo | 2005 | Accepting hybrid networks of evolutionary processors | DNA COMPUTING |
| Artículo | 2005 | Algebraic topological analysis of time-sequence of digital images | COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS |
| Ponencia | 2005 | An approach to computational complexity in membrane computing | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Artículo | 2005 | An approach to reduce the cost of evaluation in evolutionary learning | COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
| Artículo | 2005 | An approach to temporal-aware procurement of Web services | SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS |
| Artículo | 2005 | An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way | MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE |
| Artículo | 2005 | Analysis and visualization of the DX community with information extracted from the web | DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
| Artículo | 2005 | Analysis of feature rankings for classification | ADVANCES IN INTELLIGENT DATA ANALYSIS VI, PROCEEDINGS |
| Ponencia | 2005 | Application of internode model to global power consumption estimation in SCMOS gates | Lecture Notes in Computer Science |
| Ponencia | 2005 | Applying stacking and corpus transformation to a chunking task | Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers |
| Ponencia | 2005 | Aproximating Non-discrete P Systems | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Artículo | 2005 | Attacking the common algorithmic problem by recognizer P systems | MACHINES, COMPUTATIONS, AND UNIVERSALITY |
| Artículo | 2005 | Automated reasoning on feature models | ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS |
| Ponencia | 2005 | Communication complexity as a principle of quantum mechanics | UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
| Ponencia | 2005 | Connections between ICA and sparse coding revisited | COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
| Ponencia | 2005 | Exploring computation trees associated with P systems | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Artículo | 2005 | Extension of ontologies assisted by automated reasoning systems | Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers |
| Artículo | 2005 | Heuristic search over a ranking for feature selection | COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
| Artículo | 2005 | Inter-spike-intervals analysis of Poisson like hardware synthetic AER generation | COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
| Editorial | 2005 | Lecture Notes in Computer Science: Preface | Lecture Notes in Computer Science |
| Editorial | 2005 | Lecture Notes in Computer Science: Preface | Lecture Notes in Computer Science |
| Artículo | 2005 | Local characterization of a maximum set of digital (26,6)-surfaces | DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS |
| Artículo | 2005 | Logic-level fast current simulation for digital CMOS circuits | INTEGRATED CIRCUIT AND SYSTEM DESIGN |
| Ponencia | 2005 | Looking for simple common schemes to design recognizer P systems with active membranes that solve numerical decision problems | Lecture Notes in Computer Science |
| Libro | 2005 | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Ponencia | 2005 | Nouvelle Cuisine for the computation of the annihilating ideal of f s | Lecture Notes in Computer Science |
| Artículo | 2005 | Nouvelle cuisine for the computation of the annihilating ideal of f(s) | COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS |
| Ponencia | 2005 | On descriptive complexity of P systems | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Ponencia | 2005 | On the connection between the human visual system and independent component analysis | ARTIFICIAL INTELLIGENCE AND KNOWLEDGE ENGINEERING APPLICATIONS: A BIOINSPIRED APPROACH, PT 2, PROCEEDINGS |
| Ponencia | 2005 | On two-dimensional mesh networks and their simulation with P systems | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Ponencia | 2005 | P Systems with active membranes, without polarizations and without dissolution: A characterization of P | Lecture Notes in Computer Science |
| Ponencia | 2005 | Proof pearl: A formal proof of Higman's Lemma in ACL2 | Lecture Notes in Computer Science |
| Artículo | 2005 | Proof pearl: A formal proof of Higman's lemma in ACL2 | THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS |
| Artículo | 2005 | Querying a polynomial object-relational constraint database in model-based diagnosis | DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
| Artículo | 2005 | Rete algorithm applied to robotic soccer | Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers |
| Ponencia | 2005 | Robust blind image watermarking with independent component analysis: A embedding algorithm | Lecture Notes in Computer Science |
| Artículo | 2005 | Test infrastructure for address-event-representation communications | COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
| Ponencia | 2005 | Tools for address-event-representation communication systems and debugging | Lecture Notes in Computer Science |
| Artículo | 2005 | Towards a theory on the role of ontologies in software engineering problem solving - Conclusions from a theoretical model of methodological works | FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS |
| Ponencia | 2005 | Towards a theory on the role of ontologies in Software Engineering problem solving conclusions from a theoretical model of methodological works | Lecture Notes in Computer Science |
| Ponencia | 2005 | Trading polarization for Bi-stable catalyst in P systems with active membranes | Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers |
| Artículo | 2005 | Two hardware implementations of the exhaustive synthetic AER generation method | COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
| Artículo | 2005 | Using automated reasoning systems on molecular computing | DNA COMPUTING |
| Artículo | 2005 | VICARED: a neural network based system for the detection of electrical disturbances in real time | ADVANCES IN NATURAL COMPUTATION, PT 2, PROCEEDINGS |
| Artículo | 2005 | Voice activity detection using higher order statistics | COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
| Ponencia | 2004 | A linear-time solution to the knapsack problem using P systems with active membranes | Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers |
| Artículo | 2004 | A maximum set of (26,6)-connected digital surfaces | COMBINATORIAL IMAGE ANALYSIS, PROCEEDINGS |
| Artículo | 2004 | A method for compiling and executing expressive assertions | INTEGRATED FORMAL METHODS, PROCEEDINGS |
| Artículo | 2004 | A multiresolution threshold selection method based on training | IMAGE ANALYSIS AND RECOGNITION, PT 1, PROCEEDINGS |
| Artículo | 2004 | A real-time image stabilization system based on Fourier-Mellin transform | IMAGE ANALYSIS AND RECOGNITION, PT 1, PROCEEDINGS |
| Artículo | 2004 | An automatic filtering procedure for processing biomechanical kinematic signals | BIOLOGICAL AND MEDICAL DATA ANALYSIS, PROCEEDINGS |
| Ponencia | 2004 | Application of evolutionary computation techniques to the optimal short-term scheduling of the electrical energy production | CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Artículo | 2004 | Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based Diagnosis | Lecture Notes in Computer Science |
| Artículo | 2004 | Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis | CONSTRAINT DATABASES, PROCEEDINGS |
| Artículo | 2004 | Applying system families concepts to requirements engineering process definition | SOFTWARE PRODUCT-FAMILY ENGINEERING |
| Artículo | 2004 | Background noise influence on VoIP traffic profile | INTERACTIVE MULTIMEDIA AND NEXT GENERATION NETWORKS |
| Artículo | 2004 | Bagging classification models with reduced bootstrap | STRUCTURAL, SYNTACTIC, AND STATISTICAL PATTERN RECOGNITION, PROCEEDINGS |
| Artículo | 2004 | Blind source separation in the adaptive reduction of inter-channel interference for OFDM | Lecture Notes in Computer Science |
| Artículo | 2004 | Characterization of the sources in convolutive mixtures: A cumulant-based approach | INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION |
| Artículo | 2004 | Clustering Main Concepts from e-Mails | Lecture Notes in Computer Science |
| Artículo | 2004 | Computing largest empty slabs | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3 |
| Ponencia | 2004 | Computing partial recursive functions by transition P systems | Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers |
| Artículo | 2004 | Control of bloat in genetic programming by means of the island model | PARALLEL PROBLEM SOLVING FROM NATURE - PPSN VIII |
| Artículo | 2004 | Data mining approaches to diffuse large B-cell lymphoma gene expression data interpretation | DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS |
| Artículo | 2004 | Determination of possible minimal conflict sets using constraint databases technology and clustering | ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004 |
| Artículo | 2004 | Empirically driven use case metamodel evolution | UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS |
| Artículo | 2004 | Formal reasoning about efficient data structures: A case study in ACL2 | Lecture Notes in Computer Science |
| Ponencia | 2004 | Formal verification of molecular computational models in ACL2: A case study | Lecture Notes in Computer Science |
| Artículo | 2004 | Generalizing programs via subsumption | Lecture Notes in Computer Science |
| Artículo | 2004 | Geometrical ICA-based method for mind separation of super-Gaussian signals | INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION |
| Ponencia | 2004 | Implementing in Prolog an effective cellular solution to the Knapsack problem | Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers |
| Ponencia | 2004 | Improving the performance of a named entity extractor by applying a stacking scheme | Lecture Notes in Computer Science |
| Artículo | 2004 | Improving the performance of a named entity extractor by applying a stacking scheme | ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004 |
| Artículo | 2004 | Independent component analysis in the watermarking of digital images | Lecture Notes in Computer Science |
| Artículo | 2004 | Multidimensional data visual exploration by interactive information segments | DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS |
| Ponencia | 2004 | Named Entity Recognition Through Corpus Transformation and System Combination | ADVANCES IN NATURAL LANGUAGE PROCESSING |
| Artículo | 2004 | New eigensystem-based method for blind source separation | INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION |
| Artículo | 2004 | On the design of ambient intelligent systems in the context of assistive technologies | COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS: PROCEEDINGS |
| Artículo | 2004 | P systems with tables of rules | THEORY IS FOREVER: ESSAYS DEDICATED TO ARTO SALOMAA ON THE OCCASION OF HIS 70TH BIRTHDAY |
| Artículo | 2004 | Provably total primitive recursive functions: Theories with induction | COMPUTER SCIENCE LOGIC, PROCEEDINGS |
| Artículo | 2004 | Providing real time applications with a seamless handover using a combination of hierarchical mobile IPv6 and fast handover | UNIVERSAL MULTISERVICE NETWORKS, PROCEEDINGS |
| Artículo | 2004 | Signal sampling based transition modeling for digital gates characterization | INTEGRATED CIRCUIT AND SYSTEM DESIGN |
| Artículo | 2004 | Simulation of the dynamics of pulsed pumped lasers based on cellular automata | CELLULAR AUTOMATA, PROCEEDINGS |
| Artículo | 2004 | Statistical test-based evolutionary segmentation of yeast genome | GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2004, PT 1, PROCEEDINGS |
| Artículo | 2004 | The anchored Voronoi diagram | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3 |
| Artículo | 2004 | The implementation of a FPGA hardware debugger system with minimal system overhead | FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS |
| Artículo | 2004 | The minimum support criterion for blind signal extraction: A limiting case of the strengthened Young's inequality | INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION |
| Artículo | 2004 | The P versus NP problem through cellular computing with membranes | ASPECTS OF MOLECULAR COMPUTING |
| Artículo | 2004 | Theoretical method for solving BSS-ICA using SVM | INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION |
| Artículo | 2004 | Time-series prediction: Application to the short-term electric energy demand | CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Artículo | 2004 | Using dynamic modeling and simulation to improve the COTS software process | PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT |
| Artículo | 2004 | Verified computer algebra in ACL2 (Grobner bases computation) | ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS |
| Artículo | 2004 | Verified Computer Algebra in ACL2 (Gröbner Bases Computation) | Lecture Notes in Computer Science |
| Artículo | 2004 | Wrapper for ranking feature selection | INTELLIGENT DAA ENGINEERING AND AUTOMATED LEARNING IDEAL 2004, PROCEEDINGS |
| Artículo | 2003 | A DTD for an XML-based mathematical modeling language | COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS |
| Artículo | 2003 | A formal proof of Dickson's Lemma in ACL2 | LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS |
| Artículo | 2003 | A genetic algorithm for assembly sequence planning | ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II |
| Artículo | 2003 | A genetic algorithm for controlling elevator group systems | ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II |
| Ponencia | 2003 | A MzScheme implementation of transition P systems | Membrane computing: International Workshop, WMC-CdeA 2002 Curtea de Arges, Romania, August 19–23, 2002 Revised Papers |
| Artículo | 2003 | A new hybrid CBL-CMOS cell for optimum noise/power application | INTEGRATED CIRCUIT AND SYSTEM DESIGN |
| Artículo | 2003 | A quality-aware approach to web services procurement | TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS |
| Artículo | 2003 | An agent based approach of collective foraging | COMPUTATIONAL METHODS IN NEURAL MODELING, PT 1 |
| Artículo | 2003 | An application of ICA to blind DS-CDMA detection: A joint optimization criterion | Lecture Notes in Computer Science |
| Artículo | 2003 | Application of independent component analysis to edge detection and watermarking | ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II |
| Artículo | 2003 | Automated meter reading and SCADA application for wireless sensor network | AD-HOC, MOBILE, AND WIRELESS NETWORKS, PROCEEDINGS |
| Artículo | 2003 | Automating the procurement of web services | Service-Oriented Computing - ICSOC 2003 |
| Artículo | 2003 | CAD tool for burn diagnosis | INFORMATION PROCESSING IN MEDICAL IMAGING, PROCEEDINGS |
| Artículo | 2003 | Computational delay models to estimate the delay of floating cubes in CMOS circuits | INTEGRATED CIRCUIT AND SYSTEM DESIGN |
| Artículo | 2003 | Coping with web knowledge | ADVANCES IN WEB INTELLIGENCE |
| Artículo | 2003 | Decision P systems and the P≠NP conjecture | Lecture Notes in Computer Science |
| Artículo | 2003 | Empirical evaluation of the difficulty of finding a good value of k for the nearest neighbor | COMPUTATIONAL SCIENCE - ICCS 2003, PT II, PROCEEDINGS |
| Artículo | 2003 | Evolutionary neuroestimation of fitness functions | PROGRESS IN ARTIFICIAL INTELLIGENCE-B |
| Artículo | 2003 | Fast feature ranking algorithm | KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS |
| Artículo | 2003 | Fast feature selection by means of projections | DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE |
| Artículo | 2003 | FOM: A framework for metaheuristic optimization | COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS |
| Artículo | 2003 | Generalizing programs via subsumption | COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003 |
| Artículo | 2003 | Hybrid networks of evolutionary processors | GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS |
| Artículo | 2003 | Influence of kNN-based load forecasting errors on optimal energy production | PROGRESS IN ARTIFICIAL INTELLIGENCE-B |
| Artículo | 2003 | Mining low dimensionality data streams of continuous attributes | PROGRESS IN ARTIFICIAL INTELLIGENCE-B |
| Artículo | 2003 | Natural coding: A more efficient representation for evolutionary learning | GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS |
| Artículo | 2003 | NDT-Tool: A case tool to deal with requirements in web information systems | WEB ENGINEERING, PROCEEDINGS |
| Artículo | 2003 | NLC: A measure based on projections | DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
| Artículo | 2003 | On selecting and scheduling assembly plans using constraint programming | KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
| Artículo | 2003 | Optimal on-demand VoIP quality in an H.323 network | HIGH-SPEED NETWORKS AND MULTIMEDIA COMMUNICATIONS, PROCEEDINGS |
| Artículo | 2003 | Optimal point set projections onto regular grids | ALGORITHMS AND COMPUTATION, PROCEEDINGS |
| Artículo | 2003 | Packetization and silence influence on VoIP traffic profiles | INTERACTIVE MULTIMEDIA ON NEXT GENERATION NETWORKS |
| Artículo | 2003 | Review of capacitive threshold gate implementations | ARTIFICIAL NEURAL NETWORKS AND NEURAL INFORMATION PROCESSING - ICAN/ICONIP 2003 |
| Artículo | 2003 | The NDT development process | WEB ENGINEERING, PROCEEDINGS |
| Artículo | 2003 | Towards a practical argumentative reasoning with qualitative spatial databases | DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE |
| Artículo | 2003 | Towards digital cohomology | DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS |
| Artículo | 2003 | Towards interaction protocol operations for large multi-agent systems | FORMAL APPROACHES TO AGENT-BASED SYSTEMS |
| Artículo | 2003 | UNSHADES-1: An advanced tool for in-system run-time hardware debugging | FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS |
| Artículo | 2003 | Verification in ACL2 of a generic framework to synthesize SAT-provers | LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION |
| Artículo | 2002 | A comparison of two techniques for next-day electricity price forecasting | INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2002 |
| Artículo | 2002 | A framework to translate UML class generalization into Java code | OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS |
| Ponencia | 2002 | A pomset-based model for estimating Workcells? setups in assembly sequence planning | Lecture Notes in Computer Science |
| Ponencia | 2002 | A practical agent-based method to extract semantic information from the web | Lecture Notes in Computer Science |
| Artículo | 2002 | A technique to generate CMOS VLSI flip-flops based on differential latches | Lecture Notes in Computer Science |
| Artículo | 2002 | An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactions | EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS |
| Artículo | 2002 | An evolutionary approach to the study of non-trivial collective behavior in cellular automata | CELLULAR AUTOMATA, PROCEEDINGS |
| Artículo | 2002 | An order-based, distributed algorithm for implementing multiparty interactions | COORDINATION MODELS AND LANGUAGES, PROCEEDINGS |
| Ponencia | 2002 | Automatic extraction of semantically-meaningful information from the web | Lecture Notes in Computer Science |
| Ponencia | 2002 | Characterization of normal propagation delay for delay degradation model (DDM) | Lecture Notes in Computer Science |
| Ponencia | 2002 | Discovering numeric association rules via evolutionary algorithm | Lecture Notes in Computer Science |
| Capítulo | 2002 | Efficient and fast current curve estimation of CMOS digital circuits at the logic level | Integrated circuit design. Power and timing modeling, optimization and simulation: 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 |
| Ponencia | 2002 | Electricity market price forecasting: neural networks versus weighted-distance k nearest neighbours | Lecture Notes in Computer Science |
| Artículo | 2002 | Evolving one dimensional cellular automata to perform a non-trivial collective behavior task: One case study | COMPUTATIONAL SCIENCE-ICCS 2002, PT I, PROCEEDINGS |
| Artículo | 2002 | Generation of diophantine sets by computing P systems with external output | UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS |
| Artículo | 2002 | Generation of management rules through system dynamics and evolutionary computation | PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS |
| Artículo | 2002 | Genetic Neighborhood Search | COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS |
| Artículo | 2002 | Integrating dynamic models for CMM-based software process improvement | PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS |
| Editorial | 2002 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Lecture Notes in Computer Science |
| Artículo | 2002 | Left corner parser for Tree Insertion Grammars | ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS AND APPLICATIONS, PROCEEDINGS |
| Artículo | 2002 | Measurement of the switching activity of CMOS digital circuits at the gate level | Lecture Notes in Computer Science |
| Artículo | 2002 | Mobile interface for a smart wheelchair | HUMAN COMPUTER INTERACTION WITH MOBILE DEVICES |
| Artículo | 2002 | Parallel fuzzy c-means clustering for large data sets | Lecture Notes in Computer Science |
| Editorial | 2002 | Preface | Lecture Notes in Computer Science |
| Editorial | 2002 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2002 | Preface | Lecture Notes in Computer Science |
| Artículo | 2002 | Qualitative comparison of temporal series. QSI | TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
| Artículo | 2002 | Requirements capture workflow in global information systems | OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS |
| Artículo | 2002 | Selective clock-gating for low power/low noise synchronous counters | Lecture Notes in Computer Science |
| Ponencia | 2002 | Solving knapsack problems in a sticker based model | Lecture Notes in Computer Science |
| Artículo | 2002 | Specification of Adleman's restricted model using an automated reasoning system: Verification of Lipton's experiment | UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS |
| Ponencia | 2002 | Specification of Adleman’s restricted model using an automated reasoning system: Verification of Lipton’s experiment | Lecture Notes in Computer Science |
| Artículo | 2002 | Synthetic generation of events for address-event-representation communications | Lecture Notes in Computer Science |
| Artículo | 2002 | The largest empty annulus problem | COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS |
| Ponencia | 2001 | A conjugate gradient method and simulated annealing for blind separation of sources | Lecture Notes in Computer Science |
| Ponencia | 2001 | A QoS system for CaTV networks | Lecture Notes in Computer Science |
| Capítulo | 2001 | An algorithm for computing cocyclic matrices developed over some semidirect products | Applied algebra, algebraic algorithms and error-correcting codes: 14th International Symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001. Proceedings |
| Artículo | 2001 | An evolutionary algorithm for the design of hybrid fiber optic-coaxial cable networks in small urban areas | Lecture Notes in Computer Science |
| Ponencia | 2001 | Blind separation of sources by differentiating the output cumulants and using Newton’s method | ARTIFICIAL NEURAL NETWORKS-ICANN 2001, PROCEEDINGS |
| Ponencia | 2001 | Classification of disturbances in electrical signals using neural networks | Lecture Notes in Computer Science |
| Ponencia | 2001 | Formalizing rewriting in the ACL2 theorem prover | Lecture Notes in Computer Science |
| Artículo | 2001 | Formalizing rewriting in the ACL2 theorem prover | ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION |
| Artículo | 2001 | Genetic line search | COMPUTATIONAL SCIENCE -- ICCS 200, PROCEEDINGS PT 2 |
| Artículo | 2001 | Labeling subway lines | ALGORITHMS AND COMPUTATION, PROCEEDINGS |
| Ponencia | 2001 | Non-parametric Nearest Neighbor with local adaptation | Lecture Notes in Computer Science |
| Ponencia | 2001 | OBLIC: Classification system using evolutionary algorithm | Lecture Notes in Computer Science |
| Ponencia | 2001 | Proposed architectures for the integration of H.323 and QoS over IP networks | NETWORKING - ICN 2001, PART II, PROCEEDINGS |
| Artículo | 2001 | Separation surfaces through genetic programming | Lecture Notes in Computer Science |
| Ponencia | 2001 | SNN: A supervised clustering algorithm | Lecture Notes in Computer Science |
| Ponencia | 2001 | Structural constraint-based modeling and reasoning with basic configuration cells | Lecture Notes in Computer Science |
| Ponencia | 2001 | The minimum entropy and cumulants based contrast functions for blind source extraction | Lecture Notes in Computer Science |
| Ponencia | 2001 | Verifying an applicative ATP using multiset relations | Lecture Notes in Computer Science |
| Artículo | 2001 | Verifying an applicative ATP using multiset relations | COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001 |
| Ponencia | 2000 | An application of self-timed circuits to the reduction of switching noise in analog-digital circuits | INTEGRATED CIRCUIT DESIGN, PROCEEDINGS |
| Artículo | 2000 | Degradation delay model extension to CMOS gates | INTEGRATED CIRCUIT DESIGN, PROCEEDINGS |
| Artículo | 2000 | Homotopy in digital spaces | DISCRETE GEOMETRY FOR COMPUTER IMAGERY, PROCEEDINGS |
| Artículo | 2000 | Influence of clocking strategies on the design of low switching-noise digital and mixed-signal VLSI circuits | INTEGRATED CIRCUIT DESIGN, PROCEEDINGS |
| Artículo | 2000 | The evolution of a 3-d C.A. to Perform a Collective Behavior Task | Lecture Notes in Computer Science |
| Ponencia | 2000 | Using maude | Lecture Notes in Computer Science |
| Ponencia | 1999 | A digital lighting function for strong 26-surfaces | Lecture Notes in Computer Science |
| Artículo | 1999 | Adaptive resonance theory microchips | FOUNDATIONS AND TOOLS FOR NEURAL MODELING, PROCEEDINGS, VOL I |
| Ponencia | 1999 | The maude system | Lecture Notes in Computer Science |
| Artículo | 1999 | Triangle-free planar graphs as segments intersection graphs | GRAPH DRAWING |
| Ponencia | 1998 | A review of earley-based parser for TIG | Lecture Notes in Computer Science |
| Ponencia | 1998 | A tool to obtain a hierarchical qualitative rules from quantitative data | Lecture Notes in Computer Science |
| Ponencia | 1998 | An evolutionary and local search algorithm for planning two manipulators motion | Lecture Notes in Computer Science |
| Ponencia | 1998 | Automatic semiqualitative analysis: Application to a biometallurgical system | Lecture Notes in Computer Science |
| Artículo | 1998 | Decision queue classifier for supervised learning using rotated hyperboxes | PROGRESS IN ARTIFICIAL INTELLIGENCE-IBERAMIA 98 |
| Ponencia | 1998 | Including qualitative knowledge in semiqualitative dynamical systems | Lecture Notes in Computer Science |
| Artículo | 1998 | Overload screening of transmission systems using neural networks | Lecture Notes in Computer Science |
| Ponencia | 1997 | A fully stochastic fuzzy logic controller | Lecture Notes in Computer Science |
| Ponencia | 1997 | A hardware implementation of CNNs based on pulse stream techniques | Lecture Notes in Computer Science |
| Ponencia | 1997 | AFAN, a tool for the automatic design of fuzzy and neural controllers. | BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY |
| Ponencia | 1997 | Digital lighting functions | Lecture Notes in Computer Science |
| Ponencia | 1997 | Embedding a graph in the grid of a surface with the minimum number of bends is NP-hard | Lecture Notes in Computer Science |
| Ponencia | 1997 | Interactions between environmental and hormonal oscillations induce plastic changes in a simple neuroendocrine transducer | Lecture Notes in Computer Science |
| Ponencia | 1997 | On-line continuous weld monitoring using Neural Networks | BIOLOGICAL AND ARTIFICIAL COMPUTATION: FROM NEUROSCIENCE TO TECHNOLOGY |
| Ponencia | 1996 | Determining the components of the complement of a digital (n-1)-manifold in ℤn | Lecture Notes in Computer Science |
| Ponencia | 1996 | Multimedia system for instruction and learning electronics | Lecture Notes in Computer Science |
| Ponencia | 1996 | On a visibility representation of graphs | Lecture Notes in Computer Science |
| Artículo | 1996 | On a visibility representation of graphs | GRAPH DRAWING |
| Ponencia | 1995 | A mixed parallel-sequential SHNN for large networks | Lecture Notes in Computer Science |
| Ponencia | 1995 | Low-cost accelerator for the simulation of cellular neural networks | Lecture Notes in Computer Science |
| Ponencia | 1991 | Autonomous controller tuning by using a neural network | Lecture Notes in Computer Science |
| Ponencia | 1991 | CMOS continuous BAM with on chip learning | Lecture Notes in Computer Science |
| Ponencia | 1989 | An algorithm for symbolic computation of center manifolds | Lecture Notes in Computer Science |
