Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Johnes Obungoloch
Tidjani Négadi
Giuseppe Russo
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Carole Lannon
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
GEOFFREY M. BROWN
Author Info
Open Visualization
Name
Affiliation
Papers
GEOFFREY M. BROWN
College of Electrical Engineering Cornell University 14853 Ithaca NY USA
13
Collaborators
Citations
PageRank
11
225
36.38
Referers
Referees
References
285
101
84
Search Limit
100
285
Publications (13 rows)
Collaborators (11 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Automated verification and refinement for physical-layer protocols
0
0.34
2011
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols
1
0.36
2007
Verification of a Data Synchronization Circuit For All Time
0
0.34
2006
Easy parameterized verification of biphase mark and 8n1 protocols
22
1.36
2006
Self-stabilization over unreliable communication media
49
3.54
1993
Formally verified synthesis of combinational CMOS circuits
7
0.74
1991
Asynchronous Multicaches
10
1.27
1990
Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings
19
5.31
1990
Token systems that self-stabilize
90
17.50
1989
From programs to transistors: verifying hardware synthesis tools
5
0.62
1989
Self-Stabilization of the Alternating-Bit Protocol
21
4.27
1989
Operating System Kernel for a Reconfigurable Multiprocessor System
1
0.41
1986
Network Facility for a Reconfigurable Computer Architecture
0
0.34
1985
1