Richard Banach

About

Richard Banach is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Richard Banach has authored 73 papers receiving a total of 545 indexed citations (citations by other indexed papers that have themselves been cited), including 37 papers in Artificial Intelligence, 36 papers in Computational Theory and Mathematics and 27 papers in Software. Recurrent topics in Richard Banach’s work include Formal Methods in Verification (31 papers), Model-Driven Software Engineering Techniques (21 papers) and Logic, programming, and type systems (20 papers). Richard Banach is often cited by papers focused on Formal Methods in Verification (31 papers), Model-Driven Software Engineering Techniques (21 papers) and Logic, programming, and type systems (20 papers). Richard Banach collaborates with scholars based in United Kingdom, China and Cyprus. Richard Banach's co-authors include Michael Poppleton, Susan Stepney, Huibiao Zhu, J. S. Dowker and Wen Su and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Journal of Pure and Applied Algebra.

In The Last Decade

Fields of papers citing papers by Richard Banach

Since Specialization

EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

This network shows the specialization of papers citing the papers produced by Richard Banach. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Richard Banach may publish in the future.

Countries citing papers authored by Richard Banach

Since Specialization

Citations

This map shows the geographic impact of Richard Banach's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Richard Banach with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Richard Banach more than expected).

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Kai Tong Breakdown of academic impact, for papers by Alessandro Garcia Breakdown of academic impact, for papers by Heming Chen Breakdown of academic impact, for papers by Sang Dong Kim Breakdown of academic impact, for papers by Åke Hultkrantz Breakdown of academic impact, for papers by Sebastián Podlipnik Breakdown of academic impact, for papers by Idan Hecht Breakdown of academic impact, for papers by Л. Леиндлер