José M. Troya

172 papers A* 1A 7B 7C 10Misc 8Journal 60Unranked 79

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	Performance analysis of wireless sensor networks and priority queueing systems. Int. J. Sens. Networks Eduardo Cañete, Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya
2015	J	`jnl`	A Software Product Line Process to Develop Agents for the IoT. Sensors Inmaculada Ayala, Mercedes Amor, Lidia Fuentes, José M. Troya
2015	J	`jnl`	Creating Self-Adapting Mobile Systems with Dynamic Software Product Lines. IEEE Softw. Nadia Gámez, Lidia Fuentes, José M. Troya
2013	J	`jnl`	PS-QUASAR: A publish/subscribe QoS aware middleware for Wireless Sensor and Actor Networks. J. Syst. Softw. Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya
2013	—	`conf`	RAISE: RAIlway Infrastructure Health Monitoring Using Wireless SEnsor Networks. S-CUBE Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya
2011	J	`jnl`	A survey on quality of service support in wireless sensor and actor networks: Requirements and challenges in the context of critical infrastructure protection. J. Netw. Comput. Appl. Jaime Chen, Manuel Díaz, Luis Llopis, Bartolomé Rubio, José M. Troya
2009	C	`conf`	Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO. PDP Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2009	J	`jnl`	Designing distributed software with RT-CORBA and SDL. Comput. Stand. Interfaces Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya
2009	—	`conf`	Managing Multi-concern Application Complexity in AspectSBASCO. ICCS (1) Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2008	J	`jnl`	Anonymity analysis in credentials-based systems: A formal framework. Comput. Stand. Interfaces Vicente Benjumea, Javier López, José M. Troya
2008	J	`jnl`	Modeling ODP Computational Specifications Using UML. Comput. J. José Raúl Romero, José M. Troya, Antonio Vallecillo
2008	J	`jnl`	UM-RTCOM: An analyzable component model for real-time distributed systems. J. Syst. Softw. Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya
2007	J	`jnl`	A component-based nuclear power plant simulator kernel. Concurr. Comput. Pract. Exp. Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2007	J	`jnl`	A tuple channel-based coordination model for parallel and distributed programming. J. Parallel Distributed Comput. Manuel Díaz, Bartolomé Rubio, José M. Troya
2007	J	`jnl`	Development of distributed real-time simulators based on CORBA. Simul. Model. Pract. Theory Manuel Díaz, Daniel Garrido, José M. Troya
2007	—	`conf`	Programming Approaches and Challenges for Wireless Sensor Networks. ICSNC Bartolomé Rubio, Manuel Díaz, José M. Troya
2007	—	`conf`	Programming Wireless Sensor and Actor Networks with TC-WSANs. ICPS Javier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya
2007	J	`jnl`	Supporting the development of CAM/DAOP applications: an integrated development process. Softw. Pract. Exp. Lidia Fuentes, Mónica Pinto, José M. Troya
2007	C	`conf`	TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks. ISCC Javier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya
2006	C	`conf`	A Component Framework for Wireless Sensor and Actor Networks. ETFA Manuel Díaz, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya
2006	J	`jnl`	Anonymous attribute certificates based on traceable signatures. Internet Res. Vicente Benjumea, Javier López, José M. Troya
2006	—	`conf`	Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case Study. OTM Conferences (2) Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2006	J	`jnl`	Experiences with component-oriented technologies in nuclear power plant simulators. Softw. Pract. Exp. Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2006	J	`jnl`	Measuring the usability of software components. J. Syst. Softw. Manuel F. Bertoa, José M. Troya, Antonio Vallecillo
2006	Misc	`conf`	Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains. International Conference on Computational Science (2) Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2005	—	`conf`	A CCA-compliant Nuclear Power Plant Simulator Kernel. CBSE Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2005	—	`conf`	A Coordination Middleware for Wireless Sensor Networks. Systems Communications Manuel Díaz, Bartolomé Rubio, José M. Troya
2005	J	`jnl`	A Dynamic Component and Aspect-Oriented Platform. Comput. J. Mónica Pinto, Lidia Fuentes, José M. Troya
2005	C	`conf`	An Aspect Oriented Framework for Scientific Component Development. PDP Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
2005	—	`conf`	Integrating RT-CORBA in SDL. SDL Forum Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya
2005	J	`jnl`	Security protocols analysis: A SDL-based approach. Comput. Stand. Interfaces Javier López, Juan J. Ortega, José M. Troya
2005	—	`conf`	TCMote: a tuple channel coordination model for wireless sensor networks. ICPS Manuel Díaz, Bartolomé Rubio, José M. Troya
2004	—	`conf`	A Component and Aspect-Based Architecture for Rapid Software Agent Development. IBERAMIA Mercedes Amor, Lidia Fuentes, José M. Troya
2004	—	`conf`	A First Approach to Provide Anonymity in Attribute Certificates. Public Key Cryptography Vicente Benjumea, Javier López, José A. Montenegro, José M. Troya
2004	J	`jnl`	A Trading Service for COTS Components. Comput. J. Luis Iribarne, José M. Troya, Antonio Vallecillo
2004	J	`jnl`	A framework for secure execution of software. Int. J. Inf. Sec. Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya
2004	J	`jnl`	Analyzing Architectural Evolution Issues of Multimedia Frameworks. Multim. Tools Appl. Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya
2004	—	`conf`	Integrating Real-time Analysis in a Component Model for Embedded Systems. EUROMICRO Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya
2004	J	`jnl`	Parallel LAN/WAN heuristics for optimization. Parallel Comput. Enrique Alba, Gabriel Luque, José M. Troya
2004	J	`jnl`	Parallel heterogeneous genetic algorithms for continuous optimization. Parallel Comput. Enrique Alba, Francisco Luna, Antonio J. Nebro, José M. Troya
2004	J	`jnl`	Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms. Neurocomputing Carlos Cotta, José M. Troya
2004	C	`conf`	SBASCO: Skeleton-Based Scientific Components. PDP Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2004	J	`jnl`	Training compositional agents in negotiation protocols using ontologies. Integr. Comput. Aided Eng. Mercedes Amor, Lidia Fuentes, José M. Troya
2003	—	`conf`	A Component-Based Approach for Interoperability across FIPA-Compliant Platforms. CIA Mercedes Amor, Lidia Fuentes, José M. Troya
2003	—	`conf`	A Component-Based Model for Predictable Embedded Systems. Embedded Systems and Applications Manuel Díaz, Daniel Garrido, Francisco Rus, José M. Troya
2003	J	`jnl`	A secure solution for commercial digital libraries. Online Inf. Rev. Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier López, Ernesto Pimentel, José M. Troya
2003	J	`jnl`	Adding Roles to CORBA Objects. IEEE Trans. Software Eng. Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
2003	J	`jnl`	An Object-oriented Methodology for Embedded Real-time Systems. Comput. J. José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2003	—	`conf`	Applying SDL to Formal Analysis of Security Systems. SDL Forum Javier López, Juan J. Ortega, José M. Troya
2003	—	`conf`	Applying the Semantic Web Layers to Access Control. DEXA Workshops Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, José M. Troya
2003	—	`conf`	Building Software Agents from Software Components. CAEPIA Mercedes Amor, Lidia Fuentes, Lawrence Mandow, José M. Troya
2003	B	`conf`	DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development. GPCE Mónica Pinto, Lidia Fuentes, José M. Troya
2003	—	`conf`	DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos. JISBD Mónica Pinto, Lidia Fuentes, José M. Troya
2003	J	`jnl`	Domain interaction patterns to coordinate HPF tasks. Parallel Comput. Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2003	J	`jnl`	Embedding Branch and Bound within Evolutionary Algorithms. Appl. Intell. Carlos Cotta, José M. Troya
2003	B	`conf`	High-level specification of security systems. GLOBECOM Javier López, Juan J. Ortega, José M. Troya, José Luis Vivas
2003	—	`conf`	How to Specify Security Services: A Practical Approach. Communications and Multimedia Security Javier López, Juan J. Ortega, José Luis Vivas, José M. Troya
2003	J	`jnl`	Information processing in transmitting recombination. Appl. Math. Lett. Carlos Cotta, José M. Troya
2003	J	`jnl`	Integrating PMI services in CORBA applications. Comput. Stand. Interfaces Javier López, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle
2003	J	`jnl`	Integrating Schedulability Analysis and Design Techniques in SD. Real Time Syst. José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2003	B	`conf`	Putting Together Web Services and Compositional Software Agents. ICWE Mercedes Amor, Lidia Fuentes, José M. Troya
2002	—	`conf`	.NET as a Platform for Implementing Concurrent Objects (Research Note). Euro-Par Antonio J. Nebro, Enrique Alba, Francisco Luna, José M. Troya
2002	J	`jnl`	A Border-based Coordination Language for Integrating Task and Data Parallelism. J. Parallel Distributed Comput. Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2002	—	`conf`	A Semantic Approach for Access Control in Web Services. EuroWeb Mariemma Inmaculada Yagüe del Valle, José M. Troya
2002	C	`conf`	Access Control Infrastructure for Digital Objects. ICICS Javier López, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle
2002	—	`conf`	Arquitectura Composicional de Agentes de Negociación. JISBD Mercedes Amor, Lidia Fuentes, José M. Troya
2002	J	`jnl`	Heterogeneous Computing and Parallel Genetic Algorithms. J. Parallel Distributed Comput. Enrique Alba, Antonio J. Nebro, José M. Troya
2002	J	`jnl`	Improving flexibility and efficiency by adding parallelism to genetic algorithms. Stat. Comput. Enrique Alba, José M. Troya
2002	—	`conf`	Plataforma para la Composición Dinámica de Componentes y Aspectos. JISBD Mónica Pinto, Lidia Fuentes, José M. Troya
2002	—	`conf`	Protocol Engineering Applied to Formal Analysis of Security Systems. InfraSec Javier López, Juan J. Ortega, José M. Troya
2002	—	`conf`	Secure Content Distribution for Digital Libraries. ICADL Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, Ernesto Pimentel, José M. Troya
2002	—	`conf`	Selecting Software Components with Multiple Interfaces. EUROMICRO Luis Iribarne, José M. Troya, Antonio Vallecillo
2002	—	`conf`	Separation of coordination in a dynamic aspect oriented framework. AOSD Mónica Pinto, Lidia Fuentes, Mohamed Fayad, José M. Troya
2002	—	`conf`	Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. EGOV Javier López, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya
2002	J	`jnl`	Using UML Profiles for Documenting Web-Based Application Frameworks. Ann. Softw. Eng. Lidia Fuentes, José M. Troya, Antonio Vallecillo
2002	—	`conf`	Verification of Authentication Protocols using SDL-method. SIS Javier López, Juan J. Ortega, José M. Troya
2001	—	`conf`	A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem. IWANN (1) Carlos Cotta, José M. Troya
2001	—	`conf`	Analyzing Directed Acyclic Graph Recombination. Fuzzy Days Carlos Cotta, José M. Troya
2001	J	`jnl`	Analyzing synchronous and asynchronous parallel distributed genetic algorithms. Future Gener. Comput. Syst. Enrique Alba, José M. Troya
2001	—	`conf`	Collaborative Virtual Environment Development: An Aspect-Oriented Approach. ICDCS Workshops Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya
2001	J	`jnl`	Compatibility and inheritance in software architectures. Sci. Comput. Program. Carlos Canal, Ernesto Pimentel, José M. Troya
2001	J	`jnl`	Controllers: reusable wrappers to adapt software components. Inf. Softw. Technol. José M. Troya, Antonio Vallecillo
2001	J	`jnl`	Coordinating distributed components on the web: an integrated development environment. Softw. Pract. Exp. Lidia Fuentes, José M. Troya
2001	Misc	`conf`	DIP: a pattern-based approach for task and data parallelism integration. SAC Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2001	—	`conf`	Deriving hard real-time embedded systems implementations directly from SDL specifications. CODES José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2001	J	`jnl`	Extending CORBA Interfaces with Protocols. Comput. J. Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
2001	C	`conf`	Integrating Task and Data Parallelism by Means of Coordination Patterns. HIPS Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2001	A	`conf`	Integrating Task and Data Parallelism by means of Coordination Patterns. IPDPS Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2001	B	`conf`	Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP. CoopIS Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya
2001	—	`conf`	Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments. FTDCS Mónica Pinto, Lidia Fuentes, José M. Troya, Mohamed Fayad
2001	—	`conf`	Trading for COTS Components in Open Environments. EUROMICRO Luis Iribarne, José M. Troya, Antonio Vallecillo
2000	Misc	`conf`	BCL: A Border-based Coordination Language. PDPTA Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2000	A	`conf`	Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio. PPSN Enrique Alba, José M. Troya
2000	—	`conf`	Combining Software Components and Mobile Agents. ESAW Mercedes Amor, Mónica Pinto, Lidia Fuentes, José M. Troya
2000	—	`conf`	Development of Secure Internet Applications for Governmental Environments. DEXA Workshop Jorge Dávila, Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
2000	C	`conf`	Distributed Storage and Revocation in Digital Certificate Databases. DEXA Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
2000	—	`conf`	Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo
2000	J	`jnl`	Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic Populations. Appl. Intell. Enrique Alba, José M. Troya
2000	Misc	`conf`	Integration of Task and Data Parallelism: A Coordination-Based Approach. HiPC Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
2000	—	`conf`	New Issues in Object Interoperability. ECOOP Workshops Antonio Vallecillo, Juan Hernández Núñez, José M. Troya
2000	J	`jnl`	On the Computational Power of Adaptive Systems. Comput. Artif. Intell. Carlos Cotta, Enrique Alba, José M. Troya
2000	—	`conf`	On the Influence of the Representation Granularity in Heuristic Forma Recombination. SAC (1) Carlos Cotta, José M. Troya
2000	—	`conf`	SDL and hard real time systems: new design and analyze techniques. SAM José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2000	J	`jnl`	Towards an open multimedia service framework. ACM Comput. Surv. Lidia Fuentes, José M. Troya
2000	—	`conf`	Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. JISBD José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
2000	A	`conf`	Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search. PPSN Carlos Cotta, José M. Troya
2000	—	`conf`	Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors. EvoWorkshops Carlos Cotta, José M. Troya
1999	J	`jnl`	A Java Framework for Web-Based Multimedia and Collaborative Applications. IEEE Internet Comput. Lidia Fuentes, José M. Troya
1999	J	`jnl`	A survey of parallel distributed genetic algorithms. Complex. Enrique Alba, José M. Troya
1999	—	`conf`	An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands. IPPS/SPDP Workshops Enrique Alba, José M. Troya
1999	—	`conf`	Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. JISBD Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya
1999	A	`conf`	Entropic and Real-Time Analysis of the Search with Panmictic, Structured, and Parallel Distributed Genetic Algorithms. GECCO Enrique Alba, Carlos Cotta, José M. Troya
1999	A	`conf`	Improving the Scalability of Dynastically Optimal Forma Recombination by Tuning the Granularity of the Representation. GECCO Carlos Cotta, Enrique Alba, José M. Troya
1999	—	`conf`	Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. SDL Forum José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
1999	—	`conf`	Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study. IDMS Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya
1999	B	`conf`	Numerical and real time analysis of parallel distributed GAs with structured and panmictic populations. CEC Enrique Alba, Carlos Cotta, José M. Troya
1999	—	`conf`	Object Interoperability. ECOOP Workshops Antonio Vallecillo, Juan Hernández Núñez, José M. Troya
1999	—	`conf`	Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm. IWANN (2) Carlos Cotta, José M. Troya
1999	—	`conf`	Specification and Refinement of Dynamic Software Architectures. WICSA Carlos Canal, Ernesto Pimentel, José M. Troya
1999	—	`conf`	Specifying Reusable Controllers for Software Components (Short Paper). FMOODS José M. Troya, Antonio Vallecillo
1999	B	`conf`	Stochastic reverse hill climbing and iterated local search. CEC Carlos Cotta, Enrique Alba, José M. Troya
1999	—	`conf`	Tacking Epistatic Problems Using Dynastically Optimal Recombination. Fuzzy Days Carlos Cotta, José M. Troya
1998	—	`conf`	A Reflective Component Model for Open Systems. ECOOP Workshops José M. Troya, Antonio Vallecillo
1998	—	`conf`	Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ISCOPE Antonio J. Nebro, Ernesto Pimentel, José M. Troya
1998	J	`jnl`	Genetic Forma Recombination in Permutation Flowshop Problems. Evol. Comput. Carlos Cotta, José M. Troya
1998	Misc	`conf`	Multilingual and multiparadigm integration of a tuple channel-based coordination model. SAC Manuel Díaz, Bartolomé Rubio, José M. Troya
1998	—	`conf`	On Decision-Making in Strong Hybrid Evolutionary Algorithms. IEA/AIE (Vol. 1) Carlos Cotta, José M. Troya
1998	J	`jnl`	Un estudio de la potencia computacional y robustez de los algoritmos evolutivos paralelos. Inteligencia Artif. Carlos Cotta, Enrique Alba, José M. Troya
1998	A	`conf`	Utilizing Dynastically Optimal Forma Recombination in Hybrid Genetic Algorithms. PPSN Carlos Cotta, Enrique Alba, José M. Troya
1997	—	`conf`	A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform. WWCA Lidia Fuentes, José M. Troya
1997	—	`conf`	A Hybrid Genetic Algorithm for the 0-1 Multiple Knapsack Problem. ICANNGA Carlos Cotta, José M. Troya
1997	—	`conf`	Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops Antonio J. Nebro, Ernesto Pimentel, José M. Troya
1997	—	`conf`	Concurrent Smart Evaluation of Datalog Queries. APPIA-GULP-PRODE José Francisco Aldana-Montes, José M. Troya
1997	J	`jnl`	DRL: A Distributed Real-Time Logic Language. Comput. Lang. Manuel Díaz, Bartolomé Rubio, José M. Troya
1997	—	`conf`	Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. Euro-Par Antonio J. Nebro, Ernesto Pimentel, José M. Troya
1997	—	`conf`	Logic Channels: A Coordination Approach to Distributed Programming. IPPS Manuel Díaz, Bartolomé Rubio, José M. Troya
1997	—	`conf`	On the Addition of Properties to Components. ECOOP Workshops José M. Troya, Antonio Vallecillo
1997	—	`conf`	The Tuple Channel Coordination Model. PDSE Manuel Díaz, Bartolomé Rubio, José M. Troya
1996	—	`conf`	Data Flow Evaluation of Datalog Queries. DDLP José Francisco Aldana-Montes, José M. Troya
1996	—	`conf`	Data Flow Parallel Evaluation of Datalog Queries. JIDBD José Francisco Aldana-Montes, José M. Troya
1996	J	`jnl`	Distributed Programming with a Logic Channel Based Coordination Model. Comput. J. Manuel Díaz, Bartolomé Rubio, José M. Troya
1996	A*	`conf`	EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV Pedro Merino, José M. Troya
1996	A	`conf`	Genetic Algorithms for Protocol Validation. PPSN Enrique Alba, José M. Troya
1995	—	`conf`	A Genetic Algorithm for Load Balancing in Parallel Query Evaluation for Deductive Relational Data Bases. ICANNGA Enrique Alba, José Francisco Aldana-Montes, José M. Troya
1995	—	`conf`	GENESIS: An Object-Oriented Framework for Simulation of Neural Network Models. ICANNGA Lidia Fuentes, José Francisco Aldana-Montes, José M. Troya
1995	—	`conf`	Hybridizing Genetic Algorithms with Branch and Bound Techniques for the Resolution of the TSP. ICANNGA Carlos Cotta, José Francisco Aldana-Montes, Antonio J. Nebro, José M. Troya
1995	C	`conf`	Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. LOPSTR María-del-Mar Gallardo, José M. Troya
1994	J	`jnl`	An Object-Based Tool and Methodological Approach for Distributed Programming. Softw. Concepts Tools Manuel I. Capel, José M. Troya
1994	—	`conf`	Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) Francisco J. Durán, Ernesto Pimentel, José M. Troya
1994	—	`conf`	D2: A Model for Datalog Parallel Evaluation. GULP-PRODE (2) José Francisco Aldana-Montes, Enrique Alba, José M. Troya
1994	J	`jnl`	DROL: A Distributed and Real-Time Object-Oriented Logic Environment. Comput. J. Manuel Díaz, Ernesto Pimentel, José M. Troya
1994	—	`conf`	Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) María-del-Mar Gallardo, José M. Troya
1994	—	`conf`	Implementation Issues of a Distributed Real-Time Logic Language. ICLP Workshop: Integration of Declarative Paradigms Manuel Díaz, Bartolomé Rubio, José M. Troya
1994	B	`conf`	Load Balancing and Query Optimization in DataFlow Parallel Evaluation of Datalog Programs. ICPADS José Francisco Aldana-Montes, Enrique Alba, José M. Troya
1993	—	`conf`	A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO Manuel I. Capel, José M. Troya, A. Palma
1993	C	`conf`	A Prolog interpreter for OR parallelism evaluation on distributed systems. PDP Vicente Benjumea, Manuel Roldán, José M. Troya
1993	J	`jnl`	A parlog based real-time distributed logic environment. Future Gener. Comput. Syst. Manuel Díaz, José M. Troya
1993	—	`conf`	An OR Parallel Prolog Model for Distributed Memory Systems. PLILP Vicente Benjumea, José M. Troya
1993	—	`conf`	Compositionality Issues of Concurrent Object-Oriented Logic Languages. PARLE Ernesto Pimentel, José M. Troya
1993	J	`jnl`	Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. Microprocess. Microprogramming Manuel I. Capel, José M. Troya, A. Palma
1993	Misc	`conf`	Full Automatic ANN Design: A Genetic Approach. IWANN Enrique Alba, José Francisco Aldana-Montes, José M. Troya
1993	—	`conf`	Parlog Programs Nontermination Analysis. GULP María-del-Mar Gallardo, José M. Troya
1993	Misc	`conf`	URANO: An Object-Oriented Artificial Neural Network Simulation Tool. IWANN Lidia Fuentes, José Francisco Aldana-Montes, José M. Troya
1992	—	`conf`	A Declarative Environment for Distributed Programming. IFIP Congress (1) Manuel Díaz, Ernesto Pimentel, José M. Troya
1992	—	`conf`	L2\|\|O2: Operational and Declarative Semantics. ALPUK Ernesto Pimentel, José M. Troya
1991	Misc	`conf`	Extending an Object Oriented Concurrent Logic Language for Neural Network Simulations. IWANN José M. Troya, José Francisco Aldana-Montes
1989	J	`jnl`	A study of parallel branch-and-bound algorithms with best-bound-first search. Parallel Comput. José M. Troya, M. Ortega
1989	J	`jnl`	Live nodes distribution in parallel branch and bound algorithms. Microprocess. Microprogramming M. Ortega, José M. Troya
1987	J	`jnl`	Automating the computation of authenticators for interbank telex messages. Comput. Secur. C. Fernández, A. Vaquero, José M. Troya, J. M. Sánchez
1982	J	`jnl`	Optimization and approximation algorithm for placement of records on linear storage devices. Computing Antonio Ramón Vaquero Sánchez, José M. Troya
1981	J	`jnl`	An Approximation Algorithm for Reducing Expected Head Movement in Linear Storage Devices. Inf. Process. Lett. José M. Troya, A. Vaquero
1980	—	`conf`	Placement of Records on Linear Storage Devices. IFIP Congress A. Vaquero, José M. Troya