Julian Rathke
About
Julian Rathke has authored 20 papers that have received a total of 184 indexed citations.
This includes 20 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (19 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (8 papers). Julian Rathke is often cited by papers focused on Logic, programming, and type systems (19 papers), Formal Methods in Verification (10 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in United Kingdom, United States and Malta. Julian Rathke's co-authors include Matthew Hennessy, Alan Jeffrey, Paweł Sobociński, Neville Grech and Radha Jagadeesan and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Information and Computation.
In The Last Decade
side by side view
Countries citing papers authored by Julian Rathke
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Osman Breakdown of academic impact, for papers by R. Pitchai Breakdown of academic impact, for papers by Patrícia Moretti Rehder Breakdown of academic impact, for papers by Belal A. Kaifi Breakdown of academic impact, for papers by Andrew S. Natsios Breakdown of academic impact, for papers by Omar M. Shehata Breakdown of academic impact, for papers by Andrés Rosales Breakdown of academic impact, for papers by Janko Böhm