Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Simmie, D.
Clayton D. Scott
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Yvan Saeys
Roland Zumkeller
Maximilian Dürr
Dan Graur
Song Huang
Home
/
Author
/
PATRICK EUGSTER
Author Info
Open Visualization
Name
Affiliation
Papers
PATRICK EUGSTER
Department of Computer Science, TU Darmstadt, Darmstadt, Germany, Department of Computer Science, Purdue University, West Lafayette, USA
6
Collaborators
Citations
PageRank
26
2
2.06
Referers
Referees
References
6
94
23
Publications (6 rows)
Collaborators (26 rows)
Referers (6 rows)
Referees (94 rows)
Title
Citations
PageRank
Year
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
0
0.34
2021
A multiparty session typing discipline for fault-tolerant event-driven distributed programming
0
0.34
2021
Towards Software-Defined Buffer Management
1
0.35
2020
Letting Off Steam: Distributed Runtime Traffic Scheduling For Service Function Chaining
0
0.34
2020
The Grand CRU Challenge
0
0.34
2017
PAD: programming third-party web advertisement censorship.
1
0.35
2017
1