Jacob Van Geffen - Citegraph

Author Info

Name	Affiliation	Papers
JACOB VAN GEFFEN	University of Texas at Austin, USA	6
Collaborators	Citations	PageRank
21	15	2.30
Referers	Referees	References
44	108	44

Search Limit

100108

Publications (6 rows)

Collaborators (21 rows)

Referers (44 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3	0	0.34	2021
Specification And Verification In The Field: Applying Formal Methods To Bpf, Just-In-Time Compilers In The Linux Kernel	0	0.34	2020
Symbolic Reasoning for Automatic Signal Placement	0	0.34	2020
Symbolic Reasoning for Automatic Signal Placement (Extended Version).	0	0.34	2018
Symbolic reasoning for automatic signal placement.	0	0.34	2018
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples.	15	0.61	2017

1