Researcher · Universitat Politècnica de València · Spain
Germán Vidal
Germán Vidal publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #5,669,054 of 7,710,434 ranked researchers
- Rank in Spain
- #134,678 of 204,306
- Works
- 201
- Citations
- 1.5k
- Citations per work
- 7.7
Discussion
Ask a question or share a note about Germán Vidal. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.