Thiago L. V. L. Santos

According to our database, Thiago L. V. L. Santos authored at least 3 papers between 1998 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2014

A Modular Theory of Object Orientation in Higher-Order UTP.

Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio

Proceedings of the FM 2014: Formal Methods, 2014

2006

Object-Orientation in the UTP.

Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

1998

Providing Context to Web Searches: The Use of Ontologies to Enhance Search Engine's Accuracy.

Flávia A. Barros, Pedro Falcão Gonçalves, Thiago L. V. L. Santos

J. Braz. Comput. Soc., 1998