Old Web
English
Sign In
Acemap
>
authorDetail
>
Christopher Wagner
Christopher Wagner
Purdue University
Computer science
Leader election
Parameterized complexity
Distributed computing
Synchronization
9
Papers
5
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
HACCLE: metaprogramming for secure multi-party computation
2021
Yuyan Bao
Kirshanthan Sundararajah
Raghav Malik
Qianchuan Ye
Christopher Wagner
Nouraldin Jaber
Fei Wang
Mohammad Hassan Ameri
Donghang Lu
Alexander Seto
Benjamin Delaware
Roopsha Samanta
Aniket Kate
Christina Garman
Jeremiah Blocki
Pierre-David Létourneau
Benoît Meister
Jonathan Springer
Tiark Rompf
Milind Kulkarni
Show All
Source
Cite
Save
Citations (0)
QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement.
2020
arXiv: Programming Languages
Nouraldin Jaber
Christopher Wagner
Swen Jacobs
Milind Kulkarni
Roopsha Samanta
Show All
Source
Cite
Save
Citations (0)
Parameterized Verification of Systems with Global Synchronization and Guards
2020
CAV | Computer Aided Verification
Nouraldin Jaber
Swen Jacobs
Christopher Wagner
Milind Kulkarni
Roopsha Samanta
Show All
Source
Cite
Save
Citations (2)
Parameterized Verification of Systems with Global Synchronization and Guards
2020
arXiv: Formal Languages and Automata Theory
Nouraldin Jaber
Swen Jacobs
Christopher Wagner
Milind Kulkarni
Roopsha Samanta
Show All
Source
Cite
Save
Citations (1)
1