Viktor Kunčak
About
Viktor Kunčak is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems.
According to data from OpenAlex, Viktor Kunčak has authored 69 papers receiving a total of 926 indexed citations (citations by other indexed papers that have themselves been cited), including 52 papers in Artificial Intelligence, 42 papers in Computational Theory and Mathematics and 19 papers in Information Systems. Recurrent topics in Viktor Kunčak’s work include Logic, programming, and type systems (45 papers), Formal Methods in Verification (35 papers) and Software Engineering Research (18 papers). Viktor Kunčak is often cited by papers focused on Logic, programming, and type systems (45 papers), Formal Methods in Verification (35 papers) and Software Engineering Research (18 papers). Viktor Kunčak collaborates with scholars based in Switzerland, United States and France. Viktor Kunčak's co-authors include Martin Rinard, Eva Darulová, Tihomir Gvero, Philippe Suter, Karen Zee, Ružica Piskač, Ivan Kuraj, Patrick Lam, Mikaël Mayer and Dejan Kostić and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Software Engineering and Lecture notes in computer science.
In The Last Decade
Co-authorship network of co-authors of Viktor Kunčak i
Fields of papers citing papers by Viktor Kunčak
Since SpecializationEngineeringComputer 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 Viktor Kunčak. Nodes represent fields, and links connect fields that are likely to share authors. The network helps show where Viktor Kunčak may publish in the future.
Countries citing papers authored by Viktor Kunčak
Since SpecializationCitations
This map shows the geographic impact of Viktor Kunčak'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 Viktor Kunčak with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Viktor Kunčak more than expected).
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Yan Zeng Breakdown of academic impact, for papers by Zhanjun Chen Breakdown of academic impact, for papers by Jimena del Castillo Breakdown of academic impact, for papers by Phrabhakaran Nambiar Breakdown of academic impact, for papers by Boris Keren Breakdown of academic impact, for papers by Björn Westin Breakdown of academic impact, for papers by G. H. Boerema Breakdown of academic impact, for papers by E. B. Olshanetsky