José M. Troya
Affiliations:- University of Málaga, Spain
According to our database1,
José M. Troya
authored at least 175 papers
between 1980 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
0
5
10
15
20
1
2
1
2
1
3
5
4
2
7
8
4
5
3
2
2
1
1
2
2
2
1
1
1
1
2
3
3
5
4
10
11
9
13
13
5
8
5
4
5
7
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on lcc.uma.es
On csauthors.net:
Bibliography
2019
Int. J. Sens. Networks, 2019
2015
IEEE Softw., 2015
2013
PS-QUASAR: A publish/subscribe QoS aware middleware for Wireless Sensor and Actor Networks.
J. Syst. Softw., 2013
Proceedings of the Sensor Systems and Software - 4th International ICST Conference, 2013
2011
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., 2011
2009
Comput. Stand. Interfaces, 2009
Proceedings of the 17th Euromicro International Conference on Parallel, 2009
Proceedings of the Computational Science, 2009
2008
J. Syst. Softw., 2008
Comput. Stand. Interfaces, 2008
2007
Supporting the development of CAM/DAOP applications: an integrated development process.
Softw. Pract. Exp., 2007
Simul. Model. Pract. Theory, 2007
J. Parallel Distributed Comput., 2007
Eur. J. Inf. Syst., 2007
Concurr. Comput. Pract. Exp., 2007
TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007
Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), 2007
Proceedings of the IEEE International Conference on Pervasive Services, 2007
2006
Telematics Informatics, 2006
Softw. Pract. Exp., 2006
Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case Study.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006
Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains.
Proceedings of the Computational Science, 2006
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
2005
Proceedings of the 13th Euromicro Workshop on Parallel, 2005
Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005
Proceedings of the International Conference on Pervasive Services 2005, 2005
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005
2004
Parallel Comput., 2004
Multim. Tools Appl., 2004
Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms.
Neurocomputing, 2004
Integr. Comput. Aided Eng., 2004
Proceedings of the Public Key Cryptography, 2004
Proceedings of the 12th Euromicro Workshop on Parallel, 2004
Proceedings of the Advances in Artificial Intelligence, 2004
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004
2003
Real Time Syst., 2003
Proceedings of the SDL 2003: System Design, 2003
DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Proceedings of the Web Engineering, International Conference, 2003
DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development.
Proceedings of the Generative Programming and Component Engineering, 2003
Proceedings of the Global Telecommunications Conference, 2003
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003
A Component-Based Model for Predictable Embedded Systems.
Proceedings of the International Conference on Embedded Systems and Applications, 2003
Proceedings of the Communications and Multimedia Security, 2003
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003
Proceedings of the Current Topics in Artificial Intelligence, 2003
2002
Stat. Comput., 2002
J. Parallel Distributed Comput., 2002
J. Parallel Distributed Comput., 2002
Ann. Softw. Eng., 2002
Verification of Authentication Protocols using SDL-method.
Proceedings of the Security in Information Systems, 2002
Plataforma para la Composición Dinámica de Componentes y Aspectos.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Arquitectura Composicional de Agentes de Negociación.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002
Proceedings of the Infrastructure Security, International Conference, 2002
Proceedings of the Information and Communications Security, 4th International Conference, 2002
Proceedings of the Digital Libraries: People, 2002
Proceedings of the Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, 2002
Proceedings of the Euro-Par 2002, 2002
Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002
Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations.
Proceedings of the Electronic Government, First International Conference, 2002
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002
2001
Coordinating distributed components on the web: an integrated development environment.
Softw. Pract. Exp., 2001
Inf. Softw. Technol., 2001
Future Gener. Comput. Syst., 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem.
Proceedings of the Connectionist Models of Neurons, 2001
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001
Proceedings of the High-Level Parallel Programming Models and Supportive Environments, 2001
Proceedings of the Computational Intelligence, 2001
Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments.
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001
Proceedings of the Cooperative Information Systems, 9th International Conference, 2001
Deriving hard real-time embedded systems implementations directly from SDL specifications.
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001
2000
Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic Populations.
Appl. Intell., 2000
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000
SDL and hard real time systems: new design and analyze techniques.
Proceedings of the SAM 2000, 2000
Proceedings of the Applied Computing 2000, 2000
Proceedings of the Parallel Problem Solving from Nature, 2000
Proceedings of the Parallel Problem Solving from Nature, 2000
BCL: A Border-based Coordination Language.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
Proceedings of the High Performance Computing, 2000
Proceedings of the Real-World Applications of Evolutionary Computing, 2000
Proceedings of the Engineering Societies in the Agent World, First International Workshop, 2000
Proceedings of the Object-Oriented Technology, 2000
Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000
1999
IEEE Internet Comput., 1999
Specification and Refinement of Dynamic Software Architectures.
Proceedings of the Software Architecture, 1999
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.
Proceedings of the SDL '99 The Next Millennium, 1999
Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999
Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm.
Proceedings of the Engineering Applications of Bio-Inspired Artificial Neural Networks, 1999
An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands.
Proceedings of the Parallel and Distributed Processing, 1999
Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1999
Improving the Scalability of Dynastically Optimal Forma Recombination by Tuning the Granularity of the Representation.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999
Entropic and Real-Time Analysis of the Search with Panmictic, Structured, and Parallel Distributed Genetic Algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999
Proceedings of the Computational Intelligence, 1999
Specifying Reusable Controllers for Software Components (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Proceedings of the 1999 Congress on Evolutionary Computation, 1999
Numerical and real time analysis of parallel distributed GAs with structured and panmictic populations.
Proceedings of the 1999 Congress on Evolutionary Computation, 1999
1998
Un estudio de la potencia computacional y robustez de los algoritmos evolutivos paralelos.
Inteligencia Artif., 1998
Multilingual and multiparadigm integration of a tuple channel-based coordination model.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998
Proceedings of the Parallel Problem Solving from Nature, 1998
Proceedings of the Computing in Object-Oriented Parallel Environments, 1998
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
1997
A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform.
Proceedings of the Worldwide Computing and Its Applications, International Conference, 1997
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997
Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997
Proceedings of the International Conference on Artificial Neural Nets and Genetic Algorithms, 1997
Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.
Proceedings of the Euro-Par '97 Parallel Processing, 1997
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997
Concurrent Smart Evaluation of Datalog Queries.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Comput. J., 1996
Proceedings of the Parallel Problem Solving from Nature, 1996
Data Flow Parallel Evaluation of Datalog Queries.
Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996
Proceedings of the Spin Verification System, 1996
Data Flow Evaluation of Datalog Queries.
Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996
EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis.
Proceedings of the Logic Programming Synthesis and Transformation, 1995
Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995
Hybridizing Genetic Algorithms with Branch and Bound Techniques for the Resolution of the TSP.
Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995
A Genetic Algorithm for Load Balancing in Parallel Query Evaluation for Deductive Relational Data Bases.
Proceedings of the Artificial Neural Nets and Genetic Algorithms, 1995
1994
An Object-Based Tool and Methodological Approach for Distributed Programming.
Softw. Concepts Tools, 1994
Comput. J., 1994
Load Balancing and Query Optimization in DataFlow Parallel Evaluation of Datalog Programs.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
Proceedings of the Integration of Declarative Paradigms, 1994
D2: A Model for Datalog Parallel Evaluation.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
Comunicacion entre objetos mediante la unificacion de canales logicos.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems.
Microprocess. Microprogramming, 1993
Future Gener. Comput. Syst., 1993
Proceedings of the Programming Language Implementation and Logic Programming, 1993
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993
Proceedings of the PARLE '93, 1993
A Methodological Scheme and Tool for Program Transformation with Transputer Systems.
Proceedings of the Parallel Computing: Trends and Applications, 1993
Proceedings of the New Trends in Neural Computation, 1993
Proceedings of the New Trends in Neural Computation, 1993
Parlog Programs Nontermination Analysis.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
A Declarative Environment for Distributed Programming.
Proceedings of the Algorithms, Software, Architecture, 1992
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992
1991
Extending an Object Oriented Concurrent Logic Language for Neural Network Simulations.
Proceedings of the Artificial Neural Networks, 1991
1989
Parallel Comput., 1989
Microprocess. Microprogramming, 1989
1987
Comput. Secur., 1987
1982
Optimization and approximation algorithm for placement of records on linear storage devices.
Computing, 1982
1981
An Approximation Algorithm for Reducing Expected Head Movement in Linear Storage Devices.
Inf. Process. Lett., 1981
1980
Placement of Records on Linear Storage Devices.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980