dblp.uni-trier.dewww.uni-trier.de

José M. Troya Vis

José María Troya Linero

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
147EEManuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya: Managing Multi-concern Application Complexity in AspectSBASCO. ICCS (1) 2009: 133-142
146EEManuel 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
145EEJosé Raúl Romero, José M. Troya, Antonio Vallecillo: Modeling ODP Computational Specifications Using UML. Comput. J. 51(4): 435-450 (2008)
144EEVicente Benjumea, Javier Lopez, José M. Troya: Anonymity analysis in credentials-based systems: A formal framework. Computer Standards & Interfaces 30(4): 253-261 (2008)
143EEManuel 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
142EEBartolomé Rubio, Manuel Díaz, José M. Troya: Programming Approaches and Challenges for Wireless Sensor Networks. ICSNC 2007: 36
141EEJavier 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
140EEManuel 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)
139EEManuel 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)
138EEManuel 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)
137EELidia 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
136EEManuel Díaz, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya: A Component Framework for Wireless Sensor and Actor Networks. ETFA 2006: 300-307
135EEManuel 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
134EEManuel 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
133EEManuel F. Bertoa, José M. Troya, Antonio Vallecillo: Measuring the usability of software components. Journal of Systems and Software 79(3): 427-439 (2006)
132EEManuel 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)
131EEVicente 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
130EEManuel 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
129EEManuel Díaz, Bartolomé Rubio, José M. Troya: A Coordination Middleware for Wireless Sensor Networks. ICW/ICHSN/ICMCS/SENET 2005: 377-382
128EEManuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya: An Aspect Oriented Framework for Scientific Component Development. PDP 2005: 290-296
127EEManuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya: Integrating RT-CORBA in SDL. SDL Forum 2005: 47-67
126EEMónica Pinto, Lidia Fuentes, José M. Troya: A Dynamic Component and Aspect-Oriented Platform. Comput. J. 48(4): 401-420 (2005)
125EEJavier Lopez, Juan J. Ortega, José M. Troya: Security protocols analysis: A SDL-based approach. Computer Standards & Interfaces 27(5): 489-499 (2005)
2004
124EEManuel 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
123EEMercedes Amor, Lidia Fuentes, José M. Troya: A Component and Aspect-Based Architecture for Rapid Software Agent Development. IBERAMIA 2004: 32-42
122EEManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: SBASCO: Skeleton-Based Scientific Components. PDP 2004: 318-
121EEVicente Benjumea, Javier Lopez, José A. Montenegro, José M. Troya: A First Approach to Provide Anonymity in Attribute Certificates. Public Key Cryptography 2004: 402-415
120EELuis Iribarne, José M. Troya, Antonio Vallecillo: A Trading Service for COTS Components. Comput. J. 47(3): 342-357 (2004)
119EEAntonio 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)
118EEMónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya: Analyzing Architectural Evolution Issues of Multimedia Frameworks. Multimedia Tools Appl. 22(1): 31-51 (2004)
117EECarlos Cotta, José M. Troya: Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms. Neurocomputing 62: 111-129 (2004)
116EEEnrique Alba, Gabriel Luque, José M. Troya: Parallel LAN/WAN heuristics for optimization. Parallel Computing 30(5-6): 611-628 (2004)
115EEEnrique 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
114EEMercedes Amor, Lidia Fuentes, Lawrence Mandow, José M. Troya: Building Software Agents from Software Components. CAEPIA 2003: 221-230
113EEMercedes Amor, Lidia Fuentes, José M. Troya: A Component-Based Approach for Interoperability across FIPA-Compliant Platforms. CIA 2003: 266-280
112EEJavier 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
111EEMariemma 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
110 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
109EEMónica Pinto, Lidia Fuentes, José M. Troya: DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development. GPCE 2003: 118-137
108EEMercedes Amor, Lidia Fuentes, José M. Troya: Putting Together Web Services and Compositional Software Agents. ICWE 2003: 44-53
107 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
106EEJavier Lopez, Juan J. Ortega, José M. Troya: Applying SDL to Formal Analysis of Security Systems. SDL Forum 2003: 300-316
105 Carlos Cotta, José M. Troya: Embedding Branch and Bound within Evolutionary Algorithms. Appl. Intell. 18(2): 137-153 (2003)
104EECarlos Cotta, José M. Troya: Information processing in transmitting recombination. Appl. Math. Lett. 16(6): 945-948 (2003)
103EEJosé 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)
102EEJavier Lopez, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle: Integrating PMI services in CORBA applications. Computer Standards & Interfaces 25(4): 391-409 (2003)
101EECarlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo: Adding Roles to CORBA Objects. IEEE Trans. Software Eng. 29(3): 242-260 (2003)
100EEManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Domain interaction patterns to coordinate HPF tasks. Parallel Computing 29(7): 925-951 (2003)
99 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
98EEMónica Pinto, Lidia Fuentes, Mohamed Fayad, José M. Troya: Separation of coordination in a dynamic aspect oriented framework. AOSD 2002: 134-140
97EEJavier 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
96EELuis Iribarne, José M. Troya, Antonio Vallecillo: Selecting Software Components with Multiple Interfaces. EUROMICRO 2002: 26-32
95EEAntonio J. Nebro, Enrique Alba, Francisco Luna, José M. Troya: .NET as a Platform for Implementing Concurrent Objects (Research Note). Euro-Par 2002: 125-130
94EEMariemma Inmaculada Yagüe del Valle, José M. Troya: A Semantic Approach for Access Control in Web Services. EuroWeb 2002
93EEMariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, Ernesto Pimentel, José M. Troya: Secure Content Distribution for Digital Libraries. ICADL 2002: 483-494
92EEJavier Lopez, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle: Access Control Infrastructure for Digital Objects. ICICS 2002: 399-410
91EEJavier Lopez, Juan J. Ortega, José M. Troya: Protocol Engineering Applied to Formal Analysis of Security Systems. InfraSec 2002: 246-259
90 Mónica Pinto, Lidia Fuentes, José M. Troya: Plataforma para la Composición Dinámica de Componentes y Aspectos. JISBD 2002: 387-398
89 Mercedes Amor, Lidia Fuentes, José M. Troya: Arquitectura Composicional de Agentes de Negociación. JISBD 2002: 411-420
88 Javier Lopez, Juan J. Ortega, José M. Troya: Verification of Authentication Protocols using SDL-method. SIS 2002: 61-71
87 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)
86EEManuel 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)
85EEEnrique Alba, Antonio J. Nebro, José M. Troya: Heterogeneous Computing and Parallel Genetic Algorithms. J. Parallel Distrib. Comput. 62(9): 1362-1385 (2002)
84EEEnrique Alba, José M. Troya: Improving flexibility and efficiency by adding parallelism to genetic algorithms. Statistics and Computing 12(2): 91-114 (2002)
2001
83EEJosé 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
82EEMónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya: Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP. CoopIS 2001: 226-238
81EELuis Iribarne, José M. Troya, Antonio Vallecillo: Trading for COTS Components in Open Environments. EUROMICRO 2001: 30-
80EEMó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
79EECarlos Cotta, José M. Troya: Analyzing Directed Acyclic Graph Recombination. Fuzzy Days 2001: 739-748
78EEManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Integrating Task and Data Parallelism by Means of Coordination Patterns. HIPS 2001: 16-27
77EEMónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya: Collaborative Virtual Environment Development: An Aspect-Oriented Approach. ICDCS Workshops 2001: 97-102
76 Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Integrating Task and Data Parallelism by means of Coordination Patterns. IPDPS 2001: 102
75EECarlos Cotta, José M. Troya: A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem. IWANN (1) 2001: 474-481
74EEManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: DIP: a pattern-based approach for task and data parallelism integration. SAC 2001: 148-150
73EECarlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with Protocols. Comput. J. 44(5): 448-462 (2001)
72EEEnrique Alba, José M. Troya: Analyzing synchronous and asynchronous parallel distributed genetic algorithms. Future Generation Comp. Syst. 17(4): 451-465 (2001)
71 José M. Troya, Antonio Vallecillo: Controllers: reusable wrappers to adapt software components. Information & Software Technology 43(3): 189-202 (2001)
70 Carlos Canal, Ernesto Pimentel, José M. Troya: Compatibility and inheritance in software architectures. Sci. Comput. Program. 41(2): 105-138 (2001)
69 Lidia Fuentes, José M. Troya: Coordinating distributed components on the web: an integrated development environment. Softw., Pract. Exper. 31(3): 209-233 (2001)
2000
68EEJavier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya: Distributed Storage and Revocation in Digital Certificate Databases. DEXA 2000: 929-938
67EEJorge Davila, Javier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya: Development of Secure Internet Applications for Governmental Environments. DEXA Workshop 2000: 362-368
66EEAntonio Vallecillo, Juan Hernández Núñez, José M. Troya: New Issues in Object Interoperability. ECOOP Workshops 2000: 256-269
65EEMercedes Amor, Mónica Pinto, Lidia Fuentes, José M. Troya: Combining Software Components and Mobile Agents. ESAW 2000: 128-142
64 Carlos Cotta, José M. Troya: Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors. EvoWorkshops 2000: 347-356
63EEManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: Integration of Task and Data Parallelism: A Coordination-Based Approach. HiPC 2000: 173-182
62 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
61 Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya: BCL: A Border-based Coordination Language. PDPTA 2000
60EEEnrique Alba, José M. Troya: Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio. PPSN 2000: 29-38
59EECarlos Cotta, José M. Troya: Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search. PPSN 2000: 325-334
58 Carlos Cotta, José M. Troya: On the Influence of the Representation Granularity in Heuristic Forma Recombination. SAC (1) 2000: 433-439
57 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
56EECarlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo: Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) 2000: 208-225
55EELidia Fuentes, José M. Troya: Towards an open multimedia service framework. ACM Comput. Surv. 32(1es): 24 (2000)
54 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)
53 Carlos Cotta, Enrique Alba, José M. Troya: On the Computational Power of Adaptive Systems. Computers and Artificial Intelligence 19(1): (2000)
1999
52EEAntonio Vallecillo, Juan Hernández Núñez, José M. Troya: Object Interoperability. ECOOP Workshops 1999: 1-21
51 José M. Troya, Antonio Vallecillo: Specifying Reusable Controllers for Software Components (Short Paper). FMOODS 1999
50 Carlos Cotta, José M. Troya: Tacking Epistatic Problems Using Dynastically Optimal Recombination. Fuzzy Days 1999: 197-205
49 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
48 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
47 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
46 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
45EECarlos Cotta, José M. Troya: Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm. IWANN (2) 1999: 58-67
44 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
43 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-
42 Carlos Canal, Ernesto Pimentel, José M. Troya: Specification and Refinement of Dynamic Software Architectures. WICSA 1999: 107-126
41 Lidia Fuentes, José M. Troya: A Java Framework for Web-Based Multimedia and Collaborative Applications. IEEE Internet Computing 3(2): 55-64 (1999)
1998
40EEJosé M. Troya, Antonio Vallecillo: A Reflective Component Model for Open Systems. ECOOP Workshops 1998: 378-379
39 Carlos Cotta, José M. Troya: On Decision-Making in Strong Hybrid Evolutionary Algorithms. IEA/AIE (Vol. 1) 1998: 418-427
38EEAntonio J. Nebro, Ernesto Pimentel, José M. Troya: Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. ISCOPE 1998: 167-174
37EECarlos Cotta, Enrique Alba, José M. Troya: Utilizing Dynastically Optimal Forma Recombination in Hybrid Genetic Algorithms. PPSN 1998: 305-314
36EEManuel Díaz, Bartolomé Rubio, José M. Troya: Multilingual and multiparadigm integration of a tuple channel-based coordination model. SAC 1998: 194-196
35 Carlos Cotta, José M. Troya: Genetic Forma Recombination in Permutation Flowshop Problems. Evolutionary Computation 6(1): 25-44 (1998)
34 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
33 José Francisco Aldana Montes, José M. Troya: Concurrent Smart Evaluation of Datalog Queries. APPIA-GULP-PRODE 1997: 163-174
32EEJosé M. Troya, Antonio Vallecillo: On the Addition of Properties to Components. ECOOP Workshops 1997: 374-378
31EEAntonio J. Nebro, Ernesto Pimentel, José M. Troya: Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. ECOOP Workshops 1997: 499-506
30EEAntonio J. Nebro, Ernesto Pimentel, José M. Troya: Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. Euro-Par 1997: 567-571
29EEManuel Díaz, Bartolomé Rubio, José M. Troya: Logic Channels: A Coordination Approach to Distributed Programming. IPPS 1997: 436-442
28 Lidia Fuentes, José M. Troya: A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform. WWCA 1997: 90-105
27 Manuel Díaz, Bartolomé Rubio, José M. Troya: DRL: A Distributed Real-Time Logic Language. Comput. Lang. 23(2-4): 87-120 (1997)
1996
26EEPedro Merino, José M. Troya: EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. CAV 1996: 406-410
25 José Francisco Aldana Montes, José M. Troya: Data Flow Evaluation of Datalog Queries. DDLP 1996: 69-78
24 José Francisco Aldana Montes, José M. Troya: Data Flow Parallel Evaluation of Datalog Queries. JIDBD 1996: 151-159
23EEEnrique Alba, José M. Troya: Genetic Algorithms for Protocol Validation. PPSN 1996: 870-879
22 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
21 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
20 María-del-Mar Gallardo, José M. Troya: Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. GULP-PRODE (1) 1994: 342-356
19 F. J. Duran, Ernesto Pimentel, José M. Troya: Comunicacion entre objetos mediante la unificacion de canales logicos. GULP-PRODE (2) 1994: 147-160
18 José Francisco Aldana Montes, Enrique Alba, José M. Troya: D2: A Model for Datalog Parallel Evaluation. GULP-PRODE (2) 1994: 60-74
17EEManuel 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
16 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
15 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)
14 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
13 María-del-Mar Gallardo, José M. Troya: Parlog Programs Nontermination Analysis. GULP 1993: 237-250
12EELidia Fuentes, José Francisco Aldana Montes, José M. Troya: URANO: An Object-Oriented Artificial Neural Network Simulation Tool. IWANN 1993: 364-369
11EEEnrique Alba, José Francisco Aldana Montes, José M. Troya: Full Automatic ANN Design: A Genetic Approach. IWANN 1993: 399-404
10 Manuel I. Capel, José M. Troya, A. Palma: A Methodological Scheme and Tool for Program Transformation with Transputer Systems. PARCO 1993: 585-588
9EEErnesto Pimentel, José M. Troya: Compositionality Issues of Concurrent Object-Oriented Logic Languages. PARLE 1993: 529-540
8 Vicente Benjumea, José M. Troya: An OR Parallel Prolog Model for Distributed Memory Systems. PLILP 1993: 291-301
7EEManuel I. Capel, José M. Troya, A. Palma: Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. Microprocessing and Microprogramming 38(1-5): 197-204 (1993)
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
4EEJosé 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

Coauthor Index

1Enrique Alba (Enrique Alba Torres) [11] [16] [18] [23] [34] [37] [46] [48] [49] [53] [54] [60] [72] [84] [85] [95] [115] [116]
2José M. Álvarez [43] [57] [62] [83] [99] [103]
3Mercedes Amor [47] [65] [77] [82] [89] [108] [113] [114] [118] [123]
4Javier Barbarán [141]
5Vicente Benjumea [8] [121] [131] [144]
6Manuel F. Bertoa [133]
7Carlos Canal (Carlos Canal Velasco) [42] [44] [56] [70] [73] [101]
8Manuel I. Capel (Manuel I. Capel Tuñón) [7] [10] [14]
9Carlos Cotta [34] [35] [37] [39] [45] [48] [49] [50] [53] [58] [59] [64] [75] [79] [104] [105] [117]
10Jorge Davila [67]
11Manuel Díaz (Manuel Diaz) [5] [15] [17] [22] [27] [29] [36] [43] [57] [61] [62] [63] [74] [76] [78] [83] [86] [99] [100] [103] [110] [122] [124] [127] [128] [129] [130] [132] [134] [135] [136] [138] [139] [140] [141] [142] [143] [146] [147]
12F. J. Duran [19]
13Inaki Esteve [141]
14Mohamed Fayad (Mohamed E. Fayad, M. E. Fayad) [80] [98]
15Lidia Fuentes [12] [28] [41] [44] [47] [55] [56] [65] [69] [73] [77] [80] [82] [87] [89] [90] [98] [101] [107] [108] [109] [113] [114] [118] [123] [126] [137]
16María-del-Mar Gallardo [13] [20] [21]
17Daniel Garrido [110] [124] [127] [130] [132] [136] [138] [140] [141] [143]
18Luis Iribarne [81] [96] [120]
19Luis Llopis [43] [57] [62] [83] [99] [103] [124] [127] [136] [141] [143]
20Javier Lopez [67] [68] [88] [91] [92] [93] [97] [102] [106] [111] [112] [119] [121] [125] [131] [144]
21Francisco Luna [95] [115]
22Gabriel Luque [116]
23Antonio Maña (Antonio Mana) [67] [68] [92] [93] [97] [102] [111] [119]
24Lawrence Mandow [114]
25Pedro Merino [26]
26José A. Montenegro [97] [121]
27José Francisco Aldana Montes [4] [11] [12] [16] [18] [24] [25] [33]
28Antonio J. Nebro [30] [31] [38] [85] [95] [115]
29Juan Hernández Núñez [52] [66]
30Juan J. Ortega [67] [68] [88] [91] [97] [102] [106] [112] [119] [125]
31M. Ortega [3]
32A. Palma [7] [10]
33Ernesto Pimentel [5] [6] [9] [15] [19] [30] [31] [38] [42] [43] [44] [57] [62] [70] [73] [83] [92] [93] [99] [101] [103] [119]
34Mónica Pinto [47] [65] [77] [80] [82] [90] [98] [107] [109] [118] [126] [137]
35José Raúl Romero [145]
36Sergio Romero [128] [130] [132] [134] [135] [140] [146] [147]
37Bartolomé Rubio [17] [22] [27] [29] [36] [61] [63] [74] [76] [78] [86] [100] [122] [128] [129] [130] [132] [134] [135] [136] [139] [140] [141] [142] [146] [147]
38Francisco Rus [110] [124] [143]
39Enrique Soler [61] [63] [74] [76] [78] [86] [100] [122] [128] [130] [132] [134] [135] [140] [146] [147]
40Mariemma Inmaculada Yagüe del Valle [92] [93] [94] [102] [111]
41Antonio Vallecillo [32] [40] [51] [52] [56] [66] [71] [73] [81] [87] [96] [101] [120] [133] [145]
42A. Vaquero [1] [2]
43José Luis Vivas [112]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)