Robert L. Smith

Publication Activity (10 Years)

Years Active: 1976-2021
Publications (10 Years): 2

Top Topics

Concurrent Systems

Formal Verification

Linear Temporal Logic

Bounded Model Checking

Top Venues

Publications

Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Improved Bounded Model Checking of Timed Automata. FormaliSE@ICSE (2021)
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Improved Bounded Model Checking of Timed Automata. CoRR (2021)
Michael Baudin, Robert L. Smith
A Robust Complex Division in Scilab CoRR (2012)
Nicole M. Sanpetrino, Robert L. Smith
The Growth of Loudness Functions Measured in Cochlear Implant Listeners Using Absolute Magnitude Estimation and Compared Using Akaike's Information Criterion. EMBC (2006)
Robert L. Smith
CD-Rom for National Bibliographies: A European Project. Essen Symposium (1988)
William R. Sanders, Gerard V. Benbassat, Robert L. Smith
Speech synthesis for computer assisted instruction: The MISS system and its applications. SIGCSE-SIGCUE (1976)