A modula-2-like systems programming language and its implementation. - Javier Miranda; José Fortes Gálvez (Microprocessing and Microprogramming, 1991)

A Distributed Consensus Protocol with a Coordinator. - Francisco Guerra Santana; Sergio Arévalo; Angel Alvarez; Javier Miranda (Decentralized and Distributed Systems, 1993)

A quick distributed consensus protocol. - Francisco Guerra Santana; Sergio Arévalo; Angel Alvarez; Javier Miranda (Microprocess. Microprogramming, 1993)

Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. - Javier Miranda; Angel Alvarez; Sergio Arévalo; Francisco Guerra Santana (Ada-Europe, 1996)

An Ada Library to Program Fault-Tolerant Distributed Applications. - Francisco Guerra Santana; Javier Miranda; Angel Alvarez; Sergio Arévalo (Ada-Europe, 1997)

How to Modify the GNAT Frontend tp Experiment with Ada Extensions. - Javier Miranda; Francisco Guerra Santana; José Martín; Alexis González (Ada-Europe, 1999)

Building Robust Applications by Reusing Non-robust Legacy Software. - Francisco Guerra Santana; Javier Miranda; José Miguel Santos Espino; José Carlos Rodríguez Calero (Ada-Europe, 2001)

Programming Cooperative Systems in Drago. - Javier Miranda; Francisco Guerra Santana; Angel Alvarez; Sergio Arévalo (PDP, 2001)

How to Use GNAT to Efficiently Preprocess New Ada Sentences. - Javier Miranda; Francisco Guerra Santana; Ernestina Martel; José Martín; Alexis González (Ada-Europe, 2002)

A Tailorable Distributed Programming Environment. - Ernestina Martel; Francisco Guerra Santana; Javier Miranda (Ada-Europe, 2002)

EPDA-modeller: a tool for modelling a distributed programming environment. - Ernestina Martel; Francisco Guerra Santana; Javier Miranda (ISCC, 2002)

Programming Distributed Systems with Group_IO. - Francisco Guerra Santana; Javier Miranda; J. M. Santos; Ernestina Martel; Luis Hernández; E. Pulido (PDP, 2002)

A Technique to Build Ada Preprocessors. - Javier Miranda; Francisco Guerra Santana; José Martín; Alexis González (PDP, 2002)

A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. - Javier Miranda; Michael González Harbour (Ada-Europe, 2003)

A Graphical Environment for GLADE. - Ernestina Martel; Francisco Guerra Santana; Javier Miranda; Luis Hernández (Ada-Europe, 2003)

Dynamic ceiling priorities in GNAT implementation report. - Javier Miranda; Edmond Schonberg; Miguel Masmano; Jorge Real; Alfons Crespo (IRTAW, 2003)

Dynamic Ceiling Priorities: A Proposal for Ada0Y. - Jorge Real; Alan Burns 001; Javier Miranda; Edmond Schonberg; Alfons Crespo (Ada-Europe, 2004)

Implementing an Application-Defined Scheduling Framework for Ada Tasking. - Mario Aldea Rivas; Javier Miranda; Michael González Harbour (Ada-Europe, 2004)

Remote Management of Distributed Applications. - Ernestina Martel; Javier Miranda; Francisco Guerra Santana; Luis Hernández (PDP, 2004)

GNAT: on the road to Ada 2005. - Javier Miranda; Edmond Schonberg (SIGAda, 2004)

The Implementation of Ada 2005 Interface Types in the GNAT Compiler. - Javier Miranda; Edmond Schonberg; Gary Dismukes (Ada-Europe, 2005)

Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks. - Mario Aldea Rivas; Javier Miranda; Michael González Harbour (Ada-Europe, 2005)

The implementation of ada 2005 synchronized interfaces in the GNAT compiler. - Javier Miranda; Edmond Schonberg; Hristian Hristov Kirtchev (SIGAda, 2005)

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. - Javier Miranda; Edmond Schonberg (Ada-Europe, 2006)

Incorporating Precise Garbage Collection in an Ada Compiler. - Francisco García-Rodríguez; Javier Miranda; José Fortes Gálvez (Ada-Europe, 2007)

Study of Alpha Peak Fitting by Techniques Based on Neural Networks. - Javier Miranda; Rosa M. Pérez; Antonio Baeza; Javier Guillen (EANN, 2009)

Fitting Multiple Alpha Peaks Using Neural Network Techniques. - Javier Miranda; Antonio Baeza; Javier Guillen; Rosa M. Pérez Utrero (ISDA, 2009)

Decoupling Cloud Applications from the Source - A Framework for Developing Cloud Agnostic Software. - Joaquín Guillén; Javier Miranda; Juan Manuel Murillo (CLOSER, 2012)

Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of cloud SBAs. - Javier Miranda; Juan Manuel Murillo; Joaquín Guillén; Carlos Canal (WAS4FI-Mashups, 2012)

Enough about standardization, let's build cloud applications. - Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal (WICSA/ECSA Companion Volume, 2012)

Assisting Cloud Service Migration Using Software Adaptation Techniques. - Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal (IEEE CLOUD, 2013)

A UML Profile for Modeling Multicloud Applications. - Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal (ESOCC, 2013)

Architecting Infrastructures for Cloud-Enabled Mobile Devices. - Javier Miranda; Joaquín Guillén; Javier Berrocal; José García-Alonso; Juan Manuel Murillo; Carlos Canal (ESOCC Workshops, 2013)

Development of Adaptive Multi-cloud Applications - A Model-Driven Approach. - Javier Miranda; Joaquín Guillén; Juan Manuel Murillo; Carlos Canal (MODELSWARD, 2013)

Developing migratable multicloud applications based on MDE and adaptation techniques. - Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal (NordiCloud, 2013)

A service-oriented framework for developing cross cloud migratable software. - Joaquín Guillén; Javier Miranda; Juan Manuel Murillo; Carlos Canal (J. Syst. Softw., 2013)

Implementation of Asynchronous Mobile Web Services - Implementation and First Usage. - Marc Jansen; Javier Miranda; Juan Manuel Murillo (CLOSER, 2014)

Using Partially Synthetic Data to Replace Suppression in the Business Dynamics Statistics: Early Results. - Javier Miranda; Lars Vilhuber (Privacy in Statistical Databases, 2014)

People as a Service: A Mobile-centric Model for Providing Collective Sociological Profiles. - Joaquín Guillén; Javier Miranda; Javier Berrocal; José García-Alonso; Juan Manuel Murillo; Carlos Canal (IEEE Softw., 2014)

Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures. - Javier Berrocal; Carlos Canal; José García-Alonso; Niko Mäkitalo; Tommi Mikkonen; Javier Miranda; Juan Manuel Murillo (MOBILESoft, 2015)

From the Internet of Things to the Internet of People. - Javier Miranda; Niko Mäkitalo; José García-Alonso; Javier Berrocal; Tommi Mikkonen; Carlos Canal; Juan Manuel Murillo (IEEE Internet Comput., 2015)