Luís Soares Barbosa

发表

Nuno Oliveira, Pedro Rangel Henriques, Alejandro Sanchez, 2015, Sci. Comput. Program..
Luís Soares Barbosa, Renato Neves, 2018, Theor. Comput. Sci..
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2014, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014).
Luís Soares Barbosa, Alexandre Madeira, Leandro Gomes, 2017, SBMF.
Sun Meng, Luís Soares Barbosa, Zhang Naixiao, 2005, ICTAC.
José Nuno Oliveira, Luís Soares Barbosa, João Fernando Ferreira, 2011, TICTTL.
Luís Soares Barbosa, 1999, APPIA-GULP-PRODE.
Luís Soares Barbosa, Marco Antonio Barbosa, L. Barbosa, 2007, FOCLASA.
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa, 2015, J. Internet Serv. Inf. Secur..
Luís Soares Barbosa, Francisco Heron de Carvalho Junior, 2012 .
Sun Meng, Luís Soares Barbosa, 2006, Theor. Comput. Sci..
Nuno Oliveira, Luís Soares Barbosa, L. Barbosa, 2015, Sci. Comput. Program..
Luís Soares Barbosa, Nuno F. Rodrigues, 2008, 2008 IEEE Congress on Services - Part I.
Luís Soares Barbosa, Zhiming Liu, 2006, Electron. Notes Theor. Comput. Sci..
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2016, WADT.
Luís Soares Barbosa, Renato Neves, 2016, ICTAC.
José Nuno Oliveira, José João Almeida, Luís Soares Barbosa, 1997 .
Luís Soares Barbosa, Marco Antonio Barbosa, César Jesus Rodrigues, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Manuel A. Martins, Luís Soares Barbosa, Razvan Diaconescu, 2011, CALCO.
José Nuno Oliveira, Luís Soares Barbosa, César Jesus Rodrigues, 2009, Electron. Notes Theor. Comput. Sci..
Luís Paulo Santos, Luís Soares Barbosa, Luís Nuno Barbosa, 2018, ICEGOV.
Bernhard K. Aichernig, Sun Meng, Luís Soares Barbosa, 2004, CTCS.
Luís Soares Barbosa, Alexandre Madeira, 2018, ERCIM News.
Luís Soares Barbosa, Alexandre Madeira, Leandro Gomes, 2020, LSFA.
Luís Soares Barbosa, Meng Sun, 2004 .
Daniel Eduardo Riesco, Luís Soares Barbosa, Alejandro Sanchez, 2015 .
Luís Soares Barbosa, Nuno F. Rodrigues, L. Barbosa, 2005, SBMF.
Luís Paulo Santos, Luís Soares Barbosa, 2017, EGOV.
Luís Soares Barbosa, Sara Fernandes, 2016, EGOSE.
Tomasz Janowski, Marijn Janssen, Luís Soares Barbosa, 2020, Gov. Inf. Q..
Sun Meng, Luís Soares Barbosa, 2010, SAC '10.
Luís Soares Barbosa, Nuno Ramos Carvalho, Nuno Ramos Carvalho, 2018, ICEGOV.
Luís Soares Barbosa, Joost Visser, José Nuno Oliveira, 2005 .
Ernesto Damiani, Peter T. Breuer, Luís Soares Barbosa, 2010, Comput. Syst. Sci. Eng..
Luís Soares Barbosa, Marco Antonio Barbosa, 2004, ICTAC.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2013, Log. Methods Comput. Sci..
Nuno Oliveira, Luís Soares Barbosa, Flávio Rodrigues, 2015, Comput. Sci. Inf. Syst..
Antonio Cerone, Luís Soares Barbosa, Siraj Ahmed Shaikh, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Antonio Cerone, Luís Soares Barbosa, Sara Fernandes, 2013, ITiCSE '13.
Luís Soares Barbosa, 2017, I3E.
Nuno Oliveira, Luís Soares Barbosa, L. Barbosa, 2012, WS-FM.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2016, ICTAC.
Luís Soares Barbosa, Alexandre Madeira, Manisha Jain, 2019, ICFEM.
Nuno Oliveira, Luís Soares Barbosa, Flávio Rodrigues, 2014, SLATE.
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.
Luís Soares Barbosa, Marco Antonio Barbosa, Paula R. Ribeiro, 2006, J. Univers. Comput. Sci..
Luís Soares Barbosa, Nuno F. Rodrigues, Dang Van Hung, 2003 .
Pedro Rangel Henriques, Luís Soares Barbosa, Nuno F. Rodrigues, 2010 .
Luís Soares Barbosa, Sara Fernandes, Sara Fernandes, 2016, CRIWG.
Jácome Cunha, Luís Soares Barbosa, Joost Visser, 2007, SYANCO '07.
José Nuno Oliveira, Luís Soares Barbosa, J. Oliveira, 2003, CMCS.
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2014 .
Luís Soares Barbosa, Francisco Heron de Carvalho Junior, 2014, Sci. Comput. Program..
Pedro Rangel Henriques, Luís Soares Barbosa, Alejandro Sanchez, 2011 .
Antonio Cerone, Luís Soares Barbosa, Sara Fernandes, 2012, SEFM Satellite Events.
Ademar Aguiar, Alejandro Sanchez, Luís Soares Barbosa, 2012, 2012 35th Annual IEEE Software Engineering Workshop.
Luís Soares Barbosa, Francisco Heron de Carvalho Junior, Allberson Bruno de Oliveira Dantas, 2017, CLOSER 2017.
Luís Soares Barbosa, Marco Antonio Barbosa, L. Barbosa, 2009, Sci. Comput. Program..
Luís Soares Barbosa, Nuno F. Rodrigues, L. Barbosa, 2007, J. Univers. Comput. Sci..
Luís Soares Barbosa, José Creissac Campos, Marco Antonio Barbosa, 2009, FSEN.
Luís Soares Barbosa, Nuno F. Rodrigues, L. Barbosa, 2005, Beyond Program Slicing.
Sun Meng, Luís Soares Barbosa, 2009, Innovations in Systems and Software Engineering.
Luís Soares Barbosa, Elsa Estevez, Guillermina Cledou, 2018, Gov. Inf. Q..
Sun Meng, Luís Soares Barbosa, L. Barbosa, 2009, UML 2 Semantics and Applications.
Luís Soares Barbosa, José Proença, Guillermina Cledou, 2017, FSEN.
José Nuno Oliveira, Luís Soares Barbosa, J. Oliveira, 2002, FLOPS.
Luís Soares Barbosa, Renato Neves, Alexandre Madeira, 2014 .
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2009, Electron. Notes Theor. Comput. Sci..
Markus Lumpe, Luís Soares Barbosa, M. Lumpe, 2017, Lecture Notes in Computer Science.
Markus Lumpe, Luís Soares Barbosa, 2014, Sci. Comput. Program..
Luís Soares Barbosa, Nuno F. Rodrigues, 2005 .
Luís Soares Barbosa, Nuno F. Rodrigues, 2004 .
Luís Soares Barbosa, Francisco Heron de Carvalho Junior, Allberson Bruno de Oliveira Dantas, 2017, CLOSER.
Luís Soares Barbosa, Guillermina Cledou, 2017 .
Luís Soares Barbosa, Marco Antonio Barbosa, 2004 .
José Nuno Oliveira, Luís Soares Barbosa, Shuling Wang, 2008, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering.
Luís Soares Barbosa, Marco Devesas Campos, L. Barbosa, 2009, FOCLASA.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2011, SEFM.
Luís Soares Barbosa, L. Barbosa, 2001, CMCS.
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2016, Theoretical Information Reuse and Integration.
Nuno Oliveira, Luís Soares Barbosa, Nuno F. Rodrigues, 2011, OTM Workshops.
Luís Soares Barbosa, 2017, DALI@TABLEAUX.
Nuno Oliveira, Luís Soares Barbosa, L. Barbosa, 2014, 2014 Eighth Brazilian Symposium on Software Components, Architectures and Reuse.
Luís Soares Barbosa, Nuno F. Rodrigues, L. Barbosa, 2006, FACS.
Luís Soares Barbosa, Maria Helena Martinho, 2012, SEFM Satellite Events.
Luís Soares Barbosa, Nuno F. Rodrigues, André Martins, 2011, CALCO.
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2014, SBMF.
Manuel A. Martins, Luís Soares Barbosa, Dirk Hofmann, 2016, J. Log. Algebraic Methods Program..
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2014, SBMF.
Luís Soares Barbosa, Siraj Ahmed Shaikh, 2014, Sci. Comput. Program..
Luís Soares Barbosa, Guillermina Cledou, L. Barbosa, 2017, 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Luís Soares Barbosa, Nuno F. Rodrigues, L. Barbosa, 2006, J. Univers. Comput. Sci..
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2011 .
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2013, IRI.
José Nuno Oliveira, Luís Soares Barbosa, J. Oliveira, 2006, Theor. Comput. Sci..
Antonio Cerone, Luís Soares Barbosa, Pantelis M. Papadopoulos, 2012, SEFM Satellite Events.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2013, SBLP.
Luís Soares Barbosa, 2003, J. Univers. Comput. Sci..
Luís Soares Barbosa, Dimitrios Settas, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Luís Soares Barbosa, Francisco Heron de Carvalho Junior, Allberson B. de Oliveira Dantas, 2017, FACS.
José Nuno Oliveira, José João Almeida, Luís Soares Barbosa, 1997, AMAST.
Luís Soares Barbosa, Nuno F. Rodrigues, L. Barbosa, 2008 .
Antonio Cerone, Luís Soares Barbosa, Siraj Ahmed Shaikh, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Luís Soares Barbosa, Shuling Wang, Paula R. Ribeiro, 2008, TTSS.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2014, Formal Aspects of Computing.
Luís Soares Barbosa, Nuno F. Rodrigues, L. Barbosa, 2010, Sci. Comput. Program..
Manuel A. Martins, Daniel Figueiredo, Luís Soares Barbosa, 2018, It's All About Coordination.
Luís Soares Barbosa, José Proença, Guillermina Cledou, 2017, SBMF.
Nuno Oliveira, Luís Soares Barbosa, L. Barbosa, 2013, SAC '13.
Nuno Oliveira, Luís Soares Barbosa, L. Barbosa, 2016, iFMCloud@IFM.
Luís Soares Barbosa, Nuno F. Rodrigues, 2008, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.
Luís Soares Barbosa, Maria Helena Martinho, 2007 .
Luís Soares Barbosa, Marco Antonio Barbosa, 2004, J. Univers. Comput. Sci..
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2018, Theor. Comput. Sci..
Daniel Figueiredo, Luís Soares Barbosa, L. Barbosa, 2018, MLCSB.
Luís Soares Barbosa, Marco Antonio Barbosa, L. Barbosa, 2007, CoOrg/MTCoord@COORDINATION.
Alexander K. Petrenko, Antonio Cerone, Luís Soares Barbosa, 2010, Comput. Syst. Sci. Eng..
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2017, LSFA.
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco, 2011, BM-FA '11.
Luís Soares Barbosa, José Creissac Campos, Marco Antonio Barbosa, 2007, FMIS@ICFEM.
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2016, Sci. Comput. Program..
Sun Meng, Luís Soares Barbosa, L. Barbosa, 2012, Mathematics in Computer Science.
Manuel A. Martins, Luís Soares Barbosa, Marta Carreteiro, 2014, J. Log. Lang. Inf..
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2015, Refine@FM.
Alexandra Silva, Luís Soares Barbosa, Alcino Cunha, 2016, J. Log. Algebraic Methods Program..
Sun Meng, Luís Soares Barbosa, L. Barbosa, 2008, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Antonio Cerone, Luís Soares Barbosa, Sara Fernandes, 2013, SEFM Workshops.
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2013, CALCO.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2013, Refine@IFM.
José Nuno Oliveira, Luís Soares Barbosa, António Miguel Rosado da Cruz, 2005, J. Univers. Comput. Sci..
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2013, Stud Logica.
Nuno Oliveira, Luís Soares Barbosa, L. Barbosa, 2015, Journal of Software Engineering Research and Development.
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco, 2011, FACS.
Sun Meng, Luís Soares Barbosa, 2010, 2010 International Conference on Complex, Intelligent and Software Intensive Systems.
Sun Meng, Luís Soares Barbosa, L. Barbosa, 2004, AMAST.
Luís Soares Barbosa, Ali Hussain Al-Lawati, A. Al-Lawati, 2020, ICEGOV.
Luís Soares Barbosa, L. Barbosa, 2004, FMCO.
Sun Meng, Luís Soares Barbosa, L. Barbosa, 2008, 2008 The Eighth International Conference on Quality Software.
Luís Soares Barbosa, Jiyin He, not Cwi, 2006, Measurement and Modeling of Computer Systems.
Sun Meng, Luís Soares Barbosa, Zhang Naixiao, 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2015 .
Luís Soares Barbosa, Francisco Heron de Carvalho Junior, Allberson Bruno de Oliveira Dantas, 2020, Sci. Comput. Program..
Tomasz Janowski, Luís Soares Barbosa, Linda Veiga, 2016, ICEGOV.
Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa, 2014, SAC.
Alexandra Silva, José Nuno Oliveira, Luís Soares Barbosa, 2008, AMAST.
Alejandro Sanchez, Luís Soares Barbosa, Alexandre Madeira, 2014, SEFM Workshops.
Luís Soares Barbosa, Maria Guillermina Cledou, 2016, ICEGOV.
Roland Carl Backhouse, Luís Soares Barbosa, João Fernando Ferreira, 2009, TFM.
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2011 .
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2013, 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).
Alejandro Sanchez, Luís Soares Barbosa, Daniel Riesco, 2013, 2013 International Symposium on Theoretical Aspects of Software Engineering.
Luís Soares Barbosa, L. Barbosa, 2000, FMOODS.
Antonio Cerone, Luís Soares Barbosa, Sara Fernandes, 2013, CRIWG.
Manuel A. Martins, Luís Soares Barbosa, Renato Neves, 2016, Sci. Comput. Program..
Luís Soares Barbosa, Morten Meyerhoff Nielsen, Nuno Ramos Carvalho, 2017, ICEGOV.
Antonio Cerone, Luís Soares Barbosa, Sara Fernandes, 2012, ICEGOV.
Luís Soares Barbosa, Meng Sun, Ai Liu, 2021, Mathematics.
Luís Soares Barbosa, Alexandre Madeira, Leandro Gomes, 2021, Soft Computing.
Luís Soares Barbosa, Alexandre Madeira, Leandro Gomes, 2021, 2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Luís Soares Barbosa, L. Barbosa, 2001 .
Manuel A. Martins, Luís Soares Barbosa, Alexandre Madeira, 2011 .