The system can't perform the operation now. Try again later.
This "Cited by" count includes citations to the following articles in Scholar. The ones marked * may be different from the article in the profile.
Get my own profile
Based on funding mandates
José PereiraINESCTEC and Universidade do MinhoVerified email at di.uminho.pt Ricardo MacedoResearcher @ INESC TEC & University of MinhoVerified email at inesctec.pt Joćo PauloResearcher at HASLab, INESC TEC and U. MinhoVerified email at di.uminho.pt Danny HarnikIBM Research - HaifaVerified email at il.ibm.com