Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert J. Stewart 0001
Person information
- affiliation: Heriot Watt University, Edinburgh, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Laura Schauer
, Robert J. Stewart, Manuel Maarek:
Integrating Canvas and GitLab to Enrich Learning Processes. SEET@ICSE 2024: 180-190- 2023
- [j9]Cristian Sestito, Stefania Perri, Robert J. Stewart:
FPGA Design of Transposed Convolutions for Deep Learning Using High-Level Synthesis. J. Signal Process. Syst. 95(10): 1245-1263 (2023) - [c27]Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark:
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. LPAR 2023: 473-493 - [i7]Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark:
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. CoRR abs/2303.10650 (2023) - [i6]Ryan Shah, Manuel Maarek, Shenando Stals, Lynne Baillie, Sheung Chi Chan, Robert J. Stewart, Hans-Wolfgang Loidl, Olga Chatzifoti:
Introducing and Interfacing with Cybersecurity - A Cards Approach. CoRR abs/2307.16535 (2023) - 2022
- [c26]Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart:
Differentiable Logics for Neural Network Training and Verification. NSV/FoMLAS@CAV 2022: 67-77 - [c25]Cristian Sestito, Stefania Perri, Robert J. Stewart:
Design-Space Exploration of Quantized Transposed Convolutional Neural Networks for FPGA-based Systems-on-Chip. DASC/PiCom/CBDCom/CyberSciTech 2022: 1-6 - [c24]Akilan Selvacoumar, Rob Stewart, Hans-Wolfgang Loidl, Ahmad Ryad Soobhany:
Benchmarking Parallelism in Unikernels. Euro-Par Workshops 2022: 286-293 - [c23]Fraser Garrow, Michael A. Lones, Robert J. Stewart:
Why functional program synthesis matters (in the realm of genetic programming). GECCO Companion 2022: 1844-1853 - [c22]Cristian Sestito, Stefania Perri, Robert J. Stewart:
Accuracy Evaluation of Transposed Convolution-Based Quantized Neural Networks. IJCNN 2022: 1-8 - [i5]Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart:
Differentiable Logics for Neural Network Training and Verification. CoRR abs/2207.06741 (2022) - 2021
- [i4]Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart:
Property-driven Training: All You (N)Ever Wanted to Know About. CoRR abs/2104.01396 (2021) - 2020
- [c21]Pascal Bacchus, Robert J. Stewart, Ekaterina Komendantskaya:
Accuracy, Training Time and Hardware Efficiency Trade-Offs for Quantized Neural Networks on FPGAs. ARC 2020: 121-135 - [c20]Kirsty Duncan, Ekaterina Komendantskaya, Robert J. Stewart, Michael A. Lones:
Relative Robustness of Quantized Neural Networks Against Adversarial Attacks. IJCNN 2020: 1-8 - [c19]Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder:
YewPar: skeletons for exact combinatorial search. PPoPP 2020: 292-307
2010 – 2019
- 2019
- [j8]Paulo Garcia, Deepayan Bhowmik, Robert J. Stewart, Greg Michaelson, Andrew M. Wallace:
Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing. J. Imaging 5(1): 7 (2019) - [j7]Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace:
Verifying parallel dataflow transformations with model checking and its application to FPGAs. J. Syst. Archit. 101 (2019) - [c18]Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder:
Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par 2019: 184-196 - [c17]Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace:
Graphical program transformations for embedded systems. SAC 2019: 647-649 - [e3]Robert J. Stewart, Greg J. Michaelson:
Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2019, Washington, DC, DC, USA, February 17, 2019. ACM 2019, ISBN 978-1-4503-6637-3 [contents] - [i3]Ekaterina Komendantskaya, Rob Stewart, Kirsty Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus:
Neural Network Verification for the Masses (of AI graduates). CoRR abs/1907.01297 (2019) - 2018
- [j6]Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder:
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113: 92-114 (2018) - [j5]Rob Stewart, Kirsty Duncan, Greg Michaelson, Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace:
RIPL: A Parallel Image Processing Language for FPGAs. ACM Trans. Reconfigurable Technol. Syst. 11(1): 7:1-7:24 (2018) - [c16]Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson:
Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems. ARC 2018: 523-536 - [c15]Kirsty R. Duncan, Robert J. Stewart, Greg Michaelson:
Parallel Mean Shift Accuracy and Performance Trade-Offs. ICIP 2018: 2197-2201 - [c14]Apostolos Modas, Simone Casale Brunet, Robert J. Stewart, Endri Bezati, Junaid Jameel Ahmad, Marco Mattavelli:
Shared-variable Synchronization Approaches for Dynamic Data Flow Programs. SiPS 2018: 263-268 - 2017
- [j4]Robert J. Stewart, Deepayan Bhowmik, Andrew M. Wallace, Greg Michaelson:
Profile Guided Dataflow Transformation for FPGAs and CPUs. J. Signal Process. Syst. 87(1): 3-20 (2017) - [c13]Deepayan Bhowmik, Paulo Garcia, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson:
Power efficient dataflow design for a heterogeneous smart camera architecture. DASIP 2017: 1-6 - [c12]Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann:
Recursive Array Comprehensions in a Call-by-Value Language. IFL 2017: 5:1-5:12 - [c11]Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule:
Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC 2017: 6:1-6:10 - [e2]Robert J. Stewart, Greg Michaelson:
Proceedings of the 2nd International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2017, Austin, TX, USA, February 4, 2017. ACM 2017, ISBN 978-1-4503-4845-4 [contents] - [i2]Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder:
Replicable Parallel Branch and Bound Search. CoRR abs/1703.05647 (2017) - 2016
- [j3]Robert J. Stewart, Patrick Maier, Phil Trinder:
Transparent fault tolerance for scalable functional computation. J. Funct. Program. 26: e5 (2016) - [c10]Robert J. Stewart:
An Image Processing Language: External and Shallow/Deep Embeddings. RWDSL@CGO 2016: 6:1-6:10 - [c9]Robert J. Stewart, Greg J. Michaelson, Deepayan Bhowmik, Paulo Garcia, Andy Wallace:
A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs. ICA3PP Workshops 2016: 174-188 - [e1]Robert J. Stewart, Greg Michaelson:
Proceedings of the 1st International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016. ACM 2016, ISBN 978-1-4503-4051-9 [contents] - 2015
- [i1]Robert J. Stewart, Deepayan Bhowmik, Greg Michaelson, Andrew M. Wallace:
RIPL: An Efficient Image Processing DSL for FPGAs. CoRR abs/1508.07136 (2015) - 2014
- [j2]Patrick Maier, Robert J. Stewart, Philip W. Trinder:
Reliable scalable symbolic computation: The design of SymGridPar2. Comput. Lang. Syst. Struct. 40(1): 19-35 (2014) - [c8]Richard A. Frost, Jonathon A. Donais, Eric Matthews, Wale Agboola, Robert J. Stewart:
A Demonstration of a Natural Language Query Interface to an Event-Based Semantic Web Triplestore. ESWC (Satellite Events) 2014: 343-348 - [c7]Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Xinyuan Qian, Greg J. Michaelson:
Profile driven dataflow optimisation of mean shift visual tracking. GlobalSIP 2014: 1-5 - [c6]Patrick Maier, Robert J. Stewart, Phil Trinder:
The HdpH DSLs for scalable reliable computation. Haskell 2014: 65-76 - 2013
- [b1]Robert J. Stewart:
Reliable massively parallel symbolic computing: fault tolerance for a distributed Haskell. Heriot-Watt University, Edinburgh, UK, 2013 - [c5]Jamie Forth, Thanasis Giannimaras, Geraint A. Wiggins, Robert J. Stewart, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods:
SerenA: A Multi-site Pervasive Agent Environment That Supports Serendipitous Discovery in Research. PAAMS 2013: 85-96 - [c4]Jamie Forth, Athanasios Giannimaras, Geraint A. Wiggins, Robert J. Stewart, Diana Bental, Ruth Aylett, Deborah Maxwell, Hadi Mehrpouya, Jamie Shek, Mel Woods:
Demonstrating SerenA: Chance Encounters in the Space of Ideas. PAAMS 2013: 275-278 - [c3]Patrick Maier, Robert J. Stewart, Philip W. Trinder:
Reliable scalable symbolic computation: the design of SymGridPar2. SAC 2013: 1674-1681 - 2012
- [c2]Robert J. Stewart, Phil Trinder, Patrick Maier:
Supervised Workpools for Reliable Massively Parallel Computing. Trends in Functional Programming 2012: 247-262 - 2011
- [c1]Robert J. Stewart, Philip W. Trinder, Hans-Wolfgang Loidl:
Comparing High Level MapReduce Query Languages. APPT 2011: 58-72
1980 – 1989
- 1984
- [j1]Gerald A. Raack, Edward G. Sable, Robert J. Stewart:
Customer control of network services. IEEE Commun. Mag. 22(10): 8-14 (1984)
Coauthor Index
aka: Greg Michaelson
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
