×

zbMATH — the first resource for mathematics

Melo de Sousa, Simão

Compute Distance To:
Author ID: melo-de-sousa.simao Recent zbMATH articles by "Melo de Sousa, Simão"
Published as: Melo de Sousa, Simão; de Sousa, Simão Melo; de Sousa, S. Melo
External Links: MGP · ORCID
Documents Indexed: 11 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 26 times in 19 Documents Cited by Year
A formal executable semantics of the JavaCard platform. Zbl 0977.68577
Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Serpette, Bernard; de Sousa, Simão Melo
6
2001
Partial derivative automata formalized in Coq. Zbl 1297.68214
Almeida, José Bacelar; Moreira, Nelma; Pereira, David; de Sousa, Simão Melo
4
2011
A formal correspondence between offensive and defensive JavaCard virtual machines. Zbl 1057.68571
Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Melo de Sousa, Simão
4
2002
Secure biometric authentication with improved accuracy. Zbl 1279.94131
Barbosa, Manuel; Brouard, Thierry; Cauchie, Stéphane; de Sousa, Simão Melo
3
2008
Deciding regular expressions (in-)equivalence in Coq. Zbl 1330.68265
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão
3
2012
Jakarta: A toolset for reasoning about JavaCard. Zbl 1002.68649
Barthe, G.; Dufay, G.; Huisman, M.; de Sousa, S. Melo
2
2001
Rigorous software development. An introduction to program verification. Zbl 1206.68001
Almeida, José Bacelar; Frade, Maria João.; Sousa Pinto, Jorge; Melo de Sousa, Simão
2
2011
Deciding Kleene algebra terms equivalence in Coq. Zbl 1329.68232
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão
2
2015
Deciding Kleene algebra terms equivalence in Coq. Zbl 1329.68232
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão
2
2015
Deciding regular expressions (in-)equivalence in Coq. Zbl 1330.68265
Moreira, Nelma; Pereira, David; Melo de Sousa, Simão
3
2012
Partial derivative automata formalized in Coq. Zbl 1297.68214
Almeida, José Bacelar; Moreira, Nelma; Pereira, David; de Sousa, Simão Melo
4
2011
Rigorous software development. An introduction to program verification. Zbl 1206.68001
Almeida, José Bacelar; Frade, Maria João.; Sousa Pinto, Jorge; Melo de Sousa, Simão
2
2011
Secure biometric authentication with improved accuracy. Zbl 1279.94131
Barbosa, Manuel; Brouard, Thierry; Cauchie, Stéphane; de Sousa, Simão Melo
3
2008
A formal correspondence between offensive and defensive JavaCard virtual machines. Zbl 1057.68571
Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Melo de Sousa, Simão
4
2002
A formal executable semantics of the JavaCard platform. Zbl 0977.68577
Barthe, Gilles; Dufay, Guillaume; Jakubiec, Line; Serpette, Bernard; de Sousa, Simão Melo
6
2001
Jakarta: A toolset for reasoning about JavaCard. Zbl 1002.68649
Barthe, G.; Dufay, G.; Huisman, M.; de Sousa, S. Melo
2
2001

Citations by Year