Jorge Sousa Pinto
发表
Manuel Barbosa,
Jorge Sousa Pinto,
Jean-Christophe Filliâtre,
2010
.
Pedro Rangel Henriques,
Daniela da Cruz,
Daniela Carneiro da Cruz,
2008
.
Ian Mackie,
Jorge Sousa Pinto,
Abubakar Hassan,
2008,
Diagrams.
Shin Nakajima,
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
2018,
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).
Rovedy Aparecida Busquim e Silva,
Jorge Sousa Pinto,
José Maria Parente de Oliveira,
2016,
IEEE Transactions on Reliability.
Shin Nakajima,
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
2015
.
José B. Almeida,
Jorge Sousa Pinto,
Simão Melo de Sousa,
2011
.
Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça,
2008
.
Daniel Martins,
Jorge Sousa Pinto,
Simão Melo de Sousa,
2008,
ArXiv.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2015,
RV.
Pedro Rangel Henriques,
Daniela Carneiro da Cruz,
Jorge Sousa Pinto,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jorge Sousa Pinto,
José Bacelar Almeida,
Miguel Vilaça,
2008,
Electron. Notes Theor. Comput. Sci..
Pedro Rangel Henriques,
Daniela da Cruz,
Jorge Sousa Pinto,
2013,
2013 IEEE 37th Annual Computer Software and Applications Conference.
José B. Almeida,
Jorge Sousa Pinto,
Simão Melo de Sousa,
2011
.
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
Maria João Frade,
2016,
ArXiv.
Ian Mackie,
Jorge Sousa Pinto,
2002,
Inf. Comput..
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
Maria João Frade,
2019,
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
Maria João Frade,
2016,
ESOP.
Luis Miguel Pinho,
Jorge Sousa Pinto,
David Pereira,
2015
.
Jorge Sousa Pinto,
Cláudio Belo Lourenço,
Maria João Frade,
2014,
ATVA.
José B. Almeida,
Jorge Sousa Pinto,
Simão Melo de Sousa,
2011
.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2014,
Ada-Europe.
Rovedy Aparecida Busquim e Silva,
Jorge Sousa Pinto,
José Manuel Parente de Oliveira,
2012
.
Jorge Sousa Pinto,
Raju Halder,
Md. Imran Alam,
2018,
ENASE.
Ian Mackie,
Jorge Sousa Pinto,
Maribel Fernández,
2001,
APPIA-GULP-PRODE.
Pedro Rangel Henriques,
Daniela Carneiro da Cruz,
Jorge Sousa Pinto,
2010,
ISoLA.
Pedro Rangel Henriques,
Daniela da Cruz,
Jorge Sousa Pinto,
2011
.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2014,
NASA Formal Methods.
Jorge Sousa Pinto,
Eduardo Brito,
2010,
Ada-Europe.
Jorge Sousa Pinto,
José Eduardo Pina Miranda,
1996,
ITiCSE '96.
Pedro Rangel Henriques,
Daniela Carneiro da Cruz,
Jorge Sousa Pinto,
2010,
LDTA.
Jorge Sousa Pinto,
Simão Melo de Sousa,
André Carvalho,
2010,
ISoLA.
Jorge Sousa Pinto,
Nuno Machado,
João Carlos Pereira,
2020,
TAP@STAF.
José B. Almeida,
Jorge Sousa Pinto,
Simão Melo de Sousa,
2011
.
Jorge Sousa Pinto,
Alcino Cunha,
José Proença,
2005,
IFL.
Pedro Rangel Henriques,
Daniela da Cruz,
Jorge Sousa Pinto,
2010,
SEFM.
Jorge Sousa Pinto,
Diogo Fialho,
2008
.
Jorge Sousa Pinto,
José Bacelar Almeida,
Miguel Vilaça,
2007,
TERMGRAPH@ETAPS.
Beatriz Sousa Santos,
João P. Cachopo,
Victor Cacciari Miraldo,
2013
.
Iago Abal,
Joe Hurd,
Jorge Sousa Pinto,
2012,
SAT.
Jorge Sousa Pinto,
J. Pinto,
2001
.
Beatriz Sousa Santos,
Victor Cacciari Miraldo,
Jorge Sousa Pinto,
2013
.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2017,
SIGBED.
Jorge Sousa Pinto,
J. Pinto,
2003,
WRS.
Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça,
2007,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jorge Sousa Pinto,
Günter Kniesel,
2012,
Electron. Notes Theor. Comput. Sci..
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2015,
SIGBED.
João Martins,
Jorge Sousa Pinto,
José Miguel Faria,
2012,
Ada-Europe.
Manuel Barbosa,
Jorge Sousa Pinto,
Bárbara Vieira,
2010,
Innovations in Systems and Software Engineering.
Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça,
2009,
ArXiv.
José B. Almeida,
Jorge Sousa Pinto,
Simão Melo de Sousa,
2011
.
Luis Miguel Pinho,
Jorge Sousa Pinto,
David Pereira,
2012
.
Jean-Christophe Filliâtre,
Manuel Barbosa,
Jorge Sousa Pinto,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jorge Sousa Pinto,
Günter Kniesel,
2008
.
Pedro Rangel Henriques,
Daniela da Cruz,
Jorge Sousa Pinto,
2010
.
Luís Soares Barbosa,
Jorge Sousa Pinto,
Alberto Pardo,
2009
.
Luís Soares Barbosa,
Jorge Sousa Pinto,
Alberto Pardo,
2009,
LerNet ALFA Summer School.
Jorge Sousa Pinto,
José Bacelar Almeida,
Simão Melo de Sousa,
2011,
Undergraduate Topics in Computer Science.
José B. Almeida,
Jorge Sousa Pinto,
Simão Melo de Sousa,
2011
.
Jorge Sousa Pinto,
José Bacelar Almeida,
Miguel Vilaça,
2008,
Electron. Notes Theor. Comput. Sci..
Jorge Sousa Pinto,
José Bacelar Almeida,
J. Pinto,
2008,
ArXiv.
Rovedy Aparecida Busquim e Silva,
Jorge Sousa Pinto,
Luciana Akemi Burgareli,
2013,
LADC 2013.
Manuel Barbosa,
Jorge Sousa Pinto,
Bárbara Vieira,
2013,
Sci. Comput. Program..
Jorge Sousa Pinto,
Alcino Cunha,
Alcino Cunha,
2005,
Fundam. Informaticae.
Jorge Sousa Pinto,
Maria João Frade,
M. J. Frade,
2011,
Comput. Sci. Rev..
Daniela Carneiro da Cruz,
Jorge Sousa Pinto,
Maria João Frade,
2012,
SAC '12.
Daniela Carneiro da Cruz,
Jorge Sousa Pinto,
Sergio Areias,
2010,
2010 IEEE 18th International Conference on Program Comprehension.
Jorge Sousa Pinto,
J. Pinto,
2000,
FoSSaCS.
Ian Mackie,
Maribel Fernández,
Jorge Sousa Pinto,
2007,
TERMGRAPH.
Jorge Sousa Pinto,
2001,
RTA.
Pedro Rangel Henriques,
Daniela da Cruz,
Jorge Sousa Pinto,
2009
.
Jorge Sousa Pinto,
Nuno Carvalho,
Aaron Tomb,
2014,
NASA Formal Methods.
Manuel Barbosa,
Jorge Sousa Pinto,
Bárbara Vieira,
2009,
FMICS.
Manuel Barbosa,
Jorge Sousa Pinto,
Alcino Cunha,
2005,
SIGP.
Ian Mackie,
Jorge Sousa Pinto,
Miguel Vilaça,
2005
.
Jorge Sousa Pinto,
2001,
TLCA.
Iago Abal,
Jorge Sousa Pinto,
2013,
C3S2E '13.
Pedro Rangel Henriques,
Daniela Carneiro da Cruz,
Jorge Sousa Pinto,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2017,
International Journal on Software Tools for Technology Transfer.
Jorge Sousa Pinto,
Raju Halder,
Md. Imran Alam,
2021,
J. Syst. Softw..