cs-conference-ranking.org Search 971 venues

Steven D. Johnson

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

7

Active years

1984–2005

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

Year	Venue	Title	Authors
2005	CEC	Evolving autonomous agent control in the Xpilot environment.	Gary B. Parker, Matt Parker, Steven D. Johnson
2005	EMSOFT	The formal verification of a reintegration protocol.	Lee Pike, Steven D. Johnson
2000	FMCAD	Visualizing System Factorizations with Behavior Tables.	Alex Tsow, Steven D. Johnson
1994	ICCD	Continuations in Hardware-Software Codesign.	M. Esen Tuna, Steven D. Johnson, Robert G. Burger
1994	ICCD	Capturing Synchronization Specifications for Sequential Compositions.	Zheng Zhu, Steven D. Johnson
1994	SRDS	Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit.	Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson
1993	ICCAD	Behavior tables: a basis for system representation and transformational system synthesis.	Kamlesh Rath, M. Esen Tuna, Steven D. Johnson
1993	ICCD	System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition.	Bhaskar Bose, M. Esen Tuna, Steven D. Johnson
1993	ICCD	Derivation of a DRAM Memory Interface by Sequential Decomposition.	Kamlesh Rath, Bhaskar Bose, Steven D. Johnson
1984	POPL	Applicative Programming and Digital Design.	Steven D. Johnson