Improving the Communication Network of a Cluster of PC's to Solve Implicit CFD Problems. - Renato Silva; Marconi F. P. Rivello; Ricardo Amorim (SBAC-PAD, 2002)

Supporting Reuse of Event-B Developments through Generic Instantiation. - Renato Silva; Michael J. Butler (ICFEM, 2009)

Shared Event Composition/Decomposition in Event-B. - Renato Silva; Michael J. Butler (FMCO, 2010)

A Survey on Event-B Decomposition. - Thai Son Hoang; Alexei Iliasov; Renato Silva; Wei Wei 015 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Towards the Composition of Specifications in Event-B. - Renato Silva (B@FM, 2011)

Decomposition tool for event-B. - Renato Silva; Carine Pascal; Thai Son Hoang; Michael J. Butler (Softw. Pract. Exp., 2011)

Event-B Code Generation: Type Extension with Theories. - Andrew Edmunds; Michael J. Butler; Issam Maamria; Renato Silva; Chris Lovell (ABZ, 2012)

Lessons Learned/Sharing the Experience of Developing a Metro System Case Study - Renato Silva (CoRR, 2012)

Supporting development of Event-B models. - Renato Silva (2012)

Low-Cost IoT LoRa®Solutions for Precision Agriculture Monitoring Practices. - Nuno Silva 002; Jorge Mendes 003; Renato Silva; Filipe Neves dos Santos; Pedro Mestre; Carlos Serôdio; Raul Morais (EPIA (1), 2019)

'The Best of Two Worlds' - Combining Classifier Fusion and Ecological Models to Map and Explain Landscape Invasion by an Alien Shrub. - Nuno Mouta; Renato Silva; Silvana Pais; Joaquim M. Alonso; João F. Gonçalves; João P. Honrado; Joana R. Vicente (Remote. Sens., 2021)

Sentinel-2 Time Series and Classifier Fusion to Map an Aquatic Invasive Plant Species along a River - The Case of Water-Hyacinth. - Nuno Mouta; Renato Silva; Eva Malta-Pinto; Ana Sofia Vaz; Joaquim M. Alonso; João F. Gonçalves; João P. Honrado; Joana R. Vicente (Remote. Sens., 2023)