default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJosé M. Troya
José María Troya Linero
Person information
- affiliation: University of Málaga, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j63]Eduardo Cañete
, Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya:
Performance analysis of wireless sensor networks and priority queueing systems. Int. J. Sens. Networks 30(2): 126-139 (2019)- 2015
- [j62]Inmaculada Ayala, Mercedes Amor, Lidia Fuentes, José M. Troya:
A Software Product Line Process to Develop Agents for the IoT. Sensors 15(7): 15640-15660 (2015) - [j61]Nadia Gámez, Lidia Fuentes, José M. Troya:
Creating Self-Adapting Mobile Systems with Dynamic Software Product Lines. IEEE Softw. 32(2): 105-112 (2015) - 2013
- [j60]Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya:
PS-QUASAR: A publish/subscribe QoS aware middleware for Wireless Sensor and Actor Networks. J. Syst. Softw. 86(6): 1650-1662 (2013) - [c113]Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya:
RAISE: RAIlway Infrastructure Health Monitoring Using Wireless SEnsor Networks. S-CUBE 2013: 143-157 - 2011
- [j59]Mónica Pinto, Lidia Fuentes, José María Troya Linero:
Specifying aspect-oriented architectures in AO-ADL. Inf. Softw. Technol. 53(11): 1165-1182 (2011) - [j58]Jaime Chen, Manuel Díaz, Luis Llopis, Bartolomé Rubio, José M. Troya:
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. 34(4): 1225-1239 (2011)
2000 – 2009
- 2009
- [j57]Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya:
Designing distributed software with RT-CORBA and SDL. Comput. Stand. Interfaces 31(6): 1073-1091 (2009) - [c112]Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
Managing Multi-concern Application Complexity in AspectSBASCO. ICCS (1) 2009: 133-142 - [c111]Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO. PDP 2009: 21-27 - 2008
- [j56]José Raúl Romero, José M. Troya, Antonio Vallecillo:
Modeling ODP Computational Specifications Using UML. Comput. J. 51(4): 435-450 (2008) - [j55]Vicente Benjumea, Javier López, José M. Troya:
Anonymity analysis in credentials-based systems: A formal framework. Comput. Stand. Interfaces 30(4): 253-261 (2008) - [j54]Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya:
UM-RTCOM: An analyzable component model for real-time distributed systems. J. Syst. Softw. 81(5): 709-726 (2008) - 2007
- [j53]Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
A component-based nuclear power plant simulator kernel. Concurr. Comput. Pract. Exp. 19(5): 593-607 (2007) - [j52]Nathalie Moreno Vergara, José María Troya Linero, Antonio Vallecillo Moreno:
Model-driven component adaptation in the context of Web Engineering. Eur. J. Inf. Syst. 16(4): 448-459 (2007) - [j51]Manuel Díaz, Bartolomé Rubio, José M. Troya:
A tuple channel-based coordination model for parallel and distributed programming. J. Parallel Distributed Comput. 67(10): 1092-1107 (2007) - [j50]Manuel Díaz, Daniel Garrido, José M. Troya:
Development of distributed real-time simulators based on CORBA. Simul. Model. Pract. Theory 15(6): 716-733 (2007) - [j49]Lidia Fuentes, Mónica Pinto, José M. Troya:
Supporting the development of CAM/DAOP applications: an integrated development process. Softw. Pract. Exp. 37(1): 21-64 (2007) - [c110]Javier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya:
Programming Wireless Sensor and Actor Networks with TC-WSANs. ICPS 2007: 196-203 - [c109]Bartolomé Rubio, Manuel Díaz, José M. Troya:
Programming Approaches and Challenges for Wireless Sensor Networks. ICSNC 2007: 36 - [c108]Javier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya:
TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks. ISCC 2007: 173-178 - 2006
- [j48]Vicente Benjumea, Javier López, José M. Troya:
Anonymous attribute certificates based on traceable signatures. Internet Res. 16(2): 120-139 (2006) - [j47]Manuel F. Bertoa, José M. Troya, Antonio Vallecillo:
Measuring the usability of software components. J. Syst. Softw. 79(3): 427-439 (2006) - [j46]Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
Experiences with component-oriented technologies in nuclear power plant simulators. Softw. Pract. Exp. 36(13): 1489-1512 (2006) - [j45]Vicente Benjumea, Javier López, José María Troya Linero:
Specification of a framework for the anonymous use of privileges. Telematics Informatics 23(3): 179-195 (2006) - [c107]Manuel Díaz, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya:
A Component Framework for Wireless Sensor and Actor Networks. ETFA 2006: 300-307 - [c106]Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains. International Conference on Computational Science (2) 2006: 912-919 - [c105]Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case Study. OTM Conferences (2) 2006: 1351-1360 - 2005
- [j44]Mónica Pinto, Lidia Fuentes, José M. Troya:
A Dynamic Component and Aspect-Oriented Platform. Comput. J. 48(4): 401-420 (2005) - [j43]Javier López, Juan J. Ortega, José M. Troya:
Security protocols analysis: A SDL-based approach. Comput. Stand. Interfaces 27(5): 489-499 (2005) - [c104]Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
A CCA-compliant Nuclear Power Plant Simulator Kernel. CBSE 2005: 283-297 - [c103]Manuel Díaz, Bartolomé Rubio, José M. Troya:
TCMote: a tuple channel coordination model for wireless sensor networks. ICPS 2005: 437-440 - [c102]Manuel Díaz, Bartolomé Rubio, José M. Troya:
A Coordination Middleware for Wireless Sensor Networks. Systems Communications 2005: 377-382 - [c101]Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya:
An Aspect Oriented Framework for Scientific Component Development. PDP 2005: 290-296 - [c100]Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya:
Integrating RT-CORBA in SDL. SDL Forum 2005: 47-67 - 2004
- [j42]Luis Iribarne, José M. Troya, Antonio Vallecillo:
A Trading Service for COTS Components. Comput. J. 47(3): 342-357 (2004) - [j41]Mercedes Amor, Lidia Fuentes, José M. Troya:
Training compositional agents in negotiation protocols using ontologies. Integr. Comput. Aided Eng. 11(2): 179-194 (2004) - [j40]Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya:
A framework for secure execution of software. Int. J. Inf. Sec. 3(2): 99-112 (2004) - [j39]Carlos Cotta, José M. Troya:
Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms. Neurocomputing 62: 111-129 (2004) - [j38]Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya:
Analyzing Architectural Evolution Issues of Multimedia Frameworks. Multim. Tools Appl. 22(1): 31-51 (2004) - [j37]Enrique Alba, Gabriel Luque, José M. Troya:
Parallel LAN/WAN heuristics for optimization. Parallel Comput. 30(5-6): 611-628 (2004) - [j36]Enrique Alba, Francisco Luna, Antonio J. Nebro, José M. Troya:
Parallel heterogeneous genetic algorithms for continuous optimization. Parallel Comput. 30(5-6): 699-719 (2004) - [c99]Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya:
Integrating Real-time Analysis in a Component Model for Embedded Systems. EUROMICRO 2004: 14-21 - [c98]Mercedes Amor, Lidia Fuentes, José M. Troya:
A Component and Aspect-Based Architecture for Rapid Software Agent Development. IBERAMIA 2004: 32-42 - [c97]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
SBASCO: Skeleton-Based Scientific Components. PDP 2004: 318- - [c96]Vicente Benjumea, Javier López, José A. Montenegro, José M. Troya:
A First Approach to Provide Anonymity in Attribute Certificates. Public Key Cryptography 2004: 402-415 - 2003
- [j35]Carlos Cotta, José M. Troya:
Embedding Branch and Bound within Evolutionary Algorithms. Appl. Intell. 18(2): 137-153 (2003) - [j34]Carlos Cotta, José M. Troya:
Information processing in transmitting recombination. Appl. Math. Lett. 16(6): 945-948 (2003) - [j33]José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
An Object-oriented Methodology for Embedded Real-time Systems. Comput. J. 46(2): 123-145 (2003) - [j32]Javier López, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle:
Integrating PMI services in CORBA applications. Comput. Stand. Interfaces 25(4): 391-409 (2003) - [j31]Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier López, Ernesto Pimentel, José M. Troya:
A secure solution for commercial digital libraries. Online Inf. Rev. 27(3): 147-159 (2003) - [j30]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
Domain interaction patterns to coordinate HPF tasks. Parallel Comput. 29(7): 925-951 (2003) - [j29]José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
Integrating Schedulability Analysis and Design Techniques in SD. Real Time Syst. 24(3): 267-302 (2003) - [j28]Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo:
Adding Roles to CORBA Objects. IEEE Trans. Software Eng. 29(3): 242-260 (2003) - [c95]Mercedes Amor, Lidia Fuentes, Lawrence Mandow, José M. Troya:
Building Software Agents from Software Components. CAEPIA 2003: 221-230 - [c94]Mercedes Amor, Lidia Fuentes, José M. Troya:
A Component-Based Approach for Interoperability across FIPA-Compliant Platforms. CIA 2003: 266-280 - [c93]Javier López, Juan J. Ortega, José Luis Vivas, José M. Troya:
How to Specify Security Services: A Practical Approach. Communications and Multimedia Security 2003: 158-171 - [c92]Manuel Díaz, Daniel Garrido, Francisco Rus, José M. Troya:
A Component-Based Model for Predictable Embedded Systems. Embedded Systems and Applications 2003: 183-189 - [c91]Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, José M. Troya:
Applying the Semantic Web Layers to Access Control. DEXA Workshops 2003: 622-626 - [c90]Javier López, Juan J. Ortega, José M. Troya, José Luis Vivas:
High-level specification of security systems. GLOBECOM 2003: 1506-1510 - [c89]Mónica Pinto, Lidia Fuentes, José M. Troya:
DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development. GPCE 2003: 118-137 - [c88]Mercedes Amor, Lidia Fuentes, José M. Troya:
Putting Together Web Services and Compositional Software Agents. ICWE 2003: 44-53 - [c87]Mónica Pinto, Lidia Fuentes, José M. Troya:
DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos. JISBD 2003: 347-358 - [c86]Javier López, Juan J. Ortega, José M. Troya:
Applying SDL to Formal Analysis of Security Systems. SDL Forum 2003: 300-316 - 2002
- [j27]Lidia Fuentes, José M. Troya, Antonio Vallecillo:
Using UML Profiles for Documenting Web-Based Application Frameworks. Ann. Softw. Eng. 13(1-4): 249-264 (2002) - [j26]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
A Border-based Coordination Language for Integrating Task and Data Parallelism. J. Parallel Distributed Comput. 62(4): 715-740 (2002) - [j25]Enrique Alba, Antonio J. Nebro, José M. Troya:
Heterogeneous Computing and Parallel Genetic Algorithms. J. Parallel Distributed Comput. 62(9): 1362-1385 (2002) - [j24]Enrique Alba, José M. Troya:
Improving flexibility and efficiency by adding parallelism to genetic algorithms. Stat. Comput. 12(2): 91-114 (2002) - [c85]Mónica Pinto, Lidia Fuentes, Mohamed Fayad, José M. Troya:
Separation of coordination in a dynamic aspect oriented framework. AOSD 2002: 134-140 - [c84]Javier López, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya:
Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. EGOV 2002: 211-214 - [c83]Luis Iribarne, José M. Troya, Antonio Vallecillo:
Selecting Software Components with Multiple Interfaces. EUROMICRO 2002: 26-32 - [c82]Antonio J. Nebro, Enrique Alba, Francisco Luna, José M. Troya:
.NET as a Platform for Implementing Concurrent Objects (Research Note). Euro-Par 2002: 125-130 - [c81]Mariemma Inmaculada Yagüe del Valle, José M. Troya:
A Semantic Approach for Access Control in Web Services. EuroWeb 2002 - [c80]Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, Ernesto Pimentel, José M. Troya:
Secure Content Distribution for Digital Libraries. ICADL 2002: 483-494 - [c79]Javier López, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle:
Access Control Infrastructure for Digital Objects. ICICS 2002: 399-410 - [c78]Javier López, Juan J. Ortega, José M. Troya:
Protocol Engineering Applied to Formal Analysis of Security Systems. InfraSec 2002: 246-259 - [c77]Mónica Pinto, Lidia Fuentes, José M. Troya:
Plataforma para la Composición Dinámica de Componentes y Aspectos. JISBD 2002: 387-398 - [c76]Mercedes Amor, Lidia Fuentes, José M. Troya:
Arquitectura Composicional de Agentes de Negociación. JISBD 2002: 411-420 - [c75]Javier López, Juan J. Ortega, José M. Troya:
Verification of Authentication Protocols using SDL-method. SIS 2002: 61-71 - 2001
- [j23]Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo:
Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001) - [j22]Enrique Alba, José M. Troya:
Analyzing synchronous and asynchronous parallel distributed genetic algorithms. Future Gener. Comput. Syst. 17(4): 451-465 (2001) - [j21]José M. Troya, Antonio Vallecillo:
Controllers: reusable wrappers to adapt software components. Inf. Softw. Technol. 43(3): 189-202 (2001) - [j20]Carlos Canal, Ernesto Pimentel, José M. Troya:
Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001) - [j19]Lidia Fuentes, José M. Troya:
Coordinating distributed components on the web: an integrated development environment. Softw. Pract. Exp. 31(3): 209-233 (2001) - [c74]José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
Deriving hard real-time embedded systems implementations directly from SDL specifications. CODES 2001: 128-133 - [c73]Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya:
Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP. CoopIS 2001: 226-238 - [c72]Luis Iribarne, José M. Troya, Antonio Vallecillo:
Trading for COTS Components in Open Environments. EUROMICRO 2001: 30- - [c71]Mónica Pinto, Lidia Fuentes, José M. Troya, Mohamed Fayad:
Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments. FTDCS 2001: 9-17 - [c70]Carlos Cotta, José M. Troya:
Analyzing Directed Acyclic Graph Recombination. Fuzzy Days 2001: 739-748 - [c69]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
Integrating Task and Data Parallelism by Means of Coordination Patterns. HIPS 2001: 16-27 - [c68]Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya:
Collaborative Virtual Environment Development: An Aspect-Oriented Approach. ICDCS Workshops 2001: 97-102 - [c67]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
Integrating Task and Data Parallelism by means of Coordination Patterns. IPDPS 2001: 102 - [c66]Carlos Cotta, José M. Troya:
A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem. IWANN (1) 2001: 474-481 - [c65]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
DIP: a pattern-based approach for task and data parallelism integration. SAC 2001: 148-150 - 2000
- [j18]Enrique Alba, José M. Troya:
Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic Populations. Appl. Intell. 12(3): 163-181 (2000) - [j17]Carlos Cotta, Enrique Alba, José M. Troya:
On the Computational Power of Adaptive Systems. Comput. Artif. Intell. 19(1): 3-18 (2000) - [j16]Lidia Fuentes, José M. Troya:
Towards an open multimedia service framework. ACM Comput. Surv. 32(1es): 24 (2000) - [c64]Javier López, Antonio Mana, Juan J. Ortega, José M. Troya:
Distributed Storage and Revocation in Digital Certificate Databases. DEXA 2000: 929-938 - [c63]Jorge Dávila, Javier López, Antonio Mana, Juan J. Ortega, José M. Troya:
Development of Secure Internet Applications for Governmental Environments. DEXA Workshop 2000: 362-368 - [c62]Antonio Vallecillo, Juan Hernández Núñez, José M. Troya:
New Issues in Object Interoperability. ECOOP Workshops 2000: 256-269 - [c61]Mercedes Amor, Mónica Pinto, Lidia Fuentes, José M. Troya:
Combining Software Components and Mobile Agents. ESAW 2000: 128-142 - [c60]Carlos Cotta, José M. Troya:
Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors. EvoWorkshops 2000: 347-356 - [c59]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
Integration of Task and Data Parallelism: A Coordination-Based Approach. HiPC 2000: 173-182 - [c58]José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. JISBD 2000: 229-240 - [c57]Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya:
BCL: A Border-based Coordination Language. PDPTA 2000 - [c56]Enrique Alba, José M. Troya:
Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio. PPSN 2000: 29-38 - [c55]Carlos Cotta, José M. Troya:
Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search. PPSN 2000: 325-334 - [c54]Carlos Cotta, José M. Troya:
On the Influence of the Representation Granularity in Heuristic Forma Recombination. SAC (1) 2000: 433-439 - [c53]José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
SDL and hard real time systems: new design and analyze techniques. SAM 2000: 92-107 - [c52]Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo:
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) 2000: 208-225
1990 – 1999
- 1999
- [j15]Enrique Alba, José M. Troya:
A survey of parallel distributed genetic algorithms. Complex. 4(4): 31-52 (1999) - [j14]Lidia Fuentes, José M. Troya:
A Java Framework for Web-Based Multimedia and Collaborative Applications. IEEE Internet Comput. 3(2): 55-64 (1999) - [c51]Enrique Alba, Carlos Cotta, José M. Troya:
Numerical and real time analysis of parallel distributed GAs with structured and panmictic populations. CEC 1999: 1019-1026 - [c50]Carlos Cotta, Enrique Alba, José M. Troya:
Stochastic reverse hill climbing and iterated local search. CEC 1999: 1558-1565 - [c49]Antonio Vallecillo, Juan Hernández Núñez, José M. Troya:
Object Interoperability. ECOOP Workshops 1999: 1-21 - [c48]José M. Troya, Antonio Vallecillo:
Specifying Reusable Controllers for Software Components (Short Paper). FMOODS 1999 - [c47]Carlos Cotta, José M. Troya:
Tacking Epistatic Problems Using Dynastically Optimal Recombination. Fuzzy Days 1999: 197-205 - [c46]Enrique Alba, Carlos Cotta, José M. Troya:
Entropic and Real-Time Analysis of the Search with Panmictic, Structured, and Parallel Distributed Genetic Algorithms. GECCO 1999: 773 - [c45]Carlos Cotta, Enrique Alba, José M. Troya:
Improving the Scalability of Dynastically Optimal Forma Recombination by Tuning the Granularity of the Representation. GECCO 1999: 783 - [c44]Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya:
Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study. IDMS 1999: 219-233 - [c43]Enrique Alba, José M. Troya:
An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands. IPPS/SPDP Workshops 1999: 248-256 - [c42]Carlos Cotta, José M. Troya:
Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm. IWANN (2) 1999: 58-67 - [c41]Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya:
Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. JISBD 1999: 443-454 - [c40]José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya:
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. SDL Forum 1999: 241- - [c39]Carlos Canal, Ernesto Pimentel, José M. Troya:
Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126 - 1998
- [j13]Carlos Cotta, Enrique Alba, José M. Troya:
Un estudio de la potencia computacional y robustez de los algoritmos evolutivos paralelos. Inteligencia Artif. 2(5): 6-13 (1998) - [j12]Carlos Cotta, José M. Troya:
Genetic Forma Recombination in Permutation Flowshop Problems. Evol. Comput. 6(1): 25-44 (1998) - [c38]José M. Troya, Antonio Vallecillo:
A Reflective Component Model for Open Systems. ECOOP Workshops 1998: 378-379 - [c37]Carlos Cotta, José M. Troya:
On Decision-Making in Strong Hybrid Evolutionary Algorithms. IEA/AIE (Vol. 1) 1998: 418-427 - [c36]Antonio J. Nebro, Ernesto Pimentel, José M. Troya:
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ISCOPE 1998: 167-174 - [c35]Carlos Cotta, Enrique Alba, José M. Troya:
Utilizing Dynastically Optimal Forma Recombination in Hybrid Genetic Algorithms. PPSN 1998: 305-314 - [c34]Manuel Díaz, Bartolomé Rubio, José M. Troya:
Multilingual and multiparadigm integration of a tuple channel-based coordination model. SAC 1998: 194-196 - 1997
- [j11]Manuel Díaz, Bartolomé Rubio, José M. Troya:
DRL: A Distributed Real-Time Logic Language. Comput. Lang. 23(2-4): 87-120 (1997) - [c33]José Francisco Aldana Montes, José M. Troya:
Concurrent Smart Evaluation of Datalog Queries. APPIA-GULP-PRODE 1997: 163-174 - [c32]José M. Troya, Antonio Vallecillo:
On the Addition of Properties to Components. ECOOP Workshops 1997: 374-378 - [c31]Antonio J. Nebro, Ernesto Pimentel, José M. Troya:
Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops 1997: 499-506 - [c30]Antonio J. Nebro, Ernesto Pimentel, José M. Troya:
Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. Euro-Par 1997: 567-571 - [c29]Carlos Cotta, José M. Troya:
A Hybrid Genetic Algorithm for the 0-1 Multiple Knapsack Problem. ICANNGA 1997: 250-254 - [c28]Manuel Díaz, Bartolomé Rubio, José M. Troya:
Logic Channels: A Coordination Approach to Distributed Programming. IPPS 1997: 436-442 - [c27]Manuel Díaz, Bartolomé Rubio, José M. Troya:
The Tuple Channel Coordination Model. PDSE 1997: 95-107 - [c26]Lidia Fuentes, José M. Troya:
A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform. WWCA 1997: 90-105 - 1996
- [j10]Manuel Díaz, Bartolomé Rubio, José M. Troya:
Distributed Programming with a Logic Channel Based Coordination Model. Comput. J. 39(10): 876-889 (1996) - [c25]Pedro Merino, José M. Troya:
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV 1996: 406-410 - [c24]José Francisco Aldana Montes, José M. Troya:
Data Flow Evaluation of Datalog Queries. DDLP 1996: 69-78 - [c23]Pedro Merino, José María Troya Linero:
Modelling and verification of the MCS layer with Spin. The Spin Verification System 1996: 101-110 - [c22]José Francisco Aldana Montes, José M. Troya:
Data Flow Parallel Evaluation of Datalog Queries. JIDBD 1996: 151-159 - [c21]Enrique Alba, José M. Troya:
Genetic Algorithms for Protocol Validation. PPSN 1996: 870-879 - 1995
- [c20]Carlos Cotta, José Francisco Aldana Montes, Antonio J. Nebro, José M. Troya:
Hybridizing Genetic Algorithms with Branch and Bound Techniques for the Resolution of the TSP. ICANNGA 1995: 277-280 - [c19]Lidia Fuentes, José Francisco Aldana Montes, José M. Troya:
GENESIS: An Object-Oriented Framework for Simulation of Neural Network Models. ICANNGA 1995: 321-324 - [c18]Enrique Alba, José Francisco Aldana Montes, José M. Troya:
A Genetic Algorithm for Load Balancing in Parallel Query Evaluation for Deductive Relational Data Bases. ICANNGA 1995: 479-482 - [c17]María-del-Mar Gallardo, José M. Troya:
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. LOPSTR 1995: 91-105 - 1994
- [j9]Manuel Díaz, Ernesto Pimentel, José M. Troya:
DROL: A Distributed and Real-Time Object-Oriented Logic Environment. Comput. J. 37(5): 407-421 (1994) - [j8]Manuel I. Capel, José M. Troya:
An Object-Based Tool and Methodological Approach for Distributed Programming. Softw. Concepts Tools 15(4): 177- (1994) - [c16]José Francisco Aldana Montes, Enrique Alba, José M. Troya:
D2: A Model for Datalog Parallel Evaluation. GULP-PRODE (2) 1994: 60-74 - [c15]Francisco J. Durán, Ernesto Pimentel, José M. Troya:
Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994: 147-160 - [c14]María-del-Mar Gallardo, José M. Troya:
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) 1994: 342-356 - [c13]Manuel Díaz, Bartolomé Rubio, José M. Troya:
Implementation Issues of a Distributed Real-Time Logic Language. ICLP Workshop: Integration of Declarative Paradigms 1994: 106-119 - [c12]José Francisco Aldana Montes, Enrique Alba, José M. Troya:
Load Balancing and Query Optimization in DataFlow Parallel Evaluation of Datalog Programs. ICPADS 1994: 682-689 - 1993
- [j7]Manuel Díaz, José M. Troya:
A parlog based real-time distributed logic environment. Future Gener. Comput. Syst. 9(3): 201-218 (1993) - [j6]Manuel I. Capel, José M. Troya, A. Palma:
Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. Microprocess. Microprogramming 38(1-5): 197-204 (1993) - [c11]María-del-Mar Gallardo, José M. Troya:
Parlog Programs Nontermination Analysis. GULP 1993: 237-250 - [c10]Lidia Fuentes, José Francisco Aldana Montes, José M. Troya:
URANO: An Object-Oriented Artificial Neural Network Simulation Tool. IWANN 1993: 364-369 - [c9]Enrique Alba, José Francisco Aldana Montes, José M. Troya:
Full Automatic ANN Design: A Genetic Approach. IWANN 1993: 399-404 - [c8]Manuel I. Capel, José M. Troya, A. Palma:
A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO 1993: 585-588 - [c7]Ernesto Pimentel, José M. Troya:
Compositionality Issues of Concurrent Object-Oriented Logic Languages. PARLE 1993: 529-540 - [c6]Vicente Benjumea, Manuel Roldán, José M. Troya:
A Prolog interpreter for OR parallelism evaluation on distributed systems. PDP 1993: 105-112 - [c5]Vicente Benjumea, José M. Troya:
An OR Parallel Prolog Model for Distributed Memory Systems. PLILP 1993: 291-301 - 1992
- [c4]Ernesto Pimentel, José M. Troya:
L2||O2: Operational and Declarative Semantics. ALPUK 1992: 174-188 - [c3]Manuel Díaz, Ernesto Pimentel, José M. Troya:
A Declarative Environment for Distributed Programming. IFIP Congress (1) 1992: 163-169 - 1991
- [c2]José M. Troya, José Francisco Aldana Montes:
Extending an Object Oriented Concurrent Logic Language for Neural Network Simulations. IWANN 1991: 235-242
1980 – 1989
- 1989
- [j5]M. Ortega, José M. Troya:
Live nodes distribution in parallel branch and bound algorithms. Microprocess. Microprogramming 25(1-5): 301-306 (1989) - [j4]José M. Troya, M. Ortega:
A study of parallel branch-and-bound algorithms with best-bound-first search. Parallel Comput. 11(1): 121-126 (1989) - 1987
- [j3]C. Fernández, A. Vaquero, José M. Troya, J. M. Sánchez:
Automating the computation of authenticators for interbank telex messages. Comput. Secur. 6(5): 396-402 (1987) - 1982
- [j2]Antonio Ramón Vaquero Sánchez, José M. Troya:
Optimization and approximation algorithm for placement of records on linear storage devices. Computing 28(4): 305-316 (1982) - 1981
- [j1]José M. Troya, A. Vaquero:
An Approximation Algorithm for Reducing Expected Head Movement in Linear Storage Devices. Inf. Process. Lett. 13(4/5): 218-220 (1981) - 1980
- [c1]A. Vaquero, José M. Troya:
Placement of Records on Linear Storage Devices. IFIP Congress 1980: 331-336
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-07-02 18:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
