Christian Skalka
Scholar

Christian Skalka

Google Scholar ID: XDj4RWQAAAAJ
Associate Professor of Computer Science, University of Vermont
Programming LanguagesLogic in Computer ScienceWireless Embedded Systems
Google Scholar↗
Citations & Impact
All-time
Citations
1,338
 
H-index
20
 
i10-index
30
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Probabilistic, Resource-Aware, Asynchronous, Out-of-Order Choreographies
2026
Cited
0
SMT-Boosted Security Types for Low-Level MPC
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)