Artículo | 2025 |
A cellular automata model of a laser reproducing laser passive and active Q-Switching
|
SIMULATION MODELLING PRACTICE AND THEORY |
Artículo | 2025 |
Automatic generation of efficient oracles: The less-than case
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2025 |
Pricing4APIs: A rigorous model for RESTful API pricings
|
COMPUTER STANDARDS & INTERFACES |
Editorial | 2024 |
2024 Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum: Preface
|
CEUR workshop proceedings |
Artículo | 2024 |
A Bio-inspired Implementation of A Sparse-learning Spike-based Hippocampus Memory Model
|
IEEE Transactions on Emerging Topics in Computing |
Capítulo | 2024 |
A Computational Approach to a Neuromorphic Sequential Memory Bio-Inspired on the Hippocampus and Entorhinal Cortex Formation
|
Springer Proceedings in Materials |
Artículo | 2024 |
A Low-Carbon Operation Optimization Method of ETG-RIES Based on Adaptive Optimization Spiking Neural P Systems
|
Protection and Control of Modern Power Systems |
Revisión | 2024 |
A review of computing models for studying population dynamics of giant panda ecosystems
|
ECOLOGICAL MODELLING |
Capítulo | 2024 |
A SNN-Based Implementation of a Spiking Counter for Filtering and Processing Spike Trains in Real Time
|
Springer Proceedings in Materials |
Artículo | 2024 |
A systematic comparison of deep learning methods for Gleason grading and scoring.
|
Medical Image Analysis |
Ponencia | 2024 |
A Taste of the Different Flavors of Tiramisù
|
CEUR workshop proceedings |
Artículo | 2024 |
Analog Implementation of a Spiking System for Performing Arithmetic Logic Operations on Mixed-Signal Neuromorphic Processors
|
Advanced Intelligent Systems |
Artículo | 2024 |
Analog Sequential Hippocampal Memory Model for Trajectory Learning and Recalling: A Robustness Analysis Overview
|
Advanced Intelligent Systems |
Artículo | 2024 |
Aprendiendo metodologías ágiles jugando con ScrumRPG
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2024 |
Bio-inspired computational memory model of the Hippocampus: An approach to a neuromorphic spike-based Content-Addressable Memory
|
NEURAL NETWORKS |
Artículo | 2024 |
Bridges Between Spiking Neural Membrane Systems and Virus Machines
|
International Journal of Neural Systems |
Artículo | 2024 |
Channel parallel virus machine for power system fault diagnosis
|
Journal of Membrane Computing |
Ponencia | 2024 |
Comparing the efficiency of traffic simulations using cellular automata
|
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering |
Ponencia | 2024 |
Designing a User Interface to Explore Collections of Directly-Follows Graphs for Process Mining Analysis
|
Lecture Notes in Business Information Processing |
Artículo | 2024 |
DPGraphJ: A Java package for the implementation of dynamic programming algorithms
|
SoftwareX |
Artículo | 2024 |
Exploring Gender Bias In Remote Pair Programming Among Software Engineering Students: The twincode Original Study And First External Replication
|
EMPIRICAL SOFTWARE ENGINEERING |
Artículo | 2024 |
ginmappeR: an unified approach for integrating gene and protein identifiers across biological sequence databases.
|
Bioinformatics advances |
Artículo | 2024 |
Governify. An agreement-based service governance framework
|
Software Impacts |
Capítulo | 2024 |
Indoor Positioning System for Nursing Homes
|
Springer Proceedings in Materials |
Ponencia | 2024 |
Integrating a hippocampus memory model into a neuromorphic robotic-arm for trajectory navigation
|
2024 IEEE International Symposium on Circuits and Systems (ISCAS) (2024), pp. 1-5. |
Ponencia | 2024 |
Integrating efficient routes with station monitoring for electric vehicles in urban environments: simulation and analysis
|
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering |
Editorial | 2024 |
Introduction
|
International Journal of Neural Systems |
Ponencia | 2024 |
Mapping the Landscape: Exploring Large Language Model Applications in Business Process Management
|
Lecture Notes in Business Information Processing |
Capítulo | 2024 |
Matrix Representation of Virus Machines
|
Lecture Notes in Computer Science |
Artículo | 2024 |
Mutation Testing in Practice: Insights from Open-Source Software Developers
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2024 |
Neuromorphic Technology Insights in Spain
|
24th IEEE International Conference on Nanotechnology, NANO 2024 |
Artículo | 2024 |
Nonlinear spiking neural systems with autapses for predicting chaotic time series
|
IEEE TRANSACTIONS ON CYBERNETICS |
Artículo | 2024 |
Parallel virus machines
|
Journal of Membrane Computing |
Capítulo | 2024 |
Performance Analysis of CNNs Deployed on Low Power Arquitectures
|
Springer Proceedings in Materials |
Artículo | 2024 |
Predictive Maintenance Edge Artificial Intelligence Application Study Using Recurrent Neural Networks for Early Aging Detection in Peristaltic Pumps
|
IEEE TRANSACTIONS ON RELIABILITY |
Editorial | 2024 |
Preface
|
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering |
Editorial | 2024 |
Preface
|
Lecture Notes in Computer Science |
Capítulo | 2024 |
Pricing4SaaS: Towards a Pricing Model to Drive the Operation of SaaS
|
Lecture Notes in Business Information Processing |
Artículo | 2024 |
Random walk simulation by population dynamics P systems
|
Journal of Membrane Computing |
Artículo | 2024 |
Research artifacts for human-oriented experiments in software engineering: An ACM badges-driven structure proposal
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2024 |
Reservoir computing models based on spiking neural P systems for time series classification
|
NEURAL NETWORKS |
Artículo | 2024 |
Robustness Assessment of AI-Based 2D Object Detection Systems: A Method and Lessons Learned from Two Industrial Cases
|
ELECTRONICS |
Artículo | 2024 |
Sequence recommendation using multi-level self-attention network with gated spiking neural P systems
|
INFORMATION SCIENCES |
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 |
Artículo | 2024 |
SpaceRL-KG: Searching paths automatically combining embedding-based rewards with Reinforcement Learning in Knowledge Graphs
|
EXPERT SYSTEMS WITH APPLICATIONS |
Capítulo | 2024 |
Spiking Convolution Engine for Spiking Convolution Neural Networks
|
Springer Proceedings in Materials |
Artículo | 2024 |
Spiking neural P systems with mute rules
|
INFORMATION AND COMPUTATION |
Ponencia | 2024 |
STATUS: A Low-Code Business Process Compliance Management System
|
CEUR workshop proceedings |
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 |
Ponencia | 2024 |
Tiramisù: A Recipe for Visual Sensemaking of Multi-faceted Process Information
|
Lecture Notes in Business Information Processing |
Artículo | 2024 |
Tiramisù: making sense of multi-faceted process information through time and space
|
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS |
Artículo | 2024 |
Towards a general methodology for formal verification on spiking neural P systems
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2024 |
Towards a lightweight distributed telemetry for microservices
|
Proceedings - 2024 IEEE 44th International Conference on Distributed Computing Systems Workshops, ICDCSW 2024 |
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 |
Capítulo | 2024 |
Towards the Design and Prototyping of Next Generation Advance Warning Triangle V-16 and V-27 Smart and Connected Devices
|
Springer Proceedings in Materials |
Ponencia | 2024 |
Work Tagger: A Labelling Companion
|
CEUR workshop proceedings |
Artículo | 2023 |
A comparative study of the inter-observer variability on Gleason grading against Deep Learning-based approaches for prostate cancer
|
COMPUTERS IN BIOLOGY AND MEDICINE |
Artículo | 2023 |
A Formal Verification of a SAT Solution by P Systems with Evolution Communication and Separation Rules
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2023 |
A Goal-Driven Approach to Support Decision-Making with Incomplete Information in Cyber Operations
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Artículo | 2023 |
A model-based approach for specifying changes in replications of empirical studies in computer Science
|
Computing: archives for scientific computing |
Artículo | 2023 |
A protocol for solutions to DP-complete problems through tissue membrane systems
|
MATHEMATICS |
Artículo | 2023 |
A systematic comparison of different machine learning models for the spatial estimation of air pollution
|
Applied Intelligence |
Ponencia | 2023 |
Advancing IS Strategy for Natural History Museums with Method Engineering in the Digital Age
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Ponencia | 2023 |
AGORA: Automated Generation of Test Oracles for REST APIs
|
ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis |
Libro | 2023 |
Algoritmos y tipos de datos en C
|
Algoritmos y tipos de datos en C |
Artículo | 2023 |
An empirical study to evaluate the impact of mindfulness on helpdesk employees
|
SCIENCE OF COMPUTER PROGRAMMING |
Ponencia | 2023 |
An End-to-End Approach for Online Decision Mining and Decision Drift Analysis in Process-Aware Information Systems
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Libro | 2023 |
Análisis y diseño de algoritmos y tipos de datos
|
Análisis y diseño de algoritmos y tipos de datos |
Artículo | 2023 |
Aprendiendo arquitectura software a partir de proyectos de código abierto en GitHub
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Capítulo | 2023 |
Aprendizaje basado en la Transferencia del Conocimiento entre asignaturas afines en Ingeniería de la Salud (ATC-ISA): fase inicial en Instrumentación Biomédica
|
Mejorando la enseñanza a través de la innovación educativa |
Artículo | 2023 |
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Artículo | 2023 |
Attacking cryptosystems by means of virus machines
|
Scientific reports |
Artículo | 2023 |
Attention-enabled gated spiking neural P model for aspect-level sentiment classification
|
NEURAL NETWORKS |
Ponencia | 2023 |
Automatic Generation of an Efficient Less-Than Oracle for Quantum Amplitude Amplification
|
Proceedings - 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering, Q-SE 2023 |
Artículo | 2023 |
AYNEXT - tools for streamlining the evaluation of link prediction techniques
|
SoftwareX |
Artículo | 2023 |
Bio-inspired modelling as a practical tool to manage giant panda population dynamics in captivity
|
NATURAL COMPUTING |
Artículo | 2023 |
Bioinspired Spike-Based Hippocampus and Posterior Parietal Cortex Models for Robot Navigation and Environment Pseudomapping
|
Advanced Intelligent Systems |
Ponencia | 2023 |
Board miner: a tool to analyze the use of board-based collaborative work management tools
|
Lecture Notes in Computer Science |
Ponencia | 2023 |
Cicero: An AI-Based Writing Assistant for Legal Users
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Artículo | 2023 |
City 5.0: citizen involvement in the design of future cities
|
Electronic Markets |
Artículo | 2023 |
Closed-loop sound source localization in neuromorphic systems
|
Neuromorphic Computing and Engineering |
Capítulo | 2023 |
Cloud development and deployment
|
Optimising the software development process with artificial intelligence |
Artículo | 2023 |
Comprehensive assessment of open source software ecosystem health
|
Internet of Things (Netherlands) |
Ponencia | 2023 |
Conceptual Formalization of Massive Storage for Advancing Decision-Making with Data Analytics
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Artículo | 2023 |
Construction of a spike-based memory using neural-like logic gates based on spiking neural networks on SpiNNaker
|
IEEE Transactions on Emerging Topics in Computing |
Ponencia | 2023 |
Context-Aware Change Pattern Detection in Event Attributes of Recurring Activities
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Corrección | 2023 |
Correction to: A model-based approach for specifying changes in replications of empirical studies in computer Science (Computing, (2022), 10.1007/s00607-022-01133-x)
|
Computing: archives for scientific computing |
Artículo | 2023 |
Deep embeddings and Graph Neural Networks: using context to improve domain-independent predictions
|
Applied Intelligence |
Ponencia | 2023 |
Defining process performance measures in an object-centric context
|
Lecture Notes in Business Information Processing |
Ponencia | 2023 |
Designing ev charging stations deployment through holistic simulations: the sanevec project
|
IET Conference Proceedings |
Editorial | 2023 |
Editorial: Powering the next-generation IoT applications: new tools and emerging technologies for the development of Neuromorphic System of Systems
|
FRONTIERS IN NEUROSCIENCE |
Artículo | 2023 |
Estimation of minimum viable population for giant panda ecosystems with membrane computing models
|
NATURAL COMPUTING |
Artículo | 2023 |
FIDES: A Proposal for Federated Accountability in the Compute Continuum
|
IEEE INTERNET COMPUTING |
Ponencia | 2023 |
From Text to Performance Measurement: Automatically Computing Process Performance Using Textual Descriptions and Event Logs
|
Lecture Notes in Computer Science |
Artículo | 2023 |
Gated spiking neural P systems for time series forecasting
|
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS |
Artículo | 2023 |
Generating, computing and recognizing with virus machines
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2023 |
GraphQL: a systematic mapping study
|
ACM COMPUTING SURVEYS |
Ponencia | 2023 |
IDLGen: Automated Code Generation for Inter-parameter Dependencies in Web APIs
|
Lecture Notes in Computer Science |
Artículo | 2023 |
Infinite Spike Trains in Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2023 |
Integrating IoT-Driven Events into Business Processes
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Artículo | 2023 |
Interfacing PDM MEMS microphones with PFM spiking systems: application for neuromorphic auditory sensors
|
NEURAL PROCESSING LETTERS |
Ponencia | 2023 |
LIPSFUS: A neuromorphic dataset for audio-visual sensory fusion of lip reading
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Ponencia | 2023 |
Live Demonstration: Bio-inspired implementation of a sparse-learning spike-based hippocampus memory model
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Ponencia | 2023 |
LoVizQL: A Query Language for Visualizing and Analyzing Business Processes from Event Logs
|
Lecture Notes in Computer Science |
Artículo | 2023 |
Model transformation testing and debugging: a survey
|
ACM COMPUTING SURVEYS |
Letter | 2023 |
Monodirectional evolutional symport tissue P systems with channel states and cell division
|
SCIENCE CHINA-INFORMATION SCIENCES |
Artículo | 2023 |
Neural networks for aircraft trajectory prediction: answering open questions about their performance
|
IEEE ACCESS |
Ponencia | 2023 |
On the Impact and Lessons Learned from Mindfulness Practice in a Real-World Software Company
|
International Symposium on Empirical Software Engineering and Measurement |
Ponencia | 2023 |
Operating with Quantum Integers: An Efficient ‘Multiples of’ Oracle
|
Communications in Computer and Information Science |
Ponencia | 2023 |
Parsing Causal Models - An Instance Segmentation Approach
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Artículo | 2023 |
Performance-driven metamorphic testing of cyber-physical systems
|
IEEE TRANSACTIONS ON RELIABILITY |
Ponencia | 2023 |
Predictive Recommining: Learning Relations Between Event Log Characteristics and Machine Learning Approaches for Supporting Predictive Process Monitoring
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Editorial | 2023 |
Preface
|
Lecture Notes in Business Information Processing |
Editorial | 2023 |
Preface
|
Lecture Notes in Business Information Processing |
Editorial | 2023 |
Preface
|
Lecture Notes in Computer Science |
Editorial | 2023 |
Preface of the special issue on computational complexity and complex systems
|
Journal of Membrane Computing |
Editorial | 2023 |
Preface to the ICPM 2022 Doctoral Consortium and Tool Demonstration Track
|
CEUR workshop proceedings |
Libro | 2023 |
Problemas, modelos, grafos y algoritmos
|
Problemas, modelos, grafos y algoritmos |
Ponencia | 2023 |
Robustness Testing of an Industrial Road Object Detection System
|
Proceedings - 5th IEEE International Conference on Artificial Intelligence Testing, AITest 2023 |
Ponencia | 2023 |
Rsourcer: Scaling Feedback on Research Drafts
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
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 |
Artículo | 2023 |
Suite de pruebas auto-evaluable como examen de laboratorio: una aproximación pragmática con Spring Boot y GitHub
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2023 |
The environment as a frontier of efficiency in tissue P systems with communication rules
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2023 |
The KYKLOS Tool for Modeling Changing Capabilities
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Artículo | 2023 |
Tissue P systems with evolutional communication rules with two objects in the left-hand side
|
NATURAL COMPUTING |
Artículo | 2023 |
Tissue P systems with states in cells
|
IEEE TRANSACTIONS ON COMPUTERS |
Ponencia | 2023 |
Toward Dependency-Aware API Gateways
|
|
Ponencia | 2023 |
Towards a UML Profile for Designing Smart IoT Data-Centric Applications
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Ponencia | 2023 |
Towards Designing Energy-Aware Cybersecurity Policies
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Ponencia | 2023 |
Towards Leveraging Tests to Identify Impacts of Metamodel and Code Co-evolution
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Artículo | 2023 |
Towards neuromorphic FPGA-based infrastructures for a robotic arm
|
AUTONOMOUS ROBOTS |
Artículo | 2023 |
Using virus machines to compute pairing functions
|
International Journal of Neural Systems |
Ponencia | 2023 |
Visualising Personal Data Flows: Insights from a Case Study of Booking.com
|
INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2023 |
Ponencia | 2023 |
Within-Camera Multilayer Perceptron DVS Denoising
|
IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops |
Capítulo | 2022 |
3.2 Reliable government automation of regulated infrastructures by service level agreements
|
AI knowledge transfer from the university to society: applications in high-impact sectors |
Ponencia | 2022 |
A cellular automaton model of a laser with saturable absorber reproducing laser passive Q-switching
|
Lecture Notes in Computer Science |
Artículo | 2022 |
A mashup-based framework for business process compliance checking
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
Artículo | 2022 |
A new P-Lingua toolkit for agile development in membrane computing
|
INFORMATION SCIENCES |
Artículo | 2022 |
A novel fault diagnosis method of smart grids based on memory spiking neural P systems considering measurement tampering attacks
|
INFORMATION SCIENCES |
Artículo | 2022 |
An event-based digital time difference encoder model implementation for neuromorphic systems
|
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS |
Ponencia | 2022 |
An MPSoC-based on-line edge infrastructure for embedded neuromorphic robotic controllers
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Ponencia | 2022 |
Analyzing how process mining reports answer time performance questions
|
Lecture Notes in Computer Science |
Ponencia | 2022 |
Automated Code Generation for Inter-parameter Dependencies in REST APIs
|
XVII Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (JCIS 2022) (2022), pp. 1-4. |
Ponencia | 2022 |
Automated Generation of Metamorphic Relations for Query-Based Systems
|
Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022 |
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 |
Artículo | 2022 |
Benchmarking Answer Set Programming systems for resource allocation in business processes
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2022 |
BPM in digital transformation: new tools and productivity challenges
|
Lecture Notes in Computer Science |
Artículo | 2022 |
Completing Scientific Facts in Knowledge Graphs of Research Concepts
|
IEEE ACCESS |
Artículo | 2022 |
Convolutional neural networks for segmenting cerebellar fissures from magnetic resonance imaging
|
SENSORS |
Corrección | 2022 |
Corrigendum to Multi-source dataset of e-commerce products with attributes for property matching [Data in Brief 41 (2022) 107884] (Data in Brief (2022) 41, (S2352340922000968), (10.1016/j.dib.2022.107884))
|
DATA IN BRIEF |
Ponencia | 2022 |
Creation of balanced Top Trumps decks with multi-objective evolutionary algorithms and simulation
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
Artículo | 2022 |
Echo spiking neural P systems
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2022 |
Effects of mindfulness on conceptual modeling performance: a series of experiments
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Capítulo | 2022 |
Efficient parallel implementation of cellular automata and stencil computations in current processors
|
Advances in computing, informatics, networking and cybersecurity: a book honoring professor Mohammad S. Obaidat’s significant scientific contributions |
Artículo | 2022 |
Efficient simulation execution of cellular automata on GPU
|
SIMULATION MODELLING PRACTICE AND THEORY |
Artículo | 2022 |
Elastic data analytics for the cloud-to-things continuum
|
IEEE INTERNET COMPUTING |
Artículo | 2022 |
Exogenous shocks and business process management: a scholars’ perspective on challenges and opportunities
|
BUSINESS & INFORMATION SYSTEMS ENGINEERING |
Artículo | 2022 |
From SAT to SAT-UNSAT using P systems with dissolution rules
|
Journal of Membrane Computing |
Libro | 2022 |
Fundamentos de programación: JAVA
|
Fundamentos de programación: JAVA |
Libro | 2022 |
Fundamentos de programación: PYTHON
|
Fundamentos de programación: PYTHON |
Ponencia | 2022 |
Generación Automática de Oráculos de Prueba para APIs RESTful
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
Ponencia | 2022 |
GraphQL or REST for mobile applications?
|
Communications in Computer and Information Science |
Editorial | 2022 |
Guest editorial introduction to the special section on bio-inspired computing – emerging theories and industry applications
|
COMPUTERS & ELECTRICAL ENGINEERING |
Capítulo | 2022 |
Inter-parameter dependencies in real-world web APIs: the IDEA dataset
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
Artículo | 2022 |
LEAPME: learning-based property matching with embeddings
|
DATA & KNOWLEDGE ENGINEERING |
Artículo | 2022 |
MAREX: A general purpose hardware architecture for membrane computing
|
INFORMATION SCIENCES |
Artículo | 2022 |
Membrane creation and symport/antiport rules solving QSAT
|
Journal of Membrane Computing |
Data Paper | 2022 |
Multi-source dataset of e-commerce products with attributes for property matching
|
DATA IN BRIEF |
Artículo | 2022 |
Mutation testing in the wild: findings from GitHub
|
EMPIRICAL SOFTWARE ENGINEERING |
Ponencia | 2022 |
Online testing of RESTful APIs: promises and challenges
|
ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering |
Ponencia | 2022 |
P systems with evolutional communication and separation rules
|
Lecture Notes in Computer Science |
Artículo | 2022 |
P systems with evolutional symport and membrane creation rules solving QSAT
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2022 |
Perses: A framework for the continuous evaluation of the QoS of distributed mobile applications
|
PERVASIVE AND MOBILE COMPUTING |
Editorial | 2022 |
Preface
|
Lecture Notes in Computer Science |
Editorial | 2022 |
Preface
|
Lecture Notes in Computer Science |
Ponencia | 2022 |
Pruebas de APIs REST guiadas por Aprendizaje Activo
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
Ponencia | 2022 |
Pruebas de Mutación de APIs Web: Un Enfoque de Caja Negra
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
Ponencia | 2022 |
Quality in use evaluation of a GraphQL implementation
|
Emerging research in intelligent systems: proceedings of the CIT 2021 (volume 1) |
Ponencia | 2022 |
Robustness testing of a machine learning-based road object detection system: an industrial case
|
Proceedings - Workshop on Software Engineering for Responsible AI, SE4RAI 2022 |
Ponencia | 2022 |
Rolling Back to Manual Work: An Exploratory Research on Robotic Process Re-Manualization
|
Lecture Notes in Business Information Processing |
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 |
Artículo | 2022 |
Silence — A web framework for an agile generation of RESTful APIs
|
SoftwareX |
Artículo | 2022 |
SLA-aware operational efficiency in AI-enabled service chains: challenges ahead
|
Information Systems and e-Business Management |
Artículo | 2022 |
Small universal improved spiking neural P systems with multiple channels and autapses
|
Journal of Membrane Computing |
Artículo | 2022 |
Specification and automated analysis of inter-parameter dependencies in Web APIs
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
Ponencia | 2022 |
Spike-based building blocks for performing logic operations using Spiking Neural Networks on SpiNNaker
|
2022 International Joint Conference on Neural Networks (IJCNN) |
Ponencia | 2022 |
Spike-based computational models of bio-inspired memories in the hippocampal CA3 region on SpiNNaker
|
Proceedings of the International Joint Conference on Neural Networks |
Artículo | 2022 |
Spiking neural P systems without duplication
|
INFORMATION SCIENCES |
Ponencia | 2022 |
Towards hardware Implementation of WTA for CPG-based control of a Spiking Robotic Arm
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Ponencia | 2022 |
Towards the neuromorphic implementation of the auditory perception in the iCub robotic platform
|
ACM International Conference Proceeding Series |
Ponencia | 2022 |
Updating prediction models for predictive process monitoring
|
Lecture Notes in Computer Science |
Editorial | 2022 |
Workshop on Natural Computing - WNC 2022 (Preface)
|
CEUR workshop proceedings |
Artículo | 2021 |
A cellular automata agent-based hybrid simulation tool to analyze the deployment of electric vehicle charging stations
|
SUSTAINABILITY |
Artículo | 2021 |
A complete arithmetic calculator constructed from spiking neural P systems and its application to information fusion
|
International Journal of Neural Systems |
Artículo | 2021 |
A deep-learning based posture detection system for preventing telework-related musculoskeletal disorders
|
SENSORS |
Capítulo | 2021 |
A family of experiments to evaluate the effects of mindfulness on software engineering students
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
Artículo | 2021 |
A Fault Analysis Method for Three-Phase Induction Motors Based on Spiking Neural P Systems
|
COMPLEXITY |
Artículo | 2021 |
A flexible billing life cycle for cloud services using augmented customer agreements
|
IEEE ACCESS |
Artículo | 2021 |
A membrane computing framework for social navigation in robotics
|
COMPUTERS & ELECTRICAL ENGINEERING |
Revisión | 2021 |
A survey of nature-inspired computing: membrane computing
|
ACM COMPUTING SURVEYS |
Libro | 2021 |
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
Ponencia | 2021 |
An elasticity framework for smart contracts
|
Proceedings - 2021 IEEE International Conference on Smart Data Services, SMDS 2021 |
Ponencia | 2021 |
Artifact: virtual environment for evaluating the QoS of distributed mobile applications
|
2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021 |
Artículo | 2021 |
Automated validation of compensable SLAs
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
Ponencia | 2021 |
Autonomous driving of a rover-like robot using neuromorphic computing
|
Lecture Notes in Computer Science |
Ponencia | 2021 |
Black-box and white-box test case generation for RESTful APIs: enemies or allies?
|
Proceedings - International Symposium on Software Reliability Engineering, ISSRE |
Ponencia | 2021 |
Bluejay: a cross-tooling audit framework for agile software teams
|
Proceedings - International Conference on Software Engineering |
Ponencia | 2021 |
BRANCH: an ASP systems benchmark for resource allocation in business processes
|
CEUR workshop proceedings |
Artículo | 2021 |
CAFE: knowledge graph completion using neighborhood-aware features
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
Libro | 2021 |
Ciencia, tecnología y humanidades en la era del conocimiento
|
Ciencia, tecnología y humanidades en la era del conocimiento |
Ponencia | 2021 |
Deep learning-based prediction of test input validity for RESTful APIs
|
Proceedings - 2021 IEEE/ACM 3rd International Workshop on Deep Learning for Testing and Testing for Deep Learning, DeepTest 2021 |
Ponencia | 2021 |
DemaBot: a tool to automatically generate decision-support chatbots
|
CEUR workshop proceedings |
Artículo | 2021 |
Dendrite P systems toolbox: representation, algorithms and simulators
|
International Journal of Neural Systems |
Ponencia | 2021 |
Design patterns for board-based collaborative work management tools
|
Lecture Notes in Computer Science |
Ponencia | 2021 |
Dynamic Vision Sensor integration on FPGA-based CNN accelerators for high-speed visual classification
|
ACM International Conference Proceeding Series |
Ponencia | 2021 |
Effects of Mindfulness on Conceptual Modeling Performance: A Series of Experiments
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
Artículo | 2021 |
Elastic Smart Contracts in Blockchains
|
IEEE/CAA Journal of Automatica Sinica |
Ponencia | 2021 |
Empirical strategies in software engineering research: a literature survey
|
Proceedings - 2021 2nd International Conference on Information Systems and Software Technologies, ICI2ST 2021 |
Libro | 2021 |
Empleabilidad y talento digital: índice de talento digital 2020
|
Empleabilidad y talento digital: índice de talento digital 2020 |
Capítulo | 2021 |
Evaluating testing techniques in highly-configurable systems: the Drupal dataset
|
Research and evidence in software engineering: from empirical studies to Open Source artifacts |
Artículo | 2021 |
Flipping laboratory sessions in a computer science course: an experience report
|
IEEE TRANSACTIONS ON EDUCATION |
Ponencia | 2021 |
Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
Ponencia | 2021 |
Introduction to the digital government and Business Process Management (BPM) minitrack HICSS'54
|
Proceedings of the Annual Hawaii International Conference on System Sciences |
Ponencia | 2021 |
Many-Objective Test Suite Generation for Software Product Lines
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
Capítulo | 2021 |
Máquinas en la naturaleza viva
|
Ciencia, tecnología y humanidades en la era del conocimiento |
Artículo | 2021 |
Medical image fusion method based on coupled neural P systems in nonsubsampled shearlet transform domain
|
International Journal of Neural Systems |
Libro | 2021 |
Membrane Computing Models: Implementations
|
Membrane Computing Models: Implementations |
Artículo | 2021 |
Modeling variability in the performance perspective of business processes
|
IEEE ACCESS |
Artículo | 2021 |
Monodirectional tissue P systems with promoters
|
IEEE TRANSACTIONS ON CYBERNETICS |
Artículo | 2021 |
OpenNAS: Open Source Neuromorphic Auditory Sensor HDL code generator for FPGA implementations
|
NEUROCOMPUTING |
Artículo | 2021 |
P systems with evolutional communication and division rules
|
Axioms |
Artículo | 2021 |
Performance evaluation of deep learning-based prostate cancer screening methods in histopathological images: measuring the impact of the model’s complexity on its processing speed
|
SENSORS |
Artículo | 2021 |
Performance mutation testing
|
SOFTWARE TESTING VERIFICATION & RELIABILITY |
Ponencia | 2021 |
PPINOT computer and ppinot4py: two libraries to compute process performance indicators
|
CEUR workshop proceedings |
Artículo | 2021 |
Práctica de desarrollo de una red de sensores basada en la programación de microcontroladores para sistemas en tiempo real
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Editorial | 2021 |
Preface
|
Studies in Computational Intelligence |
Ponencia | 2021 |
Problem generalization for designing recursive algorithms
|
Advances in Intelligent Systems and Computing |
Capítulo | 2021 |
Process Performance Indicators for IT Service Management:
|
Research and Evidence in Software Engineering |
Ponencia | 2021 |
Productivity challenges in digital transformation and its implications for workstream collaboration tools
|
Proceedings of the Annual Hawaii International Conference on System Sciences |
Artículo | 2021 |
Proof techniques in membrane computing
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2021 |
Pruebas de Mutación de Caja Negra para APIs Web
|
|
Ponencia | 2021 |
Pruebas de Mutación de Caja Negra para APIs Web
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
Artículo | 2021 |
pyNAVIS: an open-source cross-platform software for spike-based neuromorphic audio information processing
|
NEUROCOMPUTING |
Artículo | 2021 |
Real-time detection of bursts in neuronal cultures using a neuromorphic auditory sensor and spiking neural networks
|
NEUROCOMPUTING |
Ponencia | 2021 |
RESTest: automated black-box testing of RESTful web APIs
|
ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis |
Ponencia | 2021 |
RESTest: Pruebas de Caja Negra para APIs REST con Soporte para Restricciones
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
Artículo | 2021 |
Search by triplet: an efficient local track reconstruction algorithm for parallel architectures
|
JOURNAL OF COMPUTATIONAL SCIENCE |
Artículo | 2021 |
Seven paradoxes of business process management in a hyper-connected world
|
BUSINESS & INFORMATION SYSTEMS ENGINEERING |
Artículo | 2021 |
Silence: un framework de apoyo a la docencia de desarrollo web
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2021 |
Spiking neural P systems with autapses
|
INFORMATION SCIENCES |
Artículo | 2021 |
Spiking neural P systems with delay on synapses
|
International Journal of Neural Systems |
Artículo | 2021 |
Spiking neural P systems with extended channel rules
|
International Journal of Neural Systems |
Ponencia | 2021 |
Towards the smart use of embedding and instance features for property matching
|
Proceedings - International Conference on Data Engineering |
Artículo | 2021 |
Tuning frontiers of efficiency in tissue P systems with evolutional communication rules
|
COMPLEXITY |
Ponencia | 2021 |
Virtual environment for evaluating the QoS of distributed mobile applications
|
2021 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021 |
Artículo | 2021 |
Wide & Deep neural network model for patch aggregation in CNN-based prostate cancer detection systems
|
COMPUTERS IN BIOLOGY AND MEDICINE |
Artículo | 2021 |
Wildlife monitoring on the edge: a performance evaluation of embedded neural networks on microcontrollers for animal behavior classification.
|
SENSORS |
Artículo | 2020 |
A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning
|
INTEGRATED COMPUTER-AIDED ENGINEERING |
Artículo | 2020 |
A neural network for semantic labelling of structured information
|
EXPERT SYSTEMS WITH APPLICATIONS |
Artículo | 2020 |
A novel solution for GCP based on an OLMS membrane algorithm with dynamic operators
|
Journal of Membrane Computing |
Revisión | 2020 |
A review of membrane computing models for complex ecosystems and a case study on a complex giant panda system
|
COMPLEXITY |
Artículo | 2020 |
A scheduler for SCADA-based multi-source fusion systems
|
INFORMATION FUSION |
Artículo | 2020 |
A weighted corrective fuzzy reasoning spiking neural P system for fault diagnosis in power systems with variable topologies
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
Artículo | 2020 |
Adaptative parallel simulators for bioinspired computing models
|
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE |
Ponencia | 2020 |
An optimal solution to the SAT problem with tissue P systems
|
BWMC 2020: Eighteenth Brainstorming Week on Membrane Computing (2020), pp. 91-100. |
Artículo | 2020 |
An overview of hardware implementation of membrane computing models
|
ACM COMPUTING SURVEYS |
Capítulo | 2020 |
Buscando máquinas de cálculo vivas... desesperadamente...
|
Matemáticas: cotidianidad y belleza |
Artículo | 2020 |
Cell-like P systems with evolutional symport/antiport rules and membrane creation
|
INFORMATION AND COMPUTATION |
Artículo | 2020 |
Cell-like P systems with polarizations and minimal rules
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2020 |
Context-aware process performance indicator prediction
|
IEEE ACCESS |
Artículo | 2020 |
COVID-XNet: a custom deep learning system to diagnose and locate COVID-19 in chest x-ray images
|
APPLIED SCIENCES-BASEL |
Artículo | 2020 |
Dendrite P systems
|
NEURAL NETWORKS |
Artículo | 2020 |
Developing efficient discrete simulations on multicore and GPU architectures
|
ELECTRONICS |
Artículo | 2020 |
Early evaluation of mobile applications' resource consumption and operating costs
|
IEEE ACCESS |
Artículo | 2020 |
ED-BioRob: a neuromorphic robotic arm with FPGA-based infrastructure for bio-inspired spiking motor controllers
|
Frontiers in Neurorobotics |
Artículo | 2020 |
Event-based gesture recognition through a hierarchy of time-surfaces for FPGA
|
SENSORS |
Artículo | 2020 |
Flipping laboratory sessions: an experience in computer science
|
IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA |
Artículo | 2020 |
From NP-completeness to DP-completeness: a membrane computing perspective
|
COMPLEXITY |
Artículo | 2020 |
Hecatonquiros: Open-source hardware for aerial manipulation applications
|
INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS |
Ponencia | 2020 |
Live demonstration: CNN edge computing for mobile robot navigation
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Ponencia | 2020 |
Live demonstration: Neuromorphic sensory integration for combining sound source localization and collision avoidance
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Artículo | 2020 |
Many-objective test suite generation for software product lines
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
Artículo | 2020 |
Membrane creation in polarizationless P systems with active membranes
|
FUNDAMENTA INFORMATICAE |
Editorial | 2020 |
Message from the Workshop Chairs
|
Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020 |
Artículo | 2020 |
Metamorphic testing: testing the untestable
|
IEEE Software |
Artículo | 2020 |
Neuropod: a real-time neuromorphic spiking CPG applied to robotics
|
NEUROCOMPUTING |
Artículo | 2020 |
Nonlinear Spiking Neural P Systems
|
International Journal of Neural Systems |
Capítulo | 2020 |
Optimización del despliegue de una red de cargadores eléctricos mediante simulación computacional
|
La investigación de hoy, el futuro de mañana |
Artículo | 2020 |
P systems with symport/antiport rules: when do the surroundings matter?
|
THEORETICAL COMPUTER SCIENCE |
Editorial | 2020 |
Preface
|
Lecture Notes in Business Information Processing |
Editorial | 2020 |
Preface of the special issue for Gheorghe Pǎun’s 70th anniversary
|
Journal of Membrane Computing |
Artículo | 2020 |
PROMETEO: A CNN-Based Computer-Aided Diagnosis System for WSI Prostate Cancer Detection
|
IEEE ACCESS |
Ponencia | 2020 |
Qos-aware metamorphic testing: an elevation case study
|
Proceedings - International Symposium on Software Reliability Engineering, ISSRE |
Ponencia | 2020 |
RESTest: black-box constraint-based testing of RESTful web APIs
|
Lecture Notes in Computer Science |
Artículo | 2020 |
Seeking computational efficiency boundaries: the Păun’s conjecture
|
Journal of Membrane Computing |
Artículo | 2020 |
Simulation challenges in membrane computing
|
Journal of Membrane Computing |
Artículo | 2020 |
Spiking neural P systems with inhibitory rules
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2020 |
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs
|
IEEE ACCESS |
Artículo | 2020 |
The computational power of cell-like P systems with one protein on membrane
|
Journal of Membrane Computing |
Artículo | 2020 |
The RALph miner for automated discovery and verification of resource-aware process models
|
SOFTWARE AND SYSTEMS MODELING |
Artículo | 2020 |
Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework
|
Journal of Membrane Computing |
Ponencia | 2020 |
Towards an automated management of well-being goals in nursing homes
|
Communications in Computer and Information Science |
Artículo | 2020 |
When object production tunes the efficiency of membrane systems
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2019 |
A Catalogue of Inter-parameter Dependencies in RESTful Web APIs
|
Lecture Notes in Computer Science |
Ponencia | 2019 |
A fast local algorithm for track reconstruction on parallel architectures
|
Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2019 |
Ponencia | 2019 |
A Hybrid Reliability Metric for SLA Predictive Monitoring
|
SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING |
Ponencia | 2019 |
A low-power, reachable, wearable and intelligent IoT device for animal activity monitoring
|
IJCCI 2019 - Proceedings of the 11th International Joint Conference on Computational Intelligence |
Ponencia | 2019 |
A new perspective on computational complexity theory in Membrane Computing
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
Artículo | 2019 |
A path to computational efficiency through membrane computing
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2019 |
A syntax for semantics in P-Lingua
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
Artículo | 2019 |
Adjacent Graph Based Vulnerability Assessment for Electrical Networks Considering Fault Adjacent Relationships Among Branches
|
IEEE ACCESS |
Ponencia | 2019 |
An apparently innocent problem in Membrane Computing
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
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 |
An extended abstract of "metamorphic testing: Testing the untestable"
|
2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1 |
Artículo | 2019 |
An interactive timeline of simulators in membrane computing
|
Journal of Membrane Computing |
Artículo | 2019 |
Automated analysis of feature models: Quo vadis?
|
Computing: archives for scientific computing |
Ponencia | 2019 |
Automated analysis of feature models: quo vadis?
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
Ponencia | 2019 |
Automated Multi-perspective Process Generation in the Manufacturing Domain
|
Lecture Notes in Business Information Processing |
Ponencia | 2019 |
Automating SLA-Driven API Development with SLA4OAI
|
Lecture Notes in Computer Science |
Ponencia | 2019 |
AYNEC-DataGen: A tool for generating evaluation datasets for Knowledge Graphs completion
|
Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019 |
Ponencia | 2019 |
AYNEC: All you need for evaluating completion techniques in knowledge graphs
|
SEMANTIC WEB, ESWC 2019 |
Editorial | 2019 |
Bio-Inspired Computing: Theories and Applications (BIC-TA 2017) Preface
|
FUNDAMENTA INFORMATICAE |
Artículo | 2019 |
Bio-inspired stereo vision calibration for dynamic vision sensors
|
IEEE ACCESS |
Ponencia | 2019 |
BPM adoption at Bilfinger
|
CEUR workshop proceedings |
Ponencia | 2019 |
Breast cancer automatic diagnosis system using faster regional convolutional neural networks
|
IJCCI 2019 - Proceedings of the 11th International Joint Conference on Computational Intelligence |
Artículo | 2019 |
Building efficient computational cellular automata models of complex systems: background, applications, results, software, and pathologies
|
ADVANCES IN COMPLEX SYSTEMS |
Artículo | 2019 |
Cascading Failures Analysis Considering Extreme Virus Propagation of Cyber-Physical Systems in Smart Grids
|
COMPLEXITY |
Capítulo | 2019 |
Clasificación de tumores en cáncer de mama basado en redes neuronales de convolución
|
Avances en la investigación en ciencia e ingeniería |
Capítulo | 2019 |
Control neuromórfico del brazo robótico BIOROB del Citec de la Universidad de Bielefeld
|
Avances en la investigación en ciencia e ingeniería |
Capítulo | 2019 |
Deep learning as a tool for improving efficiency of glial tumor diagnosis
|
Avances en la investigación en ciencia e ingeniería |
Capítulo | 2019 |
Deep learning glaucoma diagnosis aid
|
Avances en la investigación en ciencia e ingeniería |
Artículo | 2019 |
Deep Web crawling: a survey
|
World Wide Web |
Ponencia | 2019 |
Design of Specific P Systems Simulators on GPUs
|
Lecture Notes in Computer Science |
Capítulo | 2019 |
Diseño, implementación y evaluación de clúster RB-Pi para el procesamiento de visión en paralelo
|
Avances en la investigación en ciencia e ingeniería |
Ponencia | 2019 |
Does your accurate process predictive monitoring model give reliable predictions?
|
Lecture Notes in Computer Science |
Artículo | 2019 |
Dynamic threshold neural P systems
|
KNOWLEDGE-BASED SYSTEMS |
Ponencia | 2019 |
Eagle: A Team Practices Audit Framework for Agile Software Development
|
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING |
Ponencia | 2019 |
Efficient DMA transfers management on embedded Linux PSoC for Deep-Learning gestures recognition: Using Dynamic Vision Sensor and NullHop one-layer CNN accelerator to play RoShamBo
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
Ponencia | 2019 |
ELECTRA: Induced usage limitations calculation in RESTful APIs
|
Lecture Notes in Computer Science |
Ponencia | 2019 |
Extended abstract of "Spectrum-based fault localization in Software Product Lines"
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
Ponencia | 2019 |
Generating rules to filter candidate triples for their correctness checking by knowledge graph completion techniques
|
K-CAP 2019 - Proceedings of the 10th International Conference on Knowledge Capture |
Ponencia | 2019 |
Glioma diagnosis aid through CNNs and fuzzy-C means for MRI
|
IJCCI 2019 - Proceedings of the 11th International Joint Conference on Computational Intelligence |
Ponencia | 2019 |
Governify for APIs: SLA-Driven Ecosystem for API Governance
|
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING |
Capítulo | 2019 |
Herramienta software para la enseñanza del paralelismo a nivel de instrucciones (ILP)
|
Avances en Arquitectura y Tecnología de Computadores: Actas de Jornadas SARTECO, Cáceres, 18 a 20 de septiembre de 2019| |
Ponencia | 2019 |
History-aware dynamic process fragmentation for risk-aware resource allocation
|
Lecture Notes in Computer Science |
Artículo | 2019 |
Interval-valued fuzzy spiking neural P systems for fault diagnosis of power transmission networks
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
Artículo | 2019 |
Invirtiendo las clases de laboratorio en Ingeniería Informática: un enfoque ágil
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2019 |
Large expert-curated database for benchmarking document similarity detection in biomedical literature search
|
DATABASE-THE JOURNAL OF BIOLOGICAL DATABASES AND CURATION |
Ponencia | 2019 |
Live demonstration: Neuromorphic robotics, from audio to locomotion through spiking CPG on SpiNNaker
|
2019 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Ponencia | 2019 |
Live demonstration: Neuromorphic row-by-row multi-convolution FPGA processor-SpiNNaker architecture for dynamic-vision feature extraction
|
2019 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Capítulo | 2019 |
Localización e identificación automática de pólipos mediante una red neuronal convolucional por regiones
|
Avances en la investigación en ciencia e ingeniería |
Artículo | 2019 |
Low latency event-based filtering and feature extraction for dynamic vision sensors in real-time FPGA applications
|
IEEE ACCESS |
Artículo | 2019 |
Measuring Performance in Knowledge-intensive Processes
|
ACM TRANSACTIONS ON INTERNET TECHNOLOGY |
Ponencia | 2019 |
Metamorphic Relation Patterns for Query-Based Systems
|
2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019) |
Artículo | 2019 |
Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems
|
Journal of Membrane Computing |
Artículo | 2019 |
Modeling Fault Propagation Paths in Power Systems: A New Framework Based on Event SNP Systems With Neurotransmitter Concentration
|
IEEE ACCESS |
Artículo | 2019 |
Modelling complex market interactions using PDP systems
|
Journal of Membrane Computing |
Ponencia | 2019 |
Multi-dataset training for medical image segmentation as a service
|
IJCCI 2019 - Proceedings of the 11th International Joint Conference on Computational Intelligence |
Capítulo | 2019 |
MYOARM: prótesis robótica con sensado emg y entrenamiento con redes neuronales
|
Avances en la investigación en ciencia e ingeniería |
Artículo | 2019 |
Neuromorphic LIF Row-by-Row Multiconvolution Processor for FPGA
|
IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS |
Ponencia | 2019 |
Neuromorphic Sensory Integration for Combining Sound Source Localization and Collision Avoidance
|
BioCAS 2019 - Biomedical Circuits and Systems Conference, Proceedings |
Artículo | 2019 |
Neuronal specialization for fine-grained distance estimation using a real-time bio-inspired stereo vision system
|
ELECTRONICS |
Ponencia | 2019 |
New applications for an old tool
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
Artículo | 2019 |
NullHop: A Flexible Convolutional Neural Network Accelerator Based on Sparse Representations of Feature Maps
|
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS |
Artículo | 2019 |
P systems with proteins: a new frontier when membrane division disappears
|
Journal of Membrane Computing |
Ponencia | 2019 |
P Systems: from Anti-Matter to Anti-Rules
|
BWMC 2019: Seventeenth Brainstorming Week on Membrane Computing (2019) |
Artículo | 2019 |
P-Lingua in two steps: flexibility and efficiency
|
Journal of Membrane Computing |
Ponencia | 2019 |
Polyp detection in gastrointestinal images using faster regional convolutional neural network
|
VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications |
Capítulo | 2019 |
Rehabilitación de pacientes con movilidad reducida usando exoesqueleto y técnicas de gamificación
|
Avances en la investigación en ciencia e ingeniería |
Ponencia | 2019 |
Reparación de pruebas de interfaz de usuario en Android como un problema de búsqueda
|
Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019 |
Artículo | 2019 |
Replication of studies in empirical software engineering: a systematic mapping study from 2013 to 2018
|
IEEE ACCESS |
Ponencia | 2019 |
Responsibility modeling and tracking against process performance indicators
|
XXII Ibero-American Conference on Software Engineering, CIbSE 2019 |
Capítulo | 2019 |
Results on computational complexity in bio-inspired computing
|
Bio-Inspired Computing Models and Algorithms |
Ponencia | 2019 |
Sampling frequency evaluation on recurrent neural networks architectures for IoT real-time fall detection devices
|
IJCCI 2019 - Proceedings of the 11th International Joint Conference on Computational Intelligence |
Libro | 2019 |
Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019 : RGNC REPORT 1/2019
|
Seventeenth Brainstorming Week on Membrane Computing Sevilla, February 5 - 8, 2019 : RGNC REPORT 1/2019 |
Capítulo | 2019 |
Sistema HW-SW de telerehabilitación y telemedicina para pacientes Epoc con hiperinsuflación pulmonar
|
Avances en la investigación en ciencia e ingeniería |
Artículo | 2019 |
Solving the 0-1 Knapsack Problem by Using Tissue P System With Cell Division
|
IEEE ACCESS |
Ponencia | 2019 |
Spiking row-by-row FPGA multi-kernel and multi-layer convolution processor
|
Proceedings - 29th International Conference on Field-Programmable Logic and Applications, FPL 2019 |
Artículo | 2019 |
Stereo Matching in Address-Event-Representation (AER) Bio-Inspired Binocular Systems in a Field-Programmable Gate Array (FPGA)
|
ELECTRONICS |
Ponencia | 2019 |
Study of Trivial Compiler Equivalence on C plus plus Object-Oriented Mutation Operators
|
SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING |
Artículo | 2019 |
TAPON-MT: A versatile framework for semantic labelling
|
INFORMATION SYSTEMS |
Artículo | 2019 |
TAPON: A two-phase machine learning approach for semantic labelling
|
KNOWLEDGE-BASED SYSTEMS |
Ponencia | 2019 |
Test coverage criteria for RESTfulWeb APIs
|
A-TEST 2019 - Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, co-located with ESEC/FSE 2019 |
Ponencia | 2019 |
The Role of Limitations and SLAs in the API Industry
|
ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING |
Ponencia | 2019 |
Towards the Definition of Test Coverage Criteria for RESTful Web APIs
|
Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019 |
Capítulo | 2019 |
Travel planner: sistema experto en la nube para generación automática de rutas turísticas en base al usuario
|
Avances en la investigación en ciencia e ingeniería |
Artículo | 2019 |
Visual ppinot: A Graphical Notation for Process Performance Indicators
|
BUSINESS & INFORMATION SYSTEMS ENGINEERING |
Ponencia | 2019 |
Work-in-progress: A neuromorphic approach of the sound source localization task in real-time embedded systems
|
Proceedings of the International Conference on Embedded Software Companion, EMSOFT 2019 |
Artículo | 2018 |
A Configurable Event-Driven Convolutional Node with Rate Saturation Mechanism for Modular ConvNet Systems Implementation
|
FRONTIERS IN NEUROSCIENCE |
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 |
Ponencia | 2018 |
A protocol generator tool for automatic in-vitro HPV robotic analysis
|
ROBOT 2017: THIRD IBERIAN ROBOTICS CONFERENCE, VOL 2 |
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 |
Artículo | 2018 |
A template-based approach for responsibility management in executable business processes
|
ENTERPRISE INFORMATION SYSTEMS |
Artículo | 2018 |
An experimental replication on the effect of the practice of mindfulness in conceptual modeling performance
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2018 |
Application of Neural-Like P Systems With State Values for Power Coordination of Photovoltaic/Battery Microgrids
|
IEEE ACCESS |
Artículo | 2018 |
Approaching Retinal Ganglion Cell Modeling and FPGA Implementation for Robotics
|
ENTROPY |
Artículo | 2018 |
Automated inference of likely metamorphic relations for model transformations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2018 |
Blockchains for Business Process Management - Challenges and Opportunities
|
ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS |
Ponencia | 2018 |
Counting membrane systems
|
Lecture Notes in Computer Science |
Artículo | 2018 |
Deep neural networks for the recognition and classification of heart murmurs using neuromorphic auditory sensors
|
IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS |
Ponencia | 2018 |
Deep Spiking Neural Network model for time-variant signals classification: A real-time speech recognition approach
|
Proceedings of the International Joint Conference on Neural Networks |
Artículo | 2018 |
Embedded neural network for real-time animal behavior classification
|
NEUROCOMPUTING |
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 |
Capítulo | 2018 |
Estimación de distancias mediante un sistema de estéreo-visión basado en retinas DVS
|
IV jornada de investigación y postgrado |
Ponencia | 2018 |
Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: un enfoque evolutivo
|
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018 |
Ponencia | 2018 |
Event-based Row-by-Row Multi-convolution engine for Dynamic-Vision Feature Extraction on FPGA
|
Proceedings of the International Joint Conference on Neural Networks |
Artículo | 2018 |
Fault Diagnosis of Power Systems Using Intuitionistic Fuzzy Spiking Neural P Systems
|
IEEE TRANSACTIONS ON SMART GRID |
Editorial | 2018 |
Foreword
|
NEUROTECHNIX 2018 - Proceedings of the 6th International Congress on Neurotechnology, Electronics and Informatics |
Editorial | 2018 |
Foreword
|
Lecture Notes in Computer Science |
Artículo | 2018 |
From distribution to replication in cooperative systems with active membranes: A frontier of the efficiency
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2018 |
Graphics processing unit-enhanced genetic algorithms for solving the temporal dynamics of gene regulatory networks
|
EVOLUTIONARY BIOINFORMATICS |
Artículo | 2018 |
Introducción a la Programación con Python, Computación Interactiva y Aprendizaje Significativo
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Ponencia | 2018 |
Introduction to the Workshop on Cross-cutting Aspects of Business Process Management
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017) |
Editorial | 2018 |
Introduction to the workshop on cross-cutting aspects of business process management
|
Lecture Notes in Business Information Processing |
Otros | 2018 |
Laser Dynamics from a Membrane Computing Perspective
|
Bulletin of the International Membrane Computing Society |
Ponencia | 2018 |
Limits on P Systems with Proteins and Without Division
|
BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018) |
Ponencia | 2018 |
Live Demonstration: Real-time neuro-inspired sound source localization and tracking architecture applied to a robotic platform
|
2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
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 |
Metamorphic Testing 20 Years Later: A Hands-on Introduction
|
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION |
Artículo | 2018 |
Metamorphic testing of RESTful Web APIs
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Ponencia | 2018 |
Mining expressive and executable resource-aware imperative process models
|
Lecture Notes in Business Information Processing |
Artículo | 2018 |
Mining team compositions for collaborative work in business processes
|
SOFTWARE AND SYSTEMS MODELING |
Ponencia | 2018 |
Narrowing Frontiers of Efficiency with Evolutional Communication Rules and Cell Separation
|
BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (2018) |
Corrección | 2018 |
NAVIS: Neuromorphic Auditory VISualizer Tool (vol 237C, pg 418, 2017)
|
NEUROCOMPUTING |
Ponencia | 2018 |
On GPU-Oriented P systems
|
PROCEEDINGS 2018 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS) |
Ponencia | 2018 |
On the relationships between decision management and performance measurement
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2018 |
Artículo | 2018 |
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
|
IEEE Transactions on NanoBioscience |
Ponencia | 2018 |
Performance evaluation over HW/SW co-design SoC memory transfers for a CNN accelerator
|
2018 IEEE 18TH INTERNATIONAL CONFERENCE ON NANOTECHNOLOGY (IEEE-NANO) |
Artículo | 2018 |
Performance metamorphic testing: A Proof of concept
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Artículo | 2018 |
Performance mutation testing: hypothesis and open questions
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Artículo | 2018 |
Predictive Monitoring of Business Processes: A Survey
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
Editorial | 2018 |
Preface
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2018 |
Real-time neuro-inspired sound source localization and tracking architecture applied to a robotic platform
|
NEUROCOMPUTING |
Ponencia | 2018 |
Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach
|
2018 7TH INTERNATIONAL CONFERENCE ON COMPUTERS COMMUNICATIONS AND CONTROL (ICCCC 2018) |
Artículo | 2018 |
SCORE: Simulator for cloud optimization of resources and energy consumption
|
SIMULATION MODELLING PRACTICE AND THEORY |
Ponencia | 2018 |
Search-based mutation testing to improve performance tests
|
GECCO 2018 Companion - Proceedings of the 2018 Genetic and Evolutionary Computation Conference Companion |
Capítulo | 2018 |
Simulating Laser Dynamics with Cellular Automata
|
Understanding Complex Systems |
Artículo | 2018 |
Simulation of Rapidly-Exploring Random Trees in Membrane Computing with P-Lingua and Automatic Programming
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2018 |
SLA-Driven Governance for RESTful Systems
|
SERVICE-ORIENTED COMPUTING - ICSOC 2017 WORKSHOPS |
Artículo | 2018 |
Spectrum-Based Fault Localization in Model Transformations
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
Artículo | 2018 |
Spectrum-based fault localization in software product lines
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Artículo | 2018 |
The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules
|
COMPLEXITY |
Artículo | 2018 |
The role of integral membrane proteins in computational complexity theory
|
INTERNATIONAL JOURNAL OF ADVANCES IN ENGINEERING SCIENCES AND APPLIED MATHEMATICS |
Artículo | 2018 |
The Unique Satisfiability Problem from a Membrane Computing Perspective
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2018 |
Una propuesta para especificar cambios de replicaciones de experimentos en ingeniería del software
|
Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018 |
Libro | 2017 |
15th Brainstorming Week on Membrane Computing Sevilla, January 31 - February 3, 2017, RGNC REPORT 1/2017 Research Group on Natural Computing Sevilla University
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
Artículo | 2017 |
A Binaural Neuromorphic Auditory Sensor for FPGA: A Spike Signal Processing Approach
|
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS |
Ponencia | 2017 |
A Framework for Safety-Critical Process Management in Engineering Projects
|
DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS, SIMPDA 2015 |
Ponencia | 2017 |
A new framework for defining realistic SLAs: An evidence-based approach
|
BUSINESS PROCESS MANAGEMENT FORUM |
Artículo | 2017 |
A Simulation Software Tool for Cell-like Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2017 |
A spiking neural network for real-time Spanish vowel phonemes recognition
|
NEUROCOMPUTING |
Ponencia | 2017 |
A SpiNNaker Application: Design, Implementation and Validation of SCPGs
|
ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I |
Ponencia | 2017 |
A Template-Based Approach to Describing Metamorphic Relations
|
2017 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2017) |
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 approach for debugging model transformations applying spectrum-based fault localization
|
Actas de las 22nd Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2017 |
Artículo | 2017 |
An efficient time-free solution to QSAT problem using Psystems with proteins on membranes
|
INFORMATION AND COMPUTATION |
Artículo | 2017 |
Análisis de la tasa de abandono en un Centro con varios Grados en Ingeniería Informática
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2017 |
Assessment of C++ object-oriented mutation operators: A selective mutation approach
|
SOFTWARE TESTING VERIFICATION & RELIABILITY |
Ponencia | 2017 |
Automated analysis of cloud offerings for optimal service provisioning
|
Lecture Notes in Computer Science |
Ponencia | 2017 |
Comprehensive Evaluation of OpenCL-Based CNN Implementations for FPGAs
|
ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT II |
Artículo | 2017 |
Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes
|
FUNDAMENTA INFORMATICAE |
Artículo | 2017 |
Cooperation in Transport of Chemical Substances: A Complexity Approach within Membrane Computing
|
FUNDAMENTA INFORMATICAE |
Artículo | 2017 |
Data Modeling with Membrane Systems: Applications to Real Ecosystems
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Ponencia | 2017 |
Domain-Specific Languages and Model Transformations for Software Product Line
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
Artículo | 2017 |
Edge and Cloud Pricing for the Sharing Economy
|
IEEE INTERNET COMPUTING |
Artículo | 2017 |
Electric Power System Fault Diagnosis with Membrane Systems
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Artículo | 2017 |
Engineering Optimization with Membrane Algorithms
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Ponencia | 2017 |
Enriching Decision Making with Data-Based Thresholds of Process-Related KPIs
|
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2017) |
Artículo | 2017 |
Evolutionary composition of QoS-aware web services: A many-objective perspective
|
EXPERT SYSTEMS WITH APPLICATIONS |
Artículo | 2017 |
Evolutionary response of a native butterfly to concurrent plant invasions: Simulation of population dynamics
|
ECOLOGICAL MODELLING |
Capítulo | 2017 |
Experiencia de innovación educativa con robótica en la Facultad de Ciencias de la Educación de la Universidad de Sevilla (España)
|
Innovación docente y uso de las TIC en eduación: CD-ROM |
Artículo | 2017 |
Extendiendo ABP con feedback ágil en la enseñanza de Ingeniería del Software
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Ponencia | 2017 |
Fault diagnosis for multi-energy flows of energy internet: Framework and prospects
|
2017 IEEE Conference on Energy Internet and Energy System Integration, EI2 2017 - Proceedings |
Ponencia | 2017 |
Fault Diagnosis for Multi-energy Flows of Energy Internet: Framework and Prospects
|
2017 IEEE Conference on Energy Internet and Energy System Integration, EI2 2017 - Proceedings |
Artículo | 2017 |
Fault diagnosis of power systems using fuzzy tissue-like P systems
|
INTEGRATED COMPUTER-AIDED ENGINEERING |
Artículo | 2017 |
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
|
SOFTWARE AND SYSTEMS MODELING |
Ponencia | 2017 |
Fostering a consistent SPL service ecosystem
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
Artículo | 2017 |
Fundamentals of Evolutionary Computation
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Artículo | 2017 |
Fuzzy reasoning spiking neural P systems revisited: A formalization
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2017 |
GiGAn: Evolutionary mutation testing for C++ object-oriented systems
|
Proceedings of the ACM Symposium on Applied Computing |
Ponencia | 2017 |
Limits on Efficient Computation in P Systems with Symport/Antiport Rules
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
Ponencia | 2017 |
Live demonstration - Multilayer spiking neural network for audio samples classification using SpiNNaker
|
2017 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Ponencia | 2017 |
Live demonstration: Multiplexing AER asynchronous channels over LVDS links with flow-control and clock-correction for scalable neuromorphic systems
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Artículo | 2017 |
Mejora de la motivación del alumnado mediante su integración en un proceso de mejora continua
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2017 |
Membrane Algorithms
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Artículo | 2017 |
Membrane Computing - Key Concepts and Definitions
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Ponencia | 2017 |
Membrane Computing Applications in Computational Economics
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
Artículo | 2017 |
Modeling Service Level Agreements with Linked USDL Agreement
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
Ponencia | 2017 |
Modelling and Analysing Highly-Configurable Services
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
Artículo | 2017 |
Multiobjective fuzzy clustering approach based on tissue-like membrane systems
|
KNOWLEDGE-BASED SYSTEMS |
Ponencia | 2017 |
Multiplexing AER asynchronous channels over LVDS links with flow-control and clock-correction for scalable neuromorphic systems
|
2017 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Artículo | 2017 |
NAVIS: Neuromorphic Auditory VISualizer Tool
|
NEUROCOMPUTING |
Ponencia | 2017 |
Neuromorphic Approach Sensitivity Cell Modeling and FPGA Implementation
|
ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2017, PT I |
Artículo | 2017 |
On Multiple AER Handshaking Channels Over High-Speed Bit-Serial Bidirectional LVDS Links With Flow-Control and Clock-Correction on Commercial FPGAs for Scalable Neuromorphic Systems
|
IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS |
Ponencia | 2017 |
Performance Metamorphic Testing: Motivation and Challenges
|
2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS TRACK (ICSE-NIER) |
Editorial | 2017 |
Preface
|
CEUR workshop proceedings |
Artículo | 2017 |
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation
|
THEORETICAL COMPUTER SCIENCE |
Libro | 2017 |
Real-Life Applications with Membrane Computing
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Editorial | 2017 |
Real-life Applications with Membrane Computing Preface
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Ponencia | 2017 |
Redefining a process engine as a microservice platform
|
Lecture Notes in Business Information Processing |
Ponencia | 2017 |
Resource utilization prediction in decision-Intensive business processes
|
CEUR workshop proceedings |
Ponencia | 2017 |
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Inwards
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
Ponencia | 2017 |
Restricted Polarizationless P Systems with Active Membranes: Minimal Cooperation Only Outwards
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
Artículo | 2017 |
Robot Control with Membrane Systems
|
REAL-LIFE APPLICATIONS WITH MEMBRANE COMPUTING |
Artículo | 2017 |
Run-time prediction of business process indicators using evolutionary decision rules
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2017 |
Semi-wildlife gait patterns classification using Statistical Methods and Artificial Neural Networks
|
2017 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN) |
Ponencia | 2017 |
SmarTest: A Test Case Prioritization Tool for Drupal
|
21ST INTERNATIONAL SYSTEM & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 2 |
Ponencia | 2017 |
Sparse-matrix Representation of Spiking Neural P Systems for GPUs
|
BWMC 2017: 15th Brainstorming Week on Membrane Computing (2017) |
Artículo | 2017 |
Specifying Compensations with WS-Agreement
|
IEEE LATIN AMERICA TRANSACTIONS |
Ponencia | 2017 |
Task Scheduling Optimization on Enterprise Application Integration Platforms Based on the Meta-heuristic Particle Swarm Optimization
|
XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017) |
Ponencia | 2017 |
Towards bioinspired close-loop local motor control: A simulated approach supporting neuromorphic implementations
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Artículo | 2017 |
Transforming unstructured natural language descriptions into measurable process performance indicators using Hidden Markov Models
|
INFORMATION SYSTEMS |
Artículo | 2017 |
Variability testing in the wild: the Drupal case study
|
SOFTWARE AND SYSTEMS MODELING |
Editorial | 2017 |
Welcome message
|
ACM International Conference Proceeding Series |
Libro | 2016 |
14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016
|
14th Brainstorming Week on Membrane Computing Sevilla, February 1 - 5, 2016 : RGNC Report 1/2016 |
Ponencia | 2016 |
A 20Mevps/32Mev event-based USB framework for Neuromorphic systems debugging
|
2016 2ND INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION, AND SIGNAL PROCESSING (EBCCSP) |
Artículo | 2016 |
A Fault Diagnosis Method of Power Systems Based on an Improved Adaptive Fuzzy Spiking Neural P Systems and PSO Algorithms
|
CHINESE JOURNAL OF ELECTRONICS |
Ponencia | 2016 |
A framework for efficiently mining the organisational perspective of business processes
|
CEUR workshop proceedings |
Artículo | 2016 |
A framework for efficiently mining the organisational perspective of business processes
|
DECISION SUPPORT 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 |
Artículo | 2016 |
A survey on metamorphic testing
|
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
Artículo | 2016 |
An efficient time-free solution to SAT problem by P systems with proteins on membranes
|
JOURNAL OF COMPUTER AND SYSTEM SCIENCES |
Ponencia | 2016 |
An Elasticity-aware Governance Platform for Cloud Service Delivery
|
PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC 2016) |
Artículo | 2016 |
An Extended Membrane System with Active Membranes to Solve Automatic Fuzzy Clustering Problems
|
International Journal of Neural Systems |
Artículo | 2016 |
Automated configuration support for infrastructure migration to the cloud
|
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE |
Ponencia | 2016 |
Automated Resource Allocation in Business Processes with Answer Set Programming
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015) |
Artículo | 2016 |
CALA: ClAssifying Links Automatically based on their URL
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2016 |
Cell-Like P Systems With Channel States and Symport/Antiport Rules
|
IEEE Transactions on NanoBioscience |
Artículo | 2016 |
Computing with viruses
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2016 |
Configuración guiada por búsqueda de aplicaciones basadas en microservicios en la nube
|
Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016 |
Ponencia | 2016 |
Defeasible Argumentation of Software Architectures
|
2016 13TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA) |
Artículo | 2016 |
Detecting flight trajectory anomalies and predicting diversions in freight transportation
|
DECISION SUPPORT SYSTEMS |
Ponencia | 2016 |
Detecting flight trajectory anomalies and predicting diversions in freight transportation (extended abstract)
|
CEUR workshop proceedings |
Ponencia | 2016 |
ED-Scorbot: A robotic test-bed framework for FPGA-based neuromorphic systems
|
2016 6TH IEEE INTERNATIONAL CONFERENCE ON BIOMEDICAL ROBOTICS AND BIOMECHATRONICS (BIOROB) |
Ponencia | 2016 |
Efficient and Customisable Declarative Process Mining with SQL
|
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016) |
Artículo | 2016 |
Enhancing the management of resource-aware business processes
|
AI COMMUNICATIONS |
Ponencia | 2016 |
Enterprise information integration
|
AI COMMUNICATIONS |
Ponencia | 2016 |
Exploring human resource management in crowdsourcing platforms
|
Lecture Notes in Business Information Processing |
Libro | 2016 |
Fourteenth Brainstorming Week on Membrane Computing
|
Fourteenth Brainstorming Week on Membrane Computing |
Ponencia | 2016 |
Identifying variability in process performance indicators
|
Lecture Notes in Business Information Processing |
Artículo | 2016 |
Improving semantic Web services discovery and ranking: A lightweight, integrated approach
|
AI COMMUNICATIONS |
Ponencia | 2016 |
Incremento de la motivación en el aprendizaje de enseñanzas informáticas mediante herramientas maker
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Ponencia | 2016 |
Introduction to the 2nd workshop on resource management in service-oriented computing (RMSOC) 2015
|
Lecture Notes in Computer Science |
Ponencia | 2016 |
Live demonstration: Retinal ganglion cell software and FPGA implementation for object detection and tracking
|
2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Artículo | 2016 |
Mapping RDF knowledge bases using exchange samples
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2016 |
Membrane fission: A computational complexity perspective
|
COMPLEXITY |
Editorial | 2016 |
Message from the Workshop Chairs MET 2016
|
Proceedings of the 1st International Workshop on Metamorphic Testing |
Ponencia | 2016 |
Minimal cooperation in polarizationless P systems with active membranes
|
Fourteenth Brainstorming Week on Membrane Computing |
Artículo | 2016 |
MOSES: A Metaheuristic Optimization Software EcoSystem
|
AI COMMUNICATIONS |
Artículo | 2016 |
Multi-objective test case prioritization in highly configurable systems: a case study
|
JOURNAL OF SYSTEMS AND SOFTWARE |
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) |
Artículo | 2016 |
Notes on spiking neural P systems and finite automata
|
NATURAL COMPUTING |
Artículo | 2016 |
P systems based computing polynomials: design and formal verification
|
NATURAL COMPUTING |
Artículo | 2016 |
Parallel simulation of Population Dynamics P systems: updates and roadmap
|
NATURAL COMPUTING |
Editorial | 2016 |
Part 1: Special Issue: Advances in Membrane Computing Preface
|
NATURAL COMPUTING |
Ponencia | 2016 |
Performance evaluation of neural networks for animal behaviors classification: Horse gaits case study
|
DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, (DCAI 2016) |
Artículo | 2016 |
Polarizationless P systems with active membranes: Computational complexity aspects
|
Journal Of Automata, Languages And Combinatorics |
Ponencia | 2016 |
Práctica de desarrollo de interfaces hardware/software para la monitorización del estado de un PC
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Editorial | 2016 |
Preface
|
CEUR workshop proceedings |
Ponencia | 2016 |
Process- and Resource-Aware Information Systems
|
2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC) |
Ponencia | 2016 |
Process-and resource-aware information systems
|
Proceedings - 2016 IEEE 20th International Enterprise Distributed Object Computing Conference, EDOC 2016 |
Ponencia | 2016 |
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
|
Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016 |
Ponencia | 2016 |
Realización de un proyecto en grupo con carácter multidisciplinar para alumnos de Ingeniería de la Salud usando la metodología ABP
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Ponencia | 2016 |
Resource allocation with dependencies in business process management systems
|
Lecture Notes in Business Information Processing |
Ponencia | 2016 |
Retinal ganglion cell software and FPGA model implementation for object detection and tracking
|
2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Artículo | 2016 |
Sequential spiking neural P systems with structural plasticity based on max/min spike number
|
NEURAL COMPUTING & APPLICATIONS |
Ponencia | 2016 |
Simulation of Antiphase Dynamics in Lasers with Cellular Automata. A Work in Progress
|
No Lineal 2016: International conference on nonlinear mathematics and physics |
Artículo | 2016 |
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
|
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY |
Ponencia | 2016 |
Sound recognition system using spiking and MLP neural networks
|
ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT II |
Artículo | 2016 |
Temporal fuzzy reasoning spiking neural P systems with real numbers for power system fault diagnosis
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
Artículo | 2016 |
Tissue P Systems With Channel States Working in the Flat Maximally Parallel Way
|
IEEE Transactions on NanoBioscience |
Artículo | 2016 |
Tissue P Systems with Protein on Cells
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2016 |
Towards the automation of metamorphic testing in model transformations
|
Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016 |
Artículo | 2016 |
Una Experiencia para Mejorar la Interacción Estudiante-Profesor
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Artículo | 2016 |
User-Centric Adaptation Analysis of Multi-Tenant Services
|
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS |
Artículo | 2016 |
Using templates and linguistic patterns to define process performance indicators
|
ENTERPRISE INFORMATION SYSTEMS |
Artículo | 2016 |
Wireless Sensor Network for Wildlife Tracking and Behavior Classification of Animals in Donana
|
IEEE COMMUNICATIONS LETTERS |
Ponencia | 2015 |
A conceptual architecture for an event-based information aggregation engine in smart logistics
|
Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) |
Ponencia | 2015 |
A New Strategy to Improve the Performance of PDP-Systems Simulators
|
MEMBRANE COMPUTING (CMC 2015) |
Artículo | 2015 |
A P-Lingua Based Simulator for P Systems with Symport/Antiport Rules
|
FUNDAMENTA INFORMATICAE |
Capítulo | 2015 |
A selective mapping from orthogonal variability model to constraint satisfaction problem
|
Advances in Engineering Research |
Capítulo | 2015 |
A semantically enabled service delivery platform: An architectural overview
|
Mobile Computing and Wireless Networks: Concepts, Methodologies, Tools, and Applications |
Editorial | 2015 |
A Special Issue on Bio-Inspired Computing: Theories and Applications
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
Ponencia | 2015 |
A USB3.0 FPGA event-based filtering and tracking framework for dynamic vision sensors
|
2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Artículo | 2015 |
An assessment of search-based techniques for reverse engineering feature models
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2015 |
An automatic clustering algorithm inspired by membrane computing
|
Pattern Recognition Letters |
Ponencia | 2015 |
An Efficient Nearest Neighbor Method for Protein Contact Prediction
|
HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2015) |
Artículo | 2015 |
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Separation
|
FUNDAMENTA INFORMATICAE |
Artículo | 2015 |
An unsupervised learning algorithm for membrane computing
|
INFORMATION SCIENCES |
Ponencia | 2015 |
Asynchronous spiking neural p systems with structural plasticity
|
Lecture Notes in Computer Science |
Artículo | 2015 |
Automated metamorphic testing of variability analysis tools
|
SOFTWARE TESTING VERIFICATION & RELIABILITY |
Ponencia | 2015 |
Automated team selection and compliance checking in business processes
|
ACM International Conference Proceeding Series |
Artículo | 2015 |
Building Transcriptional Association Networks in Cytoscape with RegNetC
|
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS |
Ponencia | 2015 |
Case Study: Bio-inspired Self-adaptive Strategy for Spike-based PID Controller
|
2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Ponencia | 2015 |
Cloud Configuration Modelling: a Literature Review from an Application Integration Deployment Perspective
|
Procedia Computer Science |
Artículo | 2015 |
Computational efficiency and universality of timed P systems with membrane creation
|
SOFT COMPUTING |
Ponencia | 2015 |
Computational Efficiency of P Systems with Symport/Antiport Rules and Membrane Separation
|
Thirteenth Brainstorming Week on Membrane Computing |
Ponencia | 2015 |
Computing Partial Recursive Functions by Virus Machines
|
MEMBRANE COMPUTING (CMC 2015) |
Artículo | 2015 |
Decision tree models induced by membrane systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2015 |
Discovering and Analysing Ontological Models From Big RDF Data
|
JOURNAL OF DATABASE MANAGEMENT |
Artículo | 2015 |
Diseño e implementación de un simulador software basado en el procesador MIPS32
|
Enseñanza y aprendizaje de ingeniería de computadores |
Artículo | 2015 |
Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division
|
BIOSYSTEMS |
Ponencia | 2015 |
Event-based control system on FPGA applied to the pencil balancer robotic platform
|
PROCEEDINGS OF FIRST INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION AND SIGNAL PROCESSING EBCCSP 2015 |
Artículo | 2015 |
Extending Simulation of Asynchronous Spiking Neural P Systems in P-Lingua
|
FUNDAMENTA INFORMATICAE |
Artículo | 2015 |
Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems
|
IEEE TRANSACTIONS ON POWER SYSTEMS |
Artículo | 2015 |
Fault Diagnosis of Metro Traction Power Systems Using A Modified Fuzzy Reasoning Spiking Neural P System
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2015 |
Fault Section Estimation of Power Systems with Optimization Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2015 |
Fuzzy Membrane Computing: Theory and Applications
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2015 |
Generating Diophantine Sets by Virus Machines
|
BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2015 |
Ponencia | 2015 |
Human vs. Computer Slot Car Racing using an Event and Frame-Based DAVIS Vision Sensor
|
2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Artículo | 2015 |
Inter-spikes-intervals exponential and gamma distributions study of neuron firing rate for SVITE motor control model on FPGA
|
NEUROCOMPUTING |
Ponencia | 2015 |
Linked USDL Agreement: Effectively Sharing Semantic Service Level Agreements on the Web
|
2015 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS) |
Ponencia | 2015 |
Live demonstration: Real-time motor rotation frequency detection by spike-based visual and auditory AER sensory integration for FPGA
|
2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Artículo | 2015 |
Membrane clustering algorithm with hybrid evolutionary mechanisms
|
Ruan Jian Xue Bao/Journal of Software |
Artículo | 2015 |
Membrane fission versus cell division: When membrane proliferation is not enough
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2015 |
Minimal Cooperation in P Systems with Symport/Antiport: A Complexity Approach
|
Thirteenth Brainstorming Week on Membrane Computing |
Ponencia | 2015 |
Mining Project-Oriented Business Processes
|
BUSINESS PROCESS MANAGEMENT, BPM 2015 |
Ponencia | 2015 |
Mining the organisational perspective in agile business processes
|
Lecture Notes in Business Information Processing |
Ponencia | 2015 |
Modelling Service Level Agreements for Business Process Outsourcing Services
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
Artículo | 2015 |
MostoDEx: A tool to exchange RDF data using exchange samples
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2015 |
Musical notes classification with neuromorphic auditory system using FPGA and a convolutional spiking network
|
2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN) |
Ponencia | 2015 |
Notes on Spiking Neural P Systems and Finite Automata
|
Thirteenth Brainstorming Week on Membrane Computing |
Artículo | 2015 |
Optimal multi-level thresholding with membrane computing
|
DIGITAL SIGNAL PROCESSING |
Ponencia | 2015 |
Parallel Simulation of PDP Systems: Updates and Roadmap
|
Thirteenth Brainstorming Week on Membrane Computing |
Editorial | 2015 |
Preface
|
FUNDAMENTA INFORMATICAE |
Artículo | 2015 |
Programming Elasticity and Commitment in Dynamic Processes
|
IEEE INTERNET COMPUTING |
Ponencia | 2015 |
RALph: A Graphical Notation for Resource Assignments in Business Processes
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015 |
Ponencia | 2015 |
Real-Time motor rotation frequency detection with event-based visual and spike-based auditory AER sensory integration for FPGA
|
Proceedings of 1st International Conference on Event-Based Control, Communication and Signal Processing, EBCCSP 2015 |
Ponencia | 2015 |
Safety-critical human-And data-centric proceb management in engineering projects
|
CEUR workshop proceedings |
Ponencia | 2015 |
Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms
|
MEMBRANE COMPUTING (CMC 2015) |
Artículo | 2015 |
Simulating P Systems on GPU Devices: A Survey
|
FUNDAMENTA INFORMATICAE |
Artículo | 2015 |
Soft Computing Methods for Disulfide Connectivity Prediction
|
EVOLUTIONARY BIOINFORMATICS |
Revisión | 2015 |
Soft computing methods for the prediction of protein tertiary structures: A survey
|
APPLIED SOFT COMPUTING |
Artículo | 2015 |
Specification and automated design-time analysis of the business process human resource perspective
|
INFORMATION SYSTEMS |
Artículo | 2015 |
Spiking neural P systems with structural plasticity
|
NEURAL COMPUTING & APPLICATIONS |
Ponencia | 2015 |
System based on inertial sensors for behavioral monitoring of wildlife
|
2015 INTERNATIONAL CONFERENCE ON COMPUTER, INFORMATION AND TELECOMMUNICATION SYSTEMS (CITS) |
Libro | 2015 |
Thirteen Brainstorming Week on Membrane Computing Sevilla, February 2-6, 2015 : RGNC Report 1/2015
|
Thirteen Brainstorming Week on Membrane Computing Sevilla, February 2-6, 2015 : RGNC Report 1/2015 |
Libro | 2015 |
Thirteenth Brainstorming Week on Membrane Computing
|
Thirteenth Brainstorming Week on Membrane Computing |
Ponencia | 2015 |
Towards Compensable SLAs
|
ADVANCES IN SERVICE-ORIENTED AND CLOUD COMPUTING |
Artículo | 2015 |
Weighted Fuzzy Reasoning Spiking Neural P Systems: Application to Fault Diagnosis in Traction Power Supply Systems of High-Speed Railways
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
Ponencia | 2014 |
A Bioinspired Computing Approach to Model Complex Systems
|
MEMBRANE COMPUTING (CMC 2014) |
Ponencia | 2014 |
A Comparison of Test Case Prioritization Criteria for Software Product Lines
|
2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) |
Ponencia | 2014 |
A controlled experiment to evaluate the effects of mindfulness in software engineering
|
International Symposium on Empirical Software Engineering and Measurement |
Artículo | 2014 |
A game-based approach to the teaching of object-oriented programming languages
|
COMPUTERS & EDUCATION |
Artículo | 2014 |
A P-Lingua based simulator for tissue P systems with cell separation
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2014 |
A semantic-based platform for efficient online communication
|
CEUR workshop proceedings |
Capítulo | 2014 |
A semantically enabled service delivery platform: An architectural overview
|
Handbook of Research on Architectural Trends in Service-Driven Computing |
Ponencia | 2014 |
Accelerated Simulation of P Systems on the GPU: A Survey
|
BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2014 |
Ponencia | 2014 |
An AER handshake-less modular infrastructure PCB with x8 2.5Gbps LVDS serial links
|
2014 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Ponencia | 2014 |
An Approach to Motor Control for Spike-based Neuromorphic Robotics
|
2014 IEEE BIOMEDICAL CIRCUITS AND SYSTEMS CONFERENCE (BIOCAS) |
Artículo | 2014 |
AN OPTIMIZATION SPIKING NEURAL P SYSTEM FOR APPROXIMATELY SOLVING COMBINATORIAL OPTIMIZATION PROBLEMS
|
International Journal of Neural Systems |
Artículo | 2014 |
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2014 |
Application of a computational model for complex fluvial ecosystems: The population dynamics of zebra mussel Dreissena polymorpha as a case study
|
ECOLOGICAL COMPLEXITY |
Artículo | 2014 |
Application of Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2014 |
Application of Weighted Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis in Traction Power Supply Systems of High-speed Railways
|
Twelfth Brainstorming Week on Membrane Computing |
Libro | 2014 |
Applications of membrane computing in systems and synthetic biology
|
APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY |
Editorial | 2014 |
Applications of Membrane Computing in Systems and Synthetic Biology Preface
|
APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY |
Artículo | 2014 |
Automated Analysis of Conflicts in WS-Agreement
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
Artículo | 2014 |
Automated generation of computationally hard feature models using evolutionary algorithms
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2014 |
Automated variability analysis and testing of an e-commerce site. An experience report
|
ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering |
Capítulo | 2014 |
Automated variability analysis and testing of an E-commerce site.: an experience report
|
ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering |
Artículo | 2014 |
Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredients
|
IEEE Transactions on NanoBioscience |
Artículo | 2014 |
CALA: An unsupervised URL-based web page classification system
|
KNOWLEDGE-BASED SYSTEMS |
Ponencia | 2014 |
Combining event processing and support vector machines for automated flight diversion predictions
|
CEUR workshop proceedings |
Artículo | 2014 |
Comprehensive Explanation of SLA Violations at Runtime
|
IEEE TRANSACTIONS ON SERVICES COMPUTING |
Ponencia | 2014 |
Computational Efficiency and Universality of Timed P Systems with Membrane Creation
|
BIO-INSPIRED COMPUTING - THEORIES AND APPLICATIONS, BIC-TA 2014 |
Capítulo | 2014 |
Desde CoOs hasta .NetFramework: Comunicación hardware/software mediante VCP
|
JENUI 2014 XX Jornadas de Enseñanza Universitaria de la Informática, del 9 al 11 de Julio Oviedo 2014 |
Artículo | 2014 |
Enabling customers engagement and collaboration for small and medium-sized enterprises in ubiquitous multi-channel ecosystems
|
COMPUTERS IN INDUSTRY |
Editorial | 2014 |
Enjoying to Work
|
FUNDAMENTA INFORMATICAE |
Artículo | 2014 |
Evolutionary decision rules for predicting protein contact maps
|
PATTERN ANALYSIS AND APPLICATIONS |
Artículo | 2014 |
Evolutionary membrane computing: A comprehensive survey and new results
|
INFORMATION SCIENCES |
Ponencia | 2014 |
EXEMPLAR: An experimental information repository for software engineering research
|
CEUR workshop proceedings |
Ponencia | 2014 |
Extending SNP Systems Asynchronous Simulation Modes in P-Lingua
|
Twelfth Brainstorming Week on Membrane Computing |
Ponencia | 2014 |
Fault Diagnosis Models for Electric Locomotive Systems Based on Fuzzy Reasoning Spiking Neural P Systems
|
MEMBRANE COMPUTING (CMC 2014) |
Capítulo | 2014 |
Hardware Infrastructure
|
Event-Based Neuromorphic Systems |
Ponencia | 2014 |
KPIshare: A collaborative space for BPM practitioners for full definitions and discussions on process KPIs
|
CEUR workshop proceedings |
Libro | 2014 |
La informática: una ingeniería joven muy importante : lección inaugural leída en la solemne apertura del curso académico 2014-2015 en la Universidad de Sevilla
|
La informática: una ingeniería joven muy importante : lección inaugural leída en la solemne apertura del curso académico 2014-2015 en la Universidad de Sevilla |
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 |
Low Overhead Monitor Mechanism for Fault-tolerant Analysis of NoC
|
2014 IEEE 8TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANYCORE SOCS (MCSOC) |
Ponencia | 2014 |
Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing
|
Twelfth Brainstorming Week on Membrane Computing |
Capítulo | 2014 |
Membrane System-Based Models for Specifying Dynamical Population Systems
|
APPLICATIONS OF MEMBRANE COMPUTING IN SYSTEMS AND SYNTHETIC BIOLOGY |
Ponencia | 2014 |
On using semantically-aware rules for efficient online communication
|
Lecture Notes in Computer Science |
Capítulo | 2014 |
PPINOT: A Performance Management Solution for Process Oriented Organizations
|
VII y VIII Congreso Académico Internacional en Gobierno y Gestión del Servicio de Tecnologías de la Información: Libro de actas |
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
|
Communications in Computer and Information Science |
Ponencia | 2014 |
Probabilistic Guarded P Systems, A Formal De nition
|
Twelfth Brainstorming Week on Membrane Computing |
Ponencia | 2014 |
Probabilistic Guarded P Systems, A Formal Definition
|
Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014 |
Ponencia | 2014 |
Probabilistic guarded P systems, a new formal modelling framework
|
MEMBRANE COMPUTING (CMC 2014) |
Artículo | 2014 |
QoS-aware web services composition using GRASP with Path Relinking
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2014 |
Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era
|
Twelfth Brainstorming Week on Membrane Computing |
Artículo | 2014 |
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox
|
FUNDAMENTA INFORMATICAE |
Artículo | 2014 |
Small universal simple spiking neural P systems with weights
|
SCIENCE CHINA-INFORMATION SCIENCES |
Ponencia | 2014 |
Spike-based VITE control with dynamic vision sensor applied to an arm robot
|
Proceedings - IEEE International Symposium on Circuits and Systems |
Capítulo | 2014 |
The Drupal framework: a case study to evaluate variability testing techniques
|
The Eight International Workshop on Variability Modelling of Software-Intensive Systems |
Artículo | 2014 |
The framework of P systems applied to solve optimal watermarking problem
|
SIGNAL PROCESSING |
Artículo | 2014 |
The P versus NP Problem from the Membrane Computing View
|
EUROPEAN REVIEW |
Ponencia | 2014 |
The Reduction Problem in CUDA and Its Simulation with P Systems
|
Twelfth Brainstorming Week on Membrane Computing |
Ponencia | 2014 |
The relevance of the environment on the efficiency of tissue p systems
|
Lecture Notes in Computer Science |
Artículo | 2014 |
The Role of the Direction in Tissue P Systems with Cell Separation
|
Journal Of Automata, Languages And Combinatorics |
Artículo | 2014 |
Time-free solution to SAT problem using P systems with active membranes
|
THEORETICAL COMPUTER SCIENCE |
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 |
Editorial | 2014 |
Towards a prediction engine for flight delays based on weather delay analysis
|
CEUR workshop proceedings |
Ponencia | 2014 |
Towards process-aware cross-organizational human resource management
|
Lecture Notes in Business Information Processing |
Ponencia | 2014 |
Towards the enhancement of business process monitoring for complex logistics chains
|
Lecture Notes in Business Information Processing |
Libro | 2014 |
Twelfth Brainstorming Week on Membrane Computing
|
Twelfth Brainstorming Week on Membrane Computing |
Libro | 2014 |
Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014
|
Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3-7, 2014: RGNC REPORT 1/2014 |
Ponencia | 2014 |
Una revisión de la notación PPINOT para indicadores de rendimiento mediante su aplicación a un caso real
|
JCIS 2014: X Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (2014), pp. 167-176. |
Ponencia | 2014 |
User-Centric Adaptation of Multi-tenant Services: Preference-Based Analysis for Service Reconfiguration
|
9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014) |
Artículo | 2013 |
3-Col problem modelling using simple kernel P systems
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Artículo | 2013 |
A formalization of membrane systems with dynamically evolving structures
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Ponencia | 2013 |
A FPGA spike-based robot controlled with neuro-inspired VITE
|
ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT I |
Artículo | 2013 |
A novel image thresholding method based on membrane computing and fuzzy entropy
|
Journal of Intelligent & Fuzzy Systems |
Artículo | 2013 |
A polynomial alternative to unbounded environment for tissue P systems with cell division
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Artículo | 2013 |
A Rete-based algorithm for rule selection in P systems
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Ponencia | 2013 |
An efficient decision rule-based system for the protein residue-residue contact prediction
|
2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC) |
Ponencia | 2013 |
Analysing Gene Networks with PDP Systems. Arabidopsis thaliana, a Case Study
|
Eleventh Brainstorming Week on Membrane Computing |
Capítulo | 2013 |
Automated Analysis of Stateful Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
Capítulo | 2013 |
Automated Reasoning on Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
Artículo | 2013 |
Benchmarking Data Exchange among Semantic-Web Ontologies
|
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2013 |
Bridging Membrane and Reaction Systems - Further Results and Research Topics
|
FUNDAMENTA INFORMATICAE |
Artículo | 2013 |
Characterizing the Parallel Simulation of P Systems on the GPU
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Ponencia | 2013 |
Defining and analysing resource-aware process performance indicators
|
CEUR workshop proceedings |
Ponencia | 2013 |
Designing Business Processes with History-Aware Resource Assignments
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM) |
Libro | 2013 |
Eleventh Brainstorming Week on Membrane Computing
|
Eleventh Brainstorming Week on Membrane Computing |
Libro | 2013 |
Eleventh Brainstorming Week on Membrane Computing Sevilla, February 4-8, 2013 : RGNC REPORT 1/2013
|
Eleventh Brainstorming Week on Membrane Computing Sevilla, February 4-8, 2013 : RGNC REPORT 1/2013 |
Ponencia | 2013 |
Enabling Scalable Multi-Channel Communication through Semantic Technologies
|
2013 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 1 |
Ponencia | 2013 |
Evolving the automated analysis of feature models
|
Lecture Notes in Computer Science |
Artículo | 2013 |
Exchanging Data amongst Linked Data applications
|
KNOWLEDGE AND INFORMATION SYSTEMS |
Ponencia | 2013 |
Extending WS-agreement to support automated conformity check on transport and logistics service agreements
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
Capítulo | 2013 |
FaMa
|
Systems and Software Variability Management: Concepts, Tools and Experiences |
Editorial | 2013 |
Foreword
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Artículo | 2013 |
Fuzzy reasoning spiking neural P system for fault diagnosis
|
INFORMATION SCIENCES |
Ponencia | 2013 |
iAgree studio: A platform to edit and validate WS-agreement documents
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
Ponencia | 2013 |
Implementing Enzymatic Numerical P Systems for AI Applications by Means of Graphic Processing Units
|
BEYOND ARTIFICIAL INTELLIGENCE: CONTEMPLATIONS, EXPECTATIONS, APPLICATIONS |
Ponencia | 2013 |
Improved Contrast Sensitivity DVS and its Application to Event-Driven Stereo Vision
|
2013 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS) |
Ponencia | 2013 |
Improving the efficiency of MECoMaP: A protein residue-residue contact predictor
|
Lecture Notes in Computer Science |
Artículo | 2013 |
Integrating semantic Web services ranking mechanisms using a common preference model
|
KNOWLEDGE-BASED SYSTEMS |
Ponencia | 2013 |
Kernel P Systems - Version 1
|
Eleventh Brainstorming Week on Membrane Computing |
Artículo | 2013 |
Kernel P systems: Applications and Implementations
|
Advances in Intelligent Systems and Computing |
Capítulo | 2013 |
Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division
|
Natural Computing for Simulation and Knowledge Discovery |
Capítulo | 2013 |
Local Search with P Systems: A Case Study
|
Natural Computing for Simulation and Knowledge Discovery |
Ponencia | 2013 |
Migrating to the Cloud: A software product line based analysis
|
CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science |
Artículo | 2013 |
Modeling logic gene networks by means of probabilistic dynamic P systems
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Artículo | 2013 |
MostoDE: A tool to exchange data amongst semantic-web ontologies
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2013 |
Multi-user Variability Configuration: A Game Theoretic Approach
|
2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) |
Artículo | 2013 |
Multicasting Mesh AER: A Scalable Assembly Approach for Reconfigurable Neuromorphic Structured AER Systems. Application to ConvNets
|
IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS |
Artículo | 2013 |
Neuro-Inspired Spike-Based Motion: From Dynamic Vision Sensor to Robot Motor Open-Loop Control through Spike-VITE
|
SENSORS |
Ponencia | 2013 |
On the AER stereo-vision processing: A spike approach to epipolar matching
|
Lecture Notes in Computer Science |
Artículo | 2013 |
On the definition and design-time analysis of process performance indicators
|
INFORMATION SYSTEMS |
Artículo | 2013 |
Population Dynamics P System (PDP) Models: A Standardized Protocol for Describing and Applying Novel Bio-Inspired Computing Tools
|
PLOS ONE |
Ponencia | 2013 |
PPINOT tool suite: A performance management solution for process-oriented organisations
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
Ponencia | 2013 |
Priority-based human resource allocation in business processes
|
SERVICE-ORIENTED COMPUTING, ICSOC 2013 |
Artículo | 2013 |
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2013 |
Rete Algorithm for P System Simulators
|
Eleventh Brainstorming Week on Membrane Computing |
Ponencia | 2013 |
Simulating a Family of Tissue P Systems Solving SAT on the GPU
|
Eleventh Brainstorming Week on Membrane Computing |
Editorial | 2013 |
Special Issue Membrane Computing Foreword
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Editorial | 2013 |
Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing, Sevilla, 30 January-3 February 2012 Foreword
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
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 |
Artículo | 2013 |
Weighted Fuzzy Spiking Neural P Systems
|
IEEE TRANSACTIONS ON FUZZY SYSTEMS |
Capítulo | 2012 |
FaMa-OVM: a tool for the automated analysis of OVMs
|
16th International Software Product Line Conference, SPLC´12 |
Artículo | 2012 |
A bargaining-specific architecture for supporting automated service agreement negotiation systems
|
SCIENCE OF COMPUTER PROGRAMMING |
Ponencia | 2012 |
A Formal Framework for P Systems with Dynamic Structure
|
Tenth Brainstorming Week on Membrane Computing |
Ponencia | 2012 |
A framework for populating ontological models from semi-structured web documents
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
A Genetic Algorithm to Study a P3 Non-trivial Collective Task
|
ECTA 2012: 4th.International Conference on Evolutionary Computation Theory and Applications |
Artículo | 2012 |
A neuro-inspired spike-based PID motor controller for multi-motor robots with low cost FPGAs
|
SENSORS |
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 |
Artículo | 2012 |
A PCI AER Co-Processor Evaluation Based on CPUs Performance Counters
|
JOURNAL OF INTERNET TECHNOLOGY |
Ponencia | 2012 |
A statistical approach to URL-based web page clustering
|
WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion |
Ponencia | 2012 |
An architecture for efficient web crawling
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012 |
Artículo | 2012 |
An Event-Driven Multi-Kernel Convolution Processor Module for Event-Driven Vision Sensors
|
IEEE JOURNAL OF SOLID-STATE CIRCUITS |
Ponencia | 2012 |
An experiment to test URL features for web page classification
|
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS |
Artículo | 2012 |
An infinite hierarchy of languages defined by dP systems
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2012 |
An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division
|
Tenth Brainstorming Week on Membrane Computing |
Ponencia | 2012 |
Auditoría de procesos de negocio en la nube: persistencia mediante almacenes no relacionales
|
JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos (2012) |
Ponencia | 2012 |
Automated resource assignment in BPMN models using RACI matrices
|
Lecture Notes in Computer Science |
Capítulo | 2012 |
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
|
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems |
Artículo | 2012 |
Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
|
NATURAL COMPUTING |
Artículo | 2012 |
Comparison between frame-constrained fix-pixel-value and frame-free spiking-dynamic-pixel convNets for visual processing
|
FRONTIERS IN NEUROSCIENCE |
Artículo | 2012 |
Consistency maintenance for evolving feature models
|
EXPERT SYSTEMS WITH APPLICATIONS |
Artículo | 2012 |
Contact map prediction using a large-scale ensemble of rule sets and the fusion of multiple predicted structural features
|
Bioinformatics |
Ponencia | 2012 |
CRISTAL: Collection of resource-centric supporting tools and languages
|
CEUR workshop proceedings |
Ponencia | 2012 |
DCBA: Simulating population dynamics P systems with proportional object distribution
|
Lecture Notes in Computer Science |
Capítulo | 2012 |
Dealing with complexity in agent-oriented software engineering: The importance of interactions
|
Conquering Complexity |
Ponencia | 2012 |
Defining process performance indicators by using templates and patterns
|
BUSINESS PROCESS MANAGEMENT, BPM 2012 |
Ponencia | 2012 |
DP automata versus right-linear simple matrix grammars
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
FaMa-OVM: A tool for the automated analysis of OVMs
|
ACM International Conference Proceeding Series |
Ponencia | 2012 |
Formal verification of p systems with active membranes through model checking
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
Frontiers of Membrane Computing: Open Problems and Research Topics
|
Tenth Brainstorming Week on Membrane Computing |
Ponencia | 2012 |
GPU-based cellular automata simulations of laser dynamics
|
Jornadas SARTECO 2012: XXIII Jornadas de Paralelismo |
Ponencia | 2012 |
Heterotic computing examples with optics, bacteria, and chemicals
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
Image Thresholding with Cell-like P Systems
|
Tenth Brainstorming Week on Membrane Computing |
Artículo | 2012 |
Improving GPU Simulations of Spiking Neural P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2012 |
Improving semantic web services discovery using SPARQL-based repository filtering
|
JOURNAL OF WEB SEMANTICS |
Ponencia | 2012 |
Improving the Efficiency of Tissue P Systems with Cell Separation
|
Tenth Brainstorming Week on Membrane Computing |
Ponencia | 2012 |
Introducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012 |
Artículo | 2012 |
Languages and P Systems: Recent Developments
|
Computer science journal of Moldova |
Ponencia | 2012 |
Live demonstration: on the distance estimation of moving targets with a stereo-vision AER system
|
ISCAS 2012 - 2012 IEEE International Symposium on Circuits and Systems |
Artículo | 2012 |
Metaheuristic optimization frameworks: a survey and benchmarking
|
SOFT COMPUTING |
Ponencia | 2012 |
Methodology for Green Certificates of Service Applications
|
2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE) |
Artículo | 2012 |
Network traffic analysis and evaluation of a multi-user virtual environment
|
SIMULATION MODELLING PRACTICE AND THEORY |
Ponencia | 2012 |
On the distance estimation of moving targets with a Stereo-Vision AER system
|
ISCAS 2012 - 2012 IEEE International Symposium on Circuits and Systems |
Artículo | 2012 |
P automata revisited
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2012 |
Parallel Simulation of Probabilistic P Systems on Multicore Platforms
|
Tenth Brainstorming Week on Membrane Computing |
Ponencia | 2012 |
Performance Evaluation of RAM-Based Implementation of Finite State Machines in FPGAs
|
2012 19th IEEE International Conference on Electronics, Circuits and Systems (ICECS) |
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 |
Artículo | 2012 |
Quality-aware analysis in product line engineering with the orthogonal variability model
|
SOFTWARE QUALITY JOURNAL |
Ponencia | 2012 |
RAL: A High-Level User-Oriented Resource Assignment Language for Business Processes
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS, PT I |
Capítulo | 2012 |
Reverse Engineering Feature Models with Evolutionary Algorithms An Exploratory Study
|
Search Based Software Engineering: 4th International Symposium, SSBSE 2012 Riva del Garda, Italy, September 28-30, 2012 Proceedings |
Ponencia | 2012 |
Reverse engineering feature models with evolutionary algorithms: An exploratory study
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
SALMonADA: A platform for monitoring and explaining violations of WS-agreement-compliant documents
|
ICSE Workshop on Principles of Engineering Service Oriented Systems |
Ponencia | 2012 |
Short-range interactions and decision tree-based protein contact map predictor
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
Simulating Large-Scale ENPS Models by Means of GPU
|
Tenth Brainstorming Week on Membrane Computing |
Artículo | 2012 |
Solving Common Algorithmic Problem by Recognizer Tissue P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2012 |
Spiking neural P systems with functional astrocytes
|
Lecture Notes in Computer Science |
Libro | 2012 |
Tenth Brainstorming Week on Membrane Computing
|
Tenth Brainstorming Week on Membrane Computing |
Libro | 2012 |
Tenth Brainstorming Week on Membrane Computing Sevilla, January 30 - February 3, 2012 Volume II : RGNC REPORT 2/2012
|
Tenth Brainstorming Week on Membrane Computing Sevilla, January 30 - February 3, 2012 Volume II : RGNC REPORT 2/2012 |
Ponencia | 2012 |
The efficiency of tissue P systems with cell separation relies on the environment
|
Lecture Notes in Computer Science |
Artículo | 2012 |
The GPU on the simulation of cellular computing models
|
SOFT COMPUTING |
Ponencia | 2012 |
The Role of the Environment in Tissue P Systems with Cell Division
|
Proceedings of the Tenth Brainstorming Week on Membrane Computing, (2)89-104. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2012, |
Ponencia | 2012 |
The Role of the Environment in Tissue P Systems with Cell Division ?
|
Tenth Brainstorming Week on Membrane Computing |
Ponencia | 2012 |
Towards AER VITE: building spike gate signal
|
2012 19th IEEE International Conference on Electronics, Circuits and Systems (ICECS) |
Ponencia | 2012 |
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
|
Tenth Brainstorming Week on Membrane Computing |
Artículo | 2012 |
Towards bridging two cell-inspired models: P systems and R systems
|
THEORETICAL 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 |
Artículo | 2011 |
A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study
|
ECOLOGICAL MODELLING |
Artículo | 2011 |
A computational modeling for real ecosystems based on P systems
|
NATURAL COMPUTING |
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 multi-objective genetic algorithm for the protein structure prediction
|
International Conference on Intelligent Systems Design and Applications |
Ponencia | 2011 |
A nearest neighbour-based approach for viral protein structure prediction
|
EVOLUTIONARY COMPUTATION, MACHINE LEARNING AND DATA MINING IN BIOINFORMATICS |
Ponencia | 2011 |
A New P System to Model the Subalpine and Alpine Plant Communities
|
Ninth Brainstorming Week On Membrane Computing |
Ponencia | 2011 |
A perfomance comparison study between synchronous and asynchronous FPGA for spike based systems. Under the AER synthetic generation
|
Proceedings of the 2011 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2011 |
Artículo | 2011 |
A SIMULATION ALGORITHM FOR MULTIENVIRONMENT PROBABILISTIC P SYSTEMS: A FORMAL VERIFICATION
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Artículo | 2011 |
A software tool for generating graphics by means of P systems
|
NATURAL COMPUTING |
Artículo | 2011 |
A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2011 |
A tool for link-based web page classification
|
ADVANCES IN ARTIFICIAL INTELLIGENCE |
Ponencia | 2011 |
A tool for web links prototyping
|
Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011 |
Ponencia | 2011 |
A transducer model for web information extraction
|
Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011 |
Ponencia | 2011 |
A uniform solution to common algorithmic problem by tissue p systems with cell division
|
Proceedings - 2011 6th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2011 |
Ponencia | 2011 |
AER SPIKE-PROCESSING FILTER SIMULATOR Implementation of an AER Simulator based on Cellular Automata
|
2011 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS (SIGMAP 2011) |
Ponencia | 2011 |
AER spike-processing filter simulator: Implementation of an AER simulator based on Cellular Automata
|
SIGMAP 2011 - Proceedings of the International Conference on Signal Processing and Multimedia Applications |
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 |
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas
|
JENUI 2011: XVII Jornadas de Enseñanza Universitaria de la Informática (2011) |
Ponencia | 2011 |
Automated analysis of feature models 20 years later: A literature review
|
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011 |
Ponencia | 2011 |
Automated diagnosis of feature model configurations
|
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011 |
Artículo | 2011 |
Automated metamorphic testing on the analyses of feature models
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Ponencia | 2011 |
Automatic generation of a data-centered view of business processes
|
Lecture Notes in Computer Science |
Artículo | 2011 |
COMPUTATION OF RAMSEY NUMBERS BY P SYSTEMS WITH ACTIVE MEMBRANES
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Capítulo | 2011 |
Cooperation in wireless ad hoc and sensor networks
|
Cooperative Networking |
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 |
Diseño de material específico docente para el aprendizaje de microcontroladores y sistemas USB
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
Ponencia | 2011 |
dP Automata versus Right-Linear Simple Matrix Grammars
|
Ninth Brainstorming Week On Membrane Computing |
Capítulo | 2011 |
Entrenamiento de la creatividad y la innovación en la Ingeniería de Computadores basándose en la metodología de aprendizaje por proyectos
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
Ponencia | 2011 |
Evolutionary computation for the prediction of secondary protein structures
|
Proceedings of the ACM Symposium on Applied Computing |
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 |
Exploring Features of a Full-Coverage Integrated Solution for Business Process Compliance
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS |
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 |
Artículo | 2011 |
Functional testing of feature model analysis tools: a test suite
|
IET SOFTWARE |
Ponencia | 2011 |
Generating SPARQL Executable Mappings to Integrate Ontologies
|
CONCEPTUAL MODELING - ER 2011 |
Ponencia | 2011 |
Image matching algorithms in stereo vision using address-event- representation: a theoretical study and evaluation of the different algorithms
|
SIGMAP 2011 - Proceedings of the International Conference on Signal Processing and Multimedia Applications |
Ponencia | 2011 |
Implementing Local Search with Membrane Computing
|
Ninth Brainstorming Week On Membrane Computing |
Artículo | 2011 |
Interorganizational Business Modeling: an Approach for Traceability of Goals, Organizational Models and Business Processes
|
IEEE LATIN AMERICA TRANSACTIONS |
Ponencia | 2011 |
ISA packager: A tool for SPL deployment
|
ACM International Conference Proceeding Series |
Artículo | 2011 |
Linear time solution to prime factorization by tissue P systems with cell division
|
International Journal of Natural Computing Research |
Artículo | 2011 |
Local Search with P Systems
|
International Journal of Natural Computing Research |
Artículo | 2011 |
Looking for Small Efficient P Systems
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2011 |
Membrane computing (tutorial)
|
Lecture Notes in Computer Science |
Artículo | 2011 |
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
|
SOFTWARE AND SYSTEMS MODELING |
Ponencia | 2011 |
Mosto: Generating SPARQL executable mappings between ontologies
|
ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS |
Artículo | 2011 |
Mutation testing on an object-oriented framework: An experience report
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Ponencia | 2011 |
Network requirements evaluation of a multi-user virtual environment
|
Proceedings of the 2011 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2011 |
Ponencia | 2011 |
Neuromorphic real-time objects tracking using address event representation and silicon retina
|
ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT I |
Libro | 2011 |
Ninth Brainstorming Week On Membrane Computing
|
Ninth Brainstorming Week On Membrane Computing |
Libro | 2011 |
Ninth Brainstorming Week on Membrane Computing, Sevilla, January 31 - February 4, 2011 : RGNC REPORT 1/2011
|
Ninth Brainstorming Week On Membrane Computing |
Artículo | 2011 |
ON A PARTIAL AFFIRMATIVE ANSWER FOR A PAUN'S CONJECTURE
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2011 |
On benchmarking data translation systems for semantic-web ontologies
|
International Conference on Information and Knowledge Management, Proceedings |
Ponencia | 2011 |
On the designing of spikes band-pass filters for FPGA
|
ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2011, PT II |
Ponencia | 2011 |
OPERA: una herramienta de soporte para el aprendizaje basado en proyectos
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
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 |
Ponencia | 2011 |
Performance study of spike visual processing on a Supercomputer
|
PROCEEDINGS OF THE 2011 INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS |
Ponencia | 2011 |
Práctica de desarrollo de interfaces hardware/software para el manejo de sensores de redes inalámbricas
|
JENUI 2011: XVIII Jornadas de Enseñanza Universitaria de la Informática (2011), |
Capítulo | 2011 |
Práctica de desarrollo de interfaces hardware/software para el manejo de sensores de redes inalámbricos
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
Ponencia | 2011 |
Práctica de laboratorio sobre implementación Joystick HID-USB de interfaz con una emisora RC
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
Ponencia | 2011 |
Prediction of protein distance maps by assembling fragments according to physicochemical similarities
|
Advances in Intelligent and Soft Computing |
Artículo | 2011 |
Protein Secondary Structures Prediction based on Evolutionary Computation
|
APPLIED COMPUTING REVIEW |
Ponencia | 2011 |
Residue-residue contact prediction based on evolutionary computation
|
Advances in Intelligent and Soft Computing |
Ponencia | 2011 |
Simulating building blocks for spikes signals processing
|
ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II |
Ponencia | 2011 |
Sistema de co-diseño hardware/software basado en FPGA para la captura de video analógico a través del bus serie USB
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
Editorial | 2011 |
SPECIAL ISSUE NATURAL COMPUTING: THEORY AND APPLICATIONS PREFACE
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Artículo | 2011 |
Spiking Neural dP Systems
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2011 |
Spiking neural P system simulations on a high performance GPU platform
|
ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PT II |
Artículo | 2011 |
Spiking neural P systems with neuron division and budding
|
SCIENCE CHINA-INFORMATION SCIENCES |
Artículo | 2011 |
Spiking Neural P Systems with Several Types of Spikes
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2011 |
Technical viability study for behavioral monitoring of wildlife animals in Doñana: an 802.15.4 coverage study in a Natural Park
|
DCNET 2011 OPTICS 2011 - Proceedings of the International Conference on Data Communication Networking and International Conference on Optical Communication System |
Artículo | 2011 |
The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain
|
ERCIM NEWS |
Ponencia | 2011 |
Towards Bridging Two Cell-Inspired Models: P Systems and R Systems
|
Ninth Brainstorming Week On Membrane Computing |
Ponencia | 2011 |
Video surveillance at an industrial environment using an Address Event vision sensor: Comparative between two different video sensor based on a bioinspired retina
|
SIGMAP 2011 - Proceedings of the International Conference on Signal Processing and Multimedia Applications |
Ponencia | 2011 |
Visual aer-based processing with convolutions for a parallel supercomputer
|
2011 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND MULTIMEDIA APPLICATIONS (SIGMAP 2011) |
Artículo | 2011 |
Visual Spike Processing based on Cellular Automaton
|
CELLULAR AUTOMATA - SIMPLICITY BEHIND COMPLEXITY |
Ponencia | 2011 |
WS-governance tooling: SOA governance policies analysis and authoring
|
Proceedings - 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2011 |
Ponencia | 2011 |
WS-governance: A policy language for SOA governance
|
SERVICE-ORIENTED COMPUTING |
Libro | 2011 |
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011
|
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 |
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 |
Artículo | 2010 |
A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model
|
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE |
Ponencia | 2010 |
A MDD approach to streamline business modeling and environments especificaci'on interorganizational
|
CIbSE 2010 - Actas - 13th Conferencia Iberoamericana en "Software Engineering" |
Ponencia | 2010 |
A model of user preferences for semantic services discovery and ranking
|
SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS |
Artículo | 2010 |
A New Characterization of NP, P, and PSPACE with Accepting Hybrid Networks of Evolutionary Processors
|
THEORY OF COMPUTING SYSTEMS |
Ponencia | 2010 |
A new simulation algorithm for multienvironment probabilistic P systems
|
Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 |
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 |
Artículo | 2010 |
A P-Lingua based simulator for tissue P systems
|
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING |
Ponencia | 2010 |
A uniform framework for modeling based on P systems
|
Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 |
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 |
Array Tissue-like P Systems
|
Eighth Brainstorming Week on Membrane Computing |
Artículo | 2010 |
Automated analysis of feature models 20 years later: A literature review
|
INFORMATION SYSTEMS |
Artículo | 2010 |
Automated diagnosis of feature model configurations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Capítulo | 2010 |
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
|
Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France |
Artículo | 2010 |
Automatic Service Agreement Negotiators in Open Commerce Environments
|
INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE |
Ponencia | 2010 |
Building blocks for spikes signals processing
|
2010 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS IJCNN 2010 |
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 |
Artículo | 2010 |
Computational complexity of tissue-like P systems
|
JOURNAL OF COMPLEXITY |
Ponencia | 2010 |
De flujos de navegación a Spring Web Flow. Un primer acercamiento a las transformaciones verticales en MWACSL*
|
Actas de talleres de ingeniería del software y bases de datos |
Ponencia | 2010 |
Dealing with fixable and non-fixable properties in service matchmaking
|
SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
Ponencia | 2010 |
Debian packages repositories as software product line models. Towards automated analysis
|
CEUR workshop proceedings |
Ponencia | 2010 |
Definición de Umbral Mínimo para la Predicción de Estructura Secundaria de Proteínas
|
XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico] |
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 |
Libro | 2010 |
Eighth Brainstorming Week on Membrane Computing
|
Eighth Brainstorming Week on Membrane Computing |
Libro | 2010 |
Eighth Brainstorming Week on Membrane Computing, Sevilla, February 1-5, 2010 : RGNC REPORT 1/2010
|
Eighth Brainstorming Week on Membrane Computing |
Ponencia | 2010 |
Frames-to-AER efficiency study based on CPUs performance counters
|
Proceedings of the 2010 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS'2010 |
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 deep-web information sources
|
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS |
Artículo | 2010 |
Laser dynamics modelling and simulation: An application of dynamic load balancing of parallel cellular automata
|
Parallel and Distributed Computational Intelligence |
Ponencia | 2010 |
Live Demonstration: neuro-inspired system for realtime vision tilt correction
|
ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems |
Ponencia | 2010 |
Live Demonstration: real time objects tracking using a bio-inspired processing cascade architecture
|
2010 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS |
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 |
MeCoSim: A general purpose software tool for simulating biological phenomena by means of P systems
|
Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 |
Editorial | 2010 |
Membrane computing and programming
|
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING |
Ponencia | 2010 |
Membrane Computing Meets Artificial Intelligence: A Case Study
|
Eighth Brainstorming Week on Membrane Computing |
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 |
Neuro-inspired system for real-time vision sensor tilt correction
|
2010 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS |
Artículo | 2010 |
On Communication Complexity in Evolution-Communication P Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2010 |
On spiking neural P systems
|
NATURAL COMPUTING |
Ponencia | 2010 |
On the AER convolution processors for FPGA
|
ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems |
Editorial | 2010 |
Preface
|
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Ponencia | 2010 |
Razonando sobre soluciones mecánicas, inductivas y cualitativas
|
Estudios de Lógica, Lenguaje y Epistemología |
Ponencia | 2010 |
Real time multiple objects tracking based on a bioinspired processing cascade architecture
|
ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems |
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 |
Artículo | 2010 |
Simulating a P system based efficient solution to SAT by using GPUs
|
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING |
Ponencia | 2010 |
Simulating tritrophic interactions by means of P systems
|
Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 |
Artículo | 2010 |
Simulation of P systems with active membranes on CUDA
|
BRIEFINGS IN BIOINFORMATICS |
Artículo | 2010 |
Solving Problems in a Distributed Way in Membrane Computing: dP Systems
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Editorial | 2010 |
Special issue on membrane computing eighth: brainstorming week on membrane computing
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2010 |
Spiking Neural P Systems with Weights
|
NEURAL COMPUTATION |
Artículo | 2010 |
Thresholding 2D images with cell-like P systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Ponencia | 2010 |
Tissue-like P Systems without Environment
|
Eighth Brainstorming Week on Membrane Computing |
Ponencia | 2010 |
Using automated analysis of temporal-aware SLAs in logistics
|
SERVICE-ORIENTED COMPUTING: ICSOC/SERVICE WAVE 2009 WORKSHOPS |
Ponencia | 2010 |
Visual Spike-based Convolution Processing with a Cellular Automata Architecture
|
2010 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS IJCNN 2010 |
Artículo | 2009 |
A Computational Complexity Theory in Membrane Computing
|
Tenth Workshop on Membrane Computing |
Artículo | 2009 |
A First Attempt to Model Notch Signalling by Means of P Systems
|
Tenth Workshop on Membrane Computing |
Artículo | 2009 |
A Framework for Complexity Classes in Membrane Computing
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Ponencia | 2009 |
A hybrid model for dynamic simulation of custom software projects in a multiproject environment
|
TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS |
Artículo | 2009 |
A P System Based Model of an Ecosystem of Some Scavenger Birds
|
Tenth Workshop on Membrane Computing |
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 |
A System Dynamics Approach to Web Service Capacity Management
|
ECOWS'09: PROCEEDINGS OF THE 7TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES |
Artículo | 2009 |
An approach to Ballistic deposition based on membrane computing
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Artículo | 2009 |
An elearning standard approach for supporting PBL in computer engineering
|
IEEE TRANSACTIONS ON EDUCATION |
Ponencia | 2009 |
Analyzing Strategic Business Rules through Simulation Modeling
|
SOFTWARE SERVICES FOR E-BUSINESS AND E-SOCIETY |
Artículo | 2009 |
CAVIAR: a 45k neuron, 5M synapse, 12G connects/s AER hardware sensory-processing-learning-actuating system for high-speed visual object recognition and tracking
|
IEEE TRANSACTIONS ON NEURAL NETWORKS |
Ponencia | 2009 |
Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Characterizing the aperiodicity of irreducible Markow chains by using P systems
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Characterizing Tractability by Tissue-Like P Systems
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Characterizing Tractability by Tissue-Like P Systems
|
Tenth Workshop on Membrane Computing |
Artículo | 2009 |
Chrono-scheduling: a simplified dynamic scheduling algorithm for timing predictable processors
|
JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS |
Artículo | 2009 |
Complexity aspects of polarizationless membrane systems
|
NATURAL COMPUTING |
Ponencia | 2009 |
Computing Backwards with P Systems
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Descriptional Complexity of Tissue-Like P Systems with Cell Division
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
Ponencia | 2009 |
Efficiency of Tissue P Systems with Cell Separation
|
Seventh Brainstorming Week on Membrane Computing |
Artículo | 2009 |
Efficient computation in rational-valued P systems
|
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |
Artículo | 2009 |
Efficient simulation of tissue-like P systems by transition cell-like P systems
|
NATURAL COMPUTING |
Artículo | 2009 |
Embedding multi-task address-event-representation computation
|
INTELLIGENT TECHNICAL SYSTEMS |
Ponencia | 2009 |
Explaining the non-compliance between templates and agreement offers in ws-agreement
|
SERVICE-ORIENTED COMPUTING - ICSOC 2009, PROCEEDINGS |
Ponencia | 2009 |
Exploiting Memristance in Adaptive Asynchronous Spiking Neuromorphic Nanotechnology Systems
|
2009 9TH IEEE CONFERENCE ON NANOTECHNOLOGY (IEEE-NANO) |
Ponencia | 2009 |
Fast and Compact Simulation Models for a Variety of FET Nano Devices by the CMOS EKV Equations
|
2009 9TH IEEE CONFERENCE ON NANOTECHNOLOGY (IEEE-NANO) |
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 |
Artículo | 2009 |
Hacia el Enlace entre la Estrategia Empresarial Mediante Modelos de Valor y el Software Mediante Modelos de valor y el software de negocio: Un enfoque MDD
|
Avances en Sistemas e Informática |
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 |
Implementation of a time-warping AER mapper
|
ISCAS: 2009 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-5 |
Ponencia | 2009 |
Membrane Computing Schema: A New Approach to Computation Using String Insertions
|
ALGORITHMIC BIOPROCESSES |
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 |
Modeling inter-business: An approximation for traceability between objectives, organizational and business process models
|
12th Iberoamerican Conference on Requirements Engineering and Software Environments, IDEAS 2009 |
Artículo | 2009 |
On the Efficiency of Cell-Like and Tissue-Like Recognizing Membrane Systems
|
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS |
Ponencia | 2009 |
On user preferences and utility functions in selection: A semantic approach
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
Ponencia | 2009 |
P System Based Model of an Ecosystem of the Scavenger Birds
|
Seventh Brainstorming Week on Membrane Computing |
Artículo | 2009 |
P Systems Computing the Period of Irreducible Markov Chains
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2009 |
P-Lingua 2.0: New Features and First Applications
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Performance study of synthetic AER generation on CPUs for Real-Time Video based on Spikes
|
PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS |
Ponencia | 2009 |
Searching Previous Configurations in Membrane Computing
|
Tenth Workshop on Membrane Computing |
Libro | 2009 |
Seventh Brainstorming Week on Membrane Computing
|
Seventh Brainstorming Week on Membrane Computing |
Libro | 2009 |
Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009 Volume I : RGNC REPORT 1/2009
|
Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009 Volume I : RGNC REPORT 1/2009 |
Libro | 2009 |
Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009, Volume II : RGNC REPORT 2/2009
|
Seventh Brainstorming Week on Membrane Computing. Sevilla, February 2-February 6, 2009, Volume II : RGNC REPORT 2/2009 |
Artículo | 2009 |
Simulating Active Membrane Systems Using GPUs
|
Tenth Workshop on Membrane Computing |
Ponencia | 2009 |
Simulation of P Systems with Active Membranes on CUDA
|
2009 INTERNATIONAL WORKSHOP ON HIGH PERFORMANCE COMPUTATIONAL SYSTEMS BIOLOGY, PROCEEDINGS |
Ponencia | 2009 |
Simulation of Recognizer P Systems by Using Manycore GPUs
|
Seventh Brainstorming Week on Membrane Computing |
Capítulo | 2009 |
Software process dynamics: modeling, simulation and improvement
|
New trends in software process modeling |
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 |
Solving the N-Queens Puzzle with P Systems
|
Seventh Brainstorming Week on Membrane Computing |
Editorial | 2009 |
SPECIAL ISSUE Membrane Computing Fifth Brainstorming Week on Membrane Computing (BWMC5) Foreword
|
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING |
Editorial | 2009 |
SPECIAL ISSUE ON MEMBRANE COMPUTING Seventh Brainstorming Week on Membrane Computing Foreword
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2009 |
Spike-based control monitoring and analysis with Address Event Representation
|
2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2 |
Ponencia | 2009 |
Spiking Neural P Systems with Neuron Division and Budding
|
Seventh Brainstorming Week on Membrane Computing |
Ponencia | 2009 |
Spiking Neural P Systems. Recent Results, Research Topics
|
ALGORITHMIC BIOPROCESSES |
Ponencia | 2009 |
Synthetic retina for AER systems development
|
2009 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2 |
Ponencia | 2009 |
Temporal-awareness in SLAs: Why should we be concerned?
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS |
Libro | 2009 |
Tenth Workshop on Membrane Computing
|
Tenth Workshop on Membrane Computing |
Artículo | 2009 |
The intentional relationship of representation between the constructs of a language and reality
|
DATA & KNOWLEDGE ENGINEERING |
Artículo | 2009 |
Uniform solutions to SAT and Subset Sum by spiking neural P systems
|
NATURAL COMPUTING |
Ponencia | 2008 |
A Fast Solution to the Partition Problem by Using Tissue-Like P Systems
|
2008 THIRD INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS |
Capítulo | 2008 |
A first approach to model SLAs for composite services, using WS-agreement
|
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 |
Ponencia | 2008 |
A First Model for Hebbian Learning with Spiking Neural P Systems
|
Sixth Brainstorming Week on Membrane Computing |
Artículo | 2008 |
A model of the quorum sensing system in vibrio fischeri using p systems
|
ARTIFICIAL LIFE |
Ponencia | 2008 |
A P System Modeling an Ecosystem RElated to the Bearded Vulture
|
Sixth Brainstorming Week on Membrane Computing |
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 |
A service ranker based on logic rules evaluation and constraint programming
|
CEUR workshop proceedings |
Artículo | 2008 |
A software tool for verification of Spiking Neural P Systems
|
NATURAL COMPUTING |
Artículo | 2008 |
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
|
THEORETICAL COMPUTER SCIENCE |
Libro | 2008 |
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008
|
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 |
Ponencia | 2008 |
AER and dynamic systems co-simulation over Simulink with Xilinx System Generator
|
Proceedings of the 15th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2008 |
Ponencia | 2008 |
AER filtering using GLIDER: VHDL cellular automata description
|
Proceedings of the 15th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2008 |
Ponencia | 2008 |
AER-based robotic closed-loop control system
|
PROCEEDINGS OF 2008 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-10 |
Artículo | 2008 |
An association rule mining method for estimating the impact of project management policies on software quality, development time and effort
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2008 |
An initial approach to explaining SLA inconsistencies
|
SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS |
Capítulo | 2008 |
Application of Cellular Automata Algorithms to the Parallel Simulation of Laser Dynamics
|
Optimization Techniques for Solving Complex Problems |
Ponencia | 2008 |
Aprendizaje Basado en Problemas en la docencia de Arquitectura de Sistemas Paralelos
|
Libro de Resúmenes: XVI Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas Cádiz, 23 al 26 de de Septiembre 2008 |
Ponencia | 2008 |
Aprendizaje por Proyectos en la enseñanza de los Microcontroladores
|
Libro de Resúmenes: XVI Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas Cádiz, 23 al 26 de de Septiembre 2008 |
Capítulo | 2008 |
Automated Diagnosis of Product-line Configuration Errors in Feature Models
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
Artículo | 2008 |
Automated error analysis for the agilization of feature modeling
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2008 |
Automated merging of feature models using graph transformations
|
Generative and Transformational Techniques in Software Engineering II |
Artículo | 2008 |
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems
|
ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY |
Artículo | 2008 |
Computer vision techniques for forest fire perception
|
Image and Vision Computing |
Artículo | 2008 |
Editing configurations of P systems
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2008 |
Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform
|
2008 3RD INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES (ICIW 2008) |
Ponencia | 2008 |
FAMA Framework
|
SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS |
Capítulo | 2008 |
FAMA Framework
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
Ponencia | 2008 |
First international workshop on analyses of software product lines (ASPL'08) www.isa.us.es/asp108
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
Capítulo | 2008 |
First International Workshop on Analyses of Software Product Lines (ASPL�08) www.isa.us.es/aspl08
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
Ponencia | 2008 |
From Feature Models to Business Processes
|
2008 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, VOL 2 |
Ponencia | 2008 |
Generating domain specific aspect code for navigation from platform specific models in MWACSL
|
JISBD 2008: XIII Jornadas de Ingeniería del Software y Bases de Datos (2008) |
Ponencia | 2008 |
Graphics and P Systems: Experiments with JPLANT
|
Sixth Brainstorming Week on Membrane Computing |
Artículo | 2008 |
HIERARCHICAL CLUSTERING WITH MEMBRANE COMPUTING
|
COMPUTING AND INFORMATICS |
Ponencia | 2008 |
Image convolution using a probabilistic mapper on USB-AER board
|
PROCEEDINGS OF 2008 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-10 |
Ponencia | 2008 |
Incorporación y Evaluación de Metodologías Docentes basadas en Actividades Académicamente Dirigidas dentro de los Másteres de Ingeniería Informática
|
Libro de Resúmenes: XVI Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas Cádiz, 23 al 26 de de Septiembre 2008 |
Artículo | 2008 |
Membrane systems with proteins embedded in membranes
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2008 |
Modelling gene expression control using P systems: The Lac Operon, a case study
|
BIOSYSTEMS |
Ponencia | 2008 |
Neuro-Inspired Real-Time USB & PCI to AER Interfaces for Vision Processing
|
PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PERFORMANCE EVALUATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS |
Artículo | 2008 |
On real-time AER 2-D convolutions hardware for neuromorphic spike-based cortical processing
|
IEEE TRANSACTIONS ON NEURAL NETWORKS |
Ponencia | 2008 |
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Disolution
|
Sixth Brainstorming Week on Membrane Computing |
Artículo | 2008 |
On the Computational Efficiency of Polarizationless Recognizer P Systems with Strong Division and Dissolution
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2008 |
P-Lingua: A Programming Language for Membrane Computing
|
Sixth Brainstorming Week on Membrane Computing |
Ponencia | 2008 |
QoS-Aware Semantic Service Selection: An Optimization Problem
|
IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
Ponencia | 2008 |
QoS-aware services composition using tabu search and hybrid genetic algorithms
|
ADIS 2008 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 13th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2008 |
Capítulo | 2008 |
Ranking semantic web services using rules evaluation and constraint programming
|
Actas de las IV Jornadas Científico-Técnicas en Servicios Web y SOA: JSEWEB 2008 : Sevilla 29 y 30 de octubre de 2008 |
Capítulo | 2008 |
Remote Services for Advanced Problem Optimization
|
Optimization Techniques for Solving Complex Problems |
Artículo | 2008 |
Representations and characterizations of languages in chomsky hierarchy by means of insertion-deletion systems
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2008 |
Representing Runtime Variability in Business-Driven Development Systems
|
SEVENTH INTERNATIONAL CONFERENCE ON COMPOSITION-BASED SOFTWARE SYSTEMS, PROCEEDINGS |
Ponencia | 2008 |
Semantic discovery and selection: A QoS-aware, hybrid model
|
Proceedings of the 2008 International Conference on Semantic Web and Web Services, SWWS 2008 |
Libro | 2008 |
Sixth Brainstorming Week on Membrane Computing
|
Sixth Brainstorming Week on Membrane Computing |
Libro | 2008 |
Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008
|
Sixth Brainstorming Week on Membrane Computing Sevilla, February 4–February 8, 2008 : RGNC REPORT 01/2008 |
Ponencia | 2008 |
SLAWs: Towards a conceptual architecture for SLA enforcement
|
IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS |
Ponencia | 2008 |
Solving the Partition Problem By Using Tissue-like P Systems with Cell Division
|
Sixth Brainstorming Week on Membrane Computing |
Ponencia | 2008 |
Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts
|
Sixth Brainstorming Week on Membrane Computing |
Editorial | 2008 |
Special issue on membrane computing: Fifth brainstorming week on membrane computing
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2008 |
Spiking neural P systems with extended rules: Universality and languages
|
NATURAL COMPUTING |
Capítulo | 2008 |
Spiking neural P systems: An overview
|
Advancing Artificial Intelligence Through Biological Process Applications |
Artículo | 2008 |
Tissue P systems with cell division
|
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL |
Ponencia | 2008 |
Towards Automated Service Trading
|
E-BUSINESS AND TELECOMMUNICATION NETWORKS |
Artículo | 2008 |
Using cellular automata for parallel simulation of laser dynamics with dynamic load balancing
|
International Journal of High Performance Systems Architecture |
Ponencia | 2007 |
A 5 meps $100 USB2.0 address-event monitor-sequencer interface
|
2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11 |
Ponencia | 2007 |
A BIOLOGICALLY INSPIRED ARCHITECTURE FOR CONTROL OF GRASPING MOVEMENTS OF AN ANTHROPOMORPHIC GRIPPER
|
ADVANCES IN CLIMBING AND WALKING ROBOTS, PROCEEDINGS |
Ponencia | 2007 |
A Cellular Solution to Subset Sum Using Division of Non-elementary Membranes and Dissolution, with Time and Initial Resources Bounded by log k
|
WMC 2007: 8th Workshop on Membrane Computing (2007), pp. 301-315. |
Ponencia | 2007 |
A ES-Agreement Extension for Specifying Temporal Properties in SLAs
|
Actas de las III Jornadas Científico-Técnicas en Servicios Web y SOA |
Libro | 2007 |
A Genetic Programming infrastructure profiting from public computation resources
|
Proceedings of the Spanish Conference on e-Science Grid Computing |
Ponencia | 2007 |
A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division
|
Fifth Brainstorming Week on Membrane Computing |
Artículo | 2007 |
A Linear-time Tissue P System Based Solution for the 3-coloring Problem
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
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 Membrane Computing Model for Ballistic Depositions
|
Fifth Brainstorming Week on Membrane Computing |
Artículo | 2007 |
A top down approach for describing the acquaintace organisation of multiagent systems
|
Scalable Computing |
Artículo | 2007 |
A uniform solution to SAT using membrane creation
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2007 |
Address-event based platform for bio-inspired spiking systems
|
BIOENGINEERED AND BIOINSPIRED SYSTEMS III |
Ponencia | 2007 |
AER auditory filtering and CPG for robot control
|
2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11 |
Ponencia | 2007 |
AER image filtering - art. no. 659207
|
BIOENGINEERED AND BIOINSPIRED SYSTEMS III |
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 |
Capítulo | 2007 |
Automated Merging of Feature Models Using Graph Transformations
|
Generative and Transformational Techniques in Software Engineering II |
Artículo | 2007 |
Building and implementing policies in autonomous and autonomic systems using MaCMAS
|
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING |
Ponencia | 2007 |
Building the core architecture of a NASA multiagent system product line
|
AGENT-ORIENTED SOFTWARE ENGINEERING VII |
Artículo | 2007 |
Cellular automata and cluster computing: An application to the simulation of laser dynamics
|
ADVANCES IN COMPLEX SYSTEMS |
Artículo | 2007 |
Cellular modelling using P systems and process algebra
|
PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL |
Capítulo | 2007 |
Computationally Hard Problems Addressed Through P Systems
|
Applications of Membrane Computing |
Artículo | 2007 |
Computing morphisms by spiking neural P systems
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Artículo | 2007 |
Designing and managing evolving systems using a MAS product line approach
|
SCIENCE OF COMPUTER PROGRAMMING |
Ponencia | 2007 |
El metamodelado de un framework: Spring Web Flow
|
|
Capítulo | 2007 |
FAMA: hacia el análisis automático de modelos de características
|
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos |
Libro | 2007 |
Fifth Brainstorming Week on Membrane Computing
|
Fifth Brainstorming Week on Membrane Computing |
Libro | 2007 |
Fifth Brainstorming Week on Membrane Computing.Sevilla, January 29–February 2, 2007 : RGNC REPORT 01/2007
|
Fifth Brainstorming Week on Membrane Computing.Sevilla, January 29–February 2, 2007 : RGNC REPORT 01/2007 |
Editorial | 2007 |
Fourth Brainstorming Week on Membrane Computing
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2007 |
FPGA-based implementation of RAM with asymmetric port widths for run-time reconfiguration
|
2007 14TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-4 |
Artículo | 2007 |
From wrapping to knowledge
|
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2007 |
How to express tumours using membrane systems
|
PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL |
Ponencia | 2007 |
Improving temporal-awareness of WS-agreement
|
SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS |
Ponencia | 2007 |
Improving the adaptation of web applications to different versions of software with MDA
|
CEUR workshop proceedings |
Artículo | 2007 |
Inter-spike-intervals analysis of AER Poisson-like generator hardware
|
NEUROCOMPUTING |
Ponencia | 2007 |
LVDS serial AER link performance
|
2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11 |
Capítulo | 2007 |
MaCMAS CASE Tool Demonstration: MDD-based refinement of CollaborationBased UML Models
|
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos |
Ponencia | 2007 |
Membrane Computing Schema Based on String Insertions
|
Fifth Brainstorming Week on Membrane Computing |
Artículo | 2007 |
Membrane Systems with Marked Membranes
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Capítulo | 2007 |
Modelado y simulación del proceso de desarrollo de software: Una técnica para la mejora de procesos
|
Técnicas cuantitativas para la gestión en la ingeniería del software |
Capítulo | 2007 |
Modelado y simulación del proceso de desarrollo de software: una técnica para la mejora de procesos
|
Técnicas cuantitativas para la gestión en la ingeniería del software |
Ponencia | 2007 |
Multi-task implementation for image reconstruction of an AER communication
|
COMPUTATIONAL AND AMBIENT INTELLIGENCE |
Ponencia | 2007 |
On a paun's conjecture in membrane systems
|
BIO-INSPIRED MODELING OF COGNITIVE TASKS, PT 1, PROCEEDINGS |
Artículo | 2007 |
On string languages generated by spiking neural P systems
|
FUNDAMENTA INFORMATICAE |
Artículo | 2007 |
On the degree of parallelism in membrane systems
|
THEORETICAL COMPUTER SCIENCE |
Artículo | 2007 |
P systems with minimal parallelism
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2007 |
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Manner
|
Fifth Brainstorming Week on Membrane Computing |
Ponencia | 2007 |
Polarizationless P systems with active membranes working in the minimally parallel mode
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
Capítulo | 2007 |
Potenciación de las competencias transversales en titulaciones técnicas
|
Experiencias en el diseño de planes docentes en clave ECTS [Archivo de ordenador] |
Artículo | 2007 |
Power conditioning of fuel cell systems in portable applications
|
INTERNATIONAL JOURNAL OF HYDROGEN ENERGY |
Ponencia | 2007 |
Representations and characterizations of languages in chomsky hierarchy by means of insertion-deletion systems
|
Descriptional Complexity of Formal Systems - 9th International Workshop, DCFS 2007 |
Ponencia | 2007 |
ROM-based finite state, machine implementation in low cost FPGAs
|
2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8 |
Artículo | 2007 |
Simulating FAS-induced apoptosis by using P systems
|
PROGRESS IN NATURAL SCIENCE-MATERIALS INTERNATIONAL |
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 |
Spike events processing for vision systems
|
2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11 |
Ponencia | 2007 |
Spike processing on an embedded multi-task computer: Image reconstruction
|
PROCEEDINGS OF THE FIFTH WORKSHOP ON INTELLIGENT SOLUTIONS IN EMBEDDED SYSTEMS |
Artículo | 2007 |
Spiking neural p systems: An early survey
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2007 |
Una herramienta de Programación Genética Paralela que aprovecha Recursos Públicos de Computación
|
Actas del V Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados |
Ponencia | 2007 |
Uniform solution of QSAT using polarizationless active membranes
|
MACHINES, COMPUTATIONS, AND UNIVERSALITY, PROCEEDINGS |
Ponencia | 2007 |
Using formal methods and agent-oriented software engineering for modeling NASA swarm-based systems
|
2007 IEEE SWARM INTELLIGENCE SYMPOSIUM |
Ponencia | 2007 |
Using FPGA for visuo-motor control with a silicon retina and a humanoid robot
|
2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11 |
Ponencia | 2006 |
A conceptual framework for automated negotiation systems
|
INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS |
Ponencia | 2006 |
A Dynamic Distribution and Assignment Simulation model for pedestrian transportation planning
|
Proceedings of the 5th International Conference on Engineering Computational Technology |
Capítulo | 2006 |
A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS)
|
Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers |
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 |
Ponencia | 2006 |
A LVDS serial AER link
|
2006 13TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-3 |
Ponencia | 2006 |
A membrane computing view on tumours
|
Pre-Proceedings of the International Conference on Bio-Inspired Computing - Theory and Applications: Membrane Computing Section, BIC-TA 2006 |
Ponencia | 2006 |
A model-driven architecture approach for modeling, specifying and deploying policies in autonomous and autonomic systems
|
DASC 2006: 2ND IEEE INTERNATIONAL SYMPOSIUM ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 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 |
Ponencia | 2006 |
A software framework for automated negotiations of SLAs
|
Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings |
Artículo | 2006 |
Address-event-representation tools
|
The Neuromorphic Engineer |
Ponencia | 2006 |
AER neuro-inspired interface to anthropomorphic robotic hand
|
2006 IEEE INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORK PROCEEDINGS, VOLS 1-10 |
Ponencia | 2006 |
AER tools for communications and debugging
|
2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS |
Ponencia | 2006 |
An abstract architecture for service trading
|
Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings |
Ponencia | 2006 |
An analysis of service trading architectures
|
Lecture Notes in Computer Science |
Ponencia | 2006 |
An Approach to the Degree of Parallelism in P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Artículo | 2006 |
Analysis of service trading architectures
|
E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS |
Libro | 2006 |
Aspectos didácticos-organizativos de las TIC
|
Aspectos didácticos-organizativos de las TIC |
Artículo | 2006 |
Automated analysis of feature models: Challenges ahead
|
COMMUNICATIONS OF THE ACM |
Capítulo | 2006 |
Available Membrane Computing Software
|
Natural Computing Series |
Ponencia | 2006 |
Cell-like and Tissue-like Membrane Systems as Recognizer Devices
|
Workshop on Nature Inspired Cooperative Strategies for Optimization, NICSO 2006, June 29-30, 2006, (2006) |
Capítulo | 2006 |
CHARACTERIZING TRACTABILITY BY CELL-LIKE MEMBRANE SYSTEMS
|
FORMAL MODELS, LANGUAGES AND APPLICATIONS |
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 |
Computational efficiency of dissolution rules in membrane systems
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Ponencia | 2006 |
Computing with spiking neural P systems: Traces and small universal systems
|
DNA COMPUTING |
Libro | 2006 |
Educación en Internet: accesibilidad
|
Educación en Internet: accesibilidad |
Libro | 2006 |
Fourth Brainstormming Week on Membrane Computing
|
Fourth Brainstormming Week on Membrane Computing |
Ponencia | 2006 |
Fractals and P Systems
|
Fourth Brainstormming Week on Membrane Computing |
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 |
HACIA UN PROCESO AUTOMATIZADO DE TRADING
|
Novática |
Artículo | 2006 |
Handling Markov chains with membrane computing
|
UNCONVENTIONAL COMPUTATION, PROCEEDINGS |
Ponencia | 2006 |
High-speed image processing with AER-based components
|
2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS |
Libro | 2006 |
Internet para la educación: utilización de las TIC a la educación
|
Internet para la educación: utilización de las TIC a la educación |
Ponencia | 2006 |
Isolated features detection in feature models
|
CEUR workshop proceedings |
Artículo | 2006 |
Membrane computing: Brief introduction, recent results and applications
|
BIOSYSTEMS |
Artículo | 2006 |
Membrane division, restricted membrane creation and object complexity in P systems
|
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Ponencia | 2006 |
Membrane systems with external control
|
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 |
Multi-agent system product lines: challenges and benefits
|
COMMUNICATIONS OF THE ACM |
Artículo | 2006 |
On algorithmic rate-coded AER generation
|
IEEE TRANSACTIONS ON NEURAL NETWORKS |
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 |
Artículo | 2006 |
On simulating a class of parallel architectures
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2006 |
On String Languages Generated by Spiking Neural P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Artículo | 2006 |
On the branching complexity of P systems
|
FUNDAMENTA INFORMATICAE |
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 |
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 |
Ponencia | 2006 |
PCI-AER interface for neuro-inspired spiking systems
|
2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS |
Ponencia | 2006 |
Performance analysis of a parallel discrete model for the simulation of laser dynamics
|
2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS |
Capítulo | 2006 |
Planificación de la experiencia piloto para la adaptación del segundo curso de Ingeniería Técnica en Informática de Sistemas de la Universidad de Extremadura al Espacio Europeo de Educación Superior
|
I Jornadas nacionales de intercambio de experiencias piloto de implantación de metodologías ECTS: Aplicaciones prácticas de la Convergencia Europea :Badajoz, 13, 14 y 15 de septiembre de 2006 |
Ponencia | 2006 |
Poisson AER generator: Inter-spike-intervals analysis
|
2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS |
Ponencia | 2006 |
Simulating FAS-induced apoptosis by using P systems
|
Pre-Proceedings of the International Conference on Bio-Inspired Computing - Theory and Applications: Membrane Computing Section, BIC-TA 2006 |
Artículo | 2006 |
Soft real-time communications over Bluetooth under interferences from ISM devices
|
INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS |
Ponencia | 2006 |
Solving 3-COL with Tissue P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Editorial | 2006 |
Special issue - Membrane computing - Preface
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Artículo | 2006 |
Spike trains in spiking neural P systems
|
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE |
Ponencia | 2006 |
Spiking Neural P Systems with Extended Rules
|
Proceedings of the Fourth Brainstorming Week on Membrane Computing, Vol.I, 241-265. Sevilla, E.T.S. de Ingeniería Informática, 30 de Enero-3 de Febrero, 2006 |
Ponencia | 2006 |
The Growth of Branching Structures with P Systems
|
Fourth Brainstormming Week on Membrane Computing |
Ponencia | 2006 |
Towards automated service trading
|
ICE-B 2006: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON E-BUSINESS |
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 |
Ponencia | 2006 |
Tratamiento computacional de la incertidumbre mediante sistemas celulares con membranas
|
Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006) |
Ponencia | 2006 |
Uniform Solution to QSAT Using Polarizationless Active Membranes
|
Fourth Brainstormming Week on Membrane Computing |
Capítulo | 2006 |
Using Java CSP Solvers in the Automated Analyses of Feature Models
|
Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers |
Editorial | 2005 |
"Second brainstorming week on membrane computing" in Sevilla 2004
|
SOFT COMPUTING |
Ponencia | 2005 |
A constraint-based algorithm for planning the substitution of faulty parts
|
PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE |
Artículo | 2005 |
A fast P system for finding a balanced 2-partition
|
SOFT COMPUTING |
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 |
Ponencia | 2005 |
A Simulator for Confluent P Systems
|
Third Brainstorming Week on Membrane Computing |
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 |
Ponencia | 2005 |
AER building blocks for multi-layer multi-chip neuromorphic vision systems
|
Advances in Neural Information Processing Systems |
Ponencia | 2005 |
AER synthetic generation in hardware for bio-inspired spiking systems
|
BIOENGINEERED AND BIOINSPIRED SYSTEMS II |
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 temporal-aware procurement of Web services
|
SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS |
Libro | 2005 |
Aplicaciones y usos de las tecnologías de información y comunicaciones a la educación
|
Aplicaciones y usos de las tecnologías de información y comunicaciones a la educación |
Artículo | 2005 |
Application of Shannon's entropy to classify emergent behaviors in a simulation of laser dynamics
|
MATHEMATICAL AND COMPUTER MODELLING |
Artículo | 2005 |
Assistive environments: Integration of heterogenous networks to support Ambient Intelligence
|
Home-oriented informatics and telematics: proceedings of the IFIP WG 9.3 HOIT2005 conference |
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 |
Capítulo | 2005 |
Automated reasoning systems and molecular computing
|
Recent results in natural computing |
Libro | 2005 |
Cellular Computing (Complexity Aspects)
|
Cellular Computing (Complexity Aspects) |
Libro | 2005 |
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Capítulo | 2005 |
Cellular solutions to some numerical NP-complete problems: A prolog implementation
|
Molecular Computational Models: Unconventional Approaches |
Ponencia | 2005 |
Characterizing tractability with membrane creation
|
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
Ponencia | 2005 |
Combining heuristics in assembly sequence planning
|
PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE |
Capítulo | 2005 |
Computational complexity aspects of membrane computing: Ideas, results, open problems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Ponencia | 2005 |
Computational Complexity Aspects of Membrane Computing: Ideas, results, Open Problems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Artículo | 2005 |
Computational simulation of laser dynamics as a cooperative phenomenon
|
PHYSICA SCRIPTA |
Ponencia | 2005 |
Editing Configurations of P Systems
|
Third Brainstorming Week on Membrane Computing |
Corrección | 2005 |
Erratum: An integrated framework for simulation-based software process improvement (Software Process Improvement and Practice (2004) 9 (81-93))
|
Software Process: Improvement and Practice |
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 |
Capítulo | 2005 |
Formal verifications of programs in molecular models with random access memory
|
Recent results in natural computing |
Capítulo | 2005 |
Generating pairwise disjoint families through DNA computations
|
Recent results in natural computing |
Artículo | 2005 |
Improving the automatic procurement of web services using constraint programming
|
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS |
Artículo | 2005 |
Inter-spike-intervals analysis of Poisson like hardware synthetic AER generation
|
COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
Artículo | 2005 |
La evolución del lenguaje
|
Ludus Vitalis |
Capítulo | 2005 |
La Triple Esquizofrenia del investigador en Ingeniería del Software
|
Aspectos filosóficos, psicológicos y metodológicos de la informática |
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 |
Capítulo | 2005 |
Membrane computing as production systems
|
Recent results in natural computing |
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 |
Capítulo | 2005 |
METRICS FOR USE CASES: A SURVEY OF CURRENT PROPOSALS
|
METRICS FOR SOFTWARE CONCEPTUAL MODELS |
Ponencia | 2005 |
Multidimensional descriptional complexity of P systems
|
7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings |
Ponencia | 2005 |
Multidimensional Sevilla carpets Associated with P Systems
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
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 P systems with bounded parallelism
|
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
Capítulo | 2005 |
On the branching complexity of P system
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Ponencia | 2005 |
On the Branching Complexity of P Systems
|
Cellular Computing (Complexity Aspects) |
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 |
One and two polarizations, membrane creation and objects complexity in P systems
|
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Proceedings |
Ponencia | 2005 |
P Systems with active membranes, without polarizations and without dissolution: A characterization of P
|
Lecture Notes in Computer Science |
Ponencia | 2005 |
P Systems with Membrane Creation and Rule Input
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Capítulo | 2005 |
Simulating a class of parallel architectures: A broader perspective
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Ponencia | 2005 |
Simulating a Class of Parallel Architectures: A Broader Perspective
|
Cellular computing (complexity aspects): ESF PESC exploratory workshop Sevilla, January 31 - February 2, 2005 |
Ponencia | 2005 |
Simulating Avascular Tumors With Membrane Systems
|
Third Brainstorming Week on Membrane Computing |
Artículo | 2005 |
Solving the subset-sum problem by P systems with active membranes
|
NEW GENERATION COMPUTING |
Artículo | 2005 |
Symport/antiport P systems with three objects are universal
|
FUNDAMENTA INFORMATICAE |
Artículo | 2005 |
Test infrastructure for address-event-representation communications
|
COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS, PROCEEDINGS |
Libro | 2005 |
Third Brainstorming Week on Membrane Computing
|
Third Brainstorming Week on Membrane Computing |
Ponencia | 2005 |
Time-recovering PCI-AER interface for bio-inspired spiking systems
|
BIOENGINEERED AND BIOINSPIRED SYSTEMS II |
Artículo | 2005 |
Tissue P systems with channel states
|
THEORETICAL COMPUTER SCIENCE |
Ponencia | 2005 |
Tools for address-event-representation communication systems and debugging
|
Lecture Notes in Computer Science |
Capítulo | 2005 |
Towards a framework for a service-oriented automated negotiation
|
4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005 |
Artículo | 2005 |
Towards a Programming Language in Cellular Computing
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Capítulo | 2005 |
Towards multi-agent trading of web services
|
4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005 |
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 |
Libro | 2005 |
Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
|
Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings |
Artículo | 2005 |
Using automated reasoning systems on molecular computing
|
DNA COMPUTING |
Ponencia | 2005 |
Using constraint programming to reason on feature models
|
17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005 |
Ponencia | 2004 |
A CLIPS Simulator for Recognizer P Systems with Active Membranes
|
Second Brainstorming Week On Membrane Computing |
Ponencia | 2004 |
A controlled experiment for evaluating a metric-based reading technique for requirements inspection
|
10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE METRICS, PROCEEDINGS |
Ponencia | 2004 |
A framework for classifying and comparing web services procurement platforms
|
FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING WORKSHOPS, 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 |
Ponencia | 2004 |
A parametric formulation of tracking methods: application to chained systems
|
Robotics: Trends, Principles and Applications, Vol 15 |
Artículo | 2004 |
A precise 90 degrees quadrature OTA-C oscillator tunable in the 50-130-MHz range
|
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS |
Ponencia | 2004 |
A precise 90 degrees quadrature OTA-C VCO between 50-130 MHz
|
2004 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS |
Artículo | 2004 |
A prolog simulator for deterministic P systems with active membranes
|
NEW GENERATION COMPUTING |
Ponencia | 2004 |
An Efficient Cellular Solution for the Partition Problem
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2004 |
An efficient family of P systems for packing items into bins
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
Artículo | 2004 |
An order-based algorithm for implementing multiparty synchronization
|
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE |
Artículo | 2004 |
Applying system families concepts to requirements engineering process definition
|
SOFTWARE PRODUCT-FAMILY ENGINEERING |
Editorial | 2004 |
Breakthroughs and challenges in software engineering - J.UCS Special Issue
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
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 |
Ponencia | 2004 |
Conciencia de modelos como instrumentos en ingeniería de Software: una Aproximación desde las Ciencias Naturales y Sociales
|
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 |
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 |
Editorial: Web and database technologies in business solutions
|
International Journal of Web Engineering and Technology |
Artículo | 2004 |
Empirical evaluation and review of a metrics-based approach for use case verification
|
JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY |
Artículo | 2004 |
Empirically driven use case metamodel evolution
|
UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS |
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 |
Interval model-based diagnosis using constraint programming
|
SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17 |
Ponencia | 2004 |
La esquizofrenia del docente e investigador en Ingeniería del Software
|
Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 |
Ponencia | 2004 |
Looking for P Truth
|
Second Brainstorming Week On Membrane Computing |
Ponencia | 2004 |
Modelando aspectos con lenguajes específicos de dominio
|
Segundo Taller de Desarrollo de Software Orientado a Aspectos (DSOA´04) en colaboración con las IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD´04) (2004), pp. 91-97. |
Ponencia | 2004 |
Modelling Interaction Organisation in Large Multi-Agent Organizations
|
3rd International workshop on practical applications of agents and multiagent systems : IWPAAMS 2004 |
Libro | 2004 |
Modelos de computación molecular, celular y cuántica
|
Modelos de computación molecular, celular y cuántica |
Ponencia | 2004 |
On synthetic AER generation
|
2004 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS |
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 |
Ponencia | 2004 |
PCI to AER Hardware/Software interface for Real-Time Vision processing
|
IMAGE PROCESSING, BIOMEDICINE, MULTIMEDIA, FINANCIAL ENGINEERING AND MANUFACTURING, VOL 18 |
Ponencia | 2004 |
Performance analysis of single-slave Bluetooth piconets under cochannel interference
|
2004 IEEE 15TH INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS, VOLS 1-4, PROCEEDINGS |
Libro | 2004 |
Prácticas de fundamentos de informática para ingeniería industrial
|
Prácticas de fundamentos de informática para ingeniería industrial |
Libro | 2004 |
Problemas de fundamentos de informática para ingeniería industrial
|
Problemas de fundamentos de informática para ingeniería industrial |
Libro | 2004 |
Recent results in natural computing
|
Recent results in natural computing |
Artículo | 2004 |
ROM-based FSM implementation using input multiplexing in FPGA devices
|
ELECTRONICS LETTERS |
Libro | 2004 |
Second Brainstorming Week On Membrane Computing
|
Second Brainstorming Week On Membrane Computing |
Editorial | 2004 |
Second brainstorming week on membrane computing - J.UCS special issue
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
Ponencia | 2004 |
Separación de conceptos y MDA: Arquitectura de un framework
|
I Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones (DSDM’04) (2004) |
Ponencia | 2004 |
Simulating Shuffle-Exchange Networks with P Systems
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2004 |
Simulation of the dynamics of pulsed pumped lasers based on cellular automata
|
CELLULAR AUTOMATA, PROCEEDINGS |
Ponencia | 2004 |
Solving the BINPACKING Problem by Recognizer P Systems with Active Membranes
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2004 |
The P versus NP problem through cellular computing with membranes
|
ASPECTS OF MOLECULAR COMPUTING |
Ponencia | 2004 |
Tissue P Systems with Cell Division
|
Second Brainstorming Week On Membrane Computing |
Ponencia | 2004 |
Tissue-like P Systems with Channel-States
|
Second Brainstorming Week On Membrane Computing |
Ponencia | 2004 |
Towards a Programming Language in Cellular Computing
|
Second Brainstorming Week On Membrane Computing |
Ponencia | 2004 |
Towards developing generic solutions with aspects
|
5th Aspect-Oriented Modeling Workshop, AOM-2004 (2004). |
Artículo | 2004 |
Una forma de aproximar el error en el método EFG
|
REVISTA INTERNACIONAL DE METODOS NUMERICOS PARA CALCULO Y DISENO EN INGENIERIA |
Artículo | 2004 |
UNA PROPUESTA PARA LA VERIFICACIÓN DE REQUISITOS BASADA EN MÉTRICAS
|
Revista de procesos y métricas de las tecnologías de la información |
Artículo | 2004 |
Using dynamic modeling and simulation to improve the COTS software process
|
PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT |
Ponencia | 2004 |
Weak Metrics on Configurations of a P System
|
Second Brainstorming Week On Membrane Computing |
Artículo | 2003 |
A genetic algorithm for assembly sequence planning
|
ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II |
Ponencia | 2003 |
A knowledge extraction process specification for today's non-semantic Web
|
Proceedings - IEEE/WIC International Conference on Web Intelligence, WI 2003 |
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 quality-aware approach to web services procurement
|
TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS |
Ponencia | 2003 |
A scheduling approach to assembly sequence planning
|
PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003) |
Artículo | 2003 |
An agent based approach of collective foraging
|
COMPUTATIONAL METHODS IN NEURAL MODELING, PT 1 |
Capítulo | 2003 |
Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software
|
Métodos de investigación y fundamentos filosóficos en ingeniería del software y sistemas de la información: El Escorial (Madrid), 18 de noviembre de 2002 |
Libro | 2003 |
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001
|
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001 |
Libro | 2003 |
Applying requirements engineering
|
Applying requirements engineering |
Artículo | 2003 |
Aspect-oriented interaction in multi-organisational web-based systems
|
COMPUTER NETWORKS |
Artículo | 2003 |
Automating the procurement of web services
|
Service-Oriented Computing - ICSOC 2003 |
Artículo | 2003 |
Cellular automaton model for the simulation of laser dynamics
|
PHYSICAL REVIEW E |
Artículo | 2003 |
Complexity classes in models of cellular computing with membranes
|
NATURAL COMPUTING |
Ponencia | 2003 |
Concerns vs components for web development
|
IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067. |
Artículo | 2003 |
Decision P systems and the P≠NP conjecture
|
Lecture Notes in Computer Science |
Capítulo | 2003 |
Elaboración de Documentos de Requisitos en Asignaturas de Ingeniería del Software
|
IX Jornadas de Enseñanza Universitaria de la Informática: Cádiz, del 9 al 11 de julio de 2003 |
Artículo | 2003 |
Evolutionary learning of hierarchical decision rules
|
IEEE Transactions on Systems, Man, and Cybernetics Part B: Cybernetics |
Artículo | 2003 |
Fairness in systems based on multiparty interactions
|
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE |
Artículo | 2003 |
Finding representative patterns with ordered projections
|
PATTERN RECOGNITION |
Artículo | 2003 |
FOM: A framework for metaheuristic optimization
|
COMPUTATIONAL SCIENCE - ICCS 2003, PT IV, PROCEEDINGS |
Artículo | 2003 |
Hybrid networks of evolutionary processors
|
GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS |
Artículo | 2003 |
INTERACTIONS AMONG DYNAMIC SETS OF OBJECTS
|
Requirements Engineering |
Libro | 2003 |
Máquinas moleculares basadas en ADN
|
Máquinas moleculares basadas en ADN |
Capítulo | 2003 |
Mejora de los procesos software utilizando simulacion e integracion de tecnicas
|
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001 |
Artículo | 2003 |
On selecting and scheduling assembly plans using constraint programming
|
KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
Ponencia | 2003 |
On Sigma(N)-definability in arithmetic
|
PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE |
Artículo | 2003 |
Precise 90 degrees quadrature current-controlled oscillator tunable between 50-130 MHz
|
ELECTRONICS LETTERS |
Artículo | 2003 |
Programación de dispositivos hardware: USB
|
Sólo Programadores |
Artículo | 2003 |
Puentes y emulación de buses: un enfoque sistemático
|
Novática |
Artículo | 2003 |
Recent computability models inspired from biology: DNA and membrane computing
|
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA |
Ponencia | 2003 |
Smoke monitoring and measurement using image processing. Application to forest fires
|
AUTOMATIC TARGET RECOGNITION XIII |
Ponencia | 2003 |
Synthetic generation of address-events for real-time image processing
|
ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS |
Artículo | 2003 |
The Diophantine equation a^2 + b^2 = c^n and the map F_n(z) = z^n
|
Pre-publicaciones del Seminario Matemático " García de Galdeano " |
Capítulo | 2003 |
Un entorno de administración y ejecución de sistemas multiorganizacionales basados en la Web
|
II Taller de Ingeniería del Software Orientada al Web (Web Engineering) |
Ponencia | 2003 |
Un tratamiento sensible a la calidad para la adquisición de servicios web
|
VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003 |
Capítulo | 2003 |
Una Aproximación a la Evaluación Automática de Alternativas de Diseño
|
Apoyo a la Decisión en Ingeniería del Software (ADIS 2001): Proceedings of the 2nd Workshop ADIS-2001, Almagro, Ciudad Real, Spain, November 20, 2001 |
Ponencia | 2003 |
Una experiencia práctica reutilizando aspectos
|
Taller de Trabajo de Desarrollo de Software Orientado a Aspectos DSOA-JISBD 2003 (2003). |
Ponencia | 2003 |
Una revisión empírica de heurísticas para verificación de casos de uso basado en métricas
|
VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003 |
Artículo | 2002 |
A dynamic integrated framework for software process improvement
|
SOFTWARE QUALITY JOURNAL |
Artículo | 2002 |
A formalization of transition P systems
|
FUNDAMENTA INFORMATICAE |
Artículo | 2002 |
A framework for semiqualitative reasoning in engineering applications
|
APPLIED ARTIFICIAL INTELLIGENCE |
Ponencia | 2002 |
A model for assembly sequence planning in a multirobot environment
|
IFAC Proceedings Volumes (IFAC-PapersOnline) |
Ponencia | 2002 |
A pomset-based model for estimating Workcells? setups in assembly sequence planning
|
Lecture Notes in Computer Science |
Artículo | 2002 |
A pomset-based model for estimating workcells' setups in assembly sequence planning
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Ponencia | 2002 |
A practical agent-based method to extract semantic information from the web
|
Lecture Notes in Computer Science |
Artículo | 2002 |
A semiquantitative approach to study semiqualitative systems
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Libro | 2002 |
Advances in business solutions
|
Advances in business solutions |
Ponencia | 2002 |
Aerial monitoring and measurement of forest fires
|
ENHANCED AND SYNTHETIC VISION 2002 |
Artículo | 2002 |
An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactions
|
EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS |
Ponencia | 2002 |
An analytical model of inter-channel interference in Bluetooth-based systems
|
2002 4TH INTERNATIONAL WORKSHOP ON MOBILE AND WIRELESS COMMUNICATION NETWORK |
Ponencia | 2002 |
An automated approach to quality aware web applications
|
ENTERPRISE INFORMATION SYSTEMS IV |
Ponencia | 2002 |
An automated approach to quality-aware web applications
|
ICEIS 2002 - Proceedings of the 4th International Conference on Enterprise Information Systems |
Ponencia | 2002 |
An enablement detection algorithm for open multiparty interactions
|
Proceedings of the ACM Symposium on Applied Computing |
Artículo | 2002 |
An order-based, distributed algorithm for implementing multiparty interactions
|
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS |
Artículo | 2002 |
Application of bus emulation techniques to the design of a PCI/MC68000 bridge
|
MICROPROCESSORS AND MICROSYSTEMS |
Capítulo | 2002 |
Assisting the Requirements Verifier with XML Technology
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Ponencia | 2002 |
Automatic extraction of semantically-meaningful information from the web
|
Lecture Notes in Computer Science |
Libro | 2002 |
Computación celular con membranas: Un modelo no convencional
|
Computación celular con membranas: Un modelo no convencional |
Ponencia | 2002 |
Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.
|
IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002). |
Capítulo | 2002 |
Diagnosis de Software usando técnicas Max-CSP
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Capítulo | 2002 |
Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Ponencia | 2002 |
Error adaptive tracking for mobile robots
|
IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4 |
Artículo | 2002 |
Generation of diophantine sets by computing P systems with external output
|
UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS |
Ponencia | 2002 |
Guest-editorial: The 8th ibero-american conference on artificial intelligence (IBERAMIA'02)
|
Journal of Intelligent & Fuzzy Systems |
Ponencia | 2002 |
Improving software process maturity through dynamic modeling and simulation
|
Comunicaciones presentadas al VI Congreso Internacional de Proyectos de Ingeniería: celebrado en Barcelona del 23 al 25 de Octubre de 2002 |
Artículo | 2002 |
Integrating dynamic models for CMM-based software process improvement
|
PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS |
Capítulo | 2002 |
JAMES: Un Entorno Modular de Ayuda a la Enseñanza
|
Simposio de Informática y Telecomunicaciones |
Capítulo | 2002 |
Los servicios web en el mundo de los mercados electrónicos
|
Avances en comercio electrónico |
Ponencia | 2002 |
Marco dinámico integrado para la mejora de los procesos software
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Artículo | 2002 |
Max-CSP approach for software diagnosis
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
Artículo | 2002 |
Multi-party coordination in the context of MOWS
|
PROGRAMMING AND COMPUTER SOFTWARE |
Ponencia | 2002 |
Nexus: una herramienta de teleformación orientada a discapacitados
|
Tecnologías de la información en el nivel de formación superior avanzada |
Editorial | 2002 |
Preface
|
Lecture Notes in Computer Science |
Artículo | 2002 |
Programación de dispositivos Hardware (I): Puerto serie
|
Sólo Programadores |
Artículo | 2002 |
Programación de dispositivos Hardware: PCI (y II)
|
Sólo Programadores |
Ponencia | 2002 |
Propuesta de un Profile de Aspectos en UML
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Artículo | 2002 |
Qualitative comparison of temporal series. QSI
|
TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
Capítulo | 2002 |
Quality of Service Variability in Systems Families Based on Web Services (SFWS)
|
Simposio de Informática y Telecomunicaciones |
Artículo | 2002 |
Repairing syntax errors in LR parsers
|
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
Capítulo | 2002 |
Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Libro | 2002 |
Simposio de Informática y Telecomunicaciones
|
Simposio de Informática y Telecomunicaciones |
Artículo | 2002 |
Simulating Turing machines by P systems with external output
|
FUNDAMENTA INFORMATICAE |
Ponencia | 2002 |
SIRIUS: Improving the maneuverability of powered wheelchairs
|
PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 & 2 |
Ponencia | 2002 |
Software generation of address-event-representation for interchip images communications
|
IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4 |
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 |
Ponencia | 2002 |
Supporting requirements verification using XSLT
|
IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS |
Artículo | 2002 |
Synthetic generation of events for address-event-representation communications
|
Lecture Notes in Computer Science |
Libro | 2002 |
Teoría de la complejidad en modelos de computación celular con membranas
|
Teoría de la complejidad en modelos de computación celular con membranas |
Editorial | 2002 |
The 8th Ibero-American Conference on Artificial Intelligence (IBERAMIA'02)
|
Journal of Intelligent & Fuzzy Systems |
Artículo | 2002 |
VERIFYING SOFTWARE REQUIREMENTS WITH XSLT
|
Software Engineering Notes |
Ponencia | 2002 |
Waveform generator based on computer-controlled switching power suplies.
|
IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4 |
Ponencia | 2001 |
A framework for aspect-oriented multiparty coordination
|
IFIP International Federation for Information Processing |
Artículo | 2001 |
A path following control for unicycle robots
|
JOURNAL OF ROBOTIC SYSTEMS |
Artículo | 2001 |
A simplified model of software project dynamics
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2001 |
An evolutionary and local search algorithm for motion planning of two manipulators
|
JOURNAL OF ROBOTIC SYSTEMS |
Artículo | 2001 |
An evolutionary approach to estimating software development projects
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Artículo | 2001 |
Analysis of tremor in handicapped people for the design of computer interfaces
|
Technology and disability |
Ponencia | 2001 |
Automated support for quality requirements in Web-service-based systems
|
EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
Capítulo | 2001 |
Computación molecular sin memoria basada en ADN
|
Información : tratamiento y representación |
Libro | 2001 |
Computación, computabilidad y programación
|
Computación, computabilidad y programación |
Artículo | 2001 |
Data set editing by ordered projection
|
Intelligent Data Analysis |
Artículo | 2001 |
DIRECTPLAY 8 (I)
|
Sólo Programadores |
Artículo | 2001 |
DIRECTPLAY 8 (II)
|
Sólo Programadores |
Ponencia | 2001 |
Especificación de requisitos de calidad en sistemas multiorganizacionales basados en servicios web
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Ponencia | 2001 |
Fault Tolerance as an aspect using JReplica
|
EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
Ponencia | 2001 |
Function generator to study the dielectric breakdown in thin film structures
|
ICSD '01: PROCEEDINGS OF THE 2001 IEEE 7TH INTERNATIONAL CONFERENCE ON SOLID DIELECTRICS |
Ponencia | 2001 |
JReplica: modelo de replicación transparente e independiente del ORB
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Ponencia | 2001 |
New distance education systems: towards distance education for all
|
ASSISTIVE TECHNOLOGY - ADDED VALUE TO THE QUALITY OF LIFE |
Capítulo | 2001 |
NP-completitud y computación ADN
|
Actas del Encuentro de Matemáticos Andaluces |
Ponencia | 2001 |
Orientando a aspectos la captura de datos de Internet para activar reglas de decisión en agentes web
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Artículo | 2001 |
Programación en ensamblador de 32 bits (III)
|
Sólo Programadores |
Artículo | 2001 |
Programación en ensamblador de 32 bits (IV)
|
Sólo Programadores |
Ponencia | 2001 |
SEGESOFT: entorno de entrenamiento para la gestión de proyectos software
|
JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real) |
Artículo | 2001 |
Sincronización Multiproceso en Programas Concurrentes: Selección Completamente k-Justa de Interacciones
|
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 |
Libro | 2001 |
Sistemas de Información Geográficos: Una aproximación desde la Ingeniería del Software y las Bases de Datos
|
Sistemas de Información Geográficos: Una aproximación desde la Ingeniería del Software y las Bases de Datos |
Ponencia | 2001 |
Structural constraint-based modeling and reasoning with basic configuration cells
|
Lecture Notes in Computer Science |
Ponencia | 2001 |
Un simulador de memorias cache multinivel
|
VII Jornadas de Enseñanza Universitaria de la Informática, JENUI 2001: Palma de Mallorca, del 16 al 18 de julio de 2001 |
Artículo | 2000 |
A generic natural language interface for task planning - application to a mobile robot
|
CONTROL ENGINEERING PRACTICE |
Artículo | 2000 |
A multiparty coordination aspect language
|
ACM SIGPLAN NOTICES |
Artículo | 2000 |
Analysis of tremor in handicapped people for the design of computer interfaces
|
Technology and disability |
Artículo | 2000 |
Avances en la coordinación de Objetos Activos
|
Novática |
Libro | 2000 |
Current trends in qualitative reasoning and applications
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Ponencia | 2000 |
Data set editing by ordered projection
|
ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
Capítulo | 2000 |
Equilibrio entre eficiencia y adaptabilidad usando separación de aspectos en la fase de diseño
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Capítulo | 2000 |
Estudio de sistemas semicualitativos con restricciones que evolucionan en el tiempo
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Artículo | 2000 |
EXTENSIONES AL SISTEMA DE CLASIFICACIÓN UML
|
Computación y Sistemas |
Ponencia | 2000 |
Implementación automática de fragmentos arquitectónicos en el contexto del lenguaje ALFA
|
Libro de actas: Simposio Español de Informática Distribuida, Ourense 25-27 de septiembre de 2000 |
Artículo | 2000 |
Implementing associations among classes in an environment of active databases
|
PROGRAMMING AND COMPUTER SOFTWARE |
Artículo | 2000 |
Ingeniería de requisitos y tecnología de objetos
|
Novática |
Artículo | 2000 |
INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS.
|
Novática |
Libro | 2000 |
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Capítulo | 2000 |
Optimización en modelos que integran conocimiento cualitativo y cuantitativo
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Capítulo | 2000 |
Primeros Pasos hacia un Compilador de UML/OCL
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Artículo | 2000 |
Programación en ensamblador de 32 bits (I)
|
Sólo Programadores |
Artículo | 2000 |
Programación en ensamblador de 32 bits (II)
|
Sólo Programadores |
Capítulo | 2000 |
Propuestas de Reutilización de Requisitos
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Capítulo | 2000 |
Semiqualitative Temporal Patterns in Time-Series Databases
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Ponencia | 2000 |
Separación de los aspectos de concurrencia y sincronización en la fase de diseño
|
Actas de las VIII Jornadas de Concurrencia : Cuenca, 14 a 16 de junio de 2000 |
Capítulo | 2000 |
Una aproximación al desarrollo de software basada en prototipado arquitectónico
|
ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 |
Capítulo | 2000 |
Using constraint programming framework for Semiqualitative Reasoning
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Artículo | 1999 |
A decision queue based on genetic algorithms: Axis-parallel classifier versus rotated hyperboxes
|
Computational Intelligence and Applications |
Artículo | 1999 |
A distributed solution to synchronous multiparty interaction
|
Recent Advances in Signal Processing and Communications |
Ponencia | 1999 |
A generalization of path following for mobile robots
|
ICRA '99: IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, PROCEEDINGS |
Artículo | 1999 |
Automatic generation of collision-free programs for multiple manipulators using evolutive algorithms
|
Computational Intelligence and Applications |
Ponencia | 1999 |
Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Capítulo | 1999 |
Elicitación de requisitos de usuario mediante plantillas y patrones de requisitos
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Artículo | 1999 |
Generalization of path following for mobile robots
|
IEEE International Conference on Robotics and Automation ICRA |
Capítulo | 1999 |
Implementación de interacciones entre múltiples participantes sobre una máquina virtual en red
|
SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas |
Ponencia | 1999 |
Implementing multiparty interactions on a network computer
|
Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium |
Ponencia | 1999 |
Interpretación reactiva de sistemas basados en concimiento
|
La representación y la organización del conocimiento en sus distintas perspectivas : su influencia en la recuperación de la información: actas del IV Congreso ISKO-España EOCONSID'99, 22-24 de abril de 1999, Granada |
Ponencia | 1999 |
Object Oriented Specification based on Restrictions: Participation and Interaction
|
CSCC 1999: 3rd World Multiconference on Circuits, Systems, Communications and Computers (IEEE/WSES/IMACS) (1999), pp. 6441-6445. |
Artículo | 1999 |
REVISANDO EL RECONOCEDOR CON PREFIJO VÁLIDO PARA TAGS DE SCHABES
|
PROCESAMIENTO DEL LENGUAJE NATURAL |
Ponencia | 1999 |
Semántica formal de asociaciones y agregados para su implementación con reglas activas
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Capítulo | 1999 |
Semántica formal de asociaciones y agregados para su implementación con reglas activas
|
IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD´99) (1999), pp. 183-194. |
Artículo | 1999 |
SPECIFYING INTERACTIONS AMONG OBJECTS THROUGH CONSTRAINTS
|
Computación y Sistemas |
Ponencia | 1999 |
Three geometric approaches for representing decision rules in a supervised learning system
|
GECCO-99: PROCEEDINGS OF THE GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE |
Artículo | 1999 |
Una propuesta para elaborar el catálogo de requisitos en Métrica V2.1
|
Novática |
Artículo | 1999 |
UNA PROPUESTA PARA ELABORAR EL CATÁLOGO DE REQUISITOS EN METRICA V2.1.
|
Novática |
Capítulo | 1999 |
Weak-fairness in the context of constraint-based multiparty interactions
|
SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas |
Ponencia | 1998 |
A review of earley-based parser for TIG
|
Lecture Notes in Computer Science |
Artículo | 1998 |
A study of bus emulation. Application to M68000 based systems
|
MICROPROCESSORS AND MICROSYSTEMS |
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 |
Artículo | 1998 |
ANÁLISIS SINTÁCTICO DE TAGS USANDO ANALIZADORES DEDUCTIVOS
|
PROCESAMIENTO DEL LENGUAJE NATURAL |
Artículo | 1998 |
Analysis of channel utilization for controller area networks
|
COMPUTER COMMUNICATIONS |
Artículo | 1998 |
Arquitectura de controladores de sillas de ruedas.
|
Novática |
Ponencia | 1998 |
Cheap and easy systematic CMOS transistor mismatch characterization
|
ISCAS '98 - PROCEEDINGS OF THE 1998 INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-6 |
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 |
Capítulo | 1998 |
Una gramática S-atribuida para TAG
|
Innovaciones en informática electrónica y automática |
Ponencia | 1997 |
Abstracta/C++: una herramienta orientada a objetos para la construcción de compiladores en C++
|
III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] |
Ponencia | 1997 |
COGITO 2.0: una herramienta para obtener un clasificador jerárquico en aprendizaje supervisado
|
CAEPIA'97: actas |
Ponencia | 1997 |
COGITO: un sistema de autoaprendizaje basado en algoritmos genéticos
|
III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] |
Capítulo | 1997 |
End and cofinal extensions in arithmetic
|
The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 |
Ponencia | 1997 |
Inducción acotada
|
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] |
Ponencia | 1997 |
Las teorías $IDelta_n$ e $Iabla_n$
|
Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] |
Ponencia | 1997 |
Representación y simulación de modelos integrando conocimiento cualitativo y cuantitativo
|
CAEPIA'97: actas |
Ponencia | 1997 |
Requisitos para un generador automático de mecanismos de persistencia objeto-relacionales
|
III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] |
Libro | 1997 |
Un Modelo de proyección de la población para los ámbitos funcionales andaluces: 1991-2006
|
Un Modelo de proyección de la población para los ámbitos funcionales andaluces: 1991-2006 |
Artículo | 1996 |
Coulomb- and nuclear-induced break-up of halo nuclei at bombarding energies around the Coulomb barrier
|
Nuclear Physics, Section A: nuclear and hadronic physics |
Ponencia | 1996 |
Especificación orientada a objetos de lenguajes visuales de grafos
|
II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas |
Artículo | 1996 |
Especificaciones Orientadas a Objetos Basadas en Restricciones
|
I Jornadas de Trabajo de Ingeniería del Software |
Ponencia | 1996 |
Estudio del comportamiento de una red CAN basada en el 82C200 de Phillips y en el 82527 de Intel
|
|
Libro | 1996 |
I Jornadas de Trabajo de Ingeniería del Software
|
I Jornadas de Trabajo de Ingeniería del Software |
Ponencia | 1996 |
Nuclear reaction induced by halo nuclei around the Coulomb barrier
|
Perspectives in Heavy Ion Physics, 1995 (1996), pp. 42-53. |
Artículo | 1996 |
On overspill principles and axiom schemes for bounded formulas
|
MATHEMATICAL LOGIC QUARTERLY |
Ponencia | 1996 |
Operadores de asociación y agregación de clases en un lenguaje de especificación OO
|
II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas |
Artículo | 1996 |
Optimal control and sensitivity analysis of an energy demand model
|
Systems Analysis Modelling Simulation |
Artículo | 1996 |
Performance analysis of CSMA networks with deterministic collision resolution
|
TELECOMMUNICATION SYSTEMS |
Ponencia | 1996 |
Síntesis deductiva de programas lógicos con tipos
|
II Jornadas de informática, Almuñécar (Granada), 15 al 19 de julio 1996: actas |
Ponencia | 1996 |
Un método general de transformación de CFG a TAG
|
Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996) |
Ponencia | 1996 |
Una aproximación formal al modelo relacional básico mediante el lenguaje de especificación Z
|
Actas de las Primeras Jornadas de Investigación y Docencia en Bases de Datos |
Ponencia | 1995 |
A technique for distributed systems specification
|
Proceedings - Euromicro Workshop on Parallel and Distributed Processing |
Artículo | 1995 |
Acceso al medio para tráficos BISND sobre redes con topología en doble bus
|
Informatica y Automatica |
Ponencia | 1995 |
Coordinated motion planning of manipulators by evolution strategies
|
APPLICATIONS OF ARTIFICIAL INTELLIGENCE IN ENGINEERING X |
Capítulo | 1995 |
Introducción a la teoría de la complejidad
|
Lógica formal: Orígenes, métodos y aplicaciones |
Ponencia | 1995 |
Las gramáticas categoriales y la adaptabilidad de un sistema de procesamiento del lenguaje natural
|
Lenguajes naturales y lenguajes formales: actas del XI congreso de lenguajes naturales y lenguajes formales: (Tortosa, 1995) |
Ponencia | 1995 |
Metodología para obtener nuevas características en sistemas de aprendizaje
|
VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95 : actas : Alicante, 15, 16 y 17 de Noviembre de 1995 |
Capítulo | 1995 |
Qualitative modelling in ecology
|
Current Trends in Qualitative Reasoning and Aplications. |
Capítulo | 1995 |
Qualitative simulation and automated causal reasoning
|
Current Trends in Qualitative Reasoning and Aplications. |
Capítulo | 1995 |
Razonamiento automático
|
Lógica formal: Orígenes, métodos y aplicaciones |
Artículo | 1995 |
Síntesis constructiva de programas lógicos
|
I Jornadas de informática, Puerto de la Cruz, 17-21 de julio de 1995: actas |
Artículo | 1995 |
Software Quality Through Formal OO Specification
|
Transactions on Information and Communications Technologies |
Ponencia | 1994 |
Automatización de la aritmética
|
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
Artículo | 1994 |
Desde el lenguaje de especificación orientado a objetos Tesoro y Lotos.
|
Informatica y Automatica |
Ponencia | 1994 |
Especificación orientada a objetos desde un enfoque algebraico
|
GULP-PRODE´94 (1994), pp. 450-451. |
Artículo | 1994 |
MAXIMUM SCHEMES IN ARITHMETIC
|
MATHEMATICAL LOGIC QUARTERLY |
Ponencia | 1994 |
Transición de la descripción de un sistema en lenguaje natural a su formalización
|
Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
Ponencia | 1993 |
Extensiones cofinales de modelos de la Aritmética
|
Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) |
Ponencia | 1992 |
"Splitting" en fragmentos del máximo
|
Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) |
Ponencia | 1992 |
Classifying system behavior modes by statistical search in the parameter space
|
MODELLING AND SIMULATION 1992 |
Libro | 1992 |
Esquemas del máximo en la aritmética
|
Esquemas del máximo en la aritmética |
Ponencia | 1992 |
Optimal-control of an energy demand model
|
COMPUTATIONAL SYSTEMS ANALYSIS 1992 |
Artículo | 1992 |
Risc-based architectures for multiple robot systems
|
MICROPROCESSORS AND MICROSYSTEMS |
Ponencia | 1992 |
Sensitivity analysis of an energy demand model
|
COMPUTATIONAL SYSTEMS ANALYSIS 1992 |
Ponencia | 1991 |
CLADOR: A documentation method for C programmers
|
Proceedings, Advanced Computer Technology, Reliable Systems and Applications |
Ponencia | 1990 |
Multiple robot coordination using multiprocessing primitives
|
COMPUTER APPLICATIONS IN DESIGN, SIMULATION AND ANALYSIS |
Ponencia | 1990 |
Risc multiprocessor based adaptive-control for scara robot
|
COMPUTER APPLICATIONS IN DESIGN, SIMULATION AND ANALYSIS |
Artículo | 1988 |
Qualitative analysis of system dynamics ecological models
|
SYSTEM DYNAMICS REVIEW |
Libro | 1988 |
Teoría de clases y conjuntos: (una introducción del cuerpo de los números reales)
|
Teoría de clases y conjuntos: (una introducción del cuerpo de los números reales) |
Artículo | 1984 |
A case study of qualitative change in system dynamics
|
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE |