| Ponencia | 2024 | Cryptographic Security Through a Hardware Root of Trust | 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 | Towards a Systematic Comparison Framework for Cloud Services Customer Agreements | 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 | 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 |
| 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 |
| 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 |
| 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 |
| Capítulo | 2022 | Lyapunov stability of a coupled ordinary differential system and a string equation with polytopic uncertainties | Advances in Delays and Dynamics |
| 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 |
| 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 | On topological analysis of cells organization in biological images | Lecture Notes in Computer Science |
| 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 | 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 | 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 | Automating SLA-Driven API Development with SLA4OAI | Lecture Notes in Computer Science |
| 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 |
| Libro | 2019 | Delays and interconnections: methodology, algorithms and applications | Advances in Delays and Dynamics |
| 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 | 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 | 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 | 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 | 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 | Applying model-driven web engineering to the testing phase of the ADAGIO project | Lecture Notes in Computer Science |
| Ponencia | 2018 | Automatic Breast Cancer Grading of Histological Images Based on Colour and Texture Descriptors | Lecture Notes in Computer Science |
| Ponencia | 2018 | Counting membrane systems | Lecture Notes in Computer Science |
| Editorial | 2018 | Foreword | Lecture Notes in Computer Science |
| 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 | On evolution-communication P systems with energy having bounded and unbounded communication | Lecture Notes in Computer Science |
| 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 |
| Capítulo | 2018 | Small spiking neural P systems with structural plasticity | Lecture Notes in Computer Science |
| Ponencia | 2018 | Spiking hough for shape recognition | Lecture Notes in Computer Science |
| Ponencia | 2017 | A microcontroller based system for controlling patient respiratory guidelines | Lecture Notes in Computer Science |
| 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 |
| Artículo | 2017 | Automatic tool for optic disc and cup detection on retinal fundus images | Lecture Notes in Computer Science |
| 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 |
| Editorial | 2017 | Preface | Lecture Notes in Computer Science |
| 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 new multi-objective approach for molecular docking based on rmsd and binding energy | Lecture Notes in Computer Science |
| Ponencia | 2016 | A value model for MOOCs | ADAPTIVE AND ADAPTABLE LEARNING, EC-TEL 2016 |
| Capítulo | 2016 | Building trust and constructive conflict management in organizations | BUILDING TRUST AND CONSTRUCTIVE CONFLICT MANAGEMENT IN ORGANIZATIONS |
| Capítulo | 2016 | Constructive conflict management in organizations: taking stock and looking forward | BUILDING TRUST AND CONSTRUCTIVE CONFLICT MANAGEMENT IN ORGANIZATIONS |
| Ponencia | 2016 | Dynamic multi-objective optimization with jMetal and Spark: A case study | Lecture Notes in Computer Science |
| Ponencia | 2016 | Encoding specific 3D polyhedral complexes using 3D binary images | Lecture Notes in Computer Science |
| 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 | 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 |
| Artículo | 2016 | Mutual Trust in Industrial Relations from a Legal Perspective | BUILDING TRUST AND CONSTRUCTIVE CONFLICT MANAGEMENT IN ORGANIZATIONS |
| Editorial | 2016 | Preface | Lecture Notes in Computer Science |
| Editorial | 2016 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2016 | Simulating reputation with regulatory policies: The case of San Jerónimo vegetable garden, Seville, Spain | Lecture Notes in Computer Science |
| 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 | 2015 | Asynchronous spiking neural p systems with structural plasticity | Lecture Notes in Computer Science |
| Ponencia | 2015 | Multi-stage biomarker models for progression estimation in Alzheimer’s disease | Lecture Notes in Computer Science |
| Ponencia | 2015 | Spatiotemporal barcodes for image sequence analysis | Lecture Notes in Computer Science |
| Ponencia | 2015 | Stabbing segments with rectilinear objects | Lecture Notes in Computer Science |
| 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 |
| 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 | 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 |
| Libro | 2014 | Low-complexity controllers for time-delay systems | Advances in Delays and Dynamics |
| Ponencia | 2014 | On using semantically-aware rules for efficient online communication | Lecture Notes in Computer Science |
| Ponencia | 2014 | Predictive task monitoring for business processes | Lecture Notes in Computer Science |
| Editorial | 2014 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2014 | Proving and computing: Applying automated reasoning to the verification of symbolic computation systems (invited talk) | Lecture Notes in Computer Science |
| Ponencia | 2014 | The relevance of the environment on the efficiency of tissue p systems | Lecture Notes in Computer Science |
| Ponencia | 2014 | Towards a formal specification of SLAs with compensations* | Lecture Notes in Computer Science |
| Ponencia | 2014 | Vulnerability assessment of spatial networks: Models and solutions | Lecture Notes in Computer Science |
| 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 | 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 | Improving the efficiency of MECoMaP: A protein residue-residue contact predictor | Lecture Notes in Computer Science |
| 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 |
| Editorial | 2013 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2013 | Relating transition p systems and spiking neural p systems (Extended Abstract) | Lecture Notes in Computer Science |
| 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 | 2012 | A framework for populating ontological models from semi-structured web documents | Lecture Notes in Computer Science |
| 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 spiking neural P system simulator based on CUDA | Lecture Notes in Computer Science |
| Ponencia | 2012 | An unsupervised technique to extract information from semi-structured web pages | Lecture Notes in Computer Science |
| 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 test case generation from functional requirements in NDT | Lecture Notes in Computer Science |
| 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 | 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 number of radial orderings of colored planar point sets | Lecture Notes in Computer Science |
| 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 | Reverse engineering feature models with evolutionary algorithms: An exploratory study | Lecture Notes in Computer Science |
| 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 | 2011 | Applying ACL2 to the formalization of algebraic topology: Simplicial polynomials | Lecture Notes in Computer Science |
| Ponencia | 2011 | Automatic generation of a data-centered view of business processes | Lecture Notes in Computer Science |
| Ponencia | 2011 | Current developments on computational modeling using P systems | Lecture Notes in Computer Science |
| Ponencia | 2011 | Fuzzy models for fingerprint description | Lecture Notes in Computer Science |
| Ponencia | 2011 | Hidden variables simulating quantum contextuality increasingly violate the holevo bound | Lecture Notes in Computer Science |
| 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 | 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 |
| Editorial | 2011 | Preface | Lecture Notes in Computer Science |
| Editorial | 2011 | Preface | Lecture Notes in Computer Science |
| Ponencia | 2010 | ACS searching for D 4t -hadamard matrices | Lecture Notes in Computer Science |
| Ponencia | 2010 | Computing matrix representations of filiform lie algebras | Lecture Notes in Computer Science |
| Ponencia | 2010 | Integrating aggregation strategies in an in-home domain dialogue system | Lecture Notes in Computer Science |
| 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 |
| Editorial | 2010 | Membrane computing: Preface | Lecture Notes in Computer Science |
| 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 | 2009 | Rooted Trees Searching for Cocyclic Hadamard Matrices over D 4t | Lecture Notes in Computer Science |
| Ponencia | 2009 | Simultaneous optimal control and discrete stochastic sensor selection | Lecture Notes in Computer Science |
| Ponencia | 2009 | Surgical planning and patient-specific biomechanical simulation for tracheal endoprostheses interventions | Lecture Notes in Computer Science |
| Ponencia | 2009 | Universal spaces for (K,K̄) surfaces | Lecture Notes in Computer Science |
| Ponencia | 2008 | Dimensionality reduction for classification, comparison of techniques and dimension choice | Lecture Notes in Computer Science |
| Ponencia | 2008 | Smart environment vectorization an approach to learning of user lighting preferences | Lecture Notes in Computer Science |
| Ponencia | 2007 | A deterministic model to infer gene networks from microarray data | Lecture Notes in Computer Science |
| Ponencia | 2007 | A formally verified prover for the ALC description logic | Lecture Notes in Computer Science |
| Ponencia | 2007 | KRRT: Knowledge representation and reasoning tutor system | Lecture Notes in Computer Science |
| Ponencia | 2007 | On the computation of A∞-maps | Lecture Notes in Computer Science |
| 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 | Targeting differentially co-regulated genes by multiobjective and multimodal optimization | Lecture Notes in Computer Science |
| Ponencia | 2006 | A Genetic Algorithm for Cocyclic Hadamard Matrices | Lecture Notes in Computer Science |
| Ponencia | 2006 | An analysis of service trading architectures | Lecture Notes in Computer Science |
| Ponencia | 2006 | Decision making association rules for recognition of differential gene expression profiles | Lecture Notes in Computer Science |
| Ponencia | 2006 | Fusion of domain knowledge for dynamic learning in transcriptional networks | Lecture Notes in Computer Science |
| Ponencia | 2006 | Gene ranking from microarray data for cancer classification-A machine learning approach | Lecture Notes in Computer Science |
| Ponencia | 2006 | Membrane systems with external control | Lecture Notes in Computer Science |
| Ponencia | 2006 | Mining structural databases: An Evolutionary Multi-Objetive Conceptual Clustering methodology | Lecture Notes in Computer Science |
| Ponencia | 2006 | Optimal selection of microarray analysis methods using a conceptual clustering algorithm | Lecture Notes in Computer Science |
| Ponencia | 2006 | Supervised TextRank | Lecture Notes in Computer Science |
| Artículo | 2005 | A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS) | Lecture Notes in Computer Science |
| Ponencia | 2005 | Application of internode model to global power consumption estimation in SCMOS gates | Lecture Notes in Computer Science |
| 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 |
| 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 |
| Ponencia | 2005 | Nouvelle Cuisine for the computation of the annihilating ideal of f s | Lecture Notes in Computer Science |
| 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 |
| Ponencia | 2005 | Robust blind image watermarking with independent component analysis: A embedding algorithm | Lecture Notes in Computer Science |
| Ponencia | 2005 | Tools for address-event-representation communication systems and debugging | Lecture Notes in Computer Science |
| 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 |
| 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 | Blind source separation in the adaptive reduction of inter-channel interference for OFDM | Lecture Notes in Computer Science |
| Artículo | 2004 | Clustering Main Concepts from e-Mails | Lecture Notes in Computer Science |
| 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 |
| Ponencia | 2004 | Improving the performance of a named entity extractor by applying a stacking scheme | Lecture Notes in Computer Science |
| Artículo | 2004 | Independent component analysis in the watermarking of digital images | Lecture Notes in Computer Science |
| Artículo | 2004 | Verified Computer Algebra in ACL2 (Gröbner Bases Computation) | Lecture Notes in Computer Science |
| Artículo | 2003 | An application of ICA to blind DS-CDMA detection: A joint optimization criterion | Lecture Notes in Computer Science |
| Artículo | 2003 | Decision P systems and the P≠NP conjecture | Lecture Notes in Computer Science |
| 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 |
| 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 |
| Ponencia | 2002 | Electricity market price forecasting: neural networks versus weighted-distance k nearest neighbours | Lecture Notes in Computer Science |
| 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 | Measurement of the switching activity of CMOS digital circuits at the gate level | Lecture Notes in Computer Science |
| Artículo | 2002 | Parallel fuzzy c-means clustering for large data sets | Lecture Notes in Computer Science |
| Ponencia | 2002 | Preface | Lecture Notes in Computer Science |
| Editorial | 2002 | Preface | Lecture Notes in Computer Science |
| Editorial | 2002 | Preface | Lecture Notes in Computer Science |
| 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 |
| 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 |
| 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 |
| 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 | 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 |
| 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 |
| 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 | 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 |
| Ponencia | 1999 | The maude system | Lecture Notes in Computer Science |
| Ponencia | 1999 | Triangle-free planar graphs as segments intersection graphs | Lecture Notes in Computer Science |
| 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 |
| 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 | 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 | 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 |
| 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 |
