![]() | ![]() |
José María Troya Linero
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
141 | EE | José Raúl Romero, José M. Troya, Antonio Vallecillo: Modeling ODP Computational Specifications Using UML. Comput. J. 51(4): 435-450 (2008) |
140 | EE | Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya: UM-RTCOM: An analyzable component model for real-time distributed systems. Journal of Systems and Software 81(5): 709-726 (2008) |
2007 | ||
139 | EE | Bartolomé Rubio, Manuel Díaz, José M. Troya: Programming Approaches and Challenges for Wireless Sensor Networks. ICSNC 2007: 36 |
138 | EE | 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 |
137 | EE | Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya: A component-based nuclear power plant simulator kernel. Concurrency and Computation: Practice and Experience 19(5): 593-607 (2007) |
136 | EE | Manuel Díaz, Bartolomé Rubio, José M. Troya: A tuple channel-based coordination model for parallel and distributed programming. J. Parallel Distrib. Comput. 67(10): 1092-1107 (2007) |
135 | EE | Manuel Díaz, Daniel Garrido, José M. Troya: Development of distributed real-time simulators based on CORBA. Simulation Modelling Practice and Theory 15(6): 716-733 (2007) |
134 | EE | Lidia Fuentes, Mónica Pinto, José M. Troya: Supporting the development of CAM/DAOP applications: an integrated development process. Softw., Pract. Exper. 37(1): 21-64 (2007) |
2006 | ||
133 | EE | 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 |
132 | EE | 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 |
131 | EE | 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 |
130 | EE | Manuel F. Bertoa, José M. Troya, Antonio Vallecillo: Measuring the usability of software components. Journal of Systems and Software 79(3): 427-439 (2006) |
129 | EE | 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. Exper. 36(13): 1489-1512 (2006) |
128 | EE | Vicente Benjumea, Javier Lopez, José María Troya Linero: Specification of a framework for the anonymous use of privileges. Telematics and Informatics 23(3): 179-195 (2006) |
2005 | ||
127 | EE | 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 |
126 | EE | Manuel Díaz, Bartolomé Rubio, José M. Troya: A Coordination Middleware for Wireless Sensor Networks. ICW/ICHSN/ICMCS/SENET 2005: 377-382 |
125 | EE | Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya: An Aspect Oriented Framework for Scientific Component Development. PDP 2005: 290-296 |
124 | EE | Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya: Integrating RT-CORBA in SDL. SDL Forum 2005: 47-67 |
123 | EE | Mónica Pinto, Lidia Fuentes, José M. Troya: A Dynamic Component and Aspect-Oriented Platform. Comput. J. 48(4): 401-420 (2005) |
2004 | ||
122 | EE | 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 |
121 | EE | Mercedes Amor, Lidia Fuentes, José M. Troya: A Component and Aspect-Based Architecture for Rapid Software Agent Development. IBERAMIA 2004: 32-42 |
120 | EE | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: SBASCO: Skeleton-Based Scientific Components. PDP 2004: 318- |
119 | EE | Vicente Benjumea, Javier Lopez, José A. Montenegro, José M. Troya: A First Approach to Provide Anonymity in Attribute Certificates. Public Key Cryptography 2004: 402-415 |
118 | EE | Luis Iribarne, José M. Troya, Antonio Vallecillo: A Trading Service for COTS Components. Comput. J. 47(3): 342-357 (2004) |
117 | EE | Antonio Mana, Javier Lopez, Juan J. Ortega, Ernesto Pimentel, José M. Troya: A framework for secure execution of software. Int. J. Inf. Sec. 3(2): 99-112 (2004) |
116 | EE | Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya: Analyzing Architectural Evolution Issues of Multimedia Frameworks. Multimedia Tools Appl. 22(1): 31-51 (2004) |
115 | EE | Carlos Cotta, José M. Troya: Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms. Neurocomputing 62: 111-129 (2004) |
114 | EE | Enrique Alba, Gabriel Luque, José M. Troya: Parallel LAN/WAN heuristics for optimization. Parallel Computing 30(5-6): 611-628 (2004) |
113 | EE | Enrique Alba, Francisco Luna, Antonio J. Nebro, José M. Troya: Parallel heterogeneous genetic algorithms for continuous optimization. Parallel Computing 30(5-6): 699-719 (2004) |
2003 | ||
112 | EE | Mercedes Amor, Lidia Fuentes, Lawrence Mandow, José M. Troya: Building Software Agents from Software Components. CAEPIA 2003: 221-230 |
111 | EE | Mercedes Amor, Lidia Fuentes, José M. Troya: A Component-Based Approach for Interoperability across FIPA-Compliant Platforms. CIA 2003: 266-280 |
110 | EE | Javier Lopez, Juan J. Ortega, José Luis Vivas, José M. Troya: How to Specify Security Services: A Practical Approach. Communications and Multimedia Security 2003: 158-171 |
109 | EE | Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, José M. Troya: Applying the Semantic Web Layers to Access Control. DEXA Workshops 2003: 622-626 |
108 | 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 | |
107 | EE | 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 |
106 | EE | Mercedes Amor, Lidia Fuentes, José M. Troya: Putting Together Web Services and Compositional Software Agents. ICWE 2003: 44-53 |
105 | 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 | |
104 | EE | Javier Lopez, Juan J. Ortega, José M. Troya: Applying SDL to Formal Analysis of Security Systems. SDL Forum 2003: 300-316 |
103 | Carlos Cotta, José M. Troya: Embedding Branch and Bound within Evolutionary Algorithms. Appl. Intell. 18(2): 137-153 (2003) | |
102 | EE | Carlos Cotta, José M. Troya: Information processing in transmitting recombination. Appl. Math. Lett. 16(6): 945-948 (2003) |
101 | EE | José M. Á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) |
100 | EE | 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) |
99 | EE | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Domain interaction patterns to coordinate HPF tasks. Parallel Computing 29(7): 925-951 (2003) |
98 | José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya: Integrating Schedulability Analysis and Design Techniques in SD. Real-Time Systems 24(3): 267-302 (2003) | |
2002 | ||
97 | EE | Mónica Pinto, Lidia Fuentes, Mohamed Fayad, José M. Troya: Separation of coordination in a dynamic aspect oriented framework. AOSD 2002: 134-140 |
96 | EE | Javier Lopez, 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 |
95 | EE | Luis Iribarne, José M. Troya, Antonio Vallecillo: Selecting Software Components with Multiple Interfaces. EUROMICRO 2002: 26-32 |
94 | EE | 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 |
93 | EE | Mariemma Inmaculada Yagüe del Valle, José M. Troya: A Semantic Approach for Access Control in Web Services. EuroWeb 2002 |
92 | EE | Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, Ernesto Pimentel, José M. Troya: Secure Content Distribution for Digital Libraries. ICADL 2002: 483-494 |
91 | EE | Javier Lopez, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle: Access Control Infrastructure for Digital Objects. ICICS 2002: 399-410 |
90 | EE | Javier Lopez, Juan J. Ortega, José M. Troya: Protocol Engineering Applied to Formal Analysis of Security Systems. InfraSec 2002: 246-259 |
89 | Mónica Pinto, Lidia Fuentes, José M. Troya: Plataforma para la Composición Dinámica de Componentes y Aspectos. JISBD 2002: 387-398 | |
88 | Mercedes Amor, Lidia Fuentes, José M. Troya: Arquitectura Composicional de Agentes de Negociación. JISBD 2002: 411-420 | |
87 | Javier Lopez, Juan J. Ortega, José M. Troya: Verification of Authentication Protocols using SDL-method. SIS 2002: 61-71 | |
86 | Lidia Fuentes, José M. Troya, Antonio Vallecillo: Using UML Profiles for Documenting Web-Based Application Frameworks. Ann. Software Eng. 13(1-4): 249-264 (2002) | |
85 | EE | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: A Border-based Coordination Language for Integrating Task and Data Parallelism. J. Parallel Distrib. Comput. 62(4): 715-740 (2002) |
84 | EE | Enrique Alba, Antonio J. Nebro, José M. Troya: Heterogeneous Computing and Parallel Genetic Algorithms. J. Parallel Distrib. Comput. 62(9): 1362-1385 (2002) |
83 | EE | Enrique Alba, José M. Troya: Improving flexibility and efficiency by adding parallelism to genetic algorithms. Statistics and Computing 12(2): 91-114 (2002) |
2001 | ||
82 | EE | José M. Á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 |
81 | EE | Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya: Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP. CoopIS 2001: 226-238 |
80 | EE | Luis Iribarne, José M. Troya, Antonio Vallecillo: Trading for COTS Components in Open Environments. EUROMICRO 2001: 30- |
79 | EE | 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 |
78 | EE | Carlos Cotta, José M. Troya: Analyzing Directed Acyclic Graph Recombination. Fuzzy Days 2001: 739-748 |
77 | EE | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Integrating Task and Data Parallelism by Means of Coordination Patterns. HIPS 2001: 16-27 |
76 | EE | Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya: Collaborative Virtual Environment Development: An Aspect-Oriented Approach. ICDCS Workshops 2001: 97-102 |
75 | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Integrating Task and Data Parallelism by means of Coordination Patterns. IPDPS 2001: 102 | |
74 | EE | Carlos Cotta, José M. Troya: A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem. IWANN (1) 2001: 474-481 |
73 | EE | 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 |
72 | EE | Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001) |
71 | EE | Enrique Alba, José M. Troya: Analyzing synchronous and asynchronous parallel distributed genetic algorithms. Future Generation Comp. Syst. 17(4): 451-465 (2001) |
70 | José M. Troya, Antonio Vallecillo: Controllers: reusable wrappers to adapt software components. Information & Software Technology 43(3): 189-202 (2001) | |
69 | Carlos Canal, Ernesto Pimentel, José M. Troya: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001) | |
68 | Lidia Fuentes, José M. Troya: Coordinating distributed components on the web: an integrated development environment. Softw., Pract. Exper. 31(3): 209-233 (2001) | |
2000 | ||
67 | EE | Javier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya: Distributed Storage and Revocation in Digital Certificate Databases. DEXA 2000: 929-938 |
66 | EE | Jorge Davila, Javier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya: Development of Secure Internet Applications for Governmental Environments. DEXA Workshop 2000: 362-368 |
65 | EE | Antonio Vallecillo, Juan Hernández Núñez, José M. Troya: New Issues in Object Interoperability. ECOOP Workshops 2000: 256-269 |
64 | EE | Mercedes Amor, Mónica Pinto, Lidia Fuentes, José M. Troya: Combining Software Components and Mobile Agents. ESAW 2000: 128-142 |
63 | Carlos Cotta, José M. Troya: Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors. EvoWorkshops 2000: 347-356 | |
62 | EE | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Integration of Task and Data Parallelism: A Coordination-Based Approach. HiPC 2000: 173-182 |
61 | José M. Á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 | |
60 | Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: BCL: A Border-based Coordination Language. PDPTA 2000 | |
59 | Enrique Alba, José M. Troya: Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio. PPSN 2000: 29-38 | |
58 | Carlos Cotta, José M. Troya: Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search. PPSN 2000: 325-334 | |
57 | Carlos Cotta, José M. Troya: On the Influence of the Representation Granularity in Heuristic Forma Recombination. SAC (1) 2000: 433-439 | |
56 | José M. Á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 | |
55 | EE | Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) 2000: 208-225 |
54 | EE | Lidia Fuentes, José M. Troya: Towards an open multimedia service framework. ACM Comput. Surv. 32(1es): 24 (2000) |
53 | 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) | |
52 | Carlos Cotta, Enrique Alba, José M. Troya: On the Computational Power of Adaptive Systems. Computers and Artificial Intelligence 19(1): (2000) | |
1999 | ||
51 | EE | Antonio Vallecillo, Juan Hernández Núñez, José M. Troya: Object Interoperability. ECOOP Workshops 1999: 1-21 |
50 | José M. Troya, Antonio Vallecillo: Specifying Reusable Controllers for Software Components (Short Paper). FMOODS 1999 | |
49 | Carlos Cotta, José M. Troya: Tacking Epistatic Problems Using Dynastically Optimal Recombination. Fuzzy Days 1999: 197-205 | |
48 | 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 | |
47 | 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 | |
46 | 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 | |
45 | 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 | |
44 | Carlos Cotta, José M. Troya: Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm. IWANN (2) 1999: 58-67 | |
43 | 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 | |
42 | José M. Á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- | |
41 | Carlos Canal, Ernesto Pimentel, José M. Troya: Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126 | |
40 | Lidia Fuentes, José M. Troya: A Java Framework for Web-Based Multimedia and Collaborative Applications. IEEE Internet Computing 3(2): 55-64 (1999) | |
1998 | ||
39 | EE | José M. Troya, Antonio Vallecillo: A Reflective Component Model for Open Systems. ECOOP Workshops 1998: 378-379 |
38 | Carlos Cotta, José M. Troya: On Decision-Making in Strong Hybrid Evolutionary Algorithms. IEA/AIE (Vol. 1) 1998: 418-427 | |
37 | EE | Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ISCOPE 1998: 167-174 |
36 | EE | Carlos Cotta, Enrique Alba, José M. Troya: Utilizing Dynastically Optimal Forma Recombination in Hybrid Genetic Algorithms. PPSN 1998: 305-314 |
35 | EE | Manuel Díaz, Bartolomé Rubio, José M. Troya: Multilingual and multiparadigm integration of a tuple channel-based coordination model. SAC 1998: 194-196 |
34 | Carlos Cotta, José M. Troya: Genetic Forma Recombination in Permutation Flowshop Problems. Evolutionary Computation 6(1): 25-44 (1998) | |
33 | Carlos Cotta, Enrique Alba, José M. Troya: Un estudio de la potencia computacional y robustez de los algoritmos evolutivos paralelos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 5: 6-13 (1998) | |
1997 | ||
32 | José Francisco Aldana Montes, José M. Troya: Concurrent Smart Evaluation of Datalog Queries. APPIA-GULP-PRODE 1997: 163-174 | |
31 | EE | José M. Troya, Antonio Vallecillo: On the Addition of Properties to Components. ECOOP Workshops 1997: 374-378 |
30 | EE | Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops 1997: 499-506 |
29 | Antonio J. Nebro, Ernesto Pimentel, José M. Troya: Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. Euro-Par 1997: 567-571 | |
28 | EE | Manuel Díaz, Bartolomé Rubio, José M. Troya: Logic Channels: A Coordination Approach to Distributed Programming. IPPS 1997: 436-442 |
27 | Lidia Fuentes, José M. Troya: A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform. WWCA 1997: 90-105 | |
26 | Manuel Díaz, Bartolomé Rubio, José M. Troya: DRL: A Distributed Real-Time Logic Language. Comput. Lang. 23(2-4): 87-120 (1997) | |
1996 | ||
25 | Pedro Merino, José M. Troya: EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV 1996: 406-410 | |
24 | José Francisco Aldana Montes, José M. Troya: Data Flow Evaluation of Datalog Queries. DDLP 1996: 69-78 | |
23 | José Francisco Aldana Montes, José M. Troya: Data Flow Parallel Evaluation of Datalog Queries. JIDBD 1996: 151-159 | |
22 | Enrique Alba, José M. Troya: Genetic Algorithms for Protocol Validation. PPSN 1996: 870-879 | |
21 | Manuel Díaz, Bartolomé Rubio, José M. Troya: Distributed Programming with a Logic Channel Based Coordination Model. Comput. J. 39(10): 876-889 (1996) | |
1995 | ||
20 | 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 | ||
19 | María-del-Mar Gallardo, José M. Troya: Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) 1994: 342-356 | |
18 | F. J. Duran, Ernesto Pimentel, José M. Troya: Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994: 147-160 | |
17 | José Francisco Aldana Montes, Enrique Alba, José M. Troya: D2: A Model for Datalog Parallel Evaluation. GULP-PRODE (2) 1994: 60-74 | |
16 | EE | 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 |
15 | 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 | |
14 | 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) | |
13 | Manuel I. Capel, José M. Troya: An Object-Based Tool and Methodological Approach for Distributed Programming. Software - Concepts and Tools 15(4): 177- (1994) | |
1993 | ||
12 | María-del-Mar Gallardo, José M. Troya: Parlog Programs Nontermination Analysis. GULP 1993: 237-250 | |
11 | Lidia Fuentes, José Francisco Aldana Montes, José M. Troya: URANO: An Object-Oriented Artificial Neural Network Simulation Tool. IWANN 1993: 364-369 | |
10 | Enrique Alba, José Francisco Aldana Montes, José M. Troya: Full Automatic ANN Design: A Genetic Approach. IWANN 1993: 399-404 | |
9 | Manuel I. Capel, José M. Troya, A. Palma: A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO 1993: 585-588 | |
8 | Ernesto Pimentel, José M. Troya: Compositionality Issues of Concurrent Object-Oriented Logic Languages. PARLE 1993: 529-540 | |
7 | Vicente Benjumea, José M. Troya: An OR Parallel Prolog Model for Distributed Memory Systems. PLILP 1993: 291-301 | |
1992 | ||
6 | Ernesto Pimentel, José M. Troya: L2||O2: Operational and Declarative Semantics. ALPUK 1992: 174-188 | |
5 | Manuel Díaz, Ernesto Pimentel, José M. Troya: A Declarative Environment for Distributed Programming. IFIP Congress (1) 1992: 163-169 | |
1991 | ||
4 | José M. Troya, José Francisco Aldana Montes: Extending an Object Oriented Concurrent Logic Language for Neural Network Simulations. IWANN 1991: 235-242 | |
1989 | ||
3 | José M. Troya, M. Ortega: A study of parallel branch-and-bound algorithms with best-bound-first search. Parallel Computing 11(1): 121-126 (1989) | |
1981 | ||
2 | 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 | ||
1 | A. Vaquero, José M. Troya: Placement of Records on Linear Storage Devices. IFIP Congress 1980: 331-336 |