Pinheiro da Silva, Paulo
http://www.ksl.stanford.edu/people/pp/Stanford University. Explanations for semantic web tasks, semantic web tools and infrastructure, model-based user interfaces, formal specification and verification of interactive systems.
Submitted in section: Artificial Intelligence: People: Pinheiro da Silva, Paulo