logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Robert Stewart

Heriot Watt University

15H-index
73Paper Count
626Citation Count
Published Papers 4
Publication Date
logo
From Haskell to a New Structured Combinator Processor
errTRENDS IN FUNCTIONAL PROGRAMMING, TFP 2025
IF0
err2026-01-01
err0
PREAI
errXie, Yukang; Ramsay, Craig; Stewart, Robert; Loidl, Hans-Wolfgang
errShare
errSave
Verifying parallel dataflow transformations with model checking and its application to FPGAs
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2019-12-01
err5
errOAAI
errStewart, Robert; Berthomieu, Bernard; Garcia, Paulo; Ibrahim, Idris; Michaelson, Greg; Wallace, Andrew
errShare
errSave
RIPL: A Parallel Image Processing Language for FPGAs
errACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS
IF2.8
err2018-03-14
err18
errOAAI
errStewart, Robert; Duncan, Kirsty; Michaelson, Greg; Garcia, Paulo; Bhowmik, Deepayan; Wallace, Andrew
errShare
errSave
Replicable parallel branch and bound search
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2018-03-01
err15
errOAAI
errArchibald, Blair; Maier, Patrick; McCreesh, Ciaran; Stewart, Robert; Trinder, Phil
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Andrew Wallace
H-index: 43 · Papers: 421
P
Patrick Maier
H-index: 21 · Papers: 105
G
Greg Michaelson
H-index: 19 · Papers: 161
B
Bernard Berthomieu
H-index: 19 · Papers: 84
P
Phil Trinder
H-index: 19 · Papers: 174
View more