| Behavioural models for distributed Fractal components T Barros, R Ameur-Boulifa, A Cansado, L Henrio, E Madelaine annals of telecommunications-annales des télécommunications 64, 25-43, 2009 | 78 | 2009 |
| Behavioural models for hierarchical components T Barros, L Henrio, E Madelaine International SPIN Workshop on Model Checking of Software, 154-168, 2005 | 58 | 2005 |
| Model-checking distributed components: The vercors platform T Barros, A Cansado, E Madelaine, M Rivera Electronic Notes in Theoretical Computer Science 182, 3-16, 2007 | 48 | 2007 |
| Verification of distributed hierarchical components T Barros, L Henrio, E Madelaine Electronic Notes in Theoretical Computer Science 160, 41-55, 2006 | 41 | 2006 |
| Formal specification and verification of distributed component systems T Barros Université Nice Sophia Antipolis, 2005 | 38 | 2005 |
| Parameterized models for distributed java objects T Barros, R Boulifa, E Madelaine Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 35 | 2004 |
| Specifying Fractal and GCM components with UML S Ahumada, L Apvrille, T Barros, A Cansado, E Madelaine, E Salageanu XXVI International Conference of the Chilean Society of Computer Science …, 2007 | 27 | 2007 |
| Poor Man's Hardware Security Module (pmHSM) A Threshold Cryptographic Backend for DNSSEC F Cifuentes, A Hevia, F Montoto, T Barros, V Ramiro, J Bustos-Jiménez Proceedings of the 9th Latin America Networking Conference, 59-64, 2016 | 10 | 2016 |
| The Chilean Internet: Did it survive the earthquake V Ramiro, J Piquer, T Barros, P Sepúlveda WIT Trans. State-of-the-art in Sci. Eng 58, 133-151, 2012 | 10 | 2012 |
| Parameterized specification and verification of the Chilean electronic invoices system I Attali, T Barros, E Madelaine XXIV International Conference of the Chilean Computer Science Society, 14-25, 2004 | 10 | 2004 |
| Formalisation and proofs of the chilean electronic invoices system T Barros, E Madelaine Technical Report, 2004 | 10 | 2004 |
| Specifying Fractal and GCM Components With UML. In proc. of the XXVI International Conference of the Chilean Computer Science Society (SCCC’07), Iquique, Chile, November 2007 S Ahumada, L Apvrille, T Barros, A Cansado, E Madelaine, E Salageanu IEEE, 0 | 9 | |
| Adkintun: SLA monitoring of ISP broadband offerings J Bustos-Jiménez, V Ramiro, F Lalanne, T Barros 2013 27th International Conference on Advanced Information Networking and …, 2013 | 8 | 2013 |
| La poesía concreta brasileña, teoría, poética (s), manifiestos TV Barros Todas as Letras-Revista de Língua e Literatura 13 (2), 2011 | 5 | 2011 |
| Formal description and analysis for distributed systems T Barros, E Madelaine Doctoral Symposium at IFM 4, 4-04, 2004 | 4 | 2004 |
| Soundness of chilean internet routes P Sepúlveda, V Ramiro, T Barros, JM Piquer 2010 XXIX International Conference of the Chilean Computer Science Society …, 2010 | 3 | 2010 |
| Formalisation and verification of the Chilean electronic invoice system T Barros, E Madelaine INRIA, 2004 | 3 | 2004 |
| Extension of the Fractal ADL for the Specification of Behaviours of Distributed Components T Barros, L Henrio, A Cansado, E Madelaine, M Morel, V Mencl, F Plasil poster presentation at the 5th Fractal Workshop (part of ECOOP’06), 2006 | 1 | 2006 |
| Los Llanos: tragedia de los cuerpos en olvido. Panorama parcial de la literatura riojana del siglo XX TV Barros Revista Telar ISSN 1668-3633, 1-19, 2023 | | 2023 |
| Estrella de la mañana de Jacobo Fijman: entre la Vanguardia y la Escritura TV Barros Gramma 29 (60), 126-140, 2018 | | 2018 |
