Anna Philippou
About
Anna Philippou has authored 23 papers that have received a total of 135 indexed citations.
This includes 8 papers in Computer Networks and Communications, 8 papers in Computational Theory and Mathematics and 7 papers in Management Science and Operations Research. The topics of these papers are Formal Methods in Verification (6 papers), Petri Nets in System Modeling (5 papers) and Game Theory and Applications (5 papers). Anna Philippou is often cited by papers focused on Formal Methods in Verification (6 papers), Petri Nets in System Modeling (5 papers) and Game Theory and Applications (5 papers) and collaborates with scholars based in Cyprus, United States and Greece. Anna Philippou's co-authors include Oleg Sokolsky, Insup Lee, Chryssis Georgiou, David Walker and Marios Lestas and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Papers by
i Specialization
i since
published in
Anna Philippou
131 citations, 21 papers
Explore authors with similar magnitude of impact
Top fields papers by Francesca Serapide are about Top fields papers by Jorge C. S. Cardoso are about Top authors papers by Christina Steiner are co-authored with Top countries impacted by papers by Richard Hammond Top countries impacted by papers by Leslie Howsam Top fields papers by Thekla von dem Berge are about Top authors papers by Chris Millard are co-authored with Top fields papers by R. F. Yeager are about