José Bacelar Almeida

Author

Also Known As

Almeida, José Bacelar, Almeida, José Carlos Bacelar, Bacelar Almeida, José, Barthe,G, De Queiroz, Ruy José Guerra Barretto, J. Bacelar Almeida, Jose Bacelar Almeida, José Bacelar Almeida, José Carlos Bacelar Almeida

Publications

820

Citations

H-Index

Concepts

All Affiliations

University of Minho INESC TEC IMDEA Software Institute Universidade do Porto Microsoft Research (United Kingdom)

About

José Bacelar Almeida is an author at University of Minho specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	285
2	Computer Science	8	8	285
3	Compilers	5	5	192
4	Computer Engineering	4	4	167
5	Education	1	1	17

José Bacelar Almeida

Publications

483

Citations

H-Index

Page 1

	Year	Citations

Page 1