N Wirth

19 papers and 1.0k indexed citations i.

About

N Wirth has authored 19 papers that have received a total of 1.0k indexed citations. This includes 6 papers in Computational Theory and Mathematics, 2 papers in Artificial Intelligence and 1 paper in Mechanical Engineering. The topics of these papers are Computability, Logic, AI Algorithms (3 papers), Advanced Algebra and Logic (1 paper) and Formal Methods in Verification (1 paper). N Wirth is often cited by papers focused on Computability, Logic, AI Algorithms (3 papers), Advanced Algebra and Logic (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in Germany, United States and Canada. N Wirth's co-authors include D Barstow, D Luckham, C Moler, P Brinch and Amir Pnueli and has published in prestigious journals such as Lecture notes in computer science.

In The Last Decade

Fields of papers published by N Wirth

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

Countries citing papers authored by N Wirth

Since Specialization
Citations
Rankless by CCL
2025