Scholar
Christian Skalka
Google Scholar ID: XDj4RWQAAAAJ
Associate Professor of Computer Science, University of Vermont
Programming Languages
Logic in Computer Science
Wireless Embedded Systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,338
H-index
20
i10-index
30
Publications
20
Co-authors
0
Publications
3 items
Qoreo: Choreographic Programming for Quantum Distributed Systems
2026
Cited
0
Probabilistic, Resource-Aware, Asynchronous, Out-of-Order Choreographies
2026
Cited
0
SMT-Boosted Security Types for Low-Level MPC
2025
Cited
0
