Login / Signup
Ralph Johnson
Publication Activity (10 Years)
Years Active: 2000-2019
Publications (10 Years): 1
Top Topics
Databases
Conceptual Graphs
High Level
Specification Language
Top Venues
FM
</>
Publications
</>
Theodoros Kasampalis
,
Dwight Guth
,
Brandon M. Moore
,
Traian-Florin Serbanuta
,
Yi Zhang
,
Daniele Filaretti
,
Virgil Nicolae Serbanuta
,
Ralph Johnson
,
Grigore Rosu
IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.
FM
(2019)
Milos Gligoric
,
Sandro Badame
,
Ralph Johnson
SMutant: a tool for type-sensitive mutation testing in a dynamic language.
SIGSOFT FSE
(2011)
Robert Morris
,
Ralph Johnson
,
Vladimir Goncharoff
,
Joseph DiVita
Watermark recovery from speech using inverse filtering and sign correlation.
INTERSPEECH
(2009)
Robert Morris
,
Ralph Johnson
,
Vladimir Goncharoff
,
Joseph DiVita
Recovering asynchronous watermark tones from speech.
ICASSP
(2009)
Munawar Hafiz
,
Ralph Johnson
A security oriented program transformation to "add on" policies to prevent injection attacks.
WRT@OOPSLA
(2008)
Ralph Johnson
,
Donald MacQueen
The camp smalltalk ANSI test suite (poster session).
OOPSLA Addendum
(2000)