Christian Skalka

24 papers and 207 indexed citations i.

Christian Skalka has authored 24 papers that have received a total of 207 indexed citations. This includes 14 papers in Artificial Intelligence, 4 papers in Sociology and Political Science and 4 papers in Clinical Psychology. The topics of these papers are Logic, programming, and type systems (9 papers), Security and Verification in Computing (9 papers) and Formal Methods in Verification (4 papers). Christian Skalka is often cited by papers focused on Logic, programming, and type systems (9 papers), Security and Verification in Computing (9 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States and France. Christian Skalka's co-authors include Matthew Price, Scott F. Smith, Zoe M. F. Brier, Stephen Chong and Alison C. Legrand and has published in prestigious journals such as Journal of Hydrology, ACM Computing Surveys and Depression and Anxiety